[論文レビュー] Enumeration of permutations starting with a longest increasing subsequence

Greta Panova|arXiv (Cornell University)|May 13, 2009

Advanced Combinatorial Mathematics参考文献 1被引用数 2

ひとこと要約

この論文は、$S_n$ 内の置換で最初の $n-k$ 要素が増加列をなし、最長増加部分列の長さが $n-k$ であるものの個数を数える公式について、2つの基本的な全単射的証明を提示する。RSK対応と直接的な置換全単射を用いて、閉形式の式とその $q$-類似形を確立し、元々は特性多項式の手法によって得られた結果を解決する。

ABSTRACT

We prove a formula for the number of permutations in $S_n$ such that their first $n-k$ entries are increasing and their longest increasing subsequence has length $n-k$. This formula first appeared as a consequence of character polynomial calculations in recent work of Adriano Garsia and Alain Goupil. We give two `elementary' bijective proofs of this result and of its $q$-analogue, one proof using the RSK correspondence and one only permutations.

研究の動機と目的

• 特性多項式の手法を用いて当初導出された公式について、初等的で組合せ論的な証明を提供すること。
• 最初の $n-k$ 要素が増加列をなし、最長増加部分列の長さが $n-k$ である $S_n$ 内の置換の閉形式による個数の特定を確立すること。
• この結果を $q$-類似形に拡張し、置換の統計量を用いて重み付き個数を捉えること。
• 2つの異なる全単射的アプローチを提示すること——1つは RSK 対応を用い、もう1つは置換自体に限った組合せ論的構成——これにより構造的洞察を深めること。

提案手法

• 置換を標準ヤング盤のペアに写像する RSK 対応を用い、増加部分列の構造と盤の形状を関連付ける。
• 特性多項式の道具を避けるために、既知の個数が分かっている組合せ的クラスと、所望の置換の集合との間の直接的な全単射を構成する。
• 増加部分列の長さと最初の $n-k$ 要素の増加性を保つ、完全に置換に基づいた第二の全単射を定義する。
• 全単射において反転数や他の置換の統計量を追跡することで $q$-類似形を導入する。
• 両方の全単射が、最初の $n-k$ 要素が増加列であることと、LIS の長さが $n-k$ であるという条件を保つことを検証する。
• 標準ヤング盤の性質と RSK 対応の性質を用いて、構成の正しさと全単射性を保証する。

実験結果

リサーチクエスチョン

• RQ1 特性多項式の手法を用いないで、$S_n$ 内の置換で最初の $n-k$ 要素が増加列であり、最長増加部分列の長さが $n-k$ であるものの個数を数える公式を証明できるか？
• RQ2 RSK 対応を用いて、この置換数を直接的に実現する全単射的構成は存在するか？
• RQ3 テーブュルを避けても公式を証明できる、完全に置換に基づいた全単射は存在するか？
• RQ4 この個数の $q$-類似形は、どのように組合せ論的に構成され、検証されるか？
• RQ5 これらの全単射によって、どのような置換の構造的性質が保存され、それらが LIS と部分列制約をどのように反映するか？

主な発見

• 論文は、RSK 対応を用いた1つと、置換のみを用いた1つの、独立した2つの全単射的証明を提示している。
• 同じ全単射的枠組みを用いて、公式の $q$-類似形が確立され、$q$-重み付き個数が保たれている。
• このような置換の個数が、特定の形状の標準ヤング盤の個数に等しいことが示され、公式の正当性が確認された。
• 全単射は、代数的特性理論を用いずに、最初の $n-k$ 要素が増加列であることと、LIS の長さが $n-k$ であるという条件を組合せ論的に符号化できることを示している。
• 元々特性多項式の計算から得られた公式が、明示的かつ構成的な証明によって再確認された。
• 構成は、置換のパターン、増加部分列、ヤング盤の間のより深い関係を明らかにし、問題の組合せ論的理解を豊かにしている。