An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow
Cet article établit une borne inférieure exacte, vérifiable par machine, d'environ 0,9268 pour la constante exacte de l'inégalité de convexité de l'information de Fisher le long du flot de la chaleur bidimensionnel en construisant un certificat de somme de carrés avec onze matrices de Gram rationnelles positives, améliorant ainsi considérablement la valeur universelle de 0,5 connue précédemment sans nécessiter d'hypothèses de symétrie ou de log-concavité.