Two October manuscripts propose a dimension-free Poincaré bound. Song–Zhang’s second revision strengthens its first iterated-logarithm estimate; Bizeul–Klartag–Lehec give a separate argument using a Song–Zhang criterion. Independent assessment is pending.
Open questions
Assess the proposed arguments and their dependencies. No formal proof project for the full theorem was located in this primary-source selection.
For a probability measure μ on ℝⁿ with log-concave density, isotropic means mean zero and covariance matrix I. Its Poincaré constant C_P(μ) is the least constant in Var_μ(f) ≤ C_P(μ) ∫|∇f|² dμ for locally Lipschitz f with the required finite integrals. The proposed bound must use one constant for all positive dimensions and all such measures. Equivalent isoperimetric formulations change constants; a dimension-dependent bound alone does not settle the question.
Question paraphrased by OpenMath. Original wording is available in the sources.
Landscape
Figures and explorable examples. Selecting a statement opens its exact wording.
Visual setup
A dimension-dependent estimate and a uniform target
The first Song–Zhang revision and the two current proof proposals have different targets.
Reading boundary. The diagram compares theorem scopes, not measured constants, accepted proof status or numerical performance.
Current proof proposals share one Claim; source revisions and author credits remain distinct.
Text version
A first-revision estimate depends on an iterated logarithm of dimension. An arrow points to the second revision’s uniform target; the Bizeul–Klartag–Lehec proposal shares that target. An assessment label applies to the proposals.
C denotes an unspecified universal constant in each statement. The arrow represents manuscript revision, not a completed OpenMath proof check.
Inspect the first-revision bound
◌Proposed
The first revision’s iterated-logarithm estimate
A historical proof proposal with genuine dimension dependence. The second revision proposes O(1); its evidence is not retroactively attached to this assertion.
A uniform Poincaré bound for isotropic log-concave measures
One shared mathematical assertion with separately attributed October proof proposals. Neither paper receives an independent-review label from this curation.
Authored by OpenMath source curation on 2026-10-13 (AI-assisted curation). Independent review of this visual explanation is pending; linked assertions and relationships have their own assessments.
One shared mathematical assertion with separately attributed October proof proposals.
Song & Zhang 2026
Conjecture · Primary formulation
◌ProposedSong & Zhang 2026
A uniform Poincaré bound for isotropic log-concave measures
There exists C > 0 such that for every n ≥ 1 and every isotropic log-concave probability measure μ on Rn, Varμ(f)≤C∫∣∇f∣2dμ for every locally Lipschitz real f for which the variance and gradient energy are finite.
Assumptions
Isotropic: mean zero and covariance I.
Log-concave density and positive finite dimension; the same C works for all dimensions.
In this problem
One shared mathematical assertion with separately attributed October proof proposals. Neither paper receives an independent-review label from this curation.
A historical proof proposal with genuine dimension dependence.
Song & Zhang 2026
Bound · Supporting result
◌ProposedSong & Zhang 2026
The first revision’s iterated-logarithm estimate
There exists C > 0 such that every isotropic log-concave probability measure μ on ℝⁿ has CP(μ)≤C16log∗(n+2), where log* is the number of successive natural logarithms needed to reach a value at most one.
Assumptions
The first arXiv revision of Song–Zhang, dated 1 October 2026.
Positive finite n; the Poincaré estimate squares the inverse Cheeger estimate.
In this problem
A historical proof proposal with genuine dimension dependence. The second revision proposes O(1); its evidence is not retroactively attached to this assertion.
This affine-transfer implication does not establish the premise or a numerical value of C.
Bizeul et al. 2026
Theorem · Conditional implication
●ProvedBizeul et al. 2026
Transporting the proposed bound beyond isotropic measures
If every isotropic log-concave probability measure has Poincaré constant at most C, then every full-dimensional log-concave probability measure μ with covariance Σ satisfies C_P(μ) ≤ C ‖Σ‖op.
Assumptions
Finite nonsingular covariance and a log-concave probability density.
The same universal constant C is assumed in the isotropic theorem.
In this problem
This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support.
Transporting the proposed bound beyond isotropic measures
Conditional
If every isotropic log-concave probability measure has Poincaré constant at most C, then every full-dimensional log-concave probability measure μ with covariance Σ satisfies C_P(μ) ≤ C ‖Σ‖op.
Limit This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support.
How the problem is attacked, and what each line of attack cannot yet reach.
Normalize before comparing constants
Isotropy removes linear scale and direction: the mean is zero and covariance is the identity. Affine transport relates the general covariance case to this target.
Cannot yet reach A bound for one dimension or one family of densities does not supply the uniform theorem.
Reported in sources: No linked formal proof project for the full KLS theorem was found in these primary sources. The October proposals remain under assessment; publication and model checks are not independent validation.
CComputation
None recorded
RReview
Not yet reviewed
OpenMath assessment: Two October manuscripts propose a dimension-free Poincaré bound. Song–Zhang’s second revision strengthens its first iterated-logarithm estimate; Bizeul–Klartag–Lehec give a separate argument using a Song–Zhang criterion. Independent assessment is pending.
Source comparison and reader curation; independent mathematical assessment remains pending.
OpenMath pilot collection · OpenMath source curation · assessed Oct 13, 2026 · review due Jan 13, 2027
Collection last checked Oct 13, 2026.
Sources
Choose a starting point below. Each result links to its exact statement, cited passages and checks.
Pierre Bizeul · Boaz Klartag · Joseph Lehec · Preprint · Oct 4, 2026
Theorem 1.1 and proof/AI acknowledgement
Research activity · 1 entry
Contributions
Song–Zhang and Bizeul–Klartag–Lehec own separate manuscripts. Their AI disclosures assign models proof exploration, ideas and checking; the authors retain mathematical responsibility. Bizeul–Klartag–Lehec explicitly use a Song–Zhang criterion, which is kept visible as a dependency.
Research direction
Review the current proof proposals
Compare the current revisions, the high-order tilt criterion and the later cumulant/suspension argument.
No independent review verdict or executable formal proof is recorded in this source selection.
Related statements · context, not additional proved progress