Inequalities for the number of $t$-hooks in two partition classes arising from sum-product identities

1. 연구 배경 및 문제 제기 (Problem)

• 배경: partition (분할) 이론에서 가장 기초적인 오일러 항등식 (Euler's identity) 은 '서로 다른 부분 (distinct parts) 으로 이루어진 분할'과 '홀수 부분 (odd parts) 으로 이루어진 분할'의 수가 같음을 보여줍니다. 앤드류스 (Andrews) 는 이 항등식을 바탕으로 "서로 다른 부분 분할의 총 부분 개수가 홀수 부분 분할의 서로 다른 부분 개수보다 크거나 같다"는 부등식을 증명했습니다.
• 선행 연구: Ballantine 등 (2023) 은 이 부등식을 '후크 (hook)' 개념으로 확장하여, $t=1$일 때는 위 부등식이 성립하지만 $t \ge 2$일 때는 $n$이 충분히 크면 부등식이 반전될 것이라고 추측했습니다 (Conjecture 1.1). 이 추측은 $t=2, 3$의 경우와 나머지 경우에 대해 증명되었습니다.
• 연구 목적: 본 논문은 이러한 '후크 편향 (hook bias)' 현상을 오일러 항등식뿐만 아니라, Rogers-Ramanujan 항등식과 Little Göllnitz 항등식과 같은 '간격 조건 (gap condition)'과 '합동 조건 (congruence condition)'을 연결하는 다른 중요한 분할 항등식들로 확장하는 것을 목표로 합니다.
  • 구체적으로, $t=1$과 $t=2$에 대해 두 가지 분할 클래스 간의 $t$-후크 수의 점근적 행동을 분석하고 부등식을 증명합니다.

2. 주요 정의 및 설정 (Definitions)

논문은 두 가지 주요 항등식에 대해 다음과 같은 분할 집합을 정의합니다.

1. 첫 번째 Rogers-Ramanujan 항등식:

   • $R_1$: 인접한 부분의 차이가 2 이상인 분할 ($\lambda_i - \lambda_{i+1} \ge 2$).
   • $R_2$: 부분이 1 또는 4 modulo 5 인 분할 ($\lambda_i \equiv 1, 4 \pmod 5$).
   • $r_{j,t}(n)$: $R_j$에 속하는 $n$의 분할들에서 $t$-후크의 총 개수.

2. 첫 번째 Little Göllnitz 항등식:

   • $G_1$: 인접한 부분의 차이가 2 이상이며, 홀수 부분 간의 차이가 정확히 2인 경우가 없는 분할.
   • $G_2$: 부분이 1, 5, 6 modulo 8 인 분할.
   • $g_{j,t}(n)$: $G_j$에 속하는 $n$의 분할들에서 $t$-후크의 총 개수.

3. 방법론 (Methodology)

논문의 핵심 방법론은 **생성함수 (Generating Functions)**의 점근적 분석과 Ingham 의 Tauberian 정리를 결합하는 것입니다.

1. 생성함수 유도:

   • $t$-후크의 수를 세기 위해 이변수 생성함수 $R_{j,t}(x, q)$ (또는 $G_{j,t}(x, q)$) 를 구성합니다. 여기서 $x$는 후크의 개수를, $q$는 분할의 크기를 카운팅합니다.
   • $x=1$에서 편미분하여 $t$-후크 수의 생성함수 $S_{j,t}(q)$ (또는 $H_{j,t}(q)$) 를 얻습니다.
   • 이 생성함수들은 무한곱 (infinite product) 과 유리함수의 곱, 또는 Nahm 합 (Nahm sum) 형태를 띱니다.

2. 점근적 분석 (Asymptotic Analysis):

   • $q = e^{-z}$ ($z \to 0$) 일 때 생성함수의 행동을 분석합니다.
   • ** saddle point method (안장점 방법)**를 사용하여 생성함수의 합에서 주된 기여를 하는 항 (peak) 을 찾습니다.
   • Lemma 2.1, 2.2 (Zagier 의 결과 확장) 를 사용하여 $q$-Pochhammer 기호의 로그 점근 전개를 수행합니다.
   • **Ingham 의 Tauberian 정리 (Theorem 2.4)**를 적용하여, 생성함수의 점근적 형태로부터 계수 $r_{j,t}(n)$ 및 $g_{j,t}(n)$의 점근적 공식을 유도합니다. 이 정리는 계수가 단조 증가할 때 특히 유용합니다.

3. 오차 항 추정:

   • 안장점 근처의 합과 그 외의 영역 (error term) 을 분리하여, 주된 항이 전체 합을 지배함을 엄밀하게 증명합니다.

4. 주요 결과 (Key Results)

A. Rogers-Ramanujan 항등식에 대한 결과 (Theorems 1.2, 1.3, 1.4)

• 점근적 공식: $n \to \infty$일 때,
  • $r_{1,1}(n) \sim r_{1,2}(n) \sim C_1 n^{-1/4} e^{2\pi\sqrt{n/15}}$
  • $r_{2,1}(n) \sim C_2 n^{-1/4} e^{2\pi\sqrt{n/15}}$
  • $r_{2,2}(n) \sim C_3 n^{-1/4} e^{2\pi\sqrt{n/15}}$
  • 여기서 $C_1, C_2, C_3$는 황금비 $\phi$와 로그 항을 포함하는 상수입니다.
• 부등식 증명:
  • $t=1$ (1-후크): $r_{1,1}(n) > r_{2,1}(n)$ (충분히 큰 $n$에 대해).
    • 이는 서로 다른 부분 조건 ($R_1$) 이 홀수 조건 ($R_2$) 보다 더 많은 1-후크 (즉, 더 많은 서로 다른 부분) 를 가진다는 것을 의미합니다.
  • $t=2$ (2-후크): $r_{1,2}(n) < r_{2,2}(n)$ (충분히 큰 $n$에 대해).
    • 부등식이 반전되어, 합동 조건 ($R_2$) 을 만족하는 분할들이 더 많은 2-후크를 가집니다.

B. Little Göllnitz 항등식에 대한 결과 (Theorems 1.5, 1.6, 1.7)

• 점근적 공식: $n \to \infty$일 때,
  • $g_{1,1}(n) \sim g_{1,2}(n) \sim C_4 n^{-1/4} e^{\pi\sqrt{n/2}}$
  • $g_{2,1}(n) \sim C_5 n^{-1/4} e^{\pi\sqrt{n/2}}$
  • $g_{2,2}(n) \sim C_6 n^{-1/4} e^{\pi\sqrt{n/2}}$
• 부등식 증명:
  • $t=1$: $g_{1,1}(n) > g_{2,1}(n)$.
  • $t=2$: $g_{1,2}(n) < g_{2,2}(n)$.
  • Rogers-Ramanujan 경우와 동일한 패턴 ( $t=1$일 때는 간격 조건이 우세, $t=2$일 때는 합동 조건이 우세) 을 보입니다.

5. 의의 및 결론 (Significance & Conclusion)

• 이론적 확장: 오일러 항등식에서 시작되어 Rogers-Ramanujan 및 Little Göllnitz 항등식과 같은 더 복잡한 합 - 곱 항등식에서도 '후크 편향 (hook bias)' 현상이 보편적으로 존재함을 증명했습니다.
• 방법론적 기여: Nahm 합 형태의 생성함수에 대해 Ingham 의 Tauberian 정리를 적용하여 정밀한 점근적 공식을 유도하는 방법을 체계화했습니다. 이는 향후 유사한 분할 문제 (예: Göllnitz-Gordon 항등식 등) 에 적용 가능한 강력한 도구가 됩니다.
• 추측 (Conjecture): 저자들은 $t > 2$인 경우에도 부등식이 유지될 것이라고 추측합니다. 즉, 충분히 큰 $n$에 대해 간격 조건 분할은 1-후크가 많지만, $t \ge 2$인 후크에 대해서는 합동 조건 분할이 더 많을 것이라고 예상합니다.

요약하자면, 이 논문은 분할 이론의 고전적인 항등식들에서 $t$-후크의 분포가 $t$의 값에 따라 어떻게 달라지는지를 정량적으로 규명하고, 이를 통해 분할 클래스 간의 미세한 구조적 차이를 드러낸 중요한 연구입니다.