<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(m \ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> be an integer, and let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> be the finite field of order <i>q</i>. Let <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {F}_q^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation> denote the set of all <i>m</i>-tuples over <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {F}_q.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> For an integer <i>t</i> satisfying <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(0 \le t \le m,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>t</mi> <mo>≤</mo> <mi>m</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> let <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {D}_t\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">D</mi> <mi>t</mi> </msub> </math></EquationSource> </InlineEquation> be the set of all vectors in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {F}_q^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation> with Hamming weight at most <i>t</i>. In this paper, we study linear codes over <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> with defining sets <Equation ID="Equ51"> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {D}_{t_2} \setminus \mathcal {D}_{t_1-1},~~(\mathbb {F}_q^m\setminus \mathcal {D}_{t_2}) \cup (\mathcal {D}_{t_1-1}\setminus \{{\textbf {0}}\}),~~(\mathcal {D}_{t_2}\setminus \mathcal {D}_{t_1-1}) \cup (\mathbb {F}_q^m\setminus \mathcal {D}_{m-1})\text { and }(\mathcal {D}_{t_2} \setminus \mathcal {D}_{t_1-1}) \cup \{{\textbf {1}}\}, \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> <mspace width="3.33333pt" /> <mspace width="3.33333pt" /> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn mathvariant="bold">0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mspace width="3.33333pt" /> <mspace width="3.33333pt" /> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mspace width="0.333333em" /> <mtext>and</mtext> <mspace width="0.333333em" /> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">{</mo> <mn mathvariant="bold">1</mn> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(t_1,t_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation> are positive integers with <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(t_1 \le t_2 \le m - 1,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>≤</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo>≤</mo> <mi>m</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\textbf {1}} = (1,1,\ldots ,1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn mathvariant="bold">1</mn> <mo>=</mo> <mo stretchy="false">(</mo> <mn>1</mn> <mo>,</mo> <mn>1</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the all-one vector in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathbb {F}_q^m.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We also study projective codes over <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> whose defining sets are maximal subsets of these sets, where each maximal subset consists of vectors generating distinct one-dimensional subspaces of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {F}_q^m\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathbb {F}_q.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We explicitly determine the parameters and Hamming weight enumerators of these codes, as well as the parameters of their dual codes. Furthermore, we study the hulls of linear codes over <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> with defining sets <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathcal {D}_{t_2} {\setminus } \mathcal {D}_{t_1-1},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\((\mathbb {F}_q^m{\setminus }\mathcal {D}_{t_2}) \cup (\mathcal {D}_{t_1-1}{\setminus }\{{\textbf {0}}\}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mo stretchy="false">{</mo> <mn mathvariant="bold">0</mn> <mo stretchy="false">}</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\((\mathcal {D}_{t_2}{\setminus } \mathcal {D}_{t_1-1}) \cup (\mathbb {F}_q^m{\setminus }\mathcal {D}_{m-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\((\mathcal {D}_{t_2} {\setminus } \mathcal {D}_{t_1-1}) \cup \{{\textbf {1}}\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">D</mi> <msub> <mi>t</mi> <mn>2</mn> </msub> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <msub> <mi mathvariant="script">D</mi> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> <mo>∪</mo> <mrow> <mo stretchy="false">{</mo> <mn mathvariant="bold">1</mn> <mo stretchy="false">}</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and explicitly determine their dimensions. In doing so, we enumerate certain sets arising in the study of hulls of linear codes associated with simplicial complexes. Motivated by this, we also study the hulls of linear codes over <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> with defining sets <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\mathbb {F}_q^m{\setminus }\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi mathvariant="normal">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\Delta {\setminus }\{{\textbf {0}}\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Δ</mi> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mo stretchy="false">{</mo> <mn mathvariant="bold">0</mn> <mo stretchy="false">}</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\Delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Δ</mi> </math></EquationSource> </InlineEquation> is a simplicial complex of <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(\mathbb {F}_q^m.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="double-struck">F</mi> <mi>q</mi> <mi>m</mi> </msubsup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> As applications, we construct an infinite family of <i>q</i>-ary distance-optimal entanglement-assisted quantum error-correcting codes (EAQECCs) and an infinite family of <i>q</i>-ary almost dimension-optimal EAQECCs, both valid for all <InlineEquation ID="IEq26"> <EquationSource Format="TEX">\(q &gt; 3.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>&gt;</mo> <mn>3</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Moreover, we obtain several infinite families of projective codes with few weights, distance-optimal codes, dimension-optimal codes, self-orthogonal codes, and linear codes with complementary duals (or LCD codes), all with new parameters. Besides this, as an additional application of our newly constructed projective codes, we construct two infinite families of <i>q</i>-ary alphabet-optimal locally repairable codes with locality 2 for all <InlineEquation ID="IEq27"> <EquationSource Format="TEX">\(q\ge 3.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≥</mo> <mn>3</mn> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation></p>

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

Infinite families of linear codes over finite fields with new parameters and their hull dimensions

  • Lavanya G.,
  • Anuradha Sharma

摘要

Let \(m \ge 3\) m 3 be an integer, and let \(\mathbb {F}_q\) F q be the finite field of order q. Let \(\mathbb {F}_q^m\) F q m denote the set of all m-tuples over \(\mathbb {F}_q.\) F q . For an integer t satisfying \(0 \le t \le m,\) 0 t m , let \(\mathcal {D}_t\) D t be the set of all vectors in \(\mathbb {F}_q^m\) F q m with Hamming weight at most t. In this paper, we study linear codes over \(\mathbb {F}_q\) F q with defining sets \(\begin{aligned} \mathcal {D}_{t_2} \setminus \mathcal {D}_{t_1-1},~~(\mathbb {F}_q^m\setminus \mathcal {D}_{t_2}) \cup (\mathcal {D}_{t_1-1}\setminus \{{\textbf {0}}\}),~~(\mathcal {D}_{t_2}\setminus \mathcal {D}_{t_1-1}) \cup (\mathbb {F}_q^m\setminus \mathcal {D}_{m-1})\text { and }(\mathcal {D}_{t_2} \setminus \mathcal {D}_{t_1-1}) \cup \{{\textbf {1}}\}, \end{aligned}\) D t 2 \ D t 1 - 1 , ( F q m \ D t 2 ) ( D t 1 - 1 \ { 0 } ) , ( D t 2 \ D t 1 - 1 ) ( F q m \ D m - 1 ) and ( D t 2 \ D t 1 - 1 ) { 1 } , where \(t_1,t_2\) t 1 , t 2 are positive integers with \(t_1 \le t_2 \le m - 1,\) t 1 t 2 m - 1 , and \({\textbf {1}} = (1,1,\ldots ,1)\) 1 = ( 1 , 1 , , 1 ) is the all-one vector in \(\mathbb {F}_q^m.\) F q m . We also study projective codes over \(\mathbb {F}_q\) F q whose defining sets are maximal subsets of these sets, where each maximal subset consists of vectors generating distinct one-dimensional subspaces of \(\mathbb {F}_q^m\) F q m over \(\mathbb {F}_q.\) F q . We explicitly determine the parameters and Hamming weight enumerators of these codes, as well as the parameters of their dual codes. Furthermore, we study the hulls of linear codes over \(\mathbb {F}_q\) F q with defining sets \(\mathcal {D}_{t_2} {\setminus } \mathcal {D}_{t_1-1},\) D t 2 \ D t 1 - 1 , \((\mathbb {F}_q^m{\setminus }\mathcal {D}_{t_2}) \cup (\mathcal {D}_{t_1-1}{\setminus }\{{\textbf {0}}\}),\) ( F q m \ D t 2 ) ( D t 1 - 1 \ { 0 } ) , \((\mathcal {D}_{t_2}{\setminus } \mathcal {D}_{t_1-1}) \cup (\mathbb {F}_q^m{\setminus }\mathcal {D}_{m-1})\) ( D t 2 \ D t 1 - 1 ) ( F q m \ D m - 1 ) and \((\mathcal {D}_{t_2} {\setminus } \mathcal {D}_{t_1-1}) \cup \{{\textbf {1}}\},\) ( D t 2 \ D t 1 - 1 ) { 1 } , and explicitly determine their dimensions. In doing so, we enumerate certain sets arising in the study of hulls of linear codes associated with simplicial complexes. Motivated by this, we also study the hulls of linear codes over \(\mathbb {F}_q\) F q with defining sets \(\mathbb {F}_q^m{\setminus }\Delta \) F q m \ Δ and \(\Delta {\setminus }\{{\textbf {0}}\},\) Δ \ { 0 } , where \(\Delta \) Δ is a simplicial complex of \(\mathbb {F}_q^m.\) F q m . As applications, we construct an infinite family of q-ary distance-optimal entanglement-assisted quantum error-correcting codes (EAQECCs) and an infinite family of q-ary almost dimension-optimal EAQECCs, both valid for all \(q > 3.\) q > 3 . Moreover, we obtain several infinite families of projective codes with few weights, distance-optimal codes, dimension-optimal codes, self-orthogonal codes, and linear codes with complementary duals (or LCD codes), all with new parameters. Besides this, as an additional application of our newly constructed projective codes, we construct two infinite families of q-ary alphabet-optimal locally repairable codes with locality 2 for all \(q\ge 3.\) q 3 .