Reading source record arXiv:2610.01447v1. View default cited record →
The first revision proposes inverse Cheeger bound O(4^log* n), giving Poincaré bound O(16^log* n).
Source publication and attributed assessments are distinct from independent OpenMath review.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The first revision proposes inverse Cheeger bound O(4^log* n), giving Poincaré bound O(16^log* n).
Passage ID: kls-conjecture:entry:song:v1
Source item: song
Source record: kls-conjecture:source:song:v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v5
Source assessment
Proposed
Slowly dimension-dependent bound proposed in revision one
Inverse Cheeger constant scales as 4^log*(n+2); the Poincaré bound uses its square.
Source date Oct 1, 2026 · Observed Oct 13, 2026
History
The convex-geometric conjecture
History
A slowly dimension-dependent bound is proposed
Question
Kannan–Lovász–Simonovits conjecture
Recorded authorship
Zhao Song · Xinzhi Zhang
Zhao Song, Xinzhi Zhang
The authors describe AI-assisted proof exploration and verification. Contribution claims belong to this source revision and do not constitute independent assessment.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
An O(1) Bound for the KLS Constant — second revision
An O(4^log* n) Bound for the KLS Constant — first revision
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Source terms ↗