Showing 1–20 of 20 results for author: De Beule, J

On two non-existence results for Cameron-Liebler $k$-sets in $\mathrm{PG}(n,q)$

Authors: Jan De Beule, Jonathan Mannaert, Leo Storme

Abstract: This paper focuses on non-existence results for Cameron-Liebler $k$-sets. A Cameron-Liebler $k$-set is a collection of $k$-spaces in $\mathrm{PG}(n,q)$ or $\mathrm{AG}(n,q)$ admitting a certain parameter $x$, which is dependent on the size of this collection. One of the main research questions remains the (non-)existence of Cameron-Liebler $k$-sets with parameter $x$. This paper improves two non-e… ▽ More This paper focuses on non-existence results for Cameron-Liebler $k$-sets. A Cameron-Liebler $k$-set is a collection of $k$-spaces in $\mathrm{PG}(n,q)$ or $\mathrm{AG}(n,q)$ admitting a certain parameter $x$, which is dependent on the size of this collection. One of the main research questions remains the (non-)existence of Cameron-Liebler $k$-sets with parameter $x$. This paper improves two non-existence results. First we show that the parameter of a non-trivial Cameron-Liebler $k$-set in $\mathrm{PG}(n,q)$ should be larger than $q^{n-\frac{5k}{2}-1}$, which is an improvement of an earlier known lower bound. Secondly, we prove a modular equality on the parameter $x$ of Cameron-Liebler $k$-sets in $\mathrm{PG}(n,q)$ with $x<\frac{q^{n-k}-1}{q^{k+1}-1}$, $n\geq 2k+1$, $n-k+1\geq 7$ and $n-k$ even. In the affine case we show a similar result for $n-k+1\geq 3$ and $n-k$ even. This is a generalization of earlier known modular equalities in the projective and affine case. △ Less

Submitted 1 March, 2024; originally announced March 2024.

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)

Some non-existence results on $m$-ovoids in classical polar spaces

Authors: Jan De Beule, Jonathan Mannaert, Valentino Smaldore

Abstract: In this paper we develop non-existence results for $m$-ovoids in the classical polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$ for $r>2$. In [4] a lower bound on $m$ for the existence of $m$-ovoids of $H(4,q^2)$ is found by using the connection between $m$-ovoids, two-character sets, and strongly regular graphs. This approach is generalized in [3] for the polar spaces… ▽ More In this paper we develop non-existence results for $m$-ovoids in the classical polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$ for $r>2$. In [4] a lower bound on $m$ for the existence of $m$-ovoids of $H(4,q^2)$ is found by using the connection between $m$-ovoids, two-character sets, and strongly regular graphs. This approach is generalized in [3] for the polar spaces $Q^-(2r+1,q), W(2r-1,q)$ and $H(2r,q^2)$, $r>2$. In [1] an improvement for the particular case $H(4,q^2)$ is obtained by exploiting the algebraic structure of the collinearity graph, and using the characterization of an $m$-ovoid as an intruiging set. In this paper, we use an approach based on geometrical and combinatorial arguments, inspired by the results from [10], to improve the bounds from [3]. △ Less

Submitted 20 February, 2024; v1 submitted 10 May, 2023; originally announced May 2023.

Journal ref: European Journal of Combinatorics (2024)

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.

Degree 2 Boolean Functions on Grassmann Graphs

Authors: Jan De Beule, Jozefien D'haeseleer, Ferdinand Ihringer, Jonathan Mannaert

Abstract: We investigate the existence of Boolean degree $d$ functions on the Grassmann graph of $k$-spaces in the vector space $\mathbb{F}_q^n$. For $d=1$ several non-existence and classification results are known, and no non-trivial examples are known for $n \geq 5$. This paper focusses on providing a list of examples on the case $d=2$ in general dimension and in particular for $(n, k)=(6,3)$ and… ▽ More We investigate the existence of Boolean degree $d$ functions on the Grassmann graph of $k$-spaces in the vector space $\mathbb{F}_q^n$. For $d=1$ several non-existence and classification results are known, and no non-trivial examples are known for $n \geq 5$. This paper focusses on providing a list of examples on the case $d=2$ in general dimension and in particular for $(n, k)=(6,3)$ and $(n,k) = (8, 4)$. We also discuss connections to the analysis of Boolean functions, regular sets/equitable bipartitions/perfect 2-colorings in graphs, $q$-analogs of designs, and permutation groups. In particular, this represents a natural generalization of Cameron-Liebler line classes. △ Less

