[论文解读] A bijective proof of Loehr-Warrington's formulas for the statistics $\mbox{ctot}_{\frac{q}{p}}$ and $\mbox{midd}_{\frac{q}{p}}$

Mikhail Mazin|arXiv (Cornell University)|Jan 30, 2013

Advanced Combinatorial Mathematics参考文献 5被引用 4

一句话总结

本文通过一种基本的组合对偶性，即在大矩形内，Young图 $ D $ 中臂长为 $ a $、腿长为 $ l $ 的方格数量，比其补图中少一个，提供了 Loehr-Warrington 关于 $ \operatorname{ctot}_{\frac{q}{p}} $ 和 $ \operatorname{mid}_{\frac{q}{p}} $ 统计量的双射证明。关键结果是一个直接且构造性的双射，解释了这些统计量中的对称性，为 $ \mathbb{C}^2 $ 上点的 Hilbert 算法簇中的几何不变量提供了组合解释。该证明表明 $ \operatorname{ctot}_{\frac{q}{p}}(D) $ 和 $ \operatorname{mid}_{\frac{q}{p}}(D) $ 仅依赖于边界图 $ M(D) $，从而解决了在 torus 作用于 Hilbert 算法簇的背景下长期存在的组合谜题。

ABSTRACT

Loehr and Warrington introduced partitional statistics $\mbox{ctot}_{\frac{q}{p}}(D)$ and $\mbox{midd}_{\frac{q}{p}}(D)$ and provided formulas for these statistics in terms of the boundary graph of the Young diagram $D$. In this paper we give a bijective proof of Loehr-Warrington's formulas using the following simple combinatorial observation: given a Young diagram $D$ and two numbers $a$ and $l,$ the number of boxes in $D$ with the arm length $a$ and the leg length $l$ is one less than the number of boxes with the same properties in the complement to $D.$ Here the complement is taken inside the positive quadrant or, equivalently, a very large rectangle.

研究动机与目标

• 为 Young 图上的 $ \operatorname{ctot}_{\frac{q}{p}} $ 和 $ \operatorname{mid}_{\frac{q}{p}} $ 提供双射证明。
• 解释在有理数 $ x $ 上 $ h_x(D) $ 不变性的组合对称性根源，该性质在几何上与 $ \mathbb{C}^2 $ 上点的 Hilbert 算法簇相关。
• 阐明为何 $ \operatorname{ctot}_{\frac{q}{p}}(D) $ 和 $ \operatorname{mid}_{\frac{q}{p}}(D) $ 仅依赖于边界图 $ M(D) $，从而解决 torus 作用组合学中的一个谜题。
• 提供一个构造性、显式的双射，交换 $ c^+_{\frac{q}{p}}(D) $ 和 $ c^-_{\frac{q}{p}}(D) $ 的同时保持 $ M(D) $ 不变，从而解释 Hilbert 算法簇胞腔分解中的对称性。

提出的方法

• 该证明依赖于一个关键的组合对偶性：对于任意 Young 图 $ D $，其在大矩形 $ R_{Kp,Kq} $ 内的补图中，臂长为 $ a $、腿长为 $ l $ 的方格数量，比 $ D $ 中多一个。
• 通过图 $ D $ 的边界格路 $ B(D) $ 定义一个标记图 $ M(D) $，其中顶点按模 $ Kpq $ 标记，$ N $-边减少 $ p $，$ W $-边增加 $ q $，且顶点按标签识别。
• 图 $ M(D) $ 配备了一个对应于路径 $ B(D) $ 的欧拉回路 $ E(D) $，并证明 $ \operatorname{ctot}_{\frac{q}{p}}(D) $ 和 $ \operatorname{mid}_{\frac{q}{p}}(D) $ 仅为 $ M(D) $ 的不变量，与 $ E(D) $ 的选择无关。
• 通过利用 $ D $ 与其补图之间的对偶性来构造双射：对于 $ D $ 中每个具有给定 $ (a,l) $ 的方格，其补图中存在一个对应方格具有相同的 $ (a,l) $，且数量相差恰好一个。
• 利用生成函数证明 $ D $ 的 $ (p,q) $-加权内容由 $ M(D) $ 决定，且 $ C_{p,q}^D $ 可从 $ P_N^{M(D)} $ 和 $ P_W^{M(D)} $ 恢复，从而确认 $ M(D) $ 编码了完整的加权内容信息。
• 几何解释基于 Hilbert 算法簇 $ \operatorname{Hilb}^n_{p,q}(\mathbb{C}^2) $，其中 $ \operatorname{ctot}_{\frac{q}{p}}(D) $ 等于包含单项式理想 $ I_D $ 的不可约分量的维数，且该双射反映了稳定与不稳定胞腔分解之间的对称性。

