Si vous avez relié la PS4 pro en HDMI directement à l'amplificateur, le problème ne vient pas de là, pas besoin d'ARC pour cela.
Votre problème, c'est, est-ce qu'il ne faudrait pas que votre PS4 Pro soit en PCM 5.1, voir PCM 7.1, car pas sur que la PS4 Pro supporte autre chose que le PCM, sauf peut-être lors de lecture Blu-Ray.