<p>Consider a vector space of dimension 2<i>n</i>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, defined over the finite field of order <i>q</i>, that is equipped with a nondegenerate alternating bilinear form <i>f</i>. Denote by <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(W(2n-1,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the symplectic polar space associated with (<i>V</i>,&#xa0;<i>f</i>). For <i>q</i> even, let <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> denote the binary linear code spanned by those hyperbolic quadrics of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textrm{PG}(2n-1,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PG</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with quadratic forms <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\kappa \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>κ</mi> </math></EquationSource> </InlineEquation> for which the associated symmetric bilinear form <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(f_{\kappa }\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>f</mi> <mi>κ</mi> </msub> </math></EquationSource> </InlineEquation> equals <i>f</i>, up to a nonzero factor. The dimension of the code <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> is known, see Sastry and Sin (J Comb Theory Ser A 94(1):1–14, 2001). In this paper, we characterize the codewords of minimum and maximum weights in <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> and its dual code <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\({\mathcal {H}}^{\perp }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">H</mi> </mrow> <mo>⊥</mo> </msup> </math></EquationSource> </InlineEquation> (Theorem&#xa0;<InternalRef RefID="FPar1">1.1</InternalRef>). For all <i>q</i>, we also determine the minimum size blocking sets in <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\textrm{PG}(2n-1,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>PG</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with respect to the hyperbolic lines of <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(W(2n-1,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>W</mi> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (Theorem <InternalRef RefID="FPar16">4.8</InternalRef>) which is needed to characterize the maximum weight codewords of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>.</p>

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

Binary code generated by the hyperbolic quadrics of \(W(2n-1,q),\) q even

  • Devjyoti Das,
  • Bart De Bruyn,
  • Binod Kumar Sahoo,
  • N. S. Narasimha Sastry

摘要

Consider a vector space of dimension 2n, \(n \ge 2\) n 2 , defined over the finite field of order q, that is equipped with a nondegenerate alternating bilinear form f. Denote by \(W(2n-1,q)\) W ( 2 n - 1 , q ) the symplectic polar space associated with (Vf). For q even, let \({\mathcal {H}}\) H denote the binary linear code spanned by those hyperbolic quadrics of \(\textrm{PG}(2n-1,q)\) PG ( 2 n - 1 , q ) with quadratic forms \(\kappa \) κ for which the associated symmetric bilinear form \(f_{\kappa }\) f κ equals f, up to a nonzero factor. The dimension of the code \({\mathcal {H}}\) H is known, see Sastry and Sin (J Comb Theory Ser A 94(1):1–14, 2001). In this paper, we characterize the codewords of minimum and maximum weights in \({\mathcal {H}}\) H and its dual code \({\mathcal {H}}^{\perp }\) H (Theorem 1.1). For all q, we also determine the minimum size blocking sets in \(\textrm{PG}(2n-1,q)\) PG ( 2 n - 1 , q ) with respect to the hyperbolic lines of \(W(2n-1,q)\) W ( 2 n - 1 , q ) (Theorem 4.8) which is needed to characterize the maximum weight codewords of \({\mathcal {H}}\) H .