An exact computer-assisted lower bound for Fisher-information convexity along the two-dimensional heat flow

技術要約：2次元熱流におけるフィッシャー情報凸性の厳密なコンピュータ支援による下限値

問題設定
本論文は、$\mathbb{R}^2$ 上の確率正規化された熱流に沿ったフィッシャー情報 $I(t)$ を支配する微分不等式における鋭い定数 $c^*$ を調査している。具体的には、著者らは、すべての $t > 0$ およびすべての初期確率測度 $\mu$ に対して、以下の不等式
$$I(t)I''(t) \geq c [I'(t)]^2$$
が成立する最大の定数 $c$ を求めている。
無制限の対数凸性の値 $c=1$ は1次元では成立するが（Ledoux, Nair, and Wang）、2次元では（六角形の構成法により反証されている通り）成立しない。既知の「平方根凸性」定理は、$c = 1/2$ という普遍的な下限値を確立しているが、2次元における鋭い定数 $c^*$ の正確な値は未解決問題のままであり、先行研究では $1/2 \leq c^* < 1$ という範囲が示唆されていた。

手法
著者らは、厳密なコンピュータ支援による代数的検証と、明示的な解析的構成を組み合わせたハイブリッド・アプローチを採用している。

1. 和の平方（SOS）証明による下限値:

   • 定式化: 問題は、明示的な2次元インデックス表記を用いて再定式化される。著者らは補助パラメータ $\tau$ を導入し、大域的な積の不等式 $ID \geq cQ^2$（ここで $I, Q, D$ は局所的な微分不変量の期待値である）を、局所的な多項式の期待値 $F(\tau) = \langle d_3 - 2c\tau q + c\tau^2 r \rangle_t$ の非負性に変換する。
   • 代数的恒等式: 著者らは、以下の形式の多項式恒等式を構築する：
     $$H^3 (d_3 - 2c_0\tau q + c_0\tau^2 r) = S_0 + \tau S_1 + H D_i J_i - 2J_i \partial_i H$$
     ここで $H$ は厳密に正な分母多項式であり、$S_0$ と $S_1$ は正定値グラム行列で表される和の平方（SOS）多項式であり、残りの項は積分すると消滅する重み付き全微分項である。
   • 検証: この恒等式の存在は、有理数上で厳密に検証される。著者らは、候補解を発見するために半正定値計画法（SDP）を使用している。この候補は、その後、厳密な有理数係数へと投影される。最終的な証明には、11個の有理グラム行列と491個の主小行列が含まれ、それらはすべて厳密に正である。この多項式恒理式は、15個の変数と925個の線形係数方程式に対してゼロの残差を持つ。
   • 堅牢性: 本証明は、初期測度 $\mu$ に関する対称性、対数凹性、有限分散、または有限エントロピーといった仮定を一切課さない。

2. 明示的な構成による上限値:

   • $c^*$ の上限値を確立するために、著者らは特定の滑らかで厳密に正な確率密度を構成する。
   • 構造: この密度は、三角格子上の729個のフーリエモードの和である周期的な三角多項式 $g(x)$ を6乗したものに、広範なガウス型エンベロープを乗じたものである。
   • 計算: 厳密な有理区間演算を用いて、この特定の密度に対する比 $I(t)I''(t)/[I'(t)]^2$ を $t=0$ において（および連続性により小さな $t>0$ において）計算する。周期的な性質により、係数抽出を通じて必要なモーメントを厳密に評価することが可能となる。

主要な結果
本論文は、鋭い定数 $c^*$ に対して厳密で狭い範囲を確立している：
$$0.926764 \leq c^* < 0.94176665012062$$
具体的には：

• 下限値: $c \geq \frac{231691}{250000} = 0.926764$。これは、厳密なSOS証明を介して証明されている。
• 上限値: $c^* < 0.94176665012062$。これは、明示的な反例構成から導出されている。

また、著者らはこれらの境界を累乗凸性の文脈へと翻訳している。鋭い累乗閾値 $\alpha^* = 1 - c^*$ を定義することで、$I(t)^\alpha$ が $\alpha \geq 0.073236$ で普遍的に凸である一方で、$\alpha \leq 0.05823334987938$ では普遍的な凸性が崩れることを示している。

意義と主張
本論文は、この問題に対して、既知の $c=1/2$ を大幅に改善する、最初の「厳密でマシン検証可能な」下限値を提供したと主張している。

• 厳密性: 著者らは、この下限値が浮動小数点近似ではないことを強調している。最終的な証明書は有理数上で再構成されており、ゼロの残差と厳密に正な小行列を持つことが独立して検証されている。
• 一般性: この下限値は、初期データの正則性に関する仮定（有限のエントロピーや分散など）を必要とせず、$\mathbb{R}^2$ 上の「あらゆる」確率測度に対して成立する。これは $t>0$ における熱流の性質に基づいている。
• 未解決性: 著者らは、下限と上限が近いものの一致していないことから、厳密な鋭い値 $c^*$ は依然として未解決であることを明示している。彼らは、分母 $H$ の改良、発散アンザッツの拡大、あるいは異なる極値列の発見によって、このギャップを埋められる可能性があると示唆している。

本研究は、SOS表現の発見と多項式恒等式の厳密な検証のためにコンピュータ支援に依存しているが、その数学的正当性は、厳密な有理演算と和の平方分解の論理構造に完全に依拠している。