Abstract
An affine vector space partition of \({{\,\textrm{AG}\,}}(n,q)\) is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A vector space partition \(\mathcal {P}\) of the projective space \({{\,\textrm{PG}\,}}(n-1,q)\) is a set of subspaces in \({{\,\textrm{PG}\,}}(n-1,q)\) which partitions the set of points. For a survey on known results we refer to [12]. We say that a vector space partition \(\mathcal {P}\) has type \((n-1)^{m_{n-1}} \dots 2^{m_2}1^{m_1}\) if precisely \(m_i\) of its elements have dimension i, where \(1\le i\le n\). The classification of the possible types of a vector space partition, given the parameters n and q, is an important and difficult problem. Based on [10], the classification for the binary case \(q=2\) was completed for \(n\le 7\) in [7]. Under the assumption \(m_1=0\) the case \((q,n)=(2,8)\) has been treated in [6]. It seems quite natural to define a vector space partition \(\mathcal {A}\) of the affine space \({{\,\textrm{AG}\,}}(n,q)\) as a set of subspaces in \({{\,\textrm{AG}\,}}(n,q)\) that partitions the set of points. However, it turns out that those partitions exist for all types which satisfy a very natural numerical condition. If we impose the additional condition of tightness, that is that the projective closures of the elements of \(\mathcal {A}\) have an empty intersection, then the classification problem becomes interesting and challenging. This condition is natural in the context of hitting formulas as introduced in [17], that is for logical formulas in full disjunctive normal form (DNF) such that each truth assignment to the underlying variables satisfies precisely one term. For a more recent treatment and applications we refer to [26]. Here we consider the geometrical and the combinatorial point of view.
Variants of vector space partitions of \({{\,\textrm{PG}\,}}(n-1,q)\) have been studied in the literature. In [8] the authors study (multi-)sets of subspaces covering each point exactly \(\lambda \) times. The problem of covering each k-space exactly once is considered in [14]. A more general partition problem for groups is studied in [10]. Irreducible homogeneous affine vector space partitions have been studied by Agievich [1] and Tarannikov [28] motivated by the study of bent functions. However, we are not aware of any publication treating the introduced affine vector space partitions in the same generality as in the present work.
The paper is organized as follows. In Sect. 2 we formally introduce affine vector space partitions, state the preliminaries, and develop the first necessary existence conditions. Here we are guided by the published necessary conditions for vector space partitions. We also argue why tightness (see above) and irreducibility, that is there exists no proper subset \(\mathcal {A}' \subsetneq \mathcal {A}\) such that the union of all elements of \(\mathcal {A}'\) is a subspace of \({{\,\textrm{AG}\,}}(n,q)\), are necessary to obtain an interesting existence question. In Sect. 3 we classify affine vector space partitions for arbitrary field sizes but small dimensions. Sect. 4 is concerned with the binary case. We completely determine the possible dimension distributions of tight irreducible affine vector space partitions of \({{\,\textrm{PG}\,}}(n-1,2)\) for all \(n\le 7\). In a few cases we give theoretical or computational classifications of the corresponding equivalence classes of tight irreducible vector space partitions. A very nice example consists of eight solids in \({{\,\textrm{PG}\,}}(6,2)\) whose parts at infinity live on the Klein quadric \(Q^+(5,2)\). A generalization to arbitrary finite fields of characteristic 2 is given in Sect. 5.2. Parametric constructions of tight irreducible affine vector space partitions using spreads or hitting formulas complete Sect. 5. In Sect. 6 we determine the smallest possible size of an irreducible tight affine vector space partition of \({{\,\textrm{PG}\,}}(7,2)\) and give a parametric upper bound for \({{\,\textrm{PG}\,}}(n-1,2)\) of size roughly \(\tfrac{3n}{2}\), which is significantly smaller than the conjectured smallest size of an irreducible hitting formula mentioning all variables. We close with a conclusion and a list of open problems in Sect. 7. To keep the paper self-contained we present some additional material in an appendix. Section A contains details on integer linear programming formulations that we have utilized to obtain some computational results. Section B contains a few technical results that might be left to the reader or collected from the literature. Lists of hitting formulas that can be used to construct tight irreducible affine vector space partitions of the minimum possible size are given in Sect. C.
2 Preliminaries and necessary conditions
Definition 1
An affine vector space partition \(\mathcal {A}\) of \({{\,\textrm{AG}\,}}(n,q)\) is a set \(\left\{ A_1,\dots ,A_r\right\} \) of subspaces of \({{\,\textrm{AG}\,}}(n,q)\) such that \(0\le \dim \!\left( A_i\right) \le n-1\) for all \(1\le i\le r\) and every point (element of \(\mathbb {F}_q^{n}\))
is contained in exactly one element \(A_i\). The integer r is called the size of the affine vector space partition.
We write \(\#\mathcal {A}\) for the size of \(\mathcal {A}\). For each affine subspace \(A\in {{\,\textrm{AG}\,}}(n,q)\) we write \(\overline{A}\) for its projective closure. With this \(\overline{\mathcal {A}}:=\left\{ \overline{A}\,:\,A\in \mathcal {A}\right\} \) is the natural embedding of an affine vector space partition of \({{\,\textrm{AG}\,}}(n,q)\) in \({{\,\textrm{PG}\,}}(n,q)\). Denoting the hyperplane at infinity by \(H_\infty \), we can directly define an affine vector space partition in \({{\,\textrm{PG}\,}}(n,q)\):
Definition 2
An affine vector space partition \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) is a set \(\left\{ U_1,\dots ,U_r\right\} \) of subspaces of \({{\,\textrm{PG}\,}}(n-1,q)\) such that \(1\le \dim \!\left( U_i\right) \le n-1\) for all \(1\le i\le r\) and there exists a hyperplane \(H_\infty \) such that every point (1-dimensional subspace) outside of \(H_\infty \) is contained in exactly one element \(U_i\) and \(U_i\not \le H_\infty \) for all \(1\le i\le r\). The integer r is called the size of the affine vector space partition and also denoted by \(\#\mathcal {U}\).
Here we use the algebraic dimension for subspaces in \({{\,\textrm{PG}\,}}(n-1,q)\), i.e., if \(\dim (U)=u\), then \(\# U=\genfrac[]{0.0pt}{}{u}{1}_{q}:=\tfrac{q^u-1}{q-1}\) and we also speak of u-spaces. Using the geometric language, we call 1-, 2-, 3-, 4-, and \(n{-}1\)-spaces points, lines, planes, solids, and hyperplanes, respectively. For each \(1\le i\le r\) the set \(U_i\backslash H_\infty \) is an affine space containing \(q^{\dim (U_i)-1}\) points.
In the following we will mostly speak of an affine vector space partition, abbreviated as avsp, and will consider its embedding in \({{\,\textrm{PG}\,}}(n-1,q)\). The type of an avsp \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) is given by \((n-1)^{m_{n-1}}\dots 2^{m_2}1^{m_1}\), where \(m_i=\#\left\{ U_j\,:\, 1\le j\le r, \dim (U_j)=i\right\} \). Counting points outside of \(H_\infty \) gives
The analog of Eq. (1) for vector space partitions of \({{\,\textrm{PG}\,}}(n-1,q)\) is called the packing condition. While the packing condition for vector space partitions of \({{\,\textrm{PG}\,}}(n-1,q)\) is just a necessary but not a sufficient condition for the existence with a given type, for avsps Equation (1) is both necessary and sufficient.
Lemma 1
For each type \((n-1)^{m_{n-1}}\dots 2^{m_2}1^{m_1}\) that satisfies the packing condition (1) there exists an avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) attaining that type.
Proof
Consider a subspace K of \(H_\infty \) with \(\dim (K)=n-2\). By \(H_1,\dots , H_q\) we denote the q hyperplanes containing K that are not equal to \(H_\infty \). Clearly, we have \(0\le m_{n-1}\le q\) and we can choose \(H_1,\dots ,H_{m_{n-1}}\) as the first elements of \(\mathcal {U}\). The remaining elements are constructed recursively. For each index \(m_{n-1}+1\le j\le q\) we consider an avsp of type \((n-2)^{m_{n-2}^{(j)}}\dots 2^{m_2^{(j)}}1^{m_1^{(j)}}\) where the \(m_i^{(j)}\in \mathbb {N}_0\) are chosen such that the packing condition is satisfied for \(H_j\) and
for all \(1\le i\le n-2\). Such a decomposition can be easily constructed, see the algorithm in Sect. B. \(\square \)
Definition 3
We call an avsp \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) reducible if there exists a subspace U and a subset \(S\subsetneq \{1,\dots ,r\}\) such that \(\dim (U)<n\), \(\#S>1\) and \(\left\{ U_i\,:\, i\in S\right\} \) is an avsp of U. Otherwise \(\mathcal {U}\) is called irreducible.
Lemma 2
The smallest size of an irreducible avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) is given by \(\#\mathcal {U}=q\).
Proof
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\). Since there are \(q^{n-1}\) points to cover and each subspace covers at most \(q^{n-2}\) points, we have \(\#\mathcal {U}\ge q\). Now consider a hyperplane K of \(H_\infty \). By \(H_1,\dots ,H_q\) we denote the q hyperplanes containing K and not being equal to \(H_{\infty }\). With this, \(\left\{ H_1,\dots ,H_q\right\} \) is an irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\). \(\square \)
For a vector space partition \(\mathcal {P}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) we have \(\dim (A)+\dim (B)\le n\) for each pair \(\{A,B\}\) of different elements of \(\mathcal {P}\), which is also called dimension condition. Using this it can be easily shown that \(\#\mathcal {P}\ge \tfrac{q^n-1}{q^{n/2}-1}=q^{n/2}+1\) if n is even and \(\#\mathcal {P}\ge q^{(n+1)/2} +1\) if n is odd. Both bounds can be attained by spreads, i.e., vector space partitions of type \((n/2)^{q^{n/2}+1}\), and lifted MRD codes of maximum possible rank distance, i.e., vector space partitions of type \(((n+1)/2)^1 ((n-1)/2)^{q^{(n+1)/2}}\), respectively. In [25] the authors determine the minimum size \(\sigma _q(n,t)\) of a vector space partition of \({{\,\textrm{PG}\,}}(n,q)\) whose largest subspace has dimension t.
Lemma 3
Let \(\mathcal {U}\) be an irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) and \(U_1,\dots ,U_q\in \mathcal {U}\) be q different elements with \(\dim (U_1)=\dots =\dim (U_q)\) and \(\dim \left( \left\langle U_1,\dots , U_q\right\rangle \right) =\dim (U_1)+1\). Then we have \(\dim (U_1)=\dots =\dim (U_q)=n-1\).
Proof
Let \(U:=\left\langle U_1,\dots , U_q\right\rangle \) and \(u:=\dim (U_1)\). Since \(U\backslash H_\infty \) contains \(q^u\) points and \(U_i\backslash H_\infty \) contains \(q^{u-1}\) points for each \(1\le i\le q\), the set
is an avsp unless \(\dim (U)=u+1=n\). \(\square \)
Corollary 1
Let \(\mathcal {U}\) be an irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) and \(U_1,U_2\in \mathcal {U}\) be two different elements with \(\dim (U_1)=\dim (U_2)=\dim (U_1\cap U_2)+1\). Then, we have \(\dim (U_1)=\dim (U_2)=n-1\).
As an analog of the dimension condition for vector space partitions in \({{\,\textrm{PG}\,}}(n-1,q)\) we have:
Lemma 4
Let \(\mathcal {U}\) be an avsp in \(\mathcal {U}\). For each \(U,U'\in \mathcal {U}\) we have
Proof
Since \(U\backslash H_\infty \), \(U'\backslash H_\infty \) are disjoint and \(U,U'\not \le H_\infty \) we have \(\dim (U\cap U')=\dim (U\cap U'\cap H_\infty )\). The inequality follows from
and \(\dim (\langle U_1,U_2\rangle )\le n\). \(\square \)
Due to the following general construction for (irreducible) avsps we introduce a further condition.
Lemma 5
Let \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)=:V\) and P be a point outside of V (embedded in \({{\,\textrm{PG}\,}}(n,q)\)). Then, \(\mathcal {U}':=\left\{ \left\langle U_1,P\right\rangle ,\dots ,\left\langle U_r,P\right\rangle \right\} \) is an avsp of \(\langle V,P\rangle \cong {{\,\textrm{PG}\,}}((n+1)-1,q)\), where the “new” hyperplane at infinity arises via \(\langle H_\infty ,P\rangle \) from the “old” hyperplane at infinity \(H_\infty \). Reducability inherits, i.e. \(\mathcal {U}'\) is irreducible iff \(\mathcal {U}\) is irreducible.
Definition 4
Let \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\). We call \(\mathcal {U}\) tight iff the intersection of all \(U_i\) does not contain a point, i.e. the intersection is trivial.
The same definition was proposed by Agievich [1], under the name primitivity, and was dubbed A-primitivity by Tarannikov [28]. We remark that an avsp \(\mathcal {A}\) of \({{\,\textrm{AG}\,}}(n,q)\) is tight iff for any \(x\in \mathbb {F}_q^{n}\), there exists an \(A\in \mathcal {A}\) such that A is not invariant under addition of x, that is \(A+x \ne A\).
Lemma 6
For each integer \(n\ge 2\) there exists a tight avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) with size \((q-1)\cdot (n-1) +1\).
Proof
Apply the following recursive construction. Start with an \((n-2)\)-dimensional subspace K of \(H_\infty \) and consider the q hyperplanes \(H_1,\dots ,H_q\) containing K but not being equal to \(H_\infty \). Choose \(q-1\) out of these and continue the iteration with the remaining hyperplane until it becomes 2-dimensional, i.e. a line. In the final step replace the affine line by q points, so that the resulting avsp is trivially tight. \(\square \)
A classical result in computer science, attributed to Tarsi, states that a minimally unsatisfiable Boolean formula in conjunctive normal form (CNF) with m clauses mentions at most \(m-1\) variables, see e.g. [5, Theorem 8]. The proof can be slightly modified to show that for \(n\ge 2\) each tight avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) has size at least n. One might conjecture that Lemma 6 is tight. Some preliminary results in that direction are proven in [9, Sec. 3.2]. The determination of the minimum size of an irreducible tight avsp is quite a challenge and we will present our preliminary results in Sects. 3 and 4.
Note that tightness and irreducibility can be checked efficiently. In particular, for irreducibility it suffices to calculate the affine closure for all pairs of subspaces in the avsp. We will show efficiency formally and provide detailed algorithms in future work on hitting formulas.
Lemma 7
Let U, K, and \(H_\infty \) be subspaces in \({{\,\textrm{PG}\,}}(n-1,q)\) with \(K\le H_\infty \), \(\dim (K)=n-2\), \(\dim (H_\infty )=n-1\), and \(\dim (U\cap H_\infty )=\dim (U)-1\), i.e. \(U\not \le H_\infty \). By \(H_1,\dots ,H_q\) we denote the q hyperplanes containing K but not being equal to \(H_\infty \). Then the following statements are equivalent:
-
(1)
\(U\cap H_\infty \le K\);
-
(2)
there exists an index \(1\le i\le q\) with \(U\le H_i\);
-
(3)
there exists an index \(1\le i\le q\) with \(U\le H_i\) and \(U\cap H_j=U\cap H_\infty =U\cap K\) for all \(1\le j\le q\) with \(j\ne i\);
-
(4)
\(\dim (U\cap K)=\dim (U)-1\).
Lemma 8
Let U, K, and \(H_\infty \) be subspaces in \({{\,\textrm{PG}\,}}(n-1,q)\) with \(K\le H_\infty \), \(\dim (K)=n-2\), \(\dim (H_\infty )=n-1\), and \(\dim (U\cap H_\infty )=\dim (U)-1\), i.e. \(U\not \le H_\infty \). By \(H_1,\dots ,H_q\) we denote the q hyperplanes containing K but not being equal to \(H_\infty \). Then the following statements are equivalent:
-
(1)
\(U\cap H_\infty \not \le K\);
-
(2)
\(\dim (U\cap H_i)=\dim (U){-1}\) for all \(1\le i\le q\);
-
(3)
there are q \((\dim (U)-1)\)-spaces in U containing \(U\cap K\) and not being contained in \(H_\infty \);
-
(4)
\(\dim (U\cap K)=\dim (U)-2\).
Assume that \(\mathcal {P}\) is a vector space partition of \({{\,\textrm{PG}\,}}(n-1,q)\) with type \(k_1^{m_1} \dots k_l^{m_l}\), where \(k_1> \dots > k_l\) and \({m}_i>0\) for all \(1\le i\le l\). The so-called tail \(\mathcal {T}\) of \(\mathcal {P}\) is the set of all \(k_l\)-spaces in \(\mathcal {P}\), i.e., the set of all elements with the smallest occurring dimension. In [11] several conditions on \(\#\mathcal {T}\) have been obtained. In our situation we can also consider the tail \(\mathcal {T}:=\left\{ U\in \mathcal {U}\,:\,\dim (U)=k_l\right\} \) of an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) with type \(k_1^{m_1} \dots k_l^{m_l}\), where \(k_1> \dots > k_l\) and \({m}_i>0\) for all \(1\le i\le l\). The packing condition (1) directly implies that \(q^{k_{l-1}-k_{l}}\) divides \(\#\mathcal {T}=m_l\) if \(l\ge 2\) and that \(q^{n-k_l}\) divides \(\#\mathcal {T}=m_l\) if \(l=1\). In [21] the results on the tail of a vector space partition of \({{\,\textrm{PG}\,}}(n-1,q)\) were refined using the notion of \(\varDelta \)-divisible sets of k-spaces.
Definition 5
A (multi-)set \(\mathcal {S}\) of k-spaces in \({{\,\textrm{PG}\,}}(n-1,q)\) is called \(\varDelta \)-divisible iff \(\#\mathcal {S}\equiv \#(H\cap \mathcal {S})\pmod \varDelta \) for every hyperplane H, where \(H\cap \mathcal {S}\) denotes the (multi-)set of elements of \(\mathcal {S}\) that are contained in H.
We use the notation \(\{\{\star \}\}\) for a multiset \(\mathcal {S}\) and \(\#\mathcal {S}\) for its cardinality.
Lemma 9
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(k_1^{m_1}\dots k_l^{m_l}\), where \(k_1>\dots>k_l>1\) and \({m}_i>0\) for all \(1\le i\le l\). Let \(\mathcal {T}:=\left\{ U\in \mathcal {U}\,:\, \dim (U)=k_l\right\} \) be the tail of \(\mathcal {U}\) and \(\mathcal {T}':=\left\{ T\cap H_\infty \,:\, T\in \mathcal {T}\right\} \). If \(l\ge 2\), then \(\mathcal {T}'\) is \(q^{k_{l-1}-k_l}\)-divisible and \(\#\mathcal {T}=\#\mathcal {T}'\equiv 0\pmod {q^{k_{l-1}-k_l}}\). If \(l=1\), then \(\mathcal {T}'\) is q-divisible and \(\#\mathcal {T}=\#\mathcal {T}'\equiv 0\pmod {{q^{n-k_l}}}\).
Proof
Clearly we have \(\#\mathcal {T}=\#\mathcal {T}'\). From the packing condition (1) we directly conclude \(\#\mathcal {T}\equiv 0\pmod {q^{k_{l-1}-k_l}}\) if \(l\ge 2\) and \(\#\mathcal {T}{=q^{n-k_l}}\equiv 0\pmod {{q^{n-k_l}}}\) if \(l=1\). Let K be an arbitrary hyperplane of \(H_\infty \) and \(H_1,\dots ,H_q\) be the q hyperplanes of \({{\,\textrm{PG}\,}}(n-1,q)\) not being equal to \(H_\infty \). Call the points outside of \(H_\infty \) that are contained in some element of \(\mathcal {U}\) with dimension strictly larger than \(k_l\) covered and all others outside of \(H_\infty \) uncovered. Since each k-space covers either \(q^{k-1}\), \(q^{k-2}\), or 0 points of \(H_i\backslash H_\infty \), the number of uncovered points in \(H_i\backslash H_\infty \) is divisible by \(q^{k_{l-1}-2}\) if \(l\ge 2\) and by \(q^{k_l-1}\) if \(l=1\), where \(1\le i\le q\) is arbitrary. Let a be the number of \(k_l\)-spaces in \(\mathcal {U}\) that are completely contained in \(H_i\), so that the number of uncovered points in \(H_i\) equals
If \(l\ge 2\) we have \(x\equiv 0 \pmod {q^{k_{l-1}-2}}\) and \(\#\mathcal {T}\equiv 0 \pmod {q^{k_{l-1}-k_l}}\), so that \((q-1)a\equiv 0\pmod {q^{k_{l-1}-k_l}}\) and \(a\equiv 0\pmod {q^{k_{l-1}-k_l}}\). If \(l=1\) we have \(x\equiv 0 \pmod {q^{k_{l}-1}}\) and \(\#\mathcal {T}\equiv 0 \pmod q\), so that \((q-1)a\equiv 0\pmod q\) and \(a\equiv 0\pmod q\). \(\square \)
\(\varDelta \)-divisible (multi-)sets \(\mathcal {S}\) of k-spaces in \({{\,\textrm{PG}\,}}(n-1,q)\) have been studied in [21]. If we replace each k-space by its \(\tfrac{q^k-1}{q-1}\) points we obtain a \(\varDelta q^{k-1}\)-divisible multiset of \(\#\mathcal {S}\cdot \tfrac{q^k-1}{q-1}\) points in \({{\,\textrm{PG}\,}}(n-1,q)\). The possible cardinalities, given the divisibility constant and the field size, have been completely characterized in [18, Theorem 1]. Here we will use only a few results on the possible structure of the tail (or more precisely of \(\mathcal {T}'\)) which allow more direct proofs.
Lemma 10
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,{2})\) with tail \(\mathcal {T}\). If \(\#\mathcal {T}={2}\), then either \(\mathcal {U}\) is reducible or we have \(\mathcal {U}=\mathcal {T}\) and \(\dim (U)=n-1\) for all \(U\in \mathcal {U}\).
Proof
Denote the dimension of the elements of \(\mathcal {T}\) by k. Lemma 9 yields that \(\mathcal {T}':=\left\{ T{\cap } H_\infty \,:\, T\in \mathcal {T}\right\} \) is a 2-divisible multiset of \((k-1)\)-spaces. So, each hyperplane of \(H_\infty \) contains either all 2 or zero elements from \(\mathcal {T}'\), so that \(\mathcal {T}'\) is a q-fold \((k-1)\)-space. With this, the stated results follows from Lemma 3 applied to \(\mathcal {T}\). \(\square \)
Corollary 2
Let \(\mathcal {U}\) be an irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(k_1^{m_1}\dots k_l^{m_l}\), where \(k_1>\dots >k_l\) and \(k_i>0\) for all \(1\le i\le l\). If \(m_l=q\), then we have \(l=1\) and \(k_1=n-1\).
2.1 The structure of the tail for small parameters
If \(\#\mathcal {T}\) is small and \(q=2\), then we can also characterize the tail using Lemma 9. To this end, let \(\mathcal {S}\) denote a set of k-spaces in \({{\,\textrm{PG}\,}}(n-1,q)\). The corresponding spectrum \(\left( a_i\right) _{i\in \mathbb {N}_0}\) is given by the numbers \(a_i\) of hyperplanes that contain exactly i elements from \(\mathcal {S}\), so that
The condition that \(\mathcal {S}\) is spanning, i.e. \(\left\langle S\,:S \in \mathcal {S}\right\rangle ={{\,\textrm{PG}\,}}(n-1,q)\), is equivalent to \(a_{\#\mathcal {S}}=0\). Double-counting the k-spaces gives
Lemma 11
Let \(\mathcal {S}\) be a 2-divisible set of four k-spaces in \({{\,\textrm{PG}\,}}(n-1,2)\). Then there exists a \((k-1)\)-space B, a plane E, and a line \(L\le E\) with \(\dim (\langle E,B\rangle )=k+2\), such that \(\mathcal {S}=\left\{ \langle P,B\rangle \,:\, P\in E\backslash L\right\} \).
Proof
Assume that P is a point that is contained in at least one but not all elements from \(\mathcal {S}\). Let x denote the number of elements of \(\mathcal {S}\) that contain P. Since all hyperplanes contain an even number of elements from \(\mathcal {S}\) we have \(x\ne 3\). Assume \(x=2\) for a moment and let \(S,S'\in \mathcal {S}\) be the two elements not containing P. There are \(2^{n-k-1}\) hyperplanes that contain S but do not contain P, so that all of those hyperplanes contain S and \(S'\). The intersection of these hyperplanes has dimension at most k and contains S as well as \(S'\), so that \(S=S'\), which is a contradiction. Thus, each point P in \({{\,\textrm{PG}\,}}(n-1,2)\) is contained in 0, 1 or 4 elements of \(\mathcal {S}\).
By \(\left( a_i\right) _{i\in \mathbb {N}_0}\) we denote the spectrum of \(\mathcal {S}\). W.l.o.g. we assume that \(\mathcal {S}\) is spanning, i.e., we have \(a_4=0\). From the equations (4) and (5) we conclude
If there is no point P that is contained in all four elements of \(\mathcal {S}\), then the elements of \(\mathcal {S}\) are pairwise disjoint and double-counting pairs yields
so that
which has the unique solution \(n=3\), \(k=1\).
So, by recursively quotienting out points P that are contained in all elements of \(\mathcal {S}\) we conclude the existence of a \((k-1)\)-space B that is contained in all four elements of \(\mathcal {S}\). Quotienting out B yields a spanning 2-divisible set of points in \({{\,\textrm{PG}\,}}(2,2)\) with \(a_0=1\) and \(a_2=6\). Choosing E as the ambient space and L as the empty hyperplane yields the stated characterization since in \({{\,\textrm{PG}\,}}(2,2)\) there are exactly four points outside a hyperplane. \(\square \)
If \(k=1\), i.e., the k-spaces are points, the Eqs. (4)–(5) and the generalization \(\sum _{i=0}^{\#\mathcal {S}} \left( {\begin{array}{c}i\\ 2\end{array}}\right) a_i =\left( {\begin{array}{c}\#\mathcal {S}\\ 2\end{array}}\right) \cdot \frac{q^{n-2}-1}{q-1}\) of (6) are also known as “standard equations” or the first three MacWilliams equations for the corresponding (projective) linear code.
We remark that Lemma 11 is based on the fact that each 2-divisible set of 4 points is an affine plane. For \(q>2\) there there further possibilities for q-divisible sets of \(q^2\) points over \(\mathbb {F}_q\), see [4, 19] on the so-called cylinder conjecture. We apply Lemma 11 e.g. in Proposition 6 and Lemma 18.
3 Classification of avsps in \(\mathbf {{{\,\textrm{PG}\,}}(n-1,q)}\) for small parameters
By definition, there is no avsp in \({{\,\textrm{PG}\,}}(1-1,q)\). In \({{\,\textrm{PG}\,}}(2-1,q)\) there is a unique avsp. It has type \(1^q\) and is irreducible and tight.
Lemma 12
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\), where \(n\ge 3\). If there exist pairwise different hyperplanes \(U_1,\dots ,U_l\in \mathcal {U}\), then there exists an \((n-2)\)-space \(K\le H_\infty \) such that \(K\le U_i\) for all \(1\le i\le l\).
Proof
The statement is trivial for \(l\le 1\), so that we assume \(l\ge 2\). Due to the dimensions we have \(\dim (U_i\cap U_j)=n-2\) for all \(1\le i<j\le l\). Since the sets of points \(U_i\backslash H_\infty \) and \(U_j\backslash H_\infty \) are disjoint we have \(U_i\cap U_j\le H_\infty \) and \(U_i\cap U_j=U_i\cap H_\infty =U_j\cap H_\infty \). So, we set \(K=U_1\cap H_\infty \). \(\square \)
Proposition 1
Let \(\mathcal {U}\) be an irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\), where \(n\ge 3\). If \(\mathcal {U}\) is of type \((n-1)^{m_{n-1}}\dots 2^{m_2}1^{m_1}\), then we have \(m_{n-1}\le q-2\) or \(m_{n-1}=q\). In the latter case \(\mathcal {U}\) is not tight.
Proof
We assume \(m_{n-1}= q-1\ge 1\) and let \(K\le H_\infty \) as in Lemma 12. With this, let \(H\ne H_\infty \) be the unique hyperplane with \(K\le H\) that is not contained as an element in \(\mathcal {U}\) and \(\mathcal {U}'\) arise from \(\mathcal {U}\) by removing the \(q-1\) \((n-1)\)-dimensional elements. Thus, \(\mathcal {U}'\) is an avsp of H, i.e., \(\mathcal {U}\) is reducible.
If \(m_{n-1}=q\), then the \((n-2)\)-space \(K\le H_\infty \) (as in Lemma 12) is contained in all elements of \(\mathcal {U}\), i.e., \(\mathcal {U}\) is not tight. \(\square \)
Corollary 3
Let \(\mathcal {U}\) be an irreducible tight avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) of type \((n-1)^{m_{n-1}}\dots 1^{m_1}\), where \(n\ge 3\). Then we have \(m_{n-1}=0\).
Let \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\), \(I\subseteq \{1,\dots ,r\}\), and V be a proper subspace with \(V\not \le H_\infty \). If \(\# I\ge 2\) and \(\left\{ U_i\,:\, i\in I\right\} \) is an avsp of V, then we say that the spaces \(U_i\) with \(i\in I\) can be joined to V. Note that this is exactly the situation when \(\mathcal {U}\) is reducible. In \({{\,\textrm{PG}\,}}(n-1,2)\) any two points outside of \(H_\infty \) can be joined to a line, so that:
Lemma 13
Let \(\mathcal {U}\) be an irreducible tight avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) of type \((n-1)^{m_{n-1}}\dots 1^{m_1}\), where \(n\ge 3\). Then,we have \(m_{1}=0\).
Theorem 1
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(3-1,q)\) with type \(2^{m_2} 1^{m_1}\). Then, we have \(0\le m_2\le q\), \(m_1=q\cdot \left( q-m_2\right) \), all lines in \(\mathcal {U}\) contain a common point \(P\le H_\infty \), and the 1-dimensional elements can be grouped into pairwise disjoint sets of size q that can be joint to a line each.
Proof
The parameterization of \(m_2,m_1\) follows from the packing condition (1). If \(m_2>0\), the existence of P follows from Lemma 12. If \(m_2=0\) then choose an arbitrary point \(P\le H_\infty \). By \(L_1,\dots , L_q\) we denote the q lines containing P that are not equal to \(H_\infty \). For each line \(L_i\) that is not an element of \(\mathcal {U}\) there exist q points in \(\mathcal {U}\) that can be joined to \(L_i\). (Note that \(L_i\cap L_j=P\) for all \(1\le i<j\le q\).) \(\square \)
We remark that all possibilities for \(0\le m_2\le q\) can indeed by attained. In general there exist several non-isomorphic examples.
Corollary 4
-
(1)
Let \(\mathcal {U}\) be an irreducible avsp of \({{\,\textrm{PG}\,}}(3-1,q)\). Then \(\mathcal {U}\) is of type \(2^q\) and non-tight.
-
(2)
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(3-1,q)\) with type \(2^{m_2} 1^{m_1}\). Then, \(\mathcal {U}\) is tight iff \(m_1\ge 1\). In that case \(\mathcal {U}\) is reducible.
-
(3)
No irreducible tight avsp of \({{\,\textrm{PG}\,}}(3-1,q)\) exists.
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\), where \(n\ge 3\), and \(K\le H_\infty \) be an arbitrary \((n-2)\)-space. We say that \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\) is a K-decomposition of \(\mathcal {U}\) if the q hyperplanes containing K and not being equal to \(H_\infty \) can be labeled as \(H_1,\dots ,H_q\) such that \(\mathcal {U}=\cup _{i=1}^q \mathcal {U}^{(i)}\) and
for all \(1\le i\le q\). Note that \(\mathcal {U}^{(i)}\) is an avsp of \(H_i\) for each \(1\le i\le q\) (including the case \(\mathcal {U}^{(i)}=\left\{ H_i\right\} \)). Moreover, any labeling of the q hyperplanes \(H_i\) induces a K-decomposition. Observe that for a fixed \((n-2)\)-space \(K\le H_\infty \) each pair of K-decompositions arises just by relabeling, so that we also speak of the K-decomposition of \(\mathcal {U}\) since the actual labeling will not matter in our context.
Proposition 2
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\), where \(n\ge 3\), with type \((n-1)^{m_{n-1}}\dots 2^{m_2}1^{m_1}\). If \(1\le m_{n-1}\le q\), then there exists an \((n-2)\)-space \(K\le H_\infty \) such that the K-decomposition \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\) partitions \(\mathcal {U}\), i.e.,
Moreover, if \(m_{n-1}\le q-1\), then \(\mathcal {U}\) is reducible. (More precisely, for each index \(1\le i\le q\) with \(\#\mathcal {U}^{(i)}>1\) the elements in \(\mathcal {U}^{(i)}\) can be joined to \(H_i\).)
Proof
Choose some arbitrary \(U\in \mathcal {U}\) with \(\dim (U)=n-1\), set \(K:=U\cap H_\infty \), and let \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\) be the K-decomposition of \(\mathcal {U}\) and \(H_1,\dots ,H_q\) be the corresponding hyperplanes. Due to Lemma 12 each \(U\in \mathcal {U}\) with \(\dim (U)=n-1\) results in the same \((n-2)\)-space K and the same K-decomposition \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\) (up to relabeling). Especially we have that for each \(U'\in \mathcal {U}\) with \(\dim (U')=n-1\) there exists an index \(1\le i\le q\) with \(\mathcal {U}^{(i)}=\left\{ U'\right\} \). W.l.o.g. we assume \(\#\mathcal {U}^{(1)}=1\).
Now consider an element \(U\in \mathcal {U}\) with \(\dim (U)<n-1\). From Lemma 8 we conclude \(U\cap H_\infty \le K\) since otherwise \(\#\mathcal {U}^{(1)}>1\) (more precisely, U would split into q \((\dim (U)-1)\)-spaces where one of these would be contained in \(\mathcal {U}^{(1)}\) that also contains an entire hyperplane, which contradicts the packing condition (1)), which would contradict our assumption. Thus, for each \(U\in \mathcal {U}\) there exists exactly one index \(1\le i\le q\) with \(U\in \mathcal {U}^{(i)}\) and for each index \(1\le j\le q\) either \(U\in H_j\) or \(U\cap H_j\le K\le H_\infty \). \(\square \)
Corollary 5
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) with type \((n-1)^{m_{n-1}}\dots 2^{m_2}1^{m_1}\), where \(n\ge 3\). If \(\mathcal {U}\) is irreducible, then we have \(m_{n-1}{\in \{0,q\}}\).
Affine vector space partitions of \({{\,\textrm{PG}\,}}(4-1,q)\) that contain at least one hyperplane as an element can be characterized easily.
Proposition 3
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(4-1,q)\) of type \(3^{m_3}2^{m_2}1^{m_1}\) with \(m_3\ge 1\). Then, we have \(1\le m_3\le q\), \(0\le m_2 {\le } q\cdot \left( q-m_3\right) \), and \(m_1=q^3-q^2m_3-qm_2\). Moreover, there exists an \((n-2)\)-space \(K\le H_\infty \) such that the K-decomposition \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\) partitions \(\mathcal {U}\), so that \(\mathcal {U}\) especially is reducible if \(m_{n-1}\le q-1\).
Proof
The equation \(m_1=q^3-q^2m_3-qm_2\) directly follows from the packing condition (1) and the ranges \(0\le m_2\le q\cdot \left( q-m_3\right) \), \(0\le m_3\le q\) follow from the non-negativity of \(m_1,m_2,m_3\). Note that we have \(m_3\ge 1\) by assumption. The remaining part follows from Proposition 2. \(\square \)
4 Classification of tight irreducible avsps in \(\mathbf {{{\,\textrm{PG}\,}}(n-1,2)}\) for small dimensions \(\textbf{n}\)
The cases \(n\le 3\) have already been treated in Sect. 3, so that we assume \(n\ge 4\) in the following. Our aim is to classify all possible types \((n-1)^{m_{n-1}}\dots 1^{m_1}\) such that a tight irreducible avsp \(\mathcal {U}\) exists in \({{\,\textrm{PG}\,}}(n-1,2)\). We have \(m_{n-1}=0\) and \(m_1=0\) due to Corollary 3 and Lemma 13. From Corollary 2 we conclude \(m_l\ne 2\) for the smallest index \(1\le l\le n-1\) with \(m_l>0\). The possible vectors \(\left( m_{n-2},\dots ,m_2\right) \in \mathbb {N}_0^{n-3}\) are quite restricted by the packing condition (1). For \(n=4\) the only remaining possibility is type \(2^4\). From Lemma 3 we conclude that the four lines are pairwise disjoint, i.e., they form a partial line spread of cardinality 4. It is well known that each partial line spread of cardinality \(q^2\) in \({{\,\textrm{PG}\,}}(3,q)\) can be extended to a line spread, which has size \(q^2+1\).Footnote 1 For \(q=2\) there is only the Desarguesian line spread and since it has a transitive automorphism group, there is only one equivalence class. The numbers of line spreads in \({{\,\textrm{PG}\,}}(3,q)\) are 1, 2, 3, 21, 1347 for \(q=2,3,4,5,7\).
In the three subsequent subsections we will consider tight irreducible avsps in \({{\,\textrm{PG}\,}}(n-1,2)\) for \(n\in \{5,6,7\}\). The possible types are completely determined in all cases, where realizations are computed using an integer linear programming (ILP) formulation, see Sect. A in the appendix for the details. If the sizes of the avsps are not too large we were able to also compute all equivalence classes of avsps using a slight modification of an algorithm from [23], see also [20, Algorithm 4.5]. A GAP implementation , based on the GAP package “FinInG” [2] for computations in finite incidence geometry, can be obtained from the authors upon request. In the theoretical parts we will also use classification for 2-divisible sets points that can e.g. be found in [13] or [22]. For the convenience of the reader we will also give a few selected proofs in Sect. B in the appendix.
4.1 Tight irreducible avsps in \(\mathbf {{{\,\textrm{PG}\,}}(4,2)}\)
We may use Lemmas 9 and 11 to conclude that each avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) of type \((n-2)^4\) is non-tight if \(n\ge 5\). However, we can further tighten the statement to:
Proposition 4
Let \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) be an avsp of \({{\,\textrm{PG}\,}}(n-1,2)\), where \(n\ge 4\), \(r\ge 4\), and \(\dim (U_i)=n-2\) for all \(1\le i\le 3\). Then, the elements \(\left\{ U_4,\dots ,U_r\right\} \) can be joined to an \((n-2)\)-space B (including the case \(r=4\) and \(U_4=B\)) and there exists an \((n-4)\)-space C that is contained in all elements of \(\left\{ U_1,U_2,U_3,B\right\} \).
Proof
First we assume that two elements of \(\left\{ U_1,U_2,U_3\right\} \) can be joined to an \((n-1)\)-space H. Without loss of generality, we assume that \(U_1\) and \(U_2\) can be joined to H. Let \(K:=H\cap H_\infty \), so that \(\dim (K)=n-2\). By \(H'\) we denote the unique hyperplane containing K that is not equal to H or \(H_\infty \). Observe that \(\left\{ U_3,\dots ,U_r\right\} \) is an avsp of \(H'\) and K is “the hyperplane at infinity” of \(H'\). Next we set \(K':=K\cap U_3\), so that \(\dim (K')=n-3\). Let B denote the unique \((n-2)\)-space in \(H'\) that contains \(K'\) and is not equal to \(U_3\) or K. With this, \(\left\{ U_4,\dots ,U_r\right\} \) is an avsp of B (including the case \(r=4\), \(U_4=B\)). Note that the \((n-3)\)-space \(K'\) is contained in all elements of \(\left\{ H,U_3,B\right\} \). Since \(\left\{ U_1,U_2\right\} \) forms an avsp of H and \(\dim (U_1)=\dim ({U_2})=n-2\), there exists an \((n-4)\)-space \(C{=K'\cap L}\) that is contained in all elements of \(\left\{ U_1,U_2,U_3,B\right\} \), where \(L=U_1\cap U_2\subset K\) is an \((n-3)\)-space.
Otherwise, we assume that no two elements of \(\left\{ U_1,U_2,U_3\right\} \) can be joined to an \((n-1)\)-space, so that \(\dim (U_i\cap U_j)=n-4\) for all \(1\le i<j\le 3\). We set \(E_i:=U_i\cap H_\infty \), so that \(\dim (E_i)=n-3\), for all \(1\le i\le 3\) and \(\dim (E_i\cap E_j)=n-4\) for all \(1\le i<j\le 3\). Let \(K:=\left\langle E_1,E_2,E_3\right\rangle \le H_\infty \), so that \(n-2\le \dim (K)\le n-1\). If \(\dim (K)=n-2\), then consider the K-decomposition \(\mathcal {U}^{(1)},\mathcal {U}^{(2)}\) of \(\mathcal {U}\) and let \(H_1,H_2\) be the corresponding hyperplanes. Since \(E_1,E_2,E_3\le K\), we have that either \(U_i\le H_1\) or \(U_i\le H_2\) for all indices \(1\le i\le 3\). By the pigeonhole principle two of the three \((n-2)\)-spaces in \(\mathcal {U}\) have to be contained in the same hyperplane, which contradicts \(\dim (U_i\cap U_j)=n-4\).
Thus, we have \(\dim (K)=n-1\), i.e., \(K=H_\infty \). Since \(\dim \left( \left\langle E_1, E_2\right\rangle \right) =n-2\), \(\dim (E_3)=n-3\), and \(\dim (K)=n-1\), we have
Since \(\dim (E_1\cap E_3)=\dim (E_2\cap E_3)=n-4\), we have \(\dim (C)=n-4\) for \(C:=E_1\cap E_2\cap E_3\). Pick three linearly independent vectors \(v_1,v_2,v_3\) such that \(E_1=\langle C,v_1\rangle \), \(E_2=\langle C,v_2\rangle \), \(E_3=\langle C,v_3\rangle \), and \(H_\infty =\langle C,v_1,v_2,v_3\rangle \). Let \(P_1,P_2\) be two different arbitrary points outside of \(H_\infty \) that or not covered by \(U_1\), \(U_2\), or \(U_3\). For pairwise different \(i,j,h\in \{1,2,3\}\) consider the \((n-2)\)-space \(K_{i,j,j}:=\left\langle C,v_i,v_j+v_h\right\rangle \) and let \(H_{i,j,j}\) be the hyperplane that contains \(K_{i,j,h}\) and \(U_i\). Since all points in \(H_{i,j,h}\backslash H_\infty \) are covered by \(U_1,U_2,U_3\) the points \(P_1,P_2\) have to be contained in the other hyperplane containing \(K_{i,j,h}\) not equal to \(H_{i,j,h}\) and \(H_\infty \), so that \(P_1-P_2\in \left\langle C,v_i,v_j+v_h\right\rangle \). Since
the \(2^{n-3}\) points outside of \(H_\infty \) that are not covered by \(U_1\), \(U_2\), or \(U_3\) have to form an affine subspace \(B\ge C\). If \(\#\mathcal {U}=r=4\), then \(B=U_4\). If \(\#\mathcal {U}{\ge }5\), then the elements in \(\left\{ U_4,\dots ,U_r\right\} \) form an avsp of B. \(\square \)
Corollary 6
Let \(\mathcal {U}\) be an irreducible tight avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) of type \((n-2)^{m_{n-2}}\dots 2^{m_2}\), where \(n\ge 5\). Then, we have \(m_{n-2}\le 2\).
Together with the conditions \(m_{n-1}=m_1=0\) and the packing condition (1) we obtain:
Corollary 7
Let \(\mathcal {U}\) be an irreducible tight avsp of \({{\,\textrm{PG}\,}}(5-1,2)\). Then the type of \(\mathcal {U}\) is given by \(3^2 2^4\), \(3^1 2^6\), or \(2^8\).
All types can indeed be realized and corresponding numbers of equivalence classes are given by 3, 4, and 2, respectively. I.e., for \(n=4\) we have 9 non-isomorphic examples in total. Below are representatives:
-
E1, \(2^8\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01100\rangle \), \(\langle 11010,00101\rangle \), \(\langle 10001,01010\rangle \), \(\langle 10011,00110\rangle \), \(\langle 10111,01110\rangle \).
-
E2, \(2^8\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01101\rangle \), \(\langle 10001,01011\rangle \), \(\langle 11001,00111\rangle \), \(\langle 10101,01110\rangle \), \(\langle 10011,00100\rangle \).
-
E3, \(3^1 2^6\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01100\rangle \), \(\langle 10001,01010\rangle \), \(\langle 10111,01101\rangle \), \(\langle 10011,01010,00110\rangle \).
-
E4, \(3^1 2^6\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01100\rangle \), \(\langle 11001,00011\rangle \), \(\langle 10011,00100\rangle \), \(\langle 10001,01010,00100\rangle \).
-
E5, \(3^1 2^6\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01001\rangle \), \(\langle 10001,01111\rangle \), \(\langle 10111,01101\rangle \), \(\langle 10011,01010,00110\rangle \).
-
E6, \(3^1 2^6\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01100\rangle \), \(\langle 10001,00100\rangle \), \(\langle 11001,00011\rangle \), \(\langle 10011,01000,00100\rangle \).
-
E7, \(3^2 2^4\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01011\rangle \), \(\langle 11010,00100,00001\rangle \), \(\langle 10001,00100,00010\rangle \).
-
E8, \(3^2 2^4\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10010,01011\rangle \), \(\langle 10001,01010,00100\rangle \), \(\langle 10011,01001,00100\rangle \).
-
E9, \(3^2 2^4\): \(\langle 10000,01000\rangle \), \(\langle 10100,00010\rangle \), \(\langle 11100,00001\rangle \), \(\langle 10101,01011\rangle \), \(\langle 10010,01000,00001\rangle \), \(\langle 10001,01000,00110\rangle \).
We remark that the hypothetical type \(3^3 2^2\) is also excluded by Corollary 2.
Similarly as we have constructed \(\mathcal {T}'\) from the tail \(\mathcal {T}\) in Lemma 9, we can consider the set \(\mathcal {U}':=\left\{ U\cap H_\infty \,:\, U\in \mathcal {U}\right\} \) for an avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\). If \(\mathcal {U}\) is an irreducible tight avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(2^{m_2} 3^{m_3}\), where \(m_2=q^{{n-2}}-qm_3\), then \(\mathcal {U}'\) is a configuration of \(m_2\) points and \(m_3\) lines in \(H_\infty \cong {{\,\textrm{PG}\,}}(n-2,q)\). The points are pairwise disjoint, so that Lemma 9 yields that they form a q-divisible set. Any two lines can meet in at most a point. If \(n=5\), then any two lines indeed intersect in a point. So, the maximum point multiplicity is at most \(m_3+1\). We remark that the possibilities for \(\mathcal {U}'\) can be classified completely theoretically, i.e., without the use of computer programs. Due to space limitations we refer the interested reader to the corresponding arXiv preprint and only state two necessary criteria for \(\mathcal {U}'\).
Lemma 14
Let \(\mathcal {U}\) be an irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) not of type \((n-1)^q\) and \(\mathcal {U}':=\left\{ U\cap H_\infty \,:\,U\in \mathcal {U}\right\} \). Then \(\mathcal {U}'\) is spanning, i.e., \(\mathcal {U}'\) spans \(H_\infty \).
Proof
Assume that K is a hyperplane of \(H_\infty \) that contains all elements of \(\mathcal {U}'\). From Lemma 7 we can conclude that the K-decomposition \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\), with corresponding hyperplanes \(H_1,\dots ,H_q\), is a partition of \(\mathcal {U}\), i.e., the elements of \(\mathcal {U}^{(i)}\) can be joined to \(H_i\) for all \(1\le i\le q\). Since we have assumed that \(\mathcal {U}\) is not of type \((n-1)^q\) we obtain a contradiction. \(\square \)
Lemma 15
Let \(\mathcal {U}\) be an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \((n-1)^{m_{n-1}}\dots 2^{m_2}\) and \(\mathcal {U}':=\left\{ U\cap H_\infty \,:\,U\in \mathcal {U}\right\} \). For each hyperplane K of \(H_\infty \) let \(a_i^K\) denote the number of i-dimensional elements of \(\mathcal {U}'\) that are contained in K and \(b_i^K=m_{i+1}-a_{i}^K\) the number of i-dimensional elements of \(\mathcal {U}'\) that are not contained in K, where \(1\le i\le n-2\). Then there exist \(c_{i,j}^K\in \mathbb {N}_0\) for all \(1\le j\le q\), \(1\le i\le n-2\) such that
Proof
For an arbitrary but fixed hyperplane K of \(H_\infty \) let \(\mathcal {U}^{(1)},\dots ,\mathcal {U}^{(q)}\) be the K-decomposition of \(\mathcal {U}\) with corresponding hyperplanes \(H_1,\dots ,H_q\). From Lemma 7 we conclude that for each element \(U\in \mathcal {U}\) with \(U\cap H_\infty \le K\) there exists an index \(1\le j\le q\) such that \(U\le H_j\). The integers \(c_{i,j}^K\) just count how many \((i+1)\)-dimensional elements of \(\mathcal {U}\) are contained in \(H_j\) (which depends on K). Since the hyperplanes \(H_1,\dots ,H_q\) are pairwise disjoint, we obtain Equation (8). From Lemma 8 we conclude that for each element \(U\in \mathcal {U}\) such that \(U\cap H_\infty \not \le K\) we have \(\#\left( {(} U\cap H_j{)} \backslash H_\infty \right) =q^{\dim (U)-2}\), so that the packing condition for \(H_j\) yields Equation (9). \(\square \)
We call the process of moving from \(\mathcal {U}'\) to \(\mathcal {U}\) the extension problem. An integer linear programming formulation is given in Sect. A in the appendix. Note that the extension problem comprises additional symmetry given by the pointwise stabilizer of \(H_\infty \) of order \(q^{n-1}\).
Given a set \(\mathcal {U}'\) satisfying all of the necessary conditions mentioned so far it is neither clear that an extension to a corresponding avsp \(\mathcal {U}\) always exists nor that it is, in the case of existence, unique up to symmetry. Indeed, we will give counter examples later on. However, for the nine classified configurations \(\mathcal {U}'\) in \({{\,\textrm{PG}\,}}(3,2)\) it turns out that there always is an up to symmetry unique extension.
4.2 Tight irreducible avsps in \(\mathbf {{{\,\textrm{PG}\,}}(5,2)}\)
Lemma 16
For \(n\ge 6\) no tight irreducible avsp of type \((n-2)^2 (n-3)^4\) in \({{\,\textrm{PG}\,}}(n-1,2)\) exists.
Proof
Assume that such an avsp \(\mathcal {U}\) exists and consider the intersections of the elements with the hyperplane \(H_\infty \) at infinity, i.e., \(\mathcal {U}':=\left\{ U\cap H_\infty \,:\, U\in \mathcal {U}\right\} \). By \(E_1,E_2\) we denote the two \((n-3)\)-spaces and by \(L_1,\dots ,L_4\) the four \((n-4)\)-spaces. The intersection of \(E_1\) and \(E_2\) is an \((n-4)\)-space \(L'\) and \(\dim (E_i {\cap } L_j)\ge n-5\) for all \(i=1,2\) and \(j=1,\dots ,4\). From Lemma 9 we conclude that \(\mathcal {T}'=\left\{ L_1,\dots ,L_4\right\} \) is a 2-divisible set of four \((n-4)\)-spaces, so that Lemma 11 implies the existence of a plane \(E\le H_\infty \), a line \(L\le E\), and an \((n-5)\)-space \(B\le H_\infty \) with \(B\cap E=\emptyset \) and
Since \(\mathcal {U}\) is tight we have \(B\cap L' =\emptyset \). However, \(\dim (E_i {\cap } L_j)\ge n-5\) implies \(\dim (L',L_j)\ge n-6\) for all \(1\le j\le 4\). So, we clearly have \(n\le 7\).
For \(n=7\) we have \(\dim (E_i\cap B)\ge \dim (E_i \cap L_j)-1\ge n-6=1\), where \(1\le i\le 2\) and \(1\le j\le 4\), so that \(\dim (L'\cap B)=0\) implies \(E_i\le K:=\langle B,L'\rangle \) and \(\dim (E_i\cap B)=1\). With this, \(\dim (E_i \cap L_j)\ge n-5=2\) yields the existence of a point \(Q_{i,j}\notin B\) with \(Q_{i,j}\le E_i\cap L_j\), so that \(L_j=\langle B,Q_{i,j}\rangle \), i.e., \(L_j\le K\). However, this implies that \(\mathcal {U}'\) is not spanning, which is a contradiction with Lemma 14.
For \(n=6\) we have \(\dim (B)=1\), i.e., B is a point. Since \(\mathcal {U}\) is tight we have \(B\not \le L'\). W.l.o.g. we assume \(B\not \le E_1\). Let \(S:=\langle E_1,B\rangle \), so that \(\dim (S)=4\). Since \(E_1\) intersects each of the lines \(L_j\) in at least a point not equal to B, we have \(L_j\le S\) for all \(1\le j\le 4\). Let \(1\le h\le 4\) be a suitable index with \(L_h\ne L'\) and let \(Q\le E_2\cap L_h\) be a point, so that \(Q\not \le L'\). Thus \(E_2=\langle L',Q\rangle \le S\), so that \(\langle \mathcal {U}'\rangle \le S\), i.e., \(\mathcal {U}'\) is not spanning, which is a contradiction with Lemma 14. \(\square \)
Proposition 5
Let \(\mathcal {U}\) be a tight irreducible avsp of \({{\,\textrm{PG}\,}}(5,2)\), then \(\mathcal {U}\) has one of the following types:
-
\(4^2 3^i 2^{8-2i}\) for \(i\in \{0,1,2\}\);
-
\(4^1 3^i 2^{12-2i}\) for \(i\in \{0,\dots ,6\}\backslash \{5\}\); and
-
\(3^i 2^{16-2i}\) for \(i\in \{0,\dots ,8\}\backslash \{7\}\).
All types are realizable.
Proof
Let the type of \(\mathcal {U}\) be \(5^{m_5}\dots 1^{m_1}\). From Corollary 3 and Lemma 13 we conclude \(m_5=0\) and \(m_1=0\), so that the packing condition (1) gives \(4m_4+2m_3+m_2=16\). Corollary 6 gives \(m_4\le 2\) and Lemma 16 excludes \(\left( m_4,m_3,m_2\right) =(2,4,0)\). Moreover, Corollary 2 implies \(m_2\ne 2\). All remaining possibilities \(\left( m_4,m_3,m_2\right) \in \mathbb {N}_0^3\) are listed in the statement and for each type we found a realization using ILP computations. \(\square \)
Corollary 8
If \(\mathcal {U}\) is a tight irreducible avsp of \({{\,\textrm{PG}\,}}(5,2)\) of minimum possible size, then \(\#\mathcal {U}=7\) and \(\mathcal {U}\) has type \(4^1 3^6\).
For small sizes we have enumerated the isomorphy types of tight irreducible avsps in \({{\,\textrm{PG}\,}}(5,2)\), see Table 1. The last row concerns the parts \(\mathcal {U}'\) at the hyperplane \(H_\infty \) at infinity w.r.t. the avsps \(\mathcal {U}\) counted up to isomorphy in the second row. So, for e.g. types \(4^1 3^4 2^4\) and \(4^2 2^8\) there exist configurations \(\mathcal {U}'\) that allow more than one extension up to symmetry.
For the minimum possible size of a tight irreducible avsp in \({{\,\textrm{PG}\,}}(5,2)\) we can write down all implications of the stated necessary conditions for the part \(\mathcal {U}'\) at infinity. So, for type \(4^1 3^6\) configuration \(\mathcal {U}'\) consists of one plane E and six lines \(\mathcal {L}=\left\{ L_1, \dots ,L_6\right\} \) satisfying the following conditions:
-
(1)
the configuration is spanning, i.e., \(\left\langle E,L_1,\dots ,L_6\right\rangle ={{\,\textrm{PG}\,}}(4,2)\);
-
(2)
the configuration is tight, i.e., there does not exist a point P that is contained in E and all lines in \(\mathcal {L}\);
-
(3)
the lines in \(\mathcal {L}\) form a 2-divisible set of lines, i.e., each hyperplane contains an even number of lines;
-
(4)
each line \(L_i\) intersects E in at least a point;
-
(5)
hyperplanes that contain E also contain at least two lines.
Up to symmetry ten such configurations exist:
-
E1:
\(\langle 10000,01000,00100\rangle \), \(\langle 10000, 01000\rangle \), \(\langle 10000, 00100\rangle \), \(\langle 01000, 00010\rangle \), \(\langle 01000, 00110\rangle \), \(\langle 10100, 00001\rangle \), \(\langle 10100, 01101\rangle \)
-
E2:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 01000\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 00110\rangle \), \(\langle 01100, 00010\rangle \), \(\langle 01100, 00001\rangle \), \(\langle 10011, 01100\rangle \)
-
E3:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 01000\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 00001\rangle \), \(\langle 01000, 00011\rangle \), \(\langle 10100, 01011\rangle \), \(\langle 01011, 00111\rangle \)
-
E4:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 01000\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 01000, 00110\rangle \), \(\langle 00100, 00010\rangle \), \(\langle 11100, 00001\rangle \), \(\langle 10111, 01011\rangle \)
-
E5:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 01010\rangle \), \(\langle 00100, 00001\rangle \), \(\langle 01100, 00011\rangle \), \(\langle 11001, 00100\rangle \), \(\langle 10111, 01100\rangle \)
-
E6:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 00001\rangle \), \(\langle 10000, 01011\rangle \), \(\langle 01000, 00010\rangle \), \(\langle 01000, 00001\rangle \), \(\langle 10011, 01000\rangle \)
-
E7:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 00001\rangle \), \(\langle 10000, 01011\rangle \), \(\langle 01000, 00010\rangle \), \(\langle 01000, 00101\rangle \), \(\langle 10111, 01000\rangle \)
-
E8:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 00001\rangle \), \(\langle 01000, 00010\rangle \), \(\langle 01000, 00001\rangle \), \(\langle 10100, 01111\rangle \), \(\langle 10111, 01100\rangle \)
-
E9:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 10000, 00001\rangle \), \(\langle 01000, 00110\rangle \), \(\langle 01000, 00101\rangle \), \(\langle 10100, 01111\rangle \), \(\langle 10111, 01100\rangle \)
-
E10:
\(\langle 10000, 01000, 00100\rangle \), \(\langle 10000, 00010\rangle \), \(\langle 01000, 00010\rangle \), \(\langle 00100, 00001\rangle \), \(\langle 10100, 01011\rangle \), \(\langle 11001, 00101\rangle \), \(\langle 10011, 01100\rangle \)
It turns out that E2, E4, E7, and E9 are not extendable to an avsp while the other six cases are. Moreover, the extension is unique up to symmetry in these cases.
4.3 Tight irreducible avsps in \(\mathbf {{{\,\textrm{PG}\,}}(6,2)}\)
Lemma 17
In \({{\,\textrm{PG}\,}}(6,2)\) no tight irreducible avsp of type \(5^2 4^2 3^4\) or \(5^1 4^6\) exists.
Proof
All two possibilities are excluded using ILP computations, see Sect. A. They are also excluded using GAP computations. \(\square \)
Proposition 6
Let \(\mathcal {U}\) be a tight irreducible avsp of \({{\,\textrm{PG}\,}}(6,2)\), then \(\mathcal {U}\) has one of the following types:
-
\(5^2 4^i 3^j 2^{16-2j-4i}\) for \(i\in \{0,1,2\}\) and \(0\le j\le 8-2i\), where \(j+2i \ne 7\) and \((i,j)\ne (2,4)\);
-
\(5^1 4^i 3^j 2^{24-2j-4i}\) for \(0\le i\le 4\) and \(0\le j\le 12-2i\), where \(j+2i \ne 11\);
-
\(4^i 3^j 2^{32-2j-4i}\) for \(0\le i\le 8\) and \(0\le j\le 16-2i\), where \(j+2i \ne 15\) and \(i\ne 7\).
All types are realizable.
Proof
Let the type of \(\mathcal {U}\) be \(6^{m_6}\dots 1^{m_1}\). From Corollary 3 and Lemma 13 we conclude \(m_6=0\) and \(m_1=0\), so that the packing condition (1) gives \(8m_5+4m_4+2m_3+m_2=32\). Corollary 6 yields \(m_5\le 2\) and Lemma 16 excludes \(\left( m_5,m_4,m_3,m_2\right) =(2,4,0,0)\). Moreover, Corollary 2 implies \(m_l\ne 2\) for the smallest index with \(m_l>0\), which excludes the types \(5^2 4^j 3^i 2^2\) with \(j+2i=7\), \(5^2 4^3 2^2\), \(5^1 4^j 3^i 2^2\) with \(j+2i=11\), \(5^1 4^5 3^2\), \(4^j 3^i 2^2\) with \(j+2i=15\), and \(4^7 3^2\). The two hypothetical types \(5^2 4^2 3^4\) and \(5^1 4^6\) are excluded in Lemma 17. For the three hypothetical types \(5^2 4^3 2^4\), \(5^1 4^5 2^4\), and \(4^7 2^4\) we apply Lemma 9 to conclude that the set of 2-spaces is 4-divisible. However, Lemma 11 characterizes the 2-divisible sets of cardinality 4 and we can easily check that it is not 4-divisible. All remaining possibilities \(\left( m_5,m_4,m_3,m_2\right) \in \mathbb {N}_0^4\) are listed in the statement and for each type we found a realization using an ILP formulation, see Sect. A. \(\square \)
Corollary 9
If \(\mathcal {U}\) is a tight irreducible avsp of \({{\,\textrm{PG}\,}}(6,2)\) of minimum possible size, then \(\#\mathcal {U}=8\) and \(\mathcal {U}\) has type \(4^8\).
Here we describe all four isomorphism types of homogeneous irreducible tight avsps \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(6,2)\) of type \(4^8\), where we call an avsp \(\mathcal {U}\) homogeneous if all of its elements have the same dimension. Geometrically each \(\mathcal {U}\) is given by eight solids \(S_1,\dots ,S_8\) in \({{\,\textrm{PG}\,}}(6,2)\) intersecting a hyperplane \(H_\infty \) in a plane (plus some extra conditions). Here we directly consider the part \(\mathcal {U}'\) at infinity, i.e. the eight planes \(\pi _1,\dots ,\pi _8\in H_\infty \cong {{\,\textrm{PG}\,}}(5,2)\) given by \(\pi _i=S_i\cap H_\infty \). The conditions for the pairwise intersections are
Since the planes form a spanning 2-divisible set we have
for every hyperplane H of \(H_\infty \cong {{\,\textrm{PG}\,}}(5,2)\).
Let \(e_i\) denote the ith unit vector, i.e., the vector with a 1 at the i-th position and zeros everywhere else. If the pairwise intersection of the planes \(\pi _i\) is a line in all cases then they span a solid, which contradicts the condition that not all eight planes can be contained in a hyperplane. W.l.o.g. we assume \(\pi _1=\langle e_1,e_2,e_3\rangle \) and \(\pi _2=\langle e_3,e_4,e_5\rangle \), i.e., the intersection point between \(\pi _1\) and \(\pi _2\) is \(\langle e_3\rangle \). Since the intersection of all eight planes is empty we assume w.l.o.g. that \(\pi _3\) does not contain \(\pi _1\cap \pi _2=e_3\). Up to symmetry we have the following three cases for \(\pi _3\):
-
(a)
\(\dim (\pi _1\cap \pi _3)=2\), \(\dim (\pi _2\cap \pi _3)=1\): \(\pi _3=\langle e_1,e_2,e_4\rangle \);
-
(b)
\(\dim (\pi _1\cap \pi _3)=\dim (\pi _2\cap \pi _3)=1\), \(\dim (\langle \pi _1,\pi _2,\pi _3\rangle )=5\): \(\pi _3=\langle e_1,e_4,e_2+e_5\rangle \); and
-
(c)
\(\dim (\pi _1\cap \pi _3)=\dim (\pi _2\cap \pi _3)=1\), \(\dim (\langle \pi _1,\pi _2,\pi _3\rangle )=6\): \(\pi _3=\langle e_1,e_4,e_6\rangle \).
Starting from the three possibilities for \(\pi _1,\pi _2,\pi _3\) we build up a graph whose vertices consist of the planes that have intersection dimension 1 or 2 with \(\pi _i\) for \(1\le i\le 3\), cf. Condition (10). Two vertices \(\pi \) and \(\pi '\) are connected by an edge if \(1\le \dim (\pi \cap \pi ')\le 2\), cf. Condition (10). For these graphs we determine all cliques of size five and check Condition (11) afterwards:
-
(a)
3, 014, 435, 152 cliques \(\rightarrow \) 432 cases;
-
(b)
2, 198, 293, 872 cliques \(\rightarrow \) 0 cases;
-
(c)
1, 218, 975, 648 cliques \(\rightarrow \) 320 cases.
The overall computation took just a few minutes. Note that the constructed 752 cases are just candidates for the extension problem to eight solids. Up to symmetry they decompose into just four non-isomorphic examples. It turns out that they can be distinguished by the maximum number \(\gamma _0\) of incidences of a point and the eight planes, where \(2\le \gamma _0\le 5\). In Table 2 we summarize incidence counts, i.e., for \(X\in \{\text {point, line, solid,hyperplane}\}\) the stated vector \({a_1}^{b_1}\dots {a_r}^{b_r}\) says that \(b_i\) of the Xs have exactly \(a_i\) incidences with the eight planes, given the isomorphy type characterized by \(\gamma _0\). The last row states how often the “third plane” is of type (a), (b), or (c) after fixing a pair of planes \(\pi _1,\pi _2\).
For \(\gamma _0=2\) we consider an arbitrary plane \(\pi \) contained in the hyperbolic quadric \(\mathcal {Q}=Q^+(5,2)\), which form a single orbit under its collineation group \(\textrm{PGO}^+(6, 2) = C_2 \times \textrm{PGL}(3,2) = S_8\) of order 40, 320. From the 35 points on \(\mathcal {Q}\) the points in \(\pi \) have no incidences with the eight planes while all other 28 points on \(\mathcal {Q}\) have exactly two incidences. This example is obtained in 16 cases. The symmetry group of the eight planes has order 1344 and type \(C_2^3 : {\text {PGL}}(3,2)\).
For \(\gamma _0=3\) choose a projective base of \({{\,\textrm{PG}\,}}(5,2)\), i.e., put \(f_i = e_i\) for \(1 \le i \le 6\) and \(f_7 = \sum _{i=1}^6 e_i\). Consider a Fano plane on the set \(\{ 1, 2, 3, 4, 5, 6, 7 \}\):
Choose seven planes \(\pi _i :=\langle f_j: j \in \ell _i \rangle \) for \(1\le i\le 7\) and an eight plane. \(\pi _8=K :=\langle \sum _{j \in \ell _i} f_j: 1 \le {i} \le 7 \rangle \). Note that K itself is also a Fano plane (of course with a different embedding). The points with three incidences with the eight planes are the \(f_i\) for \(1\le i\le 7\) and the points with two incidences with the eight planes are the points of K. This example is obtained in 112 cases. The symmetry group of the eight planes has order 168 and type \({\text {PGL}}(3,2)\).
For \(\gamma _0=4\) let \(\left\{ Q_1, Q_2, Q_3,Q_4,R_1, R_2 \right\} \) be a basis of \(H_\infty \). With this, we construct the eight planes as
where \(A=Q_1+Q_2+Q_3+Q_4\) and \(Q_5=Q_1\). The points with four incidences with the eight planes are \(Q_1,\dots ,Q_4\). The lines with two incidences with the eight planes are \(\langle Q_i,Q_{i+1}\rangle \) for \(1\le i\le 4\) (again setting \(Q_5=Q_1\); so this is some kind of a cyclic construction). This example is obtained in 192 cases. The symmetry group of the eight planes has order 128 and type \(D_8^2 : C_2\).
For \(\gamma _0=5\) let \(\left\{ Q_1, Q_2, R_1, R_2, S_1, T_1 \right\} \) be a basis of \(H_\infty \). With this, we set \(S_2:=S_1+Q_1+Q_2\), \(T_2:=T_1+Q_1+Q_2+R_1+R_2\) and construct the eight planes as
which also reflects the three orbits of the eight planes w.r.t. the action of their automorphism group. The points with five incidences with the eight planes are \(R_1\) and \(R_2\). The points with four incidences with the eight planes are \(Q_1\) and \(Q_2\). The points with three incidences with the eight planes are \(R_1+Q_1\) and \(R_2+Q_2\). The lines with three incidences with the eight planes are \(\langle R_1,Q_1\rangle \) and \(\langle R_2,Q_2\rangle \). The lines with two incidences with the eight planes are \(\langle R_1,R_2\rangle \) and \(\langle Q_1,Q_2\rangle \). This example is obtained in 432 cases. The symmetry group of the eight planes has order 1024.
5 Constructions of tight irreducible avsps
In this section we collect a few general constructions for tight irreducible avsps using different combinatorial objects. We use spreads, the Klein quadric, and hitting formulas in Sects. 5.1, 5.2, and 5.3, respectively.
5.1 Constructions from projective spreads
A k-spread in \({{\,\textrm{PG}\,}}(n-1,q)\) is a disjoint set of k-spaces that partitions \({{\,\textrm{PG}\,}}(n-1,q)\). It is well known that k-spreads exist iff k divides n.
Proposition 7
For each positive even integer n there exists a tight irreducible avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \((n/2)^m\), where \(m=q^{n/2}\).
Proof
Let \(k=n/2\) and \(\mathcal {P}\) be a k-spread of \({{\,\textrm{PG}\,}}(n-1,q)\), which has size \(q^k+1\). Now choose an arbitrary element \(K\in \mathcal {P}\) and an arbitrary hyperplane H containing K. With this we set \(\mathcal {U}=\mathcal {P}\backslash \{K\}\) where we choose H as the hyperplane at infinity. By construction \(\mathcal {U}\) is an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\). Since all elements are pairwise disjoint \(\mathcal {U}\) is tight and since any two elements span \({{\,\textrm{PG}\,}}(n-1,q)\) \(\mathcal {U}\) is irreducible. \(\square \)
We have seen that in \({{\,\textrm{PG}\,}}(5,2)\) there exist tight irreducible avsps of types \(3^8\) and \(2^{16}\). Starting from a 2-spread of \({{\,\textrm{PG}\,}}(5,q)\) we can clearly obtain a tight avsp \(\mathcal {U}\) by removing all lines that are completely contained in an arbitrarily chosen hyperplane H. However, it may happen that \(\mathcal {U}\) is reducible. This is indeed the case if we start with the Desarguesian line spread. In \({{\,\textrm{PG}\,}}(5,2)\) there exist 131, 044 non-isomorphic line spreads [24].
Conjecture 1
For each integer \(1<k<n\) that divides n there exists a tight irreducible avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(k^m\), where \(m=q^{n-k}\).
If n is odd no \(\left\lfloor (n-1)/2\right\rfloor \)-spread exists, but we can construct tight irreducible avsps from some special large partial spreads.
Proposition 8
For each odd integer \(n\ge 5\) there exists a tight irreducible avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(((n-1)/2)^m\), where \(m=q^{(n+1)/2}\).
Proof
Let \(k=(n-1)/2\) and \(\mathcal {P}\) be a vector space partition of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \({(k+1)^1} k^m\), where \(m=q^{k+1}\). Now choose an arbitrary hyperplane H containing the unique \((k+1)\)-dimensional element K of \(\mathcal {P}\). With this we set \(\mathcal {U}=\mathcal {P}\backslash \{K\}\) where we choose H as the hyperplane at infinity. By construction \(\mathcal {U}\) is an avsp of \({{\,\textrm{PG}\,}}(n-1,q)\). Since all elements are pairwise disjoint \(\mathcal {U}\) is tight. Any two elements of \(\mathcal {U}\) span a hyperplane of \({{\,\textrm{PG}\,}}(n-1,q)\). Since the elements of \(\mathcal {U}':=\left\{ U\cap H_\infty \,:\,U\in \mathcal {U}\right\} \) span \(H_\infty \), not all elements of \(\mathcal {U}'\) can be contained in a hyperplane of \(H_\infty \) and \(\mathcal {U}\) is irreducible. \(\square \)
Vector space partitions of the used type can be obtained from lifted MRD codes, see e.g. [27] for a survey on MRD codes. They also occur as extendible partial k-spreads, where \(k=(n-1)/2\), of the second largest size \(q^{k+1}\) and are the main building block in the construction of partial k-spreads of size \(q^{k+1}+1\) as described by Beutelspacher [3]. For more details on the relations between these different geometrical objects we refer e.g. to [16].
For each \(n\ge 5\) there also exist a vector space partition \(\mathcal {P}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \((n-2)^1 2^m\), where \(m=q^{n-2}\). Choosing a hyperplane that contains the unique \((n-2)\)-space as the hyperplane at infinity we can obtain a tight avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(2^{q^{n-2}}\). The remaining question is whether we can choose \(\mathcal {P}\) in such a way that \(\mathcal {U}\) becomes irreducible.
5.2 Constructions from the Klein quadric
It seems very likely that the avsp of \({{\,\textrm{PG}\,}}(6,2)\) of type \(4^8\) with maximum point multiplicity 2, see Sect. 4.2, can be generalized to arbitrary field sizes.
Theorem 2
There exists a tight irreducible avsp of type \(4^{q^3}\) in \({{\,\textrm{PG}\,}}(6, q)\) for q even.
Proof
We will use the following finite field model of \({{\,\textrm{AG}\,}}(6,q)\). Let \(V=\mathbb {F}_{q^3}\times \mathbb {F}_{q^3}\times \mathbb {F}_q\) and let \(H_\infty \) be the hyperplane \(X_3=0\). So we identify \({{\,\textrm{AG}\,}}(6,q)\) with the elements of V of the form (a, b, c), where \(c\ne 0\). Consider the following quadratic form on \(H_\infty \):
Then Q defines the points of a hyperbolic quadric \(\mathcal {Q}\). Next, let \(\pi \) be the plane \(\{(0,y,0):y\in \mathbb {F}_{q^3}^*\}\). Then \(\pi \) is totally singular with respect to Q. Let \(S_0:=\{(x,0,1):x\in \mathbb {F}_{q^3}\}\) and \(S_1:=\{(y,y^{q^2}+y^q+1,1):y\in \mathbb {F}_{q^3}\}\). Let \(\alpha \) be a primitive element of \(\mathbb {F}_{q^3}\), let \(\sigma \) be the map
and let \(G:=\langle \sigma \rangle \). We will show that \(\mathcal {S}:=\{S_0\}\cup S_1^G\) is a tight irreducible avsp of size \(q^3\) in \({{\,\textrm{AG}\,}}(6, q)\).
First note that \(\sigma \) has order \(q^3-1\). Let (a, b, 1) be a point P of \({{\,\textrm{AG}\,}}(6, q)\). We show that P lies in a unique element of \(\mathcal {S}\). If \(b=0\), then P lies in \(S_0\). The condition that P lies in \(S_1^{\sigma ^m}\) (where \(1\le m \le q^3-1\)) can be restated as
for some \(y\in \mathbb {F}_{q^3}\). We have
and the polynomial \(y^{q^2+1}+y^{q+1}+y\) is a permutation on \(\mathbb {F}_{q^3}\), by [29, Theorem 4] (using our assumption q even). Hence, y and, thus, m are determined by a and b. Therefore, \(\mathcal {S}\) is an avsp.
Note that \(\pi _1:=\overline{S_1}\cap H_\infty =\{(y,y^{q^2}+y^q,0):y\in \mathbb {F}_{q^3}\}\) and \(\pi _0:=\overline{S_0}\cap H_\infty =\{(x,0,0):x\in \mathbb {F}_{q^3}\}\). To compute the image of \(\pi _1\) under \(\sigma ^m\), notice that
where \(w=\alpha ^{-m}y\) and \(\zeta =\alpha ^{(q^2+1)m}\). Therefore, upon application of G,
where \(\pi _\zeta := \{ (y, \zeta y^{q^2}+\zeta ^q y^q, 0 ) : y \in \mathbb {F}_{q^3}^* \}\). Note that \(|\mathcal {S}_\infty | = q^3\) and that \(\mathcal {S}\) consists of totally singular planes of \(\mathcal {Q}\) disjoint from \(\pi \). As these are all totally singular planes of \(\mathcal {Q}\) disjoint from \(\pi \), these cover the points of \(\mathcal {Q}\) uniformly and their common intersection is empty and, thus, \(\mathcal {S}\) is tight. As these pairwise meet in a point, any two elements of \(\mathcal {S}\) span \({{\,\textrm{PG}\,}}(6, q)\). This shows irreducibility. \(\square \)
Let \(\mathcal {P}\) be the set of planes in the Klein quadric \(\mathcal {Q}=Q^+(5,q)\) that is disjoint to an arbitrary but fixed plane \(\pi \) in \(\mathcal {Q}\). One can verify that \(\mathcal {P}\) is a spanning q-divisible set of \(q^3\) planes in \({{\,\textrm{PG}\,}}(5,q)\) such that the intersection of a pair of planes is a point, i.e., all known conditions for the part \(\mathcal {U}'\) at infinity of a tight irreducible avsp of \({{\,\textrm{PG}\,}}(6,q)\) of type \(4^{q^3}\) are satisfied. The remaining question is whether a solution of the extension problem for \(\mathcal {P}\) exists.
Conjecture 2
The extension problem for \(\mathcal {P}\) admits a solution for all prime powers q.
Theorem 2 shows the conjecture for q even. By computer we showed Conjecture 2 for \(q=3,5\).
5.3 Constructions using hitting formulas
A hitting formula is a DNF such that each truth assignment to the underlying variables satisfies precisely one term [17]. For example:
We say that a variable appears in the DNF if one of the two corresponding literals appears in one of the terms. The variables mentioned in the above DNF are x, y, z. We can represent hitting formulas over \(x_1,\ldots ,x_n\) as collections of strings in \(\{0,1,*\}^n\), where 0 in the i’th position represents \(\bar{x}_i\), 1 in the i’th position represents \(x_i\), and \(*\) in the i’th position represents the absence of \(x_i\) in the term. For example, the above hitting formula corresponds to the strings \(111,000,01*,*01,1{*}0\).
This notion describes subcubes of affine points. Taking the projective closure we end up with the list
of subspaces of \({{\,\textrm{PG}\,}}(3,2)\) that form an avsp, which obviously is not irreducible. However, we can join the first two elements to \(\langle 1000,0111\rangle \) and obtain a tight irreducible avsp. While every string corresponds to an affine subspace, not every affine subspace corresponds to a string. It turns out that any two strings having its stars at the same positions can be joined to an affine subspace. For brevity, we speak of compression. Interestingly enough, several tight irreducible avsps of \({{\,\textrm{PG}\,}}(n-1,2)\) of the minimum possible size can be obtained by compression, see Sect. C in the appendix. More theoretical insights on the relations between hitting formulas and avsps can be found in [9]—focusing on irreducible hitting formulas.
6 The minimum possible size of tight irreducible avsps
We have discussed the minimum possible size of a (tight) avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) in Sect. 2. Before we consider the minimum possible size \(\sigma _q(n)\) of a tight irreducible avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) we remark that Lemma 13 implies the upper bound \(\#\mathcal {U}\le 2^{n-2}\) for \(q=2\). The constructions mentioned in Sect. 5 suggest that this upper bound can be attained. In Sects. 3 and 4 we have determined the exact values \(\sigma _q(2)=q\), \(\sigma _q(3)=\infty \), \(\sigma _2(4)=4\), \(\sigma _2(5)=6\), \(\sigma _2(6)=7\), and \(\sigma _2(7)=8\).
Lemma 18
In \({{\,\textrm{PG}\,}}(7,2)\) no tight irreducible avsp of type \(6^1 5^4 4^4\) exists.
Proof
Assume that \(\mathcal {U}\) is a tight irreducible avsp of type \(6^1 5^4 4^4\) in \({{\,\textrm{PG}\,}}(7,2)\). Consider \(\mathcal {U}':=\left\{ U\cap H_\infty \mid U\in \mathcal {U}\right\} \). From Lemmas 9 and 11 we conclude that the four planes in \(\mathcal {U}'\) share a common line L and that there is a unique configuration up to symmetry. Since the 5-space in \(\mathcal {U}'\) intersects each of the four planes in dimension at least 2, it also intersects L in dimension at least 1. We enumerate the possible configurations of the 5-space and the four planes in \(\mathcal {U}'\) up to symmetry. For each such configuration we build up a list of candidates for the four solids using the facts that the intersect the planes in dimension 1 or 2 and the 5-space in dimension at least 3 or 4. Next we consider a 4-subsets of those candidates whose dimensions of the pairwise intersections are contained in \(\{2,3\}\). We end up with a list of candidates for \(\mathcal {U}'\). Here we can eliminate those which a common point or are not spanning, cf. Lemma 14. For each hyperplane H of \(H_\infty \) let \(s:=\left( s_3,s_4,s_5\right) \) be given by \(s_i:=\#\left\{ U\in \mathcal {U}'\mid \dim (U)=i,U\le H\right\} \). From Lemma 15 we can conclude that the following cases cannot occur:
-
\(s=(0,1,0)\);
-
\(s=(0,3,0)\);
-
\(s=(0,0,1)\);
-
\(s=(2,3,1)\);
-
\(s=(0,1,1)\).
For the remaining cases we have checked computationally that the extension problem does not admit a solution. \(\square \)
Lemma 19
In \({{\,\textrm{PG}\,}}(6,2)\) every configuration \(\mathcal {U}'\) of type \(5^2 4^2 3^4\), \(5^2 4^1 3^6\), \(5^1 4^6\), or \(4^8\) that satisfies the conditions of Lemmas 14, 15, and the dimension condition, cf. Lemma 4, admits a point P that is contained in all elements of \(\mathcal {U}'\).
Proof
All cases have been excluded by ILP computations, cf. Sect. A for general model formulations. \(\square \)
Corollary 10
In \({{\,\textrm{PG}\,}}(7,2)\) no tight irreducible avsp of the following types exist: \(6^2 5^2 4^4\), \(6^2 5^1 4^6\), \(6^1 5^6\), \(6^1 5^4 4^4\), \(5^8\).
Corollary 11
The minimum size \(\sigma _2(8)\) of an irreducible tight avsp of \({{\,\textrm{PG}\,}}(7,2)\) is given by 10.
For attaining examples we refer to Sect. C in the appendix.
Our next aim is a recursive construction which implies an asymptotic upper bound of roughly \(\tfrac{3n}{2}\) for \(\sigma _2(n)\).
Theorem 3
Let \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) be an irreducible tight avsp of \({{\,\textrm{PG}\,}}(n-1,2)\) with \(\dim (U_1)=n-2\) and \(n\ge 3\). Then, there exists an irreducible tight avsp \(\mathcal {U}'\) of \({{\,\textrm{PG}\,}}(n+2-1,2)\) of size \(\#\mathcal {U}+3=r+3\) that contains an element of dimension n.
Proof
Let \(V={{\,\textrm{PG}\,}}(n+2-1,2)\), \(H_\infty \) be the hyperplane at infinity, and \(K\le H_\infty \) be an arbitrary subspace with \(\dim (K)=n\). With this, denote the two hyperplanes containing K and not being equal to \(H_\infty \) by \(H_1\) and \(H_2\). Choose an arbitrary point \(P\le K\) and a subspace \(K'\le K\) such that \(\dim (K')=n-1\) and \(\left\langle P,K'\right\rangle =K\). Now choose an irreducible tight avsp \(\mathcal {U}=\left\{ U_1,\dots ,U_r\right\} \) of \(H_1/P\) such that \(\dim (U_1)=n-2\). We set \(A_i:=\left\langle U_i,P\right\rangle \) for all \(1\le i\le r\). Choose an n-space B with \(B\cap H_1=A_1\) and \(B\not \le H_\infty \), so that \(C_1:=B\cap H_2\) is an \((n-1)\)-space in \(H_2\) with \(C_1\not \le H_\infty \) and \(P\le C_1\). In \(H_2\) choose three further \((n-1)\)-spaces \(C_2,C_3,C_4\) such that \(\dim (C_i\cap C_j)=\dim (C_1\cap C_2\cap C_3\cap C_4)=n-3\) for all \(1\le i<j\le 4\), \(C_1\cap C_2\cap C_3\cap C_4\le K'\), and that \(\left\{ C_1,C_2,C_3,C_4\right\} \) forms an avsp of \(H_2\). (This boils down to an avsp of \({{\,\textrm{PG}\,}}(4-1,2)\) of type \(2^4\), which is a union of four disjoint lines.) Then,
is an irreducible tight avsp of V of size \(\#\mathcal {U}+3=r+3\). The size follows directly from the construction and \(\dim (B)=n\). Since \(B\cap H_1\cap H_\infty =B\cap H_2\cap H_\infty \) we have \(B\cap C_2\cap C_3\cap C_4 =C_1\cap C_2\cap C_3\cap C_4\le K'\) and \(B\cap A_2\cap \dots \cap A_r =A_1\cap \dots \cap A_r=P\), so that \(\mathcal {U}'\) is tight. Noting that \(\mathcal {U}'':=\left\{ A_1,\dots ,A_r\right\} \) is an avsp of \(H_1\), \(\left\{ C_1,\dots ,C_4\right\} \) is an avsp of \(H_2\), and \(\left\{ A_1,C_1\right\} \) is an avsp of B, we conclude that \(\mathcal {U}'\) is indeed an avsp of V.
It remains to show that \(\mathcal {U}'\) is irreducible. So, assume that there exists a proper subset \(\tilde{\mathcal {U}}\subsetneq \mathcal {U}'\) that can be joined to an x-space X. If \(\tilde{\mathcal {U}} \cap \left\{ B,C_2,C_3,C_4\right\} =\emptyset \), then we have \(\tilde{\mathcal {U}}\subseteq \mathcal {U}''\) contradicting the fact that \(\mathcal {U}''\) is irreducible. So, especially we have \(x\in \{n,n+1\}\). Noting that any two elements in \(\left\{ C_1,C_2,C_3,C_4\right\} \) span \(H_2\), we conclude \(\#\left( \tilde{\mathcal {U}} \cap \left\{ B,C_2,C_3,C_4\right\} \right) =1\).
-
(i)
If \(x=n\), then let \(2\le i\le 4\) be the unique index such \(C_i\in \tilde{\mathcal {U}}\). Clearly, \(B\notin \tilde{\mathcal {U}}\). Let \(\tilde{C}\) be the the other \((n-1)\) space in X not contained in \(H_\infty \) and not equal to \(C_i\) with \(\tilde{C}\cap H_\infty =C_i\cap \tilde{C}\), so that the elements of \(\tilde{\mathcal {U}}\backslash \{C_i\}\) form a vector space partition of \(\tilde{C}\). However, since \(P\not \le C_i\) and all elements in \(\mathcal {U}\backslash \left\{ B,C_1,C_2,C_3\right\} \) contain P, this is impossible.
-
(ii)
If \(x=n+1\) and \(\#\left( \tilde{\mathcal {U}} \cap \left\{ B,C_2,C_3,C_4\right\} \right) =1\), then we have \(\dim (X')=n\) for \(X':=X\cap H_1\). If \(B\in \tilde{\mathcal {U}}\), then \(\tilde{\mathcal {U}}\backslash \{B\} \cup \left\{ A_1\right\} \) can be joined to \(X'\) in \(H_1\), which is a contradiction. If \(C_i\in \tilde{\mathcal {U}}\), then \(\tilde{\mathcal {U}}\backslash \{C_i\} \) can be joined to \(X'\) in \(H_1\), which is also a contradiction.
Thus, \(\mathcal {U}'\) is irreducible. \(\square \)
Corollary 12
For each \(n\ge 4\) an irreducible tight avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,2)\) of size \(\left\lfloor \tfrac{3n-3}{2}\right\rfloor \) exists.
Proof
For \(n=4\) there exists such an example with type \(2^4\) and for \(n=5\) there exists such an example with type \(3^2 2^4\). Then, iteratively apply the construction from Theorem 3. \(\square \)
We remark that the constructive upper bound for \(q_2(n)\) is tight for \(n\in \{4,5,6,8\}\).
7 Conclusion
We have introduced the geometrical object of affine vector space partitions. To make their study interesting we need the additional conditions of tightness and irreducibility, which are natural in the context of hitting formulas. A very challenging problem is the determination of the minimum possible size of an irreducible tight avsp of \({{\,\textrm{PG}\,}}(n-1,q)\). To this end we have obtained some preliminary results for arbitrary field sizes but small dimensions and for the binary case with medium sized dimensions. We also gave a parametric construction that matches the known exact values in many cases. That irreducible tight avsps are nice geometric objects can be e.g. seen at their sometimes large automorphism groups as well as the mentioned connection to the hyperbolic quadric \(Q^+(5,q)\). While we have obtained a few insights, many questions remain open. So, we would like to close with a list of a few open problems:
-
1.
Consider tight irreducible avsps of \({{\,\textrm{PG}\,}}(4,q)\) of type \(3^{m_3} 2^{m_2}\). What is the largest possible value for \(m_3\)?
-
2.
Determine a solution of the extension problem for the set \(\mathcal {P}\) of \(q^3\) planes in \({{\,\textrm{PG}\,}}(5,q)\) obtained from the hyperbolic quadric \(Q^+(5,q)\) for q odd, cf. Conjecture 2.
-
3.
Determine further constructions for tight irreducible avsps of \({{\,\textrm{PG}\,}}(n-1,q)\) with large automorphism groups.
-
4.
Construct a tight irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) of type \(2^{q^{n-2}}\) for all \(n\ge 5\).
-
5.
Is it possible that a tight irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\) contains 1-dimensional elements if \(n\ge 4\) and \(q\ge 3\)?
-
6.
Determine further exact values of the minimum size \(\sigma _q(n)\) of a tight irreducible avsp of \({{\,\textrm{PG}\,}}(n-1,q)\).
-
7.
Determine \(\lim _{n\rightarrow \infty } \sigma _q(n)/n\).
-
8.
Is \(\sigma _q(n)\) strictly increasing in n?
Notes
One argumentation is based on the fact that each \(q^k\)-divisible (multi-) set of \(\tfrac{q^{k+1}-1}{q-1}\) points forms a \((k+1)\)-space for each positive integer k, see e.g. [15].
References
Agievich S.V.: Bent rectangles. In: Boolean Functions in Cryptology and Information Security, volume 18 of NATO Science for Peace and Security Series D: Information and Communication Security (2008).
Bamberg J., Betten A., Cara P., De Beule J., Lavrauw M., Neunhöffer M.: FinInG—Finite Incidence Geometry, Version 1.4.1 (2018). http://www.fining.org.
Beutelspacher A.: Partial spreads in finite projective spaces and partial designs. Mathematische Zeitschrift 145(3), 211–229 (1975).
De Beule J., Demeyer J., Mattheus S., Sziklai P.: On the cylinder conjecture. Des. Codes Cryptogr. 87(4), 879–893 (2019).
Davydov G., Davydova I., Büning H.K.: An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Ann. Math. Artif. Intell. 23(3–4), 229–245 (1998).
El-Zanati S.I., Heden O., Seelinger G.F., Sissokho P.A., Spence L.E., Eynden C.V.: Partitions of the \(8\)-dimensional vector space over \(\operatorname{GF}(2)\). J. Comb. Des. 18(6), 462–474 (2010).
El-Zanati S.I., Seelinger G.F., Sissokho P.A., Spence L.E., Eynden C.V.: On partitions of finite vector spaces of low dimension over \(\operatorname{GF}(2)\). Discret. Math. 309(14), 4727–4735 (2009).
El-Zanati S.I., Seelinger G.F., Sissokho P.A., Spence L.E., Eynden C.V.: On \(\lambda \)-fold partitions of finite vector spaces and duality. Discret. Math. 311(4), 307–318 (2011).
Filmus Y., Hirsch E., Kurz S., Ihringer F., Riazanov A., Smal A., Vinyals M.: Irreducible subcube partitions. arXiv preprint arXiv:2212.14685 (2022).
Heden O.: Partitions of finite abelian groups. Eur. J. Comb. 7(1), 11–25 (1986).
Heden O.: On the length of the tail of a vector space partition. Discret. Math. 309(21), 6169–6180 (2009).
Heden O.: A survey of the different types of vector space partitions. Discret. Math. Algorithms Appl. 4(01), 1250001 (2012).
Heinlein D., Honold T., Kiermaier M., Kurz S., Wassermann A.: Projective divisible binary codes. In: The Tenth International Workshop on Coding and Cryptography 2017: WCC Proceedings. IEEE Information Theory Society, Saint-Petersburg, September (2017). https://eref.uni-bayreuth.de/40887/.
Heinlein D., Honold T., Kiermaier M., Kurz S.: Generalized vector space partitions. Australas. J. Comb. 73(1), 162–178 (2019).
Honold T., Kiermaier M., Kurz S.: Partial spreads and vector space partitions. In: Network Coding and Subspace Designs, pp. 131–170. Springer, Berlin (2018).
Honold T., Kiermaier M., Kurz S.: Classification of large partial plane spreads in \(\operatorname{PG} (6, 2)\) and related combinatorial objects. J. Geom. 110(1), 1–31 (2019).
Iwama K.: CNF-satisfiability test by counting and polynomial average time. SIAM J. Comput. 18(2), 385–391 (1989).
Kiermaier M., Kurz S.: On the lengths of divisible codes. IEEE Trans. Inf. Theory 66(7), 4051–4060 (2020).
Kurz S., Mattheus S.: A generalization of the cylinder conjecture for divisible codes. IEEE Trans. Inf. Theory 68(4), 2281–2289 (2021).
Kaski P., RJ Östergård P.: Classification Algorithms for Codes and Designs, vol. 15. Springer, Berlin (2006).
Kurz S.: Heden’s bound on the tail of a vector space partition. Discret. Math. 341(12), 3447–3452 (2018).
Kurz S.: Divisible codes. arXiv preprint arXiv:2112.11763 (2021).
Linton S.: Finding the smallest image of a set. In: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pp 229–234 (2004).
Mateva Z.T., Topalova S.T.: Line spreads of \(\operatorname{PG}(5, 2)\). J. Comb. Des. 17(1), 90–102 (2009).
Năstase E.L., Sissokho P.A.: The minimum size of a finite subspace partition. Linear Algebra Appl. 435(6), 1213–1221 (2011).
Peitl T., Szeider S.: Are hitting formulas hard for resolution? (2022). arXiv:2206.15225.
Sheekey J., Schmidt K.-U., Winterhof A.: MRD codes: constructions and connections. In: Combinatorics and finite fields: difference sets, polynomials, pseudorandomness and applications, vol. 23, pp. 255–286. de Gruyter (2019).
Tarannikov Y.V.: On the existence of Agievich-primitive partitions. Diskretn. Anal. Issled. Oper. Ser. 1 29(4), 104–123 (2022).
Ziran T., Zeng X., Lei H.: Several classes of complete permutation polynomials. Finite Fields Appl. 25, 182–193 (2014).
Acknowledgements
First of all we would like to thank the two anonymous referees for their careful reading and the many useful remarks that improved the presentation of the paper a lot. We thank Esmeralda Năstase, Artur Riazanov, and Yuriy V. Tarannikov for helpful discussions. Further thanks go to Tomáš Peitl and Stefan Szeider for sharing with us the results of the computer search reported in [26]. Ferdinand Ihringer and Sascha Kurz would like to thank the organizers of the Sixth Irsee Conference on Finite Geometries for their invitation. During that conference the idea of analyzing and introducing avsps slowly evolved, being triggered by some open problems for hitting formulas. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 802020-ERC-HARMONIC. Ferdinand Ihringer is supported by a postdoctoral fellowship of the Research Foundation – Flanders (FWO).
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This is one of several papers published in Designs, Codes and Cryptography comprising the “Special Issue: Finite Geometries 2022”.
Appendices
Integer linear programming formulations
Let \(\mathcal {U}'\) be an arbitrary set of subspaces of \(H_\infty \) in \({{\,\textrm{PG}\,}}(n-1,q)\). For the question whether \(\mathcal {U}'\) can be extended to an avsp \(\mathcal {U}\) of \({{\,\textrm{PG}\,}}(n-1,q)\) we utilize binary variables \(x_C\) for all subspaces C of \({{\,\textrm{PG}\,}}(n-1,q)\) such that \(C\not \le H_\infty \) and \(C\cap H_\infty \in \mathcal {U}'\) with the meaning \(x_C=1\) iff \(C\in \mathcal {U}\). We denote the set of all of these subspaces by \(\mathcal {C}\). For each point P in \({{\,\textrm{PG}\,}}(n-1,q)\backslash H_\infty \) the equation
and for each \(U\in \mathcal {U}'\) the inequality
has to be satisfied. (If we are only interested in irreducible avsps, then we can require “\(=\)” in Inequality (13).) The 0/1 solutions of this equation system are in one-to-one correspondence to extensions of \(\mathcal {U}'\) to avsps \(\mathcal {U}\) in \({{\,\textrm{PG}\,}}(n-1,q)\).
Searching a tight irreducible avsp \(\mathcal {U}\) in \({{\,\textrm{PG}\,}}(n-1,q)\) directly can be achieved by a similar model. Now let \(\mathcal {C}\) be the set of subspaces of \({{\,\textrm{PG}\,}}(n-1,q)\) that are not incident with \(H_\infty \). Again we use binary variables \(x_C\) for all \(C\in \mathcal {C}\) with the meaning \(x_C=1\) iff \(C\in \mathcal {U}\). Partitioning the affine points is modeled by
for all points P not contained in \(H_\infty \). The condition that \(\mathcal {U}\) is tight can be written as
for all points \(Q\le H_\infty \). In order to model the condition that \(\mathcal {U}\) is irreducible we say that a subspace A escapes a subspace B if A has both points that are contained and points that are not contained in B. So, for each \(B\in \mathcal {C}\) we require
i.e., either \(B\in \mathcal {U}\) or there exists an element \(C\in \mathcal {U}\) certifying that no subset of \(\mathcal {U}\) can be joined to B.
Of course we can fix the type of \(\mathcal {U}\) by additional equations. Using a target function we can minimize or maximize \(\#\mathcal {U}\) as well as the number of i-dimensional elements. We have to mention that this ILP formulation comprises a lot of symmetry, so that it can be solved in reasonable time for small parameters n and q only. However, we can use the inherent symmetry to fix some of the \(x_C\) variables. I.e. the symmetry group acts transitively on the set of a-spaces that are not contained in \(H_\infty \). For pairs of an a-space A and a b-space B that both are not contained in \(H_\infty \), the different orbits under the action of the symmetry group are characterized by the invariant \(\dim (A\cap B)\).
Technical details
In order to keep the paper more readable, we have moved some technical details, that may also be left to the reader, to this section. The proof of Lemma 1 uses the numbers \(m_i^{(j)}\) satisfying certain constraints. For completeness we state how those number can be computed in:
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs10623-023-01263-z/MediaObjects/10623_2023_1263_Figa_HTML.png)
In the three subsequent lemmas we characterize 2-divisible sets in \({{\,\textrm{PG}\,}}(3,2)\) of cardinality \(s\in \{3,6,8\}\).
Lemma 20
Let \(\mathcal {P}\) be a 2-divisible set of three points in \({{\,\textrm{PG}\,}}(3,2)\) then \(\mathcal {P}\) forms a line.
Proof
Let \(\mathcal {P}=\left\{ P_1,P_2,P_3\right\} \) and \(L:=\left\langle P_1,P_2\right\rangle \). Since all hyperplanes containing L have to contain \(\mathcal {P}\), we have \(P_3\in L\). \(\square \)
Lemma 21
Let \(\mathcal {P}\) be a 2-divisible set of six points in \({{\,\textrm{PG}\,}}(3,2)\) then \(\mathcal {P}\) is the disjoint union of two lines.
Proof
If H is a hyperplane containing all points of \(\mathcal {P}\), then there is a unique point \(P\le H\) with \(P\notin \mathcal {P}\). Since every hyperplane \(H'\) that does not contain P intersects \(\mathcal {P}\) in cardinality 3, so that this case cannot occur, i.e., \(\mathcal {P}\) is spanning. From the standard equations we compute \(a_0=0\), \(a_2=9\), and \(a_4=6\) for the spectrum. From the MacWilliams transform for the corresponding linear code we conclude the existence of a triple of points \(\mathcal {P}'\) forming a line. Since \(\mathcal {P}\backslash \mathcal {P}'\) is also 2-divisible the statement follows from Lemma 20. \(\square \)
We remark that there exists a second 2-divisible set of six points—a projective base of dimension 5, which clearly cannot be embedded in \({{\,\textrm{PG}\,}}(3,2)\).
Lemma 22
Let \(\mathcal {P}\) be a 2-divisible set of eight points in \({{\,\textrm{PG}\,}}(3,2)\) then \(\mathcal {P}\) is either an affine solid or given by the points of a plane and an intersecting line without the intersection point.
Proof
Assume that \(\pi \) is a hyperplane, which is a plane in our situation, containing six of the eight points and denote the unique uncovered point of \(\pi \) by P. Each hyperplane that is incident with P contains either two or six of the points in \(\pi \). Thus, the remaining two points form a line L containing P. Clearly, there is a unique example up to symmetry. Otherwise each hyperplane contains either 0, 2, or 4 points, so that the standard equations yield that there is a unique empty hyperplane and all other hyperplanes contain exactly four points, i.e., the point set is given by an affine solid. \(\square \)
We remark that both point sets can also be described as unions of two 2-divisible point sets, i.e., the union of two affine planes in the first case and the union of a line and a projective basis of size five in the second case.
Tight irreducible affine vector space partitions of minimum size that can be obtained by compression
In Sect. 5.3 we have shown how avsps of \({{\,\textrm{PG}\,}}(n-1,2)\) can be obtained from hitting formulas by compression. In [26] irreducible hitting formulas of minimum possible mentioning all variables where enumerated up to seven variables. Going over their list we obtain the following examples of tight irreducible avsps that can be obtained by compression and that have the minimum possible size \(\sigma _2(n)\), see Sect. 6. The pairs of strings that can be compressed to an affine subspace are separated by horizontal lines.
Examples for \(n = 5\):
![](http://media.springernature.com/lw244/springer-static/image/art%3A10.1007%2Fs10623-023-01263-z/MediaObjects/10623_2023_1263_Equ39_HTML.png)
Examples for \(n = 6\):
![](http://media.springernature.com/lw370/springer-static/image/art%3A10.1007%2Fs10623-023-01263-z/MediaObjects/10623_2023_1263_Equ40_HTML.png)
For \(n=7\) there is a unique example:
For \(n=8\), there are 26 irreducible hitting formulas of size 13 mentioning all \(n-1=7\) variables. Curiously enough, compression was always successful. Moreover, we can also obtain tight irreducible avsps of \({{\,\textrm{PG}\,}}(7,2)\) of minimum size \(\sigma _2(8)=10\) by compression starting from an irreducible hitting formulas with strictly more than 13 terms:
![](http://media.springernature.com/lw402/springer-static/image/art%3A10.1007%2Fs10623-023-01263-z/MediaObjects/10623_2023_1263_Equ41_HTML.png)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bamberg, J., Filmus, Y., Ihringer, F. et al. Affine vector space partitions. Des. Codes Cryptogr. (2023). https://doi.org/10.1007/s10623-023-01263-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10623-023-01263-z