实验结果

研究问题

• RQ1 如何利用 Young 图中一种基本对偶性，对 Loehr-Warrington 的 $ \operatorname{ctot}_{\frac{q}{p}} $ 和 $ \operatorname{mid}_{\frac{q}{p}} $ 公式进行双射证明？
• RQ2 为何统计量 $ \operatorname{ctot}_{\frac{q}{p}}(D) $ 和 $ \operatorname{mid}_{\frac{q}{p}}(D) $ 仅依赖于边界图 $ M(D) $，而不依赖于欧拉回路 $ E(D) $？
• RQ3 在 $ c^+_{\frac{q}{p}}(D) $ 和 $ c^-_{\frac{q}{p}}(D) $ 之间对称性的背后，其组合机制是什么？这一对称性解释了 $ h_x(D) $ 在有理数 $ x $ 上的不变性。
• RQ4 为何 $ D $ 及其在 $ R_{Kp,Kq} $ 中的补图之间的互补性，能解释具有相同 $ (a,l) $ 的方格之间的一一对应关系，且数量恰好相差一个？
• RQ5 为何一个不可约分量的稳定与不稳定胞腔分解中，每个维度的胞腔数量相同，这一事实具有几何意义？

主要发现

• Young 图 $ D $ 中臂长为 $ a $、腿长为 $ l $ 的方格数量，比其在大矩形 $ R_{Kp,Kq} $ 内的补图中少一个，确立了这一基础对偶性。
• $ \operatorname{ctot}_{\frac{q}{p}}(D) $ 和 $ \operatorname{mid}_{\frac{q}{p}}(D) $ 完全由边界图 $ M(D) $ 决定，且不依赖于欧拉回路 $ E(D) $ 的选择，这是由于生成函数 $ P_N^{M(D)} $ 和 $ P_W^{M(D)} $ 的不变性所致。
• $ D $ 的 $ (p,q) $-加权内容的生成函数 $ C_{p,q}^D $ 可从 $ P_N^{M(D)} $ 和 $ P_W^{M(D)} $ 显式重构，证明 $ M(D) $ 编码了 $ D $ 的完整加权内容，因此 $ M(D) = M(D') $ 当且仅当 $ D $ 与 $ D' $ 具有相同的加权内容。
• $ \operatorname{Hilb}^n_{p,q}(\mathbb{C}^2) $ 中包含单项式理想 $ I_D $ 的不可约分量的维数等于 $ \operatorname{ctot}_{\frac{q}{p}}(D) $，为该统计量提供了几何解释。
• 存在一个双射，可交换 $ c^+_{\frac{q}{p}}(D) $ 和 $ c^-_{\frac{q}{p}}(D) $ 同时保持 $ M(D) $ 不变，其原因在于每个不可约分量的稳定与不稳定胞腔分解中，每个维度的胞腔数量相同。
• 该双射证明解决了 Loehr-Warrington 对称性背后的组合谜题：$ h_x(D) $ 在有理数 $ x $ 上的不变性，源于图与其补图之间一种具体而构造性的对偶性。