{"id":"arxiv/2606.24972","url":"https://arxiv.org/abs/2606.24972","tags":["math.NT"],"score":0,"title":"Sparse Polynomial-Weighted Expansions","domain":"math.NT","source":"arxiv","authors":["Han Wang"],"reviews":0,"subject":"math.NT","summary":"Let $b\\ge2$ be an integer, let $p\\in\\mathbb{Q}[x]$ be nonzero, and let $S\\subseteq\\mathbb{N}$ be infinite. We prove that if $\\sum_{n\\in S}p(n)b^{-n}$ is rational, then, for every fixed $0 0$ such that $|S\\cap(N,N+W]|\\ge cW$ for all sufficiently large $N$ and every $N^θ\\le W\\le N$. Thus rationality forces positive lower density; if $S=\\{a_1<a_2<\\cdots\\}$ and $d=°p$, it also forces $a_{j+1}-a_j\\le d\\log_ba_j+O(1)$. In the binary linear case, the result implies the irrationality conjectured by Erdős whenever $a_j/j\\to\\infty$. The proof turns rationality into an integer carry orbit of polynomial…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-23","reactions":{}}