Polarization on Bounded Euclidean Spaces and More General Compact Groups

We establish polarization for memoryless sources taking values on the unit-perimeter circle, or on more general compact groups, under Arıkan's polar transform. For sources with finite differential entropy, all but an $O((\log N)^{-1/12})$ fraction of the conditional differential entropies in success