Computer Science/Discrete Mathematics Seminar II

The Brunn-Minkowski inequality is a fundamental result in convex geometry controlling the volume of  the sum of subsets of $\mathbb{R}^n$. It asserts that for  sets $A,B\subset \mathbb{R}^n$ of equal volume and a parameter $t\in(0,1)$, we have $|tA+(1-t)B|\geq |A|$ with equality iff $A=B$ is convex.  Early work of Ruzsa, as well as results on the special case $A=B$ suggested a linear stability result; if $|tA+(1-t)B|\leq (1+\delta)|A|$, then $|co(A)\setminus A|=O_{n,t}(\delta)|A|$. On the other hand, the study of the stability of the isoperimetric inequality supported a folklore quadratic stability conjecture; for $\delta$ as before, we have (up to translation) $|A\triangle B|=O_{n,t}(\sqrt{\delta})|A|$. 

In this talk we give an overview of the proof of the quadratic conjecture and look at the implications for other geometric inequalities such as the Prekopa-Leindler inequality and the Borell-Brascamb-Lieb inequality. 

Joint work with Alessio Figalli and Marius Tiba.