[论文解读] An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths

Guo-Niu Han|ArXiv.org|Apr 11, 2008

Advanced Combinatorial Mathematics参考文献 28被引用 19

一句话总结

本文提出了一种关于欧拉乘积（或戴德金η函数）幂的新型显式展开公式，以整数分拆的钩长表示，适用于任意复指数s。通过将麦克唐纳关于类型A_l^{(a)}的基于向量的恒等式重新解释为带有自由参数t的加权分拆，作者推导出一个极为简洁的涉及钩长的表达式，从而导出新的恒等式并改进了科斯坦特的结果，包括‘带标记钩公式’和一种新的魔术分拆公式。

ABSTRACT

We discover an explicit expansion formula for the powers $s$ of the Euler Product (or Dedekind $η$-function) in terms of hook lengths of partitions, where the exponent $s$ is any complex number. Several classical formulas have been derived for certain integers $s$ by Euler, Jacobi, Klein, Fricke, Atkin, Winquist, Dyson and Macdonald. In particular, Macdonald obtained expansion formulas for the integer exponents $s$ for which there exists a semi-simple Lie algebra of dimension $s$. For the type $A_l^{(a)}$ he has expressed the $(t^2-1)$-st power of the Euler Product as a sum of weighted integer vectors of length $t$ for any integer $t$. Kostant has considered the general case for any positive integer $s$ and obtained further properties. ----- The present paper proposes a new approach. We convert the weighted vectors of length $t$ used by Macdonald in his identity for type $A_l^{(a)}$ to weighted partitions with free parameter $t$, so that a new identity on the latter combinatorial structures can be derived without any restrictions on $t$. The surprise is that the weighted partitions have a very simple form in terms of hook lengths of partitions. As applications of our formula, we find some new identities about hook lengths, including the "marked hook formula". We also improve a result due to Kostant. The proof of the Main Theorem is based on Macdonald's identity for $A_l^{(a)}$ and on the properties of a bijection between $t$-cores and integer vectors constructed by Garvan, Kim and Stanton.

研究动机与目标

• 建立欧拉乘积的任意复指数s次幂的统一显式展开式，以分拆钩长表示。
• 通过将基于向量的恒等式中的整数向量长度t推广为自由参数t的加权分拆，克服麦克唐纳恒等式仅适用于整数t的局限性。
• 推导出涉及钩长的新组合恒等式，包括‘带标记钩公式’和一种魔术分拆公式。
• 通过提供更直接且通用的框架，改进科斯坦特对正整数指数生成函数的结果。
• 通过钩长组合学为经典恒等式（如欧拉五边形定理和雅可比三重积）提供新的视角。

提出的方法

• 将麦克唐纳关于类型A_l^{(a)}的恒等式从长度为t的加权整数向量，重新表述为带有自由参数t的加权分拆。
• 利用加尔万、金和斯坦顿构造的t-核心与整数向量之间的双射，将基于向量的恒等式转化为基于分拆的恒等式。
• 应用钩长公式及舒尔函数的性质，将欧拉乘积的生成函数用分拆的钩长表示。
• 使用拉格朗日反演和生成函数运算，推导出欧拉乘积的反演形式，以分拆的钩长表示。
• 通过比较生成函数中β的幂次的系数，推导出新恒等式，包括带标记钩公式。
• 利用该公式对复数β成立的解析延拓性质，将结果从负整数推广至所有复数s。

实验结果

研究问题

• RQ1 麦克唐纳关于欧拉乘积的(t²−1)次幂的基于向量的恒等式能否通过使用不同的组合对象，推广至非整数t？
• RQ2 是否存在一个统一的公式，将欧拉乘积的任意复指数s次幂表示为分拆钩长的函数？
• RQ3 从这种广义公式中，能推导出哪些关于钩长的新恒等式？
• RQ4 新公式如何改进或简化科斯坦特关于正整数指数生成函数的结果？
• RQ5 欧拉乘积的反演能否通过分拆的钩长显式表达？

主要发现

• 主要结果为：∏_{m≥1}(1−x^m)^β 的显式展开式为所有整数分拆λ的和，其中每一项包含x^{|λ|+b(λ)}以及λ中所有格子v的乘积：(c(v)+1−β)/(h_v(1−x^{h_v}))，其中h_v为钩长，c(v)为格子v的内容。
• 通过比较生成函数中β^{n−1}x^n与β^{n−2}x^n的系数，推导出一个新恒等式，称为‘带标记钩公式’，揭示了钩长与内容之间对称的关系。
• 建立了魔术分拆公式：∑_{λ∈P} x^{|λ|+b(λ)} ∏_{v∈λ} (c(v)+1−β)/(h_v(1−x^{h_v})) = ∑_{λ∈P} x^{|λ|} ∏_{v∈λ} (h_v^2−β)/h_v^2，对所有复数β成立。
• 欧拉乘积的反演由y(x) = ∑_{n≥1} x^n/n ∑_{λ⊢n−1} ∏_{v∈λ} (1 + (n−1)/h_v^2) 给出，其中y(x)满足x = y∏_{m≥1}(1−y^m)。
• 该公式表明，对任意正整数n，表达式(1/(n+1)) ∑_{λ⊢n} ∏_{v∈λ} (1 + n/h_v^2) 为正整数，从而确认了反演级数系数的整性。
• 本文通过基于钩长的权重，提供了比科斯坦特结果更直接且组合意义更清晰的推导，改进了其关于正整数指数生成函数的结论。