Showing 1–50 of 63 results for author: Pambianco, F

Further results on orbits and incidence matrices for the class $\mathcal{O}_6$ of lines external to the twisted cubic in $\mathrm{PG}(3,q)$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 p… ▽ More 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)$. △ Less

Submitted 19 June, 2024; v1 submitted 30 December, 2023; originally announced January 2024.

Comments: 26 pages. arXiv admin note: text overlap with arXiv:2209.04910, arXiv:2210.12821

MSC Class: 51E21; 51E22

Further results on covering codes with radius R and codimension tR + 1

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 im… ▽ More 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$. △ Less

Submitted 1 March, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: 24 pages. arXiv admin note: text overlap with arXiv:2108.13609

MSC Class: 94B05; 51E21; 51E22

An asymptotic property of quaternary additive codes

Authors: Jürgen Bierbrauer, Stefano Marcugini, Fernanda Pambianco

Abstract: Let $n_k(s)$ be the maximal length $n$ such that a quaternary additive $[n,k,n-s]_4$-code exists. We solve a natural asymptotic problem by determining the lim sup $λ_k$ of $n_k(s)/s,$ and the smallest value of $s$ such that $n_k(s)/s=λ_k.$ Our new family of quaternary additive codes has parameters $[4^k-1,k,4^k-4^{k-1}]_4=[2^{2k}-1,k,3\cdot 2^{2k-2}]_4$ (where $k=l/2$ and $l$ is an odd integer). T… ▽ More Let $n_k(s)$ be the maximal length $n$ such that a quaternary additive $[n,k,n-s]_4$-code exists. We solve a natural asymptotic problem by determining the lim sup $λ_k$ of $n_k(s)/s,$ and the smallest value of $s$ such that $n_k(s)/s=λ_k.$ Our new family of quaternary additive codes has parameters $[4^k-1,k,4^k-4^{k-1}]_4=[2^{2k}-1,k,3\cdot 2^{2k-2}]_4$ (where $k=l/2$ and $l$ is an odd integer). These are constant-weight codes. The binary codes obtained by concatenation meet the Griesmer bound with equality. The proof is in terms of multisets of lines in $PG(l-1,2).$ △ Less

Submitted 18 October, 2023; v1 submitted 9 August, 2023; originally announced August 2023.

Comments: 8 pages

MSC Class: 94Bxx; 51E22

New bounds for covering codes of radius 3 and codimension 3t+1

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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)$:… ▽ More 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. △ Less

Submitted 19 May, 2023; originally announced May 2023.

Comments: 19 pages, 3 figures

MSC Class: 94B05; 51E21; 51E22

Incidence matrices for the class $\mathcal{O}_6$ of lines external to the twisted cubic in $\mathrm{PG}(3,q)$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 conn… ▽ More 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. △ Less

Submitted 23 October, 2022; originally announced October 2022.

Comments: 27 pages, 32 references, 11 tables

MSC Class: 05B25; 05E18; 51E20; 51E21; 51E22

Orbits of the class $\mathcal{O}_6$ of lines external with respect to the twisted cubic in $\mathrm{PG}(3,q)$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 describ… ▽ More 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. △ Less

Submitted 11 September, 2022; originally announced September 2022.

Comments: 27 pages

MSC Class: 51E21 51E22

Twisted cubic and orbits of lines in $\mathrm{PG}(3,q)$, II

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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… ▽ More 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. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 6 pages, 21 references. arXiv admin note: text overlap with arXiv:2103.11248

MSC Class: 51E21; 51E22

Upper bounds on the length function for covering codes with covering radius $R$ and codimension $tR+1$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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\… ▽ More 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$. △ Less

Submitted 29 November, 2021; v1 submitted 31 August, 2021; originally announced August 2021.

Comments: 31 pages, 55 references, 1 figure; the text is edited, the results are slightly improved, 3 new references are added, title is changed

MSC Class: 94B05; 51E21; 51E22

Twisted cubic and point-line incidence matrix in $\mathrm{PG}(3,q)$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 i… ▽ More 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. △ Less

Submitted 3 July, 2021; v1 submitted 25 April, 2021; originally announced April 2021.

Comments: 30 pages, 28 references, 5 tables. arXiv admin note: text overlap with arXiv:2103.11248. The text of the version v1 is edited

MSC Class: 51E21; 51E22

Twisted cubic and orbits of lines in $\mathrm{PG}(3,q)$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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; siz… ▽ More 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. △ Less

Submitted 26 March, 2021; v1 submitted 23 March, 2021; originally announced March 2021.

Comments: 27 pages, 19 references. arXiv admin note: text overlap with arXiv:2103.11248. Some misprints are corrected, pages 1-2 edited

MSC Class: 51E21; 51E22

Twisted cubic and plane-line incidence matrix in $\mathrm{PG}(3,q)$

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 sp… ▽ More 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. △ Less

Submitted 26 March, 2021; v1 submitted 20 March, 2021; originally announced March 2021.

Comments: 29 pages, 24 references, 2 tables. In reference [13], an Internet link is added. Some misprints are corrected

MSC Class: 51E21; 51E22

