Equality Cases in the Tu-Deng Conjecture Bound
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.12630
curl -X POST /api/v1/records/arxiv/2610.12630/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.12630/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'