-
$q$-Analogs of divisible design graphs and Deza graphs
Authors:
Dean Crnkovic,
Maarten De Boeck,
Francesco Pavese,
Andrea Svob
Abstract:
Divisible design graphs were introduced in 2011 by Haemers, Kharaghani and Meulenberg. In this paper, we introduce the notion of $q$-analogs of divisible design graphs and show that all $q$-analogs of divisible design graphs come from spreads, and are actually $q$-analogs of strongly regular graphs. Deza graphs were introduced by Erickson, Fernando, Haemers and Hardy in 1999. In this paper, we int…
▽ More
Divisible design graphs were introduced in 2011 by Haemers, Kharaghani and Meulenberg. In this paper, we introduce the notion of $q$-analogs of divisible design graphs and show that all $q$-analogs of divisible design graphs come from spreads, and are actually $q$-analogs of strongly regular graphs. Deza graphs were introduced by Erickson, Fernando, Haemers and Hardy in 1999. In this paper, we introduce $q$-analogs of Deza graphs. Further, we determine possible parameters, give examples of $q$-analogs of Deza graphs and characterize all non-strongly regular $q$-analogs of Deza graphs with the smallest parameters.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Affine vector space partitions and spreads of quadrics
Authors:
Somi Gupta,
Francesco Pavese
Abstract:
An affine spread is a set of subspaces of $\mathrm{AG}(n, q)$ of the same dimension that partitions the points of $\mathrm{AG}(n, q)$. Equivalently, an {\em affine spread} is a set of projective subspaces of $\mathrm{PG}(n, q)$ of the same dimension which partitions the points of $\mathrm{PG}(n, q) \setminus H_{\infty}$; here $H_{\infty}$ denotes the hyperplane at infinity of the projective closur…
▽ More
An affine spread is a set of subspaces of $\mathrm{AG}(n, q)$ of the same dimension that partitions the points of $\mathrm{AG}(n, q)$. Equivalently, an {\em affine spread} is a set of projective subspaces of $\mathrm{PG}(n, q)$ of the same dimension which partitions the points of $\mathrm{PG}(n, q) \setminus H_{\infty}$; here $H_{\infty}$ denotes the hyperplane at infinity of the projective closure of $\mathrm{AG}(n, q)$. Let $\mathcal{Q}$ be a non degenerate quadric of $H_\infty$ and let $Π$ be a generator of $\mathcal{Q}$, where $Π$ is a $t$-dimensional projective subspace. An affine spread $\mathcal{P}$ consisting of $(t+1)$-dimensional projective subspaces of $\mathrm{PG}(n, q)$ is called hyperbolic, parabolic or elliptic (according as $\mathcal{Q}$ is hyperbolic, parabolic or elliptic) if the following hold: each member of $\mathcal{P}$ meets $H_\infty$ in a distinct generator of $\mathcal{Q}$ disjoint from $Π$; elements of $\mathcal{P}$ have at most one point in common; if $S, T \in \mathcal{P}$, $|S \cap T| = 1$, then $\langle S, T \rangle \cap \mathcal{Q}$ is a hyperbolic quadric of $\mathcal{Q}$. In this note it is shown that a hyperbolic, parabolic or elliptic affine spread of $\mathrm{PG}(n, q)$ is equivalent to a spread of $\mathcal{Q}^+(n+1, q)$, $\mathcal{Q}(n+1, q)$ or $\mathcal{Q}^-(n+1, q)$, respectively.
△ Less
Submitted 12 February, 2024;
originally announced February 2024.
-
An infinite family of $m$-ovoids of the hyperbolic quadrics $\mathcal{Q}^+(7,q)$
Authors:
Francesco Pavese,
Hanlin Zou
Abstract:
An infinite family of $(q^2+q+1)$-ovoids of $\mathcal{Q}^+(7,q)$, $q\equiv 1\pmod{3}$, admitting the group $\mathrm{PGL}(3,q)$, is constructed. The main tool is the general theory of generalized hexagons.
An infinite family of $(q^2+q+1)$-ovoids of $\mathcal{Q}^+(7,q)$, $q\equiv 1\pmod{3}$, admitting the group $\mathrm{PGL}(3,q)$, is constructed. The main tool is the general theory of generalized hexagons.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
On 4-general sets in finite projective spaces
Authors:
Francesco Pavese
Abstract:
A $4$-general set in ${\rm PG}(n,q)$ is a set of points of ${\rm PG}(n,q)$ spanning the whole ${\rm PG}(n,q)$ and such that no four of them are on a plane. Such a pointset is said to be complete if it is not contained in a larger $4$-general set of ${\rm PG}(n, q)$. In this paper upper and lower bounds for the size of the largest and the smallest complete $4$-general set in ${\rm PG}(n,q)$, respec…
▽ More
A $4$-general set in ${\rm PG}(n,q)$ is a set of points of ${\rm PG}(n,q)$ spanning the whole ${\rm PG}(n,q)$ and such that no four of them are on a plane. Such a pointset is said to be complete if it is not contained in a larger $4$-general set of ${\rm PG}(n, q)$. In this paper upper and lower bounds for the size of the largest and the smallest complete $4$-general set in ${\rm PG}(n,q)$, respectively, are investigated. Complete $4$-general sets in ${\rm PG}(n,q)$, $q \in \{3,4\}$, whose size is close to the theoretical upper bound are provided. Further results are also presented, including a description of the complete $4$-general sets in projective spaces of small dimension over small fields and the construction of a transitive $4$-general set of size $3(q + 1)$ in ${\rm PG}(5, q)$, $q \equiv 1 \pmod{3}$.
△ Less
Submitted 23 May, 2023;
originally announced May 2023.
-
On the geometry of the Hermitian Veronese curve and its quasi-Hermitian surfaces
Authors:
Michel Lavrauw,
Stefano Lia,
Francesco Pavese
Abstract:
The complete classification of the orbits on subspaces under the action of the projective stabiliser of (classical) algebraic varieties is a challenging task, and few classifications are complete. We focus on a particular action of $\PGL(2,q^2)$ (and $\PSL(2,q^2)$) arising from the Hermitian Veronese curve in $\PG(3, q^2)$, a maximal rational curve embedded on a smooth Hermitian surface with some…
▽ More
The complete classification of the orbits on subspaces under the action of the projective stabiliser of (classical) algebraic varieties is a challenging task, and few classifications are complete. We focus on a particular action of $\PGL(2,q^2)$ (and $\PSL(2,q^2)$) arising from the Hermitian Veronese curve in $\PG(3, q^2)$, a maximal rational curve embedded on a smooth Hermitian surface with some fascinating properties. The study of its orbits leads to a new construction of quasi-Hermitian surfaces: sets of points with the same combinatorial and geometric properties as a non-degenerate Hermitian surface.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
The Geometry of $(t\mod{q})$-arcs
Authors:
Sascha Kurz,
Ivan Landjev,
Francesco Pavese,
Assia Rousseva
Abstract:
In this paper, we give a geometric construction of the three strong non-lifted $(3\mod{5})$-arcs in $\operatorname{PG}(3,5)$ of respective sizes 128, 143, and 168, and construct an infinite family of non-lifted, strong $(t\mod{q})$-arcs in $\operatorname{PG}(r,q)$ with $t=(q+1)/2$ for all $r\ge3$ and all odd prime powers $q$.
In this paper, we give a geometric construction of the three strong non-lifted $(3\mod{5})$-arcs in $\operatorname{PG}(3,5)$ of respective sizes 128, 143, and 168, and construct an infinite family of non-lifted, strong $(t\mod{q})$-arcs in $\operatorname{PG}(r,q)$ with $t=(q+1)/2$ for all $r\ge3$ and all odd prime powers $q$.
△ Less
Submitted 30 November, 2022;
originally announced November 2022.
-
On the geometry of a $(q + 1)$-arc of $\mathrm{PG}(3, q)$, q even
Authors:
Michela Ceria,
Francesco Pavese
Abstract:
In $\mathrm{PG}(3, q)$, $q = 2^n$, $n \ge 3$, let ${\cal A} = \{(1,t,t^{2^h},t^{2^h+1}) \mid t \in \mathbb{F}_q\} \cup \{(0,0,0,1)\}$, with $\mathrm{gcd}(n,h) = 1$, be a $(q+1)$-arc and let $G_h \simeq \mathrm{PGL}(2, q)$ be the stabilizer of $\cal A$ in $\mathrm{PGL}(4, q)$. The $G_h$-orbits on points, lines and planes of $\mathrm{PG}(3, q)$, together with the point-plane incidence matrix with re…
▽ More
In $\mathrm{PG}(3, q)$, $q = 2^n$, $n \ge 3$, let ${\cal A} = \{(1,t,t^{2^h},t^{2^h+1}) \mid t \in \mathbb{F}_q\} \cup \{(0,0,0,1)\}$, with $\mathrm{gcd}(n,h) = 1$, be a $(q+1)$-arc and let $G_h \simeq \mathrm{PGL}(2, q)$ be the stabilizer of $\cal A$ in $\mathrm{PGL}(4, q)$. The $G_h$-orbits on points, lines and planes of $\mathrm{PG}(3, q)$, together with the point-plane incidence matrix with respect to the $G_h$-orbits on points and planes of $\mathrm{PG}(3, q)$ are determined. The point-line incidence matrix with respect to the $G_1$-orbits on points and lines of $\mathrm{PG}(3, q)$ is also considered. In particular, for a line $\ell$ belonging to a given line $G_1$-orbits, say $\cal L$, the point $G_1$-orbit distribution of $\ell$ is either explicitly computed or it is shown to depend on the number of elements $x$ in $\mathbb{F}_q$ (or in a subset of $\mathbb{F}_q$) such that $\mathrm{Tr}_{q|2}(g(x)) = 0$, where $g$ is an $\mathbb{F}_q$-map determined by $\cal L$.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
The $m$-ovoids of ${\cal W}(5,2)$
Authors:
Michela Ceria,
Francesco Pavese
Abstract:
In this paper we are concerned with $m$-ovoids of the symplectic polar space ${\cal W}(2n+1, q)$, $q$ even. In particular we show the existence of an elliptic quadric of ${\rm PG}(2n+1, q)$ not polarizing to ${\cal W}(2n+1, q)$ forming a $\left(\frac{q^n-1}{q-1}\right)$-ovoid of ${\cal W}(2n+1, q)$. A further class of $(q+1)$-ovoids of ${\cal W}(5, q)$ is exhibited. It arises by glueing together t…
▽ More
In this paper we are concerned with $m$-ovoids of the symplectic polar space ${\cal W}(2n+1, q)$, $q$ even. In particular we show the existence of an elliptic quadric of ${\rm PG}(2n+1, q)$ not polarizing to ${\cal W}(2n+1, q)$ forming a $\left(\frac{q^n-1}{q-1}\right)$-ovoid of ${\cal W}(2n+1, q)$. A further class of $(q+1)$-ovoids of ${\cal W}(5, q)$ is exhibited. It arises by glueing together two orbits of a subgroup of ${\rm PSp}(6, q)$ isomorphic to ${\rm PSL}(2, q^2)$. We also show that the obtained $m$-ovoids do not fall in any of the examples known so far in the literature. Moreover, a computer classification of the $m$-ovoids of ${\cal W}(5, 2)$ is acquired. It turns out that ${\cal W}(5, 2)$ has $m$-ovoids if and only if $m = 3$ and that there are exactly three pairwise non-isomorphic examples. The first example comes from an elliptic quadric ${\cal Q}^-(5, 2)$ polarizing to ${\cal W}(5, 2)$, whereas the other two are the $3$-ovoids previously mentioned.
△ Less
Submitted 3 July, 2022;
originally announced July 2022.
-
On large partial ovoids of symplectic and Hermitian polar spaces
Authors:
Michela Ceria,
Jan De Beule,
Francesco Pavese,
Valentino Smaldore
Abstract:
In this paper we provide constructive lower bounds on the sizes of the largest partial ovoids of the symplectic polar spaces ${\cal W}(3, q)$, $q$ odd square, $q \not\equiv 0 \pmod{3}$, ${\cal W}(5, q)$ and of the Hermitian polar spaces ${\cal H}(4, q^2)$, $q$ even or $q$ odd square, $q \not\equiv 0 \pmod{3}$, ${\cal H}(6, q^2)$, ${\cal H}(8, q^2)$.
In this paper we provide constructive lower bounds on the sizes of the largest partial ovoids of the symplectic polar spaces ${\cal W}(3, q)$, $q$ odd square, $q \not\equiv 0 \pmod{3}$, ${\cal W}(5, q)$ and of the Hermitian polar spaces ${\cal H}(4, q^2)$, $q$ even or $q$ odd square, $q \not\equiv 0 \pmod{3}$, ${\cal H}(6, q^2)$, ${\cal H}(8, q^2)$.
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
A modular equality for $m$-ovoids of elliptic quadrics
Authors:
Alexander L. Gavrilyuk,
Klaus Metsch,
Francesco Pavese
Abstract:
An $m$-ovoid of a finite polar space $\mathcal{P}$ is a set $\mathcal{O}$ of points such that every maximal subspace of $\mathcal{P}$ contains exactly $m$ points of $\mathcal{O}$. In the case when $\mathcal{P}$ is an elliptic quadric $\mathcal{Q}^-(2r+1, q)$ of rank $r$ in $\mathbb{F}_q^{2r+2}$, we prove that an $m$-ovoid exists only if $m$ satisfies a certain modular equality, which depends on…
▽ More
An $m$-ovoid of a finite polar space $\mathcal{P}$ is a set $\mathcal{O}$ of points such that every maximal subspace of $\mathcal{P}$ contains exactly $m$ points of $\mathcal{O}$. In the case when $\mathcal{P}$ is an elliptic quadric $\mathcal{Q}^-(2r+1, q)$ of rank $r$ in $\mathbb{F}_q^{2r+2}$, we prove that an $m$-ovoid exists only if $m$ satisfies a certain modular equality, which depends on $q$ and $r$. This condition rules out many of the possible values of $m$. Previously, only a lower bound on $m$ was known, which we slightly improve as a byproduct of our method. We also obtain a characterization of the $m$-ovoids of $\mathcal{Q}^{-}(7,q)$ for $q = 2$ and $(m, q) = (4, 3)$.
△ Less
Submitted 14 November, 2021;
originally announced November 2021.
-
On near-MDS codes and caps
Authors:
Michela Ceria,
Antonio Cossidente,
Giuseppe Marino,
Francesco Pavese
Abstract:
Several classes of near-MDS codes of ${\rm PG}(3,q)$ are described. They are obtained either by considering the intersection of an elliptic quadric ovoid and a Suzuki-Tits ovoid of a symplectic polar space ${\cal W}(3, q)$ or starting from the $q+1$ points of a twisted cubic of ${\rm PG}(3, q)$. As a by-product two classes of complete caps of ${\rm PG}(4,q)$ of size $2q^2-q \pm \sqrt{2q} + 2$ are…
▽ More
Several classes of near-MDS codes of ${\rm PG}(3,q)$ are described. They are obtained either by considering the intersection of an elliptic quadric ovoid and a Suzuki-Tits ovoid of a symplectic polar space ${\cal W}(3, q)$ or starting from the $q+1$ points of a twisted cubic of ${\rm PG}(3, q)$. As a by-product two classes of complete caps of ${\rm PG}(4,q)$ of size $2q^2-q \pm \sqrt{2q} + 2$ are exhibited.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
Small complete caps in ${\rm PG}(4n + 1, q)$
Authors:
Antonio Cossidente,
Bence Csajbók,
Giuseppe Marino,
Francesco Pavese
Abstract:
In this paper we prove the existence of a complete cap of ${\rm PG}(4n+1, q)$ of size $2(q^{2n+1}-1)/(q-1)$, for each prime power $q>2$. It is obtained by projecting two disjoint Veronese varieties of ${\rm PG}(2n^2+3n, q)$ from a suitable $(2n^2-n-2)$-dimensional projective space. This shows that the trivial lower bound for the size of the smallest complete cap of ${\rm PG}(4n+1, q)$ is essential…
▽ More
In this paper we prove the existence of a complete cap of ${\rm PG}(4n+1, q)$ of size $2(q^{2n+1}-1)/(q-1)$, for each prime power $q>2$. It is obtained by projecting two disjoint Veronese varieties of ${\rm PG}(2n^2+3n, q)$ from a suitable $(2n^2-n-2)$-dimensional projective space. This shows that the trivial lower bound for the size of the smallest complete cap of ${\rm PG}(4n+1, q)$ is essentially sharp.
△ Less
Submitted 31 May, 2021;
originally announced May 2021.
-
A clique-free pseudorandom subgraph of the pseudo polarity graph
Authors:
Sam Mattheus,
Francesco Pavese
Abstract:
We provide a new family of $K_k$-free pseudorandom graphs with edge density $Θ(n^{-1/(k-1)})$, matching a recent construction due to Bishnoi, Ihringer and Pepe. As in the former result, the idea is to use large subgraphs of polarity graphs, which are defined over a finite field $\mathbb{F}_q$. While their construction required $q$ to be odd, we will give the first construction with $q$ even.
We provide a new family of $K_k$-free pseudorandom graphs with edge density $Θ(n^{-1/(k-1)})$, matching a recent construction due to Bishnoi, Ihringer and Pepe. As in the former result, the idea is to use large subgraphs of polarity graphs, which are defined over a finite field $\mathbb{F}_q$. While their construction required $q$ to be odd, we will give the first construction with $q$ even.
△ Less
Submitted 8 May, 2021;
originally announced May 2021.
-
On regular systems of finite classical polar spaces
Authors:
Antonio Cossidente,
Giuseppe Marino,
Francesco Pavese,
Valentino Smaldore
Abstract:
Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-e…
▽ More
Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-existence results about certain 1-regular systems of polar spaces with low rank are proved and a procedure to obtain $m'$-regular systems from a given $m$-regular system is described. Finally, three different construction methods of regular systems w.r.t. points of various polar spaces are discussed.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Graphs cospectral with NU$(n + 1, q^2)$, $n \ne 3$
Authors:
Ferdinand Ihringer,
Francesco Pavese,
Valentino Smaldore
Abstract:
Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not…
▽ More
Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not determined by its spectrum.
△ Less
Submitted 15 June, 2021; v1 submitted 19 December, 2020;
originally announced December 2020.
-
On cutting blocking sets and their codes
Authors:
Daniele Bartoli,
Antonio Cossidente,
Giuseppe Marino,
Francesco Pavese
Abstract:
Let PG$(r, q)$ be the $r$-dimensional projective space over the finite field ${\rm GF}(q)$. A set $\cal X$ of points of PG$(r, q)$ is a cutting blocking set if for each hyperplane $Π$ of PG$(r, q)$ the set $Π\cap \cal X$ spans $Π$. Cutting blocking sets give rise to saturating sets and minimal linear codes and those having size as small as possible are of particular interest. We observe that from…
▽ More
Let PG$(r, q)$ be the $r$-dimensional projective space over the finite field ${\rm GF}(q)$. A set $\cal X$ of points of PG$(r, q)$ is a cutting blocking set if for each hyperplane $Π$ of PG$(r, q)$ the set $Π\cap \cal X$ spans $Π$. Cutting blocking sets give rise to saturating sets and minimal linear codes and those having size as small as possible are of particular interest. We observe that from a cutting blocking set obtained by Fancsali and Sziklai, by using a set of pairwise disjoint lines, there arises a minimal linear code whose length grows linearly with respect to its dimension. We also provide two distinct constructions: a cutting blocking set of PG$(3, q^3)$ of size $3(q+1)(q^2+1)$ as a union of three pairwise disjoint $q$-order subgeometries and a cutting blocking set of PG$(5, q)$ of size $7(q+1)$ from seven lines of a Desarguesian line spread of PG$(5, q)$. In both cases the cutting blocking sets obtained are smaller than the known ones. As a byproduct we further improve on the upper bound of the smallest size of certain saturating sets and on the minimum length of a minimal $q$-ary linear code having dimension $4$ and $6$.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
On symmetric and Hermitian rank distance codes
Authors:
Antonio Cossidente,
Giuseppe Marino,
Francesco Pavese
Abstract:
Let $\cal M$ denote the set ${\cal S}_{n, q}$ of $n \times n$ symmetric matrices with entries in ${\rm GF}(q)$ or the set ${\cal H}_{n, q^2}$ of $n \times n$ Hermitian matrices whose elements are in ${\rm GF}(q^2)$. Then $\cal M$ equipped with the rank distance $d_r$ is a metric space. We investigate $d$-codes in $({\cal M}, d_r)$ and construct $d$-codes whose sizes are larger than the correspondi…
▽ More
Let $\cal M$ denote the set ${\cal S}_{n, q}$ of $n \times n$ symmetric matrices with entries in ${\rm GF}(q)$ or the set ${\cal H}_{n, q^2}$ of $n \times n$ Hermitian matrices whose elements are in ${\rm GF}(q^2)$. Then $\cal M$ equipped with the rank distance $d_r$ is a metric space. We investigate $d$-codes in $({\cal M}, d_r)$ and construct $d$-codes whose sizes are larger than the corresponding additive bounds. In the Hermitian case, we show the existence of an $n$-code of $\cal M$, $n$ even and $n/2$ odd, of size $\left(3q^{n}-q^{n/2}\right)/2$, and of a $2$-code of size $q^6+ q(q-1)(q^4+q^2+1)/2$, for $n = 3$. In the symmetric case, if $n$ is odd or if $n$ and $q$ are both even, we provide better upper bound on the size of a $2$-code. In the case when $n = 3$ and $q>2$, a $2$-code of size $q^4+q^3+1$ is exhibited. This provides the first infinite family of $2$-codes of symmetric matrices whose size is larger than the largest possible additive $2$-code.
△ Less
Submitted 13 November, 2020;
originally announced November 2020.
-
Combining subspace codes
Authors:
Antonio Cossidente,
Sascha Kurz,
Giuseppe Marino,
Francesco Pavese
Abstract:
In the context of constant--dimension subspace codes, an important problem is to determine the largest possible size $A_q(n, d; k)$ of codes whose codewords are $k$-subspaces of $\mathbb{F}_q^n$ with minimum subspace distance $d$. Here in order to obtain improved constructions, we investigate several approaches to combine subspace codes. This allow us to present improvements on the lower bounds fo…
▽ More
In the context of constant--dimension subspace codes, an important problem is to determine the largest possible size $A_q(n, d; k)$ of codes whose codewords are $k$-subspaces of $\mathbb{F}_q^n$ with minimum subspace distance $d$. Here in order to obtain improved constructions, we investigate several approaches to combine subspace codes. This allow us to present improvements on the lower bounds for constant--dimension subspace codes for many parameters, including $A_q(10, 4; 5)$, $A_q(12, 4; 4)$, $A_q(12, 6, 6)$ and $A_q(16, 4; 4)$.
△ Less
Submitted 19 November, 2021; v1 submitted 8 November, 2019;
originally announced November 2019.
-
On the PSU(4, 2)-invariant vertex-transitive strongly regular (216, 40, 4, 8) graph
Authors:
Dean Crnković,
Francesco Pavese,
Andrea Švob
Abstract:
In 2018 the first, Rukavina and the third author constructed with the aid of a computer the first example of a strongly regular graph $Γ$ with parameters (216, 40, 4, 8) and proved that it is the unique PSU(4,2)-invariant vertex-transitive graph on 216 vertices. In this paper, using the geometry of the Hermitian surface of PG(3, 4), we provide a computer-free proof of the existence of the graph…
▽ More
In 2018 the first, Rukavina and the third author constructed with the aid of a computer the first example of a strongly regular graph $Γ$ with parameters (216, 40, 4, 8) and proved that it is the unique PSU(4,2)-invariant vertex-transitive graph on 216 vertices. In this paper, using the geometry of the Hermitian surface of PG(3, 4), we provide a computer-free proof of the existence of the graph $Γ$. The maximal cliques of $Γ$ are also determined.
△ Less
Submitted 30 July, 2019;
originally announced July 2019.
-
Subspace code constructions
Authors:
Antonio Cossidente,
Giuseppe Marino,
Francesco Pavese
Abstract:
We improve on the lower bound of the maximum number of planes of ${\rm PG}(8,q)$ mutually intersecting in at most one point leading to the following lower bound: ${\cal A}_q(9, 4; 3) \ge q^{12}+2q^8+2q^7+q^6+q^5+q^4+1$ for constant dimension subspace codes. We also construct two new non-equivalent $(6, (q^3-1)(q^2+q+1), 4; 3)_q$ constant dimension subspace orbit-codes.
We improve on the lower bound of the maximum number of planes of ${\rm PG}(8,q)$ mutually intersecting in at most one point leading to the following lower bound: ${\cal A}_q(9, 4; 3) \ge q^{12}+2q^8+2q^7+q^6+q^5+q^4+1$ for constant dimension subspace codes. We also construct two new non-equivalent $(6, (q^3-1)(q^2+q+1), 4; 3)_q$ constant dimension subspace orbit-codes.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
On $q$-covering designs
Authors:
Francesco Pavese
Abstract:
A $q$-covering design $\mathbb{C}_q(n, k, r)$, $k \ge r$, is a collection $\mathcal X$ of $(k-1)$-spaces of $\mathrm{PG}(n-1, q)$ such that every $(r-1)$-space of $\mathrm{PG}(n-1, q)$ is contained in at least one element of $\mathcal X$ . Let $\mathcal{C}_q(n, k, r)$ denote the minimum number of $(k-1)$-spaces in a $q$-covering design $\mathbb{C}_q(n, k, r)$. In this paper improved upper bounds o…
▽ More
A $q$-covering design $\mathbb{C}_q(n, k, r)$, $k \ge r$, is a collection $\mathcal X$ of $(k-1)$-spaces of $\mathrm{PG}(n-1, q)$ such that every $(r-1)$-space of $\mathrm{PG}(n-1, q)$ is contained in at least one element of $\mathcal X$ . Let $\mathcal{C}_q(n, k, r)$ denote the minimum number of $(k-1)$-spaces in a $q$-covering design $\mathbb{C}_q(n, k, r)$. In this paper improved upper bounds on $\mathcal{C}_q(2n, 3, 2)$, $n \ge 4$, $\mathcal{C}_q(3n + 8, 4, 2)$, $n \ge 0$, and $\mathcal{C}_q(2n,4,3)$, $n \ge 4$, are presented. The results are achieved by constructing the related $q$-covering designs.
△ Less
Submitted 28 April, 2019;
originally announced April 2019.
-
Cameron-Liebler line classes of ${\rm PG}(3,q)$ admitting ${\rm PGL}(2,q)$
Authors:
Antonio Cossidente,
Francesco Pavese
Abstract:
In this paper we describe an infinite family of Cameron-Liebler line classes of ${\rm PG}(3,q)$ with parameter $(q^2 + 1)/2$, $q\equiv 1\pmod{4}$. The example obtained admits ${\rm PGL}(2,q)$ as an automorphism group and it is shown to be isomorphic to none of the infinite families known so far whenever $q \ge 9$.
In this paper we describe an infinite family of Cameron-Liebler line classes of ${\rm PG}(3,q)$ with parameter $(q^2 + 1)/2$, $q\equiv 1\pmod{4}$. The example obtained admits ${\rm PGL}(2,q)$ as an automorphism group and it is shown to be isomorphic to none of the infinite families known so far whenever $q \ge 9$.
△ Less
Submitted 24 July, 2018;
originally announced July 2018.
-
On line covers of finite projective and polar spaces
Authors:
A. Cossidente,
F. Pavese
Abstract:
An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines of $\cal L$, for some $m$. Embed ${\rm PG}(r,q)$ in ${\rm PG}(r,q^2)$. Let $\bar{\cal L}$ denote the set of points of ${\rm PG}(r,q^2)$ lying on the extended line…
▽ More
An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines of $\cal L$, for some $m$. Embed ${\rm PG}(r,q)$ in ${\rm PG}(r,q^2)$. Let $\bar{\cal L}$ denote the set of points of ${\rm PG}(r,q^2)$ lying on the extended lines of $\cal L$.
An $m$-cover $\cal L$ of ${\rm PG}(r,q)$ is an $(r-2)$-dual $m$-cover if there are two possibilities for the number of lines of $\cal L$ contained in an $(r-2)$-space of ${\rm PG}(r,q)$. Basing on this notion, we characterize $m$-covers $\cal L$ of ${\rm PG}(r,q)$ such that $\bar{\cal L}$ is a two-character set of ${\rm PG}(r,q^2)$. In particular, we show that if $\cal L$ is invariant under a Singer cyclic group of ${\rm PG}(r,q)$ then it is an $(r-2)$-dual $m$-cover.
Assuming that the lines of $\cal L$ are lines of a symplectic polar space ${\cal W}(r,q)$ (of an orthogonal polar space ${\cal Q}(r,q)$ of parabolic type), similarly to the projective case we introduce the notion of an $(r-2)$-dual $m$-cover of symplectic type (of parabolic type). We prove that an $m$-cover $\cal L$ of ${\cal W}(r,q)$ (of ${\cal Q}(r,q)$) has this dual property if and only if $\bar{\cal L}$ is a tight set of an Hermitian variety ${\cal H}(r,q^2)$ or of ${\cal W}(r,q^2)$ (of ${\cal H}(r,q^2)$ or of ${\cal Q}(r,q^2)$). We also provide some interesting examples of $(4n-3)$-dual $m$-covers of symplectic type of ${\cal W}(4n-1,q)$.
△ Less
Submitted 30 June, 2018;
originally announced July 2018.
-
Optimal subspace codes in ${\rm PG}(4,q)$
Authors:
Antonio Cossidente,
Francesco Pavese,
Leo Storme
Abstract:
We investigate subspace codes whose codewords are subspaces of ${\rm PG}(4,q)$ having non-constant dimension. In particular, examples of optimal mixed-dimension subspace codes are provided, showing that ${\cal A}_q(5,3) = 2(q^3+1)$.
We investigate subspace codes whose codewords are subspaces of ${\rm PG}(4,q)$ having non-constant dimension. In particular, examples of optimal mixed-dimension subspace codes are provided, showing that ${\cal A}_q(5,3) = 2(q^3+1)$.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Triangle-free induced subgraphs of the unitary polarity graph
Authors:
Sam Mattheus,
Francesco Pavese
Abstract:
Let $\perp$ be a unitary polarity of a finite projective plane $π$ of order $q^2$. The unitary polarity graph is the graph with vertex set the points of $π$ where two vertices $x$ and $y$ are adjacent if $x \in y^\perp$. We show that a triangle-free induced subgraph of the unitary polarity graph of an arbitrary projective plane has at most $(q^4+q)/2$ vertices. When $π$ is the Desarguesian project…
▽ More
Let $\perp$ be a unitary polarity of a finite projective plane $π$ of order $q^2$. The unitary polarity graph is the graph with vertex set the points of $π$ where two vertices $x$ and $y$ are adjacent if $x \in y^\perp$. We show that a triangle-free induced subgraph of the unitary polarity graph of an arbitrary projective plane has at most $(q^4+q)/2$ vertices. When $π$ is the Desarguesian projective plane $\mathrm{PG}(2,q^2)$ and $q$ is even, we show that the upper bound is asymptotically sharp, by providing an example on $q^4/2$ vertices. Finally, the case when $π$ is the Figueroa plane is discussed.
△ Less
Submitted 2 May, 2018; v1 submitted 25 October, 2017;
originally announced October 2017.
-
New Cameron-Liebler line classes with parameter $\frac{q^2+1}{2}$
Authors:
A. Cossidente,
F. Pavese
Abstract:
New families of Cameron-Liebler line classes of ${\rm PG}(3,q)$, $q\ge 7$ odd, with parameter $(q^2+1)/2$ are constructed.
New families of Cameron-Liebler line classes of ${\rm PG}(3,q)$, $q\ge 7$ odd, with parameter $(q^2+1)/2$ are constructed.
△ Less
Submitted 6 July, 2017;
originally announced July 2017.
-
The ITS-90 after definition of neon isotopic reference composition. Extent of the isotopic effect on previous inter-comparison results
Authors:
Franco Pavese,
Anna Szmyrka-Grzebyk,
Peter P. M. Steur
Abstract:
Starting from the end of the past century, the importance has been recognized of the effect of isotopic composition on some of the temperature fixed points for the most accurate realizations of the ITS-90. In the original definition of the latter, dating back to 1990, only a generic reference was made to natural composition of the substances used for the realization of the fixed points, except for…
▽ More
Starting from the end of the past century, the importance has been recognized of the effect of isotopic composition on some of the temperature fixed points for the most accurate realizations of the ITS-90. In the original definition of the latter, dating back to 1990, only a generic reference was made to natural composition of the substances used for the realization of the fixed points, except for helium. The definition of a reference isotopic composition for three fixed points, e-H2, Ne and H2O, while eliminating the non-uniqueness of the Scale in this respect, induced detectable differences in the present and future realizations of the Scale, at the highest accuracy level, with respect to the previous realizations, when they affected the results of past key comparisons, namely the K1 and K1.1, and K2 and K2.1 to K2.5 and the related regional and supplementary ones. The paper provides evidence of the extent of this effect by using the results of the relevant key comparisons for Neon archived in the BIPM KCDB, and of other comparisons existing in the literature: 1979-1984, 2007-2012 and 2009-2010 sealed cell comparisons; and discusses the meaning and the outcomes of this evaluation.
△ Less
Submitted 9 June, 2017; v1 submitted 16 April, 2017;
originally announced April 2017.
-
On the independence number of graphs related to a polarity
Authors:
Sam Mattheus,
Francesco Pavese,
Leo Storme
Abstract:
We investigate the independence number of two graphs constructed from a polarity of $\mathrm{PG}(2,q)$. For the first graph under consideration, the Erdős-Rényi graph $ER_q$, we provide an improvement on the known lower bounds on its independence number. In the second part of the paper we consider the Erdős-Rényi hypergraph of triangles $\mathcal{H}_q$. We determine the exact magnitude of the inde…
▽ More
We investigate the independence number of two graphs constructed from a polarity of $\mathrm{PG}(2,q)$. For the first graph under consideration, the Erdős-Rényi graph $ER_q$, we provide an improvement on the known lower bounds on its independence number. In the second part of the paper we consider the Erdős-Rényi hypergraph of triangles $\mathcal{H}_q$. We determine the exact magnitude of the independence number of $\mathcal{H}_q$, $q$ even. This solves a problem posed by Mubayi and Williford.
△ Less
Submitted 3 April, 2017;
originally announced April 2017.
-
On the definition of the measurement unit for extreme quantity values: some considerations on the case of temperature and the kelvin scale
Authors:
Franco Pavese
Abstract:
Many quantities are attributed a range of values that can apparently extend to infinity (on one side or both sides). In this respect, the definitions of their measurement units do not place any constraint to the maximum (or minimum) value for their validity. In general, that happens because those extreme values are far from being reached on the earth, or presently in experiments. However, since th…
▽ More
Many quantities are attributed a range of values that can apparently extend to infinity (on one side or both sides). In this respect, the definitions of their measurement units do not place any constraint to the maximum (or minimum) value for their validity. In general, that happens because those extreme values are far from being reached on the earth, or presently in experiments. However, since the same units are used also in fields of physics, chemistry or technology where they could occur, namely in the description of the universe in one sense, and in nano-scale or particle physics in another sense, the issue of extreme values (not in statistical meaning here) is not irrelevant. The question placed and discussed in this paper is whether the present kelvin scale, based on Lord Kelvin second definition (our currently accepted concept of temperature), applies over a full range between bounds (zero, infinite) or not, and about the concept of temperature in itself in the extremes regions. The aim, however, is not to provide an answer, but to suggest there are difficulties with the application of current concepts at extremes of temperature.
△ Less
Submitted 18 December, 2016;
originally announced December 2016.
-
Relative $m$-ovoids of elliptic quadrics
Authors:
A. Cossidente,
F. Pavese
Abstract:
Let ${\cal Q}^-(2n+1,q)$ be an elliptic quadric of ${\rm PG}(2n+1,q)$. A relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ (with respect to a parablic section ${\cal Q} := {\cal Q}(2n,q) \subset {\cal Q}^-(2n+1,q)$) is a subset $\cal R$ of points of ${\cal Q}^-(2n+1,q)\setminus {\cal Q}$ such that every generator of ${\cal Q}^-(2n+1,q)$ not contained in $\cal Q$ meets $\cal R$ in precisely $m$ points. A…
▽ More
Let ${\cal Q}^-(2n+1,q)$ be an elliptic quadric of ${\rm PG}(2n+1,q)$. A relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ (with respect to a parablic section ${\cal Q} := {\cal Q}(2n,q) \subset {\cal Q}^-(2n+1,q)$) is a subset $\cal R$ of points of ${\cal Q}^-(2n+1,q)\setminus {\cal Q}$ such that every generator of ${\cal Q}^-(2n+1,q)$ not contained in $\cal Q$ meets $\cal R$ in precisely $m$ points. A relative $m$-ovoid having the same size as its complement (in ${\cal Q}^-(2n+1,q) \setminus {\cal Q}$) is called a relative hemisystem. We show that a nontrivial relative $m$-ovoid of ${\cal Q}^-(2n+1,q)$ is necessarily a relative hemisystem, forcing $q$ to be even. Also, we construct an infinite family of relative hemisystems of ${\cal Q}^-(4n+1,q)$, $n \ge 2$, admitting ${\rm PSp}(2n,q^2)$ as an automorphism group. Finally, some applications are given.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
Improving the understandability of the next edition of the International System of Units (SI) by focusing on its conceptual structure
Authors:
Luca Mari,
Peter Blattner,
Franco Pavese
Abstract:
The International System of Units (SI) is fundamental for the social, and not only the scientific, role of metrology, and as such its understandability is a crucial issue. According to the current draft of the new SI Brochure, the next edition of the SI will be significantly more complex in its conceptual structure than the previous ones. Identifying a strategy for effectively communicating its ma…
▽ More
The International System of Units (SI) is fundamental for the social, and not only the scientific, role of metrology, and as such its understandability is a crucial issue. According to the current draft of the new SI Brochure, the next edition of the SI will be significantly more complex in its conceptual structure than the previous ones. Identifying a strategy for effectively communicating its main contents is then a worthwhile endeavor, in order to increase the acceptance and thus the sustainability of the SI itself. Our proposal is to focus on the semantic structure of the definitions: this is instrumental to the awareness campaigns recommended by the General Conference on Weights and Measures to make the next edition of the SI understandable by a diverse readership without compromising scientific rigor.
△ Less
Submitted 20 January, 2017; v1 submitted 15 March, 2016;
originally announced April 2016.
-
Is the proposed SI revision, according to the October 2018 BIPM documents, scientifically and formally satisfactory?
Authors:
Franco Pavese
Abstract:
The use of the fundamental constants for the definition of the most important measurement units of the International System, was considered a good solution to found it on more solid bases. From further analysis, this solution was found implying a number of consequences underevaluated by the BIPM until the proposal presented for discussion in November 2018 to the CGPM, or at least never clearly exp…
▽ More
The use of the fundamental constants for the definition of the most important measurement units of the International System, was considered a good solution to found it on more solid bases. From further analysis, this solution was found implying a number of consequences underevaluated by the BIPM until the proposal presented for discussion in November 2018 to the CGPM, or at least never clearly explained to the signatories Countries of the Metre Treaty. This lack of clarity will affect the implementations of the revised System in the future. Following previous illustrations, this v.5 of the paper is focusing on some issues of direct impact on the correctness of the new definition and on its implementation: how many digits, supported by the latest experimental values, can be stipulated for the numerical values of the constants; why the present experimental uncertainties do not support the pretended precision of the constants; how inconsistencies affect some constant final database; why the CODATA LSA analysis alone is insufficient to support the stipulated precision of the constants; how the need should be explained of kee** the former base units, in order to preserve their present magnitudes; which is the true base-units/constants relationship; how the now-installed hierarchy between the constants and the base units makes changes in the future metrological pyramid; how to still use the present top national standards in future.
△ Less
Submitted 8 November, 2018; v1 submitted 30 December, 2015;
originally announced January 2016.
-
The New SI and the CODATA recommended values of the fundamental constants 2017 compared with 2014, with a Comment to Possolo et al., Metrologia 55 (2018) 29
Authors:
Franco Pavese
Abstract:
This note comments on the special CODATA 2017 adjustment of the fundamental constants of July 2017 involved in the revision of the SI (based on: P.J. Mohr et al., Data and Analysis for the CODATA 2017 Special Fundamental Constants Adjustment for the Revision of the SI, Metrologia 2018, September 2017 preprint), with a comparison to the CODATA 2014 adjustment. In Appendix, a comment is also added o…
▽ More
This note comments on the special CODATA 2017 adjustment of the fundamental constants of July 2017 involved in the revision of the SI (based on: P.J. Mohr et al., Data and Analysis for the CODATA 2017 Special Fundamental Constants Adjustment for the Revision of the SI, Metrologia 2018, September 2017 preprint), with a comparison to the CODATA 2014 adjustment. In Appendix, a comment is also added on the paper Possolo et al., Metrologia 55 (2018) 29 on the Planck constant. The previous versions of this manuscript (also available on ArXiv) were aiming at pointing out some standing features of the present and future CODATA method in the light of the CODATA table of 2014 recommended values for the fundamental constants. A comprehensive discussion on this and related issues is becoming very important in view of the foreseen revision of the International System (SI) of measurement units in 2018. The present features may still raise doubts on a possible mixing of physical reasons of general validity in science with some needs specific of legal aspects of metrology concerning the SI. This illustration was adjourned in version 3 (v3) according to the CCU 2016 draft of the 9th SI Brochure and to the outcomes of its 22th meeting, with a note about the intended need of a 8th digit in the stipulated value of k.
△ Less
Submitted 3 January, 2018; v1 submitted 9 December, 2015;
originally announced December 2015.
-
Veronese subspace codes
Authors:
Antonio Cossidente,
Francesco Pavese
Abstract:
Using the correspondence between quadrics of ${\rm PG}(2,q)$ and points of ${\rm PG}(5,q)$, a family of $(6,q^3(q^2-1)(q-1)/3+(q^2+1)(q^2+q+1),4;3)_q$ constant dimension subspace codes is constructed.
Using the correspondence between quadrics of ${\rm PG}(2,q)$ and points of ${\rm PG}(5,q)$, a family of $(6,q^3(q^2-1)(q-1)/3+(q^2+1)(q^2+q+1),4;3)_q$ constant dimension subspace codes is constructed.
△ Less
Submitted 1 June, 2015;
originally announced June 2015.
-
Subspace codes in PG(2n-1,q)
Authors:
Antonio Cossidente,
Francesco Pavese
Abstract:
An $(r,M,2δ;k)_q$ constant--dimension subspace code, $δ>1$, is a collection $\cal C$ of $(k-1)$--dimensional projective subspaces of ${\rm PG(r-1,q)}$ such that every $(k-δ)$--dimensional projective subspace of ${\rm PG(r-1,q)}$ is contained in at most a member of $\cal C$. Constant--dimension subspace codes gained recently lot of interest due to the work by Koetter and Kschischang, where they pre…
▽ More
An $(r,M,2δ;k)_q$ constant--dimension subspace code, $δ>1$, is a collection $\cal C$ of $(k-1)$--dimensional projective subspaces of ${\rm PG(r-1,q)}$ such that every $(k-δ)$--dimensional projective subspace of ${\rm PG(r-1,q)}$ is contained in at most a member of $\cal C$. Constant--dimension subspace codes gained recently lot of interest due to the work by Koetter and Kschischang, where they presented an application of such codes for error-correction in random network coding. Here a $(2n,M,4;n)_q$ constant--dimension subspace code is constructed, for every $n \ge 4$. The size of our codes is considerably larger than all known constructions so far, whenever $n > 4$. When $n=4$ a further improvement is provided by constructing an $(8,M,4;4)_q$ constant--dimension subspace code, with $M = q^{12}+q^2(q^2+1)^2(q^2+q+1)+1$.
△ Less
Submitted 13 November, 2014;
originally announced November 2014.
-
Comment to "Comment on 'Compositional and Microchemical Evidence of Piezonuclear Fission Reactions in Rock Specimens Subjected to Compression Tests' [Strain 47 (Suppl. 2), 282 (2011)]" by G. Amato et al
Authors:
Franco Pavese
Abstract:
It is shown that the evidence asserted in the Comment [arXiv:1205.6418] on the chemical composition data published by Carpinteri et al. [Strain 47 (Suppl. 2), 282 (2011)]-that the data "cannot be the result of independent measurements as claimed by the authors" -may be not necessarily true. A simpler fact could explain the identical assay values found for some of the chemical components, without t…
▽ More
It is shown that the evidence asserted in the Comment [arXiv:1205.6418] on the chemical composition data published by Carpinteri et al. [Strain 47 (Suppl. 2), 282 (2011)]-that the data "cannot be the result of independent measurements as claimed by the authors" -may be not necessarily true. A simpler fact could explain the identical assay values found for some of the chemical components, without this implying the asserted impossible correlations. The simpler reason does not invalidate the published numerical data, being related only to incorrect notation. On the other hand, it is out the scope of the present comment implying any evaluation about the physical validity of the data or about the conclusions drawn in the original paper.
△ Less
Submitted 23 February, 2016; v1 submitted 13 June, 2012;
originally announced June 2012.