Integrality of Averages of Roots of Unity and Perfect Isometries
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.31161
curl -X POST /api/v1/records/arxiv/2605.31161/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.31161/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'