arXiv++ Combinatorics

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)$.

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.

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.

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)$.

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.

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.

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\}$.

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.

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.

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.

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$.

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.

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.

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.

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).