I have the inverse of your setup. PS4, Apple TV, and Blu Ray Player use the 3 HDMI inputs on the TV, with an optical out audio cable to an input on my Sony receiver.
My receiver is older and doesn’t have HDMI in, but this solution works well with the TV I have. When a device is turned on, the TV wakes up and switches to that input. If the PS4 is on and I turn on the Apple TV, it will auto-switch. I never need to touch the TV remote at all since the devices go to sleep automatically, which is nice. Apple TV remote handles the receiver volume, and the audio input never changes on the receiver, so I don’t need the TV or receiver remotes at all.
Yep, different strokes for different folks. :)
I've never had a TV w decent audio out (nor reasonable input sec switching), rather started w focus on amazing sound (Hsu Research Ventriloquist 7.1 w down-firing sub), and eventually the receiver's role was expanded to encompass video. Whatever works for you!
My receiver is older and doesn’t have HDMI in, but this solution works well with the TV I have. When a device is turned on, the TV wakes up and switches to that input. If the PS4 is on and I turn on the Apple TV, it will auto-switch. I never need to touch the TV remote at all since the devices go to sleep automatically, which is nice. Apple TV remote handles the receiver volume, and the audio input never changes on the receiver, so I don’t need the TV or receiver remotes at all.