As far as I know that hasn't been a detailed description of how the height information is derived. It would clearly have to be sound that's out-of-phase with the direct sound and is non-directional, but how stuff better heard from above is separated from back surround, for example, isn't clear.

-----------------------------------

Enjoy the music, not the equipment.