技術要約：拡散過程からのリーマン幾何学の復元

問題設定

従来の幾何学的解析は、通常、既知のリーマン構造（多様体 $M$、計量 $g$、および測度 $\mu$）から出発し、それに関連するラプラス・ベルトラーミ演算子によって生成される熱流などの拡散過程を研究する。本論文はこの存在論的な方向性を逆転させるものである。中心となる問題は、事前的な計量、座標系、または熱核の表現を仮定することなく、対称で強局所的な拡散セミグループ $(P_t)_{t \geq 0}$ のデータのみから、背後にある空間の完全なリーマン幾何学が内在的に再構成できるか否かである。

本論文は、幾何学的構造は先験的な入力ではなく、拡散の微小な振る舞いにエンコードされた創発的な特性であると断定している。具体的には、一次および二次の拡散カルキュラスが、計量テンソル、レヴィ＝チヴィタ接続、曲率テンソル、および基準測度を復元するのに十分であるかどうかを問うている。

手法

再構成は、拡散セミグループに付随する内在的な演算子を利用したバクリー・エメリー $\Gamma$-カルキュラスを通じて進行する。その手法は、以下の論理鎖に基づいている：
$$\text{拡散セミグループ } (P_t) \longrightarrow \text{バクリー–エメリー カルキュラス } (\Gamma, \Gamma_2) \longrightarrow \text{リーマン幾何学 } (g, \nabla, \mu)$$

1. 基礎となる仮定

本論文は、$\sigma$-有限なボレル測度 $\mu$ を備えた滑らかな連結多様体 $M$ を仮定する。拡散は、$L$ を自己随伴生成子とする、保存的で対称なマルコフ $C_0$-セミグループ $(P_t)$ によってモデル化される。
主要な公理は以下の通りである：

• 強局所性: 関連するディリクレ形式 $\mathcal{E}$ は強局所的である。
• 滑らかさ: 拡散は滑らかな一次カルキュラスを持つ。具体的には、**カレ・デュ・シャン（carré du champ）**演算子 $\Gamma$ は、滑らかなコア $C^\infty(M)$ 上で定義可能であり、対称かつ双線形であり、ライプニッツ則を満たし、一次ジェットのみに依存する。

2. 再構成のステップ

本論文は、以下の順序で幾何学的対象を構築する：

• 計量 ($g$) の復元:
  カレ・デュ・シャン $\Gamma(f, g)$ は、セミグループの脱相関の極限として内在的に定義される：
  $$\Gamma(f, g) := \lim_{t \downarrow 0} \frac{1}{2t} \left( P_t(fg) - (P_t f)(P_t g) \right).$$
  本論文は、$\Gamma(f, g)(x)$ が微分 $df(x)$と$dg(x)$にのみ依存することを証明している。これにより、余接束$T^*x M$上の対称双線形形式を定義することが可能となる。非退化条件（正定値性）の下で、この形式は一意な余計量$g^{-1}$を定義する。その逆が、$\Gamma(f, g) = \langle df, dg \rangle{g^{-1}}$を満たす一意な滑らかなリーマン計量$g$ を与える。

• 接続 ($\nabla$) および測度 ($\mu$) の復元:
  $g$ が確立されると、本論文は、拡散セミグループの対称性がレヴィ＝チヴィタ接続を厳密に選択することを示す。生成子 $L$ は、重み付きラプラス演算子の形式をとることが示される：
  $$L = \Delta_g + \langle \nabla \log \rho, \nabla \cdot \rangle_g,$$
  ここで $\mu = \rho \, \text{vol}_g$ である。ドリフト項 $\nabla \log \rho$ は、標準的なラプラス・ベルトラーミ演算子 $\Delta_g$ と比較することによって一意に決定され、これにより基準測度 $\mu$ が大域的な定数倍を除いて復元される。

• 曲率の復元:
  反復カレ・デュ・シャン $\Gamma_2$ は、生成子を用いて $\Gamma_2(f) = \frac{1}{2}L\Gamma(f) - \Gamma(f, Lf)$ として定義される。本論文は、ブーナーの恒等式を利用して、$\Gamma_2$ がバクリー–エメリー・リッチテンソルをエンコードしていることを示す：
  $$\Gamma_2(f) = \|\nabla^2 f\|_{HS, g}^2 + (\text{Ric}_g + \nabla^2 \log \rho)(\nabla f, \nabla f).$$
  ある点においてヘッセ行列が消滅する関数を選択することにより、リッチテンソル（および、接続を介した完全なリーマン曲率テンソル）が $\Gamma_2$ から点ごとに復元される。

主要な貢献と結果

1. 内在的計量の復元: 本論文は、対称で強局域的な拡散セミグループが、滑らかな拡散カルキュラスを満たす場合、一意な滑らかなリーマン計量 $g$ を決定することを証明している。この計量は、測地線や熱核の漸近挙動に頼ることなく、一次カルキュラス $\Gamma$ のみから導出される。
2. 接続と測度の一意性: 拡散セミグループの対称性は、レヴィ＝チヴィタ接続と基準測度 $\mu$ を一意に固定する。他のアフィン接続や測度は、$\Gamma$ およびディリクレ形式が満たす基本恒等式に違反することになる。
3. 二次データからの曲率: 反復カレ・デュ・シャン $\Gamma_2$ は、重み付きリッチ曲率をエンコードすることが示されている。これは、曲率が二次的な拡散挙動の内在的な特性であることを確立している。
4. 大域的等長性の決定: 本論文は、拡散セミグループが、リーマン等長写像を除いて、大域的な重み付きリーマン多様体 $(M, g, \mu)$ を一意に決定することを確立している。二つの拡散系が「拡散等価」（可測な全単射による共役関係にある）であれば、それらが再構成した幾何学は、大域的に等長である。
5. 情報理論的視点: 本研究は、幾何学的構造が情報の流れの下での拡散から創発するという、厳密な枠組みを提供している。拡散カルキュラスは、リーマン等長類を決定する完全な不変量として機能する。

意義と主張

本論文は、幾何学が拡散の下での情報流を制御する構造として捉えられることを示すことで、微分幾何学における基礎的な転換を提示すると主張している。

• 事前の幾何学なし: 再構成には、初期の計量、座標、またはスペクトルデータは必要ない。計量は、一次の拡散カルキュラスから生じる創発的な特性である。
• 剛性: 結果は高度な剛性を示している。拡散データは、幾何学的パッケージ $(g, \nabla, \text{Ric}, \mu)$ を一意に決定する。
• 範囲: 本論文は、これらの結果が滑らかな拡散カルキュラスを持つ滑らかな多様体に適用されることを明示している。非滑らかな空間、離散構造、または非可換な類似物に対する再構成問題を解決するものではないが、これらを将来の研究の方向性として示唆している。
• 先行研究との関係: 本論文は、エントロピーから滑らかな多様体構造自体が復元されたとされる先行研究 [1] に基づいている。本論文は滑らかな構造が利用可能であることを前提とし、リーマン的構造（計量、接続、曲率）を拡散セミグループから復元することに焦点を当てている。

要約すると、本論文は、「拡散の直感的挙動」が、背後にある空間の完全な重み付きリーマン幾何学を再構成するために必要なすべてのデータを含んでいることを確立しており、幾何学から拡散を導き出すという標準的なパラダイムを効果的に逆転させている。