Si, la PS3 descomprime DTS-MA y DOLBY TrueHD hasta el formato digital PCM multicanal, enviando este por el HDMI. Al otro lado del HDMI ha de haber un AVR con HDMI que capte sonido y ya estaría amplificando esos sonidos.

Como te decíamos en este hilo el HK 155 no capta sonido por el HDMI.