Sharp one-sided concentration conjecture for standardized log-concave distributions
Sharp one-sided concentration conjecture for standardized log-concave distributions
Let denote the set of all real random variables with a log-concave probability density function such that and . Let have the standard exponential distribution, so that . Sharp one-sided concentration conjecture. For every real ,
and consequently
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
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 for every and every standardized log-concave ; the abstract does not claim the conjectured constant.
- A MathOverflow argument gives only a universal with , without identifying the sharp constant or extremizer.
Posted attempt
A reader-posted calculation uses and claims both formulas fail: and, at , 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
Sign in to submit a solution.
Both asserted sharp minima fail for the same standardized log-concave distribution.
Let
Its density
is log-concave because its support is an interval and the density is constant there. Moreover,
so belongs to the exact class in the conjecture.
At the origin,
Indeed . Therefore
contradicting the asserted density minimum.
The one-sided concentration claim also fails explicitly. Set
Then
On the other hand,
and hence
Using , it follows that
Finally,
because . Therefore
Thus the centered exponential distribution is not the minimizer proposed in either assertion.