Todos los receptores a/v con HDMI dejan pasar la señal a través por HDMI, lo que no hacen todos(hablo de receptores de segunda mano antiguos) es escalar la imagen , ósea que si le metes al ampli una señal a 480i , no te la reescalan a 1080i, pero este no seria tu problema puesto que esta función ya te la hace la ps3. Luego debes tener cuidado con amplis con los amplia con salida HDMI de gama básica porque hay algunos que dejan pasar la señal de video por hdmi pero el audio no. Esto lo solventarías con un cable mas óptico de la ps3 al ampli.

Espero servite de ayuda.Un saludo