arXiv++ Combinatorics

A subspace partition $Π$ of $V=V(n,q)$ is a collection of subspaces of $V$ such that each 1-dimensional subspace of $V$ is in exactly one subspace of $Π$. The size of $Π$ is the number of its subspaces. Let $σ_q(n,t)$ denote the minimum size of a subspace partition of $V$ in which the largest subspace has dimension $t$, and let $ρ_q(n,t)$ denote the maximum size of a subspace partition of $V$ in which the smallest subspace has dimension $t$. In this paper, we determine the values of $σ_q(n,t)$ and $ρ_q(n,t)$ for all positive integers $n$ and $t$. Furthermore, we prove that if $n\geq 2t$, then the minimum size of a maximal partial $t$-spread in $V(n+t-1,q)$ is $σ_q(n,t)$.

A {\it vector space partition} is here a collection $\mathcal P$ of subspaces of a finite vector space $V(n,q)$, of dimension $n$ over a finite field with $q$ elements, with the property that every non zero vector is contained in a unique member of $\mathcal P$. Vector space partitions relates to finite projective planes, design theory and error correcting codes. In the first part of the talk I will discuss some relations between vector space partitions and other branches of mathematics. The other part of the talk contains a survey of known results on the type of a vector space partition, more precisely: the theorem of Beutelspacher and Heden on $\mathrm{T}$-partitions, rather recent results of El-Zanati et al. on the different types that appear in the spaces V(n,2), for $n\leq8$, a result of Heden and Lehmann on vector space partitions and maximal partial spreads including their new necessary condition for the existence of a vector space partition, and furthermore, I will give a theorem of Heden on the length of the tail of a vector space partition. Finally, I will also give a few historical remarks.

An $(s,t)$-spread in a finite vector space $V=V(n,q)$ is a collection $\mathcal F$ of $t$-dimensional subspaces of $V$ with the property that every $s$-dimensional subspace of $V$ is contained in exactly one member of $\mathcal F$. It is remarkable that no $(s,t)$-spreads has been found yet, except in the case $s=1$. In this note, the concept $α$-point to a $(2,3)$-spread $\mathcal F$ in {$V=V(7,2)$} is introduced. A classical result of Thomas, applied to the vector space $V$, states that all points of $V$ cannot be $α$-points to a given $(2,3)$-spread $\mathcal F$ in $V$. {In this note, we strengthened this result by proving that} every 6-dimensional subspace of $V$ must contain at least one point that is not an $α$-point to a given $(2,3)$-spread of $V$.

Some new necessary conditions for the existence of vector space partitions are derived. They are applied to the problem of finding the maximum number of spaces of dimension t in a vector space partition of V(2t,q) that contains m_d spaces of dimension d, where t/2<d<t, and also spaces of other dimensions. It is also discussed how this problem is related to maximal partial t-spreads in V(2t,q). We also give a lower bound for the number of spaces in a vector space partition and verify that this bound is tight.