Lower Bound for The Number of Zeros in The Character Table of The Symmetric Group

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

• 연구 대상: 대칭군 $S_N$ 의 성표 (Character Table). 이는 $N$ 개의 분할 (partitions) $\lambda$와 $\mu$에 대한 기약 캐릭터 값 $\chi_\lambda(\mu)$를 행렬로 표현한 것입니다. 성표의 총 항목 수는 $p(N)^2$이며, 여기서 $p(N)$은 $N$을 분할하는 방법의 수 (분할 함수) 입니다.
• 핵심 문제: 성표 내의 '0'인 항목의 개수, 즉 $Z(N)$의 점근적 거동을 규명하는 것입니다.
  • 1918 년 Hardy 와 Ramanujan 은 $p(N)$의 점근적 공식을 증명했습니다.
  • Miller 는 무작위로 선택된 캐릭터와 군 원소에 대해 0 이 될 확률이 $N \to \infty$일 때 1 에 수렴함을 보였으나, 이는 전체 성표 내 0 의 개수 ($Z(N)$) 에 대한 구체적인 추정치를 제공하지는 못했습니다.
• 기존 연구 및 추측:
  • Miller 와 Scheinerman 은 대규모 몬테카를로 시뮬레이션을 통해 $Z(N)/p(N)^2 \sim 2/\log N$이라는 **추측 (Conjecture 1.1)**을 제시했습니다.
  • Peluse 는 $Z(N) \ge A/\log N$ 형태의 하한을 증명했으나, 상수 $A$가 2 보다 작을 수 있었습니다.
  • Peluse 와 Soundararajan 은 $Z(N) \ge 2p(N)^2/\log N$이라는 하한을 언급했으나 증명을 제시하지 않았습니다.
• 본 논문의 목표: 위 추측의 주항 (main term) 이 최적임을 보이는 정확한 하한을 증명하고, $t$-core 분할에 국한된 0 의 개수 $Z_t(N)$에 대한 명시적 하한을 도출하는 것입니다.

2. 방법론 (Methodology)

저자들은 성표의 0 이 발생하는 구조적 특성을 활용하여 하한을 유도했습니다.

1. Murnaghan-Nakayama 규칙 활용:

   • 이 규칙에 따르면, 분할 $\mu$가 크기 $t$인 부분을 가지고 있고, 분할 $\lambda$가 $t$-core (Young 도형의 모든 후크 길이가 $t$로 나누어지지 않음) 일 때, $\chi_\lambda(\mu) = 0$이 됩니다.
   • 이를 통해 $Z(N)$에 대한 하한을 다음과 같은 합으로 표현할 수 있습니다:
     $$Z(N) \ge \sum_{t=1}^{N} c_t(N) p_t(N-t)$$
     여기서 $c_t(N)$은 $N$의 $t$-core 분할의 개수, $p_t(N-t)$는 최대 부분이 $t$ 이하인 $N-t$의 분할 개수입니다.

2. 점근적 추정치 (Asymptotic Estimates) 적용:

   • $c_t(N)$ (Tyler 의 공식): Tyler [14] 가 최근 제시한 $t$-core 분할 개수에 대한 점근적 공식을 사용합니다. 이 공식은 $t$와 $N$이 모두 변할 때 유효하며, Dedekind eta 함수 $\eta(z)$의 성질을 기반으로 합니다.
   • $p_t(N-t)$ (Erdős-Lehner 공식): Erdős 와 Lehner [3] 의 결과를 명시적인 오차 항과 함께 사용하여, 최대 부분이 제한된 분할 개수를 근사합니다.

3. 구간 분할 및 적분 기법:

   • 합 $\sum c_t(N) p_t(N-t)$을 $t$의 크기 ($T_1 < t \le T_2$ 및 $T_2 < t \le N$) 에 따라 구간을 나누어 분석합니다.
   • 각 구간에서 Tyler 의 공식과 Erdős-Lehner 공식을 대입하여 하한을 계산합니다.
   • Laplace 방법 (Laplace method): 적분 구간에서 지수 함수의 최댓값을 찾는 기법을 사용하여 주항을 도출합니다.

3. 주요 결과 (Key Results)

3.1. 전체 0 의 개수에 대한 하한 (Theorem 1.2)

대수 $N$이 충분히 클 때, 대칭군 $S_N$의 성표 내 0 의 개수 $Z(N)$은 다음과 같은 하한을 가집니다:
$$Z(N) \ge \frac{2 p(N)^2}{\log N} \left( 1 + O\left(\frac{1}{\sqrt{\log N}}\right) \right)$$

• 의미: 이는 Miller 와 Scheinerman 의 추측 ($Z(N)/p(N)^2 \sim 2/\log N$) 에서 주항이 $2/\log N$임을 증명하는 것으로, 추측의 주항이 최적 (optimal) 일 가능성을 강력하게 지지합니다.

3.2. $t$-core 분할에 대한 0 의 개수 하한 (Theorem 1.3)

$\lambda$가 $t$-core 인 행에 해당하는 0 의 개수 $Z_t(N)$에 대해 $N, t \to \infty$인 다양한 범위에서 명시적 하한을 제시했습니다.

• 범위 (i): 6 \le t \le \frac{2\pi\sqrt{2N}}{\sqrt{(1+\epsilon)\log N} 일 때, $Z_t(N)$은 $R_t(N)p(N)$에 비례하는 하한을 가집니다.
• 범위 (ii): 중간 범위의 $t$에 대해 $Q_t(N)p(N)$ 형태의 하한을 제시합니다.
• 범위 (iii): $t$가 매우 큰 경우 ($t \ge f(N)$), $Z_t(N)$이 $p(N)^2$에 매우 근접하는 하한을 가짐을 보였습니다.
• 이 결과는 McSpirit 와 Ono 가 고정된 소수 $t$에 대해 증명한 결과를 모든 $t$로 일반화하고 명시적인 공식을 제공합니다.

4. 기술적 기여 및 의의 (Significance)

1. 추측의 검증: 대칭군 성표에서 0 의 밀도가 $2/\log N$에 수렴한다는 오랜 추측에 대해, 하한이 그 값과 일치함을 엄밀하게 증명했습니다. 이는 조합론적 표현론 (Combinatorial Representation Theory) 의 중요한 난제 중 하나에 대한 해답을 제공합니다.
2. 정밀한 점근 분석: Tyler 의 최신 연구 결과 (Dedekind eta 함수를 이용한 $c_t(N)$ 추정) 와 Erdős-Lehner 의 분할 이론을 결합하여, $t$와 $N$이 동시에 변하는 복잡한 상황에서도 정밀한 점근적 거동을 분석했습니다.
3. 일반화 가능성: 저자들은 이 방법론이 Weyl 군 (Weyl groups) 과 대칭군의 wreath products 로도 일반화될 수 있음을 언급하며, 향후 연구의 방향성을 제시했습니다.
4. 명시적 오차 항: 기존 연구들이 주로 주항 (main term) 에 집중했다면, 본 논문은 $O(1/\sqrt{\log N})$과 같은 명시적인 오차 항을 포함하여 결과의 정밀도를 높였습니다.

5. 결론

본 논문은 대칭군 $S_N$의 성표에서 0 이 차지하는 비중이 매우 크며, 그 비율이 $2/\log N$에 점근적으로 수렴함을 증명했습니다. 이는 무작위 캐릭터가 0 이 될 확률이 1 에 수렴한다는 Miller 의 결과를 구체적인 수치적 하한으로 정립한 것이며, 분할 함수와 표현론의 깊은 연결을 보여주는 중요한 성과입니다.