Submitted 11 November, 2022; v1 submitted 8 February, 2022; originally announced February 2022.

Comments: 21 pages; 1 figure; accepted in the Electronic Journal of Combinatorics

A modular equality for Cameron-Liebler line classes in projective and affine spaces of odd dimension

Authors: Jan De Beule, Jonathan Mannaert

Abstract: In this article we study Cameron-Liebler line classes in PG$(n,q)$ and AG$(n,q)$, objects also known as boolean degree one functions. A Cameron-Liebler line class $\mathcal{L}$ is known to have a parameter $x$ that depends on the size of $\mathcal{L}$. One of the main questions on Cameron-Liebler line classes is the (non)-existence of these sets for certain parameters $x$. In particularly it is pr… ▽ More In this article we study Cameron-Liebler line classes in PG$(n,q)$ and AG$(n,q)$, objects also known as boolean degree one functions. A Cameron-Liebler line class $\mathcal{L}$ is known to have a parameter $x$ that depends on the size of $\mathcal{L}$. One of the main questions on Cameron-Liebler line classes is the (non)-existence of these sets for certain parameters $x$. In particularly it is proven in [12] for $n=3$, that the parameter $x$ should satisfy a modular equality. This equality excludes about half of the possible parameters. We generalize this result to a modular equality for Cameron-Liebler line classes in PG$(n,q)$, and AG$(n,q)$ respectively. Since it is known that a Cameron-Liebler line class in AG$(n,q)$ is also a Cameron-Liebler line class in its projective closure, we end this paper with proving that the modular equality in AG$(n,q)$ is a stronger condition than the condition for the projective case. △ Less

Submitted 18 October, 2021; originally announced October 2021.

Journal ref: Finite Fields and Their Applications, Volume 82, 102047 (2022)

Cameron-Liebler k-sets in subspaces and non-existence conditions

Authors: Jan De Beule, Jonathan Mannaert, Leo Storme

Abstract: In this article we generalize the concepts that were used in the PhD thesis of Drudge to classify Cameron-Liebler line classes in PG$(n,q), n\geq 3$, to Cameron-Liebler sets of $k$-spaces in PG$(n,q)$ and AG$(n,q)$. In his PhD thesis, Drudge proved that every Cameron-Liebler line class in PG$(n,q)$ intersects every $3$-dimensional subspace in a Cameron-Liebler line class in that subspace. We are u… ▽ More In this article we generalize the concepts that were used in the PhD thesis of Drudge to classify Cameron-Liebler line classes in PG$(n,q), n\geq 3$, to Cameron-Liebler sets of $k$-spaces in PG$(n,q)$ and AG$(n,q)$. In his PhD thesis, Drudge proved that every Cameron-Liebler line class in PG$(n,q)$ intersects every $3$-dimensional subspace in a Cameron-Liebler line class in that subspace. We are using the generalization of this result for sets of $k$-spaces in PG$(n,q)$ and AG$(n,q)$. Together with a basic counting argument this gives a very strong non-existence condition, $n\geq 3k+3$. This condition can also be improved for $k$-sets in AG$(n,q)$, with $n\geq 2k+2$. △ Less

Submitted 28 July, 2021; v1 submitted 10 June, 2021; originally announced June 2021.

Journal ref: Designs, Codes and Cryptography, 2022

An algebraic approach to Erdős-Ko-Rado sets of flags in spherical buildings

Authors: Jan De Beule, Klaus Metsch, Sam Mattheus

