Exponential sums over Möbius convolutions with applications to partitions

这是一篇关于解析数论中**带权分拆（Weighted Partitions）与指数和（Exponential Sums）**的学术论文。作者 Debmalya Basak, Nicolas Robles 和 Alexandru Zaharescu 研究了由莫比乌斯卷积（Möbius convolutions）作为权重的分拆函数，并建立了其上界估计和渐近公式。

以下是对该论文的详细技术总结：

1. 研究问题与背景 (Problem & Motivation)

• 核心问题：研究正整数 $n$ 的“可容许分拆”（admissible partitions）。

  • 定义：将 $n$ 分拆为若干部分，其中每个部分必须是无平方因子数（squarefree numbers）。
  • 分类：
    • 蓝色部分 (Blue, $B$)：具有偶数个素因子的无平方因子数（$\mu(n)=1$）。
    • 红色部分 (Red, $R$)：具有奇数个素因子的无平方因子数（$\mu(n)=-1$）。
  • 限制条件：红色部分在分拆中最多只能出现一次（即不能重复），而蓝色部分可以重复。
  • 目标：比较“偶数可容许分拆”（使用偶数个红色部分）与“奇数可容许分拆”（使用奇数个红色部分）的数量。
  • 具体问题：当 $n \to \infty$ 时，这两种分拆的数量是否渐近相等？即它们的差值是否相对于总数可以忽略不计？

• 数学模型：
  作者引入生成函数 $\Psi_w(z) = \sum p_w(n)z^n = \prod_{n=1}^\infty (1-z^n)^{-w(n)}$。

  • 当权重 $w(n) = \mu(n)$ 时，$p_\mu(n)$ 恰好等于偶数可容许分拆数 $E(n)$ 与奇数可容许分拆数 $O(n)$ 之差：$p_\mu(n) = E(n) - O(n)$。
  • 更一般地，作者考虑权重为莫比乌斯函数的 $k$ 次狄利克雷卷积 $w(n) = \mu_k(n) = (\mu * \dots * \mu)(n)$ 的情况。

2. 方法论 (Methodology)

论文主要采用了 Hardy-Littlewood 圆法 (Hardy-Littlewood Circle Method)，并结合了以下关键技术：

1. 圆法分解：

   • 将单位圆上的积分分为主弧 (Major Arcs) 和 次弧 (Minor Arcs)。
   • 主弧：对应于有理数 $a/q$ 附近的区域，利用 $L$-函数和黎曼 $\zeta$ 函数的性质进行分析。
   • 次弧：对应于无理数或分母较大的有理数区域，需要证明其贡献远小于主弧。

2. 指数和估计 (Exponential Sums)：

   • 为了控制次弧的贡献，作者必须估计形如 $S_{\mu_k}(X, \alpha) = \sum_{n \le X} \mu_k(n) e(n\alpha)$ 的指数和。
   • 使用了 Vaughan 恒等式 和 狄利克雷卷积分解（Type I 和 Type II 估计）。
   • 利用 Koukoulopoulos 关于指数和的引理，结合 Weyl 不等式 和 Hua 不等式 的推广形式。
   • 针对不同的 $k$ 值（特别是 $k=2$），通过递归和参数优化（如选择 $U, V$ 等截断参数）来获得最优的上界。

3. 显式公式 (Explicit Formula)：

   • 在主弧分析中，作者推导了一个涉及黎曼 $\zeta$ 函数非平凡零点 $\rho$ 的显式公式。
   • 通过围道积分（Contour Integration）和留数定理，将生成函数的对数 $\Phi(z)$ 展开，其中包含了 $\zeta(s)$ 的零点项、平凡零点项以及主项。

4. 无条件的上界 (Unconditional Bounds)：

   • 在证明过程中，作者使用了 Ramachandra, Sankaranarayanan 和 Inoue 关于 $\zeta(s)$ 在临界带内无条件的上界估计，以避免依赖黎曼猜想。

3. 主要结果 (Key Results)

A. 分拆函数的渐近行为 (Theorems 1.1 & 1.2)

• 定理 1.1：当 $n \to \infty$ 时，偶数可容许分拆的数量渐近于奇数可容许分拆的数量。
  • 这意味着 $E(n) \sim O(n)$，或者说 $p_\mu(n) = E(n) - O(n)$ 的增长速度远小于 $E(n) + O(n)$。
