[論文レビュー] Sorting networks, staircase Young tableaux and last passage percolation

Elia Bisi, Fabio Deelan Cunden+2 more|arXiv (Cornell University)|Mar 6, 2020

Random Matrices and Applications参考文献 11被引用数 5

ひとこと要約

この論文は、3つの確率的過程—ソーティングネットワーク、ラストパスエージョンパーコレーション、オリエンテッドスワップ過程—の間で驚くべき関係を確立し、RSKおよびバージュ対応における双対性を通じて、それらのラストパスエージョン時間とラストスワップ時間の分布が同一であることを証明している。予想された同一性は $ n \leq 6 $ まで計算的に検証され、ソーティングネットワークの漸近的挙動の背後にある深い組合せ的構造を示唆している。

ABSTRACT

We present new combinatorial and probabilistic identities relating three random processes: the oriented swap process on $n$ particles, the corner growth process, and the last passage percolation model. We prove one of the probabilistic identities, relating a random vector of last passage percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge correspondences. A second probabilistic identity, relating those two vectors to a vector of "last swap times" in the oriented swap process, is conjectural. We give a computer-assisted proof of this identity for $n\le 6$ after first reformulating it as a purely combinatorial identity, and discuss its relation to the Edelman-Greene correspondence.

研究の動機と目的

• ソーティングネットワークにおけるラストパスエージョンパーコレーションとオリエンテッドスワップ過程の間の確率的双対性を確立すること。
• ラストパスエージョンパーコレーション時間とオリエンテッドスワップ過程におけるラストスワップ時間の間の分布的恒等式を証明すること。
• オリエンテッドスワップ過程とラストパスエージョンパーコレーションを階段状ヤング盤を通じて結ぶ予想された恒等式を定式化し、計算的に検証すること。
• この恒等式がオリエンテッドスワップ過程における吸収時間の漸近的挙動に与える影響を検討すること。
• 組合せ的構造—エデルマン＝グリーン対応、RSK、バージュ対応—を確率的枠組み内で統一すること。

提案手法

• RSKとバージュ対応の双対性を用いて、主な確率的恒等式を証明すること。
• 予想された恒等式を、生成関数 $ F_n $ と $ G_n $ を含む純粋な組合せ的恒等式に再定式化すること。
• 標準ヤング盤とソーティングネットワーク経路を介したパス重み付き平均を用いて、$ \bm{U}_n $ と $ \bm{V}_n $ の同時密度関数を計算すること。
• 条件付き密度を、ケイリー図およびヤング図のグラフにおける頂点の出次数によって決定されるレートの指数分布の畳み込みとして表現すること。
• Fourier変換を用いて、$ \bm{U}_n $ と $ \bm{V}_n $ の特性関数を等しくし、問題を $ F_n = G_n $ の確認に還元すること。
• 生成関数の明示的計算とパスの列挙を用いた、$ n \leq 6 $ における予想のコンピュータ支援による検証。

実験結果

リサーチクエスチョン

• RQ1 オリエンテッドスワップ過程におけるラストパスエージョンパーコレーション時間とラストスワップ時間は、同一に分布するか？
• RQ2 RSKとバージュ対応の双対性を用いて、ラストパスエージョンパーコレーションとオリエンテッドスワップ過程を結ぶ確率的恒等式を証明できるか？
• RQ3 オリエンテッドスワップ過程とラストパスエージョンパーコレーションを結ぶ予想された恒等式は、すべての $ n $ に対して成り立つか、それとも有限の上限までしか成り立たないか？
• RQ4 3つの過程の間で観察された分布的同等性の背後にある組合せ的構造は何か？
• RQ5 エデルマン＝グリーン対応は、予想された恒等式における生成関数 $ F_n $ と $ G_n $ とどのように関係するか？

主な発見

• この論文は、RSKおよびバージュ対応における双対性を通じて、ラストパスエージョンパーコレーションベクトル $ \bm{V}_n $ とラストスワップ時間ベクトル $ \bm{U}_n $ が分布的に同一であることを証明している。
• 予想された恒等式 $ \bm{U}_n $ と $ \bm{V}_n $ を $ n \leq 6 $ まで計算的に検証し、より大きな $ n $ に対しても有効である可能性を支持している。
• $ \bm{U}_n $ と $ \bm{V}_n $ の同時密度関数は、標準ヤング盤とソーティングネットワーク経路を介した重み付き和として表現され、重みは頂点の出次数から導かれる。
• 経路が与えられた条件付き密度は、パスの次数列によって決定されるレートの指数分布の畳み込みとして表現される。
• 指数分布の特性関数のFourier変換を用いて、確率的恒等式を生成関数 $ F_n $ と $ G_n $ 間の組合せ的等式に還元した。
• $ n=4 $ の場合、生成関数 $ F_4 $ と $ G_4 $ を明示的に計算し、恒等順列において等しいことが示され、この場合における予想の妥当性が確認された。