{"id":"arxiv/2609.34910","url":"https://arxiv.org/abs/2609.34910","tags":["cs.IT","math.CO"],"score":0,"title":"A proof of the generalized packing-covering conjecture","domain":"cs.IT","source":"arxiv","authors":["Gianira N. Alfarano","Giuseppe Marino","Alessandro Neri","Rocco Trombetti"],"reviews":0,"subject":"cs.IT","summary":"The generalized packing--covering conjecture of Elimelech, Firer and Schwartz asserts that, for every linear code $\\mathcal{C}$ and every admissible order $t$, the $t$-th generalized Hamming weight $d_t(\\mathcal{C})$ and the $t$-th generalized covering radius $R_t(\\mathcal{C})$ satisfy $d_t(\\mathcal{C})\\le 2R_t(\\mathcal{C})+2$. We give a computer-assisted proof of the conjecture for every linear code over every finite field and every admissible order. Combining a parity-check reformulation of the conjecture, bounds on the length of putative counterexamples, and successive puncturing…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}