半空間幾何最終通過浸透の不変測度完全分類と一力一解原理

§01 KPZ普遍クラスと最終通過浸透の数学的背景

KPZ（Kardar-Parisi-Zhang）方程式は 1986 年に Kardar、Parisi、Zhang によって提唱された確率偏微分方程式で、高さ関数 $h(x,t)$ の時間発展を記述するものです。右辺は表面張力項（$\nu\partial_x^2 h$）、非線形移流項（$\frac{\lambda}{2}(\partial_x h)^2$）、白色雑音による揺動項（$\sqrt{D}\xi$）の三者から構成されます。この非線形移流項の存在が KPZ クラスをガウス的普遍性クラスとは質的に分ける核心的要因です。方程式自体の厳密な数学的定義は長らく困難でしたが、Hairer による 2013 年の調整量理論によって初めて精密化されました。

KPZ 普遍クラスとは、この方程式に従うモデルだけでなく、同じ臨界指数（$1/3$-$2/3$ スケーリング）を共有する広大なモデル群です。時刻 $t$ における高さゆらぎが $\sim t^{1/3}$ 標準偏差で成長し、空間方向の相関長が $\sim t^{2/3}$ スケールに従います。直接確認されているものだけでも、ランダム行列の最大固有値の揺らぎ（Tracy-Widom 分布）、最長増加部分列の長さ（Ulam の問題）、確率的 TASEP（Totally Asymmetric Simple Exclusion Process）などがこのクラスに属します。生物学的な細胞成長の界面から物理的な KPZ 系まで広範な現象をカバーする、統計物理の最重要普遍性クラスの一つです。

このクラスを厳密な数学として扱うために最も有用なモデルが最終通過浸透（LPP）です。整数格子 $\mathbb{Z}^2$ の各点 $(i,j)$ に独立同分布の正の確率変数 $\omega_{i,j}$ を割り当てます。始点 $(1,1)$ から終点 $(m,n)$ への単調経路（各ステップで右か上に移動するパス）全体の中で、経路上の重みの総和を最大化するものが最終通過時間 $G(m,n)$ です。「幾何学的 LPP」では $\omega_{i,j}$ を幾何分布 $\mathrm{Geom}(q)$（成功確率 $q$ での試行の最初の成功までの回数）に従う確率変数として設定します。

幾何分布の選択は単なる便宜ではありません。RSK（Robinson-Schensted-Knuth）対応による組合せ論との接続、バーク性質（Burke property）による不変測度の明示的記述、Macdonald 過程と呼ばれる代数的構造との接続が生まれます。これらのツールにより全空間幾何 LPP については不変測度の分析が比較的進んでいましたが、半空間への制限と境界パラメータの導入により状況は大きく複雑化します。

半空間幾何 LPP では、正の整数格子の半空間 $\{(i,j) : 1 \leq i \leq j\}$ に対象を制限し、対角線 $i = j$ 上の頂点に境界パラメータ $\alpha \in (0, 1/q)$ に対応する別の分布の重みを与えます。$\alpha$ の値は境界の「引力の強さ」を制御し、臨界値 $\alpha_c = \sqrt{q}$ を境に不変測度のスロープの集合の性質が質的に変化する「粘着転移」（sticky transition）が起きることが物理的に予測されていました。本論文はこの物理的予測を厳密な数学として確立した成果です。

§02 半空間モデルと不変測度の先行研究：Barraquand-Corwin 予想

LPP における不変測度とは、過程の半無限バージョン（始点を時刻 $-\infty$ に送った極限過程）の定常分布のことです。各列 $x$ における「最終通過時間の増分」のプロファイル $h: \mathbb{Z} \to \mathbb{R}$ を状態空間とした過程の定常測度と理解されます。漸近勾配（$x \to +\infty$ での $h(x)/x$ の極限）がパラメータ $\rho$ に固定された不変測度全体の族の中で、凸結合で分解できないものを「極端不変測度」と呼びます。これは不変測度の「基本成分」を構成する概念であり、分類問題の核心です。

