[論文レビュー] Permutations with few inversions are locally uniform

David Bevan|Strathprints: The University of Strathclyde institutional repository (University of Strathclyde)|Aug 20, 2019

Bayesian Methods and Mixture Models参考文献 9被引用数 5

ひとこと要約

本稿は、逆転数が少ないランダムな置換の局所的および大域的構造を調査し、大域的なペアは逆転が起こりにくく、一方で長さ $ k \to \text{const} \times \frac{m}{n} $ の区間内の局所的ペアは逆転が起こる確率も起こらない確率とも等しいことを示している。主な結果は、$ k = \frac{m}{n} $ における鋭い閾値であり、この点を境に局所的分布が一様から非一様に移行することが明らかになり、局所的構造からは大域的形態に関する情報が得られないことが示された。

ABSTRACT

We prove that permutations with few inversions exhibit a local-global dichotomy in the following sense. Suppose ${\boldsymbolσ}$ is a permutation chosen uniformly at random from the set of all permutations of $[n]$ with exactly $m=m(n)\ll n^2$ inversions. If $i

研究の動機と目的

• 逆転数が $ m \to \text{subquadratic} $ であるランダムな置換における局所的行動と大域的行動の構造的二分性を理解すること。
• 局所的部分置換が一様分布をとるようになる閾値を特定すること。
• 二つの要素が距離の関数および総逆転数の関数として逆転を形成する確率を分析すること。
• 閾値 $ k \to m/n $ の周囲の「窓」において臨界的挙動を確立すること。この領域では逆転確率が $ 1/2 $ から $ 0 $ へと遷移する。
• 局所的構造の知識が置換の大域的形態に関する情報を明らかにしないことを証明すること。

提案手法

• 組合せ的数え上げ技術を用いて、$ \text{S}_{n,m} $ に属する与えられた連続パターンを持つ置換の数を分析すること。
• 二項係数の漸近的近似を用いて、増加する対と減少する対の数を比較すること。
• 命題 12, 13, 16 を適用して、長さ $ k $ の増加・減少連続対を持つ置換の比を推定すること。
• 二項係数を含む和の漸近的解析を通じて、距離 $ k $ 離れた要素間の逆転の極限確率を導出すること。
• $ \boldsymbol{\tau}_{n,m} $ における連続パターン分布の位置不変性を確立し、固定位置からの結果をランダムな区間へ一般化すること。
• 母関数の恒等式と記号計算（Mathematica を用いて）を用いて、増加および減少パターンを数える $ S_{\nearrow} $ および $ S_{\nearrow} $ の正確な式を導出すること。

実験結果

リサーチクエスチョン

• RQ1 ランダムな置換において逆転数が $ m $ のとき、インデックス間の距離 $ k $ がどの程度で、$ \boldsymbol{\tau}(i) > \boldsymbol{\tau}(i+k) $ となる確率が $ 1/2 $ から $ 0 $ へと遷移するか？
• RQ2 距離 $ k \to \text{const} \times \frac{m}{n} $ のとき、$ k $ 点部分置換の局所的分布はどのように振る舞うか？
• RQ3 臨界窓内、すなわち $ k \to \frac{m}{n} $ のとき、二つの要素間の逆転の正確な極限確率は何か？
• RQ4 逆転数が $ n \to \text{const} \times m $ の半スパarsな置換の局所的構造は、$ \text{S}_k $ 上で漸近的に一様であるか？ もしそうなら、どのスケールでそうなるか？
• RQ5 置換 $ \boldsymbol{\tau}_{n,m} $ の局所的構造は、その総逆転数や形状といった大域的形態に関する情報を明らかにするか？

主な発見

• 距離 $ k \to \text{const} \times \frac{m}{n} $ のとき、$ \boldsymbol{\tau}_{n,m}(i) > \boldsymbol{\tau}_{n,m}(i+k) $ となる確率は、$ \beta = \frac{k n}{m} $ とおくと $ \frac{e^{\beta}(\beta-1)+1}{(e^{\beta}-1)^2} $ に収束し、この確率は $ \beta > 0 $ のとき $ 1/2 $ 未満である。
• 距離 $ k \to o(m/n) $ のとき、$ \boldsymbol{\tau}_{n,m}(i) > \boldsymbol{\tau}_{n,m}(i+k) $ となる確率は $ 1/2 $ に近づき、局所的均一性を示している。
• 距離 $ k \to \text{const} \times \frac{m}{n} $ のとき、$ k $ 点部分置換の局所的分布は $ \text{S}_k $ 上で一様に収束し、大域的構造に関する局所的シグナルがないことを示している。
• $ k $ 点部分置換の局所的均一性の閾値は $ k = \tilde{O}\big(\text{const} \times \frac{m}{n}\big) $ であり、$ k \to \frac{m}{n} $ で鋭い遷移が起こる。
• 距離 $ k \to \text{const} \times \frac{m}{n} $ のとき、距離 $ k $ 離れた要素間の逆転確率は $ 1/2 $ 未満であり、$ k $ が増加するにつれて減少する。
• 置換 $ \boldsymbol{\tau}_{n,m} $ の局所的構造は、その大域的形態と漸近的に独立である：小さな区間の構造を知るだけでは、総逆転数に関する情報は得られない。