OWR-4136-004 · Complete counterexample

A Centering Counterexample for Prekopa-Leindler Stability

Manuscript 26 October 2026 · Online 26 October 2026

math.FAmath.PRmath.MGUnrefereed preprint

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
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}
}

More research papers

Show all 448 other papers

All 449 research papers →