<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(V=V(d,q)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>V</mi> <mo>=</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>q</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denote the vector space of dimension <i>d</i> over <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>. A <i>subspace partition</i> <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation> of <i>V</i>, also known as a <i>vector space partition</i>, is a collection of nonempty subspaces of <i>V</i> such that each nonzero vector of <i>V</i> is in exactly one subspace of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {P}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">P</mi> </math></EquationSource> </InlineEquation>. Motivated by applications of <i>minimum blocking sets</i> and <i>maximal partial t-spreads</i>, Beutelspacher (Geom Dedic 9:425–449, 1980) determined in a lemma the minimum possible size <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\delta (d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>δ</mi> <mo stretchy="false">(</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> over all (nontrivial) subspace partitions of <i>V</i>. In Heden et al. (Des Codes Cryptogr 64:265–274, 2012) and Năstase and Sissokho (Linear Algebra Appl 435:1213–1221, 2011), we extended Beutelspacher’s Lemma by determining the <i>(first) minimum size</i> <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\sigma _q(d,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>σ</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of any subspace partition of <i>V</i> for which the largest subspace has dimension <i>t</i>, with <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(1\le t&lt;d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>t</mi> <mo>&lt;</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we build on the previous results and unveil additional structural information of subspace partitions. We determine the <i>second minimum size</i> <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\delta '(d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>δ</mi> <mo>′</mo> </msup> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> over all (nontrivial) subspace partitions of <i>V</i> and furthermore, for <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(d\equiv r \pmod {t}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>≡</mo> <mi>r</mi> <mspace width="4.44443pt" /> <mo stretchy="false">(</mo> <mo>mod</mo> <mspace width="0.277778em" /> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(0\le r&lt;t&lt;d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>≤</mo> <mi>r</mi> <mo>&lt;</mo> <mi>t</mi> <mo>&lt;</mo> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, we prove the exact value of the <i>second minimum size</i> <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\sigma _q'(d,t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>σ</mi> <mi>q</mi> <mo>′</mo> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>d</mi> <mo>,</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of any subspace partition of <i>V</i> for which the largest subspace has dimension <i>t</i> and when at least one of the following holds: (i) <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(r=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, (ii) <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(t+r\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>+</mo> <mi>r</mi> </mrow> </math></EquationSource> </InlineEquation> is even, (iii) <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(d&lt;2t\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mo>&lt;</mo> <mn>2</mn> <mi>t</mi> </mrow> </math></EquationSource> </InlineEquation> or (iv) the partition has only subspaces of two different dimensions. Finally, applications to the <i>supertail</i> of a subspace partition and the size of maximal partial spreads are given.</p>

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

The second minimum size of a finite subspace partition

  • Esmeralda Năstase,
  • Papa Sissokho

摘要

Let \(V=V(d,q)\) V = V ( d , q ) denote the vector space of dimension d over \({\mathbb F}_q\) F q . A subspace partition \(\mathcal {P}\) P of V, also known as a vector space partition, is a collection of nonempty subspaces of V such that each nonzero vector of V is in exactly one subspace of \(\mathcal {P}\) P . Motivated by applications of minimum blocking sets and maximal partial t-spreads, Beutelspacher (Geom Dedic 9:425–449, 1980) determined in a lemma the minimum possible size \(\delta (d)\) δ ( d ) over all (nontrivial) subspace partitions of V. In Heden et al. (Des Codes Cryptogr 64:265–274, 2012) and Năstase and Sissokho (Linear Algebra Appl 435:1213–1221, 2011), we extended Beutelspacher’s Lemma by determining the (first) minimum size \(\sigma _q(d,t)\) σ q ( d , t ) of any subspace partition of V for which the largest subspace has dimension t, with \(1\le t<d\) 1 t < d . In this paper, we build on the previous results and unveil additional structural information of subspace partitions. We determine the second minimum size \(\delta '(d)\) δ ( d ) over all (nontrivial) subspace partitions of V and furthermore, for \(d\equiv r \pmod {t}\) d r ( mod t ) and \(0\le r<t<d\) 0 r < t < d , we prove the exact value of the second minimum size \(\sigma _q'(d,t)\) σ q ( d , t ) of any subspace partition of V for which the largest subspace has dimension t and when at least one of the following holds: (i) \(r=0\) r = 0 , (ii) \(t+r\) t + r is even, (iii) \(d<2t\) d < 2 t or (iv) the partition has only subspaces of two different dimensions. Finally, applications to the supertail of a subspace partition and the size of maximal partial spreads are given.