Showing 1–45 of 45 results for author: Ihringer, F

Ramsey numbers and extremal structures in polar spaces

Authors: John Bamberg, Anurag Bishnoi, Ferdinand Ihringer, Ananthakrishnan Ravi

Abstract: We use $p$-rank bounds on partial ovoids and the classical bounds on Ramsey numbers to obtain upper bounds on the size of partial $m$-ovoids in finite classical polar spaces. These bounds imply non-existence of $m$-ovoids for new infinite families of polar spaces. We also give a probabilistic construction of large partial $m$-ovoids when $m$ grows linearly with the rank of the polar space. In th… ▽ More We use $p$-rank bounds on partial ovoids and the classical bounds on Ramsey numbers to obtain upper bounds on the size of partial $m$-ovoids in finite classical polar spaces. These bounds imply non-existence of $m$-ovoids for new infinite families of polar spaces. We also give a probabilistic construction of large partial $m$-ovoids when $m$ grows linearly with the rank of the polar space. In the special case of the symplectic spaces over the binary field, we prove an equivalence between partial $m$-ovoids and a generalisation of Oddtown families from extremal set theory that has been studied under the name of $m$-nearly orthogonal sets. We give a new construction for large partial $2$-ovoids in these spaces and thus $2$-nearly orthogonal sets over the binary field. This construction uses triangle-free graphs associated to certain BCH codes whose complements have low $2$-rank and it gives an asymptotic improvement over the previous best construction. We give another construction of triangle-free graphs using a binary projective cap, which has low complementary rank over the reals. This improves the bounds in the recently introduced rank-Ramsey problem and it gives better constructions of large partial $m$-ovoids for $m > 2$ in the binary symplectic space. △ Less

Submitted 2 October, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

Comments: 13 pages, 1 Figure, added a new co-author and new results (Section 5.3)

MSC Class: 51E12; 51E99; 05D10; 05E30

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.

Comments: 10 pages

Ratio bound (Lovász number) versus inertia bound

Authors: Ferdinand Ihringer

Abstract: Matthew Kwan and Yuval Wigderson showed that for an infinite family of graphs, the Lovász number gives an upper bound of $O(n^{3/4})$ for the size of an independent set (where $n$ is the number of vertices), while the weighted inertia bound cannot do better than $Ω(n)$. Here we point out that there is an infinite family of graphs for which the Lovász number is $Ω(n^{3/4})$, while the unweighted in… ▽ More Matthew Kwan and Yuval Wigderson showed that for an infinite family of graphs, the Lovász number gives an upper bound of $O(n^{3/4})$ for the size of an independent set (where $n$ is the number of vertices), while the weighted inertia bound cannot do better than $Ω(n)$. Here we point out that there is an infinite family of graphs for which the Lovász number is $Ω(n^{3/4})$, while the unweighted inertia bound is $O(n^{1/2})$. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 3 pages. I do not plan to publish this note/example

The classification of Boolean degree $1$ functions in high-dimensional finite vector spaces

Authors: Ferdinand Ihringer

Abstract: We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with respect to $k$-spaces do not exist for $n \geq n_0(k, q)$. Our main ingredient is the Ramsey theory for geometric lattices. We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with respect to $k$-spaces do not exist for $n \geq n_0(k, q)$. Our main ingredient is the Ramsey theory for geometric lattices. △ Less

Submitted 26 May, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Comments: 12 pages; version accepted by the AMS Proceedings

Regular sets of lines in rank 3 polar spaces

Authors: Ferdinand Ihringer, Morgan Rodgers

Abstract: There are 6 families of finite polar spaces of rank $3$. The set of lines in a rank $3$ polar space form a rank $5$ association scheme. We determine the regular sets of minimal size in several of these polar spaces, and describe some examples. We also give a new family of Cameron--Liebler sets of generators in the polar spaces $O^+(10,q)$ when $q = 3^h$ using a regular set of lines in… ▽ More There are 6 families of finite polar spaces of rank $3$. The set of lines in a rank $3$ polar space form a rank $5$ association scheme. We determine the regular sets of minimal size in several of these polar spaces, and describe some examples. We also give a new family of Cameron--Liebler sets of generators in the polar spaces $O^+(10,q)$ when $q = 3^h$ using a regular set of lines in $O(7,q)$. △ Less

Submitted 14 June, 2024; v1 submitted 4 December, 2023; originally announced December 2023.

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

Local recognition of the point graphs of some Lie incidence geometries

Authors: Ferdinand Ihringer, Paulien Jansen, Linde Lambrecht, Yannick Neyt, Daan Rijpert, Hendrik Van Maldeghem, Magali Victoor

Abstract: Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which class… ▽ More Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure. △ Less

Submitted 14 October, 2023; originally announced October 2023.

Comments: 12 pages

On MSR Subspace Families of Lines

Authors: Ferdinand Ihringer

Abstract: A minimum storage regenerating (MSR) subspace family of $\mathbb{F}_q^{2m}$ is a set $\mathcal{S}$ of $m$-spaces in $\mathbb{F}_q^{2m}$ such that for any $m$-space $S$ in $\mathcal{S}$ there exists an element in $\mathrm{PGL}(2m, q)$ which maps $S$ to a complement and fixes $\mathcal{S} \setminus \{ S \}$ pointwise. We show that an MSR subspace family of $2$-spaces in $\mathbb{F}_q^4$ has at most… ▽ More A minimum storage regenerating (MSR) subspace family of $\mathbb{F}_q^{2m}$ is a set $\mathcal{S}$ of $m$-spaces in $\mathbb{F}_q^{2m}$ such that for any $m$-space $S$ in $\mathcal{S}$ there exists an element in $\mathrm{PGL}(2m, q)$ which maps $S$ to a complement and fixes $\mathcal{S} \setminus \{ S \}$ pointwise. We show that an MSR subspace family of $2$-spaces in $\mathbb{F}_q^4$ has at most size $6$ with equality if and only if it is a particular subset of a Segre variety. This implies that an $(n, n-2, 4)$-MSR code has $n \leq 9$. △ Less

Submitted 24 October, 2023; v1 submitted 5 May, 2023; originally announced May 2023.

Comments: 9 pages; various editing

The strongly regular twisted $D_{5,5}(q)$ graph

