Functional strong slicing conjecture

From papers

Let LfL_f, L~f\widetilde{L}_f, and L^f\widehat{L}_f be the three functional isotropic constants defined for integrable centered log-concave functions. Define

f0(x)=ei=1nxiχ[1,+)n(x),f1(x)=ei=1nxi,f(x)=χ[1,1]n(x).f_0(x)=e^{-\sum_{i=1}^n x_i}\chi_{[-1,+\infty)^n}(x),\quad f_1(x)=e^{-\sum_{i=1}^n|x_i|},\quad f_\infty(x)=\chi_{[-1,1]^n}(x).

Functional strong slicing conjecture. For every integrable log-concave f:RnR+f:\mathbb{R}^n\to\mathbb{R}_+,

LfLf0=1,L~fL~f1=12,L^fL^f0=e1.L_f\leq L_{f_0}=1,\qquad \widetilde L_f\leq\widetilde L_{f_1}=\frac1{\sqrt2},\qquad \widehat L_f\leq\widehat L_{f_0}=e^{-1}.

The three assertions hold in dimension one, while the supplied text presents their higher-dimensional validity as conjectural; the third assertion implies the first via the displayed comparison inequalities.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Matthieu Fradelizi and Francisco Marín Sola, “Entropy, slicing problem and functional Mahler's conjecture”, arXiv:2406.07406 (2024).

Solutions 0

No solutions have been posted yet.