On the weight distribution of the cosets of MDS codes

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: The weight distribution of the cosets of maximum distance separable (MDS) codes is considered. In 1990, P.G. Bonneau proposed a relation to obtain the full weight distribution of a coset of an MDS code with minimum distance $d$ using the known numbers of vectors of weights $\le d-2$ in this coset. In this paper, the Bonneau formula is transformed into a more structured and convenient form. The new… ▽ More The weight distribution of the cosets of maximum distance separable (MDS) codes is considered. In 1990, P.G. Bonneau proposed a relation to obtain the full weight distribution of a coset of an MDS code with minimum distance $d$ using the known numbers of vectors of weights $\le d-2$ in this coset. In this paper, the Bonneau formula is transformed into a more structured and convenient form. The new version of the formula allows to consider effectively cosets of distinct weights $W$. (The weight $W$ of a coset is the smallest Hamming weight of any vector in the coset.) For each of the considered $W$ or regions of $W$, special relations more simple than the general ones are obtained. For the MDS code cosets of weight $W=1$ and weight $W=d-1$ we obtain formulas of the weight distributions depending only on the code parameters. This proves that all the cosets of weight $W=1$ (as well as $W=d-1$) have the same weight distribution. The cosets of weight $W=2$ or $W=d-2$ may have different weight distributions; in this case, we proved that the distributions are symmetrical in some sense. The weight distributions of the cosets of MDS codes corresponding to arcs in the projective plane $\mathrm{PG}(2,q)$ are also considered. For MDS codes of covering radius $R=d-1$ we obtain the number of the weight $W=d-1$ cosets and their weight distribution that gives rise to a certain classification of the so-called deep holes. We show that any MDS code of covering radius $R=d-1$ is an almost perfect multiple covering of the farthest-off points (deep holes); moreover, it corresponds to an optimal multiple saturating set in the projective space $\mathrm{PG}(N,q)$. △ Less

Submitted 30 June, 2021; v1 submitted 29 January, 2021; originally announced January 2021.

Comments: 32 pages, 45 references. The text is edited. The connections between distinct parts of the paper are noted. Some transformations are simplified. New results are added. Open problems are formulated

MSC Class: 94B05; 51E21; 51E22

On cosets weight distributions of the doubly-extended Reed-Solomon codes of codimension 4

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: We consider the $[q+1,q-3,5]_q3$ generalized doubly-extended Reed-Solomon code of codimension $4$ as the code associated with the twisted cubic in the projective space $\mathrm{PG}(3,q)$. Basing on the point-plane incidence matrix of $\mathrm{PG}(3,q)$, we obtain the number of weight 3 vectors in all the cosets of the considered code. This allows us to classify the cosets by their weight distribut… ▽ More We consider the $[q+1,q-3,5]_q3$ generalized doubly-extended Reed-Solomon code of codimension $4$ as the code associated with the twisted cubic in the projective space $\mathrm{PG}(3,q)$. Basing on the point-plane incidence matrix of $\mathrm{PG}(3,q)$, we obtain the number of weight 3 vectors in all the cosets of the considered code. This allows us to classify the cosets by their weight distributions and to obtain these distributions. The weight of a coset is the smallest Hamming weight of any vector in the coset. For the cosets of equal weight having distinct weight distributions, we prove that the difference between the $w$-th components, $3<w\le q+1$, of the distributions is uniquely determined by the difference between the $3$-rd components. This implies an interesting (and in some sense unexpected) symmetry of the obtained distributions. △ Less

Submitted 22 February, 2021; v1 submitted 17 July, 2020; originally announced July 2020.

Comments: 20 pages, 2 tables, 37 references. One paper is added to the list of the references. Sections 4 and 5 are rewritten. Section 6 is removed

MSC Class: 94B05; 51E21; 51E22

Optimal additive quaternary codes of low dimension

Authors: Juergen Bierbrauer, Stefano Marcugini, Fernanda Pambianco

Abstract: An additive quaternary $[n,k,d]$-code (length $n,$ quaternary dimension $k,$ minimum distance $d$) is a $2k$-dimensional F_2-vector space of $n$-tuples with entries in $Z_2\times Z_2$ (the $2$-dimensional vector space over F_2) with minimum Hamming distance $d.$ We determine the optimal parameters of additive quaternary codes of dimension $k\leq 3.$ The most challenging case is dimension $k=2.5.$… ▽ More An additive quaternary $[n,k,d]$-code (length $n,$ quaternary dimension $k,$ minimum distance $d$) is a $2k$-dimensional F_2-vector space of $n$-tuples with entries in $Z_2\times Z_2$ (the $2$-dimensional vector space over F_2) with minimum Hamming distance $d.$ We determine the optimal parameters of additive quaternary codes of dimension $k\leq 3.$ The most challenging case is dimension $k=2.5.$ We prove that an additive quaternary $[n,2.5,d]$-code where $d<n-1$ exists if and only if $3(n-d)\geq \lceil d/2\rceil +\lceil d/4\rceil +\lceil d/8\rceil$. In particular we construct new optimal $2.5$-dimensional additive quaternary codes. As a by-product we give a direct proof for the fact that a binary linear $[3m,5,2e]_2$-code for $e<m-1$ exists if and only if the Griesmer bound $3(m-e)\geq \lceil e/2\rceil +\lceil e/4\rceil+\lceil e/8\rceil$ is satisfied. △ Less

