Showing 1–16 of 16 results for author: Adriaensen, S

Points below a parabola in affine planes of prime order

Authors: Sam Adriaensen, Zsuzsa Weiner

Abstract: The elements of a finite field of prime order canonically correspond to the integers in an interval. This induces an ordering on the elements of the field. Using this ordering, Kiss and Somlai recently proved interesting properties of the set of points below the diagonal line. In this paper, we investigate the set of points lying below a parabola. We prove that in some sense, this set of points lo… ▽ More The elements of a finite field of prime order canonically correspond to the integers in an interval. This induces an ordering on the elements of the field. Using this ordering, Kiss and Somlai recently proved interesting properties of the set of points below the diagonal line. In this paper, we investigate the set of points lying below a parabola. We prove that in some sense, this set of points looks the same from all but two directions, despite having only one non-trivial automorphism. In addition, we study the sizes of these sets, and their intersection numbers with respect to lines. △ Less

Submitted 2 December, 2024; v1 submitted 28 November, 2024; originally announced November 2024.

Comments: 9 pages

MSC Class: 51E15

Multisets with few special directions and small weight codewords in Desarguesian planes

Authors: Sam Adriaensen, Tamás Szőnyi, Zsuzsa Weiner

Abstract: In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic concerns the linear code generated by the incidence matrix of a projective plane. We show how a multiset determining only $k$ special directions, in a modular s… ▽ More In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic concerns the linear code generated by the incidence matrix of a projective plane. We show how a multiset determining only $k$ special directions, in a modular sense, gives rise to a codeword whose support can be covered by $k$ concurrent lines. The reverse operation of going from a codeword to a multiset of points is trickier, but we describe a possible strategy and show some fruitful applications. Given a multiset of affine points, we use a bound on the degree of its so-called projection function to yield lower bounds on the number of special directions, both in an ordinary and in a modular sense. In the codes related to projective planes of prime order $p$, there exists an odd codeword, whose support is covered by 3 concurrent lines, but which is not a linear combination of these 3 lines. We generalise this codeword to codewords whose support is contained in an arbitrary number of concurrent lines. In case $p$ is large enough, this allows us to extend the classification of codewords from weight at most $4p-22$ to weight at most $5p-36$. △ Less

Submitted 5 December, 2024; v1 submitted 28 November, 2024; originally announced November 2024.

Comments: 25 pages Edit: Minor changes; references and affiliations are corrected/updated

MSC Class: 05B25; 94B05

The minimum weight of the code of intersecting lines in ${\rm PG}(3,q)$

Authors: Sam Adriaensen, Robin Simoens, Leo Storme

Abstract: We characterise the minimum weight codewords of the $p$-ary linear code of intersecting lines in ${\rm PG}(3,q)$, $q=p^h$, $q\geq19$, $p$ prime, $h\geq 1$. If $q$ is even, the minimum weight equals $q^3+q^2+q+1$. If $q$ is odd, the minimum weight equals $q^3+2q^2+q+1$. For $q$ even, we also characterise the codewords of second smallest weight. We characterise the minimum weight codewords of the $p$-ary linear code of intersecting lines in ${\rm PG}(3,q)$, $q=p^h$, $q\geq19$, $p$ prime, $h\geq 1$. If $q$ is even, the minimum weight equals $q^3+q^2+q+1$. If $q$ is odd, the minimum weight equals $q^3+2q^2+q+1$. For $q$ even, we also characterise the codewords of second smallest weight. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 12 pages

MSC Class: 05B25; 51A50; 51E21; 94B05

Association schemes and orthogonality graphs on anisotropic points of polar spaces

Authors: Sam Adriaensen, Maarten De Boeck

Abstract: In this paper, we study association schemes on the anisotropic points of classical polar spaces. Our main result concerns non-degenerate elliptic and hyperbolic quadrics in PG$(n,q)$ with $q$ odd. We define relations on the anisotropic points of such a quadric that depend on the type of line spanned by the points and whether or not they are of the same "quadratic type". This yields an imprimitive… ▽ More In this paper, we study association schemes on the anisotropic points of classical polar spaces. Our main result concerns non-degenerate elliptic and hyperbolic quadrics in PG$(n,q)$ with $q$ odd. We define relations on the anisotropic points of such a quadric that depend on the type of line spanned by the points and whether or not they are of the same "quadratic type". This yields an imprimitive $5$-class association scheme. We calculate the matrices of eigenvalues and dual eigenvalues of this scheme. We also use this result, together with similar results from the literature concerning other classical polar spaces, to exactly calculate the spectrum of orthogonality graphs on the anisotropic points of non-degenerate quadrics in odd characteristic and of non-degenerate Hermitian varieties. As a byproduct, we obtain a $3$-class association scheme on the anisotropic points of non-degenerate Hermitian varieties, where the relation containing two points depends on the type of line spanned by these points, and whether or not they are orthogonal. △ Less

