-
A common generalization of hypercube partitions and ovoids in polar spaces
Authors:
Jozefien D'haeseleer,
Ferdinand Ihringer,
Kai-Uwe Schmidt
Abstract:
We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). O…
▽ More
We investigate what we call generalized ovoids, that is families of totally isotropic subspaces of finite classical polar spaces such that each maximal totally isotropic subspace contains precisely one member of that family. This is a generalization of ovoids in polar spaces as well as the natural $q$-analog of a subcube partition of the hypercube (which can be seen as a polar space with $q=1$). Our main result proves that a generalized ovoid of $k$-spaces in polar spaces of large rank does not exist. More precisely, for $q=p^h$, $p$ prime, and some positive integer $k$, a generalized ovoid of $k$-spaces in a polar space $\mathcal{P}$ with rank $r \geq r_0(k, p)$ in a vector space $V(n,q)$ does not exist.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
Regular ovoids and Cameron-Liebler sets of generators in polar spaces
Authors:
Maarten De Boeck,
Jozefien D'haeseleer,
Morgan Rodgers
Abstract:
Cameron-Liebler sets of generators in polar spaces were introduced a few years ago as natural generalisations of the Cameron-Liebler sets of subspaces in projective spaces. In this article we present the first two constructions of non-trivial Cameron-Liebler sets of generators in polar spaces. Also regular m-ovoids of k-spaces are introduced as a generalization of m-ovoids of polar spaces. They ar…
▽ More
Cameron-Liebler sets of generators in polar spaces were introduced a few years ago as natural generalisations of the Cameron-Liebler sets of subspaces in projective spaces. In this article we present the first two constructions of non-trivial Cameron-Liebler sets of generators in polar spaces. Also regular m-ovoids of k-spaces are introduced as a generalization of m-ovoids of polar spaces. They are used in one of the aforementioned constructions of Cameron-Liebler sets.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Cameron-Liebler sets in permutation groups
Authors:
Jozefien D'haeseleer,
Karen Meagher,
Venkata Raghu Tej Pantangi
Abstract:
Consider a group $G$ acting on a set $Ω$, the vector $v_{a,b}$ is a vector with the entries indexed by the elements of $G$, and the $g$-entry is 1 if $g$ maps $a$ to $b$, and zero otherwise. A $(G,Ω)$-Cameron-Liebler set is a subset of $G$, whose indicator function is a linear combination of elements in $\{v_{a, b}\ :\ a, b \in Ω\}$. We investigate Cameron-Liebler sets in permutation groups, with…
▽ More
Consider a group $G$ acting on a set $Ω$, the vector $v_{a,b}$ is a vector with the entries indexed by the elements of $G$, and the $g$-entry is 1 if $g$ maps $a$ to $b$, and zero otherwise. A $(G,Ω)$-Cameron-Liebler set is a subset of $G$, whose indicator function is a linear combination of elements in $\{v_{a, b}\ :\ a, b \in Ω\}$. We investigate Cameron-Liebler sets in permutation groups, with a focus on constructions of Cameron-Liebler sets for 2-transitive groups.
△ Less
Submitted 16 August, 2023;
originally announced August 2023.
-
Cospectral mates for generalized Johnson and Grassmann graphs
Authors:
Aida Abiad,
Jozefien D'haeseleer,
Willem H. Haemers,
Robin Simoens
Abstract:
We provide three infinite families of graphs in the Johnson and Grassmann schemes that are not uniquely determined by their spectrum. We do so by constructing graphs that are cospectral but non-isomorphic to these graphs.
We provide three infinite families of graphs in the Johnson and Grassmann schemes that are not uniquely determined by their spectrum. We do so by constructing graphs that are cospectral but non-isomorphic to these graphs.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Blocking sets, minimal codes and trifferent codes
Authors:
Anurag Bishnoi,
Jozefien D'haeseleer,
Dion Gijswijt,
Aditya Potukuchi
Abstract:
We prove new upper bounds on the smallest size of affine blocking sets, that is, sets of points in a finite affine space that intersect every affine subspace of a fixed codimension. We show an equivalence between affine blocking sets with respect to codimension-$2$ subspaces that are generated by taking a union of lines through the origin, and strong blocking sets in the corresponding projective s…
▽ More
We prove new upper bounds on the smallest size of affine blocking sets, that is, sets of points in a finite affine space that intersect every affine subspace of a fixed codimension. We show an equivalence between affine blocking sets with respect to codimension-$2$ subspaces that are generated by taking a union of lines through the origin, and strong blocking sets in the corresponding projective space, which in turn are equivalent to minimal codes. Using this equivalence, we improve the current best upper bounds on the smallest size of a strong blocking set in finite projective spaces over fields of size at least $3$. Furthermore, using coding theoretic techniques, we improve the current best lower bounds on strong blocking set.
Our main motivation for these new bounds is their application to trifferent codes, which are sets of ternary codes of length $n$ with the property that for any three distinct codewords there is a coordinate where they all have distinct values. Over the finite field $\mathbb{F}_3$, we prove that minimal codes are equivalent to linear trifferent codes. Using this equivalence, we show that any linear trifferent code of length $n$ has size at most $3^{n/4.55}$, improving the recent upper bound of Pohoata and Zakharov. Moreover, we show the existence of linear trifferent codes of length $n$ and size at least $\frac{1}{3}\left( 9/5 \right)^{n/4}$, thus (asymptotically) matching the best lower bound on trifferent codes.
We also give explicit constructions of affine blocking sets with respect to codimension-$2$ subspaces that are a constant factor bigger than the best known lower bound. By restricting to~$\mathbb{F}_3$, we obtain linear trifferent codes of size at least $3^{23n/312}$, improving the current best explicit construction that has size $3^{n/112}$.
△ Less
Submitted 9 May, 2024; v1 submitted 23 January, 2023;
originally announced January 2023.
-
A higgledy-piggledy set of planes based on the ABB-representation of linear sets
Authors:
Lins Denaux,
Jozefien D'haeseleer,
Geertrui Van de Voorde
Abstract:
In this paper, we investigate the André/Bruck-Bose representation of certain $\mathbb{F}_q$-linear sets contained in a line of $\text{PG}(2,q^t)$. We show that scattered $\mathbb{F}_q$-linear sets of rank $3$ in $\text{PG}(1,q^3)$ correspond to particular hyperbolic quadrics and that $\mathbb{F}_q$-linear clubs in $\text{PG}(1,q^t)$ are linked to subspaces of a certain $2$-design based on normal r…
▽ More
In this paper, we investigate the André/Bruck-Bose representation of certain $\mathbb{F}_q$-linear sets contained in a line of $\text{PG}(2,q^t)$. We show that scattered $\mathbb{F}_q$-linear sets of rank $3$ in $\text{PG}(1,q^3)$ correspond to particular hyperbolic quadrics and that $\mathbb{F}_q$-linear clubs in $\text{PG}(1,q^t)$ are linked to subspaces of a certain $2$-design based on normal rational curves; this design extends the notion of a circumscribed bundle of conics. Finally, we use these results to construct optimal higgledy-piggledy sets of planes in $\text{PG}(5,q)$.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
On the Chromatic Number of some generalized Kneser Graphs
Authors:
Jozefien D'haeseleer,
Klaus Metsch,
Daniel Werner
Abstract:
We determine the chromatic number of the Kneser graph qΓ_{7,{3,4}} of flags of vectorial type {3, 4} of a rank 7 vector space over the finite field GF(q) for large q and describe the colorings that attain the bound. This result relies heavily, not only on the independence number, but also on the structure of all large independent sets. Furthermore, our proof is more general in the following sense:…
▽ More
We determine the chromatic number of the Kneser graph qΓ_{7,{3,4}} of flags of vectorial type {3, 4} of a rank 7 vector space over the finite field GF(q) for large q and describe the colorings that attain the bound. This result relies heavily, not only on the independence number, but also on the structure of all large independent sets. Furthermore, our proof is more general in the following sense: it provides the chromatic number of the Kneser graphs qΓ_{2d+1,{d,d+1}} of flags of vectorial type {d, d+1} of a rank 2d+1 vector space over GF(q) for large q as long as the large independent sets of the graphs are only the ones that are known.
△ Less
Submitted 5 May, 2022;
originally announced May 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.
-
On the sunflower bound for $k$-spaces, pairwise intersecting in a point
Authors:
Aart Blokhuis,
Maarten De Boeck,
Jozefien D'haeseleer
Abstract:
A $t$-intersecting constant dimension subspace code $C$ is a set of $k$-dimensional subspaces in a projective space PG(n,q), where distinct subspaces intersect in a $t$-dimensional subspace. A classical example of such a code is the sunflower, where all subspaces pass through the same $t$-space. The sunflower bound states that such a code is a sunflower if…
▽ More
A $t$-intersecting constant dimension subspace code $C$ is a set of $k$-dimensional subspaces in a projective space PG(n,q), where distinct subspaces intersect in a $t$-dimensional subspace. A classical example of such a code is the sunflower, where all subspaces pass through the same $t$-space. The sunflower bound states that such a code is a sunflower if $|C| > \left( \frac {q^{k + 1} - q^{t + 1}}{q - 1} \right)^2 + \left( \frac {q^{k + 1} - q^{t + 1}}{q - 1} \right) + 1$. In this article we will look at the case $t=0$ and we will improve this bound for $q\geq 9$: a set $\mathcal{S}$ of $k$-spaces in PG(n,q), $q\geq 9$, pairwise intersecting in a point is a sunflower if $|\mathcal{S}|> \left(\frac{2}{\sqrt[6]{q}}+\frac{4}{\sqrt[3]{q}}-\frac{5}{\sqrt{q}}\right)\left(\frac {q^{k + 1} - 1}{q - 1}\right)^2$.
△ Less
Submitted 21 May, 2021; v1 submitted 14 August, 2020;
originally announced August 2020.
-
Hilton-Milner results in projective and affine spaces
Authors:
Jozefien D'haeseleer
Abstract:
In this article, we analyse maximal sets of $k$-spaces, in PG(n,q) and AG(n,q), $n>2k+t+2$, that pairwise meet in at least a $t$-space. It is known that for both PG(n,q) and AG(n,q), the largest example is a $t$-pencil, i.e. the set of all $k$-spaces containing a fixed $t$-space. In this paper, we analyse the structure of the second largest maximal example in both PG(n,q) and AG(n,q).
In this article, we analyse maximal sets of $k$-spaces, in PG(n,q) and AG(n,q), $n>2k+t+2$, that pairwise meet in at least a $t$-space. It is known that for both PG(n,q) and AG(n,q), the largest example is a $t$-pencil, i.e. the set of all $k$-spaces containing a fixed $t$-space. In this paper, we analyse the structure of the second largest maximal example in both PG(n,q) and AG(n,q).
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
Neumaier graphs with few eigenvalues
Authors:
Aida Abiad,
Bart De Bruyn,
Jozefien D'haeseleer,
Jack H. Koolen
Abstract:
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue -2.
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this paper we give some sufficient and necessary conditions for a Neumaier graph to be strongly regular. Further we show that there does not exist Neumaier graphs with exactly four distinct eigenvalues. We also determine the Neumaier graphs with smallest eigenvalue -2.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
On the chromatic number of two generalized Kneser graphs
Authors:
Jozefien D'haeseleer,
Klaus Metsch,
Daniel Werner
Abstract:
We determine the chromatic number of some graphs of flags in buildings of type $A_4$, namely of the Kneser graphs of flags of type $\{2,4\}$ in the vector spaces $GF(q)^5$ for $q\geq3$, and of the Kneser graph of flags of type $\{2,3\}$ in the vector spaces $GF(q)^5$ for large $q$.
We determine the chromatic number of some graphs of flags in buildings of type $A_4$, namely of the Kneser graphs of flags of type $\{2,4\}$ in the vector spaces $GF(q)^5$ for $q\geq3$, and of the Kneser graph of flags of type $\{2,3\}$ in the vector spaces $GF(q)^5$ for large $q$.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
On absolute points of correlations in PG$(2,q^n)$
Authors:
Jozefien D'haeseleer,
Nicola Durante
Abstract:
Let $V$ be a $(d+1)$-dimensional vector space over a field $\mathbb{F}$. Sesquilinear forms over $V$ have been largely studied when they are reflexive and hence give rise to a (possibly degenerate) polarity of the $d$-dimensional projective space PG$(V)$. Everything is known in this case for both degenerate and non-degenerate reflexive forms if $\mathbb{F}$ is either ${\mathbb{R}}$,…
▽ More
Let $V$ be a $(d+1)$-dimensional vector space over a field $\mathbb{F}$. Sesquilinear forms over $V$ have been largely studied when they are reflexive and hence give rise to a (possibly degenerate) polarity of the $d$-dimensional projective space PG$(V)$. Everything is known in this case for both degenerate and non-degenerate reflexive forms if $\mathbb{F}$ is either ${\mathbb{R}}$, ${\mathbb{C}}$ or a finite field ${\mathbb{F}}_q$. In this paper we consider degenerate, non-reflexive sesquilinear forms of $V=\mathbb{F}_{q^n}^3$. We will see that these forms give rise to degenerate correlations of PG$(2,q^n)$ whose set of absolute points are, besides cones, the (possibly degenerate) $C_F^m$-sets. In the final section we collect some results from the huge work of B.C. Kestenband regarding what is known for the set of the absolute points of correlations in PG$(2,q^n)$ induced by a non-degenerate, non-reflexive sesquilinear form of $V=\mathbb{F}_{q^n}^3$.
△ Less
Submitted 12 May, 2020;
originally announced May 2020.
-
Maximal sets of $k$-spaces pairwise intersecting in at least a $(k-2)$-space
Authors:
Jozefien D'haeseleer,
Giovanni Longobardi,
Ago-Erik Riet,
Leo Storme
Abstract:
In this paper, we analyze the structure of maximal sets of $k$-dimensional spaces in $\mathrm{PG}(n,q)$ pairwise intersecting in at least a $(k-2)$-dimensional space, for $3 \leq k\leq n-2$. We give an overview of the largest examples of these sets with size more than $f(k,q)=\max\{3q^4+6q^3+5q^2+q+1,θ_{k+1}+q^4+2q^3+3q^2\}$.
In this paper, we analyze the structure of maximal sets of $k$-dimensional spaces in $\mathrm{PG}(n,q)$ pairwise intersecting in at least a $(k-2)$-dimensional space, for $3 \leq k\leq n-2$. We give an overview of the largest examples of these sets with size more than $f(k,q)=\max\{3q^4+6q^3+5q^2+q+1,θ_{k+1}+q^4+2q^3+3q^2\}$.
△ Less
Submitted 11 May, 2020;
originally announced May 2020.
-
Cameron-Liebler $k$-sets in $\text{AG}(n,q)$
Authors:
Jozefien D'haeseleer,
Ferdinand Ihringer,
Jonathan Mannaert,
Leo Storme
Abstract:
We study Cameron-Liebler $k$-sets in the affine geometry, so sets of $k$-spaces in $\text{AG}(n, q)$. This generalizes research on Cameron-Liebler $k$-sets in the projective geometry $\text{PG}(n, q)$. Note that in algebraic combinatorics, Cameron-Liebler $k$-sets of $\text{AG}(n, q)$ correspond to certain equitable bipartitions of the Association scheme of $k$-spaces in $\text{AG}(n, q)$, while i…
▽ More
We study Cameron-Liebler $k$-sets in the affine geometry, so sets of $k$-spaces in $\text{AG}(n, q)$. This generalizes research on Cameron-Liebler $k$-sets in the projective geometry $\text{PG}(n, q)$. Note that in algebraic combinatorics, Cameron-Liebler $k$-sets of $\text{AG}(n, q)$ correspond to certain equitable bipartitions of the Association scheme of $k$-spaces in $\text{AG}(n, q)$, while in the analysis of Boolean functions, they correspond to Boolean degree $1$ functions of $\text{AG}(n, q)$. We define Cameron-Liebler $k$-sets in $\text{AG}(n, q)$ by intersection properties with $k$-spreads and show the equivalence of several definitions. In particular, we investigate the relationship between Cameron-Liebler $k$-sets in $\text{AG}(n, q)$ and $\text{PG}(n, q)$. As a by-product, we calculate the character table of the association scheme of affine lines. Furthermore, we characterize the smallest examples of Cameron-Liebler $k$-sets. This paper focuses on $\text{AG}(n, q)$ for $n > 3$, while the case for Cameron-Liebler line classes in $\text{AG}(3, q)$ was already treated separately.
△ Less
Submitted 9 March, 2021; v1 submitted 27 March, 2020;
originally announced March 2020.
-
Cameron-Liebler line classes in AG(3,q)
Authors:
Jozefien D'haeseleer,
Jonathan Mannaert,
Leo Storme,
Andrea Svob
Abstract:
The study of Cameron-Liebler line classes in PG($3,q$) arose from classifying specific collineation subgroups of PG($3,q$). Recently, these line classes were considered in new settings. In this point of view, we will generalize the concept of Cameron-Liebler line classes to AG($3,q$). In this article we define Cameron-Liebler line classes using the constant intersection property towards line sprea…
▽ More
The study of Cameron-Liebler line classes in PG($3,q$) arose from classifying specific collineation subgroups of PG($3,q$). Recently, these line classes were considered in new settings. In this point of view, we will generalize the concept of Cameron-Liebler line classes to AG($3,q$). In this article we define Cameron-Liebler line classes using the constant intersection property towards line spreads. The interesting fact about this generalization is the link these line classes have with Cameron-Liebler line classes in PG($3,q$). Next to giving this link, we will also give some equivalent ways to consider Cameron-Liebler line classes in AG($3,q$), some classification results and an example based on the example found in [3] and [6].
△ Less
Submitted 9 March, 2021; v1 submitted 7 February, 2020;
originally announced February 2020.
-
Translation hyperovals and $\mathbb{F}_2$-linear sets of pseudoregulus type
Authors:
Jozefien D'haeseleer,
Geertrui Van de Voorde
Abstract:
In this paper, we study translation hyperovals in PG$(2,q^k)$. The main result of this paper characterises the point sets defined by translation hyperovals in the André/Bruck-Bose representation. We show that the affine point sets of translation hyperovals in PG$(2,q^k)$ are precisely those that have a scattered $\mathbb{F}_2$-linear set of pseudoregulus type in PG$(2k-1,q)$ as set of directions.…
▽ More
In this paper, we study translation hyperovals in PG$(2,q^k)$. The main result of this paper characterises the point sets defined by translation hyperovals in the André/Bruck-Bose representation. We show that the affine point sets of translation hyperovals in PG$(2,q^k)$ are precisely those that have a scattered $\mathbb{F}_2$-linear set of pseudoregulus type in PG$(2k-1,q)$ as set of directions. This correspondence is used to generalise the results of Barwick and Jackson who provided a characterisation for translation hyperovals in PG$(2,q^2)$.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Equivalent definitions for (degree one) Cameron-Liebler classes of generators in finite classical polar spaces
Authors:
Jozefien D'haeseleer,
Maarten De Boeck
Abstract:
In this article, we study degree one Cameron-Liebler sets of generators in all finite classical polar spaces, which is a particular type of a Cameron-Liebler set of generators in this polar space, [9]. These degree one Cameron-Liebler sets are defined similar to the Boolean degree one functions, [15]. We summarize the equivalent definitions for these sets and give a classification result for the d…
▽ More
In this article, we study degree one Cameron-Liebler sets of generators in all finite classical polar spaces, which is a particular type of a Cameron-Liebler set of generators in this polar space, [9]. These degree one Cameron-Liebler sets are defined similar to the Boolean degree one functions, [15]. We summarize the equivalent definitions for these sets and give a classification result for the degree one Cameron-Liebler sets in the polar spaces W(5,q) and Q(6,q).
△ Less
Submitted 4 February, 2019;
originally announced February 2019.
-
Cameron-Liebler sets of k-spaces in PG(n,q)
Authors:
Aart Blokhuis,
Maarten De Boeck,
Jozefien D'haeseleer
Abstract:
Cameron-Liebler sets of k-spaces were introduced recently by Y. Filmus and F. Ihringer. We list several equivalent definitions for these Cameron-Liebler sets, by making a generalization of known results about Cameron-Liebler line sets in PG(n, q) and Cameron-Liebler sets of k-spaces in PG(2k + 1, q). We also present a classification result.
Cameron-Liebler sets of k-spaces were introduced recently by Y. Filmus and F. Ihringer. We list several equivalent definitions for these Cameron-Liebler sets, by making a generalization of known results about Cameron-Liebler line sets in PG(n, q) and Cameron-Liebler sets of k-spaces in PG(2k + 1, q). We also present a classification result.
△ Less
Submitted 24 November, 2020; v1 submitted 24 May, 2018;
originally announced May 2018.