Indeed, the make and model of the TV would only become relevant if the Apple TV 4K box was directly connected to it and was passing audio via HDMI ARC or preferably HDMI eARC to an AVR.My AppleTV is directly connected to a Denon AVR-X4800H via HDMI. The TV shouldn't be relevant (not in the chain, as in it would play with it off) but it is a Sony XBR-75X940D, also connected to the Denon via HDMI.
Given that ALAC (Apple Lossless Audio Codec) is an Apple development, it's more than a little bonkers that an Apple TV 4K is unable to transcode multi-channel ALAC.m4a (.mp4 contained) files to multi-channel Dolby MAT.
Apart from multi-channel ALAC, Dolby Digital (AC-3) and FLAC, what other multi-channel audio formats have you (and others) tried?