[論文レビュー] A bijective proof of an unusual symmetric group generating function

Mike Zabrocki|ArXiv.org|Oct 19, 2003

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

ひとこと要約

本稿は、降下に基づく新しい統計量 baj(σ) を含む対称群の生成関数の恒等式について、全単射的証明を提示する。baj(σ) は降下における i(n−i) の和として定義される。著者らは、σₙ = k を満たす置換 σ ∈ Sₙ と、各 i に対して 0 ≤ rᵢ < i を満たす整数列 (r₁,…,rₙ₋₁) の間で、重みを保つ全単射を構成し、baj(σ) − inv(σ) = ∑(n−i)rᵢ を示す。これにより、スティーブリッジが提示した A_{n−1} 根系に対するワイル群の生成関数の予想の特殊ケースが解決される。

ABSTRACT

For $σ\in S_n$, let $D(σ) = \{i : σ_{i} &gt; σ_{i+1}\}$ denote the descent set of $σ$. The length of the permutation is the number of inversions, denoted by $inv(σ) = \big | \{(i,j) : i σ_j\} \big |$. Define an unusual quadratic statisitic by $baj(σ) = \sum_{i \in D(σ)} i (n-i)$. We present here a bijective proof of the identity $\sum_{{σ\in S_n} \atop {σ(n) = k}} q^{baj(σ) - inv(σ)} = \prod_{i=1}^{n-1} {1-q^{i (n-i)} \over {1-q^i}}$ where $k$ is a fixed integer.

研究の動機と目的

• 置換上の2次統計量 baj(σ) を含む対称群の生成関数恒等式の全単射的証明を提供すること。
• ジョン・スティーブリッジが A_{n−1} 根系に対して提示したワイル群の生成関数恒等式の特殊ケースを解明すること。
• 固定された最後の要素を持つ置換と、各項が 0 ≤ rᵢ < i を満たす整数列 (r₁,…,rₙ₋₁) の間で、重みを保つ全単射を確立すること。
• baj(σ) − inv(σ) が、列 (r₁,…,rₙ₋₁) における線形形式に等しいことを示し、生成関数恒等式の確立を可能にすること。

提案手法

• D(σ) を σ の降下集合とする。baj(σ) = ∑_{i∈D(σ)} i(n−i) と定義する。
• 置換を、各 i に対して最初の i 個の位置に σᵢ 以下の要素がいくつあるかを数える vᵢ を用いた (v₁,…,vₙ) として表現する。
• 各 i = 1,…,n−1 に対して rᵢ = iχ(vᵢ₊₁ ≤ vᵢ) + vᵢ₊₁ − vᵢ − 1 と定義することで、全単射を構成する。
• σₙ = k が固定されているとき、v-列の再帰的再構成を用いて、σ から (r₁,…,rₙ₋₁) への写像が可逆であることを示す。
• 恒等式 inv(σ) = (n+1 choose 2) − ∑vᵢ を用いた代数的変形により、baj(σ) − inv(σ) = ∑_{i=1}^{n−1} (n−i)rᵢ を証明する。
• 全単射と重みの保存性を用いて、σₙ = k を満たす置換の生成関数が、積 ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i) と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 生成関数恒等式 ∑_{σ:σₙ=k} q^{baj(σ)−inv(σ)} = ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i) に対して、全単射的証明を構築できるか。
• RQ2 baj(σ) − inv(σ) の組合せ論的解釈は、置換の構造に関してどのように解釈できるか。
• RQ3 固定された最後の要素を持つ置換と、各項が 0 ≤ rᵢ < i を満たす整数列 (r₁,…,rₙ₋₁) の間で、重みを保つ全単射が存在するか。
• RQ4 vₙ = k と r-列 (r₁,…,rₙ₋₁) から、v-列 (v₁,…,vₙ) をどのように再構成できるか。
• RQ5 恒等式はすべての n および k ∈ {1,…,n} に対して成り立ち、A_{n−1} 根系の生成関数から導出可能か。

主な発見

• 生成関数 ∑_{σ:σₙ=k} q^{baj(σ)−inv(σ)} は k に依存せず、∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i) に等しい。
• σₙ = k を満たす置換と、各 i に対して 0 ≤ rᵢ < i を満たす列 (r₁,…,rₙ₋₁) の間の全単射は、統計量 baj(σ) − inv(σ) に関して重みを保つ。
• 定義された全単射のもとで、baj(σ) − inv(σ) は ∑_{i=1}^{n−1} (n−i)rᵢ に等しい。
• 指示関数 χ(vᵢ₊₁ ≤ vᵢ) を用いた再帰的公式により、(r₁,…,rₙ₋₁) と vₙ = k から v-列 (v₁,…,vₙ) を再構成できる。
• σₙ = k を満たす置換の数と、対応する列 (r₁,…,rₙ₋₁) の数が等しく、全単射がサイズを保つことを確認した。
• 固定 k の場合の結果を用いて、対称群全体への一般化が可能であり、∑_{σ∈Sₙ} q^{baj(σ)−inv(σ)} = n × ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i) が成り立つ。