arXiv++ Combinatorics

Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not determined by its spectrum.

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)$.

In 2018 the first, Rukavina and the third author constructed with the aid of a computer the first example of a strongly regular graph $Γ$ with parameters (216, 40, 4, 8) and proved that it is the unique PSU(4,2)-invariant vertex-transitive graph on 216 vertices. In this paper, using the geometry of the Hermitian surface of PG(3, 4), we provide a computer-free proof of the existence of the graph $Γ$. The maximal cliques of $Γ$ are also determined.

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.

A $q$-covering design $\mathbb{C}_q(n, k, r)$, $k \ge r$, is a collection $\mathcal X$ of $(k-1)$-spaces of $\mathrm{PG}(n-1, q)$ such that every $(r-1)$-space of $\mathrm{PG}(n-1, q)$ is contained in at least one element of $\mathcal X$ . Let $\mathcal{C}_q(n, k, r)$ denote the minimum number of $(k-1)$-spaces in a $q$-covering design $\mathbb{C}_q(n, k, r)$. In this paper improved upper bounds on $\mathcal{C}_q(2n, 3, 2)$, $n \ge 4$, $\mathcal{C}_q(3n + 8, 4, 2)$, $n \ge 0$, and $\mathcal{C}_q(2n,4,3)$, $n \ge 4$, are presented. The results are achieved by constructing the related $q$-covering designs.

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)$.

Let $\perp$ be a unitary polarity of a finite projective plane $π$ of order $q^2$. The unitary polarity graph is the graph with vertex set the points of $π$ where two vertices $x$ and $y$ are adjacent if $x \in y^\perp$. We show that a triangle-free induced subgraph of the unitary polarity graph of an arbitrary projective plane has at most $(q^4+q)/2$ vertices. When $π$ is the Desarguesian projective plane $\mathrm{PG}(2,q^2)$ and $q$ is even, we show that the upper bound is asymptotically sharp, by providing an example on $q^4/2$ vertices. Finally, the case when $π$ is the Figueroa plane is discussed.

We investigate the independence number of two graphs constructed from a polarity of $\mathrm{PG}(2,q)$. For the first graph under consideration, the Erdős-Rényi graph $ER_q$, we provide an improvement on the known lower bounds on its independence number. In the second part of the paper we consider the Erdős-Rényi hypergraph of triangles $\mathcal{H}_q$. We determine the exact magnitude of the independence number of $\mathcal{H}_q$, $q$ even. This solves a problem posed by Mubayi and Williford.

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$.