HDMI Audio Return Channel Conundrum
First of all, your connection scheme seems pretty whacky to me. Why would you connect the PS3 to the TV rather than the AVR to begin with?
For those who might not be familiar with Audio Return Channel, this feature of HDMI 1.4 allows compatible devices to send audio from an HDMI input to a compatible HDMI outputin other words, in the opposite direction of the normal signal flow. It's used mainly with an ARC-compatible TV and AVR connected in the normal mannerthat is, the AVR's HDMI output is connected to the TV's ARC HDMI input. (As with the GT30, not all HDMI inputs on a given TV are ARC-compatible.) When you watch the TV's internal tuner or online streaming apps, the audio is sent back to the AVR along the same cable that usually carries audio and video from the AVR to the TV. This eliminates the need for a separate TosLink or coax digital-audio cable from the TV to the AVR when the audio is generated by the TV itself, as shown in the diagrams above.
ARC can convey Dolby Digital, DTS, and PCM, but none of the advanced codecs, such as Dolby Digital Plus, Dolby TrueHD, or DTS-HD. After all, none of these codecs are used with over-the-air, cable, or streaming content.
I'm kinda surprised that your connection scheme works at allARC is not intended to take audio coming into one HDMI input and send it out from another input. I would definitely connect the PS3 to one of the HDMI inputs on your AVR instead of the TV, which will simplify the system and let you hear all the advanced codecs in their full glory. If you use the TV's internal tuner or online apps, keep the AVR's HDMI output to the TV's ARC HDMI input, and you'll hear the audio from the TV without having to connect a separate audio cable from the TV back to the AVR.
If you have an A/V question, please send it to firstname.lastname@example.org.