A Centering Counterexample for Prekopa-Leindler Stability
Manuscript 26 October 2026 · Online 26 October 2026
Abstract
A conjecture printed in the 2009 Oberwolfach report on convex geometry proposes quantitative Prekopa-Leindler stability in the unshifted L1 distance of probability densities with zero mean. We give an explicit counterexample in every dimension. Strictly positive real-analytic densities with mean zero and covariance I_n have L1 distance at least 11/8, while an admissible midpoint majorant has integral 1+2k/(1+k^2), for every integer k>=3. The same densities admit majorants with vanishing deficit for every fixed interpolation parameter in (0,1), uniformly on compact subintervals. Small remote Gaussian components cancel the barycenters without aligning the main mass. An explicit translation makes the distance at most 2/(1+k^2), consistent with established stability modulo translation. This English preprint addresses the literal UnsolvedMath OWR-4136-004 formulation; it does not contradict log-concave or translated stability theorems. The elementary argument is AI-assisted and self-audited, not independently peer reviewed or formally verified. No historical-priority claim is made.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete counterexample
- Categories
- math.FA · math.PR · math.MG
- Manuscript
- 26 October 2026
- Online release
- 26 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “A Centering Counterexample for Prekopa-Leindler Stability,” EulerSolve Research Papers, OWR-4136-004, 2026. https://doi.org/10.5281/zenodo.23665906.
BibTeX
@misc{ferudun2026centeredplcounterexample,
author = {Ferudun, Alper},
title = {A Centering Counterexample for Prekopa-Leindler Stability},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-4136-004/},
doi = {10.5281/zenodo.23665906},
note = {OWR-4136-004; unrefereed preprint}
}