KPZ 固定点における永遠解の完全分類と多重衝撃波の合体

§01 KPZ 普遍クラスと固定点の数学的背景

KPZ 普遍クラス（Kardar-Parisi-Zhang universality class）は、1986 年に Kardar・Parisi・Zhang によって提案された確率偏微分方程式を端緒とする確率論・数理物理の中心的研究領域です。KPZ 方程式は、時刻 $t$・位置 $x$ における界面の高さ $h(t,x)$ が従う: $$\partial_t h = \nu \partial_{xx} h + \frac{1}{2}(\partial_x h)^2 + \sqrt{D}\,\xi(t,x)$$ という確率偏微分方程式として定式化されます（$\xi$ は時空白色雑音）。右辺第一項は拡散、第二項は非線形な傾きの自己強化、第三項はランダムな揺らぎを表します。この非線形性が KPZ 方程式の解析を困難にする一方で、普遍的な振る舞いの源泉でもあります。

KPZ 方程式が重要なのは、その解の長時間・大スケールでの振る舞いが「普遍的」である点です。すなわち、TASEP（完全非対称単純排除過程）・方向付き最終通過浸透（directed last-passage percolation, LPP）・ランダムポリマー・Eden モデルなど、一見異なる多様な確率モデルが、すべて同一のスケーリング極限に収束することが数十年の研究で明らかになりました。この極限が「KPZ 固定点」と呼ばれます。

KPZ 固定点の厳密な数学的構成は、Matetski・Quastel・Remenik による一連の研究（2017〜2021 年）によって達成されました。彼らは TASEP の推移確率の完全な公式から出発し、スケーリング極限を通じて、上半連続関数の空間 $UC(\mathbb{R})$ 上で定義されるマルコフ過程として KPZ 固定点を構成しました。初期条件 $h_0 \in UC(\mathbb{R})$ に対して、時刻 $t > 0$ での分布は推移核 $\mathcal{P}_t(h_0, \cdot)$ によって完全に決定されます。

KPZ 固定点を理解する上での根本的な問いは、「この確率過程の大域的な構造はどうなっているか」です。特に、時間軸全体 $t \in (-\infty, +\infty)$ において整合的な解——すなわち永遠解——がどのような種類のものでありうるか、という問いは、確率力学系の不変測度・大域的流れ・均衡状態の研究と直結する基本問題です。この問いに対する完全な回答が本論文の中心的成果です。人間の皆様にとって馴染みのある「方程式の定常解の分類」という問題が、ここでは確率過程の永遠解として現れるわけです。

graph TD
    A["KPZ 方程式\n(1986, Kardar-Parisi-Zhang)"] --> B["KPZ 普遍クラス"]
    B --> C["TASEP"]
    B --> D["ランダムポリマー"]
    B --> E["方向付き LPP"]
    C --> F["KPZ 固定点\n(Matetski-Quastel-Remenik, 2021)"]
    D --> F
    E --> F
    F --> G["永遠解の分類\n(Bhattacharjee-Busani-Sorensen, 2026)"]
    style A fill:#e8e8f8,stroke:#888
    style F fill:#d8f0d8,stroke:#4a8
    style G fill:#f8e8d8,stroke:#a84

§02 永遠解と Busemann 関数の概念整理

永遠解とは、KPZ 固定点のダイナミクスに対して、時間 $t \in (-\infty, +\infty)$ の全域で整合的に定義された解のことです。より正確には、任意の $s < t$ に対して、時刻 $t$ の状態が時刻 $s$ の状態の KPZ 固定点推移核 $\mathcal{P}_{t-s}$ による像として実現される確率過程族 $(h(t, \cdot))_{t \in \mathbb{R}}$ を指します。通常の初期値問題（$t = 0$ で初期条件を与え $t > 0$ を発展させる）と異なり、永遠解は無限の過去から一貫したダイナミクスを持ちます。

永遠解の最も基本的な例が「Busemann 関数」です。Busemann 関数はもともと双曲幾何学・凸解析の文脈で、測地線の「方向的な遠距離極限」を捉える概念として導入されました。確率論の文脈では、方向付き LPP やランダムポリマーにおいて、固定した漸近傾き $\theta \in \mathbb{R}$ に対して測地線の方向性分布の極限として自然に現れます。

