# A proof of the generalized packing-covering conjecture

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

- Archive id: arxiv:2609.34910
- Published: 2026-09-28
- arXiv: https://arxiv.org/abs/2609.34910
- Source URL: https://arxiv.org/abs/2609.34910
- PDF: https://arxiv.org/pdf/2609.34910
- Provenance: arxiv

## Abstract

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 arguments, we settle all orders $t\\ge 32$ and reduce the remaining orders to finitely many parameter tuples, which we exclude by an exact computer verification.

_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.