Re:Spikey Spheres
by selimthegrim on Wednesday July 31, 2024 @12:39PM
(#41120752)
Does Brunn-Minkowski get used here at all wrt (maybe mixed) volume?
[ Parent
| on HN ]
Not at all, the proof was a very elegant argument involving fourier transforms and an integral estimate going back to the study of controlling random walks (Khintchine's inequality). I say elegant in the manner of it being enviably so -- a proof a beginning graduate student could follow while capturing a fundamental, easy to state fact.
This work does however situate itself in/adjacent to that broad space of Brunn-Minkowski theory.