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

この論文「対称群の指標表におけるゼロの個数の下界（LOWER BOUND FOR THE NUMBER OF ZEROS IN THE CHARACTER TABLE OF THE SYMMETRIC GROUP）」は、対称群 $S_N$ の指標表（character table）に含まれるゼロの個数に関する漸近的な下界を確立したものです。著者らは、$N$ が十分に大きいとき、指標表のゼロの割合が $2/\log N$ に比例することを示す下界を証明しました。

以下に、論文の技術的な要約を問題設定、手法、主要な貢献、結果、そして意義に分けて記述します。

1. 問題設定と背景

• 対象: 正整数 $N$ に対する対称群 $S_N$ の指標表。この表のサイズは $p(N)^2$ であり、ここで $p(N)$ は $N$ の分割数（partition function）である。
• 定義:
  • $\chi_\lambda(\mu)$: 分割 $\lambda$ に対応する既約指標を、分割 $\mu$ によって決定される共役類の元で評価した値。
  • $Z(N)$: 指標表におけるゼロの総数。
  • $Z_t(N)$: 行（$\lambda$）が $t$-コア（t-core）であるようなゼロの個数。
• 既知の事実:
  • Burnside の定理により、非線形な既約指標は必ずある群元でゼロになる。
  • Miller (2010) は、ランダムに選んだ指標と群元に対して、値がゼロになる確率が $N \to \infty$ で 1 に収束することを示したが、これは個々の要素の分布に関するものであり、指標表全体のゼロの密度（$Z(N)/p(N)^2$）の漸近挙動を直接示すものではなかった。
• 未解決の問題:
  • Miller と Scheinerman は、$N \to \infty$ で $Z(N)/p(N)^2 \sim 2/\log N$ という予想（Conjecture 1.1）を立てた。
  • Peluse はゼロの割合が $A/\log N$ 以上であることを示したが、定数 $A$ の具体的な値や、予想の主要項 $2/\log N$ の証明は行われていなかった。

2. 手法とアプローチ

著者らは、以下の主要なツールと不等式を用いて、$Z(N)$ の下界を導出しました。

• Murnaghan-Nakayama 規則の利用:

  • 指標値がゼロになるための十分条件として、$\mu$ の部分にサイズ $t$ の部分があり、かつ $\lambda$ が $t$-コアである場合、$\chi_\lambda(\mu) = 0$ となる（Lemma 3.2）という事実を利用する。
  • これにより、$Z(N)$ に関する以下の下界不等式が得られる（式 1.2）：
    $$Z(N) \ge \sum_{t=1}^N c_t(N) p_t(N-t)$$
    ここで、$c_t(N)$ は $N$ の $t$-コア分割の数、$p_t(M)$ は最大部が $t$ 以下の $M$ の分割の数である。

• 漸近評価の組み合わせ:

  • $c_t(N)$ の評価: Tyler (2024) の最近の研究結果を用いて、$t$ と $N$ の関係に応じた $c_t(N)$ の漸近公式を導出した。特に、$t$ が $N$ の関数として変化する領域において、Dedekind の $\eta$ 関数やモジュラー変換の性質を精密に評価した（Proposition 3.7）。
  • $p_t(N-t)$ の評価: Erdős と Lehner の古典的な結果を拡張し、$p_t(N-t)$ の漸近挙動を明示的な誤差項付きで評価した（Lemma 3.8）。

• 和の評価（積分近似）:

  • 得られた和 $\sum c_t(N) p_t(N-t)$ を、$t$ の範囲（$t$ が小さい領域、中程度の領域、大きい領域）に分けて評価した。
  • 特に、$t \approx \frac{\sqrt{6}}{2\pi}\sqrt{N}\log N$ 付近の領域が支配的であることを示し、ラプラス法（Laplace method）やオイラーの総和公式を用いて積分を評価することで、主要項を抽出した。

3. 主要な結果

定理 1.2: 指標表全体のゼロの個数の下界

$N$ が十分に大きい正整数であるとき、以下の不等式が成り立つ：
$$Z(N) \ge \frac{2 p(N)^2}{\log N} \left( 1 + O\left(\frac{1}{\sqrt{\log N}}\right) \right)$$
この結果は、Miller の予想（$Z(N) \sim \frac{2 p(N)^2}{\log N}$）における主要項の係数「2」が正しい下界であることを示しており、予想が真であればこの下界は最適（tight）である。

定理 1.3: $t$-コア行に限定されたゼロの個数の下界

$t$-コアである $\lambda$ に対応する行におけるゼロの個数 $Z_t(N)$ について、$N, t \to \infty$ の異なる範囲に対して明示的な下界を与えた。

• $t$ が比較的小さい場合: $Z_t(N)$ は $R_t(N) p(N)$ のオーダーで評価される。
• $t$ が中程度の範囲: $Q_t(N) p(N)$ のオーダー。
• $t$ が大きい場合: $p(N)^2$ に比例する項が支配的になり、指数関数的な減衰項を含む形で評価される。
  これらは McSpirit と Ono の結果（固定された素数 $t$ に対するもの）を、$t$ が $N$ とともに増加する場合に一般化したものである。

4. 技術的な貢献と新規性

1. 定数 2 の導出: 単にゼロが存在するだけでなく、その密度が $2/\log N$ であることを証明し、Miller の予想の主要項を裏付けた。
2. Tyler の公式の応用: Tyler による $c_t(N)$ の新しい漸近公式を、$t$ が $N$ の関数として変化する動的な領域で精密に評価し、指標表のゼロの構造を解明した。
3. 明示的な誤差項: 従来の結果が「ある正の定数 $A$」であったのに対し、誤差項 $O(1/\sqrt{\log N})$ を明示的に含んだ下界を導出した。
4. $t$-コアの一般化: 固定された $t$ に対する結果を、$t$ が $N$ に依存して変化する広範な範囲に拡張し、$Z_t(N)$ の詳細な振る舞いを記述した。

5. 意義と今後の展望

• 組合せ論と表現論の交差点: 対称群の表現論（指標表）と整数論（分割数、モジュラー形式）を深く結びつけた重要な成果である。
• 統計的性質の解明: 指標表におけるゼロの分布が、単なるランダムな現象ではなく、$1/\log N$ という明確な法則に従うことを示した。
• 一般化の可能性: 著者らは、この手法が Weyl 群や対称群の wreath 積に対しても一般化可能であると示唆しており、より広い群論的な文脈での応用が期待される。

結論として、この論文は対称群の指標表におけるゼロの個数に関する長年の未解決問題に対し、厳密な漸近解析によって決定的な下界を提供し、その主要項が予想通りであることを証明した画期的な研究である。