arXiv++ Combinatorics

Let $\mathrm{PG}(n-1,q)$ denote the $(n-1)$-dimensional projective space over $\mathbb{F}_q$. We investigate the intersection of two Desarguesian $(h-1)$-spreads of $\mathrm{PG}(kh-1,q)$ and show that it is determined by a subgeometry over a suitable extension field. Our approach combines a characterization of subsets of points of $\mathrm{PG}(k-1,q^h)$ closed under $q$-order subgeometries with a matrix model for Desarguesian spreads based on Moore matrices. This leads naturally to the notion of generalized Segre varieties $\mathcal S^r_{kr-1,h-1}(q)$ and a geometric description of their maximal subspaces. As a main application, we prove that if two distinct Desarguesian $(h-1)$-spreads of $\mathrm{PG}(kh-1,q)$ contain a common pseudo-arc of size $k+1$, then their intersection is precisely the system $\mathcal R^r_{h,q}$ of $(h-1)$-dimensional subspaces of $\mathcal S^r_{kr-1,h-1}(q)$, for some proper divisor $r$ of $h$.

Let $Q^+(2n+1,q)$ be a hyperbolic quadric of $\PG(2n+1,q)$. Fix a generator $Π$ of the quadric. Define $\cG_n$ as the graph with vertex set the points of $Q^+(2n+1,q)\setminus Π$ and two vertices adjacent if they either span a secant to $Q^+(2n+1,q)$ or a line contained in $Q^+(2n+1,q)$ meeting $Π$ non-trivially. Then such a construction defines a strongly regular graph, which is the complement of a (non-induced) subgraph of the collinearity graph of $Q^+(2n+1,q)$. In this paper, we directly compute the parameters of $\cG_n$, which is cospectral, when $q=2$, to the tangent graph $NO^+(2n+2,2)$, but it is non-isomorphic for $n\geq3$. We also classify the maximal cliques of $\cG_3$ for $q=2$, proving as a by-product the non-isomorphism with the graph $NO^+(8,2)$.

Several classes of near-MDS codes of ${\rm PG}(3,q)$ are described. They are obtained either by considering the intersection of an elliptic quadric ovoid and a Suzuki-Tits ovoid of a symplectic polar space ${\cal W}(3, q)$ or starting from the $q+1$ points of a twisted cubic of ${\rm PG}(3, q)$. As a by-product two classes of complete caps of ${\rm PG}(4,q)$ of size $2q^2-q \pm \sqrt{2q} + 2$ are exhibited.

In this paper we prove the existence of a complete cap of ${\rm PG}(4n+1, q)$ of size $2(q^{2n+1}-1)/(q-1)$, for each prime power $q>2$. It is obtained by projecting two disjoint Veronese varieties of ${\rm PG}(2n^2+3n, q)$ from a suitable $(2n^2-n-2)$-dimensional projective space. This shows that the trivial lower bound for the size of the smallest complete cap of ${\rm PG}(4n+1, q)$ is essentially sharp.

Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-existence results about certain 1-regular systems of polar spaces with low rank are proved and a procedure to obtain $m'$-regular systems from a given $m$-regular system is described. Finally, three different construction methods of regular systems w.r.t. points of various polar spaces are discussed.

Let PG$(r, q)$ be the $r$-dimensional projective space over the finite field ${\rm GF}(q)$. A set $\cal X$ of points of PG$(r, q)$ is a cutting blocking set if for each hyperplane $Π$ of PG$(r, q)$ the set $Π\cap \cal X$ spans $Π$. Cutting blocking sets give rise to saturating sets and minimal linear codes and those having size as small as possible are of particular interest. We observe that from a cutting blocking set obtained by Fancsali and Sziklai, by using a set of pairwise disjoint lines, there arises a minimal linear code whose length grows linearly with respect to its dimension. We also provide two distinct constructions: a cutting blocking set of PG$(3, q^3)$ of size $3(q+1)(q^2+1)$ as a union of three pairwise disjoint $q$-order subgeometries and a cutting blocking set of PG$(5, q)$ of size $7(q+1)$ from seven lines of a Desarguesian line spread of PG$(5, q)$. In both cases the cutting blocking sets obtained are smaller than the known ones. As a byproduct we further improve on the upper bound of the smallest size of certain saturating sets and on the minimum length of a minimal $q$-ary linear code having dimension $4$ and $6$.

