{"id":"arxiv/2608.14821","url":"https://arxiv.org/abs/2608.14821","tags":["math.CO","cs.IT"],"score":0,"title":"Proof of the TuDeng Conjecture","domain":"math.CO","source":"arxiv","authors":["Thomas W. Cusick"],"reviews":0,"subject":"math.CO","summary":"We give a complete proof of the 2011 Tu--Deng conjecture. We begin from its original modular pair-count formulation, prove an equivalent cyclic Hamming weight-drop formulation, and establish the exact transfer identity that connects this count with a two-variable matrix polynomial. The proof then reduces the conjecture to normalized inequalities for the coefficients of that polynomial. A 2011 conjecture by the author which came to be called the Cusick Conjecture (it is a consequence of the Tu--Deng Conjecture) was proved by K. Cheng in 2026. The proof in the present paper extends the cyclic…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}