Authors: Ferdinand Ihringer

Abstract: We construct a new family of strongly regular graphs with the same parameters as the strongly regular graphs $D_{5,5}(q)$. The construction can be seen as a variant of the construction of twisted Grassmann graphs by Van Dam and Koolen. We construct a new family of strongly regular graphs with the same parameters as the strongly regular graphs $D_{5,5}(q)$. The construction can be seen as a variant of the construction of twisted Grassmann graphs by Van Dam and Koolen. △ Less

Submitted 11 January, 2024; v1 submitted 30 March, 2023; originally announced March 2023.

Comments: 7 pages, probably the accepted version, minor changes based on comments by another referee (which where inaccessible during the previous revision for technical reasons)

Irreducible subcube partitions

Authors: Yuval Filmus, Edward Hirsch, Sascha Kurz, Ferdinand Ihringer, Artur Riazanov, Alexander Smal, Marc Vinyals

Abstract: A \emph{subcube partition} is a partition of the Boolean cube $\{0,1\}^n$ into subcubes. A subcube partition is irreducible if the only sub-partitions whose union is a subcube are singletons and the entire partition. A subcube partition is tight if it "mentions" all coordinates. We study extremal properties of tight irreducible subcube partitions: minimal size, minimal weight, maximal number of po… ▽ More A \emph{subcube partition} is a partition of the Boolean cube $\{0,1\}^n$ into subcubes. A subcube partition is irreducible if the only sub-partitions whose union is a subcube are singletons and the entire partition. A subcube partition is tight if it "mentions" all coordinates. We study extremal properties of tight irreducible subcube partitions: minimal size, minimal weight, maximal number of points, maximal size, and maximal minimum dimension. We also consider the existence of homogeneous tight irreducible subcube partitions, in which all subcubes have the same dimensions. We additionally study subcube partitions of $\{0,\dots,q-1\}^n$, and partitions of $\mathbb{F}_2^n$ into affine subspaces, in both cases focusing on the minimal size. Our constructions and computer experiments lead to several conjectures on the extremal values of the aforementioned properties. △ Less

Submitted 18 August, 2023; v1 submitted 30 December, 2022; originally announced December 2022.

Comments: 39 pages

Affine vector space partitions

Authors: John Bamberg, Yuval Filmus, Ferdinand Ihringer, Sascha Kurz

Abstract: An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes. An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes. △ Less

Submitted 14 October, 2023; v1 submitted 29 November, 2022; originally announced November 2022.

Comments: 24 pages, accepted version

Large $(k; r, s; n, q)$-sets in Projective Spaces

Authors: Ferdinand Ihringer, Jacques Verstraëte

Abstract: A $(k; r, s; n, q)$-set (short: $(r,s)$-set) of $\mathrm{PG}(n, q)$ is a set of points $X$ with $|X| = k$ such that no $s$-space contains more than $r$ points of $X$. We investigate the asymptotic size of $(r, s)$-sets for $n$ fixed and $q \rightarrow \infty$. In particular, we show the existence of $(3, 2)$-sets of size $(1+o(1)) q^{3/2}$ for $n=6$, $(4, 2)$-sets of size… ▽ More A $(k; r, s; n, q)$-set (short: $(r,s)$-set) of $\mathrm{PG}(n, q)$ is a set of points $X$ with $|X| = k$ such that no $s$-space contains more than $r$ points of $X$. We investigate the asymptotic size of $(r, s)$-sets for $n$ fixed and $q \rightarrow \infty$. In particular, we show the existence of $(3, 2)$-sets of size $(1+o(1)) q^{3/2}$ for $n=6$, $(4, 2)$-sets of size $(1+o(1)) q^{\frac{n-1}{2}}$, and $(9, 2)$-sets of size $(1+o(1)) q^2$ for $n=4$. We also generalize a bound by Rao from 1947 and show that an $(r,s)$-set has size at most $O(q^{\frac{n-e+1}{e}})$ if there exist integers $d,e \geq 2$ such that $s=d(e-1)$ and $r=de-1$. △ Less

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

Comments: 10 pages, removed the part on random polynomials which duplicated recent work by Sudakov and Tomon

The proportion of non-degenerate complementary subspaces in classical spaces

Authors: S. P. Glasby, Ferdinand Ihringer, Sam Mattheus

Abstract: Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $α_i=|Y_i|/|X_i|$. We give a positive lower bound, depending only on $α_1,α_2,e_1,e_2,q$, for the proportion of pairs $(S_1,S_2)\in Y_1\times Y_2$ which intersect trivially. As an application, we bou… ▽ More Given positive integers $e_1,e_2$, let $X_i$ denote the set of $e_i$-dimensional subspaces of a fixed finite vector space $V=(\mathbb{F}_q)^{e_1+e_2}$. Let $Y_i$ be a non-empty subset of $X_i$ and let $α_i=|Y_i|/|X_i|$. We give a positive lower bound, depending only on $α_1,α_2,e_1,e_2,q$, for the proportion of pairs $(S_1,S_2)\in Y_1\times Y_2$ which intersect trivially. As an application, we bound the proportion of pairs of non-degenerate subspaces of complementary dimensions in a finite classical space that intersect trivially. This problem is motivated by an algorithm for recognizing classical groups. By using techniques from algebraic graph theory, we are able to handle orthogonal groups over the field of order 2, a case which had eluded Niemeyer, Praeger, and the first author. △ Less

Submitted 11 May, 2023; v1 submitted 11 July, 2022; originally announced July 2022.

Comments: 15 pages, 1 table, 1 figure

MSC Class: 05C50; 20C30; 20-08; 05C35

Approximately Strongly Regular Graphs

Authors: Ferdinand Ihringer

