I have a Yamaha 581 and Samsung Unk8000
The solution to her ARC sound from TV is to make sure you have all 4 HDMI ports on the receiver plugged into something - even if just an HDMI cable with nothing attached.
The TV hdmi arc port (labelled on the samsung smart hub or TV goes to the receiver...