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$.

Cited by in corpus (1)

• Extremality Properties for the Basic Polarization Transformations