Publication v4
Canonical question, exact result scopes, proof evidence, contributors, history and explanatory examples.
Formal proofs: No complete proof-assistant artifact was identified in the selected sources. The analytic manuscript and author checking are cited separately from independent mathematical assessment.
AI-assisted work: The final corrected proof, human checking and literature attribution are self-reported; an initial failed model attempt is not presented as mathematical evidence.
Selected primary manuscript versions and their cited original literature, checked on 14 October 2026. This is not an exhaustive literature review.
Checked Oct 14, 2026 · independent review pending.
Strong log-concavity proved in the selected preprint · observed Oct 14, 2026
Source status dated Jul 21, 2026 · observed Oct 14, 2026
Standard two-sided Brownian motion with unit quadratic drift; no explicit optimal uniform constant is asserted.
Fadoua Balabdaoui, Jon A. Wellner · metadata-link · 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. Rights / source terms
chernoff-density:entry:question:v1chernoff-density:entry:origin-minimum:v1Xianyang Zhang, Quan Zhou · metadata-link · 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. Rights / source terms
chernoff-density:entry:theorem:v1chernoff-density:entry:factor:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.