Abstract: We give variants of the Krein bound and the absolute bound for graphs with a spectrum similar to that of a strongly regular graph. In particular, we investigate what we call approximately strongly regular graphs. We apply our results to extremal problems. Among other things, we show the following: (1) Caps in $\mathrm{PG}(n, q)$ for which the number of secants on exterior points does not vary… ▽ More We give variants of the Krein bound and the absolute bound for graphs with a spectrum similar to that of a strongly regular graph. In particular, we investigate what we call approximately strongly regular graphs. We apply our results to extremal problems. Among other things, we show the following: (1) Caps in $\mathrm{PG}(n, q)$ for which the number of secants on exterior points does not vary too much, have size at most $O(q^{\frac34 n})$ (as $q \rightarrow \infty$ or as $n \rightarrow \infty$). (2) Optimally pseudorandom $K_m$-free graphs of order $v$ and degree $k$ for which the induced subgraph on the common neighborhood of a clique of size $i \leq m-3$ is similar to a strongly regular graph, have $k = O(v^{1 - \frac{1}{3m-2i-5}})$. △ Less

Submitted 9 August, 2022; v1 submitted 11 May, 2022; originally announced May 2022.

Comments: 24 pages; most material from version 1 is back, more examples, inertia bound added

Non-Geometric Cospectral Mates of Line Graphs with a Linear Representation

Authors: Ferdinand Ihringer

Abstract: For an incidence geometry $\mathcal{G} = (\mathcal{P}, \mathcal{L}, \text{I})$ with a linear representation $\mathcal{T}_n^*(\mathcal{K})$, we apply WQH switching to construct a non-geometric graph $Γ'$ cospectral with the line graph $Γ$ of $\mathcal{G}$. As an application, we show that for $h \geq 2$ and $0 < m < h$, there are strongly regular graphs with parameters… ▽ More For an incidence geometry $\mathcal{G} = (\mathcal{P}, \mathcal{L}, \text{I})$ with a linear representation $\mathcal{T}_n^*(\mathcal{K})$, we apply WQH switching to construct a non-geometric graph $Γ'$ cospectral with the line graph $Γ$ of $\mathcal{G}$. As an application, we show that for $h \geq 2$ and $0 < m < h$, there are strongly regular graphs with parameters $(v, k, λ, μ) = (2^{2h} (2^{m+h}+2^m-2^h), 2^h (2^h+1)(2^m-1), 2^h (2^{m+1}-3), 2^h (2^m-1))$ which are not point graphs of partial geometries of order $(s,t,α) = ((2^h+1)(2^m-1), 2^h-1, 2^m-1)$. △ Less

Submitted 23 April, 2022; v1 submitted 20 April, 2022; originally announced April 2022.

Comments: 4 pages; updated claims about what is new

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

The least Euclidean distortion constant of a distance-regular graph

Authors: Sebastian M. Cioabă, Himanshu Gupta, Ferdinand Ihringer, Hirotake Kurihara

Abstract: In 2008, Vallentin made a conjecture involving the least distortion of an embedding of a distance-regular graph into Euclidean space. Vallentin's conjecture implies that for a least distortion Euclidean embedding of a distance-regular graph of diameter $d$, the most contracted pairs of vertices are those at distance $d$. In this paper, we confirm Vallentin's conjecture for several families of dist… ▽ More In 2008, Vallentin made a conjecture involving the least distortion of an embedding of a distance-regular graph into Euclidean space. Vallentin's conjecture implies that for a least distortion Euclidean embedding of a distance-regular graph of diameter $d$, the most contracted pairs of vertices are those at distance $d$. In this paper, we confirm Vallentin's conjecture for several families of distance-regular graphs. We also provide counterexamples to this conjecture, where the largest contraction occurs between pairs of vertices at distance $d{-}1$. We suggest three alternative conjectures and prove them for several families of distance-regular graphs. △ Less

Submitted 31 January, 2022; v1 submitted 20 September, 2021; originally announced September 2021.

Comments: 19 pages

Strongly regular graphs satisfying the 4-vertex condition

Authors: A. E. Brouwer, F. Ihringer, W. M. Kantor

Abstract: We survey the area of strongly regular graphs satisfying the 4-vertex condition and find several new families. We describe a switching operation on collinearity graphs of polar spaces that produces cospectral graphs. The obtained graphs satisfy the 4-vertex condition if the original graph belongs to a symplectic polar space. We survey the area of strongly regular graphs satisfying the 4-vertex condition and find several new families. We describe a switching operation on collinearity graphs of polar spaces that produces cospectral graphs. The obtained graphs satisfy the 4-vertex condition if the original graph belongs to a symplectic polar space. △ Less

Submitted 8 September, 2022; v1 submitted 30 June, 2021; originally announced July 2021.

Comments: 19 pages; accepted in Combinatorica

A Note on a Construction by Pavese and Smaldore

Authors: Ferdinand Ihringer

Abstract: Recently, Pavese and Smaldore constructed graphs cospectral to $NU(5, q^2)$ for $q>2$. We show that their construction works for $NU(n, q^2)$, $n \geq 5$. Hence, none of the graphs $NU(n, q^2)$, $n \geq 5$, are determined by their spectrum. Recently, Pavese and Smaldore constructed graphs cospectral to $NU(5, q^2)$ for $q>2$. We show that their construction works for $NU(n, q^2)$, $n \geq 5$. Hence, none of the graphs $NU(n, q^2)$, $n \geq 5$, are determined by their spectrum. △ Less

Submitted 30 December, 2020; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: Merged with arXiv:2012.10651 [math.CO]

Graphs cospectral with NU$(n + 1, q^2)$, $n \ne 3$

Authors: Ferdinand Ihringer, Francesco Pavese, Valentino Smaldore

Abstract: Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not… ▽ More Let $H(n, q^2)$ be a non-degenerate Hermitian variety of $PG(n, q^2)$, $n \ge 2$. Let NU$(n+1, q^2)$ be the graph whose vertices are the points of $PG(n, q^2) \setminus H(n, q^2)$ and two vertices $P_1$, $P_2$ are adjacent if the line joining $P_1$ and $P_2$ is tangent to $H(n, q^2)$. Then NU$(n + 1, q^2)$ is a strongly regular graph. In this paper we show that NU$(n + 1, q^2)$, $n \ne 3$, is not determined by its spectrum. △ Less

Submitted 15 June, 2021; v1 submitted 19 December, 2020; originally announced December 2020.

Switching for Small Strongly Regular Graphs

Authors: Ferdinand Ihringer

