# American Institute of Mathematical Sciences

• Previous Article
The weight distribution of families of reducible cyclic codes through the weight distribution of some irreducible cyclic codes
• AMC Home
• This Issue
• Next Article
A construction of $\mathbb{F}_2$-linear cyclic, MDS codes
doi: 10.3934/amc.2020034

## New and updated semidefinite programming bounds for subspace codes

 1 Department of Communications and Networking, Aalto University, Finland 2 Department of Mathematics: Analysis, Logic and Discrete Mathematics, Ghent University, Belgium

* Corresponding author: Daniel Heinlein

Received  September 2018 Revised  July 2019 Published  November 2019

Fund Project: The first author is supported by the Academy of Finland, Grant #289002. The second author is supported by a postdoctoral fellowship of the Research Foundation - Flanders (FWO).

We show that $A_2(7, 4) \leq 388$ and, more generally, $A_q(7, 4) \leq (q^2-q+1) [7] + q^4 - 2q^3 + 3q^2 - 4q + 4$ by semidefinite programming for $q \leq 101$. Furthermore, we extend results by Bachoc et al. on SDP bounds for $A_2(n, d)$, where $d$ is odd and $n$ is small, to $A_q(n, d)$ for small $q$ and small $n$.

Citation: Daniel Heinlein, Ferdinand Ihringer. New and updated semidefinite programming bounds for subspace codes. Advances in Mathematics of Communications, doi: 10.3934/amc.2020034
##### References:

show all references

