New Delsarte-type linear programming bounds for $q$-ary $(r,\delta)$-locally recoverable codes (LRCs) are derived with three attributes: the variable set is comparable in size to that of the classical Delsarte LP, and the convex-hull LP yields improvements not captured by the previous LP and often sharpens the shortening and generalized Singleton bounds.
Abstract
In this paper we derive new Delsarte-type linear programming bounds for $q$-ary $(r,\delta)$-locally recoverable codes (LRCs) with three attributes: first, the variable set is comparable in size to that of the classical Delsarte LP; second, our LP exploits the higher-order information forced by the local-distance condition through order \(\delta-2\), in the sense that for nondegenerate linear codes, its balanced base part gives exactly the same dimension bound as the symmetrized refined-weight LP of Gruica, Jany, and Ravagnani, while the additional constraints, nonvacuous whenever $\delta \ge 3$, give a further strengthening; and third, it applies to general $(r,\delta)$-LRCs, linear and nonlinear alike. Extensive computations over binary and ternary alphabets show that the convex-hull LP yields improvements not captured by the previous LP and often sharpens the shortening and generalized Singleton bounds.
A polynomial-size linear programming bound for locally recoverable codes with locality parameters $(r,\delta)$, without assuming linearity is given, which has polynomially many variables and its optimum dominates the ordinary Delsarte bound.
We develop a multi-view linear-programming framework for locally recoverable codes with arbitrary fixed availability $a$. For any retained order $1 \le s \le a$, the selected helper sets, the recovered coordinate, and their complement form an $(s+2)$-part partition. Recording the Hamming distance on all blocks preserve...
Ming-Hsuan Kang, Mao-Sheng Xiong, Yun-Hsuan Hsieh et al.· 0 citations
In their work on sphere packing and the modular bootstrap, Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini conjectured the exact high-dimensional exponent of the Cohn-Elkies sphere-packing linear program. OpenAI's Chapter 1 subsequently proved their conjecture by establishing that both Fourier sign-uncertainty radii...
A quantum $(r,\rho)$-locally recoverable code ($(r,\rho)$-qLRC) is a quantum code in which every qudit can be recovered from at most $r+\rho-1$ other qudits, even after $\rho-1$ additional erasures inside the recovery set. The bounds currently known for this class, namely the Singleton-like and the GG Singleton-like bo...
Locally recoverable codes (LRCs) combine global error correction with the ability to repair a small number of erased coordinates by accessing only a limited number of other coordinates. Motivated by their quantum counterparts, we construct several families of optimal cyclic $(r,\delta)$-LRCs that are Euclidean or Hermi...
We study linear codes for insertion and deletion (insdel) errors through the lens of evaluation codes. We develop a general framework for analyzing random puncturings of evaluation codes, where the edit distance is controlled by only the size of the evaluation domain and the maximum number of zeros of a nonzero functio...