Los AVR tienen una Salida HDMI que va a la TV, si esta salida tuviese ARC, por el mismo cable HDMI te llegaría el audio de la TV, pero me parece que ninguno de los que entran en tu presupuesto soporta ARC

La alternativa es poner un optico de la salida de la TV a una de las entradas del AVR

De los que te han recomendado yo me quedaba sin duda alguna con el Yamaha, ya que el Pioneer y el HK no he encontrado que tengan autocalibración, la cual EMHO es fundamental

Un saludo