A ver si va a ser problema del cable HDMI. Has probado con otro? Me refiero al que va al HDMI 4 (el ARC) de la Samsung. Yo tengo tu misma tele y un Denon X2500, vamos casi lo mismo, y no tengo ningún problema. Sin hacer nada la Samsung me reconoció inmediatamente el AVR y me lo puso como fuente con su nombre y todo.

Un saludo