[论文解读] 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} $ 时，两个相距 $ k $ 的元素之间形成逆序的精确极限概率是多少？
• RQ4 半稀疏排列（$ n \to \text{const} \times m $）的局部结构是否在 $ \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) $ 的概率收敛至 $ \frac{e^{\beta}(\beta-1)+1}{(e^{\beta}-1)^2} $，其中 $ \beta = \frac{k n}{m} $，且当 $ \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} $ 的局部结构在渐近意义上与其全局形态无关：了解一个小区间无法提供关于总逆序数的任何信息。