Submitted 26 February, 2024; v1 submitted 7 February, 2024; originally announced February 2024.

Comments: 29 pages. Update: an extra reference was added

Small weight codewords of projective geometric codes II

Authors: Sam Adriaensen, Lins Denaux

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

Submitted 1 September, 2023; originally announced September 2023.

Comments: 22 pages

MSC Class: 05B25; 94B05

On $m$-ovoids of $Q^+(7,q)$ with $q$ odd

Authors: Sam Adriaensen, Jan De Beule, Giovanni Giuseppe Grimaldi, Jonathan Mannaert

Abstract: In this paper, we provide a construction of $(q+1)$-ovoids of the hyperbolic quadric $Q^+(7,q)$, $q$ an odd prime power, by glueing $(q+1)/2$-ovoids of the elliptic quadric $Q^-(5,q)$. This is possible by controlling some intersection properties of (putative) $m$-ovoids of elliptic quadrics. It yields eventually $(q+1)$-ovoids of $Q^+(7,q)$ not coming from a $1$-system. Secondly, we also construct… ▽ More In this paper, we provide a construction of $(q+1)$-ovoids of the hyperbolic quadric $Q^+(7,q)$, $q$ an odd prime power, by glueing $(q+1)/2$-ovoids of the elliptic quadric $Q^-(5,q)$. This is possible by controlling some intersection properties of (putative) $m$-ovoids of elliptic quadrics. It yields eventually $(q+1)$-ovoids of $Q^+(7,q)$ not coming from a $1$-system. Secondly, we also construct $m$-ovoids for $m \in \{ 2,4,6,8,10\}$ in $Q^+(7,3)$. Therefore we first investigate how to construct spreads of $\pg(3,q)$ that have as many secants to an elliptic quadric as possible. △ Less

Submitted 12 February, 2024; v1 submitted 7 July, 2023; originally announced July 2023.

Journal ref: Finite Fields and Their Applications Volume 95, 102387 (2024)

A note on small weight codewords of projective geometric codes and on the smallest sets of even type

Authors: Sam Adriaensen

Abstract: In this paper, we study the codes $\mathcal C_k(n,q)$ arising from the incidence of points and $k$-spaces in $\text{PG}(n,q)$ over the field $\mathbb F_p$, with $q = p^h$, $p$ prime. We classify all codewords of minimum weight of the dual code $\mathcal C_k(n,q)^\perp$ in case $q \in \{4,8\}$. This is equivalent to classifying the smallest sets of even type in $\text{PG}(n,q)$ for $q \in \{4,8\}$.… ▽ More In this paper, we study the codes $\mathcal C_k(n,q)$ arising from the incidence of points and $k$-spaces in $\text{PG}(n,q)$ over the field $\mathbb F_p$, with $q = p^h$, $p$ prime. We classify all codewords of minimum weight of the dual code $\mathcal C_k(n,q)^\perp$ in case $q \in \{4,8\}$. This is equivalent to classifying the smallest sets of even type in $\text{PG}(n,q)$ for $q \in \{4,8\}$. We also provide shorter proofs for some already known results, namely of the best known lower bound on the minimum weight of $\mathcal C_k(n,q)^\perp$ for general values of $q$, and of the classification of all codewords of $\mathcal C_{n-1}(n,q)$ of weight up to $2q^{n-1}$. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Comments: 14 pages

MSC Class: 51E20; 05B25; 94B05

On the minimum size of linear sets

Authors: Sam Adriaensen, Paolo Santonastaso

Abstract: Recently, a lower bound was established on the size of linear sets in projective spaces, that intersect a hyperplane in a canonical subgeometry. There are several constructions showing that this bound is tight. In this paper, we generalize this bound to linear sets meeting some subspace $π$ in a canonical subgeometry. We obtain a tight lower bound on the size of any $\mathbb F_q$-linear set spanni… ▽ More Recently, a lower bound was established on the size of linear sets in projective spaces, that intersect a hyperplane in a canonical subgeometry. There are several constructions showing that this bound is tight. In this paper, we generalize this bound to linear sets meeting some subspace $π$ in a canonical subgeometry. We obtain a tight lower bound on the size of any $\mathbb F_q$-linear set spanning $\text{PG}(d,q^n)$ in case that $n \leq q$ and $n$ is prime. We also give constructions of linear sets attaining equality in the former bound, both in the case that $π$ is a hyperplane, and in the case that $π$ is a lower dimensional subspace. △ Less

