Presenting a proof of the Kannan-Lovasz-Simonovits conjecture

Abstract: Together with Bourgain's slicing problem and the variance conjecture, the Kannan-Lovász-Simonovits (KLS) conjecture has been a driving force for mathematical developments in high dimensional geometry in recent decades. We present here a proof of this conjecture. The crucial step in the proof is the very recent criterion from Song and Zhang involving high-order derivatives of tilt averages.

• The paper provides a complete proof of the Kannan–Lovász–Simonovits (KLS) conjecture by showing that the optimal Poincaré constant, $C_P(μ)$, is universally bounded for isotropic log-concave measures, regardless of dimension.
• By extending a third-cumulant estimate to all cumulants through stochastic localization and Song–Zhang's criterion, the paper demonstrates that the Poincaré constant is bounded by a universal constant, independent of dimension or measure.
• The results imply a dimension-free form of KLS and open avenues for potential improvements or alternative proofs of the high-order tilt-derivative criterion, with practical implications for concentration and isoperimetric inequalities in high-dimensional analysis.

Main claim and scope

The paper claims a complete proof of the Kannan–Lovász–Simonovits (KLS) conjecture for all isotropic log-concave probability measures, and therefore for uniform measures on isotropic convex bodies (2610.05474). Its principal theorem asserts that there is a universal constant $C$ such that

$C_P(\mu)\leq C$

for every isotropic log-concave probability measure $\mu$ on $\mathbb{R}^n$, independently of both $n$ and $\mu$. Here $C_P(\mu)$ denotes the optimal Poincaré constant. Through the standard equivalence between spectral gap, concentration, and Cheeger-type isoperimetry for log-concave measures, this would establish the dimension-free form of KLS in its analytic, probabilistic, and geometric formulations.

The claimed result is stronger than the previously stated dimension-dependent bounds in the paper, including $C_P(\mu)\lesssim \sqrt{\log n}$ and the subpolynomial estimate $C_P(\mu)\lesssim 16^{\log^* n}$. The proof is presented for the broader class of log-concave measures rather than only for uniform measures on convex bodies. By affine normalization, the theorem is equivalent to

$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$

up to universal multiplicative constants. The lower bound follows immediately by testing the Poincaré inequality on linear functions; the substantive assertion is the universal upper bound.

The paper places this claim within the established hierarchy linking KLS, the thin-shell conjecture, and the slicing problem. In particular, the KLS estimate applied to $C_P(\mu)\leq C$0 would imply

$C_P(\mu)\leq C$1

and hence the thin-shell estimate $C_P(\mu)\leq C$2. The paper therefore treats KLS as the strongest of these three problems.

Proof architecture

The argument consists of three major components. First, it propagates a third-cumulant estimate to cumulants of arbitrary order. Second, it converts high-order cumulant estimates into bounds on derivatives of exponential tilt averages. Third, it invokes a criterion of Song and Zhang showing that these derivative bounds force a dimension-free Poincaré inequality (Song et al., 1 Oct 2026).

The starting point is the estimate

$C_P(\mu)\leq C$3

valid for isotropic log-concave $C_P(\mu)\leq C$4. In the paper’s notation, this is the matrix inequality

$C_P(\mu)\leq C$5

It is obtained from a quadratic-form variance bound, stated as

$C_P(\mu)\leq C$6

The third-cumulant estimate is the only genuinely external high-dimensional input identified in the proof. The rest of the argument attempts to propagate it inductively.

For the logarithmic Laplace transform

$C_P(\mu)\leq C$7

the order-$C_P(\mu)\leq C$8 cumulant is $C_P(\mu)\leq C$9. The main cumulant theorem asserts

$\mu$0

for a universal $\mu$1. Equivalently, for every unit vector $\mu$2,

$\mu$3

The factorial growth is critical: after dividing by $\mu$4, it yields geometric control of the Taylor coefficients of tilt averages.

Stochastic localization and the cumulant induction

The induction uses Eldan’s stochastic localization process. The evolving measure $\mu$5 remains log-concave, while its covariance matrix $\mu$6 satisfies

$\mu$7

and consequently

$\mu$8

The covariance dynamics are controlled by the third cumulant through

$\mu$9

The paper then derives a stochastic differential equation for the cumulant tensors. For $\mathbb{R}^n$0,

$\mathbb{R}^n$1

