Source · Paper

Chernoff’s density is log-concave

PublishedPublication date Feb 5, 2014
Open paper ↗

Overview

Published Bernoulli 20(1), 231–244; ordinary log-concavity and the stronger curvature conjecture.

Source-reported results and external checks are separate from independent OpenMath assessment.

Passages

The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.

Passage index · 2
  1. Introduction; Section 3, Conjecture 3.1
  2. Log-concavity theorem and Conjecture 3.1
Passage 1 · OpenMath paraphrasePermalink

Introduction; Section 3, Conjecture 3.1

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.

Passage details

Passage ID: chernoff-density:entry:origin-minimum:v1

Source item: origin-minimum

Source record: chernoff-density:source:original:v1

Passage 2 · OpenMath paraphrasePermalink

Log-concavity theorem and Conjecture 3.1

Ordinary log-concavity is established, and uniform positive negative log-curvature is proposed as a stronger property of the same Chernoff density.

Passage details

Passage ID: chernoff-density:entry:question:v1

Source item: question

Source record: chernoff-density:source:original:v1

Used in

Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.

Strong log-concavity of the Chernoff density →

Problem publication v8

The sharper origin-minimum curvature conjecture →

Source assessment

Not assessed

Sharper origin-minimum conjecture in the original paper

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 Feb 5, 2014 · Observed Oct 14, 2026

The earlier ordinary log-concavity theorem →

Source assessment

Proved

Published ordinary log-concavity theorem

The standard Chernoff density.

Source date Feb 5, 2014 · Observed Oct 14, 2026

Problem context · 7 citations

Connection

The qualitative question asks for some uniform positive constant; the sharper 2014 conjecture specifies the origin curvature as the best constant.

Connection

The newer theorem strengthens ordinary log-concavity for the same distribution to a uniform strictly positive curvature bound.

History

Log-concavity is proved and a stronger property proposed

Further reading

Read the published theorem and the stronger conjecture.

Credits

Recorded authorship

Fadoua Balabdaoui · Jon A. Wellner

Fadoua Balabdaoui, Jon A. Wellner

AI involvement not reported

No AI contribution is reported in this selected source.

Versions

OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.

  1. v2 · selectedObserved Oct 14, 2026 · used in current publications

    Chernoff’s density is log-concave

Record details
Source ID
chernoff-density-original
Record ID
chernoff-density:source:original:v1
Recorded title
Chernoff’s density is log-concave
Revision
v2
Observed
Oct 14, 2026
Source updated
Not recorded
Content SHA-256
Not recorded
Update method
Compare the pinned source before publishing another immutable revision.
Identifier policy
Stable source identity; exact source passages are versioned.
Check interval
90 days
Rights
metadata-link
License
Source document rights apply; OpenMath publishes original paraphrases.

Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive.

Source terms ↗