<p>In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1678_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{PG}\,}}(n, q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>PG</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of (<i>s</i>,&#xa0;<i>t</i>)-blocking sets in <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1678_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{PG}\,}}(n,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>PG</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where we set <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1678_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(s=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1678_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\(t=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. In <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10623_2025_1678_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{PG}\,}}(n,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mtext>PG</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, an (<i>s</i>,&#xa0;<i>t</i>)-blocking set refers to a set of <i>t</i>-spaces such that each <i>s</i>-space is incident with at least one chosen <i>t</i>-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain <i>q</i>-Turán designs and <i>q</i>-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well.</p>

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

Blocking planes by lines in \({{\,\textrm{PG}\,}}(n,q)\)

  • Benedek Kovács,
  • Zoltán Lóránt Nagy,
  • Dávid R. Szabó

摘要

In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces \({{\,\textrm{PG}\,}}(n, q)\) PG ( n , q ) such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of (st)-blocking sets in \({{\,\textrm{PG}\,}}(n,q)\) PG ( n , q ) , where we set \(s=2\) s = 2 and \(t=1\) t = 1 . In \({{\,\textrm{PG}\,}}(n,q)\) PG ( n , q ) , an (st)-blocking set refers to a set of t-spaces such that each s-space is incident with at least one chosen t-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain q-Turán designs and q-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well.