where $\mathbb{R}^n$2 is a bilinear combination of lower-order cumulants. This is the key algebraic mechanism: the martingale part at order $\mathbb{R}^n$3 contains the cumulant of order $\mathbb{R}^n$4, whereas the drift contains damping at order $\mathbb{R}^n$5 and products of lower-order terms.

To exploit this equation, the paper introduces the covariance-adapted energy

$\mathbb{R}^n$6

where the norm rescales every tensor argument by $\mathbb{R}^n$7. The main drift inequality is

$\mathbb{R}^n$8

The positive $\mathbb{R}^n$9 term permits upward propagation of cumulant control, while the $n$0 term accounts for the covariance normalization and the tensorial action of the stochastic noise. The lower-order term is estimated using the inductive hypotheses.

The resulting induction uses the sequence

$n$1

A notable feature is the exact factorial cancellation

$n$2

which makes the sum over all lower-order partitions grow only linearly in $n$3. Choosing $n$4 sufficiently large closes the induction. The proof therefore obtains factorial cumulant bounds without introducing dimension-dependent losses.

The implication is substantial if all intermediate estimates are valid: the argument would establish uniformly bounded directional cumulants of every order after covariance normalization, not merely the third-order estimate needed for the first stochastic-localization step.

The Song–Zhang criterion

For $n$5, the paper considers the tilt average

$n$6

Writing

$n$7

the Song–Zhang criterion states that if

$n$8

then

$n$9

The paper reconstructs this criterion using the Laplace operator associated with $\mu$0,

$\mu$1

the spectral characterization $\mu$2, and a recursive procedure involving $\mu$3 applied to centered gradients. The recursion produces tensor-valued functions $\mu$4 and a decreasing sequence of Dirichlet energies $\mu$5.

The argument must address the fact that the resulting tensors are not symmetric. The paper introduces quantitative approximate-symmetry estimates, culminating in a tensor-recovery lemma that controls a tensor by a partial symmetrization with a factor at most $\mu$6. This combinatorial step is essential because the tilt derivatives are symmetric in their Taylor indices, whereas the recursive gradients need not be symmetric across all indices.

The Bochner identity supplies the decay mechanism:

$\mu$7

where $\mu$8 measures the failure of a Hessian to align with the next recursive gradient. Since $\mu$9 under the regularity assumption $C_P(\mu)$0, summation implies $C_P(\mu)$1 and therefore $C_P(\mu)$2.

The proof then derives a contradiction under the hypothesis $C_P(\mu)$3 is sufficiently small. Iterating a degree-doubling inequality for the Taylor tensors produces the explicit numerical threshold

$C_P(\mu)$4

Consequently,

$C_P(\mu)$5

Thus the criterion reduces KLS to a uniform geometric bound on all tilt-average derivatives.

Suspension and the transfer from cumulants to tilt derivatives

The suspension construction is the bridge between the cumulant theorem and the Song–Zhang criterion. Given independent copies $C_P(\mu)$6 of $C_P(\mu)$7 and an independent centered Laplace variable $C_P(\mu)$8, the paper defines

$C_P(\mu)$9

The joint law of $C_P(\mu)\lesssim \sqrt{\log n}$0 is shown to be isotropic and log-concave, provided $C_P(\mu)\lesssim \sqrt{\log n}$1 is large enough to dominate the Hessian of $C_P(\mu)\lesssim \sqrt{\log n}$2 by the uniform convexity of the potential $C_P(\mu)\lesssim \sqrt{\log n}$3. The construction is designed so that mixed cumulants involving one $C_P(\mu)\lesssim \sqrt{\log n}$4 coordinate and $C_P(\mu)\lesssim \sqrt{\log n}$5 coordinates from the same copy of $C_P(\mu)\lesssim \sqrt{\log n}$6 recover the tensor $C_P(\mu)\lesssim \sqrt{\log n}$7.

More precisely, the relevant order-$C_P(\mu)\lesssim \sqrt{\log n}$8 cumulant satisfies

$C_P(\mu)\lesssim \sqrt{\log n}$9

Applying the order-$C_P(\mu)\lesssim 16^{\log^* n}$0 cumulant estimate in the enlarged dimension gives

$C_P(\mu)\lesssim 16^{\log^* n}$1

