Submartingale Property of E_0 Under The Polarization Transformations
  We prove that the relation $E_0(\rho, W^{-}) + E_0(\rho, W^{+}) \geq 2 E_0(\rho, W)$ holds for any binary input discrete memoryless channel $W$, and $\rho \geq 0$. 
Mine Alsan, Emre Telatar
cs.IT math.IT