Mahler's conjecture for the restricted class with s-concave power in \mathcal{F}

About 2 years old · traced to

Let s∈(−1n,0)s\in(-\frac{1}{n},0) and let g:Rn→R+g:\mathbb{R}^{n}\to\mathbb{R}_{+} be even with gs∈Fg^{s}\in\mathcal{F}, where F\mathcal{F} is the set of convex lower semicontinuous functions f:Rn→(0,+∞)f:\mathbb{R}^{n}\to(0,+\infty) such that, for every x≠0x\ne0, lim⁡t→+∞f(tx)=+∞\lim_{t\to+\infty}f(tx)=+\infty and t↦f(tx)/tt\mapsto f(tx)/t is non-increasing on (0,+∞)(0,+\infty). Restricted Mahler conjecture.

∫Rng(x) dx∫RnLsg(y) dy≥11+ns 4n(1+s)⋯(1+ns),\int_{\mathbb{R}^{n}}g(x)\,dx\int_{\mathbb{R}^{n}}\mathcal{L}_{s}g(y)\,dy\geq\frac{1}{1+ns}\,\frac{4^{n}}{(1+s)\cdots(1+ns)},

with equality for g(x)=(max⁡(1,∥x∥∞))1/sg(x)=(\max(1,\|x\|_{\infty}))^{1/s}. This conjecture is known for unconditional functions, in particular in dimension one, and the paper proves it in dimension two when −1/s∈N-1/s\in\mathbb{N}; the general statement remains open.

References

Primary source

Matthieu Fradelizi and Elie Nakhle, “On Mahler's conjecture for even s-concave functions in dimensions 1 and 2”, arXiv:2412.12372 (2025).

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.