2026/07/21 by Xianyang Zhang, Quan Zhou
#math.PR #math.ST #stat.TH
Let f be the density of the Chernoff random variable argmaxt∈ℝ\W(t)-t2\, where W is a two-sided Brownian motion. This note proves the conjecture of Balabdaoui and Wellner (2014) that f is strongly log-concave. The proof was generated in its entirety by GPT-5.6 Sol.