Tienes que poner un cable HDMI desde la entrada HDMI que sea eARC de tu TV a la salida HDMI ARC del Denon. Tienes que configurar tanto en la TV como en el Denon el ARC en On. La antena la conectas a la TV excepto si el descodificador Tivo lo necesita. Y el Tibo y la PS4 los conectas a 2 entradas HDMI del Denon. Estos se controlan con sus mandos respectivos y el volumen y la selección de aparato PS4, Tivo,... con el del AVR.