En algunos dvd tienes la opción de activar o desactivar el "hdmi audio out". Obviamente, has de activarlo.
Luego puedes escoger la salida de audio como LPCM o bitstream. Bistream hace que el receptor decodifique los ceros y unos del audio recibido, mientras que el LPCM hace lo contrario, el audio lo decodifica el dvd y le manda la señal decodificada al ampli.
Seguramente tu ampli soporte ambas.