{"id":"arxiv/2610.20653","url":"https://arxiv.org/abs/2610.20653","tags":["cs.IT","hep-th","math.PR"],"score":0,"title":"An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow","domain":"cs.IT","source":"arxiv","authors":["Fayez Abu-Ajamieh","Xiaoyan Huo"],"reviews":0,"subject":"cs.IT","summary":"We study the sharp constant in the differential inequality \\[ I(t)I''(t)\\geq c\\,[I'(t)]^2 \\] for Fisher information along the probability-normalized heat flow on $\\mathbb R^2$. The unrestricted log-convexity value $c=1$ is false in two dimensions, whereas the known square-root convexity theorem gives the universal value $c=1/2$. We construct an exact, machine-verifiable sum-of-squares certificate proving the stronger universal bound \\[ c\\geq \\frac{231691}{250000}=0.926764. \\] Together with an independent exact Fourier/Gaussian-envelope construction, this gives \\[ 0.926764\\leq…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}