Submartingale Property of E_0 Under The Polarization Transformations

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

No reviews yet.

No comments yet.