Related papers: On line-parallelisms of PG(3, q)
Let q be an odd prime power and let f(r) be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane PG(2,q). We prove some results about the function f(r), in particular showing that there exists a…
2834 inequivalent spreads under the group $\mathrm{P}\Gamma\mathrm{L}(4,8)$. Therefore there are the same number of translation planes of order 64 with kernel containing $\mathrm{GF}(8)$, and we describe various properties of these planes.…
A mixed s-stack q-queue layout of a graph consists of a linear order of its vertices and of a partition of its edges into s stacks and q queues, such that no two edges in the same stack cross and no two edges in the same queue nest. In…
In this paper we study a family of scattered $\F_q$--linear sets of rank $tn$ of the projective space $PG(2n-1,q^t)$ ($n \geq 1$, $t\geq 3$), called of {\it pseudoregulus type}, generalizing results contained in [G. Marino, O. Polverino, R.…
An untouchable set in a projective plane is a set of points such that no line of the plane meets the set in exactly one point. Recently, H\'eger and Nagy (Avoiding Secants of Given Size in Finite Projective Planes, J. Combin. Des.…
In this work we find new minimum sizes for the maximal partial spreads of PG$(3,q)$, for $q=8,9,16$ and for every $q$ such that $25\leq q\leq 101$. Furthermore, for $q=8,9,16,25$ and 27 we find all the unknown sizes between our minimums and…
A cylindrical stretch line is a stretch line, in the sense of Thurston, whose horocyclic lamination is a weighted multicurve. In this paper, we show that two correctly parameterized cylindrical lines are parallel if and only if these lines…
Let $\pi$ be an order-$q$-subplane of $PG(2,q^3)$ that is exterior to $\ell_\infty$. Then the exterior splash of $\pi$ is the set of $q^2+q+1$ points on $\ell_\infty$ that lie on an extended line of $\pi$. Exterior splashes are projectively…
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$.…
Consider two symmetric $3 \times 3$ matrices $A$ and $B$ with entries in $GF(q)$, for $q=p^n$, $p$ an odd prime. The zero sets of $v^T Av$ and $v^T Bv$ can be viewed as (possibly degenerate) conics in the finite projective coordinate plane…
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…
We present a partial classification of those finite linear spaces $\mathcal{S}$ on which an almost simple group $G$ with socle $PSL(3,q)$ acts line-transitively.
Let $E$ be a set of solids (hyperplanes) in $PG(4,q)$, $q$ even, $q>2$, such that every point of $PG(4,q)$ lies in either $0$, $\frac12q^3$ or $\frac12(q^3-q^2)$ solids of $E$, and every plane of $PG(4,q)$ lies in either $0$, $\frac12q$ or…
Every linear set in a Galois space is the projection of a subgeometry, and most known characterizations of linear sets are given under this point of view. For instance, scattered linear sets of pseudoregulus type are obtained by considering…
In this paper, we study the weight distributions of $\mathbb{F}_q$-linear sets in $\mathrm{PG}(1,q^5)$. Our main theorem proves that a linear set $S$ of rank $5$, which is not scattered has the following weight distribution for its points…
The elementary divisors of the incidence matrices of lines in $PG(3,p)$ are computed, where two lines are incident if and only if they are skew.
In this short note, we study the distribution of spreads in a point set $\mathcal{P} \subseteq \mathbb{F}_q^d$, which are analogous to angles in Euclidean space. More precisely, we prove that, for any $\varepsilon > 0$, if $|\mathcal{P}|…
In this paper we prove an Erd\H{o}s-Ko-Rado-type theorem for intersecting sets of permutations. We show that an intersecting set of maximal size in the projective general linear group PGL(3,q), in its natural action on the points of the…
We define a triangle design as a partition of the set of lines of a projective space into triangles, where a triangle consists of three pairwise intersecting lines with no common point. A triangle design is balanced if all points are…
We study how to formalize in the Coq proof assistant the smallest projective space PG(3,2). We then describe formally the spreads and packings of PG(3,2), as well as some of their properties. The formalization is rather straightforward,…