• 定理 1.2：对于 $w(n) = (\mu * \mu)(n)$（即 $k=2$ 的情况），证明了分拆函数 $p_{\mu*\mu}(n)$ 的对数上界：
  $$\log p_{\mu*\mu}(n) = O_B\left( \frac{\sqrt{n}}{(\log n)^B} \right)$$
  对于任意固定的 $B > 0$ 成立。
  • 推论：由于 $p_\mu(n)$ 的增长极慢（相对于总分拆数 $A(n)$ 的指数级增长），这直接证明了 $E(n)$ 和 $O(n)$ 的渐近相等性。

B. 指数和的上界 (Theorems 1.4 - 1.7)

这是论文的另一大核心贡献，提供了关于莫比乌斯卷积扭曲的指数和的精细上界：

• 定理 1.4：给出了 $S_\mu(X, \alpha)$ 的上界，形式为 $X^{4/5+\epsilon} + \dots$。
• 定理 1.5：推广到 $k$ 次莫比乌斯卷积 $\mu_k$。通过递归定义序列 $a_k, b_k, c_k$，给出了 $S_{\mu_k}(X, \alpha)$ 的上界：
  $$S_{\mu_k}(X, \alpha) \ll_\epsilon X^{a_k+\epsilon} + \frac{X(\log X)^{k^2}}{q^{b_k}} + X^{c_k}q^{1-c_k}(\log X)^{k^2}$$
  其中 $a_k, b_k, c_k$ 是随 $k$ 变化的常数。
• 定理 1.6 & 1.7：进一步研究了莫比乌斯函数与完全平方数指示函数及无平方因子数指示函数的卷积所产生的指数和估计。

C. 显式公式 (Theorem 1.3)

• 给出了 $\Phi_{\mu*\mu}(\rho e(\theta))$ 的显式展开式，该公式包含：
  • 主项：涉及 $\log X$ 和常数。
  • 黎曼 $\zeta$ 函数非平凡零点 $\rho$ 的贡献项（求和项）。
  • 平凡零点（负偶数）的贡献项。
  • 这是一个类似于素数计数函数 $\psi(x)$ 的显式公式，但在分拆理论的背景下。

4. 创新点与意义 (Significance)

1. 解决了一个具体的算术分拆问题：
   论文首次严格证明了在特定权重（莫比乌斯函数）下，偶数分拆与奇数分拆的数量在渐近意义下是相等的。这解决了引言中提出的关于“蓝色”和“红色”部分分布的直观猜想。

2. 处理了负权重带来的困难：
   与以往研究正权重分拆（如 Meinardus 定理）不同，莫比乌斯函数取正值和负值。这导致生成函数没有主导的主项（Main Term），其渐近行为主要由误差项控制。作者证明了这种“抵消”效应使得分拆数的对数增长远慢于标准分拆函数。

3. 指数和估计的突破：
   论文建立了一系列关于莫比乌斯卷积的指数和上界（Theorems 1.4-1.7）。这些结果不仅服务于分拆问题，本身也是解析数论中关于算术函数分布的重要独立成果，特别是对于 $k \ge 2$ 的高阶卷积情况。

4. 与黎曼猜想的联系：
   虽然主要结果是条件无关的（Unconditional），但论文中的显式公式（Theorem 1.3）清晰地展示了分拆函数的行为与黎曼 $\zeta$ 函数零点分布的深刻联系。如果黎曼猜想成立，这些估计可能会进一步改进。

5. 方法论的推广：
   作者展示了如何将圆法应用于具有振荡权重（Oscillatory weights）的生成函数，并成功处理了由莫比乌斯函数引起的复杂抵消现象。

总结

这篇论文通过结合 Hardy-Littlewood 圆法、精细的指数和估计以及黎曼 $\zeta$ 函数的解析性质，成功解决了关于莫比乌斯加权分拆的渐近问题。它不仅证明了偶数与奇数可容许分拆的渐近相等性，还建立了一套处理莫比乌斯卷积相关指数和的通用框架，为研究更广泛的算术分拆问题提供了强有力的工具。