Yeah the PS3 can only decode the formats, not bitstream them, because of hardware constraints. I don't know all the mumbo jumbo, but you can easily find it on any thread about DTS-HD MA. It converts any of those formats to LPCM and sends it to the receiver

Steve