2025-11-18T06:37:13.414405

Enumeration of Even Dimensional Partitions modulo 4

Khanna

The number of standard Young tableaux possible of shape corresponding to a partition $Î»$ is called the dimension of the partition and is denoted by $f^Î»$. Partitions with odd dimensions were enumerated by McKay and were further characterized by Macdonald using the theory of 2-core towers. We use the same theory to extend the results to partitions of $n$ with dimensions congruent to 2 modulo 4 which are enumerated by $a_2(n)$. We provide explicit results for $a_2(n)$ when $n$ has no consecutive 1s in its binary expansion and give a recursive formula to compute $a_2(n)$ for all $n$.

academic

Enumeration of Even Dimensional Partitions modulo 4

基本信息

论文ID: 2511.11977
标题: Enumeration of Even Dimensional Partitions modulo 4
作者: Aditya Khanna
分类: math.CO (组合数学)
发表时间: 2025年11月15日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2511.11977

摘要

整数分拆λ的维数 $f^λ$ 定义为对应形状的标准Young表的个数。McKay枚举了奇维数分拆，Macdonald利用2-核塔理论进一步刻画了这些分拆。本文使用相同的理论，将结果推广到维数模4余2的分拆，用 $a_2(n)$ 表示这类分拆的计数。论文为二进制展开中无连续1的整数 $n$ 给出了 $a_2(n)$ 的显式公式，并为一般的 $n$ 提供了递归计算公式。

研究背景与动机

问题背景

核心问题：计算整数 $n$ 的分拆中，维数满足特定模性质（特别是模4余2）的分拆个数
历史发展：
- McKay (1972)计算了 $m_2(n)$ （维数不被2整除的分拆数）
- Macdonald (1971)利用 $p$ -核塔理论给出了 $m_p(n)$ 的完整解答
- 对于 $n = 2^{k_1} + \cdots + 2^{k_\ell}$ （ $k_1 > \cdots > k_\ell$ ），有 $m_2(n) = 2^{k_1+\cdots+k_\ell}$

重要性

理论意义：模4的分类对称群的自旋表示分类有重要意义
拓展价值：从模2推广到模4是理解更一般模性质的关键步骤
组合结构：揭示分拆维数与二进制展开之间的深刻联系

现有方法的局限

Amrutha P和T. Geetha的工作虽然给出了 $m_{2^k}(n)$ 的一般解（方程(6)），但结果不便于枚举
他们仅对 $n = 2^\ell$ 的特殊情况提供了 $m_4(n)$ 的显式结果
缺乏对一般 $n$ 的有效计算方法

研究动机

通过2-核塔理论建立维数模4余2的分拆与二进制展开之间的组合对应，提供可计算的递归公式和特殊情况的闭形式解。

核心贡献

递归公式（定理1）：对于 $n = 2^R + m$ $n = 2^{R} + m$ （ $m < 2^R$ $m < 2^{R}$ ），给出了 $a_2(n)$ $a_{2} (n)$ 的分段递归公式：
- 当 $m < 2^{R-1}$ 时： $a_2(n) = 2^R \cdot a_2(m) + \binom{2^{R-1}}{2} \cdot a(m)$
- 当 $2^{R-1} \leq m < 2^R$ 时： $a_2(n) = 2^R \cdot a_2(m) + \frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right) \cdot a(m)$
稀疏数的闭形式（推论2）：对于二进制展开无连续1的稀疏数 $n$ $n$ ：
- 当 $n$ 为偶数时： $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n))$ ，其中 $\nu(n)$ 是二进制展开中1的个数
- 当 $n$ 为奇数时： $a_2(n) = a_2(n-1)$
2-核塔刻画（命题13）：给出了 $v_2(f^\lambda) = 1$ 的充要条件，通过2-核塔各层的权重 $w_i(\lambda)$ 刻画
组合解释：将计数问题转化为2-核塔节点标记的组合计数，建立了清晰的组合对应

方法详解

任务定义

输入：正整数 $n$
输出： $a_2(n)$ ，即 $n$ 的所有分拆中维数 $f^\lambda \equiv 2 \pmod{4}$ 的分拆个数
约束：利用2-核塔的组合结构进行计数

核心数学结构

1. 基础概念

分拆： $\lambda = (\lambda_1, \ldots, \lambda_k)$ 满足 $\lambda_1 \geq \cdots \geq \lambda_k > 0$ 且 $|\lambda| = \sum \lambda_i = n$
维数： $f^\lambda$ 是形状为 $\lambda$ 的标准Young表(SYT)个数
2-核：不包含可移除多米诺骨牌的分拆，形式为 $(n, n-1, \ldots, 2, 1)$

2. 2-核塔构造

对分拆 $\lambda$ 构造无限二叉树：

根节点标记为 $\text{core}_2(\lambda)$
递归定义：若节点 $v$ 标记为 $\text{core}_2(\lambda^{(b)})$ ，则其两个子节点分别标记为 $\text{core}_2(\lambda^{(b0)})$ 和 $\text{core}_2(\lambda^{(b1)})$
这里 $\lambda^{(0)}, \lambda^{(1)}$ 是 $\lambda$ 的2-商