Submitted 10 July, 2020; originally announced July 2020.

Comments: 7 pages

MSC Class: 94B60

On integral weight spectra of the MDS codes cosets of weight 1, 2, and 3

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: The weight of a coset of a code is the smallest Hamming weight of any vector in the coset. For a linear code of length $n$, we call integral weight spectrum the overall numbers of weight $w$ vectors, $0\le w\le n$, in all the cosets of a fixed weight. For maximum distance separable (MDS) codes, we obtained new convenient formulas of integral weight spectra of cosets of weight 1 and 2. Also, we giv… ▽ More The weight of a coset of a code is the smallest Hamming weight of any vector in the coset. For a linear code of length $n$, we call integral weight spectrum the overall numbers of weight $w$ vectors, $0\le w\le n$, in all the cosets of a fixed weight. For maximum distance separable (MDS) codes, we obtained new convenient formulas of integral weight spectra of cosets of weight 1 and 2. Also, we give the spectra for the weight 3 cosets of MDS codes with minimum distance $5$ and covering radius $3$. △ Less

Submitted 15 July, 2020; v1 submitted 5 July, 2020; originally announced July 2020.

Comments: 12 pages, 21 references, the reference [6] is corrected

MSC Class: 94B05; 51E21; 51E22

On planes through points off the twisted cubic in $\mathrm{PG}(3,q)$ and multiple covering codes

Authors: Daniele Bartoli, Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 doub… ▽ More 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. △ Less

Submitted 2 March, 2020; v1 submitted 31 August, 2019; originally announced September 2019.

Comments: 27 pages, 2 tables, 31 references, the text is edited, Remarks 2.8 and 7.4 are added, Proposition 6.3 and its Proof are given in more detail, the list of references is extended

MSC Class: 51E21; 51E22; 94B05

New covering codes of radius $R$, codimension $tR$ and $tR+\frac{R}{2}$, and saturating sets in projective spaces

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 codimen… ▽ More 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) △ Less

Submitted 16 March, 2019; v1 submitted 28 August, 2018; originally announced August 2018.

Comments: 25 pages, 33 references. New references are added, the text is edited, in particular, Section 5

MSC Class: 51E21; 51E22; 94B05

Additive quaternary codes related to exceptional linear quaternary codes

Authors: Juergen Bierbrauer, Stefano Marcugini, Fernanda Pambianco

Abstract: We study additive quaternary codes whose parameters are close to those of the extended cyclic [12; 6; 6]4-code or to the quaternary linear codes generated by the elliptic quadric in PG(3; 4) or its dual. In particular we characterize those codes in the category of additive codes and construct some additive codes whose parameters are better than those of any linear quaternary code. We study additive quaternary codes whose parameters are close to those of the extended cyclic [12; 6; 6]4-code or to the quaternary linear codes generated by the elliptic quadric in PG(3; 4) or its dual. In particular we characterize those codes in the category of additive codes and construct some additive codes whose parameters are better than those of any linear quaternary code. △ Less

Submitted 6 April, 2018; originally announced April 2018.

Comments: 13 pages

Classification of minimal 1-saturating sets in PG(v, 2), 2 <= v <= 6

Authors: Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 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. △ Less

Submitted 12 February, 2018; originally announced February 2018.

Comments: 25 pages

MSC Class: 51E21; 51E22; 94B05

Tables, bounds and graphics of short linear codes with covering radius 3 and codimension 4 and 5

Authors: Daniele Bartoli, Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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$:… ▽ More 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.$$ △ Less

Submitted 14 June, 2020; v1 submitted 19 December, 2017; originally announced December 2017.

Comments: 51 pages, 14 figures, 5 tables, 35 references; new results of computer search are added

Upper bounds on the smallest size of a complete cap in $\mathrm{PG}(N,q)$, $N\ge3$, under a certain probabilistic conjecture

Authors: Alexander A. Davydov, Giorgio Faina, Stefano Marcugini, Fernanda Pambianco

Abstract: 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 e… ▽ More 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$. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: 22 pages, 42 references, 3 figures

MSC Class: 51E21; 51E22; 94B05

Upper bounds on the smallest size of a saturating set in projective planes and spaces of even dimension

Authors: Daniele Bartoli, Alexander Davydov, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco

Abstract: In a projective plane $Π_{q}$ (not necessarily Desarguesian) of order $q$, a point subset $\mathcal{S}$ is saturating (or dense) if any point of $Π_{q}\setminus \mathcal{S}$ is collinear with two points in $\mathcal{S}$. Modifying an approach of [31], we proved the following upper bound on the smallest size $s(2,q)$ of a saturating set in $Π_{q}$: \begin{equation*} s(2,q)\leq \sqrt{(q+1)\left(3\ln… ▽ More In a projective plane $Π_{q}$ (not necessarily Desarguesian) of order $q$, a point subset $\mathcal{S}$ is saturating (or dense) if any point of $Π_{q}\setminus \mathcal{S}$ is collinear with two points in $\mathcal{S}$. Modifying an approach of [31], we proved the following upper bound on the smallest size $s(2,q)$ of a saturating set in $Π_{q}$: \begin{equation*} s(2,q)\leq \sqrt{(q+1)\left(3\ln q+\ln\ln q +\ln\frac{3}{4}\right)}+\sqrt{\frac{q}{3\ln q}}+3. \end{equation*} The bound holds for all q, not necessarily large. By using inductive constructions, upper bounds on the smallest size of a saturating set in the projective space $\mathrm{PG}(N,q)$ with even dimension $N$ are obtained. All the results are also stated in terms of linear covering codes. △ Less

Submitted 25 February, 2017; originally announced February 2017.

Comments: 14 pages, 34 references, 1 figure

MSC Class: 51E21; 51E22; 94B05

Projective Automorphism Groups of Nonsingular Quartic Surfaces

Authors: Stefano Marcugini, Fernanda Pambianco, Hitoshi Kaneta

Abstract: For every p >= 5, we determine all Z_p-invariant nonsingular quartic surfaces in the three dimensional projective space over an algebraically closed field of characteristic zero. In some cases, we also determine their full projective automorphism groups. For every p >= 5, we determine all Z_p-invariant nonsingular quartic surfaces in the three dimensional projective space over an algebraically closed field of characteristic zero. In some cases, we also determine their full projective automorphism groups. △ Less

Submitted 6 September, 2019; v1 submitted 30 November, 2016; originally announced November 2016.

Comments: 39 pages

MSC Class: 14J50

Tables, bounds and graphics of the smallest known sizes of complete caps in the spaces $\mathrm{PG}(3,q)$ and $\mathrm{PG}(4,q)$

Authors: Daniele Bartoli, Alexander A. Davydov, Alexey A. Kreshchuk, Stefano Marcugini, Fernanda Pambianco

Abstract: 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… ▽ More 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$. △ Less

Submitted 30 October, 2016; originally announced October 2016.

Comments: 26 pages, 34 references, 5 figures, 4 tables

MSC Class: 51E21; 51E22; 94B05

On Almost Complete Subsets of a Conic in $\mathrm{PG}(2,q)$, Completeness of Normal Rational Curves and Extendability of Reed-Solomon Codes

Authors: Daniele Bartoli, Alexander A. Davydov, Stefano Marcugini, Fernanda Pambianco

Abstract: 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,… ▽ More 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. △ Less

Submitted 27 December, 2017; v1 submitted 19 September, 2016; originally announced September 2016.

Comments: 39 pages, 2 figures, 4 tables, 23 references, the title is changed, misprints are corrected, Table 4 and the new computer results are added

MSC Class: 51E21; 51E22; 94B05

A combinatorial construction of an M_{12}-invariant code

Authors: Juergen Bierbrauer, Stefano Marcugini, Fernanda Pambianco

Abstract: In this work we summarized some recent results to be included in a forthcoming paper. A ternary [66,10,36]_3-code admitting the Mathieu group M_{12} as a group of automorphisms has recently been constructed by N. Pace. We give a construction of the Pace code in terms of $M_{12}$ as well as a combinatorial description in terms of the small Witt design, the Steiner system S(5,6,12). We also present… ▽ More In this work we summarized some recent results to be included in a forthcoming paper. A ternary [66,10,36]_3-code admitting the Mathieu group M_{12} as a group of automorphisms has recently been constructed by N. Pace. We give a construction of the Pace code in terms of $M_{12}$ as well as a combinatorial description in terms of the small Witt design, the Steiner system S(5,6,12). We also present a proof that the Pace code does indeed have minimum distance 36. △ Less

Submitted 15 June, 2016; originally announced June 2016.

S5-invariant Nonsingular Quartic Surfaces

Authors: Giorgio Faina, Stefano Marcugini Fernanda Pambianco, Hitoshi Kaneta

Abstract: All S5-invariant nonsingular quartic surfaces are obtained. There exist no A6- invariant nonsingular quartic surfaces. All S5-invariant nonsingular quartic surfaces are obtained. There exist no A6- invariant nonsingular quartic surfaces. △ Less

Submitted 15 June, 2016; v1 submitted 27 May, 2016; originally announced May 2016.

A family of semifields in characteristic 2

Authors: Daniele Bartoli, Jurgen Bierbrauer, Gohar Kyureghyan, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco

Abstract: We construct and describe the basic properties of a family of semifields in characteristic $2.$ The construction relies on the properties of projective polynomials over finite fields. We start by associating non-associative products to each such polynomial. The resulting presemifields form the degenerate case of our family. They are isotopic to the Knuth semifields which are quadratic over left an… ▽ More We construct and describe the basic properties of a family of semifields in characteristic $2.$ The construction relies on the properties of projective polynomials over finite fields. We start by associating non-associative products to each such polynomial. The resulting presemifields form the degenerate case of our family. They are isotopic to the Knuth semifields which are quadratic over left and right nucleus. The non-degenerate members of our family display a very different behaviour. Their left and right nucleus agrees with the center, the middle nucleus is quadratic over the center. None of those semifields is isotopic or Knuth equivalent to a commutative semifield. As a by-product we obtain the complete taxonomy of the characteristic $2$ semifields which are quadratic over the middle nucleus, bi-quadratic over the left and right nucleus and not isotopic to twisted fields. This includes {determining} when two such semifields are isotopic and the order of the autotopism group. △ Less

Submitted 24 January, 2016; originally announced January 2016.

Comments: 23 pages

MSC Class: 12K10; 51E15; 51A40

Completeness of cubic curves in PG(2, q), q <= 81

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: Theoretical results are known about the completeness of a planar algebraic cubic curve as a (n,3)-arc in PG(2,q). They hold for q big enough and sometimes have restriction on the characteristic and on the value of the j-invariant. We determine the completeness of all cubic curves for q <= 81. Theoretical results are known about the completeness of a planar algebraic cubic curve as a (n,3)-arc in PG(2,q). They hold for q big enough and sometimes have restriction on the characteristic and on the value of the j-invariant. We determine the completeness of all cubic curves for q <= 81. △ Less

Submitted 28 October, 2015; originally announced October 2015.

MSC Class: 51E20; 94B05; 14H52

The 95256-cap in PG(12; 4) is complete

Authors: D. Bartoli, S. Marcugini, A. Milani, F. Pambianco

Abstract: We describe an algorithm for testing the completeness of caps in PG(r; q), q even. It allowed us to check that the 95256-cap in PG(12; 4) recently found by Fu el al. (see [14]) is complete. We describe an algorithm for testing the completeness of caps in PG(r; q), q even. It allowed us to check that the 95256-cap in PG(12; 4) recently found by Fu el al. (see [14]) is complete. △ Less

Submitted 23 September, 2015; originally announced September 2015.

MSC Class: 51E21; 51E22; 94B05

Further results on multiple coverings of the farthest-off points

Authors: Daniele Bartoli, Alexander A. Davydov, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco

Abstract: 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… ▽ More 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. △ Less

Submitted 1 June, 2015; originally announced June 2015.

Comments: 30 pages, 3 figures

On the spectrum of sizes of semiovals contained in the Hermitian curve

Authors: Daniele Bartoli, Gyorgy Kiss, Stefano Marcugini, Fernanda Pambianco

Abstract: Some constructions and bounds on the sizes of semiovals contained in the Hermitian curve are given. A construction of an infinite family of 2-blocking sets of the Hermitian curve is also presented. Some constructions and bounds on the sizes of semiovals contained in the Hermitian curve are given. A construction of an infinite family of 2-blocking sets of the Hermitian curve is also presented. △ Less

Submitted 11 May, 2015; originally announced May 2015.

Comments: 16 pages

MSC Class: 05-XX

On upper bounds on the smallest size of a saturating set in a projective plane

Authors: Daniele Bartoli, Alexander A. Davydov, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco

Abstract: 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}. \e… ▽ More 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. △ Less

Submitted 17 May, 2016; v1 submitted 6 May, 2015; originally announced May 2015.

Comments: 15 pages, 24 references, misprints are corrected, Sections 3-5 and some references are added

MSC Class: Primary: 51E21; 51E22; Secondary: 94B05

Unitary graphs and classification of a family of symmetric graphs with complete quotients

Authors: Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco, Sanming Zhou

Abstract: A finite graph $Γ$ is called $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. We study a family of symmetric graphs, called the unitary graphs, whose vertices are flags of the Hermitian unital and whose adjacency relations are determined by certain elements of the underlying finite fields. Such graphs admit the uni… ▽ More A finite graph $Γ$ is called $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. We study a family of symmetric graphs, called the unitary graphs, whose vertices are flags of the Hermitian unital and whose adjacency relations are determined by certain elements of the underlying finite fields. Such graphs admit the unitary groups as groups of automorphisms, and they play a significant role in the classification of a family of symmetric graphs with complete quotients such that an associated incidence structure is a doubly point-transitive linear space. We give this classification in the paper and also investigate combinatorial properties of the unitary graphs. △ Less

Submitted 24 March, 2015; originally announced March 2015.

MSC Class: 05C25

Journal ref: J. Algebraic Combinatorics 38 (2013), 745-765

2-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 13$

Authors: Daniele Bartoli, Giorgio Faina, György Kiss, Stefano Marcugini, Fernanda Pambianco

Abstract: A $2$-semiarc is a pointset ${\mathcal S}_k$ with the property that the number of tangent lines to ${\mathcal S}_k$ at each of its points is two. Using some theoretical results and computer aided search, the complete classification of $2$-semiarcs in PG$(2,q)$ is given for $q\leq 7,$ the spectrum of their sizes is determined for $q\leq 9$, and some results about the existence are proven for… ▽ More A $2$-semiarc is a pointset ${\mathcal S}_k$ with the property that the number of tangent lines to ${\mathcal S}_k$ at each of its points is two. Using some theoretical results and computer aided search, the complete classification of $2$-semiarcs in PG$(2,q)$ is given for $q\leq 7,$ the spectrum of their sizes is determined for $q\leq 9$, and some results about the existence are proven for $q=11$ and $q=13.$ For several sizes of $2$-semiarcs in $\mathrm{PG}(2,q)$, $q\leq 7$, classification results have been obtained by theoretical proofs. △ Less

Submitted 22 July, 2014; originally announced July 2014.

MSC Class: 51E21

A probabilistic construction of small complete caps in projective spaces

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: In this work complete caps in $PG(N,q)$ of size $O(q^{\frac{N-1}{2}}\log^{300} q)$ are obtained by probabilistic methods. This gives an upper bound asymptotically very close to the trivial lower bound $\sqrt{2}q^{\frac{N-1}{2}}$ and it improves the best known bound in the literature for small complete caps in projective spaces of any dimension. The result obtained in the paper also gives a new upp… ▽ More In this work complete caps in $PG(N,q)$ of size $O(q^{\frac{N-1}{2}}\log^{300} q)$ are obtained by probabilistic methods. This gives an upper bound asymptotically very close to the trivial lower bound $\sqrt{2}q^{\frac{N-1}{2}}$ and it improves the best known bound in the literature for small complete caps in projective spaces of any dimension. The result obtained in the paper also gives a new upper bound for $l(m,2,q)_4$, that is the minimal length $n$ for which there exists an $[n,n-m, 4]_q2$ covering code with given $m$ and $q$. △ Less

Submitted 3 June, 2014; originally announced June 2014.

Comments: 32 Pages

The First and Second Most Symmetric Nonsingular Cubic Surfaces

Authors: Hitoshi Kaneta, Stefano Marcugini, Fernanda Pambianco

Abstract: The first and second most symmetric nonsingular cubic surfaces are x^3+y^3+z^3+t^3=0 and x^2y+y^2z+z^2t+t^2x=0, respectively. The first and second most symmetric nonsingular cubic surfaces are x^3+y^3+z^3+t^3=0 and x^2y+y^2z+z^2t+t^2x=0, respectively. △ Less

Submitted 13 June, 2014; originally announced June 2014.

Comments: 8 pages

Tables of sizes of random complete arcs in the plane $PG(2,q)$

Authors: Daniele Bartoli, Alexander A. Davydov, Giorgio Faina, Stefano Marcugini, Fernanda Pambianco

Abstract: Tables of sizes of random complete arcs in the plane $PG(2,q)$ are given. The sizes are close to the smallest known sizes of complete arcs in $PG(2,q)$, in particular, to ones constructed by Algorithm FOP (fixed order of points). The random arcs are obtained in the region $\{3\leq q\leq 46337,~q \mbox{prime}\}$. Tables of sizes of random complete arcs in the plane $PG(2,q)$ are given. The sizes are close to the smallest known sizes of complete arcs in $PG(2,q)$, in particular, to ones constructed by Algorithm FOP (fixed order of points). The random arcs are obtained in the region $\{3\leq q\leq 46337,~q \mbox{prime}\}$. △ Less

Submitted 22 May, 2014; originally announced May 2014.

Comments: 37 pages, 5 figures, 1 table, 57 references; Table is attached also as .csv files. To view attachments, please download and extract the gzipped tar source file listed under "Other formats". arXiv admin note: substantial text overlap with arXiv:1404.0469

MSC Class: 51E21; 51E22; 94B05

Tables, bounds and graphics of sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le321007$ and sporadic $q$ in $[323761\ldots430007]$ obtained by an algorithm with fixed order of points (FOP)

Authors: Daniele Bartoli, Alexander A. Davydov, Giorgio Faina, Alexey A. Kreshchuk, Stefano Marcugini, Fernanda Pambianco

Abstract: In the previous works of the authors, a step-by-step algorithm FOP which uses any fixed order of points in the projective plane $\mathrm{PG}(2,q)$ is proposed to construct small complete arcs. In each step, the algorithm adds to a current arc the first point in the fixed order not lying on the bisecants of the arc. The algorithm is based on the intuitive postulate that $\mathrm{PG}(2,q)$ contains… ▽ More In the previous works of the authors, a step-by-step algorithm FOP which uses any fixed order of points in the projective plane $\mathrm{PG}(2,q)$ is proposed to construct small complete arcs. In each step, the algorithm adds to a current arc the first point in the fixed order not lying on the bisecants of the arc. The algorithm is based on the intuitive postulate that $\mathrm{PG}(2,q)$ contains a sufficient number of relatively small complete arcs. Also, in the previous papers, it is shown that the type of order on the points of $\mathrm{PG}(2,q)$ is not relevant. A complete lexiarc in $\mathrm{PG}(2,q)$ is a complete arc obtained by the algorithm FOP using the lexicographical order of points. In this work, we collect and analyze the sizes of complete lexiarcs in the following regions: \begin{align*}& \textbf{all } q\le321007,~ q \mbox{ prime power}; & 15 \mbox{ sporadic $q$'s in the interval }[323761\ldots430007], \mbox{ see (1.10)}. \end{align*} In the work [9], the smallest known sizes of complete arcs in $\mathrm{PG}(2,q)$ are collected for all $q\leq160001$, $q$ prime power. The sizes of complete arcs, collected in this work and in [9], provide the following upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in the projective plane $\mathrm{PG}(2,q)$: \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;\\ t_{2}(2,q)&<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le321007. \end{align*} Our investigations and results allow to conjecture that the bound $t_{2}(2,q)<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}$ holds for all $q\ge7$. It is noted that sizes of the random complete arcs and complete lexiarcs behave similarly. This work can be considered as a continuation and development of the paper [11]. △ Less

Submitted 3 January, 2018; v1 submitted 2 April, 2014; originally announced April 2014.

Comments: 111 pages, 8 figures, 6 tables, 92 references; data and figures are updated, the region of data is increased; the title is changed; references and Table 6 are added; the text is edited

MSC Class: 51E21; 51E22; 94B05

Tables of parameters of symmetric configurations $v_{k}$

Authors: Alexander A. Davydov, Giorgio Faina, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco

Abstract: Tables of the currently known parameters of symmetric configurations are given. Formulas for parameters of the known infinite families of symmetric configurations are presented as well. The results of the recent paper [18] are used. This work can be viewed as an appendix to [18], in the sense that the tables given here cover a much larger set of parameters. Tables of the currently known parameters of symmetric configurations are given. Formulas for parameters of the known infinite families of symmetric configurations are presented as well. The results of the recent paper [18] are used. This work can be viewed as an appendix to [18], in the sense that the tables given here cover a much larger set of parameters. △ Less

Submitted 23 September, 2014; v1 submitted 13 December, 2013; originally announced December 2013.

Comments: 38 pages, 7 tables, 61 references; data in tables are updated, references are added, connections with new references are discussed; this paper develops the topic of arXiv:1203.0709 using new methods giving rise to new results

MSC Class: 05C10 (Primary); 05B25; 94B05 (Secondary)

Semiovals in PG(2,8) and PG(2,9)

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: The classification of all semiovals and blocking semiovals in $\mathrm{PG}(2,8)$ and in $\mathrm{PG}(2,9)$ of size less than $17$ is determined. Also, some information on the stabilizer groups and the intersection sizes with lines is given. The classification of all semiovals and blocking semiovals in $\mathrm{PG}(2,8)$ and in $\mathrm{PG}(2,9)$ of size less than $17$ is determined. Also, some information on the stabilizer groups and the intersection sizes with lines is given. △ Less

Submitted 21 November, 2013; originally announced December 2013.

Comments: 10 pages, 7 tables

Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$

Authors: Daniele Bartoli, Alexander A. Davydov, Giorgio Faina, Alexey A. Kreshchuk, Stefano Marcugini, Fernanda Pambianco

Abstract: In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers a… ▽ More In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;~~(1) \\ t_{2}(2,q)&<\sqrt{q}\ln^{0.7295}q&\mbox{ for }&&109&\le q\le160001;~~(2)\\ t_{2}(2,q)&<\sqrt{q}\ln^{c_{up}(q)}q,~~c_{up}(q)=\frac{0.27}{\ln q}+0.7,&\mbox{ for }&&19&\le q\le160001;~~(3)\\ t_{2}(2,q)&<0.6\sqrt{q}\ln^{\varphi_{up}(q;0.6)} q,~~\varphi_{up}(q;0.6)=\frac{1.5}{\ln q}+0.802,&\mbox{ for }&&19&\le q\le160001.~~(4) \end{align*} Moreover, the bounds (2) -- (4) hold also for $q\in Q_{4}$. Also, \begin{align*} t_{2}(2,q)&<1.006\sqrt{3q\ln q}<1.743\sqrt{q\ln q}&\mbox{ for }&&q\in Q_{4}.~~(5) \end{align*} Our investigations and results allow to conjecture that the bounds (2) -- (5) hold for all $q\geq109$. △ Less

Submitted 28 June, 2015; v1 submitted 7 December, 2013; originally announced December 2013.

Comments: 85 pages, 11 figures, 6 tables, 83 references; data and figures are updated, the region of data is increased; the title is changed; figures and references are added

MSC Class: 51E21; 51E22 (Primary); 94B05 (Secondary)

The nonexistence of an additive quaternary [15,5,9]-code

Authors: Daniele Bartoli, Juergen Bierbrauer, Giorgio Faina, Stefano Marcugini, Fernanda Pambianco

Abstract: We show that no additive [15,5,9]_4-code exists. As a consequence the largest dimension k such that an additive quaternary [15,k,9]_4-code exists is k=4.5. We show that no additive [15,5,9]_4-code exists. As a consequence the largest dimension k such that an additive quaternary [15,k,9]_4-code exists is k=4.5. △ Less

Submitted 9 August, 2013; originally announced August 2013.

Comments: 15 pages

Classification of minimal 1-saturating sets in $PG(2,q)$, $q\leq 23$

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: Minimal 1-saturating sets in the projective plane $PG(2,q)$ are considered. They correspond to covering codes which can be applied to many branches of combinatorics and information theory, as data compression, compression with distortion, broadcasting in interconnection network, write-once memory or steganography (see \cite{Coh} and \cite{BF2008}). The full classification of all the minimal 1-satu… ▽ More Minimal 1-saturating sets in the projective plane $PG(2,q)$ are considered. They correspond to covering codes which can be applied to many branches of combinatorics and information theory, as data compression, compression with distortion, broadcasting in interconnection network, write-once memory or steganography (see \cite{Coh} and \cite{BF2008}). The full classification of all the minimal 1-saturating sets in PG(2,9) and PG(2,11) and the classification of minimal 1-saturating sets of smallest size in PG(2,q), $16\leq q\leq 23$ are given. These results have been found using a computer-based exhaustive search that exploits projective equivalence properties. △ Less

Submitted 6 March, 2012; originally announced March 2012.

Comments: 4 pages

A computer based classification of caps in PG(5,2)

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: In this paper we present the complete classification of caps in PG(5,2). These results have been obtained using a computer based exhaustive search that exploits projective equivalence. In this paper we present the complete classification of caps in PG(5,2). These results have been obtained using a computer based exhaustive search that exploits projective equivalence. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: 17 PAGES

Report number: Rapporto Tecnico Dipartimento di Matematica e Informatica Universita' Degli Studi Di Perugia 9/2011

A computer based classification of caps in PG(4,2)

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: In this paper we present the complete classification of caps in PG(4,2). These results have been obtained using a computer based exhaustive search that exploits projective equivalence. In this paper we present the complete classification of caps in PG(4,2). These results have been obtained using a computer based exhaustive search that exploits projective equivalence. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: 7 pages

Report number: Rapporto Tecnico Dimpartimento Matematica e Informatica Universita'Degli Studi Di Perguia 8/2011

A computer based classification of caps in PG(4,3)

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: In this paper we present the complete classification of caps in PG(4,3). These results have been obtained using a computer based exhaustive search that exploits projective equivalence. In this paper we present the complete classification of caps in PG(4,3). These results have been obtained using a computer based exhaustive search that exploits projective equivalence. △ Less

Submitted 5 March, 2012; originally announced March 2012.

Comments: 9 pages

Report number: Rapporto Tecnico Dipartimento Di Matematica e Informatica Universita'Degli Studi di Perugia 4/2010

On constructions and parameters of symmetric configurations v_{k}

Authors: Alexander A. Davydov, Giorgio Faina, Massimo Giulietti, Stefano Marcugini, Fernanda Pambianco

Abstract: The spectrum of possible parameters of symmetric configurations is investigated. We both survey known constructions and results, and propose some new construction methods. Many new parameters are obtained, in particular for cyclic symmetric configurations, which are equivalent to deficient cyclic difference sets. Both Golomb rulers and modular Golomb rulers are a key tool in our investigation. Sev… ▽ More The spectrum of possible parameters of symmetric configurations is investigated. We both survey known constructions and results, and propose some new construction methods. Many new parameters are obtained, in particular for cyclic symmetric configurations, which are equivalent to deficient cyclic difference sets. Both Golomb rulers and modular Golomb rulers are a key tool in our investigation. Several new upper bounds on the minimum integer E(k) such that for each v >= E(k) there exists a symmetric configuration v_{k} are obtained. Upper bounds of the same type are provided for cyclic symmetric configurations. From the standpoint of applications, it should be noted that our results extend the range of possible parameters of LDPC codes, generalized LDPC codes, and quasi-cyclic LDPC codes. △ Less

Submitted 3 March, 2012; originally announced March 2012.

Comments: 39 pages, 8 tables

MSC Class: 05C10; 05B25; 94B05

The maximum and the minimum size of complete (n,3)-arcs in PG(2,16)

Authors: Daniele Bartoli, Stefano Marcugini, Fernanda Pambianco

Abstract: In this work we solve the packing problem for complete (n,3)-arcs in PG(2,16), determining that the maximum size is 28 and the minimum size is 15. We also performed a partial classification of the extremal size of complete (n,3)-arcs in PG(2,16). In this work we solve the packing problem for complete (n,3)-arcs in PG(2,16), determining that the maximum size is 28 and the minimum size is 15. We also performed a partial classification of the extremal size of complete (n,3)-arcs in PG(2,16). △ Less

Submitted 11 January, 2012; originally announced January 2012.

Comments: 3 pages

Upper bounds on the smallest size of a complete arc in the plane PG(2,q)

Authors: Daniele Bartoli, Alexander A. Davydov, Giorgio Faina, Stefano Marcugini, Fernanda Pambianco

Abstract: New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for q <= 9109. From these new bounds it follows that for q <= 2621 and q = 2659,2663,2683,2693,2753,2801, the relation t_{2}(2,q) < 4.5\sqrt{q} holds. Also, for q <= 5399 and q = 5413,5417,5419,5441,5443,5471,5483,5501,5521, we have t_{2}(2,q) < 4.8\sqrt{q}. Finally, for q <= 9067 it hol… ▽ More New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for q <= 9109. From these new bounds it follows that for q <= 2621 and q = 2659,2663,2683,2693,2753,2801, the relation t_{2}(2,q) < 4.5\sqrt{q} holds. Also, for q <= 5399 and q = 5413,5417,5419,5441,5443,5471,5483,5501,5521, we have t_{2}(2,q) < 4.8\sqrt{q}. Finally, for q <= 9067 it holds that t_{2}(2,q) < 5\sqrt{q}. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms. △ Less

Submitted 14 November, 2011; originally announced November 2011.

Comments: 21 pages, 4 figures, 5 tables. arXiv admin note: substantial text overlap with arXiv:1011.3347

MSC Class: 51E21; 51E22 (Primary) 94B05 (Secondary)