The parameter $C_P(\mu)\lesssim 16^{\log^* n}$2 is then sent to infinity, so that $C_P(\mu)\lesssim 16^{\log^* n}$3. The orthogonal decomposition of $C_P(\mu)\lesssim 16^{\log^* n}$4 into constants, linear functions, and the orthogonal complement of affine functions yields the same estimate for arbitrary $C_P(\mu)\lesssim 16^{\log^* n}$5.

Substituting the cumulant bound $C_P(\mu)\lesssim 16^{\log^* n}$6 gives

$C_P(\mu)\lesssim 16^{\log^* n}$7

Together with the elementary $C_P(\mu)\lesssim 16^{\log^* n}$8 estimate supplied by isotropy, this establishes the Song–Zhang hypothesis with $C_P(\mu)\lesssim 16^{\log^* n}$9. The claimed KLS conclusion follows:

$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$0

This is dimension-free and applies uniformly to all isotropic log-concave measures.

Relation to previous quantitative bounds

The paper presents the result as removing the final dimension dependence from a sequence of progressively stronger bounds. The stated progression is

Result	Bound on $$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$1
Lee–Vempala	$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$2
Klartag–Lehec	polylogarithmic
Klartag	$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$3
Bizeul–Letwin input combined with log-concave Lichnerowicz	$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$4
Song–Zhang	$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$5
Present paper	$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$6

The paper also emphasizes that the proof is logically stronger than a direct thin-shell argument. Although the sharp thin-shell estimate $$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$7 is used indirectly through the third-cumulant input, the central induction controls all cumulant orders and then transfers that control to spectral gap estimates.

A further implication is the claimed reduction of the Poincaré constant to linear testing. Since linear functions yield the lower bound

$$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$8

the theorem would imply that linear observables determine the spectral gap up to a universal factor for every log-concave measure.

Limitations and open questions

The paper’s formal conclusion depends on several substantial inputs and technical reductions. The third-cumulant estimate is imported from very recent work, and the proof of the all-order cumulant bound depends critically on stochastic-localization estimates, covariance-adapted tensor norms, and the treatment of non-symmetric tensor errors. Each of these components must be independently verified for the stated constants and measurability conditions.

The regularity reduction is also nontrivial. The proof first assumes a smooth uniformly log-concave potential with polynomially controlled derivatives, then invokes Gaussian convolution, quadratic confinement, affine renormalization, and weak convergence. The passage of uniform Poincaré bounds through this approximation is asserted using testing on compactly supported smooth functions, but the full stability argument is not developed in the excerpt at the same level of detail as the main induction.

The suspension construction additionally requires choosing $$C_P(\mu)\asymp \|\operatorname{cov}(\mu)\|_{\mathrm{op}},$$9 after controlling $C_P(\mu)\leq C$00. The extension from smooth functions with bounded Hessian and orthogonality conditions to arbitrary $C_P(\mu)\leq C$01 functions is described as a density argument. A complete treatment must ensure that all tensor derivatives and cumulant identities remain compatible with this approximation.

Most importantly, the manuscript contains an unusual acknowledgement stating that “most proofs and mathematical ideas” were found by ChatGPT. That statement does not affect the mathematical validity of the claims, but it increases the need for line-by-line verification. The supplied text also contains numerous malformed LaTeX expressions, missing delimiters, and apparent transcription errors. These defects make it impossible to treat the presented version as a fully reliable formal proof without checking the underlying arguments and correcting the notation.

The paper leaves open whether the high-order tilt-derivative criterion admits a genuinely complex-analytic proof. It observes that the coefficient bound implies analytic continuation of $C_P(\mu)\leq C$02 to a complex ball of radius $C_P(\mu)\leq C$03, but explicitly states that no such proof is known.

Conclusion

The paper proposes a complete dimension-free proof of the KLS conjecture (2610.05474). Its strategy is to propagate the sharp third-cumulant estimate through Eldan’s stochastic localization, obtain factorially controlled cumulants of every order, transfer those estimates to derivatives of exponential tilt averages through a high-dimensional suspension, and apply the Song–Zhang spectral criterion. If the stochastic-localization induction, suspension argument, and approximation steps withstand detailed verification, the claimed consequence is the universal estimate

$C_P(\mu)\leq C$04

for isotropic log-concave measures, equivalently a dimension-free KLS isoperimetric inequality for convex bodies.