[論文レビュー] Structure of Random 312-Avoiding Permutations

Neal Madras, Lerna Pehlivan|arXiv (Cornell University)|Jan 24, 2014

Advanced Combinatorial Mathematics参考文献 10被引用数 6

ひとこと要約

本稿は、長さNの均等にランダムな312回避順列の確率的構造を分析し、特定の要素が対角線より下に現れる確率（すなわち、σᵢ = j かつ j < i）の正確な式および漸近的公式を導出する。1点の出現確率はN⁻³ᐟ²のオーダーであり、2点が十分に離れている場合の同時確率はN⁻³のオーダーであり、非独立な相関関係を示す。対角線以下の点の極限的配置は、ランダムウォークに類似した軌道に収束する。

ABSTRACT

We evaluate the probabilities of various events under the uniform distribution on the set of 312-avoiding permutations of 1,...,N. We derive exact formulas for the probability that the ith element of a random permutation is a specific value less than i, and for joint probabilities of two such events. In addition, we obtain asymptotic approximations to these probabilities for large N when the elements are not close to the boundaries or to each other. We also evaluate the probability that the graph of a random 312-avoiding permutation has k specified decreasing points, and we show that for large N the points below the diagonal look like trajectories of a random walk.

研究の動機と目的

• 均等にランダムな312回避順列において、特定の要素が対角線以下に現れる正確かつ漸近的確率を評価すること。
• 対角線以下の複数の減少点の連合分布を特徴づけ、それらの従属構造を同定すること。
• 対角線以下の点の極限的配置が、ランダムウォークに類似した過程に収束することを示すこと。
• 順列におけるk個の指定された減少点が存在する確率の正確な公式を導出すること。

提案手法

• 312回避順列の構造に基づく組合せ的分解を用い、特に対角線および減少列の役割に注目する。
• 母関数およびカタラン数の恒等式を適用して、1点および複数点の正確確率を計算する。
• 漸近的確率を記述するための極限測度θ(T, B(T))を用いる。
• 定理2.8および命題2.15に依拠し、順列クラスのサイズをカタラン数およびρ(a,b)関数を含む項の積と関連付ける。
• ρ(a,b) = C_{a-1}C_{b-1}/4^{a+b-1}という関数を用いて、対角線以下の点過程におけるジャンプの極限分布をモデル化する。
• 条件付き確率の議論および漸近的解析を適用し、極限においてランダムウォーク過程に収束することを示す。

実験結果

リサーチクエスチョン

• RQ1 均等にランダムな312回避順列が、特定の要素σᵢ = j（j < i）を対角線以下に持つ正確確率は何か？
• RQ2 2つのこのような事象の同時確率はどのように振る舞い、それらは独立か？
• RQ3 大Nにおける、対角線以下のk個の指定された減少点を有する確率の漸近的挙動は何か？
• RQ4 対角線以下の点の局所的配置は極限でどのように振る舞い、それはランダムウォークに類似するか？

主な発見

• 均等にランダムな312回避順列が特定の点（σᵢ = j かつ j < i）を対角線以下に持つ確率は、漸近的にN⁻³ᐟ²のオーダーである。
• 対角線以下の2つの十分に離れた減少点の同時確率は、漸近的にN⁻³のオーダーであり、個々の1点確率の積ではない。
• 2点の確率は非自明な相関を示す：特定の配置では、補題2.13で示されるように、正または負の相関関係がある。
• 対角線以下の減少点の集合の極限分布は、π(−a,b)に分布する独立同分布の増分を持つ無限のランダムウォーク過程に収束する。
• 点(N−t+1, j)が存在する条件下で、近隣の減少点の分布は、ρ(a,b)の積に収束し、局所的自己同相似性を確認する。
• k個の減少点からなる構成Tのための極限測度θ(T, B(T))は、積∏_{m=1}^k π(−aₘ, bₘ)で与えられ、ここでπ(−a,b) = C_{b−1}C_{a−1}/4^{a+b−1}である。