arXiv++ Combinatorics

Browse math.CO papers from arXiv

Papers by Sven C. Polak

2 paper(s) by this author · All BibTeX
Semidefinite and linear programming bounds for sum-rank-metric codes and non-existence results
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.
2017-09-07 v2
Uniqueness of codes using semidefinite programming
Published • View PublicationBIB
For $n,d,w \in \mathbb{N}$, let $A(n,d,w)$ denote the maximum size of a binary code of word length $n$, minimum distance $d$ and constant weight $w$. Schrijver recently showed using semidefinite programming that $A(23,8,11)=1288$, and the second author that $A(22,8,11)=672$ and $A(22,8,10)=616$. Here we show uniqueness of the codes achieving these bounds. Let $A(n,d)$ denote the maximum size of a binary code of word length $n$ and minimum distance $d$. Gijswijt, Mittelmann and Schrijver showed that $A(20,8)=256$. We show that there are several nonisomorphic codes achieving this bound, and classify all such codes with all distances divisible by 4.