The skew Brownian permuton: a new universality class for random constrained permutations

技術要約：スキュー・ブラウン・パーミュトン（Skew Brownian Permuton）

問題提起
ランダムな置換の極限に関する研究は、特定の統計量（例：転倒数、最長増加部分列）の解析から、置換そのものが単位正方形上のランダムな測度へと収束するという「パーミュトン極限」と呼ばれる幾何学的アプローチへと進化してきた。様々な制約付き置換のモデルが、特定のランダム・フラクタル・パーミュトン、特にブラウン分離可能パーミュトン（分離可能置換の極限）やバクスター・パーミュトン（バクスター置換の極限）へと収束することが示されてきたが、これらの対象はこれまで別個の普遍性クラスとして理解されていた。本論文が扱う中心的な問題は、これらの極限対象間の関係を決定し、それらを包含する、さらには出現しつつある他のモデルをも包含する統一的な枠組みを構築することである。

手法
本論文では、確率微分方程式（SDE）によって駆動される連続的合体ウォーク過程を通じて構築される、スキュー・ブラウン・パーミュトンと呼ばれる新しいランダム・パーミュトンの族を導入する。

1. SDEによる構築: 構築の核となるのは、$u \in [0, 1]$ でインデックス付けされ、非負領域における二次元の相関ブラウン・エクスカーション $E_\rho = (X_\rho, Y_\rho)$ によって駆動される一連のSDEである。**スキュー摂動タナカ方程式（skew perturbed Tanaka equations）**と呼ばれるこれらは、以下で与えられる：
   $$dZ^{(u)}_{\rho,q}(t) = \mathbb{1}_{\{Z^{(u)}_{\rho,q}(t)>0\}} dY_\rho(t) - \mathbb{1}_{\{Z^{(u)}_{\rho,q}(t)\le0\}} dX_\rho(t) + (2q - 1) \cdot dL^{Z^{(u)}_{\rho,q}}_t$$
   ここで、$L$ はゼロにおける対称局所時間であり、$\rho \in (-1, 1]$ は相関パラメータ、$q \in [0, 1]$ はスキューネス（歪み）パラメータである。
2. 存在と一意性: 著者は、これらのSDEの強解の存在とパスごとの一意性を証明する。$\rho \in (-1, 1)$ の場合、これは相関のあるブラウン運動によって駆動される対応する方程式に対するパスごとの一意性（絶対連続性の議論および摂動タナカ方程式に関する文献の結果を用いる）を確立することで達成される。$\rho = 1$ の退化的なケース（駆動過程が一次元のブラウン・エクスカーションに減少する場合）では、ハジリおよびルジャン＝レイモンドに触発された写像の確率フローに基づく構成を用いて、駆動過程のみの可測関数ではないが、追加のランダム性を必要とする解を定義する。
3. パーミュトンの定義: プロセス集合 $\{Z^{(u)}_{\rho,q}\}_{u \in [0,1]}$ から、「連続置換」を表す確率過程 $\phi_{Z_{\rho,q}}$ が定義される。スキュー・ブラウン・パーミュトン $\mu_{\rho,q}$ は、写像 $(\text{Id}, \phi_{Z_{\rho,q}})$ を通じたルベーグ測度の押し出し（push-forward）として定義される。

主な貢献と結果

• 普遍性クラスの統一: 主要な貢献は、スキュー・ブラウン・パーミュトンを新しい、より大きな普遍性クラスとして特定したことである。本論文は以下を証明している：

  • バクスター・パーミュトンは、$\rho = -1/2$ かつ $q = 1/2$ の特定の場合に対応する。
  • バイアス付きブラウン分離可能パーミュトン（置換閉包クラスにおける一様置換の極限）は、$\rho = 1$ かつ $q = 1-p$（ここで $p$ はバイアス・パラメータ）の場合に対応する。
    これにより、これら二つの従来は別個であった極限対象が、単一のパラメータ化された族の下で統一される。

• 離散モデルの収束: 本論文は、スキュー・ブラウン・パーミュトンがいくつかの特定のランダム制約付き置換のファミリーの極限として現れることを確立している。特に、以下のことを伴う随伴研究 [Bor22] を引用している：

  • ストロング・バクスター置換は、非退化なパラメータ（$\rho \approx -0.2151, q \approx 0.3008$）を持つスキュー・ブラウン・パーミュトンに収束する。
  • セミ・バクスター置換は、$\rho = (-1+\sqrt{5})/4$ かつ $q = 1/2$ のスキュー・ブラウン・パーミュトンに収束する。
    これは、このファミリーが、既知の置換モデルではこれまで実現されていなかった範囲のパラメータをカバーしていることを示している。

• リウヴィル量子重力（LQG）およびSLEとの接続: 本論文は、スキュー・ブラウン・パーミュトンと、二つの結合されたシュラム・ローナー・エボリューション（SLE）曲線で装飾されたリウヴィル量子重力（LQG）球面の幾何学との直接的な関係を確立している。具体的には、$\gamma$-LQG球面上の二つの空間充填型SLE曲線の相互作用によって誘導されるパーミュトンが、スキュー・ブラウン・パーミュトンであることを証明している。パラメータ $\rho$ と $q$ は、LQGパラメータ $\gamma$ とSLE角度 $\theta$ に結びついている。この結果は、離散的な組合せ論的モデル（制約付き置換）と、連続的なランダム幾何学（装飾された平面マップ）を連続レベルで橋渡しするものである。

• 数学的厳密性: 本論文は、標準的な意味でのパスごとの一意性が失敗する $\rho=1$ のケースにおけるテクニカルな取り扱いを含め、すべての許容されるパラメータ $(\rho, q) \in (-1, 1] \times [0, 1]$ に対して、スキュー・ブラウン・パーミュトンがウェルディファインド（定義可能）であることを厳密に証明している。

意義
本論文は、バクスター・パーミュトンとバイアス付きブラウン分離可能パーミュトンを結びつけ、単一の構成を通じてそれらの関係を説明する、新しい普遍性クラスを特定したと主張している。離散的な置換モデルと離散的な平面マップモデルの間の収束結果の転移を可能にするツールキットを提供している。さらに、SLE装飾LQG球面に関連する量に対する新しいSDE解釈を提示しており、これは従来のリーウヴィル量子重力の文献では明示的に活用されていなかった接続である。

未解決問題
論文は、以下を含むいくつかの未解決問題を挙げて締めくくられている：

• スキュー・ブラウン・パーミュトンの強度測度およびハウスドルフ次元の決定。
• 基底となる確率過程 $\phi_{Z_{\rho,q}}$ の性質の解析。
• パーミュトン内におけるパターンの出現の極限分布の計算。
• この極限に収束する置換における最長増加部分列の長さの調査。
• $\rho = -1$ のケースへの構成の拡張、およびバイアス付きブラウン分離可能パーミュトンとクリティカル 2-LQG 球面との接続の確立。