Polarization problems and Coxeter systems

In this paper we provide a proof of the strong polarization conjecture due to Ball and Frenkel. We observe that Coxeter systems produce unexpected new examples of extremizers. Furthermore, as a by-product of our work we solve the real polarization problem and completely characterize its extremal cases.