An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow
本論文は、11個の正の有理グラム行列を用いた平方和の証明書を構築することにより、対称性や対数凹性の仮定を必要とせずに、従来の既知の普遍的な値である0.5を大幅に改善し、二次元熱流におけるフィッシャー情報凸不等式の鋭い定数に対して約0.9268という、機械的に検証可能な厳密な下界を確立するものである。