Conjecture · version 1

The sharper origin-minimum curvature conjecture

Statement

For the standard Chernoff density f, κ(x)=−(log⁡f)′′(x)\kappa(x)=-(\log f)^{\prime\prime}(x) satisfies κ(x)≥κ(0)\kappa(x)\ge\kappa(0) for every real x.

Assumptions

  • Two-sided standard Brownian motion and quadratic drift t².
  • The proposed optimal constant is the curvature at the origin; κ(0) ≈ 3.4052 is a numerical value reported in the 2014 source.

Scope

This is stronger than inf κ > 0. The selected 2026 theorem does not prove that the origin minimizes curvature, and this curation does not assert a comprehensive current-status assessment.

Distribution
Z = argmax{W(t)−t²}, standard W
Curvature requirement
κ(x) ≥ κ(0) for every x
Uniform positive constant
Specified by κ(0); numerical value ≈ 3.4052

Evidence

Source reports

Connections

In this problem · publication v8

Strong log-concavity of the Chernoff density →

Different statement · related variant · Open

Related statements

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

The selected strong-log-concavity proof gives no origin-minimum conclusion. The old conjecture alone is not a current literature assessment.

Details & sources
Uniform positive curvature of the Chernoff density →

Proved · version 1

For Z=argmax⁡t∈R{W(t)−t2}Z=\operatorname*{argmax}_{t\in\mathbb R}\{W(t)-t^2\}, with W two-sided standard Brownian motion and density f, inf⁡x∈R−(log⁡f)′′(x)>0\inf_{x\in\mathbb R}-(\log f)^{\prime\prime}(x)>0.

  • The lower bound is uniform over the whole real line. Strict positivity at each point alone would not establish this infimum bound.

Scope: The lower bound is uniform over the whole real line. Strict positivity at each point alone would not establish this infimum bound.

The sharper origin-minimum curvature conjecture →

Open · version 1

For the standard Chernoff density f, κ(x)=−(log⁡f)′′(x)\kappa(x)=-(\log f)^{\prime\prime}(x) satisfies κ(x)≥κ(0)\kappa(x)\ge\kappa(0) for every real x.

  • Two-sided standard Brownian motion and quadratic drift t².
  • The proposed optimal constant is the curvature at the origin; κ(0) ≈ 3.4052 is a numerical value reported in the 2014 source.

Scope: This is stronger than inf κ > 0. The selected 2026 theorem does not prove that the origin minimizes curvature, and this curation does not assert a comprehensive current-status assessment.

Relationship not independently reviewed.

Connection in Strong log-concavity of the Chernoff density →

Relationship not independently reviewed. This concerns its use in this problem.

Sources

Chernoff’s density is log-concave →

  • Introduction; Section 3, Conjecture 3.1 → · Original passage ↗
    Recorded 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.

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

  • Log-concavity theorem and Conjecture 3.1 → · Original passage ↗
    Recorded wording

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

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

Fadoua Balabdaoui · Jon A. Wellner · Published · Publication date Feb 5, 2014

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

Revision & attribution

Source revision: v2. Observed Oct 14, 2026.

No AI contribution is reported in this selected source.

Chernoff’s Density Is Strongly Log-Concave →

  • Theorem 1 and Section 5 → · Original passage ↗
    Recorded 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.

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

Xianyang Zhang · Quan Zhou · Preprint · Publication date Jul 21, 2026

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

Revision & attribution

Source revision: v1. Observed Oct 14, 2026.

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.

History

Statement versions

Statement versions and problem publication versions are separate. A new publication can update context or sources while retaining the same statement.

Assessment history · 1

Assessments retained in these publication records. Earlier statement versions retain their own source histories.

Record details
Claim ID
claim-chernoff-origin-minimum-curvature
Statement version
1
SHA-256
cc49f139f716894fc5856a5641a6443841f564a3fa4be1a9e0306bcbfc430fbb

Publication records