English

Submartingale Property of E_0 Under The Polarization Transformations

Information Theory 2012-07-31 v1 math.IT

Abstract

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

Cite

@article{arxiv.1207.6788,
  title  = {Submartingale Property of E_0 Under The Polarization Transformations},
  author = {Mine Alsan and Emre Telatar},
  journal= {arXiv preprint arXiv:1207.6788},
  year   = {2012}
}
R2 v1 2026-06-21T21:43:06.448Z