Bueno.
A ve,r te hablo desde mi experiencia. Tengo un disco duro conectado a mi LG. La LG conectada por la salida optica digital al previo.
Cuando reproduzco desde el disco duro, "conectado" por usb, un fichero multicanal, la señal que saca la tele por el optico es multicanal.
Probaré a ver si reproduzco por dnla y la salida sigue siendo multicanal. Se supone que realmente para la tele es una entrada mas y que si el archivo tiene formato 5.1 debería sacarlo, pero intentaré confirmartelo.
Por lo tanto, si esto es así, cualquier ampli que tenga entrada optica digital debería valerte.
Osea que el primero de la lista que has puesto te vale y por ese precio está muy bien.
En cuanto a lo de la PS4 y la tele. Lo ideal es conectar la ps4 al ampli y de este a la tele. Si el ampli no tiene hdmi pues lo conectas por optico a la tele como en el caso anterior y la ps4 a la tele directamente. La ps4 es una fuente mas.
Saludos