Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples
Abstract
Let N≥2 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 ∑j=0p−1 XjN/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 establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.
Related
- Bergsma--Dassios sign covariance with ties: a nonnegative decomposition and sharp bounds
- An improved bound on the support diameter of nonnegative planar Euler vorticity
- Square-root logarithmic bounds for the arithmetic complexity of factorial multiples
- A Proof of the Erdős Matching Conjecture for Large Matchings via Sharp Tail Probability for Sums of i.i.d. Nonnegative Random Variables
- Sharp diameter estimates via integral geometry
BibTeX
@misc{tan2026sharp,
title = {{Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples}},
author = {Hu Tan and Ying Zhang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.07646},
eprint = {2609.07646},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.07646},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Sharp Diameter Bounds for Nonnegative Cyclotomic Multiples
AU - Hu Tan
AU - Ying Zhang
PY - 2026
DA - 2026/09/07
PB - arXiv
DO - 10.48550/arxiv.2609.07646
UR - https://arxiv.org/abs/2609.07646
AB - Let N≥2 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 ∑_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 establish the Coven--Meyerowitz diameter bound under their tiling conditions and determine its equality cases. Longer initial intervals of vanishing Fourier coefficients yield stronger diameter bounds, including an explicit refinement in terms of the prime-power divisor sets. The extremal trigonometric polynomial also yields a quantitative concentration estimate for measures and cyclotomic multiples with near-minimal support diameter.
ER -