Asymptotics of the d'Arcais Numbers at Small $k$

技術要約：小さい $k$ における d'Arcais 数の漸近挙動

問題提起
本論文は、以下の母関数によって定義される三角配列である d'Arcais 数 $A(2, n, k)$ の漸近挙動を調査する：
$$\sum_{n=0}^{\infty} \sum_{k=0}^{n} A(2, n, k) \frac{x^k z^n}{n!} = ((z; z)_{\infty})^{-x}$$
ここで $(z; z)_{\infty} = \prod_{n=1}^{\infty} (1 - z^n)$ は無限 $q$-ポッホハマー記号である。これらの数は、豊富指数 $\sigma_{-1}(n)$ と関連する組合せ論的な対象であり、ベル変換（Bell transform）や置換の可換なタプルの計数として解釈できる。

主な焦点は、$k$ が固定され $n \to \infty$ となる領域にある。具体的には、正規化された数 $\alpha(n, k) = k! A(2, n, k) / n!$ の漸近比を扱う。この調査は、Heim および Neuhauser による数列 $k \mapsto A(2, n, k)$ の対数凹性に関する予想に動機付けられている。この予想は、$A(2, n, k)/A(2, n, k-1) \geq A(2, n, k+1)/A(2, n, k)$ であることを提唱している。著者および Abdesselam による先行研究では、中心極限定理を用いた「典型的領域」（$k \sim \sqrt{n}$）における対数凹性が確立されているが、小さい固定された $k$ に対する挙動には異なる解析が必要であった。

手法
本論文は、漸近公式を導出し検証するために、2つの補完的なアプローチを採用している：

1. ヒューリスティックな円法（Circle Method）: 著者は、漸近的な指針としてハーディ・ラマヌジャン円法を利用する。母関数 $F(t) = -\ln((e^{-t}; e^{-t})_{\infty})$ を分析し、デデキント・エータ関数 $\eta(\tau)$ のモジュラー対称性を活用することで、ファレー数列の分数付近における「主要弧（major arcs）」からの支配的な寄与を特定する。このヒューリスティックな手法は、漸近挙動がラマヌジャン和と約数関数によって支配されることを示唆しており、$\alpha(n, k)$ に対する仮説（ansatz）を導き出す。

2. 厳密な算術畳み込み解析: ラデマッハー展開に完全には依存せずに公式を厳密に証明するために、ラマヌジャン、イングハム、ハルバーシュタット、そしてより最近の Oliver、Shrestha、Thorne の手法を適応させる。証明の核心は、関数 $\sigma_{-1}(n)$ の $k$ 重算術畳み込みの分析にある。証明は以下に基づいている：

   • ベータ積分を用いた、算術級数上の和 $\sum k^{\alpha-1}(n-k)^{\beta-1}$ の推定。
   • ディリクレ級列の性質、および恒等式 $\sum_{(m,n)=1} m^{-r}n^{-s} = \zeta(r)\zeta(s)/\zeta(r+s)$ の利用。
   • $k$ 重畳み込みの漸近等価性を確立するための、$k$ に関する帰納的な議論。

主要な結果

• 固定された $k$ に対する漸近公式: 本論文は、$k \geq 2$ で固定されたとき、$n \to \infty$ において以下が成立することを証明する：
  $$\alpha(n, k) \sim \frac{(\zeta(2))^k}{\Gamma(k)\zeta(2k)} \frac{\sigma_{2k-1}(n)}{n^k} = \frac{(\zeta(2))^k}{\Gamma(k)\zeta(2k)} n^{k-1} \sigma_{-2k+1}(n)$$
  この結果は、ラマヌジャンの論文 "On Certain Arithmetical Functions" に見られる公式を一般化したものである。

• 対数凹性予想の解決: 本論文は、Heim-Neuhauser 予想を検証するために比 $R(n, k) = \frac{(\alpha(n, k))^2}{\alpha(n, k-1)\alpha(n, k+1)}$ を分析する。

  • $k=2$ の場合: 予想は偽である。比の下限は 0 である：
    $$\liminf_{n \to \infty} \frac{(\alpha(n, 2))^2}{\alpha(n, 1)\alpha(n, 3)} = 0$$
    これは、項 $\zeta(2k-3)$ が $\zeta(1)$ となり、それが発散するためである。
  • $k \geq 3$ の場合: 十分に大きな $n$ に対して予想は真である。比の下限は 1 よりも厳密に大きい：
    $$\liminf_{n \to \infty} \frac{(\alpha(n, k))^2}{\alpha(n, k-1)\alpha(n, k+1)} = \frac{k}{k-1} \cdot \frac{\zeta(2k+2)\zeta(2k-2)}{(\zeta(2k))^2} \cdot \frac{(\zeta(2k-1))^2}{\zeta(2k-3)\zeta(2k+1)} > 1$$
    証明により、数列は $k \geq 3$ において漸近的に対数凹であることが示された。

意義と主張
本論文は、約数和とその畳み込みの漸近に関するラマヌジャンの公式の「わずかに一般化されたバージョン」を提供していると主張している。その主要な貢献は、小さい固定された $k$ における d'Arcais 数（これまでの大偏差公式は $k \to \infty$ で有効であった）の漸近挙動を厳密に導出したことにある。

著者は、結果が Oliver、Shrestha、Thorne による最新の研究から、d'Arcais 数という特定の文脈に適応させた「直接的な帰結」であることを明言している。本論文は、Okounkov-Nekrasov 多項式に関する Hong と Zhang の研究とは異なり、漸近挙動が成立するために必要な $n$ の大きさに関する明示的な境界は提供しておらず、むしろ下限比の明示的な公式を提供している。

本研究は、d'Arcais 数が「小さい $k$」の領域でどのように振る舞うかを明らかにし、Heim-Neuhauser の対数凹性予想がすべての $k$ に対して普遍的に成り立つという仮定を修正すると同時に、$k \geq 3$ においてはその妥当性を確認するものである。著者は、これらの漸近的手法を $\ell \geq 3$（一般的な多次元の場合）へ拡張することは、モジュラー形式を回避するか、あるいは一般化されたマイナードゥス（Meinardus）定理を利用する必要があるため、依然として未解決の問題であると述べている。