arXiv++ Combinatorics

In the three-dimensional projective space PG(3,q) over the finite field F_q with q elements, we consider the normal rational curve known as a twisted cubic and the projectivity group G_q that fixes it. For q = 2, 3, 4, we solve the open problems of classifying the orbits of points, planes, and lines under G_q and of determining the corresponding incidence matrices between points, planes, and lines partitioned into these orbits.

The length function $\ell_2(r,R)$ is the smallest length of a binary linear code with codimension (redundancy) $r$ and covering radius $R$. We obtain the following new upper bounds on $\ell_2(r,R)$, which yield a decrease $Δ(r,R)$ compared to the best previously known upper bounds: \begin{equation*} R=2,\,r=2t,\,r=18,20,\text{ and }r\ge28,\,\ell_2(r,2)\le26\cdot2^{r/2-4}-1;\,Δ(r,2)=2^{r/2-4}. \end{equation*} \begin{equation*} R=3,\,r=3t-1,\,r=26\text{ and }r\ge44,\,\ell_2(r,3)\le819\cdot2^{(r-26)/3}-1;\,Δ(r,3)=2^{(r-23)/3}. \end{equation*} \begin{equation*} R=4,\,r=4t,\,r=40\text{ and }r\ge68,\,\ell_2(r,4)\le2943\cdot2^{r/4-10}-1;\,Δ(r,4)=2^{r/4-10}-1. \end{equation*} To obtain these bounds we construct new infinite code families, using distinct versions of the $q^m$-concatenating constructions of covering codes; some of these versions are proposed in this paper. We also introduce new useful partitions of column sets of parity check matrices of some codes. The asymptotic covering densities $\overlineμ(2)\thickapprox1.3203$, $\overlineμ(3)\thickapprox1.3643$, $\overlineμ(4)\thickapprox2.8428$, provided by the codes of the new families, are smaller than the known ones.

We present five new infinite families of linear near-MDS codes uniformly packed in the wide sense (UPWS). These codes are also almost perfect multiple coverings of the deep holes or farthest-off points (APMCF), i.e.\ the vectors lying at distance $R$ (covering radius) from the code. The families are constructed by $m$-lifting when one takes a starting code $C$ over the ground Galois field $\F_q$ with a parity check matrix $H(C)$ and then considers the codes $C_m$ over $F_{q^m}$, $m\ge2$, with the same parity check matrix $H(C)$. As starting codes we used the ternary perfect Golay code and codes obtained by its extension and puncturing. To prove the needed combinatorial properties (UPWS and APMCF), we used the $m$-lifting of the dual codes and features of near-MDS codes. A general theorem on infinite families of UPWS near-MDS codes is proved.

In the literature, lines of the projective space $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits under the stabilizer group of the twisted cubic. The least studied class is named $\mathcal{O}_6$. This class contains lines external to the twisted cubic which are not its chords or axes and do not lie in any of its osculating planes. For even and odd $q$, we propose a new family of orbits of $\mathcal{O}_6$ and investigate in detail their stabilizer groups and the corresponding submatrices of the point-line and plane-line incidence matrices. To obtain these submatrices, we explored the number of solutions of cubic and quartic equations connected with intersections of lines (including the tangents to the twisted cubic), points, and planes in $\mathrm{PG}(3,q)$.

The length function $\ell_q(r,R)$ is the smallest possible length $n$ of a $ q $-ary linear $[n,n-r]_qR$ code with codimension (redundancy) $r$ and covering radius $R$. Let $s_q(N,ρ)$ be the smallest size of a $ρ$-saturating set in the projective space $\mathrm{PG}(N,q)$. There is a one-to-one correspondence between $[n,n-r]_qR$ codes and $(R-1)$-saturating $n$-sets in $\mathrm{PG}(r-1,q)$ that implies $\ell_q(r,R)=s_q(r-1,R-1)$. In this work, for $R\ge3$, new asymptotic upper bounds on $\ell_q(tR+1,R)$ are obtained in the following form: $\hspace{0.7cm} \bullet~\ell_q(tR+1,R) =s_q(tR,R-1)\le \sqrt[R]{\frac{R!}{R^{R-2}}}\cdot q^{(r-R)/R}\cdot\sqrt[R]{\ln q}+o(q^{(r-R)/R}), \hspace{0.3cm}r=tR+1,~t\ge1,~ q\text{ is an arbitrary prime power},~q\text{ is large enough};$ $\hspace{0.7cm} \bullet~\text{ if additionally }R\text{ is large enough, then }\sqrt[R]{\frac{R!}{R^{R-2}}}\thicksim\frac{1}{e}\thickapprox0.3679. $ The new bounds are essentially better than the known ones. For $t=1$, a new construction of $(R-1)$-saturating sets in the projective space $\mathrm{PG}(R,q)$, providing sets of small sizes, is proposed. The $[n,n-(R+1)]_qR$ codes, obtained by the construction, have minimum distance $R + 1$, i.e. they are almost MDS (AMDS) codes. These codes are taken as the starting ones in the lift-constructions (so-called "$q^m$-concatenating constructions") for covering codes to obtain infinite families of codes with growing codimension $r=tR+1$, $t\ge1$.

