Sì, corretto.
Se selezioni PCM Linear sulla PS3 è la console a decodificare il segnale all'amplificatore, qualsiasi esso sia (anche DD 5.1 e DTS). Per i limiti del TOS-Link (e del tuo amplificatore) non puoi andare oltre il PCM 2.0.
Se metti bitstream lasci fare la decodifica all'amplificatore, inviando il DD 5.1 direttamente.
L'audio PCM 2.0 non compresso lo hai già nel primo caso che citi, nel caso tu selezioni l'audio in PCM 5.1 sul bd. Passando dalla tv dovresti avere altrettanto, ma con un passaggio in più. Forse limiteresti eventuali problemi di sincronizzazione.
Leggo che non è necessario un amplificatore HDMI 1.3 per il PCM 5.1.