The proof is hard to read for non-statistician. Is anyone willing to give a short human-readable summary of how it works?
Also, the conjecture seems fairly simple, so it'd be great to understand what made it hard to prove.
Also, the conjecture seems fairly simple, so it'd be great to understand what made it hard to prove.
There is also a 'companion' article on arxiv that provides a clear presentation of Royen's proof: https://arxiv.org/abs/1512.08776