<p>The <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-additive codes are subgroups of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="115" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2^{\alpha _1} \times \mathbb {Z}_4^{\alpha _2} \times \mathbb {Z}_8^{\alpha _3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> <msub> <mi>α</mi> <mn>1</mn> </msub> </msubsup> <mo>×</mo> <msubsup> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> <msub> <mi>α</mi> <mn>2</mn> </msub> </msubsup> <mo>×</mo> <msubsup> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> <msub> <mi>α</mi> <mn>3</mn> </msub> </msubsup> </mrow> </math></EquationSource> </InlineEquation>. A <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard code is a Hadamard code which is the Gray map image of a <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-additive code. A recursive construction of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-additive Hadamard codes of type <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="140" /> </InlineMediaObject> <EquationSource Format="TEX">\((\alpha _1,\alpha _2, \alpha _3;t_1,t_2, t_3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>α</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>α</mi> <mn>3</mn> </msub> <mo>;</mo> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo>,</mo> <msub> <mi>t</mi> <mn>3</mn> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _1 \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _2 \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>2</mn> </msub> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _3 \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>3</mn> </msub> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(t_1\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>1</mn> </msub> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(t_2 \ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>2</mn> </msub> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(t_3\ge 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>t</mi> <mn>3</mn> </msub> <mo>≥</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> is known. In this paper, we generalize some known results for <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard codes to <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard codes with <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq10.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _1 \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq11.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _2 \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>2</mn> </msub> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="49" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha _3 \ne 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>3</mn> </msub> <mo>≠</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. First, we show for which types the corresponding <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard codes of length <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^t\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mi>t</mi> </msup> </math></EquationSource> </InlineEquation> are nonlinear. For these codes, we compute the kernel and its dimension, which allows us to give a partial classification of these codes. Moreover, for <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq23.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="77" /> </InlineMediaObject> <EquationSource Format="TEX">\(3 \le t \le 11\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>≤</mo> <mi>t</mi> <mo>≤</mo> <mn>11</mn> </mrow> </math></EquationSource> </InlineEquation>, we give a complete classification by providing the exact amount of nonequivalent such codes. We also prove the existence of several families of infinite such nonlinear <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard codes, which are not equivalent to any other constructed <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="53" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>8</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard code, nor to any <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_2\mathbb {Z}_4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="double-struck">Z</mi> <mn>2</mn> </msub> <msub> <mi mathvariant="double-struck">Z</mi> <mn>4</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>-linear Hadamard code, nor to any previously constructed <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq27.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_{2^s}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <msup> <mn>2</mn> <mi>s</mi> </msup> </msub> </math></EquationSource> </InlineEquation>-linear Hadamard code with <InlineEquation ID="IEq28"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq28.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(s\ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, with the same length <InlineEquation ID="IEq29"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1696_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^t\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mn>2</mn> <mi>t</mi> </msup> </math></EquationSource> </InlineEquation>.</p>

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

Linearity and classification of \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\)-linear Hadamard codes

  • Dipak K. Bhunia,
  • Cristina Fernández-Córdoba,
  • Mercè Villanueva

摘要

The \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -additive codes are subgroups of \(\mathbb {Z}_2^{\alpha _1} \times \mathbb {Z}_4^{\alpha _2} \times \mathbb {Z}_8^{\alpha _3}\) Z 2 α 1 × Z 4 α 2 × Z 8 α 3 . A \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -linear Hadamard code is a Hadamard code which is the Gray map image of a \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -additive code. A recursive construction of \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -additive Hadamard codes of type \((\alpha _1,\alpha _2, \alpha _3;t_1,t_2, t_3)\) ( α 1 , α 2 , α 3 ; t 1 , t 2 , t 3 ) with \(\alpha _1 \ne 0\) α 1 0 , \(\alpha _2 \ne 0\) α 2 0 , \(\alpha _3 \ne 0\) α 3 0 , \(t_1\ge 1\) t 1 1 , \(t_2 \ge 0\) t 2 0 , and \(t_3\ge 1\) t 3 1 is known. In this paper, we generalize some known results for \(\mathbb {Z}_2\mathbb {Z}_4\) Z 2 Z 4 -linear Hadamard codes to \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -linear Hadamard codes with \(\alpha _1 \ne 0\) α 1 0 , \(\alpha _2 \ne 0\) α 2 0 , and \(\alpha _3 \ne 0\) α 3 0 . First, we show for which types the corresponding \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -linear Hadamard codes of length \(2^t\) 2 t are nonlinear. For these codes, we compute the kernel and its dimension, which allows us to give a partial classification of these codes. Moreover, for \(3 \le t \le 11\) 3 t 11 , we give a complete classification by providing the exact amount of nonequivalent such codes. We also prove the existence of several families of infinite such nonlinear \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -linear Hadamard codes, which are not equivalent to any other constructed \(\mathbb {Z}_2\mathbb {Z}_4\mathbb {Z}_8\) Z 2 Z 4 Z 8 -linear Hadamard code, nor to any \(\mathbb {Z}_2\mathbb {Z}_4\) Z 2 Z 4 -linear Hadamard code, nor to any previously constructed \(\mathbb {Z}_{2^s}\) Z 2 s -linear Hadamard code with \(s\ge 2\) s 2 , with the same length \(2^t\) 2 t .