Fosi ZD3 (https://fosiaudio.com/products/fosi-audio-zd3-fully-balanced...). Supports HDMI with CEC. I turn on my Apple TV, it turns on the TV, which in turn turns on the Fosi DAC - all connected with HDMI. The DAC then turns on a ZA3 amp via 12v trigger cable. Volume control etc is via the Apple remote.

All very cheap really. Total cost I think was about $550 (refurbished TV, second hand Apple TV, new Fosi DAC and amp). All this and I get to keep the TV in 'dumb' mode. Never even use the TV remote.

Some of the bigness is just tradition and buyer expectation (big = expensive). But also, modern AVRs are like 1000W devices amplifying 7, 9, even 11 channels of passives. That’s a lot of componentry and corresponding heat to shed— if you open one of those up, it’s not just empty space in there like an NES cartridge or something.

> If someone can point me to a receiver that's more like 4 inches than 18 inches

S.M.S.L. make some good ones: https://www.smsl-audio.com/portal/product/index

I use their AD-18 and really love it: https://www.smsl-audio.com/portal/product/detail/id/566.html

Have a look at Fosi Audio. I'm currently using a BT30D to drive the passive speakers from an old Samsung integrated amplifier+receiver+2014-era "Smart TV" type system that died. It only has 1 analog input and Bluetooth, but it looks like they have other products in a similar form factor that can take multiple inputs (e.g. the P4 Mini). I was skeptical but needed something cheap to drive those speakers and am quite impressed.

It sounds like your speakers work for you then. On a modern TV without a headphone jack you would probably be served perfectly well by bluetooth speakers that sync to the TV. Though I'm surprised if a 3.5mm output is really that uncommon, because I just bought an LG C1 a few years ago and it has one. You can also find a small bluetooth receiver that would output to a headphone jack at WalMart.