{"id":"arxiv/2605.31161","url":"https://arxiv.org/abs/2605.31161","tags":["math.NT","math.RT"],"score":0,"title":"Integrality of Averages of Roots of Unity and Perfect Isometries","domain":"math.NT","source":"arxiv","authors":["Chatchawan Panraksa","Pornrat Ruengrot"],"reviews":0,"subject":"math.NT","summary":"We establish a criterion for the integrality of averages of roots of unity and apply it to settle a conjecture regarding the linearity of functions on $\\mathbb{Z}_n$. Specifically, we prove that for any modulus $n \\ge 1$, if a function $f: \\mathbb{Z}_n \\to \\mathbb{Z}_n$ satisfies that the averages $\\frac{1}{n} \\sum_{x=0}^{n-1} ω^{f(x)+bx}$ (where $ω=e^{2πi/n}$) are algebraic integers for all $b \\in \\mathbb{Z}_n$, then $f$ is necessarily linear modulo $n$. This provides a short, elementary proof that works uniformly for all $n$ and avoids the finite-field machinery used in previous partial…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-29","reactions":{}}