{"id":"arxiv/2609.01570","url":"https://arxiv.org/abs/2609.01570","tags":["math.NT"],"score":0,"title":"A Proof of Fraenkel's Conjecture","domain":"math.NT","source":"arxiv","authors":["Hu Tan","Ying Zhang"],"reviews":0,"subject":"math.NT","summary":"Fraenkel's conjecture asserts that a partition of the integers into at least three Beatty sequences with distinct moduli has the binary densities $1,2,4,\\ldots,2^{m-1}$, normalized by $2^m-1$. We prove the conjecture through a dimension-free intermediate statement: every such partition contains a component of density at least 1/3. After reducing the partition to primitive common-period data, Fourier cancellation produces a finite inverse-sine system. We prove that no such system can exist when every density is below 1/3. The proof combines a divisor-concentration identity with uniform…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-01","reactions":{}}