Semidefinite bounds for nonbinary codes based on quadruples

For nonnegative integers $q,n,d$, let $A_q(n,d)$ denote the maximum cardinality of a code of length $n$ over an alphabet $[q]$ with $q$ letters and with minimum distance at least $d$. We consider the following upper bound on $A_q(n,d)$. For any $k$, let \CC_k be the collection of codes of cardinality at most $k$. Then $A_q(n,d)$ is at most the maximum value of $\sum_{v\in[q]^n}x(\{v\})$, where $x$ is a function \CC_4\to R_+ such that $x(\emptyset)=1$ and $x(C)=0$ if $C$ has minimum distance less than $d$, and such that the \CC_2\times\CC_2 matrix (x(C\cup C'))_{C,C'\in\CC_2} is positive semidefinite. By the symmetry of the problem, we can apply representation theory to reduce the problem to a semidefinite programming problem with order bounded by a polynomial in $n$. It yields the new upper bounds $A_4(6,3)\leq 176$, $A_4(7,4)\leq 155$, $A_5(7,4)\leq 489$, and $A_5(7,5)\leq 87$

Semidefinite bounds for nonbinary codes based on quadruples

For nonnegative integers q, n, d, let Aq(n, d) denote the maximum cardinality of a code of length n over an alphabet [q] with q letters and with minimum distance at least d. We consider the following upper bound on Aq(n, d). For any k, let Ck be the collection of codes of cardinality at most k. Then Aq(n, d) is at most the maximum value of Pv∈[q]n x({v}), where x is a function C4 → R+ such that x(∅) = 1 and x(C) = 0 if C has minimum distance less than d, and such that the C2 ×C2 matrix (x(C ∪C′))C,C′∈C2 is positive semidefinite. By the symmetry of the problem, we can apply representation theory to reduce the problem to a semidefinite programming problem with order bounded by a polynomial in n. It yields the new upper bounds A4(6, 3) ≤ 176, A4(7, 4) ≤ 155, A5(7, 4) ≤ 489, and A5(7, 5) ≤ 87

Semidefinite bounds for mixed binary/ternary codes

For nonnegative integers $n_2, n_3$ and $d$, let $N(n_2,n_3,d)$ denote the maximum cardinality of a code of length $n_2+n_3$, with $n_2$ binary coordinates and $n_3$ ternary coordinates (in this order) and with minimum distance at least $d$. For a nonnegative integer $k$, let $\mathcal{C}_k$ denote the collection of codes of cardinality at most $k$. For $D \in \mathcal{C}_k$, define $S(D) := \{C \in \mathcal{C}_k \mid D \subseteq C, |D| +2|C\setminus D| \leq k\}$. Then $N(n_2,n_3,d)$ is upper bounded by the maximum value of $\sum_{v \in [2]^{n_2}[3]^{n_3}}x(\{v\})$, where $x$ is a function $\mathcal{C}_k \rightarrow \mathbb{R}$ such that $x(\emptyset) = 1$ and $x(C) = 0$ if $C$ has minimum distance less than $d$, and such that the $S(D)\times S(D)$ matrix $(x(C\cup C'))_{C,C' \in S(D)}$ is positive semidefinite for each $D \in \mathcal{C}_k$. By exploiting symmetry, the semidefinite programming problem for the case $k=3$ is reduced using representation theory. It yields $135$ new upper bounds that are provided in tablesComment: 12 pages; some typos have been fixed. Accepted for publication in Discrete Mathematic

Semidefinite programming bounds for Lee codes

For $q,n,d \in \mathbb{N}$, let $A_q^L(n,d)$ denote the maximum cardinality of a code $C \subseteq \mathbb{Z}_q^n$ with minimum Lee distance at least $d$, where $\mathbb{Z}_q$ denotes the cyclic group of order $q$. We consider a semidefinite programming bound based on triples of codewords, which bound can be computed efficiently using symmetry reductions, resulting in several new upper bounds on $A_q^L(n,d)$. The technique also yields an upper bound on the independent set number of the $n$-th strong product power of the circular graph $C_{d,q}$, which number is related to the Shannon capacity of $C_{d,q}$. Here $C_{d,q}$ is the graph with vertex set $\mathbb{Z}_q$, in which two vertices are adjacent if and only if their distance (mod $q$) is strictly less than $d$. The new bound does not seem to improve significantly over the bound obtained from Lov\'asz theta-function, except for very small $n$.Comment: 14 pages. arXiv admin note: text overlap with arXiv:1703.0517