# Equality Cases in the Tu-Deng Conjecture Bound

Preprint · Thomas W. Cusick

- Archive id: arxiv:2610.12630
- Published: 2026-10-08
- arXiv: https://arxiv.org/abs/2610.12630
- Source URL: https://arxiv.org/abs/2610.12630
- PDF: https://arxiv.org/pdf/2610.12630
- Provenance: arxiv

## Abstract

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 necessary and sufficient conditions, including a forbidden-pattern condition, a packing condition for the zero positions, a composition condition for the gaps, and equivalent conditions involving the coefficients of the polynomial $H\_W(u,v)$ in the proof of the Tu-Deng conjecture. We also count the equality words having a prescribed number of zeros.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.