##### References:
Here $\varphi = q^2+1$ and $\psi = q^2-q+1$
 $A_{abc}$ $m_{abc}/|X_a|$ $\Delta_0(A_{abc})$ $\Delta_1(A_{abc})$ $\Delta_2(A_{abc})$ $\Delta_3(A_{abc})$ $A_{110}$ $1$ $E_{11}$ $E_{11}$ $A_{111}$ $q[6]$ $q[6] E_{11}$ $-E_{11}$ $A_{120}$ $[6]$ $[2] \sqrt{ \psi[3] } E_{12}$ $\sqrt{q [5] } E_{12}$ $A_{121}$ $q^2\psi [3] [5]$ $q^2 [5] \sqrt{ \psi[3] } E_{12}$ $-\sqrt{q [5] } E_{12}$ $A_{130}$ $\left[ \begin{array}{l} {6}\\{2} \end{array} \right]$ $[3] \sqrt{ \psi [5] } E_{13}$ $q \sqrt{ \varphi [5]} E_{13}$ $A_{131}$ $q^3(q^3+1)\left[ \begin{array}{l}{5}\\{2}\end{array} \right]$ $q^3 [4] \sqrt{ \psi [5] } E_{13}$ $-q \sqrt{ \varphi [5]}E_{13}$ $A_{140}$ $\left[ \begin{array}{l} 6\\3\end{array} \right]$ $[4] \sqrt{ \psi [5] } E_{14}$ $q \sqrt{q \varphi [5]} E_{14}$ $A_{141}$ $q^4 \psi [3] [5]$ $q^4 [3] \sqrt{ \psi [5] } E_{14}$ $-q \sqrt{q \varphi [5]} E_{14}$ $A_{150}$ $\left[ \begin{array}{l} {6}\\{4} \end{array} \right]$ $[5] \sqrt{ \psi [3] } E_{15}$ $q^2 \sqrt{ [5] } E_{15}$ $A_{151}$ $q^5[6]$ $q^5 [2] \sqrt{ \psi [3] } E_{15}$ $-q^2 \sqrt{ [5] } E_{15}$ $A_{160}$ $\left[ \begin{array}{l} 6\\5\end{array} \right]$ $[6] E_{16}$ $q^{5/2} E_{16}$ $A_{161}$ $q^6$ $q^6 E_{16}$ $-q^{5/2} E_{16}$ $A_{220}$ $1$ $E_{22}$ $E_{22}$ $E_{22}$ $A_{221}$ $q[2] [5]$ $q[2] [5] E_{22}$ $(q^2 [4] - 1)E_{22}$ $-[2]E_{22}$ $A_{222}$ $q^4\varphi [5]$ $q^4\varphi [5] E_{22}$ $-q^2 [4] E_{22}$ $qE_{22}$ $A_{230}$ $[5]$ $\sqrt{ [3] [5] } E_{23}$ $[2] \sqrt{q\varphi} E_{23}$ $q \sqrt{ [3] } E_{23}$ $A_{231}$ $q^2 [4][5]$ $q^2 [4] \sqrt{ [3] [5] } E_{23}$ $(q^3[3] - [2]) \sqrt{q\varphi} E_{23}$ $-q[2] \sqrt{ [3] } E_{23}$ $A_{232}$ $q^6\varphi[5]$ $q^6 \varphi \sqrt{ [3] [5] } E_{23}$ $-q^3[3] \sqrt{q\varphi} E_{23}$ $q^2\sqrt{ [3] } E_{23}$ $A_{240}$ $\varphi[5]$ $\varphi \sqrt{ [3] [5] } E_{24}$ $q [3] \sqrt{\varphi} E_{24}$ $q^2 \sqrt{[3]}E_{24}$ $A_{241}$ $q^3 [4][5]$ $q^3 [4] \sqrt{ [3] [5] } E_{24}$ $q (q^4[2]-[3]) \sqrt{\varphi} E_{24}$ $-q^2[2] \sqrt{[3]} E_{24}$ $A_{242}$ $q^8 [5]$ $q^8 \sqrt{ [3] [5] } E_{24}$ $-q^5 [2] \sqrt{\varphi} E_{24}$ $q^3 \sqrt{[3]} E_{24}$ $A_{250}$ $\varphi [5]$ $\varphi [5] E_{25}$ $q^{3/2} [4] E_{25}$ $q^3 E_{25}$ $A_{251}$ $q^4 [2] [5]$ $q^4 [2] [5] E_{25}$ $q^{3/2}(q^5 - [4]) E_{25}$ $-[2] q^3E_{25}$ $A_{252}$ $q^{10}$ $q^{10} E_{25}$ $-q^{13/2} E_{25}$ $q^4 E_{25}$ $A_{330}$ $1$ $E_{33}$ $E_{33}$ $E_{33}$ $E_{33}$ $A_{331}$ $q [3] [4]$ $q [3] [4] E_{33}$ $(q^2[2][3] - 1)E_{33}$ $(q^2-1) [3] E_{33}$ $-[3] E_{33}$ $A_{332}$ $q^4 \varphi [3]^2$ $q^4 \varphi [3]^2 E_{33}$ $q^2 [3] (q^4-q-1)E_{33}$ $-q[3] (q^2+q-1)E_{33}$ $q [3] E_{33}$ $A_{333}$ $q^9[4]$ $q^9[4] E_{33}$ $-q^6 [3] E_{33}$ $q^4 [2]E_{33}$ $-q^3 E_{33}$ $A_{340}$ $[4]$ $[4] E_{34}$ $[3] \sqrt{q} E_{34}$ $q [2] E_{34}$ $\sqrt{q^3 } E_{34}$ $A_{341}$ $q^2\varphi[3]^2$ $q^2 \varphi [3]^2 E_{34}$ $[3] (q^3[2]-1) \sqrt{q} E_{34}$ $q [3](q^2-q-1) E_{34}$ $-[3] \sqrt{q^3 } E_{34}$ $A_{342}$ $q^6[3] [4]$ $q^6 [3] [4] E_{34}$ $q^3(q^5-[2][3]) \sqrt{q} E_{34}$ $-q^2 (q^3-1) [2] E_{34}$ $q[3] \sqrt{q^3 }E_{34}$ $A_{343}$ $q^{12}$ $q^{12} E_{34}$ $-q^8 \sqrt{q} E_{34}$ $q^6 E_{34}$ $-q^3\sqrt{q^3 }E_{34}$ $f_s$ $1$ $[7]-1$ $\left[ \begin{array}{l} 7\\2\end{array} \right] - [7]$ $\left[ \begin{array}{l} 7\\3\end{array} \right] - \left[ \begin{array}{l} 7\\2\end{array} \right]$
 $A_{abc}$ $m_{abc}/|X_a|$ $\Delta_0(A_{abc})$ $\Delta_1(A_{abc})$ $\Delta_2(A_{abc})$ $\Delta_3(A_{abc})$ $A_{110}$ $1$ $E_{11}$ $E_{11}$ $A_{111}$ $q[6]$ $q[6] E_{11}$ $-E_{11}$ $A_{120}$ $[6]$ $[2] \sqrt{ \psi[3] } E_{12}$ $\sqrt{q [5] } E_{12}$ $A_{121}$ $q^2\psi [3] [5]$ $q^2 [5] \sqrt{ \psi[3] } E_{12}$ $-\sqrt{q [5] } E_{12}$ $A_{130}$ $\left[ \begin{array}{l} {6}\\{2} \end{array} \right]$ $[3] \sqrt{ \psi [5] } E_{13}$ $q \sqrt{ \varphi [5]} E_{13}$ $A_{131}$ $q^3(q^3+1)\left[ \begin{array}{l}{5}\\{2}\end{array} \right]$ $q^3 [4] \sqrt{ \psi [5] } E_{13}$ $-q \sqrt{ \varphi [5]}E_{13}$ $A_{140}$ $\left[ \begin{array}{l} 6\\3\end{array} \right]$ $[4] \sqrt{ \psi [5] } E_{14}$ $q \sqrt{q \varphi [5]} E_{14}$ $A_{141}$ $q^4 \psi [3] [5]$ $q^4 [3] \sqrt{ \psi [5] } E_{14}$ $-q \sqrt{q \varphi [5]} E_{14}$ $A_{150}$ $\left[ \begin{array}{l} {6}\\{4} \end{array} \right]$ $[5] \sqrt{ \psi [3] } E_{15}$ $q^2 \sqrt{ [5] } E_{15}$ $A_{151}$ $q^5[6]$ $q^5 [2] \sqrt{ \psi [3] } E_{15}$ $-q^2 \sqrt{ [5] } E_{15}$ $A_{160}$ $\left[ \begin{array}{l} 6\\5\end{array} \right]$ $[6] E_{16}$ $q^{5/2} E_{16}$ $A_{161}$ $q^6$ $q^6 E_{16}$ $-q^{5/2} E_{16}$ $A_{220}$ $1$ $E_{22}$ $E_{22}$ $E_{22}$ $A_{221}$ $q[2] [5]$ $q[2] [5] E_{22}$ $(q^2 [4] - 1)E_{22}$ $-[2]E_{22}$ $A_{222}$ $q^4\varphi [5]$ $q^4\varphi [5] E_{22}$ $-q^2 [4] E_{22}$ $qE_{22}$ $A_{230}$ $[5]$ $\sqrt{ [3] [5] } E_{23}$ $[2] \sqrt{q\varphi} E_{23}$ $q \sqrt{ [3] } E_{23}$ $A_{231}$ $q^2 [4][5]$ $q^2 [4] \sqrt{ [3] [5] } E_{23}$ $(q^3[3] - [2]) \sqrt{q\varphi} E_{23}$ $-q[2] \sqrt{ [3] } E_{23}$ $A_{232}$ $q^6\varphi[5]$ $q^6 \varphi \sqrt{ [3] [5] } E_{23}$ $-q^3[3] \sqrt{q\varphi} E_{23}$ $q^2\sqrt{ [3] } E_{23}$ $A_{240}$ $\varphi[5]$ $\varphi \sqrt{ [3] [5] } E_{24}$ $q [3] \sqrt{\varphi} E_{24}$ $q^2 \sqrt{[3]}E_{24}$ $A_{241}$ $q^3 [4][5]$ $q^3 [4] \sqrt{ [3] [5] } E_{24}$ $q (q^4[2]-[3]) \sqrt{\varphi} E_{24}$ $-q^2[2] \sqrt{[3]} E_{24}$ $A_{242}$ $q^8 [5]$ $q^8 \sqrt{ [3] [5] } E_{24}$ $-q^5 [2] \sqrt{\varphi} E_{24}$ $q^3 \sqrt{[3]} E_{24}$ $A_{250}$ $\varphi [5]$ $\varphi [5] E_{25}$ $q^{3/2} [4] E_{25}$ $q^3 E_{25}$ $A_{251}$ $q^4 [2] [5]$ $q^4 [2] [5] E_{25}$ $q^{3/2}(q^5 - [4]) E_{25}$ $-[2] q^3E_{25}$ $A_{252}$ $q^{10}$ $q^{10} E_{25}$ $-q^{13/2} E_{25}$ $q^4 E_{25}$ $A_{330}$ $1$ $E_{33}$ $E_{33}$ $E_{33}$ $E_{33}$ $A_{331}$ $q [3] [4]$ $q [3] [4] E_{33}$ $(q^2[2][3] - 1)E_{33}$ $(q^2-1) [3] E_{33}$ $-[3] E_{33}$ $A_{332}$ $q^4 \varphi [3]^2$ $q^4 \varphi [3]^2 E_{33}$ $q^2 [3] (q^4-q-1)E_{33}$ $-q[3] (q^2+q-1)E_{33}$ $q [3] E_{33}$ $A_{333}$ $q^9[4]$ $q^9[4] E_{33}$ $-q^6 [3] E_{33}$ $q^4 [2]E_{33}$ $-q^3 E_{33}$ $A_{340}$ $[4]$ $[4] E_{34}$ $[3] \sqrt{q} E_{34}$ $q [2] E_{34}$ $\sqrt{q^3 } E_{34}$ $A_{341}$ $q^2\varphi[3]^2$ $q^2 \varphi [3]^2 E_{34}$ $[3] (q^3[2]-1) \sqrt{q} E_{34}$ $q [3](q^2-q-1) E_{34}$ $-[3] \sqrt{q^3 } E_{34}$ $A_{342}$ $q^6[3] [4]$ $q^6 [3] [4] E_{34}$ $q^3(q^5-[2][3]) \sqrt{q} E_{34}$ $-q^2 (q^3-1) [2] E_{34}$ $q[3] \sqrt{q^3 }E_{34}$ $A_{343}$ $q^{12}$ $q^{12} E_{34}$ $-q^8 \sqrt{q} E_{34}$ $q^6 E_{34}$ $-q^3\sqrt{q^3 }E_{34}$ $f_s$ $1$ $[7]-1$ $\left[ \begin{array}{l} 7\\2\end{array} \right] - [7]$ $\left[ \begin{array}{l} 7\\3\end{array} \right] - \left[ \begin{array}{l} 7\\2\end{array} \right]$
