[论文解读] Odd partitions in Young's lattice

Arvind Ayyer, Amritanshu Prasad+1 more|arXiv (Cornell University)|Jan 8, 2016

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

一句话总结

本文证明了杨氏格中由具有奇数个标准杨表的分拆所诱导的子图构成一棵二叉树——称为麦克唐纳树——展现出自相似性与递归结构。关键结果通过其 2^k-余类与 2^k-商，完全刻画了奇分拆，表明此类分拆由其余类与商结构唯一确定，且诱导子图是一棵恰好具有两条无限射线的二叉树。

ABSTRACT

We show that the subgraph induced in Young's graph by the set of partitions with an odd number of standard Young tableaux is a binary tree. This tree exhibits self-similarities at all scales, and has a simple recursive description.

研究动机与目标

• 刻画杨氏格中具有奇数个标准杨表的分拆的结构。
• 理解这些奇分拆的组合与代数性质，特别是其在对称群表示理论中的作用。
• 确定杨氏格中奇分拆诱导的子图是否构成一个可识别的组合对象，如树。
• 提供该子图的递归描述，并确立其自相似性质。

提出的方法

• 使用分拆的余类与商理论，特别是 2^k-余类与 2^k-商，分析奇分拆的结构。
• 应用钩长公式与 Frame-Robinson-Thrall 定理，计算标准杨表的数量。
• 证明引理 1，确立分拆 λ 为奇分拆当且仅当其具有唯一的 2^k-钩，且其 2^k-余类为奇分拆。
• 利用主引理（引理 2）描述杨氏格中奇分拆之间边的局部结构，基于边框钩与余类变换。
• 通过 2^k-余类与 2^k-商分解，递归构造麦克唐纳树，表明每个奇分拆均来自树中唯一的路径。
• 推广至其他微分格，如杨-斐波那契格，表明类似的奇链子图也构成树。

实验结果

研究问题

• RQ1 具有奇数个标准杨表的分拆集合是否在杨氏格中诱导出一个定义良好的子图？
• RQ2 该子图的全局结构如何——具体而言，它是否为一棵树？若是，是何种树？
• RQ3 如何利用余类与商分解递归构造奇分拆？
• RQ4 奇分拆的 2^k-余类与 2^k-商与其标准表数量奇偶性之间有何关系？
• RQ5 该结构能否推广至杨氏格之外的其他微分格？

主要发现

• 杨氏格中由奇分拆诱导的子图是一棵二叉树，称为麦克唐纳树，其在所有尺度下均表现出自相似性。
• 麦克唐纳树恰好具有两条无限射线，分别对应于极限下的分拆 (1) 与 (1,1)。
• 每个奇分拆 λ 均存在唯一的 2^k-钩，其中 k 满足 2^k ≤ |λ| < 2^{k+1}，且其 2^k-余类也为奇分拆。
• 对于每个大小为 n−2^k 的奇分拆 μ，恰好存在 2^k 个大小为 n 的奇分拆 λ，满足 core_{2^k}(λ) = μ。
• n 的奇分拆数量为 2^{α(n)}，其中 α(n) 是 n 的二进制数字 a_i 的 i·a_i 之和。
• 该结构可推广至杨-斐波那契格：具有奇数条饱和链的元素子图是一棵二叉树，其中偶数秩的节点有一条分支，奇数秩的节点有两条分支。