Abstract: In this paper, oppositeness in spherical buildings is used to define an EKR-problem for flags in projective and polar spaces. A novel application of the theory of buildings and Iwahori-Hecke algebras is developed to prove sharp upper bounds for EKR-sets of flags. In this framework, we can reprove and generalize previous upper bounds for EKR-problems in projective and polar spaces. The bounds are o… ▽ More In this paper, oppositeness in spherical buildings is used to define an EKR-problem for flags in projective and polar spaces. A novel application of the theory of buildings and Iwahori-Hecke algebras is developed to prove sharp upper bounds for EKR-sets of flags. In this framework, we can reprove and generalize previous upper bounds for EKR-problems in projective and polar spaces. The bounds are obtained by the application of the Delsarte-Hoffman coclique bound to the opposition graph. The computation of its eigenvalues is due to earlier work by Andries Brouwer and an explicit algorithm is worked out. For the classical geometries, the execution of this algorithm boils down to elementary combinatorics. Connections to building theory, Iwahori-Hecke algebras, classical groups and diagram geometries are briefly discussed. Several open problems are posed throughout and at the end. △ Less

Submitted 2 July, 2020; originally announced July 2020.

Comments: 24 pages

MSC Class: 05E18; 05E30

The minimum size of a linear set

Authors: Jan De Beule, Geertrui Van de Voorde

Abstract: In this paper, we first determine the minimum possible size of an Fq-linear set of rank k in PG(1, q^n). We obtain this result by relating it to the number of directions determined by a linearized polynomial whose domain is restricted to a subspace. We then use this result to find a lower bound on the number of points in an Fq- linear set of rank k in PG(2, q^n). In the case k = n, this confirms a… ▽ More In this paper, we first determine the minimum possible size of an Fq-linear set of rank k in PG(1, q^n). We obtain this result by relating it to the number of directions determined by a linearized polynomial whose domain is restricted to a subspace. We then use this result to find a lower bound on the number of points in an Fq- linear set of rank k in PG(2, q^n). In the case k = n, this confirms a conjecture by Sziklai in [9]. △ Less

Submitted 19 April, 2018; originally announced April 2018.

A combinatorial characterisation of embedded polar spaces

Authors: Jan De Beule, Maarten De Boeck

Abstract: Some classical polar spaces admit polar spaces of the same rank as embedded polar spaces (often arisen as the intersection of the polar space with a non-tangent hyperplane). In this article we look at sets of generators that behave combinatorially as the set of generators of such an embedded polar space, and we prove that they are the set of generators of an embedded polar space. Some classical polar spaces admit polar spaces of the same rank as embedded polar spaces (often arisen as the intersection of the polar space with a non-tangent hyperplane). In this article we look at sets of generators that behave combinatorially as the set of generators of such an embedded polar space, and we prove that they are the set of generators of an embedded polar space. △ Less

Submitted 20 April, 2018; v1 submitted 18 September, 2017; originally announced September 2017.

MSC Class: 51A50; 05B25

FinInG: a package for Finite Incidence Geometry

Authors: John Bamberg, Anton Betten, Philippe Cara, Jan De Beule, Max Neunhöffer, Michel Lavrauw

Abstract: FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups. FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups. △ Less

Submitted 16 June, 2016; originally announced June 2016.

On subsets of the normal rational curve

Authors: Simeon Ball, Jan De Beule

Abstract: A normal rational curve of the $(k-1)$-dimensional projective space over ${\mathbb F}_q$ is an arc of size $q+1$, since any $k$ points of the curve span the whole space. In this article we will prove that if $q$ is odd then a subset of size $3k-6$ of a normal rational curve cannot be extended to an arc of size $q+2$. In fact, we prove something slightly stronger. Suppose that $q$ is odd and $E$ is… ▽ More A normal rational curve of the $(k-1)$-dimensional projective space over ${\mathbb F}_q$ is an arc of size $q+1$, since any $k$ points of the curve span the whole space. In this article we will prove that if $q$ is odd then a subset of size $3k-6$ of a normal rational curve cannot be extended to an arc of size $q+2$. In fact, we prove something slightly stronger. Suppose that $q$ is odd and $E$ is a $(2k-3)$-subset of an arc $G$ of size $3k-6$. If $G$ projects to a subset of a conic from every $(k-3)$-subset of $E$ then $G$ cannot be extended to an arc of size $q+2$. Stated in terms of error-correcting codes we prove that a $k$-dimensional linear maximum distance separable code of length $3k-6$ over a field ${\mathbb F}_q$ of odd characteristic, which can be extended to a Reed-Solomon code of length $q+1$, cannot be extended to a linear maximum distance separable code of length $q+2$. △ Less

Submitted 22 March, 2016; originally announced March 2016.

