{"id":"arxiv/2610.12630","url":"https://arxiv.org/abs/2610.12630","tags":["math.CO"],"score":0,"title":"Equality Cases in the Tu-Deng Conjecture Bound","domain":"math.CO","source":"arxiv","authors":["Thomas W. Cusick"],"reviews":0,"subject":"math.CO","summary":"The Tu-Deng Conjecture, made in 2011, asserts that for $k\\geq2$ and $1\\leq t<2^k-1$, the set \\[ S_{t,k}=\\left\\{(a,b)\\in\\{0,1,\\ldots,2^k-2\\}^2: a+b\\equiv t\\pmod{2^k-1},\\quad \\wt(a)+\\wt(b)<k\\right\\} \\] satisfies \\[ |S_{t,k}|\\leq 2^{k-1}. \\] Proofs of the conjecture were given independently by the author and by Liu, Luo and Xie in arXiv in 2026. Let $r=\\wt(t)$, and let $z=k-r$ be the number of zeros in the $k$-bit expansion of $t$. We prove that equality holds in the Tu-Deng Conjecture if and only if every cyclic distance between consecutive zeros is at least $z$. We give several other simple…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-08","reactions":{}}