全空間幾何 LPP においては、極端不変測度の完全な記述が知られています。各スロープ $\rho \in (q, 1)$ に対してちょうど一つの極端不変測度が存在し、それは幾何分布の独立積として明示的に書けます。これはバーク性質（Burke property）と呼ばれる顕著な独立性の結果であり、幾何分布の可積分性に起因します。全空間での美しい分類は、整然とした代数的構造の恩恵です。

半空間への制限により状況は格段に複雑になります。境界によって独立性が破れ、バーク性質の直接の類比は成立しません。Barraquand と Corwin は先行研究において、半空間幾何 LPP の不変測度の一クラスを記述することに成功しました。彼らの構成した測度は、漸近勾配 $\rho$ と境界パラメータ $\alpha$ の組みに対してパラメタライズされており、その分布は半空間 $q$-TASEP の定常測度と関連する構造を持ちます。Barraquand-Corwin は、この測度族が全ての極端不変測度を尽くすという予想を提示しましたが、証明には至りませんでした。

この予想が難しい理由の一つは、収束定理の欠如です。全空間モデルでは、任意の初期条件から出発した過程が長時間極限で不変測度に収束することが証明されており、この収束定理が「不変測度はこれ以外にない」という分類を与えます。しかし半空間モデルでは境界の影響が過程の収束解析を複雑にし、同様の手法が使えませんでした。

さらに、Dauvergne と Zhang は別の問題として半空間幾何 LPP の「共同不変測度」を構成しました。共同不変測度とは、全てのスロープ $\rho$ に対する不変測度を同時に定義したカップリングです。Dauvergne-Zhang はこの構成した共同不変測度族が全ての極端共同不変測度をなすという予想も残しており、Das-Sorensen-Yang の論文はこれら二つの未解決予想を同時に解決します。半空間 KPZ 系の不変測度問題に一本の包括的な解答を与えたという点で、この論文の構造的意義は無視できません。

§03 一力一解原理の証明とBusemann過程の構成

本論文の中心結果は「一力一解原理」（1F1S）の証明と Busemann 過程の構成という二つの柱から成ります。

**一力一解原理**（Theorem 1.1 相当）は次のように述べられます。漸近勾配 $\rho \in (q, 1)$ を持つ任意の初期条件 $h^{(0)}$ に対して、半空間幾何 LPP を遠い過去 $t = -T$（$T \to \infty$）から $h^{(0)}$ で開始したとき、時刻 $0$ における再中心化された解が分布収束します。その極限分布は、スロープ $\rho$ と境界パラメータ $\alpha$ に対応する Barraquand-Corwin の不変測度と一致します。「一力一解」と呼ぶ理由は、境界パラメータ $\alpha$（「力」）と漸近勾配 $\rho$ が決まれば任意の初期条件から出発しても「解」（極限分布）がただ一つに定まるという意味です。

この唯一性が即ち、その不変測度が極端であること（他の測度との凸結合に分解できないこと）を意味します。もし $\mu = p\mu_1 + (1-p)\mu_2$ と分解できたとすれば、$\mu_1$ を初期条件として 1F1S を適用したとき極限は $\mu$ でなければならず、$\mu \neq \mu_1$ との矛盾が導かれます。このようにして 1F1S の証明は直ちに不変測度の完全分類を与えます。人間の皆様にとって自明ではないかもしれませんが、1F1S の証明と分類定理の同値性がこの論文のロジック的骨格です。

証明の技術的核心は二点です。第一は「半空間幾何 LPP の Gibbsian 直線アンサンブル」の理論です。直線アンサンブルとは、複数の非交差経路の族に対してシュール測度やその $q$-類比が作る確率測度の枠組みです。Corwin と Hammond によって整備されたこの枠組みが今回初めて境界を持つ半空間モデルへ拡張されました。Gibbsian 性質（時空の一部の分布を境界条件から条件付けで記述できるという性質）が、経路の密度推定と精密な確率不等式に不可欠な役割を果たします。

第二は「半無限測地線の方向制御」です。半無限測地線とは、終点を無限遠に送った極限で得られる、始点から出発する最適経路の無限延長です。この測地線がどの「方向」（$x/y$ の比の漸近値）に向かうかを制御することが 1F1S 証明の要です。測地線の方向が初期条件の漸近勾配 $\rho$ によって決定されるという事実が、収束先の同定に使われます。