SDP bounds on $A_2(n, d)$
 $d \setminus n$ 8 9 10 11 12 13 14 3 9191 107419 2531873 57201557 2685948795 119527379616 11215665059647 4 6479 53710 1705394 28600778 1816165540 59763689822 7496516673358 5 327 2458 48255 660265 26309023 688127334 54724534275 6 260 1240 38455 330133 21362773 344063682 43890879895 7 1219 8844 314104 4678401 330331546 8 1090 4480 279476 2343888 292988615 9 4483 34058 2298622 10 4226 17133 2164452 11 259 17155 12 16642
 $d \setminus n$ 8 9 10 11 12 13 14 3 9191 107419 2531873 57201557 2685948795 119527379616 11215665059647 4 6479 53710 1705394 28600778 1816165540 59763689822 7496516673358 5 327 2458 48255 660265 26309023 688127334 54724534275 6 260 1240 38455 330133 21362773 344063682 43890879895 7 1219 8844 314104 4678401 330331546 8 1090 4480 279476 2343888 292988615 9 4483 34058 2298622 10 4226 17133 2164452 11 259 17155 12 16642
SDP bounds on $A_3(n, d)$
 $d \setminus n$ 6 7 8 9 10 11 12 3 967 15394 760254 34143770 5026344026 675225312722 298950313257852 4 788 7696 627384 17071886 4112061519 337612656529 244829520433920 5 166 7222 123535 16008007 818518696 320387589445 6 6727 61962 14893814 409259348 298571221318 7 490 61002 1076052 400831735 8 59539 539351 391178436 9 1462 537278 10 532903
 $d \setminus n$ 6 7 8 9 10 11 12 3 967 15394 760254 34143770 5026344026 675225312722 298950313257852 4 788 7696 627384 17071886 4112061519 337612656529 244829520433920 5 166 7222 123535 16008007 818518696 320387589445 6 6727 61962 14893814 409259348 298571221318 7 490 61002 1076052 400831735 8 59539 539351 391178436 9 1462 537278 10 532903
