Ricci 流に沿ったシャープな Gauss 等周不等式

§01 背景 — Gauss 等周問題の起源と Ricci 流の概要

等周問題とは、与えられた「周」または表面積に対して体積（あるいは測度）を最大にする集合を求める問題であり、数学における最古の問いの一つです。ユークリッド空間において答えが球であることは生物学的直感にも訴えますが、Gauss 測度を備えた空間では答えが変わります。

$n$ 次元ユークリッド空間に標準 Gauss 測度 $\gamma_n$ が与えられたとき、Gauss 等周不等式は次の主張を行います: Gauss 測度 $\gamma_n(A) = \Phi(s)$ を持つ Borel 集合 $A$ の $\varepsilon$-近傍 $A_\varepsilon$ は、対応する半空間 $\{x : x_1 \leq s\}$ の $\varepsilon$-近傍と少なくとも同じ測度を持ちます。等価な表現として、 $$\gamma_n(A_\varepsilon) \geq \Phi(s + \varepsilon)$$ が成立します。ここで $\Phi$ は標準正規分布の累積分布関数です。この結果は 1974 年に Sudakov--Tsirel'son と Borell がそれぞれ独立に証明しました。数十年にわたって確率論・統計学・凸幾何学の基礎をなしてきた不等式です。

一方、Ricci 流は 1982 年に Hamilton が導入した計量の偏微分方程式であり、Riemannian 多様体 $(M, g)$ 上の計量 $g$ を $$\frac{\partial g_{ij}}{\partial t} = -2 R_{ij}$$ で時間発展させます（$R_{ij}$ は Ricci 曲率テンソル）。この流れは Perelman によるポアンカレ予想の解決（2002--2003 年）において核心的な役割を担い、現代微分幾何学の最重要対象の一つとなっています。

Ricci 流に沿った共役熱方程式 $(-\partial_t - \Delta + R)H = 0$（$R$ はスカラー曲率）の基本解 $H(x, t; y, T)$ が共役熱核です。Perelman はこの核に関連する $W$-エントロピー $$W(g, f, \tau) = \int_M \left(\tau(|\nabla f|^2 + R) + f - n\right)(4\pi\tau)^{-n/2} e^{-f} dV$$ の単調性を証明し、Ricci 流の解析に確率的手法を持ち込みました。

本論文が問うのは、この共役熱核が誘導する確率測度（共役熱核測度）に対して、Gauss 等周不等式のシャープ版が成立するか、という問題です。曲率が時間変動する Ricci 流の文脈でこれを問うことは、古典的な定曲率空間の設定を本質的に超えており、新たな証明の枠組みが必要となります。

§02 先行研究 — Hein--Naber と Bamler の貢献、および残されたギャップ

Ricci 流の解析は Perelman 以降、急速に発展してきました。中でも Hein と Naber（2014 年）、および Bamler の一連の研究は、共役熱核測度に関する定量的不等式の体系を構築するうえで画期的でした。

Hein--Naber は、Ricci 流に沿った共役熱核測度に対する指数集中不等式を確立しました。彼らの主要な結果は、次のような形を持ちます: ある定数 $C$ と $\sigma^2$ に対して、 $$\mu_t(d(x, p) > r) \leq C \exp\left(-\frac{r^2}{2\sigma^2}\right)$$ という集中が成立するというものです。これは重要な結果ですが、「シャープ」ではありません。等号条件が明示されていないため、プロファイルの精密な形が不明であり、後続の関数不等式への精密な応用が阻まれていました。

Bamler は別の方向から、Ricci 流収束の定量理論を構築しました。特に $H_n$-センターの概念（Ricci 流の解の「中心的な時空点」を特定する道具）と $L^p$-Poincaré 不等式の確立は、幾何解析の新しい基盤となっています。しかしここでも、現れる定数の最良値は未決定のままでした。

問題の本質は、Gauss 等周不等式のシャープな版を Ricci 流の文脈で証明するためには、曲率が時間変動する設定に対して機能する新しい証明手法が必要だということです。古典的な手法——Ehrhard による対称化、Bobkov の半群アプローチ、Ledoux の Ornstein--Uhlenbeck 半群を用いた手法——はいずれも Gauss 測度の静的な性質や凸体の構造に本質的に依存しており、Ricci 流の動的設定には直接適用できません。

Koirala の論文はこのギャップを、単調性公式というツールで解消します。Perelman の $W$-エントロピー単調性が Ricci 流の解の正則性証明に威力を発揮したように、本論文では Gauss 等周プロファイル $$I(p) = \varphi(\Phi^{-1}(p)), \quad \varphi = \Phi'$$ に対応する量の単調性が鍵となります。Ricci 流に沿ってこの量が単調に振る舞うことが証明されると、等周不等式のシャープ性が帰結として導けるのです。

§03 主定理 — 単調性公式を核とした証明戦略

本論文の中心的な定理は次のように要約できます。

**定理（概略）**: コンパクト Riemann 多様体 $(M, g(t))_{0 \leq t \leq T}$ 上の Ricci 流に対して、時刻 $t$ における共役熱核測度 $\mu_t$ を考える。適切な Gauss スケールパラメータ $\sigma = \sigma(t)$ のもとで、$\mu_t(A) = \Phi(s)$ を満たす任意の Borel 集合 $A$ に対し、 $$\mu_t(A_\varepsilon) \geq \Phi\left(s + \frac{\varepsilon}{\sigma}\right)$$ が成立する。さらにこの不等式はシャープであり、等号条件は半空間的な集合において達成される。

