<p>Let <i>p</i> be an odd prime, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell \ne p\)</EquationSource> </InlineEquation> a prime and <i>m</i> a positive integer such that <i>p</i> is a primitive root modulo <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="70" /> </InlineMediaObject> <EquationSource Format="TEX">\(N:=2\ell ^m\)</EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(q = p^{\phi (N)}\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\phi\)</EquationSource> </InlineEquation> is the Euler totient function, and denote by <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> </InlineEquation> the finite field of order <i>q</i>. For <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \in \mathbb {F}_p\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \in \mathbb {F}_q\)</EquationSource> </InlineEquation>, let <Equation ID="Equ10"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_Equ10.gif" Format="GIF" Height="28" Rendition="HTML" Resolution="72" Type="Linedraw" Width="331" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \{x\in \mathbb {F}_q^*:\ \textrm{Tr}(x^{\frac{q-1}{N}} + \beta x) = \alpha \}=\{d_1,\dots ,d_n\}, \end{aligned}\)</EquationSource> </Equation>and define a <i>p</i>-ary code <Equation ID="Equ11"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_Equ11.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="331" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \mathcal {C}_{\alpha ,\beta } = \{(\textrm{Tr}(d_1 x), \ldots , \textrm{Tr}(d_n x))\in \mathbb {F}_p^n : x \in \mathbb {F}_q\}, \end{aligned}\)</EquationSource> </Equation>where <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Tr}\)</EquationSource> </InlineEquation> is the absolute trace function from <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_q\)</EquationSource> </InlineEquation> to <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}_p\)</EquationSource> </InlineEquation>. In this paper, we investigate the weight distribution of the code <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}_{\alpha ,\beta }\)</EquationSource> </InlineEquation> depending on the choice of the parameters <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq12.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq13.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta\)</EquationSource> </InlineEquation>. More precisely, we establish that <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="27" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}_{\alpha ,0}\)</EquationSource> </InlineEquation> is a two-weight code, and determine its weight distribution. For <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq15.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(\beta \ne 0\)</EquationSource> </InlineEquation>, we determine all possible weights of codewords in <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}_{\alpha ,\beta }\)</EquationSource> </InlineEquation>, showing that it has at most <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(p+1\)</EquationSource> </InlineEquation> distinct nonzero weights. Furthermore, we prove that the dual code <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq18.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}_{0,0}^{\perp }\)</EquationSource> </InlineEquation> is optimal with respect to the sphere packing bound. Our results extend previous findings for <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=2\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="200_2025_708_Article_IEq20.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=3\)</EquationSource> </InlineEquation> to all odd primes <i>p</i>.</p>

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

Weight distribution of a class of p-ary codes

  • Kaimin Cheng,
  • Du Sheng

摘要

Let p be an odd prime, \(\ell \ne p\) a prime and m a positive integer such that p is a primitive root modulo \(N:=2\ell ^m\) . Let \(q = p^{\phi (N)}\) , where \(\phi\) is the Euler totient function, and denote by \(\mathbb {F}_q\) the finite field of order q. For \(\alpha \in \mathbb {F}_p\) and \(\beta \in \mathbb {F}_q\) , let \(\begin{aligned} \{x\in \mathbb {F}_q^*:\ \textrm{Tr}(x^{\frac{q-1}{N}} + \beta x) = \alpha \}=\{d_1,\dots ,d_n\}, \end{aligned}\) and define a p-ary code \(\begin{aligned} \mathcal {C}_{\alpha ,\beta } = \{(\textrm{Tr}(d_1 x), \ldots , \textrm{Tr}(d_n x))\in \mathbb {F}_p^n : x \in \mathbb {F}_q\}, \end{aligned}\) where \(\textrm{Tr}\) is the absolute trace function from \(\mathbb {F}_q\) to \(\mathbb {F}_p\) . In this paper, we investigate the weight distribution of the code \(\mathcal {C}_{\alpha ,\beta }\) depending on the choice of the parameters \(\alpha\) and \(\beta\) . More precisely, we establish that \(\mathcal {C}_{\alpha ,0}\) is a two-weight code, and determine its weight distribution. For \(\beta \ne 0\) , we determine all possible weights of codewords in \(\mathcal {C}_{\alpha ,\beta }\) , showing that it has at most \(p+1\) distinct nonzero weights. Furthermore, we prove that the dual code \(\mathcal {C}_{0,0}^{\perp }\) is optimal with respect to the sphere packing bound. Our results extend previous findings for \(p=2\) and \(p=3\) to all odd primes p.