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

技術要約：$2k$ 個の非ゼロ平方数の分割に対して加法的な乗法的関数

問題設定
本論文は、特定の整数 $k \ge 3$ に対して、以下の条件を満たす乗法的関数 $f: \mathbb{N} \to \mathbb{C}$ の分類を調査する。この条件は、$2k$ 個の非ゼロ平方数の分割に関する加法性を規定するものである：
$$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] による結果（2つの平方数のペアの和、すなわち $k=2$ の場合）の高次アナロジーとして位置づけられている。この条件は、$f$ が $E_2 = \{a^2 + b^2 : a, b \ge 1\}$（2つの非ゼロ平方数の和の集合）上の $k$-加法的であることを要求することと同値である。中心となる問いは、このような関数が恒等関数 ($f(n)=n$) に強制されるのか、あるいは非自明な例外解が存在するのかという点である。

手法
分析は、乗法的性質と、$2k$ 個の非ゼロ平方数の和として表される整数の加法的構造との相互作用に基づいている。手法は主に以下の3つの段階で進行する：

1. 表現可能性の結果： 証明には、$m$ 個の非ゼロ平方数の和としての整数の表現に関する Dubouis の定理 [4] を用いる。ここでは、$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$ の場合： 著者らは強帰納法を用いる。ある整数 $N$ が $E_2$ の要素 $k$ 個の和として、自身よりも厳密に小さい要素を用いて書けることが示された初期セグメントにおいて $f(n)=n$ が確立されれば、そのセグメント以降の任意の整数 $N$ についても $f(N)=N$ が強制される。
   • $k \ge 5$ の場合： アプローチは漸近的挙動の分析へと移行する。連続する整数 $N$ と $N+1$ の特定の分解を比較することで（$12=2+10$ および $13=5+8$ が $E_2+E_2$ に属することを利用）、十分大きな $N$ に対して $f(N+1) - f(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$ は恒等関数であるか、あるいは $n > 2k + 21$ に対して $f(n) = 0$ である。
• 系 5.1： $k \ge 5$ において、もし $a > 2k + 21$ となる $a$ が存在して $f(a) \neq 0$ ならば、$f$ は $\mathbb{N}$ 全体における恒等関数である。

意義と主張
本論文は、乗法的関数に対する加法的一意性集合の範囲を拡張することを主張している。先行研究（Park [10]）は、2つの非ゼロ平方数の和が（特定の例外を除いて）2-加法的一意性集合を形成することを確立したが、本研究は、より高い $k$ において、$2k$ 個の非ゼロ平方数の和が、緩やかな非退化条件の下で $k$-加法的一意性集合として機能することを実証している。

著者らは、$k=2$ から $k \ge 3$ への移行が、整数の表現可能性における構造的な変化によって駆動されていることを強調している。すなわち、$2k$ 個の非ゼロ平方数の和の集合は、$k \ge 3$ において余有限（有限個を除いてすべての整数を含む）となる。この性質が分類を簡素化し、$k=3, 4$ において恒等関数が唯一の非自明な解であることを証明させ、また $k \ge 5$ において解が最終的に零または恒等関数へと退化することを可能にしている。

定理 1.2 における閾値 $k=5$ は、用いた特定の手法において鋭い（sharp）ものであると論文内で述べられている。なぜなら、その証明は $2(k-2)$ 個の非ゼロ平方数の和集合が有限個を除いてすべての整数を含むという性質に依存しており、この性質は Dubouis の定理によって示された無限の例外的な級数の存在により、$k=4$ では成立しないためである。