English

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

Number Theory 2026-06-28 v1

Abstract

For a fixed integer k3k \ge 3, we study the multiplicative functions f ⁣:NCf\colon\mathbb{N}\to\mathbb{C} satisfying f(i=12kxi2)=j=1kf(x2j12+x2j2) f\Bigl(\sum_{i=1}^{2k} x_i^2\Bigr) = \sum_{j=1}^{k} f\bigl(x_{2j-1}^2 + x_{2j}^2\bigr) for all positive integers x1,,x2kx_1,\dots,x_{2k}. This extends a theorem of Park on sums of two nonzero squares, which established the k=2k=2 case. For k=3k=3 and k=4k=4, we prove that every such ff with f(2)0f(2)\neq 0 is the identity function on N\mathbb{N}. For k5k \ge 5, we show that such a function ff must be either the identity function on N\mathbb{N}, or f(n)=0f(n) = 0 for all n>2k+21n > 2k + 21.

Keywords

Cite

@article{arxiv.2606.29507,
  title  = {Multiplicative functions additive on partitions of $2k$ nonzero squares},
  author = {Jewel Mahajan},
  journal= {arXiv preprint arXiv:2606.29507},
  year   = {2026}
}