A proof of the generalized packing-covering conjecture

Gianira N. Alfarano, Giuseppe Marino, Alessandro Neri, Rocco Trombetti

arXivarxiv/2609.34910Sep 28, 2026cs.ITscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.34910
curl -X POST /api/v1/records/arxiv/2609.34910/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.34910/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'