[論文レビュー] The scaling limit of the longest increasing subsequence

Duncan Dauvergne|arXiv (Cornell University)|Jan 1, 2020

Random Matrices and Applications参考文献 45被引用数 18

ひとこと要約

本稿は、Kardar-Parisi-Zhang (KPZ) 一般化クラスの普遍的極限である指向的ランドスケープへの最後通過透過モデルの収束を証明する一般枠組みを確立する。指向的距離を導入し、コンpakto収束によってエアリー線集合への収束がエアリー・シートへの収束を示すことで、一様なランダム置換におけるスケーリングされた最長増加部分列が指向的地図への最短経路に収束することを証明する。

ABSTRACT

I will describe a framework for proving convergence to the directed landscape, the central limit object in the KPZ universality class. The directed landscape is a random scale-invariant `directed' metric on the plane. One highlight of this work is that the scaling limit of the longest increasing subsequence in a uniformly random permutation is a geodesic in the directed landscape. Joint work with Balint Virag.

研究の動機と目的

• 最後通過透過モデルがKPZ一般化クラスにおける普遍的極限である指向的ランドスケープへの一般収束枠組みを確立すること。
• 一様ランダム置換における最長増加部分列のスケーリング極限という長年の未解決問題を解くこと。
• 指向的距離の概念を導入・形式化すること。これは、確率的幾何における極限に適した、古典的距離の一般化である。
• 最後通過透過モデルがエアリー線集合に収束することは、指向的ランドスケープの主要構成要素であるエアリー・シートへの収束を示すこと。
• 収束結果を地図および粒子系、特に全非対称的単純排除過程（TASEP）に拡張すること。

提案手法

• 指向的距離の概念を導入する。これは、確率的幾何における極限において良好に振る舞う古典的距離の一般化である。
• 最後通過透過モデルがエアリー線集合にコンパクトに収束することは、指向的ランドスケープの主要対象であるエアリー・シートへの収束を示すことを証明する。
• RSK対応を用いて、同分布環境における最後通過透過の幾何とエアリー線集合の幾何を結びつける。
• 距離および地図の収束を制御するため、平面的指向的距離におけるhypograph収束およびグラフ収束位相を確立する。
• 指数的緊性および最大不等式を用いて、最後通過透過モデルにおけるフラクチュエーションを制御する。
• 特定のモデル（例：幾何、指数、ポアソン、ブラウン運動）に対して、統合確率論的手法を活用し、指向的ランドスケープへの収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 一様ランダム置換におけるスケーリングされた最長増加部分列は、指向的ランドスケープ内の指向的地図に収束するか？
• RQ2 最後通過透過モデルがエアリー線集合に収束することは、エアリー・シートおよび指向的ランドスケープへの収束にアップグレード可能か？
• RQ3 指向的距離は、確率的平面幾何における距離および地図の収束をどのように制御できるか？
• RQ4 最後通過透過モデルの収束が、指向的ランドスケープ内のそれらの地図への収束を保証する条件は何か？
• RQ5 この収束枠組みは、TASEP や幾何、指数、ポアソン、ブラウン運動の重みをもつさまざまな分布を持つ最後通過透過モデルに適用可能か？

主な発見

• 一様ランダム置換におけるスケーリングされた最長増加部分列は、指向的ランドスケープ内の指向的地図に収束し、長年の未解決問題が解決された。
• 最後通過透過モデルがエアリー線集合にコンパクトに収束することは、エアリー・シートへの収束を示し、一般化枠組みにおける重要なリンクを確立した。
• 最後通過透過モデルにおける距離および地図の収束は、エアリー・シートへの収束によって示され、指向的ランドスケープ内のそれらに対応するものに一致する。
• 本枠組みは、i.i.d. 最後通過透過、TASEP、および幾何、指数、ポアソン、ブラウン運動の重みをもつ統合的モデルを含む古典的モデルに適用可能である。
• TASEPがKPZ固定点に収束することは、指数的最後通過透過とカップリングすることで確立され、明示的なスケーリング極限が提供された。
• 本稿は、離散的および連続的時間TASEPの完全なカップリング枠組みを提供し、一般の初期条件（非傾斜および傾斜付きプロファイルを含む）のもとでKPZ固定点への収束を示した。