-
Higher-order Delsarte Dual LPs: Lifting, Constructions and Completeness
Authors:
Leonardo Nagami Coregliano,
Fernando Granha Jeronimo,
Chris Jones,
Nati Linial,
Elyassaf Loyfer
Abstract:
A central and longstanding open problem in coding theory is the rate-versus-distance trade-off for binary error-correcting codes. In a seminal work, Delsarte introduced a family of linear programs establishing relaxations on the size of optimum codes. To date, the state-of-the-art upper bounds for binary codes come from dual feasible solutions to these LPs. Still, these bounds are exponentially fa…
▽ More
A central and longstanding open problem in coding theory is the rate-versus-distance trade-off for binary error-correcting codes. In a seminal work, Delsarte introduced a family of linear programs establishing relaxations on the size of optimum codes. To date, the state-of-the-art upper bounds for binary codes come from dual feasible solutions to these LPs. Still, these bounds are exponentially far from the best-known existential constructions.
Recently, hierarchies of linear programs extending and strengthening Delsarte's original LPs were introduced for linear codes, which we refer to as higher-order Delsarte LPs. These new hierarchies were shown to provably converge to the actual value of optimum codes, namely, they are complete hierarchies. Therefore, understanding them and their dual formulations becomes a valuable line of investigation. Nonetheless, their higher-order structure poses challenges. In fact, analysis of all known convex programming hierarchies strengthening Delsarte's original LPs has turned out to be exceedingly difficult and essentially nothing is known, stalling progress in the area since the 1970s.
Our main result is an analysis of the higher-order Delsarte LPs via their dual formulation. Although quantitatively, our current analysis only matches the best-known upper bounds, it shows, for the first time, how to tame the complexity of analyzing a hierarchy strengthening Delsarte's original LPs. In doing so, we reach a better understanding of the structure of the hierarchy, which may serve as the foundation for further quantitative improvements. We provide two additional structural results for this hierarchy. First, we show how to \emph{explicitly} lift any feasible dual solution from level $k$ to a (suitable) larger level $\ell$ while retaining the objective value. Second, we give a novel proof of completeness using the dual formulation.
△ Less
Submitted 8 January, 2025;
originally announced January 2025.
-
An Elementary Proof of the First LP Bound on the Rate of Binary Codes
Authors:
Nati Linial,
Elyassaf Loyfer
Abstract:
The asymptotic rate vs. distance problem is a long-standing fundamental problem in coding theory. The best upper bound to date was given in 1977 and has received since then numerous proofs and interpretations. Here we provide a new, elementary proof of this bound based on counting walks in the Hamming cube.
The asymptotic rate vs. distance problem is a long-standing fundamental problem in coding theory. The best upper bound to date was given in 1977 and has received since then numerous proofs and interpretations. Here we provide a new, elementary proof of this bound based on counting walks in the Hamming cube.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Linear Programming Hierarchies in Coding Theory: Dual Solutions
Authors:
Elyassaf Loyfer,
Nati Linial
Abstract:
The rate vs. distance problem is a long-standing open problem in coding theory. Recent papers have suggested a new way to tackle this problem by appealing to a new hierarchy of linear programs. If one can find good dual solutions to these LPs, this would result in improved upper bounds for the rate vs. distance problem of linear codes. In this work, we develop the first dual feasible solutions to…
▽ More
The rate vs. distance problem is a long-standing open problem in coding theory. Recent papers have suggested a new way to tackle this problem by appealing to a new hierarchy of linear programs. If one can find good dual solutions to these LPs, this would result in improved upper bounds for the rate vs. distance problem of linear codes. In this work, we develop the first dual feasible solutions to the LPs in this hierarchy. These match the best-known bound for a wide range of parameters. Our hope is that this is a first step towards better solutions, and improved upper bounds for the rate vs. distance problem of linear codes.
△ Less
Submitted 23 November, 2022;
originally announced November 2022.
-
New LP-based Upper Bounds in the Rate-vs.-Distance Problem for Linear Codes
Authors:
Elyassaf Loyfer,
Nati Linial
Abstract:
We develop a new family of linear programs, that yield upper bounds on the rate of binary linear codes of a given distance. Our bounds apply {\em only to linear codes.} Delsarte's LP is the weakest member of this family and our LP yields increasingly tighter upper bounds on the rate as its control parameter increases. Numerical experiments show significant improvement compared to Delsarte. These c…
▽ More
We develop a new family of linear programs, that yield upper bounds on the rate of binary linear codes of a given distance. Our bounds apply {\em only to linear codes.} Delsarte's LP is the weakest member of this family and our LP yields increasingly tighter upper bounds on the rate as its control parameter increases. Numerical experiments show significant improvement compared to Delsarte. These convincing numerical results, and the large variety of tools available for asymptotic analysis, give us hope that our work will lead to new and improved asymptotic upper bounds on the possible rate of linear codes.
A concurrent work by Coregliano, Jeronimo, and Jones offers a closely related family of linear programs which converges to the true bound. Here we provide a new proof of convergence for the same LPs.
△ Less
Submitted 15 November, 2022; v1 submitted 18 June, 2022;
originally announced June 2022.
