{"schema_version":"source-reader-v1","record":{"source_id":"kls-conjecture-bkl","versions":[{"work":{"authors":["Pierre Bizeul","Boaz Klartag","Joseph Lehec"],"kind":"research_paper","publication":"preprint","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"The authors credit ChatGPT with many proof ideas and arguments, and credit the suspension idea and exposition to the human authors. Their approach uses a criterion of Song and Zhang; these are distinct papers with a mathematical dependency, not wholly independent proofs.","artifacts":[],"published":{"value":"2026-10-04"}},"id":"kls-conjecture:source:bkl:v1","source_id":"kls-conjecture-bkl","title":"Presenting a proof of the Kannan–Lovász–Simonovits conjecture","owner":"Pierre Bizeul, Boaz Klartag, Joseph Lehec","url":"https://arxiv.org/abs/2610.05474v1","subject_scope":"Proposes a dimension-free Poincaré bound for isotropic log-concave measures through cumulant estimates, localization and suspension.","revision":"2026-10-04","content_sha256":"fb51ab0d94171ac7de2a3009efb5249e44ee66de5c9a1dc5899bdb843de29df9","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://arxiv.org/abs/2610.05474v1","attribution":"Pierre Bizeul, Boaz Klartag, Joseph Lehec","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"kls-conjecture:entry:bkl-history:v1","source_version_id":"kls-conjecture:source:bkl:v1","item_id":"introduction-history","url":"https://arxiv.org/abs/2610.05474v1","wording":"For isotropic log-concave measures, Lee and Vempala obtained C_P(μ) ≤ C√n (Ann. Math. 2024); Chen established a sub-polynomial bound (GAFA 2021); Klartag and Lehec proved a poly-logarithmic bound (GAFA 2022); and Klartag proved C_P(μ) ≤ C log n (2023).","wording_kind":"paraphrase","locator":"§1, paragraph on stochastic localization and (8); references [12], [22], [23], [28]","supersedes":null},{"id":"kls-conjecture:entry:bkl:v1","source_version_id":"kls-conjecture:source:bkl:v1","item_id":"bkl","url":"https://arxiv.org/abs/2610.05474v1","wording":"Proposes a dimension-free Poincaré bound for isotropic log-concave measures through cumulant estimates, localization and suspension.","wording_kind":"paraphrase","locator":"Theorem 1.1 and proof/AI acknowledgement","supersedes":null}],"problems":[{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5}],"selected_version_id":"kls-conjecture:source:bkl:v1","available_versions":[{"id":"kls-conjecture:source:bkl:v1","revision":"2026-10-04","observed_on":"2026-10-13","title":"Presenting a proof of the Kannan–Lovász–Simonovits conjecture","publication":"preprint","content_sha256":"fb51ab0d94171ac7de2a3009efb5249e44ee66de5c9a1dc5899bdb843de29df9","used_in_current_publications":true}],"usages":[{"id":"source-use-4a4a81f164691e409239","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"A sub-polynomial bound (Chen 2021)","claim":{"id":"claim-kls-chen","version":1,"slug":"kls-chen","title":"A sub-polynomial bound"},"fragment":"claim-kls-chen","assessment":{"id":"kls-conjecture:report:chen:v1","entry_id":"kls-conjecture:entry:bkl-history:v1","state":"resolved","source_label":"A sub-polynomial bound (Chen 2021)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2610.05474v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-d10f2d80cd14951208cc","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"A logarithmic bound (Klartag 2023)","claim":{"id":"claim-kls-klartag-log","version":1,"slug":"kls-klartag-log","title":"A logarithmic bound"},"fragment":"claim-kls-klartag-log","assessment":{"id":"kls-conjecture:report:klartag-log:v1","entry_id":"kls-conjecture:entry:bkl-history:v1","state":"resolved","source_label":"A logarithmic bound (Klartag 2023)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2610.05474v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-ddaa2c3254b939efe577","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"A poly-logarithmic bound (Klartag & Lehec 2022)","claim":{"id":"claim-kls-klartag-lehec","version":1,"slug":"kls-klartag-lehec","title":"A poly-logarithmic bound"},"fragment":"claim-kls-klartag-lehec","assessment":{"id":"kls-conjecture:report:klartag-lehec:v1","entry_id":"kls-conjecture:entry:bkl-history:v1","state":"resolved","source_label":"A poly-logarithmic bound (Klartag & Lehec 2022)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2610.05474v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-f89c64b541ea2a12aeaf","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"A square-root bound (Lee & Vempala 2024)","claim":{"id":"claim-kls-lee-vempala","version":1,"slug":"kls-lee-vempala","title":"A square-root bound"},"fragment":"claim-kls-lee-vempala","assessment":{"id":"kls-conjecture:report:lee-vempala:v1","entry_id":"kls-conjecture:entry:bkl-history:v1","state":"resolved","source_label":"A square-root bound (Lee & Vempala 2024)","scope":"Only the exact statement and passage cited here; not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-21","evidence_url":"https://arxiv.org/abs/2610.05474v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-9e3feedac373196643f5","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"question","title":"Kannan–Lovász–Simonovits conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ab3a822ccb8a347aa18e","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"A square-root bound","claim":{"id":"claim-kls-lee-vempala","version":1,"slug":"kls-lee-vempala","title":"A square-root bound"},"fragment":"claim-kls-lee-vempala","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b86a5937c20481107624","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"A sub-polynomial bound","claim":{"id":"claim-kls-chen","version":1,"slug":"kls-chen","title":"A sub-polynomial bound"},"fragment":"claim-kls-chen","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d19d2b353fdecffadaae","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"A logarithmic bound","claim":{"id":"claim-kls-klartag-log","version":1,"slug":"kls-klartag-log","title":"A logarithmic bound"},"fragment":"claim-kls-klartag-log","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ff02605a5564cb68aa16","entry_id":"kls-conjecture:entry:bkl-history:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"A poly-logarithmic bound","claim":{"id":"claim-kls-klartag-lehec","version":1,"slug":"kls-klartag-lehec","title":"A poly-logarithmic bound"},"fragment":"claim-kls-klartag-lehec","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-2780ee7609490dafc7da","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"activity","title":"Review the current proof proposals","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"kls-conjecture-assessment","title":"Review the current proof proposals","kind":"research_direction","source_entry_ids":["kls-conjecture:entry:song-new:v1","kls-conjecture:entry:bkl:v1"],"summary":"Compare the current revisions, the high-order tilt criterion and the later cumulant/suspension argument.","limitation":"No independent review verdict or executable formal proof is recorded in this source selection.","related_claim_ids":["claim-kls-dimension-free-poincare"]}},{"id":"source-use-4200414a87c85b404c66","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"Conditional mathematical implication in the cited source","claim":{"id":"claim-kls-conjecture-consequence","version":1,"slug":"kls-conjecture-consequence","title":"Transporting the proposed bound beyond isotropic measures"},"fragment":"claim-kls-conjecture-consequence","assessment":{"id":"kls-conjecture:report:consequence:v1","entry_id":"kls-conjecture:entry:bkl:v1","state":"resolved","source_label":"Conditional mathematical implication in the cited source","scope":"This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support.","source_date":null,"observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.05474v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-e34f43ffe9fe4e9cf43d","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"Uniform bound proposed by Bizeul, Klartag and Lehec","claim":{"id":"claim-kls-dimension-free-poincare","version":1,"slug":"kls-dimension-free-poincare","title":"A uniform Poincaré bound for isotropic log-concave measures"},"fragment":"claim-kls-dimension-free-poincare","assessment":{"id":"kls-conjecture:report:bkl:v1","entry_id":"kls-conjecture:entry:bkl:v1","state":"proposed_solution","source_label":"Uniform bound proposed by Bizeul, Klartag and Lehec","scope":"Theorem 1.1 asserts a universal Poincaré bound. No formal execution or independent mathematical assessment is recorded here.","source_date":"2026-10-04","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.05474v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-da0b008e8eb18d813e04","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"bound","title":"Poincaré constant","claim":{"id":"claim-kls-dimension-free-poincare","version":1,"slug":"kls-dimension-free-poincare","title":"A uniform Poincaré bound for isotropic log-concave measures"},"fragment":"claim-kls-dimension-free-poincare","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5a5d64829280a7ae3090","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"milestone","title":"Another manuscript presents a proof","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d5196b1f536c55111642","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"milestone","title":"The convex-geometric conjecture","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-58d354856d50da4136af","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"proof","title":"Bizeul–Klartag–Lehec account","claim":{"id":"claim-kls-dimension-free-poincare","version":1,"slug":"kls-dimension-free-poincare","title":"A uniform Poincaré bound for isotropic log-concave measures"},"fragment":"claim-kls-dimension-free-poincare","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-fa2b72269bc5a94fd193","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"question","title":"Kannan–Lovász–Simonovits conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-25eacd807c2de8fb334d","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"reading","title":"Read the mathematical argument; inspect its Claim for assessment and scope.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-c588c5527589ab16b8f9","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"Transporting the proposed bound beyond isotropic measures","claim":{"id":"claim-kls-conjecture-consequence","version":1,"slug":"kls-conjecture-consequence","title":"Transporting the proposed bound beyond isotropic measures"},"fragment":"claim-kls-conjecture-consequence","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-e5bed56c922c19057fa3","entry_id":"kls-conjecture:entry:bkl:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"A uniform Poincaré bound for isotropic log-concave measures","claim":{"id":"claim-kls-dimension-free-poincare","version":1,"slug":"kls-dimension-free-poincare","title":"A uniform Poincaré bound for isotropic log-concave measures"},"fragment":"claim-kls-dimension-free-poincare","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}