{"schema_version":"claim-reader-v1","record":{"available_versions":[1],"current_version":1,"assessment_summary":"consistent","claim":{"statement":"If every isotropic log-concave probability measure has Poincaré constant at most C, then every full-dimensional log-concave probability measure μ with covariance Σ satisfies C_P(μ) ≤ C ‖Σ‖op.","id":"claim-kls-conjecture-consequence","slug":"kls-conjecture-consequence","version":1,"kind":"theorem","title":"Transporting the proposed bound beyond isotropic measures","assumptions":["Finite nonsingular covariance and a log-concave probability density.","The same universal constant C is assumed in the isotropic theorem."],"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_entry_ids":["kls-conjecture:entry:bkl:v1"],"formal_declarations":[]},"sha256":"d0aec6e422cdec5a9a802054ea79ff9382159323b74a2e929b345022586ea068","contexts":[{"assessment_history":[{"report_id":"kls-conjecture:report:consequence:v1","source_id":"kls-conjecture-bkl","source_version_id":"kls-conjecture:source:bkl:v1","source_title":"Presenting a proof of the Kannan–Lovász–Simonovits conjecture","source_label":"Conditional mathematical implication in the cited source","state":"resolved","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.","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.05474v1","entry_id":"kls-conjecture:entry:bkl:v1"}],"problem_id":"problem-kls-conjecture","slug":"kls-conjecture","title":"Kannan–Lovász–Simonovits conjecture","publication_version":5,"relationship":{"claim":{"id":"claim-kls-conjecture-consequence","version":1},"relation":"conditional_implication","relationship_note":"This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support.","result":"proved","report_ids":["kls-conjecture:report:consequence:v1"],"independent_review":"pending","reading":{"placement":"consequence","note":"This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support."}},"assessments":[{"report_id":"kls-conjecture:report:consequence:v1","source_id":"kls-conjecture-bkl","source_version_id":"kls-conjecture:source:bkl:v1","source_title":"Presenting a proof of the Kannan–Lovász–Simonovits conjecture","source_label":"Conditional mathematical implication in the cited source","state":"resolved","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.","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.05474v1","entry_id":"kls-conjecture:entry:bkl:v1"}],"connections":[],"related_claims":[],"progress":[],"tasks":[],"statements":[{"statement":"If every isotropic log-concave probability measure has Poincaré constant at most C, then every full-dimensional log-concave probability measure μ with covariance Σ satisfies C_P(μ) ≤ C ‖Σ‖op.","id":"claim-kls-conjecture-consequence","slug":"kls-conjecture-consequence","version":1,"kind":"theorem","title":"Transporting the proposed bound beyond isotropic measures","assumptions":["Finite nonsingular covariance and a log-concave probability density.","The same universal constant C is assumed in the isotropic theorem."],"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_entry_ids":["kls-conjecture:entry:bkl:v1"],"formal_declarations":[],"relation":"conditional_implication","relationship_note":"This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support.","result":"proved","report_ids":["kls-conjecture:report:consequence:v1"],"independent_review":"pending","reading":{"placement":"consequence","note":"This affine-transfer implication does not establish the premise or a numerical value of C. Singular covariance requires a formulation on its affine support."}}],"entries":[{"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}],"sources":[{"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}]}],"assessments":[{"report_id":"kls-conjecture:report:consequence:v1","source_id":"kls-conjecture-bkl","source_version_id":"kls-conjecture:source:bkl:v1","source_title":"Presenting a proof of the Kannan–Lovász–Simonovits conjecture","source_label":"Conditional mathematical implication in the cited source","state":"resolved","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.","observed_on":"2026-10-13","evidence_url":"https://arxiv.org/abs/2610.05474v1","entry_id":"kls-conjecture:entry:bkl:v1"}],"sources":[{"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: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}],"formalizations":[],"tasks":[],"assessment_state":"proved","publication":{"version":5,"sha256":"9a5a871dfa7d06246a98f2e0ce06fee31fc606ce871894700ac21cfbedcf046b","published_at":"2026-10-21T11:59:55.074210+00:00","reason":"Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.","withdrawn":false,"draft":{"reader_guide":{"reading":[{"entry_id":"kls-conjecture:entry:song-new:v1","role":"proof","note":"Read the mathematical argument; inspect its Claim for assessment and scope."},{"entry_id":"kls-conjecture:entry:bkl:v1","role":"proof","note":"Read the mathematical argument; inspect its Claim for assessment and scope."}],"definitions":[{"id":"kls-conjecture-definition","term":"Isotropic measure","explanation":"A probability measure with mean zero and identity covariance. This normalization removes linear scaling before comparing Poincaré constants across dimensions.","source_entry_ids":["kls-conjecture:entry:song-new:v1"]}],"proofs":[{"id":"kls-conjecture-account-1","claim":{"id":"claim-kls-dimension-free-poincare","version":1},"title":"Song second-revision account","method":"A proposed dimension-free argument","summary":"The second revision proposes a universal bound, strengthening the first revision’s iterated-logarithm dependence.","limitation":"This is a proposed proof under assessment; the earlier quantitative assertion remains a separate historical Claim.","dependencies":[],"source_entry_ids":["kls-conjecture:entry:song-new:v1"],"report_ids":["kls-conjecture:report:second:v1"]},{"id":"kls-conjecture-account-2","claim":{"id":"claim-kls-dimension-free-poincare","version":1},"title":"Bizeul–Klartag–Lehec account","method":"A proposed argument using Song’s criterion","summary":"A separately authored proof account addresses the same uniform Poincaré assertion using a criterion from Song’s work.","limitation":"The dependency on Song’s criterion means this account is not independent verification of that criterion.","dependencies":[],"source_entry_ids":["kls-conjecture:entry:bkl:v1"],"report_ids":["kls-conjecture:report:bkl:v1"]}],"bounds":[{"id":"kls-first-revision-iterated-log-bound-bound-detail","claim":{"id":"claim-kls-first-revision-iterated-log-bound","version":1},"quantity":"Poincaré constant","direction":"upper","value":"C · 16^log*(n+2)","conditions":"First-revision proposed bound for isotropic log-concave measures; dimension-dependent.","comparison_group":"kls-first-revision","date":{"value":"2026-10-01"},"source_entry_ids":["kls-conjecture:entry:song:v1"]},{"id":"kls-dimension-free-poincare-bound-detail","claim":{"id":"claim-kls-dimension-free-poincare","version":1},"quantity":"Poincaré constant","direction":"upper","value":"Universal C","conditions":"Proposed bound for all dimensions; isotropic log-concave measures; mathematical assessment pending.","comparison_group":"kls-uniform-proposal","date":{"value":"2026-10-04"},"source_entry_ids":["kls-conjecture:entry:song-new:v1","kls-conjecture:entry:bkl:v1"]}],"witnesses":[],"contributors":{"summary":"Song–Zhang and Bizeul–Klartag–Lehec own separate manuscrip