<p>An <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1716_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\([n,k,d]_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">]</mo> </mrow> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> code is a linear code of length <i>n</i>, dimension <i>k</i> and minimum weight <i>d</i> over <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1716_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <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>, the field of order <i>q</i>. A fundamental problem in coding theory is to find <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1716_Article_IEq3.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(n_q(k,d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>n</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, the minimum length <i>n</i> for which an <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1716_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\([n,k,d]_q\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mrow> <mo stretchy="false">[</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">]</mo> </mrow> <mi>q</mi> </msub> </math></EquationSource> </InlineEquation> code exists for given <i>k</i>,&#xa0;<i>d</i> and <i>q</i>. It is known that the Griesmer bound is attained for all sufficiently large <i>d</i> for fixed <i>q</i> and <i>k</i>. So, a natural question is to find <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1716_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_{q,k}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, the largest value of <i>d</i> such that the Griesmer bound is not attained for fixed <i>q</i> and <i>k</i>, which is still open for many cases. We pose a conjecture on <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1716_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(D_{q,k}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>D</mi> <mrow> <mi>q</mi> <mo>,</mo> <mi>k</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, and we show some cases where our conjecture is valid.</p>

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

A conjecture on the minimum length of linear codes over finite fields

  • Daiki Kawabata,
  • Tatsuya Maruta,
  • Keita Yasufuku

摘要

An \([n,k,d]_q\) [ n , k , d ] q code is a linear code of length n, dimension k and minimum weight d over \({\mathbb {F}}_q\) F q , the field of order q. A fundamental problem in coding theory is to find \(n_q(k,d)\) n q ( k , d ) , the minimum length n for which an \([n,k,d]_q\) [ n , k , d ] q code exists for given kd and q. It is known that the Griesmer bound is attained for all sufficiently large d for fixed q and k. So, a natural question is to find \(D_{q,k}\) D q , k , the largest value of d such that the Griesmer bound is not attained for fixed q and k, which is still open for many cases. We pose a conjecture on \(D_{q,k}\) D q , k , and we show some cases where our conjecture is valid.