arXiv++ Combinatorics

The $p$-ary linear code $\mathcal C_{k}(n,q)$ is defined as the row space of the incidence matrix $A$ of $k$-spaces and points of $\text{PG}(n,q)$. It is known that if $q$ is square, a codeword of weight $q^k\sqrt{q}+\mathcal O \left( q^{k-1} \right) $ exists that cannot be written as a linear combination of at most $\sqrt{q}$ rows of $A$. Over the past few decades, researchers have put a lot of effort towards proving that any codeword of smaller weight does meet this property. We show that if $ q \geqslant 32 $ is a composite prime power, every codeword of $\mathcal C_k(n,q)$ up to weight $\mathcal O \left( {q^k\sqrt{q}} \right) $ is a linear combination of at most $\sqrt{q}$ rows of $A$. We also generalise this result to the codes $\mathcal C_{j,k}(n,q) $, which are defined as the $p$-ary row span of the incidence matrix of $k$-spaces and $j$-spaces, $j < k$.

In this paper, we investigate the André/Bruck-Bose representation of certain $\mathbb{F}_q$-linear sets contained in a line of $\text{PG}(2,q^t)$. We show that scattered $\mathbb{F}_q$-linear sets of rank $3$ in $\text{PG}(1,q^3)$ correspond to particular hyperbolic quadrics and that $\mathbb{F}_q$-linear clubs in $\text{PG}(1,q^t)$ are linked to subspaces of a certain $2$-design based on normal rational curves; this design extends the notion of a circumscribed bundle of conics. Finally, we use these results to construct optimal higgledy-piggledy sets of planes in $\text{PG}(5,q)$.

In this paper, we characterise the smallest sets $B$ consisting of points and hyperplanes in $\text{PG}(n,q)$, such that each $k$-space is incident with at least one element of $B$. If $k > \frac {n-1} 2$, then the smallest construction consists only of points. Dually, if $k < \frac{n-1}2$, the smallest example consists only of hyperplanes. However, if $k = \frac{n-1}2$, then there exist sets containing both points and hyperplanes, which are smaller than any blocking set containing only points or only hyperplanes.

Let $\text{PG}(n,q)$ be the Desarguesian projective space of dimension $n$ over the finite field of order $q$. The \emph{linear representation} of a point set $\mathcal{K}$ in a hyperplane at infinity of $\text{PG}(n,q)$ is the point-line geometry consisting of the affine points of $\text{PG}(n,q)$, together with the union of the parallel classes of affine lines corresponding to the points of $\mathcal{K}$. This type of point-line geometry has been widely investigated in the literature. Curiously, if $\mathcal{K}$ is a subgeometry, two disguises of its linear representation occur in two separate works. In this short note, we give an explicit isomorphism between these two disguises by making use of field reduction.

This work focuses on higgledy-piggledy sets of $k$-subspaces in $\text{PG}(N,q)$, i.e. sets of projective subspaces that are 'well-spread-out'. More precisely, the set of intersection points of these $k$-subspaces with any $(N-k)$-subspace $κ$ of $\text{PG}(N,q)$ spans $κ$ itself. We highlight three methods to construct small higgledy-piggledy sets of $k$-subspaces and discuss, for $k\in\{1,N-2\}$, 'optimal' sets that cover the smallest possible number of points. Furthermore, we investigate small non-trivial higgledy-piggledy sets in $\text{PG}(N,q)$, $N\leqslant5$. Our main result is the existence of six lines of $\text{PG}(4,q)$ in higgledy-piggledy arrangement, two of which intersect. Exploiting the construction methods mentioned above, we also show the existence of six planes of $\text{PG}(4,q)$ in higgledy-piggledy arrangement, two of which maximally intersect, as well as the existence of two higgledy-piggledy sets in $\text{PG}(5,q)$ consisting of eight planes and seven solids, respectively. Finally, we translate these geometrical results to a coding- and graph-theoretical context.

Over the past few years, the codes $\mathcal{C}_{n-1}(n,q)$ arising from the incidence of points and hyperplanes in the projective space $\text{PG}(n,q)$ attracted a lot of attention. In particular, small weight codewords of $\mathcal{C}_{n-1}(n,q)$ are a topic of investigation. The main result of this work states that, if $q$ is large enough and not prime, a codeword having weight smaller than roughly $\frac{1}{2^{n-2}}q^{n-1}\sqrt{q}$ can be written as a linear combination of a few hyperplanes. Consequently, we use this result to provide a graph-theoretical sufficient condition for these codewords of small weight to be minimal.

A $\varrho$-saturating set of $\text{PG}(N,q)$ is a point set $\mathcal{S}$ such that any point of $\text{PG}(N,q)$ lies in a subspace of dimension at most $\varrho$ spanned by points of $\mathcal{S}$. It is generally known that a $\varrho$-saturating set of $\text{PG}(N,q)$ has size at least $c\cdot\varrho\,q^\frac{N-\varrho}{\varrho+1}$, with $c>\frac{1}{3}$ a constant. Our main result is the discovery of a $\varrho$-saturating set of size roughly $\frac{(\varrho+1)(\varrho+2)}{2}q^\frac{N-\varrho}{\varrho+1}$ if $q=(q')^{\varrho+1}$, with $q'$ an arbitrary prime power. The existence of such a set improves most known upper bounds on the smallest possible size of $\varrho$-saturating sets if $\varrho<\frac{2N-1}{3}$. As saturating sets have a one-to-one correspondence to linear covering codes, this result improves existing upper bounds on the length and covering density of such codes. To prove that this construction is a $\varrho$-saturating set, we observe that the affine parts of $q'$-subgeometries of $\text{PG}(N,q)$ having a hyperplane in common, behave as certain lines of $\text{AG}\big(\varrho+1,(q')^N\big)$. More precisely, these affine lines are the lines of the linear representation of a $q'$-subgeometry $\text{PG}(\varrho,q')$ embedded in $\text{PG}\big(\varrho+1,(q')^N\big)$.

We investigate small weight code words of the $p$-ary linear code $\mathcal C_{j,k}(n,q)$ generated by the incidence matrix of $k$-spaces and $j$-spaces of PG$(n,q)$ and its dual, with $q$ a prime power and $0 \leq j < k < n$. Firstly, we prove that all code words of $\mathcal C_{j,k}(n,q)$ up to weight $\left(3 - \mathcal{O}\left(\frac 1 q \right) \right) \genfrac{[}{]}{0pt}{}{k+1}{j+1}_q$ are linear combinations of at most two $k$-spaces (i.e. two rows of the incidence matrix). As for the dual code $\mathcal C_{j,k}(n,q)^\perp$, we manage to reduce both problems of determining its minimum weight (1) and characterising its minimum weight code words (2) to the case $\mathcal C_{0,1}(n,q)^\perp$. This implies the solution to both problem (1) and (2) if $q$ is prime and the solution to problem (1) if $q$ is even.

Let $C_{n-1}(n,q)$ be the code arising from the incidence of points and hyperplanes in the Desarguesian projective space PG($n,q$). Recently, Polverino and Zullo proved that within this code, all non-zero code words of weight at most $2q^{n-1}$ are scalar multiples of either the incidence vector of one hyperplane, or the difference of the incidence vectors of two distinct hyperplanes. We improve this result, proving that when $q>17$ and $q\notin\{25,27,29,31,32,49,121\}$, all code words of weight at most $(4q-\sqrt{8q}-\frac{33}{2})q^{n-2}$ are linear combinations of incidence vectors of hyperplanes through a fixed $(n-3)$-space. Depending on the omitted value for $q$, we can lower the bound on the weight of $c$ to obtain the same results.