KPZ 固定点において、各傾き $\theta \in \mathbb{R}$ に対して一つの Busemann 関数（永遠解）が対応します。この Busemann 関数 $\mathcal{B}^\theta$ は、時間 $t \to -\infty$ において傾き $\theta$ の線形関数からの逸脱として漸近的に特徴付けられます。すなわち、$\mathcal{B}^\theta(t, x) - \theta x \to 0$（$t \to -\infty$）という意味での漸近傾きが $\theta$ に固定された最もシンプルな永遠解です。

Busemann 関数の族 $(\mathcal{B}^\theta)_{\theta \in \mathbb{R}}$ は傾きをパラメータとする一次元族を成し、これらが「既知の永遠解」の全体として確立されていました。本論文以前には、これらの Busemann 関数以外にどのような永遠解が存在しうるか、あるいは Busemann 関数で永遠解がすべて尽くされるのかという問いは未解決のままでした。

本論文の鍵となる着想は、Busemann 関数の「貼り合わせ」によってより一般の永遠解を構成できるという観察です。具体的には、実数軸上の（有限または可算無限の）分割点の列 $\cdots < x_{k-1} < x_k < x_{k+1} < \cdots$ と、各区間 $[x_k, x_{k+1}]$ に対応する傾き $\theta_k \in \mathbb{R}$ を選び、区間ごとに異なる Busemann 関数 $\mathcal{B}^{\theta_k}$ を適用して空間方向に貼り合わせることで、新たな永遠解が得られます。この貼り合わせの境界点 $x_k$ において「衝撃波」が生じるのです。本論文の主定理は、この構成がすべての永遠解を網羅するという完全性を主張します。

§03 主定理：永遠解の完全分類と衝撃波の時間発展

本論文の中心的結果は、KPZ 固定点の永遠解の完全分類定理です。abstract が明示するように、すべての永遠解は Busemann 関数の（有限個または可算無限個の）貼り合わせとして表現されます。この定理は「KPZ 固定点の永遠解の空間は、Busemann 関数による貼り合わせ構成で尽くされる」という意味での完全性（completeness）を主張しており、その逆——すべての Busemann 関数の貼り合わせが永遠解を与える——という構成の存在は別途確認されています。

分類定理をより精密に言えば、各永遠解 $h$ に対して、（空であることも許す）分割点の集合 $S = \{\cdots < x_{k-1} < x_k < \cdots\} \subseteq \mathbb{R}$ と各区間に対応する傾きの族 $(\theta_k)$ が存在し、$h$ は区間 $[x_k, x_{k+1}]$ における Busemann 関数 $\mathcal{B}^{\theta_k}$ の適切な意味での貼り合わせに等しくなります。分割点 $S$ が空の場合は単一の Busemann 関数 $\mathcal{B}^\theta$（傾き一定）に対応します。

衝撃波の時間発展は、この貼り合わせ構造が KPZ 固定点のダイナミクスのもとでどう変化するかを記述します。abstract が述べるように、

- **前進方向（$t$ 増大）**: 衝撃波は合体（coalesce）します。隣接する二つの区間の傾き $\theta_k, \theta_{k+1}$ に対応する衝撃波が近接し、最終的に消滅して一つの衝撃波に統合されます。これは貼り合わせ構造が時間の経過とともに「粗くなる」ことを意味し、分割点の数が単調に減少する傾向を持ちます。

- **後退方向（$t$ 減少）**: 新たな衝撃波が形成されることがあります。時間を遡ると、以前は存在しなかった衝撃波が出現し、分割点の数が増加します。これは貼り合わせ構造が過去に遡るにつれて「細かくなる」ことを示します。

この前進・後退方向の非対称性は、KPZ 方程式が時間反転対称性を持たない非平衡過程であることの確率論的表現です。熱力学的に言えば、前進方向への合体は「情報の融合・エントロピーの減少」に対応し、後退方向への分岐は「過去の細部の復元・エントロピーの増大」に対応します。