3. 权重函数

定义第 $k$ 行的权重： $w_k(\lambda) := \sum_{b \in \{0,1\}^k} |\text{core}_2(\lambda^{(b)})|$

关键性质：

命题12（Macdonald）： $\lambda$ 是奇分拆当且仅当 $w_i(\lambda) = b_i$ （ $n$ 的第 $i$ 位二进制数字）
命题13（本文核心）： $v_2(f^\lambda) = 1$ $v_{2} (f^{λ}) = 1$ 当且仅当存在 $R \in \text{bin}'(n)$ $R \in bin^{'} (n)$ 使得：
- $w_{R-1}(\lambda) = b_{R-1} + 2$
- $w_R(\lambda) = 0$
- $w_i(\lambda) = b_i$ 对所有 $i \neq R, R-1$

技术创新点

1. 权重序列刻画

引入权重序列 $w^k(n) = (w^k_i(n))_{i \geq 0}$ ，通过指定某一层 $k$ "异常"（权重增加2）来刻画 $v_2(f^\lambda) = 1$ 的条件。这是从Macdonald的奇分拆刻画到模4余2分拆的关键推广。

2. 组合计数函数 $T^k(w)$

定义 $T^k(w)$ 为在第 $k$ 行有 $2^k$ 个节点，节点标记为2-核且大小之和为 $w$ 的方案数：

$T^k(0) = 1$
$T^k(1) = 2^k$
$T^k(2) = \binom{2^k}{2}$
$T^k(3) = \binom{2^k}{3} + 2^k$

这利用了2-核的形式（引理6），大小为0, 1, 3的2-核分别是 $\emptyset$ , $(1)$ , $(2,1)$ 。

3. 递归分解策略

