{"id":"arxiv/2608.05187","url":"https://arxiv.org/abs/2608.05187","tags":["math.CO","cs.IT"],"score":0,"title":"A Complete Proof for Tu-Deng Conjecture","domain":"math.CO","source":"arxiv","authors":["Renzhang Liu","Hengyi Luo","Tianyuan Xie"],"reviews":0,"subject":"math.CO","summary":"Let $N=2^k-1$ and let $\\operatorname{wt}(n)$ denote the binary Hamming weight. The Tu-Deng conjecture asserts that, for every $1\\le t\\le N-1$, at most $2^{k-1}$ pairs $(a,b)\\in\\{0,\\ldots,N-1\\}^2$ satisfy $a+b\\equiv t\\pmod N$ and $\\operatorname{wt}(a)+\\operatorname{wt}(b)<k$. Partial results are known. We give a complete proof of this conjecture. We first show that the Tu-Deng counts equals the number of cyclic carry solutions for which $\\operatorname{wt}(B)-\\operatorname{wt}(A)<0$ and $A+t\\equiv B\\pmod N$. The enumerator of the cyclic carry solutions factors as $$C_v =…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}