-
Anzahl theorems for disjoint subspaces generating a non-degenerate subspace II: quadratic forms
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
In this paper, we solve a classical counting problem for non-degenerate quadratic forms defined on a vector space in odd characteristic; given a subspace $π$, we determine the number of non-singular subspaces that are trivially intersecting with $π$ and span a non-singular subspace with $π$. Lower bounds for the quantity of such pairs where $π$ is non-singular were first studied in `Glasby, Niemey…
▽ More
In this paper, we solve a classical counting problem for non-degenerate quadratic forms defined on a vector space in odd characteristic; given a subspace $π$, we determine the number of non-singular subspaces that are trivially intersecting with $π$ and span a non-singular subspace with $π$. Lower bounds for the quantity of such pairs where $π$ is non-singular were first studied in `Glasby, Niemeyer, Praeger (Finite Fields Appl., 2022)', which was later improved for even-dimensional subspaces in `Glasby, Ihringer, Mattheus (Des. Codes Cryptogr., 2023)' and generalised in `Glasby, Niemeyer, Praeger (Linear Algebra Appl., 2022)'. The explicit formulae, which allow us to give the exact proportion and improve the known lower bounds were derived in the symplectic and Hermitian case in `De Boeck and Van de Voorde (Linear Algebra Appl. 2024)'. This paper deals with the more complicated quadratic case.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Anzahl theorems for trivially intersecting subspaces generating a non-singular subspace I: symplectic and hermitian forms
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
In this paper, we solve a classical counting problem for non-degenerate forms of symplectic and hermitian type defined on a vector space: given a subspace $π$, we find the number of non-singular subspaces that are trivially intersecting with $π$ and span a non-singular subspace with $π$. Lower bounds for the quantity of such pairs where $π$ is non-singular were first studied in ``Glasby, Niemeyer,…
▽ More
In this paper, we solve a classical counting problem for non-degenerate forms of symplectic and hermitian type defined on a vector space: given a subspace $π$, we find the number of non-singular subspaces that are trivially intersecting with $π$ and span a non-singular subspace with $π$. Lower bounds for the quantity of such pairs where $π$ is non-singular were first studied in ``Glasby, Niemeyer, Praeger (Finite Fields Appl., 2022)'', which was later improved in ``Glasby, Ihringer, Mattheus (Des. Codes Cryptogr., 2023)'' and generalised in ``Glasby, Niemeyer, Praeger (Linear Algebra Appl., 2022)''. In this paper, we derive explicit formulae, which allow us to give the exact proportion and improve the known lower bounds.
△ Less
Submitted 19 July, 2024; v1 submitted 10 July, 2024;
originally announced July 2024.
-
$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.
-
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.
-
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.
-
On the existence of small strictly Neumaier graphs
Authors:
Aida Abiad,
Maarten De Boeck,
Sjanne Zeijlemaker
Abstract:
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this work, we prove several results on the existence of small strictly Neumaier graphs. In particular, we present a theoretical proof of the uniqueness of the smallest strictly Neumaier graph with parameters $(16,9,4;2,4)$, we establish the existence of a strictly Neumaier graph with parameters $(25,12,5;2,5)$, a…
▽ More
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this work, we prove several results on the existence of small strictly Neumaier graphs. In particular, we present a theoretical proof of the uniqueness of the smallest strictly Neumaier graph with parameters $(16,9,4;2,4)$, we establish the existence of a strictly Neumaier graph with parameters $(25,12,5;2,5)$, and we disprove the existence of strictly Neumaier graphs with parameters $(25,16,9;3,5)$, $(28,18,11;4,7)$, $(33,24,17;6,9)$, $(35,22,12;3,5)$ and $(55,34,18;3,5)$. Our proofs use combinatorial techniques and a novel application of integer programming methods.
△ Less
Submitted 4 March, 2024; v1 submitted 29 August, 2023;
originally announced August 2023.
-
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.
-
Embedded antipodal planes and the minimum weight of the dual code of points and lines in projective planes of order $p^2$
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
The minimum weight of the code generated by the incidence matrix of points versus lines in a projective plane has been known for over 50 years. Surprisingly, finding the minimum weight of the dual code of projective planes of non-prime order is still an open problem, even in the Desarguesian case.
In this paper, we focus on the case of projective planes of order $p^2$, where $p$ is prime, and we…
▽ More
The minimum weight of the code generated by the incidence matrix of points versus lines in a projective plane has been known for over 50 years. Surprisingly, finding the minimum weight of the dual code of projective planes of non-prime order is still an open problem, even in the Desarguesian case.
In this paper, we focus on the case of projective planes of order $p^2$, where $p$ is prime, and we link the existence of small weight code words in the dual code to the existence of embedded subplanes and {\em antipodal planes}. In the Desarguesian case, we can exclude such code words by showing a more general result that no antipodal plane of order at least 3 can be embedded in a Desarguesian projective plane.
Furthermore, we use combinatorial arguments to rule out the existence of code words in the dual code of points and lines of an arbitrary projective plane of order $p^2$, $p$ prime, of weight at most $2p^2-2p+4$ using more than two symbols. In particular, this leads to the result that the dual code of the Desarguesian projective plane $\mathrm{PG}(2,p^2)$, $p\geq 5$, has minimum weight at least $2p^2-2p+5$.
△ Less
Submitted 24 October, 2022; v1 submitted 30 March, 2022;
originally announced March 2022.
-
An infinite class of Neumaier graphs and non-existence results
Authors:
Aida Abiad,
Wouter Castryck,
Maarten De Boeck,
Jack H. Koolen,
Sjanne Zeijlemaker
Abstract:
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strict…
▽ More
A Neumaier graph is a non-complete edge-regular graph containing a regular clique. A Neumaier graph that is not strongly regular is called a strictly Neumaier graph. In this work we present a new construction of strictly Neumaier graphs, and using Jacobi sums, we show that our construction produces infinitely many instances. Moreover, we prove some necessary conditions for the existence of (strictly) Neumaier graphs that allow us to show that several parameter sets are not admissible.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
$q$-Analogs of strongly regular graphs
Authors:
Michael Braun,
Dean Crnković,
Maarten De Boeck,
Vedrana Mikulić Crnković,
Andrea Švob
Abstract:
We introduce the notion of q-analogs of strongly regular graphs and give several examples of such structures. We prove a necessary condition on the parameters, show the connection to designs over finite fields, and present a classification.
We introduce the notion of q-analogs of strongly regular graphs and give several examples of such structures. We prove a necessary condition on the parameters, show the connection to designs over finite fields, and present a classification.
△ Less
Submitted 4 December, 2022; v1 submitted 30 May, 2021;
originally announced May 2021.
-
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.
-
The weight distributions of linear sets in PG(1,q^5)
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
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 with weight larger than 1: (i) one point of weight $4$ or $5$, (ii) one point of weight $3$ and $0$, $q$, $q^2$ points of weight two, (iii) $s$ points of weight…
▽ More
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 with weight larger than 1: (i) one point of weight $4$ or $5$, (ii) one point of weight $3$ and $0$, $q$, $q^2$ points of weight two, (iii) $s$ points of weight $2$ where $s\in [q-2\sqrt{q}+1,q+2\sqrt{q}+1]\cup\{2q,2q+1,2q+2,3q,3q+1,q^2+1\}$. In particular, there are no $2$-clubs in $\mathrm{PG}(1,q^5)$.
△ Less
Submitted 23 April, 2022; v1 submitted 8 June, 2020;
originally announced June 2020.
-
A note on large Kakeya sets
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
A Kakeya set $\mathcal{K}$ in an affine plane of order $q$ is the point set covered by a set $\mathcal{L}$ of $q+1$ pairwise non-parallel lines. Large Kakeya sets were studied by Dover and Mellinger; in [6] they showed that Kakeya sets with size at least $q^2-3q+9$ contain a large knot (a point of $\mathcal{K}$ lying on many lines of $\mathcal{L}$). In this paper, we improve on this result by show…
▽ More
A Kakeya set $\mathcal{K}$ in an affine plane of order $q$ is the point set covered by a set $\mathcal{L}$ of $q+1$ pairwise non-parallel lines. Large Kakeya sets were studied by Dover and Mellinger; in [6] they showed that Kakeya sets with size at least $q^2-3q+9$ contain a large knot (a point of $\mathcal{K}$ lying on many lines of $\mathcal{L}$). In this paper, we improve on this result by showing that Kakeya set of size at least $\approx q^2-q\sqrt{q}+\frac{3}{2}q$ contain a large knot. Furthermore, we obtain a sharp result for planes of square order containing a Baer subplane.
△ Less
Submitted 18 March, 2020;
originally announced March 2020.
-
On Adaptation Cost and Tractability in Robust Adaptive Radiation Therapy Optimization
Authors:
Michelle Böck
Abstract:
A framework for online robust adaptive radiation therapy (ART) is presented. This framework is designed to (i) handle interfractional geometric variations following a probability distribution different from the a priori hypothesis, (ii) address adaptation cost and (iii) address computational tractability. The novelty of this framework is the use of Bayesian inference and scenario-reduction, which…
▽ More
A framework for online robust adaptive radiation therapy (ART) is presented. This framework is designed to (i) handle interfractional geometric variations following a probability distribution different from the a priori hypothesis, (ii) address adaptation cost and (iii) address computational tractability. The novelty of this framework is the use of Bayesian inference and scenario-reduction, which is evaluated in a series of treatment on a one-dimensional phantom geometry. The initial robust plan is generated from a robust optimization problem based on either expected-value- or worst-case-optimization approach using the a priori hypothesis of the probability distribution governing the interfractional geometric variations. The actual interfractional variations are evaluated in terms of their likelihood with respect to the a priori hypothesis and violation of user-specified tolerance limits. During an adaptation the a posteriori distribution is computed from the actual variations using Bayesian inference. The adapted plan is optimized to better suit the actual interfractional variations of the individual case, which is used until the next adaptation is. To address adaptation cost, the proposed framework provides an option for increased adaptation frequency. Computational tractability is addressed by scenario-reduction algorithms to reduce the size of the optimization problem. According to the simulations, the proposed framework may improve target coverage compared to the corresponding non-adaptive robust approach. Combining the worst-case-optimization approach with Bayesian inference may perform best in terms of improving CTV coverage and organ-at-risk~(OAR) protection. Bayesian inference may have a greater impact on handling adaptation cost than increased adaptation frequency. The concept of scenario-reduction may be useful to address computational tractability in ART and robust planning.
△ Less
Submitted 14 May, 2019;
originally announced May 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.
-
Plethysms of symmetric functions and highest weight representations
Authors:
Melanie de Boeck,
Rowena Paget,
Mark Wildon
Abstract:
Let $s_ν\circ s_μ$ denote the plethystic product of the Schur functions $s_ν$ and $s_μ$. In this article we define an explicit polynomial representation corresponding to $s_ν\circ s_μ$ with basis indexed by certain `plethystic' semistandard tableaux. Using these representations we prove generalizations of four results on plethysms due to Bruns--Conca--Varbaro, Brion, Ikenmeyer and the authors. In…
▽ More
Let $s_ν\circ s_μ$ denote the plethystic product of the Schur functions $s_ν$ and $s_μ$. In this article we define an explicit polynomial representation corresponding to $s_ν\circ s_μ$ with basis indexed by certain `plethystic' semistandard tableaux. Using these representations we prove generalizations of four results on plethysms due to Bruns--Conca--Varbaro, Brion, Ikenmeyer and the authors. In particular, we give a sufficient condition for the multiplicity $\langle s_ν\circ s_μ, s_λ\rangle$ to be stable under insertion of new parts into $μ$ and $λ$. We also characterize all maximal and minimal partitions $λ$ in the dominance order such that $s_λ$ appears in $s_ν\circ s_μ$ and determine the corresponding multiplicities using plethystic semistandard tableaux.
△ Less
Submitted 2 April, 2021; v1 submitted 8 October, 2018;
originally announced October 2018.
-
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.
-
A new lower bound for the size of an affine blocking set
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
A blocking set in an affine plane is a set of points $B$ such that every line contains at least one point of $B$. The best known lower bound for blocking sets in arbitrary (non-desarguesian) affine planes was derived in the 1980's by Bruen and Silverman. In this note, we improve on this result by showing that a blocking set of an affine plane of order $q$, $q\geq 25$, contains at least…
▽ More
A blocking set in an affine plane is a set of points $B$ such that every line contains at least one point of $B$. The best known lower bound for blocking sets in arbitrary (non-desarguesian) affine planes was derived in the 1980's by Bruen and Silverman. In this note, we improve on this result by showing that a blocking set of an affine plane of order $q$, $q\geq 25$, contains at least $q+\lfloor\sqrt{q}\rfloor+3$ points.
△ Less
Submitted 25 April, 2018;
originally announced April 2018.
-
Cameron-Liebler sets of generators in finite classical polar spaces
Authors:
Maarten De Boeck,
Morgan Rodgers,
Leo Storme,
Andrea Svob
Abstract:
Cameron-Liebler sets were originally defined as collections of lines (`line classes') in $\mathrm{PG}(3,q)$ sharing certain properties with line classes of symmetric tactical decompositions. While there are many equivalent characterisations, these objects are defined as sets of lines whose characteristic vector lies in the image of the transpose of the point-line incidence matrix of…
▽ More
Cameron-Liebler sets were originally defined as collections of lines (`line classes') in $\mathrm{PG}(3,q)$ sharing certain properties with line classes of symmetric tactical decompositions. While there are many equivalent characterisations, these objects are defined as sets of lines whose characteristic vector lies in the image of the transpose of the point-line incidence matrix of $\mathrm{PG}(3,q)$, and so combinatorially they behave like a union of pairwise disjoint point-pencils. Recently, the concept of a Cameron-Liebler set has been generalised to several other settings. In this article we introduce Cameron-Liebler sets of generators in finite classical polar spaces. For each of the polar spaces we give a list of characterisations that mirrors those for Cameron-Liebler line sets, and also prove some classification results.
△ Less
Submitted 7 May, 2019; v1 submitted 17 December, 2017;
originally announced December 2017.
-
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.
-
Elation KM-arcs
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
In this paper, we study KM-arcs in $PG(2, q)$, the Desarguesian projective plane of order $q$. A KM-arc A of type $t$ is a natural generalisation of a hyperoval: it is a set of $q + t$ points in $PG(2, q)$ such that every line of $PG(2,q)$ meets A in $0,2$ or $t$ points. We study a particular class of KM-arcs, namely, elation KM-arcs. These KM-arcs are highly symmetrical and moreover, many of the…
▽ More
In this paper, we study KM-arcs in $PG(2, q)$, the Desarguesian projective plane of order $q$. A KM-arc A of type $t$ is a natural generalisation of a hyperoval: it is a set of $q + t$ points in $PG(2, q)$ such that every line of $PG(2,q)$ meets A in $0,2$ or $t$ points. We study a particular class of KM-arcs, namely, elation KM-arcs. These KM-arcs are highly symmetrical and moreover, many of the known examples are elation KM-arcs. We provide an algebraic framework and show that all elation KM-arcs of type $q/4$ in $PG(2,q)$ are translation KM-arcs. Using a result of [2], this concludes the classification problem for elation KM-arcs of type $q/4$. Furthermore, we construct for all $q = 2^h$, $h > 3$, an infinite family of elation KM-arcs of type $q/8$, and for $q = 2^h$, where $4, 6, 7 | h$ an infinite family of KM-arcs of type $q/16$. Both families contain new examples of KM-arcs.
△ Less
Submitted 17 May, 2017;
originally announced May 2017.
-
Towards Robust Adaptive Radiation Therapy Strategies
Authors:
Michelle Böck,
Anders Forsgren,
Kjell Eriksson,
Björn Hårdemark
Abstract:
The authors propose robust adaptive strategies based on stochastic minimax optimization for a series of simulated treatments on a one-dimensional patient phantom. The plan applied during the first fractions should be able to handle anticipated systematic and random errors. At scheduled fractions, the impact of the measured errors on the delivered dose distribution is evaluated. For a patient recei…
▽ More
The authors propose robust adaptive strategies based on stochastic minimax optimization for a series of simulated treatments on a one-dimensional patient phantom. The plan applied during the first fractions should be able to handle anticipated systematic and random errors. At scheduled fractions, the impact of the measured errors on the delivered dose distribution is evaluated. For a patient receiving a dose that does not satisfy clinical goals, the plan is reoptimized based on these individually measured errors. The adapted plan is then applied during subsequent fractions until a new scheduled adaptation becomes necessary. In the first adaptive strategy, the measured systematic and random error scenarios and their assigned probabilities are updated to guide the robust reoptimization. In the second strategy, the grade of conservativeness is adapted in response to the measured dose delivery errors. In the third strategy, the uncertainty margins around the target are recalculated based on the measured errors. The simulated systematic and random errors are either similar to the anticipated errors or unpredictably larger, in order to critically evaluate the performance of the adaptive strategies. The simulations show that robustly optimized treatment plans provide sufficient treatment quality for those treatment error scenarios similar to the anticipated error scenarios. Combining robust planning with adaptation leads to improved OAR protection. In case of unpredictably larger treatment errors, the first strategy performs best at improving treatment quality in terms of target coverage and OAR protection. According to the simulations, these robust adaptive treatment strategies are able to identify candidates for an adaptive treatment, thus giving the opportunity to provide individualized plans, and improve their treatment quality through adaptation.
△ Less
Submitted 4 November, 2016;
originally announced November 2016.
-
On bases of some simple modules of symmetric groups and Hecke algebras
Authors:
Melanie de Boeck,
Anton Evseev,
Sinead Lyle,
Liron Speyer
Abstract:
We consider simple modules for a Hecke algebra with a parameter of quantum characteristic $e$. Equivalently, we consider simple modules $D^λ$, labelled by $e$-restricted partitions $λ$ of $n$, for a cyclotomic KLR algebra $R_n^{Λ_0}$ over a field of characteristic $p\ge 0$, with mild restrictions on $p$. If all parts of $λ$ are at most $2$, we identify a set $\mathsf{DStd}_{e,p}(λ)$ of standard…
▽ More
We consider simple modules for a Hecke algebra with a parameter of quantum characteristic $e$. Equivalently, we consider simple modules $D^λ$, labelled by $e$-restricted partitions $λ$ of $n$, for a cyclotomic KLR algebra $R_n^{Λ_0}$ over a field of characteristic $p\ge 0$, with mild restrictions on $p$. If all parts of $λ$ are at most $2$, we identify a set $\mathsf{DStd}_{e,p}(λ)$ of standard $λ$-tableaux, which is defined combinatorially and naturally labels a basis of $D^λ$. In particular, we prove that the $q$-character of $D^λ$ can be described in terms of $\mathsf{DStd}_{e,p}(λ)$. We show that a certain natural approach to constructing a basis of an arbitrary $D^λ$ does not work in general, giving a counterexample to a conjecture of Mathas.
△ Less
Submitted 23 May, 2017; v1 submitted 22 June, 2016;
originally announced June 2016.
-
The Cameron-Liebler problem for sets
Authors:
Maarten De Boeck,
Leo Storme,
Andrea Švob
Abstract:
Cameron-Liebler line classes and Cameron-Liebler k-classes in PG(2k+1,q) are currently receiving a lot of attention. Links with the Erdős-Ko-Rado results in finite projective spaces occurred. We introduce here in this article the similar problem on Cameron-Liebler classes of sets, and solve this problem completely, by making links to the classical Erdős-Ko-Rado result on sets. We also present a ch…
▽ More
Cameron-Liebler line classes and Cameron-Liebler k-classes in PG(2k+1,q) are currently receiving a lot of attention. Links with the Erdős-Ko-Rado results in finite projective spaces occurred. We introduce here in this article the similar problem on Cameron-Liebler classes of sets, and solve this problem completely, by making links to the classical Erdős-Ko-Rado result on sets. We also present a characterisation theorem for the Cameron-Liebler classes of sets.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
The second largest Erdős-Ko-Rado sets of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$
Authors:
Maarten De Boeck
Abstract:
An Erdős-Ko-Rado set of generators of a hyperbolic quadric is a set of generators which are pairwise not disjoint. In this article we classify the second largest maximal Erdős-Ko-Rado set of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$, $q\geq3$.
An Erdős-Ko-Rado set of generators of a hyperbolic quadric is a set of generators which are pairwise not disjoint. In this article we classify the second largest maximal Erdős-Ko-Rado set of generators of the hyperbolic quadrics $\mathcal{Q}^{+}(4n+1,q)$, $q\geq3$.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
The small Kakeya sets in $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a conic
Authors:
Maarten De Boeck
Abstract:
A Kakeya set in the linear representation $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a non-singular conic, is the point set covered by a set of $q+1$ lines, one through each point of $\mathcal{C}$. In this article we classify the small Kakeya sets in $T^{*}_{2}(\mathcal{C})$. The smallest Kakeya sets have size $\left\lfloor\frac{3q^{2}+2q}{4}\right\rfloor$, and all Kakeya sets with weight less than…
▽ More
A Kakeya set in the linear representation $T^{*}_{2}(\mathcal{C})$, $\mathcal{C}$ a non-singular conic, is the point set covered by a set of $q+1$ lines, one through each point of $\mathcal{C}$. In this article we classify the small Kakeya sets in $T^{*}_{2}(\mathcal{C})$. The smallest Kakeya sets have size $\left\lfloor\frac{3q^{2}+2q}{4}\right\rfloor$, and all Kakeya sets with weight less than $\left\lfloor\frac{3(q^{2}-1)}{4}\right\rfloor+q$ are classified: there are approximately $\sqrt{\frac{q}{2}}$ types.
△ Less
Submitted 14 January, 2016;
originally announced January 2016.
-
On the dual code of points and generators on the Hermitian variety $\mathcal{H}(2n+1,q^2)$
Authors:
Maarten De Boeck,
Peter Vandendriessche
Abstract:
We study the dual linear code of points and generators on a non-singular Hermitian variety $\mathcal{H}(2n+1,q^2)$. We improve the earlier results for $n=2$, we solve the minimum distance problem for general $n$, we classify the $n$ smallest types of code words and we characterize the small weight code words as being a linear combination of these $n$ types.
We study the dual linear code of points and generators on a non-singular Hermitian variety $\mathcal{H}(2n+1,q^2)$. We improve the earlier results for $n=2$, we solve the minimum distance problem for general $n$, we classify the $n$ smallest types of code words and we characterize the small weight code words as being a linear combination of these $n$ types.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
The largest Erdős-Ko-Rado sets in 2-(v,k,1) designs
Authors:
Maarten De Boeck
Abstract:
An Erdős-Ko-Rado set in a block design is a set of pairwise intersecting blocks. In this article we study Erdős-Ko-Rado sets in 2-(v,k,1) designs, Steiner systems. The Steiner triple systems and other special classes are treated separately. For unitals we also determine an upper bound on the size of the second-largest maximal Erdos-Ko-Rado sets.
An Erdős-Ko-Rado set in a block design is a set of pairwise intersecting blocks. In this article we study Erdős-Ko-Rado sets in 2-(v,k,1) designs, Steiner systems. The Steiner triple systems and other special classes are treated separately. For unitals we also determine an upper bound on the size of the second-largest maximal Erdos-Ko-Rado sets.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
A linear set view on KM-arcs
Authors:
Maarten De Boeck,
Geertrui Van de Voorde
Abstract:
In this paper, we study KM-arcs of type t, i.e. point sets of size q + t in PG(2, q) such that every line contains 0, 2 or t of its points. We use field reduction to give a different point of view on the class of translation arcs. Starting from a particular F2-linear set, called an i-club, we reconstruct the projective triads, the translation hyperovals as well as the translation arcs constructed…
▽ More
In this paper, we study KM-arcs of type t, i.e. point sets of size q + t in PG(2, q) such that every line contains 0, 2 or t of its points. We use field reduction to give a different point of view on the class of translation arcs. Starting from a particular F2-linear set, called an i-club, we reconstruct the projective triads, the translation hyperovals as well as the translation arcs constructed by Korchmaros-Mazzocca, Gacs-Weiner and Limbupasiriporn. We show the KM-arcs of type q/4 recently constructed by Vandendriessche are translation arcs and fit in this family. Finally, we construct a family of KM-arcs of type q/4. We show that this family, apart from new examples that are not translation KM-arcs, contains all translation KM-arcs of type q/4.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Necessary conditions for the existence of 3-designs over finite fields with nontrivial automorphism groups
Authors:
Maarten De Boeck,
Anamari Nakic
Abstract:
A q-design with parameters t-(v,k,lambda_t)_q is a pair (V, B) of the v-dimensional vector space V over GF(q) and a collection B of k-dimensional subspaces of V, such that each t-dimensional subspace of V is contained in precisely lambda_t members of B. In this paper we give new general necessary conditions on the existence of designs over finite fields with parameters 3-(v, k , lambda_3)_q with a…
▽ More
A q-design with parameters t-(v,k,lambda_t)_q is a pair (V, B) of the v-dimensional vector space V over GF(q) and a collection B of k-dimensional subspaces of V, such that each t-dimensional subspace of V is contained in precisely lambda_t members of B. In this paper we give new general necessary conditions on the existence of designs over finite fields with parameters 3-(v, k , lambda_3)_q with a prescribed automorphism group. These necessary conditions are based on a tactical decomposition of such a design over a finite field and are given in the form of equations for the coefficients of tactical decomposition matrices. In particular, they represent necessary conditions on the existence of q-analogues of Steiner systems admitting a prescribed automorphism group.
△ Less
Submitted 30 September, 2015;
originally announced September 2015.
-
Regular Transformation Groups Based on Fourier-Gauss Transforms
Authors:
Maximilian Bock,
Wolfgang Bock
Abstract:
We discuss different representations of the White noise spaces $(E)_β$, $0 \leq β< 1$ by introducing generalized Wick tensors. As an application we state a generalization of the Mehler formula for the Ornstein-Uhlenbeck semigroup.
We discuss different representations of the White noise spaces $(E)_β$, $0 \leq β< 1$ by introducing generalized Wick tensors. As an application we state a generalization of the Mehler formula for the Ornstein-Uhlenbeck semigroup.
△ Less
Submitted 30 April, 2015;
originally announced April 2015.
-
Decompositions of some twisted Foulkes characters
Authors:
Melanie de Boeck,
Rowena Paget
Abstract:
We decompose the twisted Foulkes characters $φ^{(2^n)}_ν$, or equivalently the plethysm $s_ν\circ s_{(2)}$, in the cases where $ν$ has either two rows or two columns, or is a hook partition.
We decompose the twisted Foulkes characters $φ^{(2^n)}_ν$, or equivalently the plethysm $s_ν\circ s_{(2)}$, in the cases where $ν$ has either two rows or two columns, or is a hook partition.
△ Less
Submitted 2 September, 2014;
originally announced September 2014.
-
Relationships between plethysm coefficients
Authors:
Melanie de Boeck
Abstract:
We consider the plethysm problem stated for representations of symmetric groups. In particular, we prove new relationships between composition multiplicities of twisted Foulkes modules. Expressed in terms of symmetric functions, our results establish relationships between plethysm coefficients.
We consider the plethysm problem stated for representations of symmetric groups. In particular, we prove new relationships between composition multiplicities of twisted Foulkes modules. Expressed in terms of symmetric functions, our results establish relationships between plethysm coefficients.
△ Less
Submitted 22 February, 2016; v1 submitted 2 September, 2014;
originally announced September 2014.
-
Entanglement-assisted quantum low-density parity-check codes
Authors:
Yuichiro Fujiwara,
David Clark,
Peter Vandendriessche,
Maarten De Boeck,
Vladimir D. Tonchev
Abstract:
This paper develops a general method for constructing entanglement-assisted quantum low-density parity-check (LDPC) codes, which is based on combinatorial design theory. Explicit constructions are given for entanglement-assisted quantum error-correcting codes (EAQECCs) with many desirable properties. These properties include the requirement of only one initial entanglement bit, high error correcti…
▽ More
This paper develops a general method for constructing entanglement-assisted quantum low-density parity-check (LDPC) codes, which is based on combinatorial design theory. Explicit constructions are given for entanglement-assisted quantum error-correcting codes (EAQECCs) with many desirable properties. These properties include the requirement of only one initial entanglement bit, high error correction performance, high rates, and low decoding complexity. The proposed method produces infinitely many new codes with a wide variety of parameters and entanglement requirements. Our framework encompasses various codes including the previously known entanglement-assisted quantum LDPC codes having the best error correction performance and many new codes with better block error rates in simulations over the depolarizing channel. We also determine important parameters of several well-known classes of quantum and classical LDPC codes for previously unsettled cases.
△ Less
Submitted 1 November, 2010; v1 submitted 27 August, 2010;
originally announced August 2010.
