Sharp one-sided concentration conjecture for standardized log-concave distributions

Let LL denote the set of all real random variables XX with a log-concave probability density function such that EX=0EX=0 and EX2=1EX^2=1. Let YY have the standard exponential distribution, so that Y1LY-1\in L. Sharp one-sided concentration conjecture. For every real δ>0\delta>0,

minXLP(0<X<δ)=P(0<Y1<δ)=e1(1eδ),\min_{X\in L}P(0<X<\delta)=P(0<Y-1<\delta)=e^{-1}(1-e^{-\delta}),

and consequently

minXLfX(0)=e1.\min_{X\in L}f_X(0)=e^{-1}.

The conjecture proposes that the centered standard exponential distribution gives the exact extremal lower bound for one-sided concentration near the mean, improving the nonoptimal bound proved earlier in the paper. The preceding discussion explicitly notes that the established bounds are likely far from optimal, while this sharp form remains unproved.

Progress summary

Solved

A reader-posted uniform example claims the conjecture is false, but the counterexample has not been independently verified.

The conjecture says that the centered, variance-one exponential distribution gives the smallest one-sided mass near the mean, and the smallest density at the mean, among standardized log-concave distributions. The proposed extremal formulas remain unsupported by the published source.

Known results

  • Pinelis (2026) obtained a non-sharp lower bound for P(0<X<δ)P(0<X<\delta) for every δ>0\delta>0 and every standardized log-concave XX; the abstract does not claim the conjectured constant.
  • A MathOverflow argument gives only a universal c>0c>0 with P(X(1/2,0))cP(X\in(-1/2,0))\ge c, without identifying the sharp constant or extremizer.

Posted attempt

A reader-posted calculation uses XUnif[3,3]X\sim\operatorname{Unif}[-\sqrt{3},\sqrt{3}] and claims both formulas fail: fX(0)=1/(23)<e1f_X(0)=1/(2\sqrt{3})<e^{-1} and, at δ=1/10\delta=1/10, the one-sided mass is below the conjectured exponential value. This is a claimed complete disproof, not independently verified.

Current status (as of August 2026): The sharp conjecture is not established, while a posted uniform-distribution counterexample claims to disprove both assertions and remains unverified.

Sources
Sources & referencesView supporting material

Primary source

Iosif Pinelis, “One-sided concentration near the mean of log-concave distributions”, arXiv:2602.06804 (2026).

Solutions 1

Counterexample

Both asserted sharp minima fail for the same standardized log-concave distribution.

Let

XUnif[3,3].X\sim\operatorname{Unif}[-\sqrt3,\sqrt3].

Its density

fX(x)=1231[3,3](x)f_X(x)=\frac1{2\sqrt3}\mathbf1_{[-\sqrt3,\sqrt3]}(x)

is log-concave because its support is an interval and the density is constant there. Moreover,

E[X]=0,E[X2]=13(3)2=1,\mathbb E[X]=0,\qquad \mathbb E[X^2]=\frac13(\sqrt3)^2=1,

so XX belongs to the exact class in the conjecture.

At the origin,

fX(0)=123<1e.f_X(0)=\frac1{2\sqrt3}<\frac1e.

Indeed e<3<23e<3<2\sqrt3. Therefore

infXLfX(0)123<e1,\inf_{X\in\mathcal L}f_X(0) \le\frac1{2\sqrt3} < e^{-1},

contradicting the asserted density minimum.

The one-sided concentration claim also fails explicitly. Set

δ=110.\delta=\frac1{10}.

Then

P(0<X<δ)=1203.\mathbb P(0<X<\delta) = \frac1{20\sqrt3}.

On the other hand,

e1/10>1+110=1110,e^{1/10}>1+\frac1{10}=\frac{11}{10},

and hence

1e1/10>111.1-e^{-1/10}>\frac1{11}.

Using e<3e<3, it follows that

e1(1e1/10)>111e>133.e^{-1}(1-e^{-1/10}) > \frac1{11e} > \frac1{33}.

Finally,

203>3320\sqrt3>33

because 1200>10891200>1089. Therefore

P(0<X<1/10)=1203<133<e1(1e1/10).\mathbb P(0<X<1/10) = \frac1{20\sqrt3} < \frac1{33} < e^{-1}(1-e^{-1/10}).

Thus the centered exponential distribution is not the minimizer proposed in either assertion.

0 endorsements
Shivam Patel ·