Abstract: We provide an abundance of strongly regular graphs (SRGs) for certain parameters $(n, k, λ, μ)$ with $n < 100$. For this we use Godsil-McKay (GM) switching with a partition of type $4,n-4$ and Wang-Qiu-Hu (WQH) switching with a partition of type $3,3,n-6$ or $4,4,n-8$. In most cases, we start with a highly symmetric graph which belongs to a finite geometry. Many of the obtained graphs are new; for… ▽ More We provide an abundance of strongly regular graphs (SRGs) for certain parameters $(n, k, λ, μ)$ with $n < 100$. For this we use Godsil-McKay (GM) switching with a partition of type $4,n-4$ and Wang-Qiu-Hu (WQH) switching with a partition of type $3,3,n-6$ or $4,4,n-8$. In most cases, we start with a highly symmetric graph which belongs to a finite geometry. Many of the obtained graphs are new; for instance, we find 16565438 strongly regular graphs with parameters $(81, 30, 9, 12)$ while only 15 seem to be described in the literature. We provide statistics about the size of the occurring automorphism groups. We also find the recently discovered Krčadinac partial geometry, thus finding a third method of constructing it. △ Less

Submitted 6 July, 2022; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: 21 pages; accepted version, 26 Tables, 1 Figure

MSC Class: 05E30

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.

Journal ref: Electronic journal of Combinatorics, 28(4):11, 2021

Remarks on the Erdős Matching Conjecture for Vector Spaces

Authors: Ferdinand Ihringer

Abstract: In 1965, Paul Erdős asked about the largest family $Y$ of $k$-sets in $\{ 1, \ldots, n \}$ such that $Y$ does not contain $s+1$ pairwise disjoint sets. This problem is commonly known as the Erdős Matching Conjecture. We investigate the $q$-analog of this question, that is we want to determine the size of a largest family $Y$ of $k$-spaces in $\mathbb{F}_q^n$ such that $Y$ does not contain $s+1$ pa… ▽ More In 1965, Paul Erdős asked about the largest family $Y$ of $k$-sets in $\{ 1, \ldots, n \}$ such that $Y$ does not contain $s+1$ pairwise disjoint sets. This problem is commonly known as the Erdős Matching Conjecture. We investigate the $q$-analog of this question, that is we want to determine the size of a largest family $Y$ of $k$-spaces in $\mathbb{F}_q^n$ such that $Y$ does not contain $s+1$ pairwise disjoint $k$-spaces. Here we call two subspaces disjoint if they intersect trivially. Our main result is, slightly simplified, that if $16 s \leq \min\{ q^{\frac{n-k}{4}},$ $q^{\frac{n-2k+1}{3}} \}$, then $Y$ is either small or a union of intersecting families. Thus we show the Erd\H{os} Matching Conjecture for this range. The proof uses a method due to Metsch. We also discuss constructions. In particular, we show that for larger $s$, there are large examples which are close in size to a union of intersecting families, but structurally different. As an application, we discuss the close relationship between the Erdős Matching Conjecture for vector spaces and Cameron-Liebler line classes (and their generalization to $k$-spaces), a popular topic in finite geometry for the last 30 years. More specifically, we propose the Erdős Matching Conjecture (for vector spaces) as an interesting variation of the classical research on Cameron-Liebler line classes. △ Less

Submitted 20 July, 2020; v1 submitted 16 February, 2020; originally announced February 2020.

Comments: 13 pages, several mistakes corrected (thanks to referees)

On the Algebraic Combinatorics of Injections and its Applications to Injection Codes

Authors: Peter J. Dukes, Ferdinand Ihringer, Nathan Lindzey

Abstract: We consider the algebraic combinatorics of the set of injections from a $k$-element set to an $n$-element set. In particular, we give a new combinatorial formula for the spherical functions of the Gelfand pair $(S_k \times S_n, \text{diag}(S_k) \times S_{n-k})$. We use this combinatorial formula to give new Delsarte linear programming bounds on the size of codes over injections. We consider the algebraic combinatorics of the set of injections from a $k$-element set to an $n$-element set. In particular, we give a new combinatorial formula for the spherical functions of the Gelfand pair $(S_k \times S_n, \text{diag}(S_k) \times S_{n-k})$. We use this combinatorial formula to give new Delsarte linear programming bounds on the size of codes over injections. △ Less

Submitted 10 December, 2019; originally announced December 2019.

Comments: 18 pages

A construction for clique-free pseudorandom graphs

Authors: Anurag Bishnoi, Ferdinand Ihringer, Valentina Pepe

