Jiayang Zou | arXiv Science

arXiv2026

A Hexagonal Counterexample to Log-Convexity of Fisher Information Along the Heat Flow

We construct a smooth, strictly positive, Gaussian-decaying density on $\mathbb{R}^2$ for which Fisher information along the heat flow is not log-convex. This disproves the Cheng--Geng log-convexity conjecture in dimension two and, by tensorization, in every dimension $d\ge2$. Consequently, the multidimensional forms of the Gaussian completely monotone conjecture, McKean's conjecture, and Toscani's entropy power conjecture also fail, complementing the one-dimensional counterexample of Gu and Sellke. Our construction is a small hexagonal perturbation on the triangular torus, transferred to $\mathbb{R}^2$ by a Gaussian envelope and supported by explicit two-dimensional numerics. We also initiate the study of the sharp constants $θ_d^*$ by proving $θ_1^*=1$, establishing monotonicity in the dimension, and identifying a dichotomy for the asymptotic constant $θ_\infty^*$ governed by the sign of $\mathcal{D}$. The explicit two-dimensional counterexample was found by GPT-5.5 Pro.

cs.IT↗

arXiv2026

An Explicit Family of Log-Concave Counterexamples to the Gaussian Completely Monotone Conjecture

We construct smooth, strictly log-concave counterexamples to the Gaussian completely monotone conjecture in every dimension. In one dimension, they form an explicit family $f_m$ whose signed $m$th entropy derivative at time zero is negative for every sufficiently large $m$; the inequality persists for all sufficiently small positive times. Tensorization with a broad Gaussian factor gives the higher-dimensional examples. The argument is analytic and self-contained. It reduces the sign to a two-frequency entropy calculation on the circle and transfers the resulting asymptotic to the real line through an exact heat-flow formula for Gaussian-windowed Fourier modes. The proof was developed by GPT-5.6 Sol Pro under the authors' guidance.

cs.IT↗