SDP bounds on $A_4(n, d)$
 $d \setminus n$ 6 7 8 9 10 11 3 4772 142313 20482322 2341621613 1343547758223 614496020025690 4 4231 71156 18245203 1170810807 1194101275238 307248010015067 5 516 68117 2132181 1122729102 140323867490 6 66054 1067796 1088550221 70161933745 7 2052 1058831 33669242 8 1050630 16847095 9 8196
 $d \setminus n$ 6 7 8 9 10 11 3 4772 142313 20482322 2341621613 1343547758223 614496020025690 4 4231 71156 18245203 1170810807 1194101275238 307248010015067 5 516 68117 2132181 1122729102 140323867490 6 66054 1067796 1088550221 70161933745 7 2052 1058831 33669242 8 1050630 16847095 9 8196
SDP bounds on $A_5(n, d)$
 $d \setminus n$ 6 7 8 9 10 3 17179 821170 277100135 64262978412 108238287449582 4 15883 410585 256754528 32131489207 100215014898311 5 1254 398154 19675409 31196584033 6 391883 9847885 30703887393 7 6254 9803150 8 9771883
 $d \setminus n$ 6 7 8 9 10 3 17179 821170 277100135 64262978412 108238287449582 4 15883 410585 256754528 32131489207 100215014898311 5 1254 398154 19675409 31196584033 6 391883 9847885 30703887393 7 6254 9803150 8 9771883