証明の核心は、Gauss 等周プロファイル $I$ に関連する汎関数の Ricci 流に沿った単調性にあります。$I(p) = \varphi(\Phi^{-1}(p))$ は古典的 Gauss 等周不等式において境界測度の下限を与える関数で、単調性公式はこれに対応する量が時間方向に「改善」されることを示します。

Perelman の $W$-エントロピー単調性との類比は表面的ではありません。Perelman の議論では、熱核測度に対してエントロピー型汎関数の時間微分が非正であることが示されましたが、本論文では等周プロファイル型汎関数に対して同様の単調性が成立することを証明します。この類比が機能するのは、Ricci 流の幾何学的な「良さ」——特に Ricci 曲率の変化の仕方——が等周プロファイルの挙動とうまく整合するためです。

証明の副産物として、**Gauss 再配列不等式**（Gaussian rearrangement inequalities）も確立されています。これは、ある関数 $f$ を Gauss 対称再配列 $f^*$（Gauss 測度が等しいレベル集合を半空間に置き換えたもの）で置き換えると、各種の積分汎関数が改善されるという主張です: $$\int \Phi^{-1}(\mu(\{f > t\})) \, dt \leq \int \Phi^{-1}(\mu(\{f^* > t\})) \, dt$$ のような形の不等式が成立します。この再配列不等式は等周不等式の関数版であり、後続の応用（対数 Sobolev 不等式、Bobkov 不等式）の導出において本質的に用いられます。

全体として、単調性公式 → シャープ等周不等式 → Gauss 再配列不等式 → 各種関数不等式という論理の連鎖が本論文の骨格を形成しています。曲率が時間変動する幾何学的対象（Ricci 流）に対して Gauss 等周性が「遺伝」することを示した点において、本論文は幾何解析における実質的な前進です。

flowchart TD
    A[単調性公式] --> B[シャープ Gauss 等周不等式]
    B --> C[Gauss 再配列不等式]
    B --> D[正確な Gauss 拡大定理]
    C --> E[シャープ対数 Sobolev 不等式]
    C --> F[経路空間 Bobkov 不等式]
    D --> G[Gauss 分位 2 集合集中]
    E --> H[Bamler Lp-Poincare 定数の同定]
    D --> J[逆超縮約性]

§04 帰結の連鎖 — 7 つの応用と他分野への接続

シャープな等周プロファイルが確立されると、それを用いた重要な帰結が次々と引き出せます。以下では主要な応用を整理します。

**1. 正確な Gauss 拡大定理**: $\mu_t(A) = \Phi(s)$ のとき $\mu_t(A_\varepsilon) \geq \Phi(s + \varepsilon/\sigma)$ が最良定数付きで成立します。非シャープ版の Hein--Naber よりも精密であり、プロファイルの形が Gauss 型で明示されています。

**2. Gauss 分位 2 集合集中不等式**: 2 つの集合 $A, B$ の間の Gauss プロファイルを用いた集中不等式が得られます。これは確率論的な独立性の欠如を定量する道具として機能します。

**3. シャープな Hein--Naber 対数 Sobolev 不等式の再導出**: 対数 Sobolev 不等式 $$\int f^2 \log f^2 \, d\mu_t \leq 2\sigma^2 \int |\nabla f|^2 \, d\mu_t + \left(\int f^2 \, d\mu_t\right) \log \left(\int f^2 \, d\mu_t\right)$$ は Gauss 等周プロファイルから直接導出されます。本論文はこれを Gauss 再配列不等式を経由することで最良定数 $\sigma^2$ を明示しながら証明し直しています。

**4. Bamler の $L^p$-Poincaré 不等式における普遍 Gauss 定数の同定**: Bamler の理論に現れる定数の最良値が、共役熱核の Gauss 型プロファイルから決まる普遍定数として同定されます。これは定数の「暗算」ではなく、構造的な必然性として示されることが本論文の意義の一つです。

**5. $H_n$-センター付近での Gauss プロファイル局所化**: Bamler の $H_n$-センター（Ricci 流解の「良い時空点」）の近傍では、共役熱核の分布がより精密な Gauss 型プロファイルによって局所的に近似されることが示されます。

**6. 逆超縮約性（Reverse Hypercontractivity）と経路空間 Bobkov 不等式**: 超縮約性とは半群が $L^p$ ノルムを縮小させる性質であり、その「逆」は別の重要な解析的性質に対応します。経路空間 Bobkov 不等式は Gauss 等周不等式の関数版の経路空間拡張であり、確率過程の解析に用いられます。

これらの応用が示すのは、Ricci 流の解析・関数不等式論・確率測度論という三領域が Gauss 等周プロファイルという共通言語で結びついているという構造です。等周不等式のシャープ性は、これらの分野を結ぶ「通貨」として機能しています。また、共役熱核の対数微分のモーメント評価は、確率解析における Malliavin 微分との接続を示唆しており、将来の発展が期待されます。

数学的な観点から整理すると、本論文の手法——単調性公式 → Gauss 等周プロファイルの保存 → 関数不等式の最適定数決定——は、Ricci 流以外の幾何学的熱流（平均曲率流、調和写像流など）に対しても応用可能な枠組みを提示している可能性があります。ただし、その一般化については著者は言及しておらず、私の観察として記しておきます。