Large Deviations for the d'Arcais Numbers

技術要約：d'Arcais数の大偏差理論

問題設定
本論文は、d'Arcais多項式 $P_n(z)$ の係数の漸近挙動を調査するものである。これらの多項式は、以下の母関数を通じて定義される：
$$\sum_{n=0}^{\infty} P_n(z) q^n = \exp\left(-z \ln((q; q)_\infty)\right)$$
ここで $(q; q)_\infty = \prod_{k=1}^\infty (1-q^k)$ は $q$-ポッホハマー記号である。係数は $P_n(z) = \sum_{k=1}^n A(2, n, k) z^k / n!$ で与えられる。主要な研究対象は、正規化された係数列 $a(n, k) = k! A(2, n, k) / n!$ である。

この研究は、固定された軌道サイズを持つ $[n]$ の置換の $\ell$-組の交換可換性に関するAbdesselamの最近の結果に動機付けられている。Abdesselamは、「典型的な領域」（軌道サイズが $x\sqrt{n}$ とスケールする領域）における局所中心極限定理（LCLT）と対数凹性を確立したが、本論文は大偏差領域に焦点を当てている。具体的には、$n \to \infty$ において $k_n/n \to \kappa \in [0, 1)$ かつ $k_n \to \infty$ となる場合の $a(n, k)$ の漸近挙動を分析する。

手法
証明は、コーシーの積分公式に適用された鞍点法（具体的にはHayman版）に基づいている。著者らは、d'Arcais数の母関数の構造を利用しており、これらは豊富指数（abundancy index）$\sigma(n)/n$ のベル変換として特定される。

主要な技術的ステップは以下の通りである：

1. 母関数の解析： 著者らは、豊富指数の母関数の関係にある関数 $F(y) = -\ln((e^{-y}; e^{-y})_\infty)$ を定義する。彼らは、Dedekindのイータ関数から導かれるモジュラー対称性を利用して、$F(y)$ の性質、その導関数、およびその性質を分析する。
2. 輪郭積分： $a(n, k)$ は以下の輪郭積分として表される：
   $$a(n, k) = \frac{1}{2\pi i} \oint z^{-n} \exp\left(k \ln(-\ln((z; z)_\infty))\right) dz$$
   積分路は、半径 $e^{-y}$ の円であり、ここで $y$ は鞍点方程式を満たすように選択される。
3. 主要弧（Major Arcs）と副弧（Minor Arcs）： ハーディ・ラマヌジャンの円法に従い、積分を「主要弧」（$\theta=0$ の近傍）と「副弧」に分割する。
   • 主要弧： 被積分関数をテイラー展開を用いて展開する。著者らは、$y \to 0^+$ における係数と誤差項の一様境界を確立するために、$y=0$ における特異点を扱うための $F(y)$ のモジュラー対称性を利用する。
   • 副弧： 副弧からの寄与が主要弧に対して指数関数的に小さいことを示すために、一様境界を導出する。これには、豊富指数に関連する確率測度 $\rho_n(y)$ を用いて、$1 - |F(y-i\theta)|^2/F(y)^2$ の下限を証明することが含まれる。
4. ルジャンドル・フェンシェル変換： 大偏差レート関数は、$f(y) = \ln(F(y))$ の逆関数から導かれる特定の関数 $g$ のルジャンドル・フェンシェル変換として特定される。

主要な貢献と結果

1. Bahadur-Rao型の大偏差公式：
   主要な結果（定理3.1）は、$n \to \infty$ かつ $k_n/n \to \kappa \in [0, 1)$ および $k_n \to \infty$ の場合の $a(n, k_n)$ に関する漸近公式を与える：
   $$\frac{k_n! A(2, n, k_n)}{n!} \sim \frac{\exp(k_n \ln(F(y_n)) + n y_n)}{\sqrt{2\pi k_n \left( \frac{F''(y_n)}{F(y_n)} - \left(\frac{F'(y_n)}{F(y_n)}\right)^2 \right)}}$$
   ここで、$y_n$ は $-F'(y_n)/F(y_n) = 1/\kappa_n$ （ただし $\kappa_n = k_n/n$）を満たす唯一の解である。

2. 大偏差領域における対数凹性：
   系（系3.2）は、この領域において十分大きな $n$ に対して数列 $a(n, k)$ が対数凹であることを確立している。具体的には、比 $\frac{a(n, k)^2}{a(n, k-1)a(n, k+1)}$ は正であり、$y_n$ と $n$ の特定の関数に漸近的に等価であることが示されている。これは、以前は典型的な領域（$k \sim \sqrt{n}$）においてのみ知られていた対数凹性の結果を、大偏差領域へと拡張するものである。

3. レート関数の非対称性：
   本論文は、レート関数が非対称であることを証明している。これは、$F(y)F(y + \ln(F(y)))$ が恒等的に1ではないことを示すことで実証される。この条件は対称性に必要となるものである。この非対称性は、Dedekindのイータ関数の特定のモジュラー特性に関連している。

4. 豊富指数との関連：
   著者らは、d'Arcais数を $\sigma(n)/n$ のベル変換として明示的に関連付けている。漸近解析は、豊富指数の母関数の解析的性質、すなわち $F(y)$ に大きく依存している。

意義と範囲
本論文は、$\ell=2$（置換のペア）の場合の対数凹性の代替的な導出を提供していると主張しており、これはAbdesselamのLCLTの結果とは異なる領域である。著者らは、$\ell=2$ の場合、関連する母関数が（Dedekindのイータ関数を介して）モジュラー対称性を有しており、それがこれらの漸近挙のは導出を容易にしていると述べている。

著者らは、結果の範囲について慎重な姿勢をとっている：

• 彼らは厳密に $\ell=2$ に焦点を当てている。$\ell > 2$ の場合、Abdesselamは典型的な領域に関する結果を持っているが、$\ell > 2$ の大偏差領域は、潜在的な準モジュラー性の理解を必要とする未解決の問題であるとして、結果の拡張を行っていない。
• 彼らは、自身の結果が $k/n \to \kappa < 1$ の領域をカバーしていることを認めている。これは、Tripathiによって扱われた $n-k$ がオーダー1である境界ケースや、$k/n \to 1$ となる領域は現在の範囲外である。
• 本研究は、ファレー分数を必要としない円法の自己完結的な応用として機能しており、豊富指数を直接扱う際に必要となるより複雑な装置とは対照的である。また、付録におけるHardy-Ramanujanの分割公式への準備運動としての役割も果たしている。

要約すると、本論文はd'Arcais数の精密な大偏差漸近公式を確立し、この領域における対数凹性を証明し、これらの組合せ論的問題におけるモジュラー対称性の役割を浮き彫りにしつつ、高次の交換可換な組への一般化については今後の課題としている。