Functional strong slicing conjecture

About 2 years old · traced to

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)=e−∑i=1nxiχ[−1,+∞)n(x),f1(x)=e−∑i=1n∣xi∣,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:Rn→R+f:\mathbb{R}^n\to\mathbb{R}_+,

Lf≤Lf0=1,L~f≤L~f1=12,L^f≤L^f0=e−1.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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.