[論文レビュー] 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}(\tau) $ の概念を導入し、置換をピーク位置に基づく組成に写像する。
• 比較補題（例：命題 6.1）を用いて、一部の再配置に対して $ \text{P}(\textbf{c}) $ が不変であることを示す。
• パターン回避補題（例：補題 4.2, 補題 4.3）を用いて、禁止された部分パターンを含む組成を除外する。
• 数え上げ公式（命題 5.2）を用いて、短い部品を持つ組成に対して $ \text{P}(\textbf{c}) $ を効率的に計算する。
• 構造的制約と正確な公式を組み合わせ、候補となる最大構成を特定・比較する。
• 小規模な組成に対するケース解析により結果を検証し、対称性と不変性を活用して探索空間を削減する。

実験結果

リサーチクエスチョン

• RQ1 どの部分集合 $ S \neq \nabla $ が $ \big\{1,2,\dots,n-1\big\} $ に対して、$ \text{S}_n $ 内のピーク集合が $ S $ である置換の数を最大化するか？
• RQ2 $ n $ の組成 $ \textbf{c} $ で、ピーク構成 $ \textbf{c} $ を持つ置換の数 $ \text{P}(\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 $ である。
• 5 より大きな部品を持つ組成は最大にはなり得ず、特定のパターン（例：禁止された位置に複数の 2 や 4）は構造的補題によって除外される。