My approach of a polar code tutorial.
- Use BEC to demonstrate the encoder and the SC decoder.
- Avoid martingale language.
- Prove polarization with gap to capacity = (block length)^-Ω(1) and error probability = exp(-(block length)^Ω(1)).
- Generalizations to DMC and best tradeoff between gap and error.