{"schema_version":"source-reader-v1","record":{"source_id":"chernoff-density-original","versions":[{"work":{"authors":["Fadoua Balabdaoui","Jon A. Wellner"],"kind":"research_paper","publication":"published","publication_note":"Source-reported results and external checks are separate from independent OpenMath assessment.","ai_role":"not_reported","ai_note":"No AI contribution is reported in this selected source.","artifacts":[],"published":{"value":"2014-02-05"}},"id":"chernoff-density:source:original:v1","source_id":"chernoff-density-original","title":"Chernoff’s density is log-concave","owner":"Fadoua Balabdaoui, Jon A. Wellner","url":"https://arxiv.org/abs/1203.0828v2","subject_scope":"Published Bernoulli 20(1), 231–244; ordinary log-concavity and the stronger curvature conjecture.","revision":"v2","content_sha256":null,"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/abs/1203.0828v2","attribution":"Fadoua Balabdaoui, Jon A. Wellner","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:origin-minimum:v1","source_version_id":"chernoff-density:source:original:v1","item_id":"origin-minimum","url":"https://arxiv.org/html/1203.0828v2#S3","wording":"The sharper original conjecture requires κ(x) ≥ κ(0) for every x. Its reported numerical value κ(0) ≈ 3.4052 is not established as a uniform lower bound by the selected 2026 theorem.","wording_kind":"paraphrase","locator":"Introduction; Section 3, Conjecture 3.1","supersedes":null},{"id":"chernoff-density:entry:question:v1","source_version_id":"chernoff-density:source:original:v1","item_id":"question","url":"https://arxiv.org/abs/1203.0828v2","wording":"Ordinary log-concavity is established, and uniform positive negative log-curvature is proposed as a stronger property of the same Chernoff density.","wording_kind":"paraphrase","locator":"Log-concavity theorem and Conjecture 3.1","supersedes":null}],"problems":[{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8}],"selected_version_id":"chernoff-density:source:original:v1","available_versions":[{"id":"chernoff-density:source:original:v1","revision":"v2","observed_on":"2026-10-14","title":"Chernoff’s density is log-concave","publication":"published","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-7fcd51f4e3576acf6761","entry_id":"chernoff-density:entry:origin-minimum:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"assessment","title":"Sharper origin-minimum conjecture in the original paper","claim":{"id":"claim-chernoff-origin-minimum-curvature","version":1,"slug":"chernoff-origin-minimum-curvature","title":"The sharper origin-minimum curvature conjecture"},"fragment":"claim-chernoff-origin-minimum-curvature","assessment":{"id":"chernoff-density:report:origin-minimum:v1","entry_id":"chernoff-density:entry:origin-minimum:v1","state":"unknown","source_label":"Sharper origin-minimum conjecture in the original paper","scope":"The 2014 conjecture is recorded as a distinct quantitative target. The selected 2026 result does not establish its sharp constant; no current resolution is inferred from the older source.","source_date":"2014-02-05","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/html/1203.0828v2#S3","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-0798d5fb8ce5f63df555","entry_id":"chernoff-density:entry:origin-minimum: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-2e1972821d44751d3644","entry_id":"chernoff-density:entry:origin-minimum: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-7a28764849681aa19c24","entry_id":"chernoff-density:entry:origin-minimum:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"scope","title":"Sharper original conjecture","claim":{"id":"claim-chernoff-origin-minimum-curvature","version":1,"slug":"chernoff-origin-minimum-curvature","title":"The sharper origin-minimum curvature conjecture"},"fragment":"claim-chernoff-origin-minimum-curvature","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-5822c1e58309c62de295","entry_id":"chernoff-density:entry:origin-minimum:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"statement","title":"The sharper origin-minimum curvature conjecture","claim":{"id":"claim-chernoff-origin-minimum-curvature","version":1,"slug":"chernoff-origin-minimum-curvature","title":"The sharper origin-minimum curvature conjecture"},"fragment":"claim-chernoff-origin-minimum-curvature","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-02cf9d5ec8a13035b1ba","entry_id":"chernoff-density:entry:question:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"assessment","title":"Published ordinary log-concavity theorem","claim":{"id":"claim-chernoff-ordinary-log-concavity","version":1,"slug":"chernoff-ordinary-log-concavity","title":"The earlier ordinary log-concavity theorem"},"fragment":"claim-chernoff-ordinary-log-concavity","assessment":{"id":"chernoff-density:report:ordinary:v1","entry_id":"chernoff-density:entry:question:v1","state":"resolved","source_label":"Published ordinary log-concavity theorem","scope":"The standard Chernoff density.","source_date":"2014-02-05","observed_on":"2026-10-14","evidence_url":"https://arxiv.org/abs/1203.0828v2","supersedes":null},"superseded":false,"formalization":null,"update":null},{"id":"source-use-c03c6099c7e82bfb8eb3","entry_id":"chernoff-density:entry:question: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-7adfa25c46ac32f3fc97","entry_id":"chernoff-density:entry:question: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-7b48553259bc006e009d","entry_id":"chernoff-density:entry:question:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"milestone","title":"Log-concavity is proved and a stronger property proposed","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8afcab5e128886fe61c1","entry_id":"chernoff-density:entry:question: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-fff53ef3a6e5cd19646d","entry_id":"chernoff-density:entry:question:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"reading","title":"Read the published theorem and the stronger conjecture.","claim":null,"fragment":"provenance","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-28d6f2db0820050795df","entry_id":"chernoff-density:entry:question: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-c33f406c125cf11a855c","entry_id":"chernoff-density:entry:question:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"scope","title":"Ordinary log-concavity","claim":{"id":"claim-chernoff-ordinary-log-concavity","version":1,"slug":"chernoff-ordinary-log-concavity","title":"The earlier ordinary log-concavity theorem"},"fragment":"claim-chernoff-ordinary-log-concavity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-017586179bcb26622cc7","entry_id":"chernoff-density:entry:question:v1","problem":{"slug":"chernoff-density","title":"Strong log-concavity of the Chernoff density","publication_version":8},"kind":"statement","title":"The earlier ordinary log-concavity theorem","claim":{"id":"claim-chernoff-ordinary-log-concavity","version":1,"slug":"chernoff-ordinary-log-concavity","title":"The earlier ordinary log-concavity theorem"},"fragment":"claim-chernoff-ordinary-log-concavity","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-8996ebff3aafd554d11b","entry_id":"chernoff-density:entry:question: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}],"linked_entries":[],"linked_sources":[]}}