{"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":"Song and Zhang credit GPT-6 Astra, GPT-5.6 Sol and Claude Fable 5/5.1 for extensive proof exploration and checking, with authors directing priorities and retaining responsibility.","artifacts":[],"published":{"value":"2026-10-04"}},"id":"kls-conjecture:source:song:v2","source_id":"kls-conjecture-song","title":"An O(1) Bound for the KLS Constant — second revision","owner":"Zhao Song, Xinzhi Zhang","url":"https://arxiv.org/abs/2610.01447v2","subject_scope":"The second revision proposes a uniform O(1) bound, strengthening the first revision’s slowly dimension-dependent estimate.","revision":"arXiv:2610.01447v2","content_sha256":"c69ea9c264ec83518df1ee205443fa54efe647c3c175344cbe5c75d7d091ce3d","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.01447v2","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-new:v1","source_version_id":"kls-conjecture:source:song:v2","item_id":"song-new","url":"https://arxiv.org/abs/2610.01447v2","wording":"The second revision proposes a uniform O(1) bound, strengthening the first revision’s slowly dimension-dependent estimate.","wording_kind":"paraphrase","locator":"Second revision main theorem and AI acknowledgement","supersedes":"kls-conjecture:entry:song:v1"}],"problems":[{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5}],"selected_version_id":"kls-conjecture:source:song:v2","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-833bda6ace693fe42d8b","entry_id":"kls-conjecture:entry:song-new: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-14620db645703afca41b","entry_id":"kls-conjecture:entry:song-new:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"assessment","title":"Uniform bound proposed by Song and Zhang in revision two","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:second:v1","entry_id":"kls-conjecture:entry:song-new:v1","state":"proposed_solution","source_label":"Uniform bound proposed by Song and Zhang in revision two","scope":"The later manuscript proposes a constant independent of dimension; independent mathematical assessment is pending.","source_date":"2026-10-04","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.01447v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-fb2d67b57d0b96b17ed5","entry_id":"kls-conjecture:entry:song-new: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-753e45a9fbbe95ef88f3","entry_id":"kls-conjecture:entry:song-new:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"definition","title":"Isotropic measure","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d3e7774551db6eff00d3","entry_id":"kls-conjecture:entry:song-new:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"milestone","title":"The second revision proposes a constant bound","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-9b1c2c3d40ae3e24d58d","entry_id":"kls-conjecture:entry:song-new:v1","problem":{"slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5},"kind":"proof","title":"Song second-revision 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-7632528ef7b5a635d60b","entry_id":"kls-conjecture:entry:song-new: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-0502e5216b019f0e0b6f","entry_id":"kls-conjecture:entry:song-new: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-5f0f51e2d492cca5bb7f","entry_id":"kls-conjecture:entry:song-new: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":[]}}