<p>For a Kummer extension defined by the affine equation <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(y^{m}=\prod _{i=1}^{r} (x-\alpha _i)^{\lambda _i}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>y</mi> <mi>m</mi> </msup> <mo>=</mo> <msubsup> <mo>∏</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>r</mi> </msubsup> <msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>-</mo> <msub> <mi>α</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <msub> <mi>λ</mi> <mi>i</mi> </msub> </msup> </mrow> </math></EquationSource> </InlineEquation> over an algebraic extension <i>K</i> of a finite field <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>, where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\lambda _i\in \mathbb {Z}\backslash \{0\}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mi>i</mi> </msub> <mrow> <mo>∈</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="true">\</mo> <mrow> <mo stretchy="false">{</mo> <mn>0</mn> <mo stretchy="false">}</mo> </mrow> </mrow> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(1\le i\le r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\gcd (m,q) = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo movablelimits="true">gcd</mo> <mo stretchy="false">(</mo> <mi>m</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\alpha _1,\ldots ,\alpha _r\in K\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>α</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>α</mi> <mi>r</mi> </msub> <mo>∈</mo> <mi>K</mi> </mrow> </math></EquationSource> </InlineEquation> are pairwise distinct elements, we propose a simple and efficient method to find all pure gaps at many totally ramified places. We introduce a bottom set of pure gaps and indicate that the set of pure gaps is completely determined by the bottom set. Furthermore, we demonstrate that a pure gap can be deduced from a known pure gap by easily verifying only one inequality. Then, in the case where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda _1 = \lambda _2 = \cdots = \lambda _r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>λ</mi> <mn>1</mn> </msub> <mo>=</mo> <msub> <mi>λ</mi> <mn>2</mn> </msub> <mo>=</mo> <mo>⋯</mo> <mo>=</mo> <msub> <mi>λ</mi> <mi>r</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, we fully determine an explicit description of the set of pure gaps at many totally ramified places. This includes the scenario in which the set of these places contains the infinite place. Finally, we apply these results to construct multi-point algebraic geometry codes with good parameters. As one of the examples, a presented code with parameters <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\([74, 60, \ge 10]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mn>74</mn> <mo>,</mo> <mn>60</mn> <mo>,</mo> <mo>≥</mo> <mn>10</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {F}_{25}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">F</mi> <mn>25</mn> </msub> </math></EquationSource> </InlineEquation> yields a new record.</p>

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

Pure gaps at many places and multi-point AG codes from arbitrary Kummer extensions

  • Huachao Zhang,
  • Chang-An Zhao

摘要

For a Kummer extension defined by the affine equation \(y^{m}=\prod _{i=1}^{r} (x-\alpha _i)^{\lambda _i}\) y m = i = 1 r ( x - α i ) λ i over an algebraic extension K of a finite field \(\mathbb {F}_q\) F q , where \(\lambda _i\in \mathbb {Z}\backslash \{0\}\) λ i Z \ { 0 } for \(1\le i\le r\) 1 i r , \(\gcd (m,q) = 1\) gcd ( m , q ) = 1 , and \(\alpha _1,\ldots ,\alpha _r\in K\) α 1 , , α r K are pairwise distinct elements, we propose a simple and efficient method to find all pure gaps at many totally ramified places. We introduce a bottom set of pure gaps and indicate that the set of pure gaps is completely determined by the bottom set. Furthermore, we demonstrate that a pure gap can be deduced from a known pure gap by easily verifying only one inequality. Then, in the case where \(\lambda _1 = \lambda _2 = \cdots = \lambda _r\) λ 1 = λ 2 = = λ r , we fully determine an explicit description of the set of pure gaps at many totally ramified places. This includes the scenario in which the set of these places contains the infinite place. Finally, we apply these results to construct multi-point algebraic geometry codes with good parameters. As one of the examples, a presented code with parameters \([74, 60, \ge 10]\) [ 74 , 60 , 10 ] over \(\mathbb {F}_{25}\) F 25 yields a new record.