{"schema_version":"source-reader-v1","record":{"source_id":"kls-conjecture-song","versions":[{"work":{"authors":["Zhao Song","Xinzhi Zhang"],"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 describe AI-assisted proof exploration and verification. Contribution claims belong to this source revision and do not constitute independent assessment.","artifacts":[],"published":{"value":"2026-10-01"}},"id":"kls-conjecture:source:song:v1","source_id":"kls-conjecture-song","title":"An O(4^log* n) Bound for the KLS Constant — first revision","owner":"Zhao Song, Xinzhi Zhang","url":"https://arxiv.org/abs/2610.01447v1","subject_scope":"The first revision proposes inverse Cheeger bound O(4^log* n), giving Poincaré bound O(16^log* n).","revision":"arXiv:2610.01447v1","content_sha256":"11ded7a039724f1c925273968ead3ff1695e3161f11df5f40db7ee50ff1c1355","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.01447v1","attribution":"Zhao Song, Xinzhi Zhang","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"kls-conjecture:entry:song:v1","source_version_id":"kls-conjecture:source:song:v1","item_id":"song","url":"https://arxiv.org/abs/2610.01447v1","wording":"The first revision proposes inverse Cheeger bound O(4^log* n), giving Poincaré bound O(16^log* n).","wording_kind":"paraphrase","locator":"Main theorem and Poincaré conversion; exact first revision","supersedes":null}],"problems":[{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5}],"selected_version_id":"kls-conjecture:source:song:v1","available_versions":[{"id":"kls-conjecture:source:song:v2","revision":"arXiv:2610.01447v2","observed_on":"2026-10-13","title":"An O(1) Bound for the KLS Constant — second revision","publication":"preprint","content_sha256":"c69ea9c264ec83518df1ee205443fa54efe647c3c175344cbe5c75d7d091ce3d","used_in_current_publications":true},{"id":"kls-conjecture:source:song:v1","revision":"arXiv:2610.01447v1","observed_on":"2026-10-13","title":"An O(4^log* n) Bound for the KLS Constant — first revision","publication":"preprint","content_sha256":"11ded7a039724f1c925273968ead3ff1695e3161f11df5f40db7ee50ff1c1355","used_in_current_publications":true}],"usages":[{"id":"source-use-3e5cd4fdc0a2170ba52b","entry_id":"kls-conjecture:entry:song:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"Slowly dimension-dependent bound proposed in revision one","claim":{"id":"claim-kls-first-revision-iterated-log-bound","version":1,"slug":"kls-first-revision-iterated-log-bound","title":"The first revision’s iterated-logarithm estimate"},"fragment":"claim-kls-first-revision-iterated-log-bound","assessment":{"id":"kls-conjecture:report:first:v1","entry_id":"kls-conjecture:entry:song:v1","state":"proposed_solution","source_label":"Slowly dimension-dependent bound proposed in revision one","scope":"Inverse Cheeger constant scales as 4^log*(n+2); the Poincaré bound uses its square.","source_date":"2026-10-01","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.01447v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-be1c85449218af052b6a","entry_id":"kls-conjecture:entry:song:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"bound","title":"Poincaré constant","claim":{"id":"claim-kls-first-revision-iterated-log-bound","version":1,"slug":"kls-first-revision-iterated-log-bound","title":"The first revision’s iterated-logarithm estimate"},"fragment":"claim-kls-first-revision-iterated-log-bound","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-226205a919335a320574","entry_id":"kls-conjecture:entry:song: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-42db5521db13fa42d95a","entry_id":"kls-conjecture:entry:song:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"milestone","title":"A slowly dimension-dependent bound is proposed","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-63a1a91daba406f92910","entry_id":"kls-conjecture:entry:song: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-c9a06bdaf60cc71bc895","entry_id":"kls-conjecture:entry:song:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"statement","title":"The first revision’s iterated-logarithm estimate","claim":{"id":"claim-kls-first-revision-iterated-log-bound","version":1,"slug":"kls-first-revision-iterated-log-bound","title":"The first revision’s iterated-logarithm estimate"},"fragment":"claim-kls-first-revision-iterated-log-bound","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}