Submitted 29 September, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 24 pages; the updated version contains a consequences of the recent paper by Csajbók, Marino and Pepe (arXiv:2306.07488), providing a tight lower bound in some cases

MSC Class: 51E20; 05B25

Incidence-free sets and edge domination in incidence graphs

Authors: Sam Spiro, Sam Adriaensen, Sam Mattheus

Abstract: A set of edges $Γ$ of a graph $G$ is an edge dominating set if every edge of $G$ intersects at least one edge of $Γ$, and the edge domination number $γ_e(G)$ is the smallest size of an edge dominating set. Expanding on work of Laskar and Wallis, we study $γ_e(G)$ for graphs $G$ which are the incidence graph of some incidence structure $D$, with an emphasis on the case when $D$ is a symmetric desig… ▽ More A set of edges $Γ$ of a graph $G$ is an edge dominating set if every edge of $G$ intersects at least one edge of $Γ$, and the edge domination number $γ_e(G)$ is the smallest size of an edge dominating set. Expanding on work of Laskar and Wallis, we study $γ_e(G)$ for graphs $G$ which are the incidence graph of some incidence structure $D$, with an emphasis on the case when $D$ is a symmetric design. In particular, we show in this latter case that determining $γ_e(G)$ is equivalent to determining the largest size of certain incidence-free sets of $D$. Throughout, we employ a variety of combinatorial, probabilistic and geometric techniques, supplemented with tools from spectral graph theory. △ Less

Submitted 25 November, 2022; originally announced November 2022.

Comments: The ordering of the authors is done for purely aesthetic reasons and is independent of the significance of each of their contributions to this paper

MSC Class: 05B05; 05C70

Cones from maximum $h$-scattered linear sets and a stability result

Authors: Sam Adriaensen, Jonathan Mannaert, Paolo Santonastaso, Ferdinando Zullo

Abstract: This paper mainly focuses on cones whose basis is a maximum $h$-scattered linear set. We start by investigating the intersection sizes of such cones with the hyperplanes. Then we analyze two constructions of point sets with few intersection sizes with the hyperplanes. In particular, the second one extends the construction of translation KM-arcs in projective spaces, having as part at infinity a co… ▽ More This paper mainly focuses on cones whose basis is a maximum $h$-scattered linear set. We start by investigating the intersection sizes of such cones with the hyperplanes. Then we analyze two constructions of point sets with few intersection sizes with the hyperplanes. In particular, the second one extends the construction of translation KM-arcs in projective spaces, having as part at infinity a cone with basis a maximum $h$-scattered linear set. As an instance of the second construction we obtain cylinders with a hyperoval as basis, which we call hypercylinders, for which we are able to provide a stability result. The main motivation for these problems is related to the connections with both Hamming and rank distance codes. Indeed, we are able to construct codes with few weights and to provide a stability result for the codes associated with hypercylinders. △ Less

Submitted 18 October, 2022; originally announced October 2022.

Comments: 25 pages, 2 figures

MSC Class: 51E20; 51E21; 94B05

On additive MDS codes with linear projections

Authors: Sam Adriaensen, Simeon Ball

Abstract: We support some evidence that a long additive MDS code over a finite field must be equivalent to a linear code. More precisely, let $C$ be an $\mathbb F_q$-linear $(n,q^{hk},n-k+1)_{q^h}$ MDS code over $\mathbb F_{q^h}$. If $k=3$, $h \in \{2,3\}$, $n > \max \{q^{h-1},h q -1\} + 3$, and $C$ has three coordinates from which its projections are equivalent to linear codes, we prove that $C$ itself is… ▽ More We support some evidence that a long additive MDS code over a finite field must be equivalent to a linear code. More precisely, let $C$ be an $\mathbb F_q$-linear $(n,q^{hk},n-k+1)_{q^h}$ MDS code over $\mathbb F_{q^h}$. If $k=3$, $h \in \{2,3\}$, $n > \max \{q^{h-1},h q -1\} + 3$, and $C$ has three coordinates from which its projections are equivalent to linear codes, we prove that $C$ itself is equivalent to a linear code. If $k>3$, $n > q+k$, and there are two disjoint subsets of coordinates whose combined size is at most $k-2$ from which the projections of $C$ are equivalent to linear codes, we prove that $C$ is equivalent to a code which is linear over a larger field than $\mathbb F_q$. △ Less

Submitted 20 September, 2022; originally announced September 2022.

Comments: 15 pages

