Multiplicative functions additive on partitions of $2k$ nonzero squares

技术摘要：关于 $2k$ 个非零平方数划分上具有加性性质的乘性函数

问题陈述
本文研究了满足特定加性条件的乘性函数 $f: \mathbb{N} \to \mathbb{C}$ 的分类问题，该条件涉及将整数划分为 $2k$ 个非零平方数。具体而言，对于固定的整数 $k \ge 3$，研究重点在于满足以下条件的函数：
$$f\left( \sum_{i=1}^{2k} x_i^2 \right) = \sum_{j=1}^{k} f(x_{2j-1}^2 + x_{2j}^2)$$
对于所有正整数 $x_1, \dots, x_{2k}$ 均成立。

该问题被构架为对 Park [10] 结果的高阶类比，后者处理了 $k=2$（两对平方数之和）的情形。该条件等价于要求 $f$ 在集合 $E_2 = \{a^2 + b^2 : a, b \ge 1\}$（即两个非零平方数之和的集合）上是 $k$-加性的。核心问题在于：此类函数是否被迫为恒等函数（即 $f(n)=n$），或者是否存在非平凡的例外解。

方法论
分析依赖于 $f$ 的乘性性质与可表示为 $2k$ 个非零平方数之和的整数的加性结构之间的相互作用。研究过程分为三个主要阶段：

1. 可表示性结果： 证明利用了 Dubouis 关于整数表示为 $m$ 个非零平方数之和的定理 [4]。研究中对较小的 $k$ 与较大的 $k$ 进行了关键区分：

   • 对于 $k=2$，$2k$ 个平方数之和的集合排除了无限算术级数（例如 $\{2 \cdot 4^r, 6 \cdot 4^r, \dots\}$），这使得分析变得复杂。
   • 对于 $k \ge 3$，$2k$ 个非零平方数之和的集合包含了所有大于特定阈值的整数（具体而言，对于 $k=3$ 是所有 $n \ge 20$，对于 $k=4$ 是所有 $n \ge 22$）。这种“几乎所有”的性质允许使用强归纳法。

2. 基准情况评估： 对于特定的 $k$ 值，作者通过构造整数到 $E_2$ 元素的分解，来评估 $f$ 在特定小整数上的值。通过对同一整数的不同分解进行等值化（例如，将 $18 = 2+8+8$ 与 $18 = 2+2+14$ 进行对比），他们推导出了涉及 $f(2), f(3), f(5)$ 等值的方程组。非退化条件 $f(2) \neq 0$ 对于排除平凡零函数（即对于 $n>1$ 时 $f(n)=0$ 的函数）至关重要。

3. 归纳与渐近论证：

   • 对于 $k=3, 4$： 作者使用强归纳法。一旦在初始整数段内确立了 $f(n)=n$，任何大于该段的整数 $N$ 都可以表示为 $k$ 个来自 $E_2$ 的元素的和，且这些元素均严格小于 $N$。由此，$k$-加性条件强制要求 $f(N)=N$。
   • 对于 $k \ge 5$： 方法转向分析渐近行为。通过比较连续整数 $N$ 和 $N+1$ 的两种特定分解（利用 $12=2+10$ 和 $13=5+8$ 属于 $E_2+E_2$ 这一事实），作者表明 $f(N+1) - f(N)$ 在足够大的 $N$ 时趋于常数。这意味着 $f(n)$ 最终是线性的（即 $f(n) = cn+d$）。对大素数的乘性约束则迫使系数$(c,d)$只能是$(1,0)$（恒等函数）或$(0,0)$（零函数）。

主要贡献与结果

• 定理 1.1 ($k=3, 4$)： 若 $f$ 是满足 $k \in \{3, 4\}$ 条件的乘性函数且 $f(2) \neq 0$，则对于所有正整数 $n$，都有 $f(n) = n$。本文证明了导致唯一性失效的唯一障碍是 $f(2)$ 的消失，这允许了平凡零解的存在。
• 定理 1.2 ($k \ge 5$)： 若 $f$ 是乘性函数且满足该条件对于 $k \ge 5$，则 $f$ 必须要么是 $\mathbb{N}$ 上的恒等函数，要么对于所有 $n > 2k + 21$，$f(n) = 0$。
• 推论 5.1： 对于 $k \ge 5$，如果存在任何 $a > 2k + 21$ 使得 $f(a) \neq 0$，则 $f$ 是整个 $\mathbb{N}$ 上的恒等函数。

意义与主张
本文声称扩展了乘性函数加性唯一性集的范围。虽然之前的研究（Park [10]）已经确定了两个非零平方数之和构成一个 2-加性唯一集（带有特定例外），但本研究表明，对于更高的 $k$，$2k$ 个非零平方数之和构成了一个在温和的非退化条件下成立的 $k$-加性唯一集。

作者强调，从 $k=2$ 到 $k \ge 3$ 的转变是由整数可表示性的结构变化驱动的：对于 $k \ge 3$，$2k$ 个非零平方数之和的集合是余有限的（包含除有限个整数外的所有整数）。这一性质简化了分类过程，使得作者能够证明对于 $k=3,4$，恒等函数是唯一的非平凡解；并证明对于 $k \ge 5$，解最终必须退化为零或恒等函数。

论文指出，定理 1.2 中 $k=5$ 的阈值对于所采用的具体方法是尖锐的，因为该证明依赖于 $2(k-2)$ 个非零平方数的和集包含除有限个整数外的所有整数，而由于 Dubouis 定理中识别出的无限例外级数的存在，这一性质在 $k=4$ 时并不成立。