The smallest possible length of a $q$-ary linear code of covering radius $R$ and codimension (redundancy) $r$ is called the length function and is denoted by $\ell_q(r,R)$. In this work, for $q$ \emph{an arbitrary prime power}, we obtain the following new constructive upper bounds on $\ell_q(3t+1,3)$: $\ell_q(r,3)\lessapprox \sqrt[3]{k}\cdot q^{(r-3)/3}\cdot\sqrt[3]{\ln q},~r=3t+1, ~t\ge1, ~ q\ge\lceil\mathcal{W}(k)\rceil, 18 <k\le20.339,~\mathcal{W}(k)\text{ is a decreasing function of }k ;$ $\ell_q(r,3)\lessapprox \sqrt[3]{18}\cdot q^{(r-3)/3}\cdot\sqrt[3]{\ln q},~r=3t+1,~t\ge1,~ q\text{ large enough}.$ For $t = 1$, we use a one-to-one correspondence between codes of covering radius 3 and codimension 4, and 2-saturating sets in the projective space $\mathrm{PG}(3,q)$. A new construction providing sets of small size is proposed. The codes, obtained by geometrical methods, are taken as the starting ones in the lift-constructions (so-called ``$q^m$-concatenating constructions'') to obtain infinite families of codes with radius 3 and growing codimension $r = 3t + 1$, $t\ge1$. The new bounds are essentially better than the known ones.

We consider the structures of the plane-line and point-line incidence matrices of the projective space $\mathrm{PG}(3,q)$ connected with orbits of planes, points, and lines under the stabilizer group of the twisted cubic. In the literature, lines are partitioned into classes, each of which is a union of line orbits. In this paper, for all $q$, even and odd, we determine the incidence matrices connected with a family of orbits of the class named $\mathcal{O}_6$. This class contains lines external to the twisted cubic. The considered family include an essential part of all $\mathcal{O}_6$ orbits, whose complete classification is an open problem.

In the projective space $\mathrm{PG}(3,q)$, we consider orbits of lines under the stabilizer group of the twisted cubic. In the literature, lines of $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits. We propose an approach to obtain orbits of the class named $\mathcal{O}_6$, whose complete classification is an open problem. For all even and odd $q$ we describe a family of orbits of $\mathcal{O}_6$ and their stabilizer groups. The orbits of this family include an essential part of all $\mathcal{O}_6$ orbits.

In the projective space $\mathrm{PG}(3,q)$, we consider the orbits of lines under the stabilizer group of the twisted cubic. In the literature, lines of $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits. In this paper, all classes of lines consisting of a unique orbit are found. For the remaining line types, with one exception, it is proved that they consist exactly of two or three orbits; sizes and structures of these orbits are determined. Also, the subgroups of the stabilizer group of the twisted cubic fixing lines of the orbits are obtained. Problems which remain open for one type of lines are formulated and, for $5\le q\le37$ and $q=64$, a solution is provided.

