[论文解读] The most frequent peak set of a random permutation

Anisse Kasraoui|arXiv (Cornell University)|Oct 22, 2012

Limits and Structures in Graph Theory参考文献 4被引用 7

一句话总结

本文通过识别使具有该峰值组合的排列数量最大的组合，解决了 Billey、Burdzy 和 Sagan 关于随机排列峰值集的猜想。利用组合比较引理和精确计数公式，证明了最大峰值组合的形式取决于 $ n \bmod 3 $，具体为 $ (3^u) $、$ (4,3^{u-2},2) $ 或 $ (3^s,2,3^t,2) $，并给出了以 $ n! $ 和 3 的幂表示的最大计数的精确公式。

ABSTRACT

Given a subset $S\subseteq\mathbb{P}$, let $\Pa(S;n)$ be the number of permutations in the symmetric group of ${1,2,...,n}$ that have peak set $S$. We prove a recent conjecture due to Billey, Burdzy and Sagan, which determines the sets that maximize $\Pa(S;n)$, where $S$ ranges over all subsets of ${1,2,...,n}$.

研究动机与目标

• 解决 Billey、Burdzy 和 Sagan 提出的关于哪类峰值集能使 $[n]$ 的排列数量最大化的猜想。
• 刻画能使给定峰值组合的排列数量最大的 $n$ 的组合。
• 推导出此类排列最大数量的精确闭式表达式。
• 利用比较引理和模式避免原理，建立最大组合的结构约束。

提出的方法

• 引入峰值组合 $ \text{pc}( au) $ 的概念，将排列映射到基于峰值位置的组合。
• 使用比较引理（例如命题 6.1）证明 $ \text{P}( extbf{c}) $ 在特定部分重排下保持不变。
• 利用模式避免引理（例如引理 4.2、引理 4.3）排除包含禁止子模式的组合。
• 应用计数公式（命题 5.2）以高效计算具有短部分的组合的 $ \text{P}( extbf{c}) $。
• 结合结构约束与精确公式，识别并比较候选的最大组合。
• 通过小组合的案例分析验证结果，并利用对称性和不变性减少搜索空间。

实验结果

研究问题

• RQ1 哪些子集 $ S \neq \nabla $ 的 $ \big\{1,2,\dots,n-1\big\} $ 能使 $ \text{S}_n $ 中具有峰值集 $ S $ 的排列数量最大化？
• RQ2 哪些 $ n $ 的组合 $ \textbf{c} $ 能使 $ \text{P}('\textbf{c}') $（即具有峰值组合 $ \textbf{c} $ 的排列数量）最大化？
• RQ3 最大值 $ \text{P}('\textbf{c}') $ 如何依赖于 $ n $，并且能否以闭式表达？
• RQ4 最大组合必须满足哪些结构约束，特别是关于大小为 2、3、4 和 5 及以上的部分？
• RQ5 能否根据 $ n \bmod 3 $ 完全分类最大峰值组合？

主要发现

• 当 $ n \neq 3\text{ 或 }4 $ 时，使 $ \text{P}('\textbf{c}') $ 最大的峰值组合恰好是定理 1.1 中列出的形式，具体取决于 $ n \bmod 3 $。
• 当 $ n \bmod 3 = 0 $ 时，最大组合为 $ (3^\nu) $ 和 $ (4,3^{\nu-2},2) $，其中 $ \nu = n/3 $。
• 当 $ n \bmod 3 = 1 $ 时，最大组合为 $ (3^s,2,3^t,2) $，其中 $ s + t = \nu - 1 $，$ \nu = \big\lfloor{n/3}\big\rfloor $。
• 当 $ n \bmod 3 = 2 $ 时，唯一的最大组合是 $ (3^\nu,2) $，其中 $ \nu = \big\lfloor{n/3}\big\rfloor $。
• 最大值 $ \text{P}('\textbf{c}') $ 为：当 $ n \bmod 3 = 0 $ 时为 $ \frac{1}{5} 3^{2-\nu} n! $，当 $ n \bmod 3 = 1 $ 时为 $ \frac{2}{5} 3^{1-\nu} n! $，当 $ n \bmod 3 = 2 $ 时为 $ 3^{-\nu} n! $，其中 $ \nu = \big\lfloor{n/3}\big\rfloor $。
• 部分大于 4 的组合不可能是最大的，且某些模式（例如多个 2 或 4 出现在禁止位置）被结构引理排除。