<p>We generalize a classical result of Barlotti concerning the unique extendability of arcs in the projective plane to higher-dimensional projective spaces. Specifically, we show that for integers <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\( k \ge 3 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( s \ge 0 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, and prime power <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( q \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>q</mi> </math></EquationSource> </InlineEquation>, any <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((n, k + s - 1)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi>k</mi> <mo>+</mo> <mi>s</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-arc in PG<InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((k - 1, q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> of size <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\( n = (s+1)(q+1) + k - 3 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi>s</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mi>q</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>+</mo> <mi>k</mi> <mo>-</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> admits a unique extension to a maximal arc, provided <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\( s + 2 \mid q \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>+</mo> <mn>2</mn> <mo>∣</mo> <mi>q</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\( s &lt; q - 2 \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>s</mi> <mo>&lt;</mo> <mi>q</mi> <mo>-</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>. This result extends the classical characterizations of maximal arcs in PG<InlineEquation ID="IEq9"> <EquationSource Format="TEX">\((2,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and connects naturally to the theory of A<InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(^s\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mrow /> <mi>s</mi> </mmultiscripts> </math></EquationSource> </InlineEquation>MDS codes. Our findings establish conditions under which linear codes of given dimension and Singleton defect can be uniquely extended to maximal-length projective codes.</p>

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

When arcs extend uniquely: a higher-dimensional generalization of Barlotti’s result

  • Tim Alderson

摘要

We generalize a classical result of Barlotti concerning the unique extendability of arcs in the projective plane to higher-dimensional projective spaces. Specifically, we show that for integers \( k \ge 3 \) k 3 , \( s \ge 0 \) s 0 , and prime power \( q \) q , any \((n, k + s - 1)\) ( n , k + s - 1 ) -arc in PG \((k - 1, q)\) ( k - 1 , q ) of size \( n = (s+1)(q+1) + k - 3 \) n = ( s + 1 ) ( q + 1 ) + k - 3 admits a unique extension to a maximal arc, provided \( s + 2 \mid q \) s + 2 q and \( s < q - 2 \) s < q - 2 . This result extends the classical characterizations of maximal arcs in PG \((2,q)\) ( 2 , q ) and connects naturally to the theory of A \(^s\) s MDS codes. Our findings establish conditions under which linear codes of given dimension and Singleton defect can be uniquely extended to maximal-length projective codes.