[论文解读] An Extension of the Foata Map to Standard Young Tableaux

J. Haglund, L. Stevens|ArXiv.org|Nov 27, 2006

Advanced Combinatorial Mathematics参考文献 7被引用 6

一句话总结

本文引入了一种新的标准杨表（SYT）上的反演统计量 Inv，并构建了一个类似 Foata 的双射，将具有给定 Inv 值的 SYT 映射到具有相同主指数（maj）的 SYT，从而证明了在 SYT(λ) 上 Inv 与 maj 的等分布性。该映射通过基于反演路径和块循环的分块重排算法，将 Foata 的原始排列映射推广至杨表。

ABSTRACT

We define an inversion statistic on standard Young tableaux. We prove that this statistic has the same distribution over SYT(λ) as the major index statistic by exhibiting a bijection on SYT(λ) in the spirit of the Foata map on permutations.

研究动机与目标

• 在标准杨表（SYT）上定义一种新的反演统计量 Inv，使其推广排列中的反演统计量。
• 在 SYT(λ) 上构造一个双射映射，保持主指数不变，同时将 Inv 变换为主指数，类似于 Foata 在排列上的映射。
• 通过杨表特异的 Foata 映射推广，将排列中 inv 与 maj 的经典等分布性推广至标准杨表。
• 为理解 SYT(λ) 上 Inv 与 maj 的等分布性提供组合框架，该框架与对称函数理论及 Macdonald 多项式密切相关。

提出的方法

• 通过计算每个方格的 NE 角到杨表边界的路径上，位于路径两侧的元素所形成的反演对，来定义标准杨表 T 上的反演统计量 Inv(T)。
• 在 SYT(λ) 上构造一个映射 Φ，从 n 递减到 2 处理元素，根据每个元素的反演路径上的相对位置，将其划分为最大块。
• 对每个块应用逆循环操作：将最小元素移至块的前端，同时保持块结构和杨表顺序。
• 证明映射 Φ 是 SYT(λ) 上的双射，且满足 maj(Φ(T)) = Inv(T)，从而确立 Inv 与 maj 的等分布性。
• 证明当 λ 为阶梯形（n,n−1,…,1)/(n−1,…,1）时，映射 Φ 对应于将与杨表相关的排列的逆代入 Foata 的原始映射。
• 通过元素个数的归纳法，验证该映射在每一步均正确重现 Foata 逆算法，从而确保双射性与统计量的保持。

实验结果

研究问题

• RQ1 排列中反演与主指数统计量的经典等分布性能否推广至标准杨表？
• RQ2 是否存在一个自然的杨表类比 Foata 映射，通过构造性双射实现该等分布性？
• RQ3 如何在组合上定义杨表上的反演统计量，使其与排列情形相类比？
• RQ4 在对称函数与 Macdonald 多项式背景下，新杨表反演统计量与主指数之间有何关系？
• RQ5 杨表上的 Foata 型映射是否能自然推广至斜形或标准偏移杨表？

主要发现

• 本文在标准杨表上定义了一种新的反演统计量 Inv，其计数方式为：对每个方格，计算从其 NE 角到杨表边界的路径上，位于路径两侧的元素所形成的反演对。
• 作者在 SYT(λ) 上构造了一个双射映射 Φ，将杨表 T 映射为另一杨表 Φ(T)，使得 maj(Φ(T)) = Inv(T)，从而证明了在 SYT(λ) 上 Inv 与 maj 的等分布性。
• 映射 Φ 推广了 Foata 的原始排列映射：当 λ 为阶梯形且 T 对应排列 σ 时，Φ(T) 对应于 φ(σ⁻¹)，其中 φ 是排列上的 Foata 映射。
• 映射 Φ 的逆通过反转块循环过程构造，采用类似 Foata 逆算法的基于路径的块分解方法。
• 该映射保持了杨表的结构，并在整个变换过程中维持列严格递增与行严格递增性，确保输出仍为有效的标准杨表。
• 作者证明了新反演统计量恰好等于形如 (i,j) 的反演对的数量，其中 i > j 且 i 与 j 在块分解中位于不同块中，这与排列的反演码具有类比关系。