arXiv++ Combinatorics

FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.

Applying a method of Godsil and McKay \cite{GM} to some graphs related to the symplectic graph, a series of new infinite families of strongly regular graphs with parameters $(2^n\pm2^{(n-1)/2},2^{n-1}\pm2^{(n-1)/2},2^{n-2}\pm2^{(n-3)/2},2^{n-2}\pm2^{(n-1)/2})$ are constructed for any odd $n \geq 5$. The construction is described in terms of geometry of quadric in projective space. The binary linear codes of the switched graphs are $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+1}]_2$-code or $[2^n \mp 2^{\frac{n-1}{2}},n+3,2^{t+2}]_2$-code.

From a finite set in a lattice, we can define a toric variety embedded in a projective space. In this paper, we give a combinatorial description of the dual defect of the toric variety using the structure of the finite set as a Cayley sum with suitable conditions. We also interpret the description geometrically.

Let $n$ and $t$ be positive integers with $t<n$, and let $q$ be a prime power. A $\textit{partial $(t-1)$-spread}$ of ${\rm PG}(n-1,q)$ is a set of $(t-1)$-dimensional subspaces of ${\rm PG}(n-1,q)$ that are pairwise disjoint. Let $r=n\mbox{ mod } t$ and $0\leq r<t$. We prove that if $t>(q^r-1)/(q-1)$, then the maximum size, i.e., cardinality, of a partial $(t-1)$-spread of ${\rm PG}(n-1,q)$ is $(q^n-q^{t+r})/(q^t-1)+1$. This essentially settles a main open problem in this area. Prior to this result, this maximum size was only known for $r\in\{0,1\}$ and for $r=q=2$.

Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the diagram (for $4 \leq n \leq 7$) by particular elements of the two-qubit Pauli group establishes a bijection between the 15 elements of the group and the 15 points of the PG$(3,2)$. The bijection is such that the product of three elements lying on the same line is the identity and one also readily singles out that particular copy of the symplectic polar space $W(3,2)$ of the PG$(3,2)$ whose lines correspond to triples of mutually commuting elements of the group; in the latter case, in addition, we arrive at a unique copy of the Mermin-Peres magic square. In the case of $n=8$, a more natural labeling is that in terms of elements of the three-qubit Pauli group, furnishing a bijection between the 63 elements of the group and the 63 points of PG$(5,2)$, the latter being the maximum projective subspace of the corresponding Veldkamp space; here, the points of the distinguished PG$(3,2)$ are in a bijection with the elements of a two-qubit subgroup of the three-qubit Pauli group, yielding a three-qubit version of the Mermin-Peres square. Moreover, save for $n=4$, each Veldkamp space is also endowed with some `exceptional' point(s). Interestingly, two such points in the $n=8$ case define a unique Fano plane whose inherited three-qubit labels feature solely the Pauli matrix $Y$.

In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture.

A normal rational curve of the $(k-1)$-dimensional projective space over ${\mathbb F}_q$ is an arc of size $q+1$, since any $k$ points of the curve span the whole space. In this article we will prove that if $q$ is odd then a subset of size $3k-6$ of a normal rational curve cannot be extended to an arc of size $q+2$. In fact, we prove something slightly stronger. Suppose that $q$ is odd and $E$ is a $(2k-3)$-subset of an arc $G$ of size $3k-6$. If $G$ projects to a subset of a conic from every $(k-3)$-subset of $E$ then $G$ cannot be extended to an arc of size $q+2$. Stated in terms of error-correcting codes we prove that a $k$-dimensional linear maximum distance separable code of length $3k-6$ over a field ${\mathbb F}_q$ of odd characteristic, which can be extended to a Reed-Solomon code of length $q+1$, cannot be extended to a linear maximum distance separable code of length $q+2$.

Let $S$ be a multigraded polynomial ring such that the degree of each variable is a unit vector; so $S$ is the homogeneous coordinate ring of a product of projective spaces. In this setting, we characterize the formal Laurent series which arise as Hilbert series of finitely generated $S$-modules. Also we provide necessary conditions for a formal Laurent series to be the Hilbert series of a finitely generated module with a given depth. In the bigraded case (corresponding to the product of two projective spaces), we completely classify the Hilbert series of finitely generated modules of positive depth.

Cameron-Liebler line classes and Cameron-Liebler k-classes in PG(2k+1,q) are currently receiving a lot of attention. Links with the Erdős-Ko-Rado results in finite projective spaces occurred. We introduce here in this article the similar problem on Cameron-Liebler classes of sets, and solve this problem completely, by making links to the classical Erdős-Ko-Rado result on sets. We also present a characterisation theorem for the Cameron-Liebler classes of sets.

Codes in finite projective spaces equipped with the subspace distance have been proposed for error control in random linear network coding. The resulting so-called \emph{Main Problem of Subspace Coding} is to determine the maximum size $A_q(v,d)$ of a code in $\operatorname{PG}(v-1,\mathbb{F}_q)$ with minimum subspace distance $d$. Here we completely resolve this problem for $d\ge v-1$. For $d=v-2$ we present some improved bounds and determine $A_q(5,3)=2q^3+2$ (all $q$), $A_2(7,5)=34$. We also provide an exposition of the known determination of $A_q(v,2)$, and a table with exact results and bounds for the numbers $A_2(v,d)$, $v\leq 7$.

We present a construction for minimal blocking sets with respect to $(k-1)$-spaces in $\mathrm{PG}(n-1,q^t)$, the $(n-1)$-dimensional projective space over the finite field $\mathbb{F}_{q^t}$ of order $q^t$. The construction relies on the use of blocking cones in the {\em field reduced} representation of $\mathrm{PG}(n-1,q^t)$, extending the well-known construction of linear blocking sets. This construction is inspired by the construction for minimal blocking sets with respect to the hyperplanes by Mazzocca, Polverino and Storme ({\em the MPS-construction}); we show that for a suitable choice of the blocking cone over a planar blocking set, we obtain larger blocking sets than the ones obtained from planar blocking sets in \cite{pol}. Furthermore we show that every minimal blocking set with respect to the hyperplanes in $\mathrm{PG}PG(n-1,q^t)$ can be obtained by applying field reduction to a minimal blocking set with respect to $(nt-t-1)$-spaces in $\mathrm{PG}(nt-1,q)$. We end by relating these constructions to the linearity conjecture for small minimal blocking sets. We show that if a small minimal blocking set is constructed from the MPS-construction, it is of Rédei-type whereas a small minimal blocking set arises from our cone construction if and only if it is linear.

We study singular rational curves in projective space, deducing conditions on their parametrizations from the value semigroups $\sss$ of their singularities. In particular, we prove that a natural heuristic for the codimension of the space of nondegenerate rational curves of arithmetic genus $g>0$ and degree $d$ in $\mb{P}^n$, viewed as a subspace of all degree-$d$ rational curves in $\mb{P}^n$, holds whenever $g$ is small. On the other hand, we show that this heuristic fails in general, by exhibiting an infinite family of examples of Severi-type varieties of rational curves containing "excess" components of dimension strictly larger than the space of $g$-nodal rational curves.

Let $\mathbb{P}^s$ be the $s$-dimensional complex projective space, and let $X, Y$ be two non-empty open subsets of $\mathbb{P}^s$ in the Zariski topology. A hypersurface $H$ in $\mathbb{P}^s\times\mathbb{P}^s$ induces a bipartite graph $G$ as follows: the partite sets of $G$ are $X$ and $Y$, and the edge set is defined by $\overline{u}\sim\overline{v}$ if and only if $(\overline{u},\overline{v})\in H$. Motivated by the Turán problem for bipartite graphs, we say that $H\cap (X\times Y)$ is $(s,t)$-grid-free provided that $G$ contains no complete bipartite subgraph that has $s$ vertices in $X$ and $t$ vertices in $Y$. We conjecture that every $(s,t)$-grid-free hypersurface is equivalent, in a suitable sense, to a hypersurface whose degree in $\overline{y}$ is bounded by a constant $d = d(s,t)$, and we discuss possible notions of the equivalence. We establish the result that if $H\cap(X\times \mathbb{P}^2)$ is $(2,2)$-grid-free, then there exists $F\in \mathbb{C}[\overline{x},\overline{y}]$ of degree $\le 2$ in $\overline{y}$ such that $H\cap(X\times \mathbb{P}^2) = \{F = 0\}\cap (X\times \mathbb{P}^2)$. Finally, we transfer the result to algebraically closed fields of large characteristic.

All-loop planar scattering amplitudes in maximally supersymmetric Yang-Mills theory can be formulated geometrically in terms of the "amplituhedron". We study the mathematical structures of the one-loop amplituhedron, and present a new formula for its canonical measure, or the one-loop Grassmannian measure formula. Using the recently proposed momentum-twistor diagrams, we show that there is a correspondence between the cells of one-loop amplituhedron, BCFW terms or equivalently on-shell diagrams, and residues of the one-loop Grassmannian formula. In particular, for the first non-trivial case of one-loop NMHV, these structures are naturally associated with a nice geometric picture as polygons in projective space, as we discuss in various illustrative examples.

A natural one-to-one correspondence between projective spaces, defined by an axiom system published by O. Veblen and J. W. Young in 1908, and projective join spaces, defined by an axiom system published by M. Pieri in 1899, is presented. A projecitivity criterion for join spaces is proved that amounts to replacing one of the projective geometry axioms of Pieri by an axiom published by G. Peano in 1889 as part of an axiom system for order geometry. Thus, projective geometry and order geometry have a broad common axiomatic basis. As a corollary, it is shown how the concept of a projective join space can be derived from the concept of a matroid. The defining properties of an equivalence relation are used as a conceptual red thread.

We investigate an `assumption of projectivity' that is appropriate to the self-dual axiomatic formulation of three-dimensional projective space.

