Asymptotic Formula for $(t+1)$-Regular Partitions

この論文「ASYMPTOTIC FORMULA FOR (t + 1)-REGULAR PARTITIONS（(t+1)-正則分割の漸近公式）」は、数論と組合せ論の分野における整数分割の漸近挙動に関する研究です。著者である Jayanta Barman と Kamalakshya Mahatab は、Hagis が 1971 年に確立した結果を、パラメータ $t$ の異なる範囲にわたって拡張し、より明示的な誤差項を持つ漸近公式を導出しました。

以下に、この論文の技術的な要約を問題設定、手法、主要な貢献、結果、意義の観点から詳細に記述します。

1. 問題設定 (Problem)

整数 $N$ の分割（partition）とは、$N$ を正の整数の和として表す方法です。特に、**$t$-正則分割（$t$-regular partition）**とは、分割のどの部分（part）も $t$ で割り切れないような分割を指します。
本論文では、$p(N, t)$ を $N$ の $(t+1)$-正則分割の個数として定義し、$N \to \infty$ における $p(N, t)$ の漸近的な振る舞いを研究しています。

従来の研究（Hagis, 1971）では、$t$ を固定した場合の漸近公式が円周法（Circle Method）を用いて導出されていましたが、$t$ が $N$ に依存して変化する範囲（特に $t$ が $N$ の平方根程度のオーダーになる場合）における精密な漸近評価や、明示的な誤差項の同定については、より一般的な手法による拡張が必要とされていました。

2. 手法 (Methodology)

著者らは、従来の円周法ではなく、**鞍点法（Saddle Point Method）**を採用して解析を行いました。

• 生成関数と積分表示:
  $p(N, t)$ の生成関数は、Dedekind のイータ関数 $\eta(z)$ を用いて $G(q, t) = \frac{\eta((t+1)z)}{\eta(z)}$ と表されます（$q = e^{2\pi i z}$）。これを用いて、$p(N, t)$ を複素平面上の積分（コーシーの積分公式）として表現します。
  $$p(N, t) = \int_{-1/2}^{1/2} \exp(-2\pi i z L) g_t(z) dx$$
  ここで $L = N + t/24$、$g_t(z) = \eta((t+1)z)/\eta(z)$ です。

• 鞍点の決定:
  積分の主要な寄与を与える点（鞍点）$iy$($y>0$) を、被積分関数の対数微分がゼロになる条件から決定します。具体的には、$\mu_1$ という関数（イータ関数の対数微分に関連）を用いた方程式
  $$\frac{\mu_1((t+1)iy) - (t+1)\mu_1(iy)}{(t+1)y^2} = N + \frac{t}{24}$$
  を解くことで、最適な $y$ を求めます。

• 積分領域の分割と評価:
  積分領域を「鞍点の近傍（$|x| < y/3$）」と「それ以外（$y/3 \le |x| \le 1/2$）」に分割します。

  • 近傍: テーラー展開を用いてガウス積分を導き、主要項を計算します。
  • 遠方: 誤差項として扱います。この領域ではイータ関数のモジュラー変換（$SL_2(\mathbb{Z})$ 作用）を利用して、$|\eta(z)|$ の下限評価を行い、積分が指数関数的に減衰することを示しました（Proposition 3.1）。

• $\mu_k$ 関数の性質:
  虚部が大きい場合と小さい場合で異なる展開式（Proposition 3.5, 3.6）を用いて、$\mu_k$ 関数の値を精密に評価し、誤差項を制御しました。

3. 主要な貢献と結果 (Key Contributions and Results)

著者らは、$t$ の値に応じた 3 つの異なる範囲で、$p(N, t)$ の漸近公式を導出しました。これらは Hagis の結果を一般化・精密化したものです。

定理 1.1: 一般の漸近公式

任意の $N$ と $t \ge 4$ に対して、一意に定まる鞍点 $y$ を用いた漸近公式を提示しました。
$$p(N, t) \sim \frac{\sqrt{t+1} y^{3/2} \exp(2\pi y (N + t/24)) \eta((t+1)iy)}{\sqrt{(t+1)\mu_2(iy) - \mu_2((t+1)iy)} \eta(iy)}$$
ただし、$y$ は前述の方程式の解です。

定理 1.2: $t$ の範囲に応じた明示的な公式

$y$ を $N$ と $t$ の関数として明示的に近似し、以下の 3 つのケースで公式を与えました。

1. $t$ が比較的小さい場合（$t \ll \sqrt{N}$）:
   $t$ が $N$ の対数項を含む閾値より小さい場合、$p(N, t)$ は以下のように近似されます。
   $$p(N, t) = \sqrt{12} A_t(N) \exp\left( 2\pi\sqrt{6} \sqrt{\frac{t}{t+1}\left(N+\frac{t}{24}\right)} \right) \times \left( 1 + O(N^{-1/2}) \right)$$
   ここで、$A_t(N)$ は $t$ と $N$ に依存する係数です。この結果は、$t$ を固定した Hagis の公式（定理 1.3）と一致します。

2. $t$ が中程度の範囲:
   $t$ がさらに大きくなる領域では、より複雑な誤差項を含む上限評価が得られました。

3. $t$ が非常に大きい場合（$t > \sqrt{24N}$）:
   この場合、$(t+1)$-正則分割の個数は、制限のない分割の個数 $p(N)$ に非常に近くなります。
   $$p(N, t) = p(N) \exp\left( -\nu_1 \exp\left( -\frac{\pi(t+1)}{\sqrt{6N}} (1 + O(N^{-1/2})) \right) \right)$$
   これは、$t$ が十分大きければ、$t$ で割り切れる部分を持つ分割の個数が無視できるほど少なくなることを示しています。

定理 1.4: 対称群の指標表への応用

得られた漸近公式を用いて、対称群 $S_N$ の指標表における「ゼロの個数」$Z_t(N)$（$t$-コアである分割 $\lambda$ に対応する指標がゼロとなる組の個数）の評価を行いました。
McSpirit と Ono の既存の結果を拡張し、$t$ が固定の場合だけでなく、$t \ll N^{1/2-\delta}$ となるような広い範囲で、$Z_t(N) \sim c_t(N) p(N)$ となることを示しました。

4. 意義 (Significance)

• 手法の革新: 円周法から鞍点法への転換により、$t$ が $N$ に依存して変化する状況下でも、より精密な誤差評価が可能になりました。
• 結果の一般化: Hagis の固定 $t$ の結果を、$t$ が $N$ の関数として変化する広範な領域（特に $t \approx \sqrt{N}$ 付近の遷移領域）に拡張しました。
• 明示的な誤差項: 漸近公式に $O(N^{-1/2})$ や指数関数的な誤差項を明示的に含めることで、数値計算や他の応用における信頼性を高めました。
• 組合せ論への応用: 対称群の表現論における指標のゼロの分布に関する理解を深め、既存の境界を改善しました。

総じて、この論文は分割関数の解析的数論における重要な進展であり、特にパラメータが変化する状況下での漸近挙動を統一的に扱うための強力な枠組みを提供しています。