The AppleTV 4K doesn’t have an optical output. I think the Gen3 was the last one which did. Also, your DAC/headphone amp probably won’t be designed to work with a receiver. What’s your budget? Naim has a very high quality streamer/headphone amp. Also Cambridge has a much less expensive one...