On the Convergence of the Polarization Process in the Noisiness/Weak-∗ Topology

Let W be a channel where the input alphabet is endowed with an Abelian group operation, and let (Wn) n≥0 be Arikan’s channel-valued polarization process that is obtained from W using this operation. We prove that the process (Wn) n≥0 converges almost surely to deterministic homomorphism channels in the noisiness/weak-∗ topology. This provides a simple proof of multilevel polarization for a large family of channels, containing among others, discrete memoryless channels (DMC), and channels with continuous output alphabets. This also shows that any continuous channel functional converges almost surely (even if it does not induce a submartingale or a supermartingale).