[论文解读] Results and conjectures on simultaneous core partitions

Drew Armstrong, Christopher R. H. Hanusa+1 more|arXiv (Cornell University)|Aug 2, 2013

Advanced Combinatorial Mathematics参考文献 10被引用 8

一句话总结

本文研究互素整数 $a$ 和 $b$ 的同时核心分拆，利用算盘图建立 $2n$- 和 $(2n+1)$-核心分拆与类型 $C_n$ 的 $m$-Shi 构型中主导仿射单体之间的双射。引入了一个主要指数统计量，得到类型 $A$ 和 $C$ 的 Coxeter-Catalan 数的 $q$-模拟，通过算盘模型统一了类型 $A$ 和 $C$ 的组合结构，并推广了 Fishel–Vazirani 关于 Shi 构型的结果。

ABSTRACT

An n-core partition is an integer partition whose Young diagram contains no hook lengths equal to n. We consider partitions that are simultaneously a-core and b-core for two relatively prime integers a and b. These are related to abacus diagrams and the combinatorics of the affine symmetric group (type A). We observe that self-conjugate simultaneous core partitions correspond to the combinatorics of type C, and use abacus diagrams to unite the discussion of these two sets of objects. In particular, we prove that (2n)- and (2mn+1)-core partitions correspond naturally to dominant alcoves in the m-Shi arrangement of type C_n, generalizing a result of Fishel--Vazirani for type A. We also introduce a major statistic on simultaneous n- and (n+1)-core partitions and on self-conjugate simultaneous (2n)- and (2n+1)-core partitions that yield q-analogues of the Coxeter-Catalan numbers of type A and type C. We present related conjectures and open questions on the average size of a simultaneous core partition, q-analogs of generalized Catalan numbers, and generalizations to other Coxeter groups. We also discuss connections with the cyclic sieving phenomenon and q,t-Catalan numbers.

研究动机与目标

• 将互素 $a,b$ 的同时 $a$- 和 $b$-核心分拆的组合结构与仿射 Weyl 群结构统一，特别是在类型 $A$ 和 $C$ 中。
• 通过算盘图将 Fishel–Vazirani 关于类型 $A$ 的 $m$-Shi 构型中主导仿射单体的结果推广到类型 $C$。
• 在同时 $n$- 和 $(n+1)$-核心分拆以及自共轭 $2n$- 和 $(2n+1)$-核心分拆上定义并分析一个主要指数统计量，以生成 Coxeter-Catalan 数的 $q$-模拟。
• 提出并研究关于联合核心分拆的平均大小、广义 Catalan 数的 $q$-模拟，以及向其他 Coxeter 群推广的猜想。

提出的方法

• 使用算盘图编码整数分拆，并通过珠子位置和轨道结构建模核心条件。
• 通过主导仿射单体分析类型 $C_n$ 的 $m$-Shi 构型，算盘图提供了与 $2n$- 和 $(2mn+1)$-核心分拆之间的双射。
• 在对应于算盘图的格路中定义主要指数统计量，其贡献来自各轨道上珠子位置的下降。
• 算盘图与 Dyck 路径（或 $N$-$E$ 格路）之间的双射使得主要指数统计量可转化为基于路径的求和。
• 利用每个轨道上最低珠子的位置对应于格路中的一个向北步，且珠子序列中的下降决定了主要指数的贡献。
• 应用 MacMahon 关于 $q$-Catalan 数的经典结果，验证所得生成函数与类型 $A$ 和 $C$ 的 $q$-模拟一致。

实验结果

研究问题

• RQ1 如何利用算盘图和联合核心条件表征类型 $C_n$ 的 $m$-Shi 构型中主导仿射单体的组合结构？
• RQ2 在同时 $n$- 和 $(n+1)$-核心分拆上，什么样的主要指数统计量能产生类型 $A$ Catalan 数的 $q$-模拟？
• RQ3 在自共轭 $2n$- 和 $(2n+1)$-核心分拆上，什么样的类似主要指数统计量能产生类型 $C$ Catalan 数的 $q$-模拟？
• RQ4 当使用联合核心分拆来标记主导区域时，需要哪些额外数据来参数化类型 $A$ 或 $C$ 中所有（非必然主导的）Shi 区域？
• RQ5 在算盘位置上定义的哪些函数 $f(i)$ 能产生满足凸性条件的有限算盘集合，且此类集合能否被直接枚举？

主要发现

• 集合 $2n$- 和 $(2mn+1)$-核心分拆与类型 $C_n$ 的 $m$-Shi 构型中的主导仿射单体之间存在双射，推广了 Fishel–Vazirani 的类型 $A$ 结果。
• 在 $n$- 和 $(n+1)$-核心分拆上的主要指数统计量 $\mathsf{maj}_A(\lambda)$ 满足 $\mathsf{maj}_A(\lambda) = \mathsf{maj}(L)$，其中 $L$ 是对应的 Dyck 路径，从而产生类型 $A$ Catalan 数的 $q$-模拟。
• 对于自共轭 $2n$- 和 $(2n+1)$-核心分拆，统计量 $2\cdot\mathsf{maj}_C(\lambda)$ 等于对应格路的主要指数，从而产生类型 $C$ Catalan 数的 $q$-模拟。
• 算盘模型实现了对类型 $A$ 和 $C$ 中联合核心分拆的统一处理，珠子位置编码了钩长约束，路径统计量则对应于组合结构。
• 珠子序列中下降的贡献总和即为完整的主要指数，第 (5.1) 和 (5.2) 式分别给出了类型 $A$ 和 $C$ 的显式公式。
• 本文证明了在 $n$- 和 $(n+1)$-核心分拆上主要指数的生成函数与类型 $A$ 的 $q$-Catalan 数一致，且对类型 $C$ 同样成立。