[論文レビュー] Limits of permutation sequences through permutation regularity

Carlos Hoppen, Yoshiharu Kohayakawa+2 more|arXiv (Cornell University)|Jun 8, 2011

Limits and Structures in Graph Theory参考文献 20被引用数 26

ひとこと要約

本稿では、累積分布および質量条件を満たすLebesgue可測関数 $ Z:[0,1]^2 \to [0,1] $ という自然な極限対象を導入することで、収束する置換列に対する極限理論を確立する。主な結果は、すべての収束する置換列がほとんど everywhere で一意に極限を持つこと、およびすべての such 関数が何らかの列の極限として現れることであり、これは置換に基づく新しい確率的置換モデルと正則性に基づく近似を用いて、グラフン理論を置換へ一般化するものである。

ABSTRACT

A permutation sequence $(σ_n)_{n \in \mathbb{N}}$ is said to be convergent if, for every fixed permutation $τ$, the density of occurrences of $τ$ in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue measurable function $Z:[0,1]^2 o [0,1]$ with the additional properties that, for every fixed $x \in [0,1]$, the restriction $Z(x,\cdot)$ is a cumulative distribution function and, for every $y \in [0,1]$, the restriction $Z(\cdot,y)$ satisfies a "mass" condition. This limit process is well-behaved: every function in the class of limit objects is a limit of some permutation sequence, and two of these functions are limits of the same sequence if and only if they are equal almost everywhere. An important ingredient in the proofs is a new model of random permutations, which generalizes previous models and is interesting for its own sake.

研究の動機と目的

• 置換列の収束を、すべての固定置換 $ \tau $ に対する部分置換密度の収束に基づいて定義すること。
• このような収束列に対する自然な極限対象を、グラフ理論におけるグラフンに類似した形で特定すること。
• 収束する置換列とその極限関数との間の一対一対応（ほとんど everywhere での等価性を除く）を確立すること。
• 既存のモデルを一般化し、極限構成を支援する新しい確率的置換モデルを開発すること。
• 極限フレームワークを用いて、置換における性質およびパrameterのテストの基礎を築くこと。

提案手法

• すべての固定置換 $ \tau $ に対して部分置換密度が収束することを条件として、収束する置換列の概念を導入する。
• 極限対象を、Lebesgue可測関数 $ Z:[0,1]^2 \to [0,1] $ として定義し、2つの重要な性質を持つ：各 $ x $ に対して $ Z(x,\cdot) $ は累積分布関数であり、$ Z(\cdot,y) $ は「質量」条件を満たす。
• 置換をブロックに等分割する弱正則かつ公平な分割を用いた、正則性に基づく近似技術を採用する。
• 繰り返しの分割の refinement から得られる重み付き置換行列 $ Q_n^m $ の列を構築し、それらが cut 範囲において極限行列 $ Q_m $ に収束することを示す。
• 入れ子の部分列に対して対角化の議論を用いて極限関数 $ Z $ を抽出し、cut 範囲 $ d_\square $ を通じて密度の収束を保証する。
• 頂点に $[0,1]$ 上の i.i.d. 一様変数を割り当て、辺を確率 $ Z(x_i,x_j) $ で含むという、独創的な確率的置換モデルを適用する。これはグラフンに基づく確率的グラフモデルを一般化する。

実験結果

リサーチクエスチョン

• RQ1 収束する置換列の自然な極限対象は何か。これはグラフ理論におけるグラフンに類似するものである。
• RQ2 すべてのLebesgue可測関数 $ Z:[0,1]^2 \to [0,1] $ で、分布および質量条件を満たすものが、何らかの置換列の極限として現れるか。
• RQ3 置換密度の収束は、どのように特徴付けられ、関数的極限対象と結びつけられるか。
• RQ4 正則性および公平な分割が、置換列の近似とその極限の構成において果たす役割は何か。
• RQ5 新しい確率的置換モデルは、このような極限の存在および一意性をどのように支援するか。

主な発見

• すべての収束する置換列は、第一変数に関して累積分布関数であり、第二変数に関して質量条件を満たすLebesgue可測関数 $ Z:[0,1]^2 \to [0,1] $ という一意の極限対象を持つ。
• 極限対象 $ Z $ は、ほとんど everywhere での等価性を除いて一意である：2つの列が同じ極限を持つための必要十分条件は、対応する関数がほとんど everywhere で等しいことである。
• すべての such 関数 $ Z $ は、何らかの置換列の極限として現れる。これにより、極限関数のクラスと収束列との間の上への対応関係が確立される。
• 部分置換密度の収束は、関連する重み付き置換行列の cut 範囲収束によって特徴付けられ、構成において $ d_\square(Q_n^m, Q_m) < 1/m $ が成り立つ。
• 極限の存在は、弱正則性および公平な分割を用いた入れ子の部分列に対する対角化プロセスによって保証される。
• 新しい確率的置換モデルは、任意の与えられた $ Z $ に収束する列を生成でき、極限フレームワークの普遍性を示している。