{"id":"arxiv/2607.01438","url":"https://arxiv.org/abs/2607.01438","tags":["math.CO","cs.DM"],"score":0,"title":"Annihilation, Independence, and Residue: Sharp Matching Bounds for the Annihilation Gap and a TxGraffiti Application","domain":"math.CO","source":"arxiv","authors":["Ohr Kadrawi","Vadim E. Levit"],"reviews":0,"subject":"math.CO","summary":"Let $G$ be a finite simple graph. The annihilation number $a(G)$ is an efficiently computable upper bound on the independence number $α(G)$. We develop a sharp matching-number theory for the gap $a(G)-α(G)$. The strongest general theorem is the exact closed form \\[a(G)-α(G)\\leq 2μ(G)+1- \\lceil \\sqrt{6 μ(G)} \\rceil \\qquad(μ(G)\\geq 1), \\] and the bound is attained for every prescribed matching number. We also prove sharp matching-dependent bounds for forests, bipartite graphs, and König-Egerváry graphs, with equality constructions, equality certificates, and equality criteria. Finally, we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-01","reactions":{}}