Abstract: A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $Θ(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly pseudorandom $K_k$-free graphs with a higher edge density of $Θ(n^{-1/(k - 1)})$. A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $Θ(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly pseudorandom $K_k$-free graphs with a higher edge density of $Θ(n^{-1/(k - 1)})$. △ Less

Submitted 9 January, 2020; v1 submitted 12 May, 2019; originally announced May 2019.

Comments: minor edits; accepted for publication by Combinatorica

MSC Class: 05C35; 05C50

New Strongly Regular Graphs from Finite Geometries via Switching

Authors: Ferdinand Ihringer, Akihiro Munemasa

Abstract: We show that the strongly regular graph on non-isotropic points of one type of the polar spaces of type $U(n, 2)$, $O(n, 3)$, $O(n, 5)$, $O^+(n, 3)$, and $O^-(n, 3)$ are not determined by its parameters for $n \geq 6$. We prove this by using a variation of Godsil-McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first aut… ▽ More We show that the strongly regular graph on non-isotropic points of one type of the polar spaces of type $U(n, 2)$, $O(n, 3)$, $O(n, 5)$, $O^+(n, 3)$, and $O^-(n, 3)$ are not determined by its parameters for $n \geq 6$. We prove this by using a variation of Godsil-McKay switching recently described by Wang, Qiu, and Hu. This also results in a new, shorter proof of a previous result of the first author which showed that the collinearity graph of a polar space is not determined by its spectrum. The same switching gives a linear algebra explanation for the construction of a large number of non-isomorphic designs. △ Less

Submitted 14 July, 2019; v1 submitted 7 April, 2019; originally announced April 2019.

Comments: 13 pages, accepted in Linear Algebra and Its Applications

The Independence Number of the Orthogonality Graph in Dimension $2^k$

Authors: Ferdinand Ihringer, Hajime Tanaka

Abstract: We determine the independence number of the orthogonality graph on $2^k$-dimensional hypercubes. This answers a question by Galliard from 2001 which is motivated by a problem in quantum information theory. Our method is a modification of a rank argument due to Frankl who showed the analogous result for $4p^k$-dimensional hypercubes, where $p$ is an odd prime. We determine the independence number of the orthogonality graph on $2^k$-dimensional hypercubes. This answers a question by Galliard from 2001 which is motivated by a problem in quantum information theory. Our method is a modification of a rank argument due to Frankl who showed the analogous result for $4p^k$-dimensional hypercubes, where $p$ is an odd prime. △ Less

Submitted 17 September, 2019; v1 submitted 14 January, 2019; originally announced January 2019.

Comments: 3 pages, accepted by Combinatorica, fixed a minor typo spotted by Peter Sin

Journal ref: Combinatorica 39 (2019) 1425-1428

New and Updated Semidefinite Programming Bounds for Subspace Codes

Authors: Daniel Heinlein, Ferdinand Ihringer

Abstract: We show that $A_2(7,4) \leq 388$ and, more generally, $A_q(7,4) \leq (q^2-q+1)[7]_q + q^4 - 2q^3 + 3q^2 - 4q + 4$ by semidefinite programming for $q \leq 101$. Furthermore, we extend results by Bachoc et al. on SDP bounds for $A_2(n,d)$, where $d$ is odd and $n$ is small, to $A_q(n,d)$ for small $q$ and small $n$. We show that $A_2(7,4) \leq 388$ and, more generally, $A_q(7,4) \leq (q^2-q+1)[7]_q + q^4 - 2q^3 + 3q^2 - 4q + 4$ by semidefinite programming for $q \leq 101$. Furthermore, we extend results by Bachoc et al. on SDP bounds for $A_2(n,d)$, where $d$ is odd and $n$ is small, to $A_q(n,d)$ for small $q$ and small $n$. △ Less

Submitted 30 October, 2020; v1 submitted 25 September, 2018; originally announced September 2018.

MSC Class: Primary: 51E20; Secondary: 05B25; 11T71; 94B25

Journal ref: Advances in Mathematics of Communications, 2020, 14 (4) : 613-630

The Chromatic Number of the $q$-Kneser Graph for $q \geq 5$

Authors: Ferdinand Ihringer

Abstract: We obtain a new weak Hilton-Milner type result for intersecting families of $k$-spaces in $\mathbb{F}_q^{2k}$, which improves several known results. In particular the chromatic number of the $q$-Kneser graph $qK_{n:k}$ was previously known for $n > 2k$ (except for $n=2k+1$ and $q=2$) or $k < q \log q - q$. Our result determines the chromatic number of $qK_{2k:k}$ for $q \geq 5$, so that the only r… ▽ More We obtain a new weak Hilton-Milner type result for intersecting families of $k$-spaces in $\mathbb{F}_q^{2k}$, which improves several known results. In particular the chromatic number of the $q$-Kneser graph $qK_{n:k}$ was previously known for $n > 2k$ (except for $n=2k+1$ and $q=2$) or $k < q \log q - q$. Our result determines the chromatic number of $qK_{2k:k}$ for $q \geq 5$, so that the only remaining open cases are $(n, k) = (2k, k)$ with $q \in \{ 2, 3, 4 \}$ and $(n, k) = (2k+1, k)$ with $q = 2$. △ Less

Submitted 17 February, 2020; v1 submitted 1 June, 2018; originally announced June 2018.

Comments: 9 pages, few typos corrected

Boolean constant degree functions on the slice are juntas

Authors: Yuval Filmus, Ferdinand Ihringer

Abstract: We show that a Boolean degree $d$ function on the slice $\binom{[n]}{k} = \{ (x_1,\ldots,x_n) \in \{0,1\} : \sum_{i=1}^n x_i = k \}$ is a junta, assuming that $k,n-k$ are large enough. This generalizes a classical result of Nisan and Szegedy on the hypercube. Moreover, we show that the maximum number of coordinates that a Boolean degree $d$ function can depend on is the same on the slice and the h… ▽ More We show that a Boolean degree $d$ function on the slice $\binom{[n]}{k} = \{ (x_1,\ldots,x_n) \in \{0,1\} : \sum_{i=1}^n x_i = k \}$ is a junta, assuming that $k,n-k$ are large enough. This generalizes a classical result of Nisan and Szegedy on the hypercube. Moreover, we show that the maximum number of coordinates that a Boolean degree $d$ function can depend on is the same on the slice and the hypercube. △ Less

Submitted 22 January, 2018; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: 10 pages

MSC Class: 05B25; 05E30; 06E30

Boolean degree 1 functions on some classical association schemes

Authors: Yuval Filmus, Ferdinand Ihringer

Abstract: We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young subgroups of the symmetric group). In some settings, Boolean degree 1 functions are also known as \textit{completely regular strength 0 codes of covering radius… ▽ More We investigate Boolean degree 1 functions for several classical association schemes, including Johnson graphs, Grassmann graphs, graphs from polar spaces, and bilinear forms graphs, as well as some other domains such as multislices (Young subgroups of the symmetric group). In some settings, Boolean degree 1 functions are also known as \textit{completely regular strength 0 codes of covering radius 1}, \textit{Cameron--Liebler line classes}, and \textit{tight sets}. We classify all Boolean degree $1$ functions on the multislice. On the Grassmann scheme $J_q(n, k)$ we show that all Boolean degree $1$ functions are trivial for $n \geq 5$, $k, n-k \geq 2$ and $q \in \{ 2, 3, 4, 5 \}$, and that for general $q$, the problem can be reduced to classifying all Boolean degree $1$ functions on $J_q(n, 2)$. We also consider polar spaces and the bilinear forms graphs, giving evidence that all Boolean degree $1$ functions are trivial for appropriate choices of the parameters. △ Less

Submitted 7 October, 2020; v1 submitted 18 January, 2018; originally announced January 2018.

Comments: 22 pages; accepted by JCTA; corrected Conjecture 6.1

MSC Class: 05B25; 05E30; 06E30

Regular Intersecting Families

Authors: Ferdinand Ihringer, Andrey Kupavskii

Abstract: We call a family of sets intersecting, if any two sets in the family intersect. In this paper we investigate intersecting families $\mathcal{F}$ of $k$-element subsets of $[n]:=\{1,\ldots, n\},$ such that every element of $[n]$ lies in the same (or approximately the same) number of members of $\mathcal{F}$. In particular, we show that we can guarantee $|\mathcal{F}| = o({n-1\choose k-1})$ if and o… ▽ More We call a family of sets intersecting, if any two sets in the family intersect. In this paper we investigate intersecting families $\mathcal{F}$ of $k$-element subsets of $[n]:=\{1,\ldots, n\},$ such that every element of $[n]$ lies in the same (or approximately the same) number of members of $\mathcal{F}$. In particular, we show that we can guarantee $|\mathcal{F}| = o({n-1\choose k-1})$ if and only if $k=o(n)$. △ Less

Submitted 1 July, 2019; v1 submitted 29 September, 2017; originally announced September 2017.

Comments: 15 pages, accepted version

The smallest eigenvalues of Hamming graphs, Johnson graphs and other distance-regular graphs with classical parameters

Authors: Andries E. Brouwer, Sebastian M. Cioabă, Ferdinand Ihringer, Matt McGinnis

Abstract: We prove a conjecture by Van Dam and Sotirov on the smallest eigenvalue of (distance-$j$) Hamming graphs and a conjecture by Karloff on the smallest eigenvalue of (distance-$j$) Johnson graphs. More generally, we study the smallest eigenvalue and the second largest eigenvalue in absolute value of the graphs of the relations of classical $P$- and $Q$-polynomial association schemes. We prove a conjecture by Van Dam and Sotirov on the smallest eigenvalue of (distance-$j$) Hamming graphs and a conjecture by Karloff on the smallest eigenvalue of (distance-$j$) Johnson graphs. More generally, we study the smallest eigenvalue and the second largest eigenvalue in absolute value of the graphs of the relations of classical $P$- and $Q$-polynomial association schemes. △ Less

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

Comments: 30 pages, accepted by JCTB

MSC Class: 05C50; 05E30; 33C47; 33D45; 68R10; 90C47

The binary $q$-analogue of the Fano plane has a trivial automorphism group

Authors: John Bamberg, Ferdinand Ihringer, Jesse Lansdown, Gordon Royle

Abstract: A $q$-analogue of a $t$-design is a set $S$ of subspaces (of dimension $k$) of a finite vector space $V$ over a field of order $q$ such that each $t$ subspace is contained in a constant $λ$ number of elements of $S$. The smallest nontrivial feasible parameters occur when $V$ has dimension $7$, $t=2$, $q=2$, and $k=3$; which is the $q$-analogue of a $2$-$(7,3,1)$ design, the Fano plane. The existen… ▽ More A $q$-analogue of a $t$-design is a set $S$ of subspaces (of dimension $k$) of a finite vector space $V$ over a field of order $q$ such that each $t$ subspace is contained in a constant $λ$ number of elements of $S$. The smallest nontrivial feasible parameters occur when $V$ has dimension $7$, $t=2$, $q=2$, and $k=3$; which is the $q$-analogue of a $2$-$(7,3,1)$ design, the Fano plane. The existence of the binary $q$-analogue of the Fano plane has yet to be resolved, and it was shown by Kiermaier et al. (2016) that such a configuration must have an automorphism group of order at most $2$. We show that the binary $q$-analogue of the Fano plane has a trivial automorphism group. △ Less

Submitted 9 October, 2017; v1 submitted 15 September, 2017; originally announced September 2017.

Comments: A crucial mistake in the computations was pointed out to us

MSC Class: 51E20; 51E10

New bounds on the Ramsey number $r(I_m, L_n)$

Authors: Ferdinand Ihringer, Deepak Rajendraprasad, Thilo V. Weinert

Abstract: We investigate the Ramsey numbers $r(I_m, L_n)$ which is the minimal natural number $k$ such that every oriented graph on $k$ vertices contains either an independent set of size $m$ or a transitive tournament on $n$ vertices. Apart from the finitary combinatorial interest, these Ramsey numbers are of interest to set theorists since it is known that $r(ωm, n) = ωr(I_m, L_n)$, where $ω$ is the lowes… ▽ More We investigate the Ramsey numbers $r(I_m, L_n)$ which is the minimal natural number $k$ such that every oriented graph on $k$ vertices contains either an independent set of size $m$ or a transitive tournament on $n$ vertices. Apart from the finitary combinatorial interest, these Ramsey numbers are of interest to set theorists since it is known that $r(ωm, n) = ωr(I_m, L_n)$, where $ω$ is the lowest transfinite ordinal number, and $r(κm, n) = κr(I_m, L_n)$ for all initial ordinals $κ$. Continuing the research by Bermond from 1974 who did show $r(I_3, L_3) = 9$, we prove $r(I_4, L_3) = 15$ and $r(I_5, L_3) = 23$. The upper bounds for both the estimates above are obtained by improving the upper bound of $m^2$ on $r(I_m, L_3)$ due to Larson and Mitchell (1997) to $m^2 - m + 3$. Additionally, we provide asymptotic upper bounds on $r(I_m, L_n)$ for all $n \geq 3$. In particular, we show that $r(I_m, L_3) \in Θ(m^2 / \log m)$. △ Less

Submitted 8 April, 2020; v1 submitted 29 July, 2017; originally announced July 2017.

Comments: 20 pages, incorporated many reviewer's comments

MSC Class: 05C20; 05C55; 05D10

Ovoids of Generalized Quadrangles of Order $(q, q^2-q)$ and Delsarte Cocliques in Related Strongly Regular Graphs

Authors: Mohammad Adm, Ryan Bergen, Ferdinand Ihringer, Sam Jaques, Karen Meagher, Alison Purdy, Boting Yang

Abstract: We investigate strongly regular graphs for which Hoffman's ratio bound and Cvetcović's inertia bound are equal. This means that $ve^- = m^-(e^- - k)$, where $v$ is the number of vertices, $k$ is the regularity, $e^-$ is the smallest eigenvalue, and $m^-$ is the multiplicity of $e^-$. We show that Delsarte cocliques do not exist for all Taylor's $2$-graphs and for point graphs of generalized quadra… ▽ More We investigate strongly regular graphs for which Hoffman's ratio bound and Cvetcović's inertia bound are equal. This means that $ve^- = m^-(e^- - k)$, where $v$ is the number of vertices, $k$ is the regularity, $e^-$ is the smallest eigenvalue, and $m^-$ is the multiplicity of $e^-$. We show that Delsarte cocliques do not exist for all Taylor's $2$-graphs and for point graphs of generalized quadrangles of order $(q,q^2-q)$ for infinitely many $q$. For cases where equality may hold, we show that for nearly all parameter sets, there are at most two Delsarte cocliques. △ Less

Submitted 11 February, 2021; v1 submitted 4 May, 2017; originally announced May 2017.

Comments: 11 pages, accepted by the Journal of Combinatorial Designs plus several minor corrections

MSC Class: 51E12; 05B05; 05C69; 05E30

Infection in Hypergraphs

Authors: Ryan Bergen, Shaun Fallat, Adam Gorr, Ferdinand Ihringer, Karen Meagher, Alison Purdy, Boting Yang, Guanglong Yu

Abstract: In this paper a new parameter for hypergraphs called hypergraph infection is defined. This concept generalizes zero forcing in graphs to hypergraphs. The exact value of the infection number of complete and complete bipartite hypergraphs is determined. A formula for the infection number for interval hypergraphs and several families of cyclic hypergraphs is given. The value of the infection number f… ▽ More In this paper a new parameter for hypergraphs called hypergraph infection is defined. This concept generalizes zero forcing in graphs to hypergraphs. The exact value of the infection number of complete and complete bipartite hypergraphs is determined. A formula for the infection number for interval hypergraphs and several families of cyclic hypergraphs is given. The value of the infection number for a hypergraph whose edges form a symmetric t-design is given, and bounds are determined for a hypergraph whose edges are a t-design. Finally, the infection number for several hypergraph products and line graphs are considered. △ Less

Submitted 28 July, 2016; originally announced July 2016.

Comments: 23 pages

MSC Class: 05C65

Some non-existence results for distance-$j$ ovoids in small generalized polygons

Authors: Anurag Bishnoi, Ferdinand Ihringer

Abstract: We give a computer-based proof for the non-existence of distance-$2$ ovoids in the dual split Cayley hexagon $\mathsf{H}(4)^D$. Furthermore, we give upper bounds on partial distance-$2$ ovoids of $\mathsf{H}(q)^D$ for $q \in \{2, 4\}$. We give a computer-based proof for the non-existence of distance-$2$ ovoids in the dual split Cayley hexagon $\mathsf{H}(4)^D$. Furthermore, we give upper bounds on partial distance-$2$ ovoids of $\mathsf{H}(q)^D$ for $q \in \{2, 4\}$. △ Less

Submitted 23 June, 2016; originally announced June 2016.

Comments: 10 pages

Manickam-Miklós-Singhi Conjectures on Partial Geometries

Authors: Ferdinand Ihringer, Karen Meagher

Abstract: In this paper we give a proof of the Manickam-Miklós-Singhi (MMS) conjecture for some partial geometries. Specifically, we give a condition on partial geometries which implies that the MMS conjecture holds. Further, several specific partial geometries that are counter-examples to the conjecture are described. In this paper we give a proof of the Manickam-Miklós-Singhi (MMS) conjecture for some partial geometries. Specifically, we give a condition on partial geometries which implies that the MMS conjecture holds. Further, several specific partial geometries that are counter-examples to the conjecture are described. △ Less

Submitted 10 August, 2017; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 15 pages, accepted in DCC, corrected ordering of the Ms in MMS in title and abstract

MSC Class: 05B25; 51E20; 05E30

A Switching for all Strongly Regular Collinearity Graphs From Polar Spaces

Authors: Ferdinand Ihringer

Abstract: We describe a general construction of strongly regular graphs from the collinearity graph of a finite classical polar spaces of rank at least $3$ over a finite field of order $q$. We show that these graphs are non-isomorphic to the collinearity graphs and have the same parameters. To our knowledge for most of these parameters these graphs are new as the collinearity graphs were the only known exam… ▽ More We describe a general construction of strongly regular graphs from the collinearity graph of a finite classical polar spaces of rank at least $3$ over a finite field of order $q$. We show that these graphs are non-isomorphic to the collinearity graphs and have the same parameters. To our knowledge for most of these parameters these graphs are new as the collinearity graphs were the only known examples. △ Less

Submitted 31 July, 2017; v1 submitted 19 June, 2016; originally announced June 2016.

Comments: 11 pages, older version published in the Journal of Algebraic Combinatorics, fixed a typo in Lemma 3.5 and added a comment due to Kantor

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

New Bounds for Partial Spreads of $H(2d-1, q^2)$ and Partial Ovoids of the Ree-Tits Octagon

Authors: Ferdinand Ihringer, Peter Sin, Qing Xiang

Abstract: Two results are obtained that give upper bounds on partial spreads and partial ovoids respectively. The first result is that the size of a partial spread of the Hermitian polar space $\mathsf{H}(3, q^2)$ is at most $\left(\frac{2p^3+p}{3} \right)^t+1$, where $q=p^t$, $p$ is a prime. For fixed $p$ this bound is in $o(q^3)$, which is asymptotically better than the previous best known bound of… ▽ More Two results are obtained that give upper bounds on partial spreads and partial ovoids respectively. The first result is that the size of a partial spread of the Hermitian polar space $\mathsf{H}(3, q^2)$ is at most $\left(\frac{2p^3+p}{3} \right)^t+1$, where $q=p^t$, $p$ is a prime. For fixed $p$ this bound is in $o(q^3)$, which is asymptotically better than the previous best known bound of $(q^3+q+2)/2$. Similar bounds for partial spreads of $\mathsf{H}(2d-1, q^2)$, $d$ even, are given. The second result is that the size of a partial ovoid of the Ree-Tits octagon $\mathsf{O}(2^t)$ is at most $26^t+1$. This bound, in particular, shows that the Ree-Tits octagon $\mathsf{O}(2^t)$ does not have an ovoid. △ Less

Submitted 20 February, 2020; v1 submitted 21 April, 2016; originally announced April 2016.

Comments: 8 pages, corrected a false claim on collineations in the Ree-Tits octagon, see arXiv:2002.07977v1 [math.GR], Remark 2.3

Journal ref: J. Comb. Theory A 153 (2018) 46-53

Large $\{0, 1, \ldots, t\}$-Cliques in Dual Polar Graphs

Authors: Ferdinand Ihringer, Klaus Metsch

Abstract: We investigate $\{0, 1, \ldots, t \}$-cliques of generators on dual polar graphs of finite classical polar spaces of rank $d$. These cliques are also known as Erdős-Ko-Rado sets in polar spaces of generators with pairwise intersections in at most codimension $t$. Our main result is that we classify all such cliques of maximum size for $t \leq \sqrt{8d/5}-2$ if $q \geq 3$, and… ▽ More We investigate $\{0, 1, \ldots, t \}$-cliques of generators on dual polar graphs of finite classical polar spaces of rank $d$. These cliques are also known as Erdős-Ko-Rado sets in polar spaces of generators with pairwise intersections in at most codimension $t$. Our main result is that we classify all such cliques of maximum size for $t \leq \sqrt{8d/5}-2$ if $q \geq 3$, and $t \leq \sqrt{8d/9}-2$ if $q = 2$. We have the following byproducts. (a) For $q \geq 3$ we provide estimates of Hoffman's bound on these $\{0, 1, \ldots, t \}$-cliques for all $t$. (b) For $q \geq 3$ we determine the largest, second largest, and smallest eigenvalue of the graphs which have the generators of a polar space as vertices and where two generators are adjacent if and only if they meet in codimension at least $t+1$. Furthermore, we provide nice explicit formulas for all eigenvalues of these graphs. (c) We provide upper bounds on the size of the second largest maximal $\{0, 1, \ldots, t \}$-cliques for some $t$. △ Less

Submitted 6 October, 2015; originally announced October 2015.

Comments: 30 pages including appendix

MSC Class: 51E20; 05B25; 52C10

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

Cross-Intersecting Erdős-Ko-Rado Sets in Finite Classical Polar Spaces

Authors: Ferdinand Ihringer

Abstract: A cross-intersecting Erdős-Ko-Rado set of generators of a finite classical polar space is a pair $(Y, Z)$ of sets of generators such that all $y \in Y$ and $z \in Z$ intersect in at least a point. We provide upper bounds on $|Y| \cdot |Z|$ and classify the cross-intersecting Erdős-Ko-Rado sets of maximum size with respect to $|Y| \cdot |Z|$ for all polar spaces except Hermitian polar spaces in odd… ▽ More A cross-intersecting Erdős-Ko-Rado set of generators of a finite classical polar space is a pair $(Y, Z)$ of sets of generators such that all $y \in Y$ and $z \in Z$ intersect in at least a point. We provide upper bounds on $|Y| \cdot |Z|$ and classify the cross-intersecting Erdős-Ko-Rado sets of maximum size with respect to $|Y| \cdot |Z|$ for all polar spaces except Hermitian polar spaces in odd projective dimension. △ Less

Submitted 11 September, 2014; originally announced September 2014.

MSC Class: 51E20; 05B25

A Note on the Manickam-Miklós-Singhi Conjecture for Vector Spaces

Authors: Ferdinand Ihringer

Abstract: Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Define a real-valued weight function on the $1$-dimensional vector spaces of $V$ such that the sum of all weights is zero. Let the weight of a subspace $S$ be the sum of the weights of the $1$-dimensional subspaces contained in $S$. In 1988 Manickam and Singhi conjectured that if $n \geq 4k$, then the number of $k$-dime… ▽ More Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. Define a real-valued weight function on the $1$-dimensional vector spaces of $V$ such that the sum of all weights is zero. Let the weight of a subspace $S$ be the sum of the weights of the $1$-dimensional subspaces contained in $S$. In 1988 Manickam and Singhi conjectured that if $n \geq 4k$, then the number of $k$-dimensional subspaces with nonnegative weight is at least the number of $k$-dimensional subspaces on a fixed $1$-dimensional subspace. Recently, Chowdhury, Huang, Sarkis, Shahriari, and Sudakov proved the conjecture of Manickam and Singhi for $n \geq 3k$. We modify the technique used by Chowdhury et al. to prove the conjecture for $n \geq 2k$ if $q$ is large. Furthermore, if equality holds and $n \geq 2k+1$, then the set of $k$-dimensional subspaces with nonnegative weight is the set of all $k$-dimensional subspaces on a fixed $1$-dimensional subspace. △ Less

Submitted 13 February, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

Comments: 15 pages; this version fixes typos and some minor mistakes, also some proofs got a bit more explicit for an easier understanding

MSC Class: 51E20; 52C10

A Characterization of the Natural Embedding of the Split Cayley Hexagon in PG(6,q) by Intersection Numbers in Finite Projective Spaces of Arbitrary Dimension

Authors: Ferdinand Ihringer

Abstract: We prove that a non-empty set L of at most q^5+q^4+q^3+q^2+q+1 lines of PG(n, q) with the properties that (1) every point of PG(n,q) is incident with either 0 or q+1 elements of L, (2) every plane plane of PG(n, q) is incident with either 0, 1 or q+1 elements of L, (3) every solid of PG(n, q) is incident with either 0, 1, q+1 or 2q+1 elements of L, and (4) every 4-dimensional subspace of PG(n, q)… ▽ More We prove that a non-empty set L of at most q^5+q^4+q^3+q^2+q+1 lines of PG(n, q) with the properties that (1) every point of PG(n,q) is incident with either 0 or q+1 elements of L, (2) every plane plane of PG(n, q) is incident with either 0, 1 or q+1 elements of L, (3) every solid of PG(n, q) is incident with either 0, 1, q+1 or 2q+1 elements of L, and (4) every 4-dimensional subspace of PG(n, q) is incident with at most q^3-q^2+4q elements of L, is necessarily the set of lines of a split Cayley hexagon H(q) naturally embedded in PG(6, q). △ Less

Submitted 3 May, 2014; v1 submitted 31 July, 2013; originally announced July 2013.

MSC Class: 51E12; 51E20

Journal ref: Discrete Mathematics, 314, 42-49 (2014). ISSN 0012-365X