Semidefinite and linear programming bounds for sum-rank-metric codes and non-existence results
Pith reviewed 2026-05-07 06:33 UTC · model grok-4.3
The pith
A semidefinite programming bound can give tighter limits on the largest sum-rank-metric codes than previous methods.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We obtain a semidefinite programming bound on the size of sum-rank-metric codes that computational experiments indicate can be strictly stronger than prior bounds. We establish the equivalence of the Delsarte linear programming bound and an eigenvalue linear programming bound, with special attention to the limiting regimes of the sum-rank metric. These bounds are then used to prove non-existence of several optimal and perfect sum-rank-metric codes.
What carries the argument
The semidefinite programming relaxation of the maximum-clique problem in the graph whose vertices are matrices over a finite field and whose edges connect pairs at sum-rank distance below the prescribed minimum.
If this is right
- Tighter upper bounds immediately yield additional non-existence proofs for candidate optimal codes.
- Equivalence of the two linear programming bounds simplifies analysis of the metric in its extreme Hamming-like and rank-like regimes.
- The optimization framework captures the hybrid additive-rank structure of the sum-rank metric more effectively than purely combinatorial methods.
- Spectral and semidefinite techniques supply a systematic way to obtain sharp bounds once the association scheme of the metric is known.
Where Pith is reading between the lines
- The same SDP construction could be applied to other hybrid metrics that combine additive and multiplicative distances.
- In distributed storage applications the new bounds limit the rate of repair-efficient codes more tightly than older estimates.
- Closing the remaining gap between the SDP value and known constructions would require either stronger relaxations or explicit code constructions that meet the bound.
Load-bearing premise
That the advantage seen in computational experiments on selected parameters continues to hold across all regimes of the sum-rank metric without case-by-case retuning of the program.
What would settle it
Existence of a sum-rank-metric code whose cardinality exceeds the numerical value of the SDP bound for any of the parameter sets tested in the paper.
read the original abstract
The sum-rank metric provides a unifying framework that generalizes both the celebrated Hamming and rank metrics, and has found applications in areas such as network coding, distributed storage, and space-time coding. A central problem is to determine the maximum size of a code with prescribed minimum distance. In this paper, we derive new sharp upper bounds on the size of a sum-rank-metric code using spectral and optimization techniques, including a semidefinite programming (SDP) bound that can outperform the best existing bounds based on computational experiments. Furthermore, we compare the Delsarte linear programming (LP) bound and a recent eigenvalue LP bound, and show equivalences between them, with particular emphasis on extremal regimes of the sum-rank metric. Finally, we show how to use the several SDP, LP and eigenvalue bounds to prove non-existence results for certain optimal and perfect sum-rank metric codes. Our results suggest that the combination of spectral and optimization methods effectively captures the hybrid nature of the sum-rank metric, providing new techniques that overcome the limitations of classical coding-theoretic approaches.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives new upper bounds on the maximum size of sum-rank-metric codes via spectral methods and optimization. It introduces a semidefinite programming (SDP) bound that computational experiments indicate can be tighter than existing Delsarte linear programming (LP) and eigenvalue LP bounds for selected parameters. Equivalences are established between the Delsarte LP bound and a recent eigenvalue LP bound, with emphasis on extremal regimes of the sum-rank metric. These bounds are then applied to obtain non-existence results for certain optimal and perfect codes.
Significance. If the SDP formulation is valid and the reported numerical improvements hold under independent verification, the work would strengthen the toolkit for bounding codes in the sum-rank metric, which unifies Hamming and rank metrics with applications in network coding and distributed storage. The explicit equivalences between LP approaches in extremal regimes and the concrete non-existence results are clear contributions that clarify relationships among spectral bounds. The hybrid spectral-optimization perspective is a positive direction, though the lack of general analytic comparisons or reproducible experiments limits the strength of the outperformance claim.
major comments (3)
- [§4] §4 (SDP bound derivation): The claim that the SDP relaxation outperforms the Delsarte and eigenvalue LP bounds rests entirely on computational experiments for specific parameter sets; no general analytic proof or dominance relation is provided showing the SDP is strictly stronger outside those instances, which is load-bearing for the headline contribution.
- [§5] §5 (computational experiments): The numerical results supporting SDP outperformance report bound values but omit the SDP matrix dimension, relaxation order, solver tolerances, exact parameter tuples tested, and raw output data; without these, it is impossible to reproduce or assess whether the improvement is robust or sensitive to implicit tuning.
- [§6] §6 (non-existence applications): The non-existence proofs for optimal and perfect codes rely on the SDP and LP bounds being tight enough to exceed the Plotkin-type or sphere-packing thresholds, but the paper does not verify that the chosen test parameters are representative of the regimes where such codes would be expected to exist.
minor comments (2)
- [§3] The notation for the sum-rank weight distribution and the associated positive-semidefinite kernel in the SDP is introduced without a self-contained definition of the underlying association scheme, forcing the reader to consult external references for the precise inner-product matrix.
- [Table 1] Table 1 (comparison of bounds): Several entries list only the numerical value without the corresponding code length, minimum distance, or field size, making direct comparison with prior tables in the literature cumbersome.
Simulated Author's Rebuttal
We thank the referee for the thorough review and insightful comments on our manuscript. We address each of the major comments below and outline the revisions we plan to make.
read point-by-point responses
-
Referee: [§4] §4 (SDP bound derivation): The claim that the SDP relaxation outperforms the Delsarte and eigenvalue LP bounds rests entirely on computational experiments for specific parameter sets; no general analytic proof or dominance relation is provided showing the SDP is strictly stronger outside those instances, which is load-bearing for the headline contribution.
Authors: We clarify that the manuscript does not claim a general analytic dominance of the SDP bound over the LP bounds. The abstract states that the SDP bound 'can outperform' the best existing bounds 'based on computational experiments,' without asserting that it is always stronger. Establishing a general proof of superiority is indeed difficult given the structure of the sum-rank metric. In the revised manuscript, we will add an explicit statement in Section 4 and the introduction emphasizing that the observed improvements are empirical and specific to the tested parameters, and that no general dominance is proven or claimed. revision: partial
-
Referee: [§5] §5 (computational experiments): The numerical results supporting SDP outperformance report bound values but omit the SDP matrix dimension, relaxation order, solver tolerances, exact parameter tuples tested, and raw output data; without these, it is impossible to reproduce or assess whether the improvement is robust or sensitive to implicit tuning.
Authors: We agree that additional details are necessary for reproducibility. In the revised version of the paper, we will include the dimensions of the SDP matrices for each tested case, the relaxation order employed, the solver used along with its tolerance settings, the complete list of exact parameter tuples (including q, m, n, d, and other relevant values), and either the raw solver output or a reference to an online repository containing the data and logs. revision: yes
-
Referee: [§6] §6 (non-existence applications): The non-existence proofs for optimal and perfect codes rely on the SDP and LP bounds being tight enough to exceed the Plotkin-type or sphere-packing thresholds, but the paper does not verify that the chosen test parameters are representative of the regimes where such codes would be expected to exist.
Authors: The parameters selected for the non-existence results were chosen based on their relevance to open questions in the literature regarding the existence of optimal and perfect sum-rank-metric codes. For these specific parameters, our bounds exceed the known thresholds, leading to the non-existence conclusions. We will expand Section 6 to include a short discussion on why these parameters were selected and how they relate to existing conjectures or open problems. A full analysis of representativeness across all regimes is beyond the current scope but could be addressed in future work. revision: partial
Circularity Check
No circularity in SDP/LP bound derivations or equivalences
full rationale
The paper derives upper bounds on sum-rank-metric codes via standard spectral methods, Delsarte LP, eigenvalue LP, and SDP relaxations applied directly to the metric's distance distribution. Equivalences between the two LP bounds are shown analytically in extremal regimes, which constitutes an independent comparison rather than a reduction to self-inputs. The SDP outperformance claim rests on computational experiments for selected parameters, not on any fitted parameter being renamed as a prediction or on self-definitional constructions. Non-existence results follow by plugging specific codes into the derived bounds. No self-citation is load-bearing for the central claims, no ansatz is smuggled, and no uniqueness theorem is imported from the authors' prior work. The derivation chain uses external optimization frameworks and is therefore self-contained against the paper's own equations.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The sum-rank metric defines a valid distance on the space of matrices or vectors over finite fields.
Reference graph
Works this paper leans on
- [1]
- [2]
- [3]
- [4]
- [5]
- [6]
-
[7]
J. Astola. The Lee-scheme and bounds for Lee-codes.Cybernetics and Systems Analysis, 13:331–343, 1982
work page 1982
-
[8]
C. Bachoc. Applications of semidefinite programming to coding theory,
-
[9]
P. Boyvalenkov and D. Danev. Linear programming bounds. InCon- cise Encyclopedia of Coding Theory, pages 251–266. Chapman and Hall/CRC, 2021
work page 2021
-
[10]
D. Brosch and E. de Klerk. Jordan symmetry reduction for conic opti- mization over the doubly nonnegative cone: theory and software.Op- timization Methods and Software, 37(6):2001–2020, 2022
work page 2001
-
[11]
A. E. Brouwer, A. M. Cohen, and A. Neumaier.Distance-Regular Graphs. Springer, Berlin, Heidelberg, 1989
work page 1989
- [12]
- [13]
-
[14]
G. Del Prete, A. Roccolano, and F. Zullo. On the non-existence of perfect codes in the sum-rank metric. arXiv:2508.20940, 2025
- [15]
- [16]
-
[17]
P. Delsarte and J.-M. Goethals. Alternating bilinear forms over GF(q). Journal of Combinatorial Theory, Series A, 19(1):26–50, 1975. 33
work page 1975
-
[18]
P. J. Dukes, F. Ihringer, and N. Lindzey. On the algebraic combinatorics of injections and its applications to injection codes.IEEE Transactions on Information Theory, 66(11):6898–6907, 2020
work page 2020
-
[19]
M. A. Fiol. A new class of polynomials from the spectrum of a graph, and its application to bound thek-independence number.Linear Alge- bra and its Applications, 605:1–20, 2020
work page 2020
-
[20]
E. M. Gabidulin. Theory of codes with maximum rank distance.Prob- lemy peredachi informatsii, 21(1):3–16, 1985
work page 1985
-
[21]
D. C. Gijswijt, H. D. Mittelmann, and A. Schrijver. Semidefinite code bounds based on quadruple distances.IEEE Transactions on Informa- tion Theory, 58(5):2697–2705, 2012
work page 2012
-
[22]
D. C. Gijswijt, A. Schrijver, and H. Tanaka. New upper bounds for non- binary codes based on the terwilliger algebra and semidefinite program- ming.Journal of Combinatorial Theory, Series A, 113(8):1719–1731, 2006
work page 2006
-
[23]
L. Kavi and M. Newman. The optimal bound on the 3-independence number obtainable from a polynomial-type method.Discrete Mathe- matics, 346:113471, 2023
work page 2023
-
[24]
R. Koetter and F. R. Kschischang. Coding for errors and erasures in random network coding.IEEE Transactions on Information theory, 54(8):3579–3591, 2008
work page 2008
-
[25]
B. Litjens, S. C. Polak, and A. Schrijver. Semidefinite bounds for non- binary codes based on quadruples.Designs Codes and Cryptography, 84(1–2):87–100, May 2016
work page 2016
- [26]
- [27]
-
[28]
F. J. MacWilliams and N. J. A. Sloane.The theory of error-correcting codes, volume 16. Elsevier, 1977
work page 1977
-
[29]
U. Mart´ ınez-Pe˜ nas, M. Shehadeh, and F. R. Kschischang. Codes in the sum-rank metric: Fundamentals and applications.Foundations and Trends®in Communications and Information Theory, 19(5):814–1031, 2022
work page 2022
-
[30]
S. C. Polak. Semidefinite programming bounds for constant-weight codes.IEEE Transactions on Information Theory, 65(1):28–38, 2019. 34
work page 2019
-
[31]
S. C. Polak. Semidefinite programming bounds for Lee codes.Discrete Mathematics, 342(9):2579–2589, 2019
work page 2019
-
[32]
S. Puchinger, J. Renner, and J. Rosenkilde. Generic decoding in the sum-rank metric.IEEE Transactions on Information Theory, 68(8):5075–5097, 2022
work page 2022
-
[33]
A. Roy. Bounds for codes and designs in complex subspaces.Journal of Algebraic Combinatorics, 31:1–32, 2010
work page 2010
-
[34]
H. Sauerbier Couv´ ee, T. Jerkovits, and J. Bariffi. Bounds on sphere sizes in the sum-rank metric and coordinate-additive metrics.Designs, Codes and Cryptography, pages 1–22, 2025
work page 2025
-
[35]
K.-U. Schmidt and C. Weiß. The linear programming optimum for packings in classical association schemes. arXiv:2508.12806, 2025
- [36]
- [37]
- [38]
-
[39]
P. Sole. The Lee association scheme. InInternational Colloquium on Coding Theory and Applications, pages 45–55. Springer, 1986
work page 1986
-
[40]
Weiß.Linear programming bounds in classical association schemes
C. Weiß.Linear programming bounds in classical association schemes. PhD thesis, Universit¨ at Paderborn, 2023
work page 2023
-
[41]
Z. Yan, Y. Yang, Y. Lu, and M. Ma. Error propagation on power allocation in generalized layered space-time coding communication sys- tems. In2009 15th Asia-Pacific Conference on Communications, pages 20–23. IEEE, 2009. 35 A Tables This appendix shows all the tables referenced throughout the paper, pro- viding a view of the data and the obtained computatio...
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.