Let $\cal M$ denote the set ${\cal S}_{n, q}$ of $n \times n$ symmetric matrices with entries in ${\rm GF}(q)$ or the set ${\cal H}_{n, q^2}$ of $n \times n$ Hermitian matrices whose elements are in ${\rm GF}(q^2)$. Then $\cal M$ equipped with the rank distance $d_r$ is a metric space. We investigate $d$-codes in $({\cal M}, d_r)$ and construct $d$-codes whose sizes are larger than the corresponding additive bounds. In the Hermitian case, we show the existence of an $n$-code of $\cal M$, $n$ even and $n/2$ odd, of size $\left(3q^{n}-q^{n/2}\right)/2$, and of a $2$-code of size $q^6+ q(q-1)(q^4+q^2+1)/2$, for $n = 3$. In the symmetric case, if $n$ is odd or if $n$ and $q$ are both even, we provide better upper bound on the size of a $2$-code. In the case when $n = 3$ and $q>2$, a $2$-code of size $q^4+q^3+1$ is exhibited. This provides the first infinite family of $2$-codes of symmetric matrices whose size is larger than the largest possible additive $2$-code.

In the context of constant--dimension subspace codes, an important problem is to determine the largest possible size $A_q(n, d; k)$ of codes whose codewords are $k$-subspaces of $\mathbb{F}_q^n$ with minimum subspace distance $d$. Here in order to obtain improved constructions, we investigate several approaches to combine subspace codes. This allow us to present improvements on the lower bounds for constant--dimension subspace codes for many parameters, including $A_q(10, 4; 5)$, $A_q(12, 4; 4)$, $A_q(12, 6, 6)$ and $A_q(16, 4; 4)$.

We improve on the lower bound of the maximum number of planes of ${\rm PG}(8,q)$ mutually intersecting in at most one point leading to the following lower bound: ${\cal A}_q(9, 4; 3) \ge q^{12}+2q^8+2q^7+q^6+q^5+q^4+1$ for constant dimension subspace codes. We also construct two new non-equivalent $(6, (q^3-1)(q^2+q+1), 4; 3)_q$ constant dimension subspace orbit-codes.

In this paper we describe an infinite family of Cameron-Liebler line classes of ${\rm PG}(3,q)$ with parameter $(q^2 + 1)/2$, $q\equiv 1\pmod{4}$. The example obtained admits ${\rm PGL}(2,q)$ as an automorphism group and it is shown to be isomorphic to none of the infinite families known so far whenever $q \ge 9$.

We investigate subspace codes whose codewords are subspaces of ${\rm PG}(4,q)$ having non-constant dimension. In particular, examples of optimal mixed-dimension subspace codes are provided, showing that ${\cal A}_q(5,3) = 2(q^3+1)$.

Using the correspondence between quadrics of ${\rm PG}(2,q)$ and points of ${\rm PG}(5,q)$, a family of $(6,q^3(q^2-1)(q-1)/3+(q^2+1)(q^2+q+1),4;3)_q$ constant dimension subspace codes is constructed.

An $(r,M,2δ;k)_q$ constant--dimension subspace code, $δ>1$, is a collection $\cal C$ of $(k-1)$--dimensional projective subspaces of ${\rm PG(r-1,q)}$ such that every $(k-δ)$--dimensional projective subspace of ${\rm PG(r-1,q)}$ is contained in at most a member of $\cal C$. Constant--dimension subspace codes gained recently lot of interest due to the work by Koetter and Kschischang, where they presented an application of such codes for error-correction in random network coding. Here a $(2n,M,4;n)_q$ constant--dimension subspace code is constructed, for every $n \ge 4$. The size of our codes is considerably larger than all known constructions so far, whenever $n > 4$. When $n=4$ a further improvement is provided by constructing an $(8,M,4;4)_q$ constant--dimension subspace code, with $M = q^{12}+q^2(q^2+1)^2(q^2+q+1)+1$.

For even $q$, a group $G$ isomorphic to $PSL(2,q)$ stabilizes a Baer conic inside a symplectic subquadrangle ${\cal W}(3,q)$ of ${\cal H}(3,q^2)$. In this paper the action of $G$ on points and lines of ${\cal H}(3,q^2)$ is investigated. A construction is given of an infinite family of hyperovals of size $2(q^3-q)$ of ${\cal H}(3,q^2)$, with each hyperoval having the property that its automorphism group contains $G$. Finally it is shown that the hyperovals constructed are not isomorphic to known hyperovals.