Weighted Intriguing Sets in Finite Polar Spaces

Authors: John Bamberg, Jan De Beule, Ferdinand Ihringer

Abstract: We provide new proofs for the non-existence of ovoids in hyperbolic spaces of rank at least four in even characteristic, and for the Hermitian polar space $\mathsf{H}(5, 4)$. We also improve the results of A. Klein on the non-existence of ovoids of Hermitian spaces and hyperbolic quadrics. We provide new proofs for the non-existence of ovoids in hyperbolic spaces of rank at least four in even characteristic, and for the Hermitian polar space $\mathsf{H}(5, 4)$. We also improve the results of A. Klein on the non-existence of ovoids of Hermitian spaces and hyperbolic quadrics. △ Less

Submitted 16 September, 2015; v1 submitted 6 February, 2015; originally announced February 2015.

Comments: 12 pages

MSC Class: 05B25; 51E20; 51A50

Direction problems in affine spaces

Authors: Jan De Beule

Abstract: This paper is a survey paper on old and recent results on direction problems in finite dimensional affine spaces over a finite field. This paper is a survey paper on old and recent results on direction problems in finite dimensional affine spaces over a finite field. △ Less

Submitted 24 September, 2014; originally announced September 2014.

Comments: Academy Contact Forum "Galois geometries and applications", October 5, 2012, Brussels, Belgium

A new family of tight sets in $\mathcal{Q}^{+}(5,q)$

Authors: Jan De Beule, Jeroen Demeyer, Klaus Metsch, Morgan Rodgers

Abstract: In this paper, we describe a new infinite family of $\frac{q^{2}-1}{2}$-tight sets in the hyperbolic quadrics $\mathcal{Q}^{+}(5,q)$, for $q \equiv 5 \mbox{ or } 9 \bmod{12}$. Under the Klein correspondence, these correspond to Cameron--Liebler line classes of ${\rm PG}(3,q)$ having parameter $\frac{q^{2}-1}{2}$. This is the second known infinite family of nontrivial Cameron--Liebler line classes,… ▽ More In this paper, we describe a new infinite family of $\frac{q^{2}-1}{2}$-tight sets in the hyperbolic quadrics $\mathcal{Q}^{+}(5,q)$, for $q \equiv 5 \mbox{ or } 9 \bmod{12}$. Under the Klein correspondence, these correspond to Cameron--Liebler line classes of ${\rm PG}(3,q)$ having parameter $\frac{q^{2}-1}{2}$. This is the second known infinite family of nontrivial Cameron--Liebler line classes, the first family having been described by Bruen and Drudge with parameter $\frac{q^{2}+1}{2}$ in ${\rm PG}(3,q)$ for all odd $q$. The study of Cameron--Liebler line classes is closely related to the study of symmetric tactical decompositions of ${\rm PG}(3,q)$ (those having the same number of point classes as line classes). We show that our new examples occur as line classes in such a tactical decomposition when $q \equiv 9 \bmod 12$ (so $q = 3^{2e}$ for some positive integer $e$), providing an infinite family of counterexamples to a conjecture made by Cameron and Liebler in 1982; the nature of these decompositions allows us to also prove the existence of a set of type $\left(\frac{1}{2}(3^{2e}-3^{e}), \frac{1}{2}(3^{2e}+3^{e}) \right)$ in the affine plane ${\rm AG}(2,3^{2e})$ for all positive integers $e$. This proves a conjecture made by Rodgers in his PhD thesis. △ Less

Submitted 19 September, 2014; originally announced September 2014.

Comments: 27 pages

MSC Class: 51A50; 51E20

Journal ref: Des. Codes Cryptogr. 78, 655-678 (2016)

On the structure of the directions not determined by a large affine point set

Authors: Jan De Beule, Péter Sziklai, Marcella Takáts

Abstract: Given a point set $U$ in an $n$-dimensional affine space of size $q^{n-1}-\varepsilon$, we obtain information on the structure of the set of directions that are not determined by $U$, and we describe an application in the theory of partial ovoids of certain partial geometries. Given a point set $U$ in an $n$-dimensional affine space of size $q^{n-1}-\varepsilon$, we obtain information on the structure of the set of directions that are not determined by $U$, and we describe an application in the theory of partial ovoids of certain partial geometries. △ Less