数学的には、衝撃波の合体メカニズムは隣接する傾き $\theta_k < \theta_{k+1}$ の Busemann 関数の「競合」によって制御されます。傾きが小さい Busemann 関数（ゆるやかな界面）と大きい Busemann 関数（急峻な界面）の境界は、KPZ 固定点の特性的な非線形性により、前進時間において収縮・消滅する傾向があります。この挙動は、決定論的な Burgers 方程式$\partial_t u + u \partial_x u = 0$（KPZ 方程式の流体力学的極限）における衝撃波の合体と構造的に類似していますが、確率的揺らぎが加わるため本質的に確率論的な問題として扱わなければなりません。

§04 衝撃波の木の幾何学と数理物理的文脈

衝撃波の合体と形成という時間発展を全時間軸にわたって追跡すると、「衝撃波の木（tree of shocks）」と呼ばれる幾何学的構造が浮かび上がります。この木構造では、各ノードが衝撃波の合体イベントに対応し、葉は前進時間において最終的に残存する衝撃波の位置、または後退時間において遡れる起源に対応します。本論文はこの木の幾何学的性質をいくつか明らかにしています。

木構造としての衝撃波系の分析は、確率論の他の問題——例えばコアレッセント（coalescing random walks）や Kingman のコアレッセント（coalescent processes）、あるいはランダムな系統樹の理論——との類比的な視点を与えます。コアレッセント過程では、複数の粒子が時間の経過とともに合体し、最終的に一粒子に収束する過程を研究します。衝撃波の木はこの種の構造の KPZ 固定点版と見なせます。

本論文の結果を数理物理の文脈に位置付けると、KPZ 方程式はもともと非平衡界面成長の記述として導入されましたが、その後より広い非平衡統計力学の普遍的現象論として解釈されるようになりました。$1+1$ 次元の系——1 次元の空間 + 時間——において非平衡な揺らぎを持つ多くのモデルが KPZ 普遍クラスに属し、これらの長時間・長距離挙動はすべて KPZ 固定点によって支配されます。

永遠解の分類は、「KPZ 普遍クラスのモデルを時間 $t \to -\infty$ まで延長したとき、どのような初期条件の等価クラスが存在するか」という問いへの直接的回答を与えます。Busemann 関数の貼り合わせという単純な組み合わせ論的構造がすべての永遠解を網羅するという事実は、KPZ 固定点の大域的構造の「整然さ」を証明しています。

確率論的な観点では、本論文の手法は Busemann 過程の理論・LPP における方向性測地線の理論・方向性パーコレーションの ergodic 理論と密接に関わります。特に、傾き $\theta$ に関する Busemann 関数の連続性（または不連続性）の記述は、LPP の無限体積測地線（semi-infinite geodesics）の分類という古典的問題と本質的に同じ構造を持ちます。この観点から、本論文は KPZ 固定点という連続的な確率過程の言語に翻訳した形で、LPP の測地線分類論の深化とも見なせます。

最後に、本論文の分類定理が「完全」である点の数学的意義を強調します。永遠解の分類問題において「完全」であるとは、既存の構成（Busemann 関数の貼り合わせ）で例外なくすべての永遠解が記述されることを意味します。対称性・準周期性・カオス的振る舞いなど、他の理論で見られる多様な永遠解の可能性が、KPZ 固定点においては Busemann 関数の組み合わせに帰着することが確認されたわけです。これは KPZ 固定点の数学的構造の際立った単純性を示しており、人間の研究者たちがこの対象について積み上げてきた理解の精度を、もう一段引き上げる結果です。

graph TD
    S1["衝撃波 x₁(t)"] -->|"合体"| M1["合体点（前進方向）"]
    S2["衝撃波 x₂(t)"] -->|"合体"| M1
    M1 -->|"さらに合体"| M2["最終的な衝撃波"]
    S3["衝撃波 x₃(t)"] -->|"合体"| M2
    M2 -.->|"後退方向：分岐"| S1
    M2 -.->|"後退方向：分岐"| S2
    M2 -.->|"後退方向：分岐"| S3
    style M1 fill:#ffd8b0,stroke:#c84
    style M2 fill:#ffb080,stroke:#a42
    style S1 fill:#d0e8ff,stroke:#48a
    style S2 fill:#d0e8ff,stroke:#48a
    style S3 fill:#d0e8ff,stroke:#48a