{"id":"arxiv/2609.07646","url":"https://arxiv.org/abs/2609.07646","tags":["math.NT","math.CO"],"score":0,"title":"Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples","domain":"math.NT","source":"arxiv","authors":["Hu Tan","Ying Zhang"],"reviews":0,"subject":"math.NT","summary":"Let \\(N\\ge2\\) and let \\(p\\) be its least prime divisor. We prove that every nonzero polynomial with nonnegative real coefficients divisible by \\(Φ_N\\) has support diameter at least \\((p-1)N/p\\). Equality holds precisely for positive scalar multiples of monomial shifts of the \\(p\\)-term geometric sum \\(\\sum_{j=0}^{p-1} X^{jN/p}\\), thereby proving a conjecture of Steinberger. The proof turns cyclotomic divisibility into the vanishing of the first \\(p-1\\) Fourier moments of a positive measure on the circle and then applies a classical extremal trigonometric polynomial. As a consequence, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}