[論文レビュー] Sorting probability for large Young diagrams

Swee Hong Chan, Igor Pak+1 more|arXiv (Cornell University)|May 17, 2020

Advanced Combinatorial Mathematics参考文献 37被引用数 4

ひとこと要約

本稿は、行数が有界な大きなヤング図形およびスケiewヤング図形におけるソーティング確率 δ(P) の鋭い漸近的上界を確立する。フック長の公式とシュール関数の技法を用いて、トーマ型の分割に対して δ(Pλ) ≤ Cα/√n を、ε-厚さを持つ分割に対しては δ(Pλ) ≤ Cd,ε/√n を証明し、この分野における初めての結果を提供するとともに、構造的posetにおける 1/3–2/3 予想を前進させる。

ABSTRACT

For a finite poset $P=(X,\prec)$, let $\mathcal{L}_P$ denote the set of linear extensions of $P$. The sorting probability $δ(P)$ is defined as \[δ(P) \, := \, \min_{x,y\in X} \, \bigl| \mathbf{P} \, [L(x)\leq L(y) ] \ - \ \mathbf{P} \, [L(y)\leq L(x) ] \bigr|\,, \] where $L \in \mathcal{L}_P$ is a uniform linear extension of $P$. We give asymptotic upper bounds on sorting probabilities for posets associated with large Young diagrams and large skew Young diagrams, with bounded number of rows.

研究の動機と目的

• 大きなヤング図形および行数が有界なスケイユヤング図形におけるソーティング確率 δ(P) の漸近的上界を確立すること。
• ヤング図形から生じる構造的posetの文脈において、1/3–2/3 予想を検討すること。
• 線形拡張およびソーティング確率に関する既知の結果を、大きな図形の漸近的領域へと拡張すること。
• フック長の公式やシュール関数といった組合せ的道具を用いて δ(P) の振る舞いを分析すること。

提案手法

• 著者たちは、ヤング図形posetの線形拡張の数を推定するために、フック長の公式とシュール関数を用いる。
• スケイユ形状の標準ヤング盤の数を計算するために、ナラウセのフック長の公式（NHLF）を適用する。
• ペアの要素の順序付け確率の差をバウンドするために、定量的ピアノホール原理の議論を用いる。
• 区間分解を導入してピアノホール原理を精緻化し、線形拡張確率の分散を制御する。
• 行サイズの均一性を保証するために、ε-細さまたはε-滑らかさの仮定を導入する。
• deviationが定数Kで有界である場合にも結果を拡張し、O(1/√n)の減衰率を維持する。

実験結果

リサーチクエスチョン

• RQ1 行数が固定された大きなヤング図形に対して、ソーティング確率 δ(P) の漸近的挙動はいかなるものか？
• RQ2 構造的poset（ヤング図形を含む）に対して、1/3–2/3 予想を O(1/√n) の上界へと強化できるか？
• RQ3 分割の形状の性質—例えば行サイズの均一性や厚さ—がソーティング確率にどのように影響するか？
• RQ4 フック長の公式とシュール関数の手法が、漸近的領域におけるソーティング確率をバウンドするためにどの程度利用可能か？
• RQ5 O(1/√n) のバウンドに ε-厚さの仮定が必要か、それとも取り除けるか？

主な発見

• 任意のトーマ列 α ∈ ℝ₊ᵈ で |α| = 1 に対して、λ ≃ αn のとき δ(Pλ) ≤ Cα/√n が成り立ち、Cα は α に依存する普遍定数である。
• d 行で λd ≥ εn を満たす ε-厚さを持つ分割 λ ⊢ n に対して、δ(Pλ) ≤ Cd,ε/√n が成り立ち、Cd,ε は固定された d および ε に対して普遍的である。
• δ(Pλ) = O(1/√n) のバウンドは、行サイズがやや変動しても、すべてのこのような分割に対して一様に成り立つ。
• 結果は以前のバウンドを一般化し、このクラスのposetにおけるソーティング確率の初めての漸近的推定を提供する。
• ε-厚さの仮定はおそらく必要ではなく、λ₂ = O(1) の極端な場合に O(1/n) のバウンドが成り立つことから、O(1/√n) のバウンドはより広く拡張可能である可能性がある。
• 定数が偏差の上限 K に依存するが、理想形状からの有界なずれがある場合にも上界を拡張可能である。