将 $a_2(n)$ 表示为： $a_2(n) = \sum_{k \in \text{bin}'(n)} T(w^k(n))$ 其中 $T(w^k(n)) = \prod_{i \geq 0} T^i(w^k_i(n))$

通过分离 $k = R$ 项和其他项，利用归纳假设计算 $a_2(m)$ ，从而得到递归公式。

4. 稀疏数的简化

对于稀疏数（无连续1），有 $b_{k-1} = 0$ 对所有 $k \in \text{bin}'(n)$ ，因此： $a_2(n) = a(n) \sum_{k \in \text{bin}'(n)} \frac{T^{k-1}(2)}{T^k(1)} = a(n) \sum_{k \in \text{bin}'(n)} \frac{2^k - 2}{8}$

这个求和可以显式计算，得到闭形式。

实验设置

注：本文是纯理论数学论文，不涉及传统意义上的实验。所有结果均通过严格的数学证明获得。

验证方法

理论推导基于Macdonald的2-核塔理论框架
通过引理15验证小规模情况（ $w = 0, 1, 2, 3$ ）
递归公式可用于计算机验证（虽然论文未提供数值实验）

特殊情况检验

稀疏数提供了可验证的闭形式
与已知的 $m_4(2^\ell)$ 结果一致（注17）

实验结果

主要结果

定理1的应用

递归公式允许从较小的 $m$ 计算 $a_2(2^R + m)$ ：

第一种情况（ $m < 2^{R-1}$ ）：主要依赖 $a_2(m)$ ，修正项系数为 $\binom{2^{R-1}}{2} = 2^{R-2}(2^{R-1}-1)$
第二种情况（ $m \geq 2^{R-1}$ ）：修正项更复杂，系数为 $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$

推论2的显式公式

对稀疏数，公式极其简洁： $a_2(n) = \frac{a(n)}{8}(n - 2\nu(n)) \quad (\text{n偶数})$

例子： $n = 42 = 2^5 + 2^3 + 2^1$ （稀疏）， $\nu(42) = 3$

$a(42) = 2^{5+3+1} = 512$
$a_2(42) = \frac{512}{8}(42 - 6) = 64 \times 36 = 2304$

理论发现

模4结构的层次性：维数模4余2的分拆对应于2-核塔中恰有一层出现"异常"（权重超出预期2个单位）
二进制展开的作用：
- 奇分拆：每一位二进制数字对应一层的权重
- 模4余2分拆：在某一位"借位"，导致相邻两层权重变化
稀疏数的特殊性：无连续1使得所有可能的"异常"位置贡献相同的组合结构，导致闭形式
与 $m_4(n)$ 的关系（注17）： $m_4(n) = a(n) + a_2(n)$ 维数被4整除的分拆数为 $p(n) - a(n) - a_2(n)$

结论与讨论

主要结论

完全解决了模4余2的情况：通过定理1的递归公式， $a_2(n)$ 对所有 $n$ 可计算
稀疏数的优美公式：推论2给出了一大类整数的闭形式解
组合解释清晰：通过2-核塔的权重异常刻画 $v_2(f^\lambda) = 1$
与已知结果一致：特殊情况与Amrutha-Geetha的结果吻合

局限性

递归性质：定理1虽然完全，但计算 $a_2(n)$ 仍需递归到较小的值，复杂度依赖于二进制展开的结构
一般情况无闭形式：除稀疏数外，没有给出一般 $n$ 的闭形式公式
高阶推广困难（第4节承认）：
- 模 $2^k$ （ $k > 2$ ）情况递归项过多
- 模 $p^2$ （ $p$ 为奇素数）计算繁琐
- 这些推广在实际中难以处理
数值验证缺失：论文未提供计算实例或与其他方法的数值比较

未来方向

论文在第4节指出：

更高模数：计算模 $2^k$ （ $k \geq 3$ ）或模 $p^2$ （ $p$ 奇素数）的情况，但承认递归会更复杂
其他特殊类：寻找更多允许闭形式的整数类（类似稀疏数）
算法优化：开发高效计算 $a_2(n)$ 的算法
表示论应用：将结果应用于自旋表示的具体分类问题

深度评价

优点

理论严谨性：
- 所有定理都有完整证明
- 逻辑链条清晰：引理15 → 命题13 → 定理1 → 推论2
- 使用成熟的2-核塔理论框架
方法创新性：
- 权重序列 $w^k(n)$ 的引入巧妙地编码了"异常"层的位置
- 计数函数 $T^k(w)$ 将问题分解为可处理的子问题
- 稀疏数情况的处理展示了方法的威力
结果的可计算性：
- 递归公式明确，可编程实现
- 稀疏数的闭形式优雅且可直接应用
- 与已知结果的联系清晰（注17）
写作清晰度：
- 背景介绍充分（第1节）
- 定义详尽（第2节），配有示例
- 证明思路清楚，关键步骤有标注

不足

实用性有限：
- 递归公式虽然完整，但对大 $n$ 计算效率不明
- 缺乏算法复杂度分析
- 未提供实现或数值表
覆盖面窄：
- 仅解决了模4余2的情况
- 模4余0和余3（即 $a_0(n), a_3(n)$ ）未讨论
- 虽然通过 $a(n) = a_1(n) + a_3(n)$ 可间接获得部分信息
推广路径不明：
- 第4节承认高阶推广困难，但未深入分析困难的本质
- 没有提出克服这些困难的可能方向
- 稀疏数的闭形式是否有更一般的推广？
缺乏直观解释：
- 为什么恰好是 $w_{R-1} = b_{R-1} + 2$ 对应 $v_2(f^\lambda) = 1$ ？
- 递归公式中系数 $\binom{2^{R-1}}{2}$ 和 $\frac{1}{2^{R-1}}\left(\binom{2^{R-1}}{3} + 2^{R-1}\right)$ 的组合意义？
- 虽然证明严密，但缺少直观图像
应用未展开：
- 虽然提到自旋表示的动机，但未具体说明 $a_2(n)$ 在表示论中的作用
- 与Ganguly-Spallone工作的联系仅停留在引用层面

影响力

对领域的贡献：
- 填补了McKay-Macdonald理论到模4情况的空白
- 为后续研究更高模数提供了模板
- 丰富了分拆维数的模性质研究
实用价值：
- 稀疏数公式可直接应用
- 递归公式为计算机代数系统提供了实现基础
- 对表示论研究者有参考价值
可复现性：
- 数学证明可验证
- 递归公式明确，易于编程
- 但缺少代码或数值实例降低了可复现性
潜在影响：
- 可能启发其他模性质的研究
- 2-核塔方法的进一步应用
- 与计算机代数的结合

适用场景

理论研究：
- 分拆理论中的模性质研究
- 对称群表示论（特别是自旋表示）
- 组合数论中的二进制展开应用
计算应用：
- 需要计算特定模性质分拆数的场合
- 符号计算系统中的分拆函数库
- 枚举组合学中的生成函数研究
教学价值：
- 展示2-核塔理论的应用
- 递归方法在组合计数中的示例
- 二进制展开与组合结构的联系

参考文献

论文引用的关键文献：

J. McKay (1972): "Irreducible representations of odd degree", Journal of Algebra - 奇维数分拆的开创性工作
I. G. Macdonald (1971): "On the Degrees of the Irreducible Representations of Symmetric Groups", Bulletin of the London Mathematical Society - 建立 $p$ -核塔理论框架
P. Amrutha & T. Geetha (2024): "On the degrees of representations of groups not divisible by $2^k$ ", Journal of Algebra and Its Applications - 最近的相关工作
J. Ganguly & S. Spallone (2020): "Spinorial representations of symmetric groups", Journal of Algebra - 本文研究的表示论动机
J. B. Olsson (1993): "Combinatorics and representations of finite groups" - 核心技术参考

总体评价

这是一篇高质量的组合数学理论论文，在McKay-Macdonald经典理论的基础上做出了实质性推广。主要优点是理论完整、证明严谨、结果可计算；主要不足是应用展示不足、推广路径不明。对于分拆理论和对称群表示论的研究者，这是一篇值得细读的文献。稀疏数的闭形式公式尤其优雅，展示了理论的深度。建议后续工作补充数值实验、探索更多特殊类的闭形式、以及与表示论的具体联系。

推荐指数：★★★★☆ (4/5)
技术难度：高
应用价值：中等
理论贡献：显著