Re-proving Channel Polarization Theorems: An Extremality and Robustness Analysis Mine Alsan Ph.D. Dissertation, École Polytechnique Fédérale de Lausanne, June 2016