<p>Subspaces coding plays an important role in error correction of random network coding. To study their properties and find good constructions, the notion of cyclic subspace codes was introduced using the extension field structure of the ambient space. Those cyclic constant-dimension subspace codes (CDCs) with optimal minimum distances may have additional structures that could be effectively applied in encoding and decoding algorithms (see Trautmann et al., IEEE Trans Inf Theory 59(11):7386–7404, 2013; Etzion and Vardy, IEEE Trans Inf Theory 57(2):1165–1173, 2011; Braun et al., Forum Math Pi 4(e7):1–14, 2016; Kohnert and Kurz, Math Methods Comput Sci 5393:31–42, 2008). In this paper, two new constructions of Sidon spaces are given by tactfully adding new parameters and flexibly varying the number of parameters. Under the parameters <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( n= (2r+1)k, r \ge 2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mn>2</mn> <mi>r</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mi>k</mi> <mo>,</mo> <mi>r</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(p_0=\max \{i\in \mathbb {N}^+: \lfloor \frac{r}{i}\rfloor &gt;\lfloor \frac{r}{i+1} \rfloor \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mn>0</mn> </msub> <mo>=</mo> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">{</mo> <mi>i</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">N</mi> </mrow> <mo>+</mo> </msup> <mo>:</mo> <mrow> <mo>⌊</mo> <mfrac> <mi>r</mi> <mi>i</mi> </mfrac> <mo>⌋</mo> </mrow> <mo>&gt;</mo> <mrow> <mo>⌊</mo> <mfrac> <mi>r</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> <mo>⌋</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the first construction produces a cyclic CDC in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {G}_q(n, k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">G</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with minimum distance <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(2k-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>k</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and size <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\frac{\left( (r+\sum _{i=2}^{p_0}(\lfloor \frac{r}{i}\rfloor -\lfloor \frac{r}{i+1} \rfloor ))(q^k-1)(q-1)+r\right) (q^k-1)^{r-1}(q^n-1)}{q-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mrow> <mfenced close=")" open="("> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo>+</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>2</mn> </mrow> <msub> <mi>p</mi> <mn>0</mn> </msub> </msubsup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo>⌊</mo> <mfrac> <mi>r</mi> <mi>i</mi> </mfrac> <mo>⌋</mo> </mrow> <mo>-</mo> <mrow> <mo>⌊</mo> <mfrac> <mi>r</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> <mo>⌋</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>k</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>r</mi> </mfenced> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>k</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> </math></EquationSource> </InlineEquation>. Given parameters <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(n=2rk,r\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> <mi>r</mi> <mi>k</mi> <mo>,</mo> <mi>r</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and if <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(r=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p_0=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mn>0</mn> </msub> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, otherwise, <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(p_0=\max \{ i\in \mathbb {N}^+: \lceil \frac{r}{i}\rceil -1&gt;\lfloor \frac{r}{i+1} \rfloor \}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>p</mi> <mn>0</mn> </msub> <mo>=</mo> <mo movablelimits="true">max</mo> <mrow> <mo stretchy="false">{</mo> <mi>i</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">N</mi> </mrow> <mo>+</mo> </msup> <mo>:</mo> <mrow> <mo>⌈</mo> <mfrac> <mi>r</mi> <mi>i</mi> </mfrac> <mo>⌉</mo> </mrow> <mo>-</mo> <mn>1</mn> <mo>&gt;</mo> <mrow> <mo>⌊</mo> <mfrac> <mi>r</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> <mo>⌋</mo> </mrow> <mo stretchy="false">}</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, a cyclic CDC in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {G}_q(n, k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">G</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with minimum distance <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(2k-2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mi>k</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and size <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\frac{\left( (r-1+\sum _{i=2}^{p_0}(\lceil \frac{r}{i}\rceil -\lfloor \frac{r}{i+1} \rfloor -1))(q^k-1)(q-1)+r-1\right) (q^k-1)^{r-2}\lfloor \frac{q^k-2}{2}\rfloor (q^n-1)}{q-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mrow> <mfenced close=")" open="("> <mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo>-</mo> <mn>1</mn> <mo>+</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>2</mn> </mrow> <msub> <mi>p</mi> <mn>0</mn> </msub> </msubsup> <mrow> <mo stretchy="false">(</mo> <mrow> <mo>⌈</mo> <mfrac> <mi>r</mi> <mi>i</mi> </mfrac> <mo>⌉</mo> </mrow> <mo>-</mo> <mrow> <mo>⌊</mo> <mfrac> <mi>r</mi> <mrow> <mi>i</mi> <mo>+</mo> <mn>1</mn> </mrow> </mfrac> <mo>⌋</mo> </mrow> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>k</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>q</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mfenced> <msup> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>k</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>r</mi> <mo>-</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo>⌊</mo> <mfrac> <mrow> <msup> <mi>q</mi> <mi>k</mi> </msup> <mo>-</mo> <mn>2</mn> </mrow> <mn>2</mn> </mfrac> <mo>⌋</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>n</mi> </msup> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> </math></EquationSource> </InlineEquation> is produced by the second construction. The sizes of our cyclic CDCs are larger than the best known results. In particular, in the case of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(n=4k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>4</mn> <mi>k</mi> </mrow> </math></EquationSource> </InlineEquation>, when <i>k</i> goes to infinity, the ratio between the size of our cyclic CDC and the Sphere-packing bound (Johnson bound) is approximately equal to <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\frac{1}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> </math></EquationSource> </InlineEquation>. Moreover, for a prime power <i>q</i> and positive integers <i>k</i>,&#xa0;<i>s</i> with <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(1\le s&lt; k-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>s</mi> <mo>&lt;</mo> <mi>k</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, a cyclic CDC in <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathcal {G}_q(N, k)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">G</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>N</mi> <mo>,</mo> <mi>k</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of size <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(e\frac{q^N-1}{q-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mfrac> <mrow> <msup> <mi>q</mi> <mi>N</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> <mrow> <mi>q</mi> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> and minimum distance <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\ge 2k-2s\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>≥</mo> <mn>2</mn> <mi>k</mi> <mo>-</mo> <mn>2</mn> <mi>s</mi> </mrow> </math></EquationSource> </InlineEquation> is provided by subspace polynomials, where <i>N</i>,&#xa0;<i>e</i> are positive integers. Our construction generalizes previous results and, under certain parameters, provides cyclic CDCs with larger sizes or more admissible values of <i>N</i> than constructions based on trinomials.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

New constructions of cyclic constant-dimension subspace codes based on Sidon spaces and subspace polynomials

  • Gang Wang,
  • Ming Xu,
  • You Gao

摘要

Subspaces coding plays an important role in error correction of random network coding. To study their properties and find good constructions, the notion of cyclic subspace codes was introduced using the extension field structure of the ambient space. Those cyclic constant-dimension subspace codes (CDCs) with optimal minimum distances may have additional structures that could be effectively applied in encoding and decoding algorithms (see Trautmann et al., IEEE Trans Inf Theory 59(11):7386–7404, 2013; Etzion and Vardy, IEEE Trans Inf Theory 57(2):1165–1173, 2011; Braun et al., Forum Math Pi 4(e7):1–14, 2016; Kohnert and Kurz, Math Methods Comput Sci 5393:31–42, 2008). In this paper, two new constructions of Sidon spaces are given by tactfully adding new parameters and flexibly varying the number of parameters. Under the parameters \( n= (2r+1)k, r \ge 2 \) n = ( 2 r + 1 ) k , r 2 and \(p_0=\max \{i\in \mathbb {N}^+: \lfloor \frac{r}{i}\rfloor >\lfloor \frac{r}{i+1} \rfloor \}\) p 0 = max { i N + : r i > r i + 1 } , the first construction produces a cyclic CDC in \(\mathcal {G}_q(n, k)\) G q ( n , k ) with minimum distance \(2k-2\) 2 k - 2 and size \(\frac{\left( (r+\sum _{i=2}^{p_0}(\lfloor \frac{r}{i}\rfloor -\lfloor \frac{r}{i+1} \rfloor ))(q^k-1)(q-1)+r\right) (q^k-1)^{r-1}(q^n-1)}{q-1}\) ( r + i = 2 p 0 ( r i - r i + 1 ) ) ( q k - 1 ) ( q - 1 ) + r ( q k - 1 ) r - 1 ( q n - 1 ) q - 1 . Given parameters \(n=2rk,r\ge 2\) n = 2 r k , r 2 and if \(r=2\) r = 2 , \(p_0=1\) p 0 = 1 , otherwise, \(p_0=\max \{ i\in \mathbb {N}^+: \lceil \frac{r}{i}\rceil -1>\lfloor \frac{r}{i+1} \rfloor \}\) p 0 = max { i N + : r i - 1 > r i + 1 } , a cyclic CDC in \(\mathcal {G}_q(n, k)\) G q ( n , k ) with minimum distance \(2k-2\) 2 k - 2 and size \(\frac{\left( (r-1+\sum _{i=2}^{p_0}(\lceil \frac{r}{i}\rceil -\lfloor \frac{r}{i+1} \rfloor -1))(q^k-1)(q-1)+r-1\right) (q^k-1)^{r-2}\lfloor \frac{q^k-2}{2}\rfloor (q^n-1)}{q-1}\) ( r - 1 + i = 2 p 0 ( r i - r i + 1 - 1 ) ) ( q k - 1 ) ( q - 1 ) + r - 1 ( q k - 1 ) r - 2 q k - 2 2 ( q n - 1 ) q - 1 is produced by the second construction. The sizes of our cyclic CDCs are larger than the best known results. In particular, in the case of \(n=4k\) n = 4 k , when k goes to infinity, the ratio between the size of our cyclic CDC and the Sphere-packing bound (Johnson bound) is approximately equal to \(\frac{1}{2}\) 1 2 . Moreover, for a prime power q and positive integers ks with \(1\le s< k-1\) 1 s < k - 1 , a cyclic CDC in \(\mathcal {G}_q(N, k)\) G q ( N , k ) of size \(e\frac{q^N-1}{q-1}\) e q N - 1 q - 1 and minimum distance \(\ge 2k-2s\) 2 k - 2 s is provided by subspace polynomials, where Ne are positive integers. Our construction generalizes previous results and, under certain parameters, provides cyclic CDCs with larger sizes or more admissible values of N than constructions based on trinomials.