[논문 리뷰] An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths

Guo-Niu Han|ArXiv.org|2008. 04. 11.

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-코어와 정수 벡터 사이의 전단사 사상(비잔트)을 활용하여, 벡터 기반 항등식을 분할 기반 항등식으로 변환하는 것.
• 후크 길이 공식과 슈어 함수의 성질을 적용하여 오일러 곱의 생성함수를 분할의 후크 길이로 표현하는 것.
• 라그랑주 역행렬과 생성함수 조작을 사용하여 오일러 곱의 역행을 분할의 후크 길이로 표현하는 것.
• 생성함수에서 β의 거듭제곱 계수를 비교하여 새로운 항등식을 도출하며, 특히 표시된 후크 공식을 유도하는 것.
• 해석적 계속성을 통해 공식이 복소수 β에 대해 성립함을 활용하여, 음의 정수에서 모든 복소수 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)가 양의 정수임을 함의하며, 이는 역행렬 급수의 계수의 정수성을 확인한다.
• 논문은 후크 길이 기반 가중치를 사용하여, 양의 정수 지수에 대한 생성함수에 대해 코스타ント의 결과를 더 직접적이고 조합론적으로 투명하게 유도함으로써 그 결과를 개선했다.