[论文解读] A bijective proof of an unusual symmetric group generating function

Mike Zabrocki|ArXiv.org|Oct 19, 2003

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

一句话总结

本文给出了一个关于对称群生成函数恒等式的双射证明，其中引入了一种新颖的统计量 baj(σ)，定义为在下降位置 i 上求和 i(n−i)。作者构建了一个保持权重的双射，将满足 σₙ = k 的排列 σ ∈ Sₙ 与满足 0 ≤ rᵢ < i 的整数序列 (r₁,…,rₙ₋₁) 关联起来，使得 baj(σ) − inv(σ) = ∑(n−i)rᵢ。该构造证明了恒等式 ∑_{σ:σₙ=k} q^{baj(σ)−inv(σ)} = ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i)，从而解决了斯持姆布里奇提出的关于 A_{n−1} 根系的 Weyl 群生成函数的一个特例猜想。

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.

研究动机与目标

• 提供一个关于对称群生成函数恒等式的双射证明，其中涉及排列上一个二次统计量 baj(σ)。
• 解决约翰·斯持姆布里奇针对 A_{n−1} 根系提出的 Weyl 群生成函数恒等式的一个特例。
• 在最后一个元素固定的排列与具有有界项的整数序列之间建立一个保持权重的双射。
• 证明 baj(σ) − inv(σ) 等于序列 (r₁,…,rₙ₋₁) 的线性形式，从而实现生成函数恒等式的建立。

提出的方法

• 定义统计量 baj(σ) = ∑_{i∈D(σ)} i(n−i)，其中 D(σ) 是 σ 的下降集。
• 通过序列 (v₁,…,vₙ) 表示排列，其中 vᵢ 表示前 i 个位置中值 ≤ σᵢ 的元素个数。
• 通过定义 rᵢ = iχ(vᵢ₊₁ ≤ vᵢ) + vᵢ₊₁ − vᵢ − 1（i = 1,…,n−1）来构造双射。
• 通过递归重构 v 序列，证明当 σₙ = k 固定时，从 σ 到 (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 如何从 r 序列和 vₙ = k 重构 v 序列 (v₁,…,vₙ)？
• RQ5 该恒等式是否对所有 n 和 k ∈ {1,…,n} 成立？它能否从 A_{n−1} 根系的生成函数推导得出？

主要发现

• 生成函数 ∑_{σ:σₙ=k} q^{baj(σ)−inv(σ)} 等于 ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i)，且与 k 无关。
• 在满足 σₙ = k 的排列与满足 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ₙ₋₁) 的数量，从而确认了双射是保持大小的。
• 该恒等式可通过 ∑_{σ∈Sₙ} q^{baj(σ)−inv(σ)} = n × ∏_{i=1}^{n−1} (1−q^{i(n−i)}) / (1−q^i) 推广至整个对称群，这是固定 k 情况的直接推论。