We offer an axiomatic presentation of three-dimensional projective space that adopts the line as its fundamental element and renders automatic the principle of duality.

Multiple coverings of the farthest-off points ($(R,μ)$-MCF codes) and the corresponding $(ρ,μ)$-saturating sets in projective spaces $PG(N,q)$ are considered. We propose and develop some methods which allow us to obtain new small $(1,μ)$-saturating sets and short $(2,μ)$-MCF codes with $μ$-density either equal to 1 (optimal saturating sets and almost perfect MCF-codes) or close to 1 (roughly $1+1/cq$, $c\ge1$). In particular, we provide new algebraic constructions and some bounds. Also, we classify minimal and optimal $(1,μ)$-saturating sets in $PG(2,q)$, $q$ small.

In a projective plane $Π_{q}$ (not necessarily Desarguesian) of order $q,$ a point subset $S$ is saturating (or dense) if any point of $Π_{q}\setminus S$ is collinear with two points in$~S$. Using probabilistic methods, the following upper bound on the smallest size $ s(2,q)$ of a saturating set in $Π_{q}$ is proved: \begin{equation*} s(2,q)\leq 2\sqrt{(q+1)\ln (q+1)}+2\thicksim 2\sqrt{q\ln q}. \end{equation*} We also show that for any constant $c\ge 1$ a random point set of size $k$ in $Π_{q}$ with $ 2c\sqrt{(q+1)\ln(q+1)}+2\le k<\frac{q^{2}-1}{q+2}\thicksim q$ is a saturating set with probability greater than $1-1/(q+1)^{2c^{2}-2}.$ Our probabilistic approach is also applied to multiple saturating sets. A point set $S\subset Π_{q}$ is $(1,μ)$-saturating if for every point $Q$ of $Π_{q}\setminus S$ the number of secants of $S$ through $Q$ is at least $μ$, counted with multiplicity. The multiplicity of a secant $ \ell $ is computed as ${\binom{\#(\ell \,\cap S)}{2}}.$ The following upper bound on the smallest size $s_{μ}(2,q)$ of a $(1,μ)$-saturating set in $Π_{q}$ is proved: \begin{equation*} s_{μ}(2,q)\leq 2(μ+1)\sqrt{(q+1)\ln (q+1)}+2\thicksim 2(μ+1)\sqrt{ q\ln q}\,\text{ for }\,2\leq μ\leq \sqrt{q}. \end{equation*} By using inductive constructions, upper bounds on the smallest size of a saturating set (as well as on a $(1,μ)$-saturating set) in the projective space $PG(N,q)$ are obtained. All the results are also stated in terms of linear covering codes.

Lexicographic or first choice constructions of geometric objects sometimes lead to amazingly good results. Usually it is difficult to determine the precise identity of these geometries. Here we find infinitely many cases where the identification actually can be accomplished.