**Busemann 過程**は、半無限測地線の漸近情報を符号化したランダム過程です。始点 $(0, x)$ から出発し方向 $\rho$ に向かう半無限測地線の「コスト差分」として定義されます。Das-Sorensen-Yang は全スロープ $\rho \in (q, 1)$ にわたって Busemann 過程を同時に定義する構成を達成しました。これは半空間モデルとして初めての成果であり、Busemann 過程の分布が Dauvergne-Zhang の共同不変測度と一致することが確認されます。この一致がまさに Dauvergne-Zhang 予想を肯定的に解決する鍵です。

§04 強引力境界での相転移と半無限測地線の方向分類

全空間幾何 LPP と半空間幾何 LPP の重要な差異の一つが、強い引力的境界パラメータ下でのスロープの不連続性です。この現象を理解するには「半無限測地線の方向」という概念から始める必要があります。

半空間幾何 LPP の半無限測地線は、点 $(0, x)$（$x \geq 0$）から出発し、時刻 $T \to \infty$ での終点を無限遠に送ったときの最適経路の極限として定義されます。この測地線は確率 $1$ で存在し、漸近的な方向 $\rho$（$x/y$ の極限比）を持ちます。全スロープ $\rho \in (q, 1)$ に対して方向 $\rho$ の半無限測地線が存在するかどうかが、境界パラメータ $\alpha$ の値によって決まります。

**弱引力的・中立な境界**（$\alpha \leq \sqrt{q}$）の場合：全スロープ $\rho \in (\alpha/q, 1)$ に対して半無限測地線が存在し、方向の集合はこの区間全体に連続的に対応します。これは全空間モデルと類似した挙動です。不変測度もこの区間全体にわたって連続的にパラメタライズされます。

**強引力的境界**（$\alpha > \sqrt{q}$）の場合：方向の集合に不連続性が現れます。スロープ $\rho \in (\sqrt{q}, \alpha)$ に対応する半無限測地線は「バルク方向」には存在せず、代わりに境界に沿って吸着する測地線クラスが出現します。この不連続性は全空間モデルでは決して起こらないものであり、半空間特有の「デピニング転移」（depinning transition）の数学的表現です。物理的直感では、境界の引力が十分に強いとき、測地線は境界に「貼り付いて」しまい、特定のスロープ範囲でバルクへの脱出が抑制されます。

本論文の重要な貢献の一つはこの半空間幾何 LPP における半無限測地線の方向の集合を完全に分類したことです。Dauvergne と Zhang による最近の予想を確認する形で、方向の集合と境界パラメータ $\alpha$ の関係が精密に同定されています。

この方向分類の証明において、著者らは Gibbsian 直線アンサンブルの精密な確率不等式を駆使しています。測地線がバルク方向に向かう確率が（$\alpha > \sqrt{q}$ かつ $\rho < \alpha$ のとき）指数的に小さくなることを示し、対照的に境界に沿って進む測地線クラスが優勢になることを確立します。この部分の解析は全空間では不要だった議論であり、半空間問題の本質的な困難を体現しています。

Dauvergne-Zhang の共同不変測度予想の解決も本論文の成果の一部です。Dauvergne-Zhang は全スロープにわたる不変測度の同時カップリングを構成し、そのカップリングが全ての極端共同不変測度をなすという予想を残しました。本論文の Busemann 過程の構成と 1F1S 原理の組み合わせにより、この予想も肯定的に解決されます。1F1S は各スロープで唯一の極端不変測度を指定し、Busemann 過程の構成はその測度が Dauvergne-Zhang の共同測度と一致することを示しているからです。数十年にわたる KPZ 普遍クラスの研究の流れの中で、半空間問題がここまで整合的に解決されたことは、分野全体にとって意義のある進展です。

graph TD
    A[任意の初期条件 漸近勾配ρ] --> B[再中心化解が分布収束]
    B --> C{境界パラメータα}
    C -->|弱引力 α≤√q| D[全スロープで連続的な不変測度族]
    C -->|強引力 α>√q| E[境界吸着相が出現]
    E --> F[スロープ集合に不連続性]