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$-Pochhammer 符号。这些数是与丰度指数 $\sigma_{-1}(n)$ 相关的组合对象，并可以通过 Bell 变换进行解释，或被解释为计数置换的交换元组。

研究的核心在于 $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$ 的行为则需要不同的分析方法。

方法论
本文采用了两种互补的方法来推导并验证渐近公式：

1. 启发式圆法（Heuristic Circle Method）： 作者利用 Hardy-Ramanujan 圆法作为启发式引导。通过分析生成函数 $F(t) = -\ln((e^{-t}; e^{-t})_{\infty})$ 并利用 Dedekind eta 函数 $\eta(\tau)$ 的模对称性，本文识别了来自 Farey 分数附近“大弧”（major arcs）的主导贡献。这种启发式方法表明，渐近行为受 Ramanujan 和（Ramanujan sums）和除数函数支配，从而导出了 $\alpha(n, k)$ 的一个假设形式（ansatz）。

2. 严格的算术卷积分析： 为了在不依赖于完整的 Rademacher 分解的情况下严格证明这些公式，本文改编了来自 Ramanujan、Ingham、Halberstam 以及近期 Oliver、Shrestha 和 Thorne 的方法。证明的核心在于分析函数 $\sigma_{-1}(n)$ 的 $k$ 重算术卷积。证明过程依赖于：

   • 在算术级数上估计形式为 $\sum k^{\alpha-1}(n-k)^{\beta-1}$ 的和，并使用 Beta 积分。
   • 利用 Dirichlet 级数的性质以及恒等式 $\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)$$
  这一结果推广了 Ramanujan 在其论文《论某些算术函数》（On Certain Arithmetical Functions）中发现的一个公式。

• 对数凹性猜想的解决： 本文通过分析比率 $R(n, k) = \frac{(\alpha(n, k))^2}{\alpha(n, k-1)\alpha(n, k+1)}$ 来测试 Heim-Neuhauser 猜想。

  • 情况 $k=2$： 该猜想是错误的。该比率的下极限为 0：
    $$\liminf_{n \to \infty} \frac{(\alpha(n, 2))^2}{\alpha(n, 1)\alpha(n, 3)} = 0$$
    这是因为涉及 $\zeta(2k-3)$ 的项在 $k=2$ 时变为 $\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$，该序列在渐近意义上是逻辑凹的。

意义与主张
本文声称提供了一个关于除数和及其卷积渐近性的“略微推广的版本”，即 Ramanujan 公式。其主要贡献在于严格推导了小固定 $k$ 情况下 d'Arcais 数的渐近行为，在这一领域，之前的关于大偏差（$k \to \infty$ 时有效）的公式是不够充分的。

作者明确指出，这些结果是近期 Oliver、Shrestha 和 Thorne 工作在适配于 d'Arcais 数特定语境下的“直接推论”。本文并未声称提供关于使渐近行为成立所需的 $n$ 大小的显式界限（不同于 Hong 和 Zhang 关于 Okounkov-Nekrasov 多项式的工作），而是提供了对数凹性比率下极限的显式公式。

这项工作旨在澄清 d'Arcais 数在“小 $k$”情形下的行为，纠正了认为 Heim-Neuhauser 对数凹性猜想对所有 $k$ 均成立的假设，同时确认了其在 $k \geq 3$ 时在渐近极限下的有效性。作者指出，将这些渐近技术扩展到 $\ell \geq 3$（一般的多维情况）仍是一个开放问题，因为这可能需要绕过模形式或利用广义 Meinardus 定理。