Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors establish a complete, computer-assisted proof of the generalized packing-covering conjecture, proving that the $t$-th generalized Hamming weight and covering radius satisfy $d_t(\mathcal{C}) \le 2R_t(\mathcal{C}) + 2$ for every linear code over any finite field. Using a parity-check reformulation, counterexample length bounds, and successive puncturing arguments, the bound is analytically resolved for all orders $t \ge 32$. The remaining parameter tuples for $t < 32$ are reduced to a finite set and ruled out via exact exhaustive computational verification, closing a foundational open problem in coding theory.
Linear codes universally obey the fundamental bound $d_t(\mathcal{C}) \le 2R_t(\mathcal{C}) + 2$, definitively settling the generalized packing-covering conjecture across all finite fields and orders.
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.