Submitted 11 February, 2013; originally announced February 2013.

MSC Class: 05B25; 51D20; 51E14; 51E20; 51E21

Sets of generators blocking all generators in finite classical polar spaces

Authors: Jan De Beule, Anja Hallez, Klaus Metsch, Leo Storme

Abstract: We introduce generator blocking sets of finite classical polar spaces. These sets are a generalisation of maximal partial spreads. We prove a characterization of these minimal sets of the polar spaces Q(2n,q), Q-(2n+1,q) and H(2n,q^2), in terms of cones with vertex a subspace contained in the polar space and with base a generator blocking set in a polar space of rank 2. We introduce generator blocking sets of finite classical polar spaces. These sets are a generalisation of maximal partial spreads. We prove a characterization of these minimal sets of the polar spaces Q(2n,q), Q-(2n+1,q) and H(2n,q^2), in terms of cones with vertex a subspace contained in the polar space and with base a generator blocking set in a polar space of rank 2. △ Less

Submitted 19 February, 2012; originally announced February 2012.

Comments: accepted for J. Comb. Theory A

On sets of vectors of a finite vector space in which every subset of basis size is a basis II

Authors: Simeon Ball, Jan De Beule

Abstract: This article contains a proof of the MDS conjecture for $k \leq 2p-2$. That is, that if $S$ is a set of vectors of ${\mathbb F}_q^k$ in which every subset of $S$ of size $k$ is a basis, where $q=p^h$, $p$ is prime and $q$ is not and $k \leq 2p-2$, then $|S| \leq q+1$. It also contains a short proof of the same fact for $k\leq p$, for all $q$. This article contains a proof of the MDS conjecture for $k \leq 2p-2$. That is, that if $S$ is a set of vectors of ${\mathbb F}_q^k$ in which every subset of $S$ of size $k$ is a basis, where $q=p^h$, $p$ is prime and $q$ is not and $k \leq 2p-2$, then $|S| \leq q+1$. It also contains a short proof of the same fact for $k\leq p$, for all $q$. △ Less

Submitted 28 January, 2012; originally announced January 2012.

Comments: 13 pp

On large maximal partial ovoids of the parabolic quadric $\q(4,q)$

Authors: Jan De Beule

Abstract: We use the representation $T_2(O)$ for $\q(4,q)$ to show that maximal partial ovoids of $\q(4,q)$ of size $q^2-1$, $q=p^h$, $p$ odd prime, $h > 1$, do not exist. Although this was known before, we give a slightly alternative proof, also resulting in more combinatorial information of the known examples for $q$ prime. We use the representation $T_2(O)$ for $\q(4,q)$ to show that maximal partial ovoids of $\q(4,q)$ of size $q^2-1$, $q=p^h$, $p$ odd prime, $h > 1$, do not exist. Although this was known before, we give a slightly alternative proof, also resulting in more combinatorial information of the known examples for $q$ prime. △ Less

Submitted 8 March, 2012; v1 submitted 28 January, 2012; originally announced January 2012.

Comments: 11 pp

MSC Class: 05B25; 51D20; 51E12; 51E20; 51E21

The known maximal partial ovoids of size $q^2-1$ of Q(4,q)

Authors: Kris Coolsaet, Jan De Beule, Alessandro Siciliano

Abstract: We present a description of maximal partial ovoids of size $q^2-1$ of the parabolic quadric $\q(4,q)$ as sharply transitive subsets of $\SL(2,q)$ and show their connection with spread sets. This representation leads to an elegant explicit description of all known examples. We also give an alternative representation of these examples which is related to root systems. We present a description of maximal partial ovoids of size $q^2-1$ of the parabolic quadric $\q(4,q)$ as sharply transitive subsets of $\SL(2,q)$ and show their connection with spread sets. This representation leads to an elegant explicit description of all known examples. We also give an alternative representation of these examples which is related to root systems. △ Less

Submitted 1 February, 2012; v1 submitted 28 January, 2012; originally announced January 2012.

Comments: 15 pages, revised version (v2 on arxiv is just a update of another paper, applied on this paper, clearly a mistake...)

MSC Class: 05B25; 51D20; 51E12; 51E20; 51E21