Submartingale Property of E_0 Under The Polarization Transformations

Abstract

We prove that the relation $E_0(\rho ,W^{-})+E_0(\rho ,W^{+})\ge 2E_0(\rho ,W)$ holds for any binary input discrete memoryless channel $W$, and $\rho \ge 0$.

References in corpus (1)

• Channel polarization: A method for constructing capacity-achieving codes for symmetric binary-input memoryless channels

Cited by in corpus (1)

• Extremality Properties for the Basic Polarization Transformations