SDP bounds on $A_7(n, d)$
 $d \setminus n$ 6 7 8 9 10 3 123239 11807778 14753449680 9728400942608 85039309360944189 4 118347 5903889 14176726504 4864200471305 81703574152063079 5 4806 5803270 566262547 4784663914039 6 5769615 283240686 4756893963688 7 33618 282744208 8 282508875
 $d \setminus n$ 6 7 8 9 10 3 123239 11807778 14753449680 9728400942608 85039309360944189 4 118347 5903889 14176726504 4864200471305 81703574152063079 5 4806 5803270 566262547 4784663914039 6 5769615 283240686 4756893963688 7 33618 282744208 8 282508875
 [1] Christine Bachoc, Alberto Passuello, Frank Vallentin. Bounds for projective codes from semidefinite programming. Advances in Mathematics of Communications, 2013, 7 (2) : 127-145. doi: 10.3934/amc.2013.7.127 [2] Shouhong Yang. Semidefinite programming via image space analysis. Journal of Industrial & Management Optimization, 2016, 12 (4) : 1187-1197. doi: 10.3934/jimo.2016.12.1187 [3] Michael Kiermaier, Reinhard Laue. Derived and residual subspace designs. Advances in Mathematics of Communications, 2015, 9 (1) : 105-115. doi: 10.3934/amc.2015.9.105 [4] Daniel Heinlein, Michael Kiermaier, Sascha Kurz, Alfred Wassermann. A subspace code of size $\bf{333}$ in the setting of a binary $\bf{q}$-analog of the Fano plane. Advances in Mathematics of Communications, 2019, 13 (3) : 457-475. doi: 10.3934/amc.2019029 [5] Liliana Trejo-Valencia, Edgardo Ugalde. Projective distance and $g$-measures. Discrete & Continuous Dynamical Systems - B, 2015, 20 (10) : 3565-3579. doi: 10.3934/dcdsb.2015.20.3565 [6] Heide Gluesing-Luerssen, Carolyn Troha. Construction of subspace codes through linkage. Advances in Mathematics of Communications, 2016, 10 (3) : 525-540. doi: 10.3934/amc.2016023 [7] Ernst M. Gabidulin, Pierre Loidreau. Properties of subspace subcodes of Gabidulin codes. Advances in Mathematics of Communications, 2008, 2 (2) : 147-157. doi: 10.3934/amc.2008.2.147 [8] Qinghong Zhang, Gang Chen, Ting Zhang. Duality formulations in semidefinite programming. Journal of Industrial & Management Optimization, 2010, 6 (4) : 881-893. doi: 10.3934/jimo.2010.6.881 [9] Haixia Liu, Jian-Feng Cai, Yang Wang. Subspace clustering by (k,k)-sparse matrix factorization. Inverse Problems & Imaging, 2017, 11 (3) : 539-551. doi: 10.3934/ipi.2017025 [10] Qiao-Fang Lian, Yun-Zhang Li. Reducing subspace frame multiresolution analysis and frame wavelets. Communications on Pure & Applied Analysis, 2007, 6 (3) : 741-756. doi: 10.3934/cpaa.2007.6.741 [11] Xin Zhao, Jinyan Fan. On subspace properties of the quadratically constrained quadratic program. Journal of Industrial & Management Optimization, 2017, 13 (4) : 1625-1640. doi: 10.3934/jimo.2017010 [12] Thomas Honold, Michael Kiermaier, Sascha Kurz. Constructions and bounds for mixed-dimension subspace codes. Advances in Mathematics of Communications, 2016, 10 (3) : 649-682. doi: 10.3934/amc.2016033 [13] Daniel Heinlein, Sascha Kurz. Binary subspace codes in small ambient spaces. Advances in Mathematics of Communications, 2018, 12 (4) : 817-839. doi: 10.3934/amc.2018048 [14] Lori Badea, Marius Cocou. Approximation results and subspace correction algorithms for implicit variational inequalities. Discrete & Continuous Dynamical Systems - S, 2013, 6 (6) : 1507-1524. doi: 10.3934/dcdss.2013.6.1507 [15] Guojun Gan, Kun Chen. A soft subspace clustering algorithm with log-transformed distances. Big Data & Information Analytics, 2016, 1 (1) : 93-109. doi: 10.3934/bdia.2016.1.93 [16] Qiao Liang, Qiang Ye. Deflation by restriction for the inverse-free preconditioned Krylov subspace method. Numerical Algebra, Control & Optimization, 2016, 6 (1) : 55-71. doi: 10.3934/naco.2016.6.55 [17] Xin Zhang, Jie Wen, Qin Ni. Subspace trust-region algorithm with conic model for unconstrained optimization. Numerical Algebra, Control & Optimization, 2013, 3 (2) : 223-234. doi: 10.3934/naco.2013.3.223 [18] Gustavo Terra Bastos, Reginaldo Palazzo Júnior, Marinês Guerreiro. Abelian non-cyclic orbit codes and multishot subspace codes. Advances in Mathematics of Communications, 2019, 0 (0) : 0-0. doi: 10.3934/amc.2020035 [19] Hua Huang, Weiwei Wang, Chengwu Lu, Xiangchu Feng, Ruiqiang He. Side-information-induced reweighted sparse subspace clustering. Journal of Industrial & Management Optimization, 2017, 13 (5) : 0-0. doi: 10.3934/jimo.2020019 [20] Keisuke Minami, Takahiro Matsuda, Tetsuya Takine, Taku Noguchi. Asynchronous multiple source network coding for wireless broadcasting. Numerical Algebra, Control & Optimization, 2011, 1 (4) : 577-592. doi: 10.3934/naco.2011.1.577

2018 Impact Factor: 0.879