{"schema_version":"source-reader-v1","record":{"source_id":"chernoff-density-paper","versions":[{"work":{"authors":["Xianyang Zhang","Quan Zhou"],"kind":"research_paper","publication":"preprint","publication_note":"Source-reported results and external checks are separate from independent OpenMath assessment.","ai_role":"self_reported","ai_note":"The authors attribute the proof to GPT-5.6 Sol, describe an initial algebraic failure and later corrected approaches, and report carefully checking the argument and revising the exposition.","artifacts":[],"published":{"value":"2026-07-21"}},"id":"chernoff-density:source:paper:v1","source_id":"chernoff-density-paper","title":"Chernoff’s Density Is Strongly Log-Concave","owner":"Xianyang Zhang, Quan Zhou","url":"https://arxiv.org/html/2607.18619v1","subject_scope":"Theorem 1; reciprocal-Airy representation, exponential peeling, convolution identity, compactness and AI Usage.","revision":"v1","content_sha256":"0929362634e98d635b7e7df132bbfc8b741d55b625f47df0162a54f395830a0c","update_method":"Compare the pinned source before publishing another immutable revision.","identifier_policy":"Stable source identity; exact source passages are versioned.","observed_on":"2026-10-14","source_updated_on":null,"rights":"metadata-link","license":"Source document rights apply; OpenMath publishes original paraphrases.","terms_url":"https://arxiv.org/html/2607.18619v1","attribution":"Xianyang Zhang, Quan Zhou","rights_note":"Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive.","check_interval_days":90}],"entries":[{"id":"chernoff-density:entry:factor:v1","source_version_id":"chernoff-density:source:paper:v1","item_id":"factor","url":"https://arxiv.org/html/2607.18619v1","wording":"The Chernoff density factors as f(x) = C_f g(x)g(−x), where the normalized one-sided factor has reciprocal-Airy bilateral Laplace transform. The curvature is v(x)+v(−x).","wording_kind":"paraphrase","locator":"Equations (2)–(6); Sections 2–4","supersedes":null},{"id":"chernoff-density:entry:theorem:v1","source_version_id":"chernoff-density:source:paper:v1","item_id":"theorem","url":"https://arxiv.org/html/2607.18619v1","wording":"The paper establishes v(x) > 0 and v(x) ≥ 4x for the normalized one-sided factor, hence κ(x) > 4|x| and inf κ > 0 for the Chernoff density.","wording_kind":"paraphrase","locator":"Theorem 1 and Section 5","supersedes":null}],"problems":[{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8}],"selected_version_id":"chernoff-density:source:paper:v1","available_versions":[{"id":"chernoff-density:source:paper:v1","revision":"v1","observed_on":"2026-10-14","title":"Chernoff’s Density Is Strongly Log-Concave","publication":"preprint","content_sha256":"0929362634e98d635b7e7df132bbfc8b741d55b625f47df0162a54f395830a0c","used_in_current_publications":true}],"usages":[{"id":"source-use-17ab42eabb93f3f8d8ac","entry_id":"chernoff-density:entry:factor:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"assessment","title":"Airy factorization and curvature identity","claim":{"id":"claim-chernoff-airy-factor","version":1,"slug":"chernoff-airy-factor","title":"Airy factorization of the density and curvature"},"fragment":"claim-chernoff-airy-factor","assessment":{"id":"chernoff-density:report:factor:v1","entry_id":"chernoff-density:entry:factor:v1","state":"resolved","source_label":"Airy factorization and curvature identity","scope":"The normalized one-sided factor and fixed Brownian/drift convention.","source_date":"2026-07-21","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.18619v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-ce6265d8027906e7dcaa","entry_id":"chernoff-density:entry:factor:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"question","title":"Strong log-concavity of the Chernoff density","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-1e609b7427ff39e54323","entry_id":"chernoff-density:entry:factor:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"reading","title":"Inspect the normalized factor, transform domain and prior Airy identity.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-ee9a1374c8a5d98a0112","entry_id":"chernoff-density:entry:factor:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"statement","title":"Airy factorization of the density and curvature","claim":{"id":"claim-chernoff-airy-factor","version":1,"slug":"chernoff-airy-factor","title":"Airy factorization of the density and curvature"},"fragment":"claim-chernoff-airy-factor","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-b713d69e108e97bb1680","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"assessment","title":"Strong log-concavity proved in the selected preprint","claim":{"id":"claim-chernoff-curvature-tail","version":1,"slug":"chernoff-curvature-tail","title":"Pointwise and tail curvature bounds"},"fragment":"claim-chernoff-curvature-tail","assessment":{"id":"chernoff-density:report:strong:v1","entry_id":"chernoff-density:entry:theorem:v1","state":"resolved","source_label":"Strong log-concavity proved in the selected preprint","scope":"Standard two-sided Brownian motion with unit quadratic drift; no explicit optimal uniform constant is asserted.","source_date":"2026-07-21","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.18619v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-b7930cc9bf2aa4cef201","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"assessment","title":"Strong log-concavity proved in the selected preprint","claim":{"id":"claim-chernoff-strong-log-concavity","version":1,"slug":"chernoff-strong-log-concavity","title":"Uniform positive curvature of the Chernoff density"},"fragment":"claim-chernoff-strong-log-concavity","assessment":{"id":"chernoff-density:report:strong:v1","entry_id":"chernoff-density:entry:theorem:v1","state":"resolved","source_label":"Strong log-concavity proved in the selected preprint","scope":"Standard two-sided Brownian motion with unit quadratic drift; no explicit optimal uniform constant is asserted.","source_date":"2026-07-21","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/2607.18619v1","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-25f53c6ddb66cb78c95c","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"bound","title":"Negative log-curvature κ(x)","claim":{"id":"claim-chernoff-curvature-tail","version":1,"slug":"chernoff-curvature-tail","title":"Pointwise and tail curvature bounds"},"fragment":"claim-chernoff-curvature-tail","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5b79c600dbe0d960ca87","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"connection","title":"The qualitative question asks for some uniform positive constant; the sharper 2014 conjecture specifies the origin curvature as the best constant.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-97f7d7481eb11a8a13b4","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"connection","title":"The newer theorem strengthens ordinary log-concavity for the same distribution to a uniform strictly positive curvature bound.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8002a75d298e0ef8aeb0","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"definition","title":"Two-sided standard Brownian motion","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-eb166aa0ee3896159bb9","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"definition","title":"Strong log-concavity","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f2f506536b7f95e5400f","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"milestone","title":"An analytic strong-curvature proof is submitted","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-d1dd2fa21b3de5dd3e24","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"proof","title":"Pointwise strictness plus tail control","claim":{"id":"claim-chernoff-strong-log-concavity","version":1,"slug":"chernoff-strong-log-concavity","title":"Uniform positive curvature of the Chernoff density"},"fragment":"claim-chernoff-strong-log-concavity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-7172b572a79e95d9ef30","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"question","title":"Strong log-concavity of the Chernoff density","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-4efda8974954138dce2e","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"reading","title":"Read Theorem 1 and the compactness argument.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-67e0458a4ce7d5f1e294","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"scope","title":"Strong log-concavity","claim":{"id":"claim-chernoff-strong-log-concavity","version":1,"slug":"chernoff-strong-log-concavity","title":"Uniform positive curvature of the Chernoff density"},"fragment":"claim-chernoff-strong-log-concavity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-310f2b8762e7bc3a180b","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"statement","title":"Uniform positive curvature of the Chernoff density","claim":{"id":"claim-chernoff-strong-log-concavity","version":1,"slug":"chernoff-strong-log-concavity","title":"Uniform positive curvature of the Chernoff density"},"fragment":"claim-chernoff-strong-log-concavity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-57e68bed34d7c1964d70","entry_id":"chernoff-density:entry:theorem:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"statement","title":"Pointwise and tail curvature bounds","claim":{"id":"claim-chernoff-curvature-tail","version":1,"slug":"chernoff-curvature-tail","title":"Pointwise and tail curvature bounds"},"fragment":"claim-chernoff-curvature-tail","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}