[論文レビュー] 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 を持つ重み付き分割の観点から再定式化すること。
• フック長さを含む新たな組合せ的恒等式を導出すること、特に「マークドフック公式」とマジック分割公式を含むこと。
• 正の整数指数に対するコスタンツの結果を、より直接的かつ一般化された枠組みで改善すること。
• フック長さの組合せ論を用いて、オイラーの五角数定理やヤコビの三重積の古典的恒等式に対する新たな視点を提供すること。

提案手法

• マクドナルドの 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) が正の整数であることが示され、逆級数の係数の整数性が裏付けられる。
• 本稿は、フック長に基づく重みを用いることで、正の整数指数に対する生成関数の導出を、コスタンツの結果よりもより直接的かつ組合せ論的に明確にした。