MSC Class: 94B05; 51E22

Blocking subspaces with points and hyperplanes

Authors: Sam Adriaensen, Maarten De Boeck, Lins Denaux

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

Submitted 4 December, 2023; v1 submitted 31 August, 2022; originally announced August 2022.

Comments: 7 pages. UPDATE: After publication of this paper, we found out that in case $k = \frac{n-1}2$, the correct lower bound and a classification of the smallest examples was already established by Blokhuis, Brouwer, and Szőnyi [A. Blokhuis, A. E. Brouwer, T. Szőnyi. On the chromatic number of $q$-Kneser graphs. Des. Codes Crytpogr. 65:187-197, 2012]

Report number: LU-01H0QD29EQE0R392H56MYM7YH5 MSC Class: 05B25; 51E21

Journal ref: Australas. J. Combin. 85 (3), 340-349 (2023)

Stability of Erdős-Ko-Rado Theorems in Circle Geometries

Authors: Sam Adriaensen

Abstract: Circle geometries are incidence structures that capture the geometry of circles on spheres, cones and hyperboloids in 3-dimensional space. In a previous paper, the author characterised the largest intersecting families in finite ovoidal circle geometries, except for Möbius planes of odd order. In this paper we show that also in these Möbius planes, if the order is greater than 3, the largest inter… ▽ More Circle geometries are incidence structures that capture the geometry of circles on spheres, cones and hyperboloids in 3-dimensional space. In a previous paper, the author characterised the largest intersecting families in finite ovoidal circle geometries, except for Möbius planes of odd order. In this paper we show that also in these Möbius planes, if the order is greater than 3, the largest intersecting families are the sets of circles through a fixed point. We show the same result in the only known family of finite non-ovoidal circle geometries. Using the same techniques, we show a stability result on large intersecting families in all ovoidal circle geometries. More specifically, we prove that an intersecting family $\mathcal F$ in one of the known finite circle geometries of order $q$, with $|\mathcal F| \geq \frac 1 {\sqrt2} q^2 + 2 \sqrt 2 q + 8$, must consist of circles through a common point, or through a common nucleus in case of a Laguerre plane of even order. △ Less

Submitted 16 January, 2022; originally announced January 2022.

Comments: 18 pages

MSC Class: 05B25; 05C50; 05E30; 51E20

Erdős-Ko-Rado theorems for ovoidal circle geometries and polynomials over finite fields

Authors: Sam Adriaensen

Abstract: In this paper we investigate Erdős-Ko-Rado theorems in ovoidal circle geometries. We prove that in Möbius planes of even order greater than 2, and ovoidal Laguerre planes of odd order, the largest families of circles which pairwise intersect in at least one point, consist of all circles through a fixed point. In ovoidal Laguerre planes of even order, a similar result holds, but there is one other… ▽ More In this paper we investigate Erdős-Ko-Rado theorems in ovoidal circle geometries. We prove that in Möbius planes of even order greater than 2, and ovoidal Laguerre planes of odd order, the largest families of circles which pairwise intersect in at least one point, consist of all circles through a fixed point. In ovoidal Laguerre planes of even order, a similar result holds, but there is one other type of largest family of pairwise intersecting circles. As a corollary, we prove that the largest families of polynomials over $\mathbb F_q$ of degree at most $k$, with $2 \leq k < q$, which pairwise take the same value on at least one point, consist of all polynomials $f$ of degree at most $k$ such that $f(x) = y$ for some fixed $x$ and $y$ in $\mathbb F_q$. We also discuss this problem for ovoidal Minkowski planes, and we investigate the largest families of circles pairwise intersecting in two points in circle geometries. △ Less

Submitted 12 May, 2021; originally announced May 2021.

Comments: 25 pages

Journal ref: Linear Algebra and its Applications, 643:1-38, 2022

Small Weight Code Words of Projective Geometric Codes

Authors: Sam Adriaensen, Lins Denaux

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

Submitted 23 March, 2020; originally announced March 2020.

Comments: 26 pages, 1 figure

Report number: LU-8686570 MSC Class: 05B25; 94B05

Journal ref: J. Comb. Theory Ser. A. 180 (4), (2021)

Small weight code words arising from the incidence of points and hyperplanes in PG($\boldsymbol{n,q}$)

Authors: Sam Adriaensen, Lins Denaux, Leo Storme, Zsuzsa Weiner

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

Submitted 16 September, 2019; v1 submitted 13 May, 2019; originally announced May 2019.

Report number: LU-8641545 MSC Class: 05B25; 94B05

Journal ref: Des. Codes Cryptogr. 88 (4), 771-788 (2020)