The length function $\ell_q(r,R)$ is the smallest length of a $ q $-ary linear code with codimension (redundancy) $r$ and covering radius $R$. In this work, new upper bounds on $\ell_q(tR+1,R)$ are obtained in the following forms: \begin{equation*} \begin{split} &(a)~\ell_q(r,R)\le cq^{(r-R)/R}\cdot\sqrt[R]{\ln q},~ R\ge3,~r=tR+1,~t\ge1, &\phantom{(a)~} q\text{ is an arbitrary prime power},~c\text{ is independent of }q. \end{split} \end{equation*} \begin{equation*} \begin{split} &(b)~\ell_q(r,R)< 3.43Rq^{(r-R)/R}\cdot\sqrt[R]{\ln q},~ R\ge3,~r=tR+1,~t\ge1, &\phantom{(b)~} q\text{ is an arbitrary prime power},~q\text{ is large enough}. \end{split} \end{equation*} In the literature, for $q=(q')^R$ with $q'$ a prime power, smaller upper bounds are known; however, when $q$ is an arbitrary prime power, the bounds of this paper are better than the known ones. For $t=1$, we use a one-to-one correspondence between $[n,n-(R+1)]_qR$ codes and $(R-1)$-saturating $n$-sets in the projective space $\mathrm{PG}(R,q)$. A new construction of such saturating sets providing sets of small size is proposed. Then the $[n,n-(R+1)]_qR$ codes, obtained by geometrical methods, are taken as the starting ones in the lift-constructions (so-called "$q^m$-concatenating constructions") for covering codes to obtain infinite families of codes with growing codimension $r=tR+1$, $t\ge1$.

We consider the structure of the point-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ connected with orbits of points and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of points are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines through every point and of points lying on every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.

In the projective space $\mathrm{PG}(3,q)$, we consider the orbits of lines under the stabilizer group of the twisted cubic. It is well known that the lines can be partitioned into classes every of which is a union of line orbits. All types of lines forming a unique orbit are found. For the rest of the line types (apart from one of them) it is proved that they form exactly two or three orbits; sizes and structures of these orbits are determined. Problems remaining open for one type of lines are formulated. For $5\le q\le37$ and $q=64$, they are solved.

We consider the structure of the plane-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ with respect to the orbits of planes and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of planes are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines in every plane and planes through every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.

Let $\mathrm{PG}(3,q)$ be the projective space of dimension three over the finite field with $q$ elements. Consider a twisted cubic in $\mathrm{PG}(3,q)$. The structure of the point-plane incidence matrix in $\mathrm{PG}(3,q)$ with respect to the orbits of points and planes under the action of the stabilizer group of the twisted cubic is described. This information is used to view generalized doubly-extended Reed-Solomon codes of codimension four as asymptotically optimal multiple covering codes.

The length function $\ell_q(r,R)$ is the smallest length of a $ q $-ary linear code of codimension $r$ and covering radius $R$. In this work we obtain new constructive upper bounds on $\ell_q(r,R)$ for all $R\ge4$, $r=tR$, $t\ge2$, and also for all even $R\ge2$, $r=tR+\frac{R}{2}$, $t\ge1$. The new bounds are provided by infinite families of new covering codes with fixed $R$ and increasing codimension. The new bounds improve upon the known ones. We propose a general regular construction (called ``Line+Ovals'') of a minimal $ρ$-saturating $((ρ+1)q+1)$-set in the projective space $\mathrm{PG}(2ρ+1,q)$ for all $ρ\ge0$. Such a set corresponds to an $[Rq+1,Rq+1-2R,3]_qR$ locally optimal$^1$ code of covering radius $R=ρ+1$. Basing on combinatorial properties of these codes regarding to spherical capsules$^1$, we give constructions for code codimension lifting and obtain infinite families of new surface-covering$^1$ codes with codimension $r=tR$, $t\ge2$. In addition, we obtain new 1-saturating sets in the projective plane $\mathrm{PG}(2,q^2)$ and, basing on them, construct infinite code families with fixed even radius $R\ge2$ and codimension $r=tR+\frac{R}{2}$, $t\ge1$. ($^1$ see the definitions in Section 1)

The classification of all the minimal 1-saturating sets in PG(v, 2) for 2 <= v <= 5, and the classification of the smallest and of the second smallest minimal 1-saturating sets in PG(6, 2) are presented. These results have been found using a computer-based exhaustive search.

The length function $\ell_q(r,R)$ is the smallest length of a $q$-ary linear code of codimension (redundancy) $r$ and covering radius $R$. The $d$-length function $\ell_q(r,R,d)$ is the smallest length of a $q$-ary linear code with codimension $r$, covering radius $R$, and minimum distance $d$. By computer search in wide regions of $q$, we obtained following short codes of covering radius $R=3$: $[n,n-4,5]_q3$ quasi-perfect MDS codes, $[n,n-5,5]_q3$ quasi-perfect Almost MDS codes, and $[n,n-5,3]_q3$ codes. In computer search, we use the step-by-step leximatrix and inverse leximatrix algorithms to obtain parity check matrices of codes. The new codes imply the following new upper bounds (called lexi-bounds) on the length and $d$-length functions: $$\ell_q(4,3)\le\ell_q(4,3,5)<2.8\sqrt[3]{\ln q}\cdot q^{(4-3)/3}=2.8\sqrt[3]{\ln q}\cdot\sqrt[3]{q}=2.8\sqrt[3]{q\ln q}~\text{for}~11\le q\le7057;$$ $$\ell_q(5,3)\le\ell_q(5,3,5)<3\sqrt[3]{\ln q}\cdot q^{(5-3)/3}=3\sqrt[3]{\ln q}\cdot\sqrt[3]{q^2}=3\sqrt[3]{q^2\ln q}~~\text{ for }~37\le q\le839.$$ Moreover, we improve the lexi-bounds, applying randomized greedy algorithms, and show that $$\ell_q(4,3)\le \ell_q(4,3,5)< 2.61\sqrt[3]{q\ln q}~\text{ if }~13\le q\le4373;$$ $$\ell_q(4,3)\le \ell_q(4,3,5)< 2.65\sqrt[3]{q\ln q}~\text{ if }~4373<q\le7057;$$ $$\ell_q(5,3)<2.785\sqrt[3]{q^2\ln q}~\text{ if }~11\le q\le401;$$ $$\ell_q(5,3)\le\ell_q(5,3,5)<2.884\sqrt[3]{q^2\ln q}~\text{ if }~401<q\le839.$$ The codes, obtained in this paper by leximatrix and inverse leximatrix algorithms, provide new upper bounds (called density lexi-bounds) on the smallest covering density $μ_q(r,R)$ of a $q$-ary linear code of codimension $r$ and covering radius $R$: $$μ_q(4,3)<3.3\cdot\ln q~~\text{ for }~11\le q\le7057;$$ $$μ_q(5,3)<4.2\cdot\ln q~~\text{ for }~37\le q\le839.$$

In the projective space $\mathrm{PG}(N,q)$ over the Galois field of order $q$, $N\ge3$, an iterative step-by-step construction of complete caps by adding a new point on every step is considered. It is proved that uncovered points are evenly placed on the space. A natural conjecture on an estimate of the number of new covered points on every step is done. For a part of the iterative process, this estimate is proved rigorously. Under the conjecture mentioned, new upper bounds on the smallest size $t_{2}(N,q)$ of a complete cap in $\mathrm{PG}(N,q)$ are obtained, in particular, \begin{align*} t_{2}(N,q)<\frac{\sqrt{q^{N+1}}}{q-1}\left(\sqrt{(N+1)\ln q}+1\right)+2\thicksim q^\frac{N-1}{2}\sqrt{(N+1)\ln q},\quad N\ge3. \end{align*} A connection with the Birthday problem is noted. The effectiveness of the new bounds is illustrated by comparison with sizes of complete caps obtained by computer in wide regions of $q$.

In this paper we present and analyze computational results concerning small complete caps in the projective spaces $\mathrm{PG}(N,q)$ of dimension $N=3$ and $N=4$ over the finite field of order $q$. The results have been obtained using randomized greedy algorithms and the algorithm with fixed order of points (FOP). The computations have been done in relatively wide regions of $q$ values; such wide regions are not considered in literature for $N=3,4$. The new complete caps are the smallest known. Basing on them, we obtained new upper bounds on $t_2(N,q)$, the minimum size of a complete cap in $\mathrm{PG}(N,q)$, in particular, \begin{align*} &t_{2}(N,q)<\sqrt{N+2}\cdot q^{\frac{N-1}{2^{\vphantom{H}}}}\sqrt{\ln q},\quad q\in L_{N},\quad N=3,4,\\ &t_{2}(N,q)<\left(\sqrt{N+1}+\frac{1.3}{\ln (2q)}\right)q^{\frac{N-1}{2^{\vphantom{H}}}}\sqrt{\ln q},\quad q\in L_{N},\quad N=3,4, \end{align*} where \begin{align*} &L_{3}:=\{q\le 4673, ~q\ \textrm{prime}\} \cup \{5003,6007,7001,8009\},\\ &L_{4}:=\{q\le 1361, ~q\ \textrm{prime}\} \cup \{1409\}. \end{align*} Our investigations and results allow to conjecture that these bounds hold for all $q$.

A subset $\mathcal{S}$ of a conic $\mathcal{C}$ in the projective plane $\mathrm{PG}(2,q)$ is called almost complete (AC-subset for short) if it can be extended to a larger arc in $\mathrm{PG}(2,q)$ only by the points of $\mathcal{C}\setminus \mathcal{S}$ and by the nucleus of $\mathcal{C}$ when $q$ is even. New upper bounds on the smallest size $t(q)$ of an AC-subset are obtained, in particular, \begin{align*} &t(q)<\sqrt{q(3\ln q+\ln\ln q +\ln3)}+\sqrt{\frac{q}{3\ln q}}+4\thicksim\sqrt{3q\ln q};&t(q)<1.835\sqrt{q\ln q}.\end{align*} The new bounds are used to increase regions of pairs $(N,q)$ for which it is proved that every normal rational curve in $\mathrm{PG}(N,q)$ is a complete $(q+1)$-arc or, equivalently, that no $[q+1,N+1,q-N+1]_q$ generalized doubly-extended Reed-Solomon code can be extended to a $[q+2,N+1,q-N+2]_q$ MDS code.