arXiv++ Combinatorics

Let $k>t\ge 1$ be integers and set $d=k-t$. A $k$-uniform hypergraph $\mathcal F$ is called $t$-intersecting if any two edges intersect in at least $t$ vertices, and is called $t$-critical if its minimum $t$-transversal has size $k$. Frankl proved that, for $k\ge d^4$,$|\mathcal F|\le \binom{k+d}{d},$ with equality only for the complete $k$-graph on $k+d$ vertices, and conjectured that the same conclusion should hold when $k>c d^2$ for some constant $c$. In this paper we confirm this conjecture for $c=30$. The proof relies on Frankl's fixed-edge decomposition and Füredi's pseudo-sunflower method.

The Erdős Matching Conjecture concerns the maximum number of hyperedges in an $r$-uniform hypergraph with bounded matching number. In this paper, we study a spectral counterpart of this conjecture. For sufficiently large $n$, we determine the maximum spectral radius over all $n$-vertex $r$-uniform hypergraphs whose matching number is less than $s$, and characterize the unique extremal hypergraph. To establish the main theorem, we first apply the shifting method to reduce the problem to shifted hypergraphs. We then derive several spectral upper bounds through hypergraph decomposition and related variational estimates for tensor spectral radii. With these estimates, we analyze the structural properties of shifted-saturated hypergraphs and prove the spectral extremal theorem for shifted hypergraphs with bounded matching numbers. Finally, we drop the shifted condition and extend our spectral bound to general $r$-uniform hypergraphs. Our main theorem states that for any $n$-vertex $r$-uniform hypergraph $H$ with matching number $ν(H)<s$, the inequality $ρ(H)\leq ρ(\mathcal{F}_{s-1}(n))$ holds whenever $n$ is sufficiently large. Here $\mathcal{F}_{a}(n)$ denotes the family of all $r$-subsets of $[n]$ intersecting the vertex set $[a]$, and equality is attained if and only if $H$ is isomorphic to $\mathcal{F}_{s-1}(n)$. As an immediate corollary, we derive a spectral counterpart of the classical Erdős-Ko-Rado theorem for intersecting hypergraph families.

Let $g(r)$ be the minimum number of edges in an $r$-uniform intersecting hypergraph with cover number $r$. Erdős and Lovász proved the lower bound $g(r)\ge 8r/3-3$. We first give a completely elementary proof that $g(r)\ge 3r-4$. We then build on the same approach and apply Kahn's small-codegree hypergraph edge-colouring theorem to improve this to $g(r)\ge (61/20-o(1))r$. To the best of our knowledge, this is the first improvement over the Erdős-Lovász lower bound in about fifty years.

Let $\binom{[n]}{k}$ denote the collection of all $k$-subsets of the standard $n$-set $[n]=\{1,2,\ldots,n\}$. Let $n>2k$ and let $\mathcal{F}\subset \binom{[n]}{k}$ be an {\it intersecting} $k$-graph, i.e., $F\cap F'\neq \emptyset$ for all $F,F'\in \mathcal{F}$. The number of edges $F\in \mathcal{F}$ containing $x\in [n]$ is called the {\it degree} of $x$. Assume that $d_1\geq d_2\geq \ldots\geq d_n$ are the degrees of $\mathcal{F}$ in decreasing order. An important result of Huang and Zhao states that for $n>2k$ the minimum degree $d_n$ is at most $\binom{n-2}{k-2}$. For $n\geq 6k-9$ we strengthen this result by showing $d_{2k+1}\leq \binom{n-2}{k-2}$. As to the second and third largest degrees we prove the best possible bound $d_3\leq d_2\leq \binom{n-2}{k-2}+\binom{n-3}{k-2}$ for $n>2k$. Several more best possible results of a similar nature are established.

Determining the maximum number of edges in an intersecting hypergraph on a fixed ground set under additional constraints is one of the central topics in extremal combinatorics. In contrast, there are few results on analogous problems concerning the maximum order of such hypergraphs. In this paper, we systematically study these vertex analogues.

In their famous 1974 paper introducing the local lemma, Erdős and Lovász posed a question-later referred by Erdős as one of his three favorite open problems: What is the minimum number of edges in an $r$-uniform, intersecting hypergraph with cover number $r$? This question was solved up to a constant factor in Kahn's remarkable 1994 paper. More recently, motivated by applications to Bollobás' ''power of many colours'' problem, Alon, Bucić, Christoph, and Krivelevich introduced a natural generalization by imposing a space constraint that limits the hypergraph to use only $n$ vertices. In this note we settle this question asymptotically, up to a logarithmic factor in $n/r$ in the exponent, for the entire range.

The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong chromatic number for $c\geq t+2$. Our characterisation also applies to hypergraphs which exclude sunflowers with specified parameters.

Let $\mathcal{F}\subset \binom{X}{k}$ be a family consisting of $k$-subsets of the $n$-set $X$. Suppose that $\mathcal{F}$ is intersecting, i.e., $F\cap F'\neq \emptyset$ for all $F,F'\in \mathcal{F}$. Let $Δ(\mathcal{F})$ be the maximum degree of $\mathcal{F}$. For a constant $C\geq 1$ the $C$-diversity, $γ_C(\mathcal{F})$ is defined as $|\mathcal{F}|-CΔ(\mathcal{F})$. Define $\mathcal{F}_{123} =\left\{F\in \binom{X}{k}\colon |F\cap \{1,2,3\}|=2\right\}$. It has $C$-diversity $(3-2C)\binom{n-3}{k-2}$. The main result shows that for $1< C<\frac{3}{2}$ and $n\geq \frac{42}{3-2C}k$, $γ_C(\mathcal{F})\leq γ_C(\mathcal{F}_{123})$ with equality if and only if $\mathcal{F}$ is isomorphic to $\mathcal{F}_{123}$. For the case of ordinary diversity $(C=1)$ a strong stability is proven.

For a family $\mathcal{F}\subset \binom{[n]}{k}$ and two elements $x,y\in [n]$ define $\mathcal{F}(\bar{x},\bar{y})=\{F\in \mathcal{F}\colon x\notin F,\ y\notin F\}$. The double-diversity $γ_2(\mathcal{F})$ is defined as the minimum of $|\mathcal{F}(\bar{x},\bar{y})|$ over all pairs $x,y$. Let $\mathcal{L}\subset\binom{[7]}{3}$ consist of the seven lines of the Fano plane. For $n\geq 7$, $k\geq 3$ one defines the Fano $k$-graph $\mathcal{F}_{\mathcal{L}}$ as the collection of all $k$-subsets of $[n]$ that contain at least one line. It is proven that for $n\geq 13k^2$ the Fano $k$-graph is the essentially unique family maximizing the double diversity over all $k$-graphs without a pair of disjoint edges. Some similar, although less exact results are proven for triple and higher diversity as well.

For positive integers $n>k>t$ let $\binom{[n]}{k}$ denote the collection of all $k$-subsets of the standard $n$-element set $[n]=\{1,\ldots,n\}$. Subsets of $\binom{[n]}{k}$ are called $k$-graphs. A $k$-graph $\mathcal{F}$ is called $t$-intersecting if $|F\cap F'|\geq t$ for all $F,F'\in \mathcal{F}$. One of the central results of extremal set theory is the Erdős-Ko-Rado Theorem which states that for $n\geq (k-t+1)(t+1)$ no $t$-intersecting $k$-graph has more than $\binom{n-t}{k-t}$ edges. For $n$ greater than this threshold the $t$-star (all $k$-sets containing a fixed $t$-set) is the only family attaining this bound. Define $\mathcal{F}(i)=\{F\setminus \{i\}\colon i\in F\in \mathcal{F}\}$. The quantity $\varrho(\mathcal{F})=\max\limits_{1\leq i\leq n}|\mathcal{F}(i)|/|\mathcal{F}|$ measures how close a $k$-graph is to a star. The main result (Theorem 1.5) shows that $\varrho(\mathcal{F})>1/d$ holds if $\mathcal{F}$ is 1-intersecting, $|\mathcal{F}|>2^dd^{2d+1}\binom{n-d-1}{k-d-1}$ and $n\geq 4(d-1)dk$. Such a statement can be deduced from the results of \cite{F78-2} and \cite{DF}, however only for much larger values of $n/k$ and/or $n$. The proof is purely combinatorial, it is based on a new method: shifting ad extremis. The same method is applied to obtain some nearly optimal bounds in the case of $t\geq 2$ (Theorem 1.11) along with a number of related results.

For a hypergraph $\mathcal{H}$, define the minimum positive codegree $δ_i^+(\mathcal{H})$ to be the largest integer $k$ such that every $i$-set which is contained in at least one edge of $\mathcal{H}$ is contained in at least $k$ edges. For $1\le s\le k,t$ and $t\le r$, we prove that for $n$-vertex $t$-intersecting $r$-graphs $\mathcal{H}$ with $δ_{r-s}^+(\mathcal{H})>{k-1\choose s}$, the unique hypergraph with the maximum number of edges is the hypergraph $\mathcal{H}$ consisting of every edge which intersects a set of size $2k-2s+t$ in at least $k-s+t$ vertices provided $n$ is sufficiently large. This generalizes work of Balogh, Lemons, and Palmer who proved this for $s=t=1$, as well as the Erdős-Ko-Rado theorem when $k=s$.

Erdős and Lovász noticed that an $r$-uniform intersecting hypergraph $H$ with maximal covering number, that is $τ(H)=r$, must have at least $\frac{8}{3}r-3$ edges. There has been no improvement on this lower bound for 45 years. We try to understand the reason by studying some small cases to see whether the truth lies very close to this simple bound. Let $q(r)$ denote the minimum number of edges in an intersecting $r$-uniform hypergraph. It was known that $q(3)=6$ and $q(4)=9$. We obtain the following new results: The extremal example for uniformity 4 is unique. Somewhat surprisingly it is not symmetric by any means. For uniformity 5, $q(5)=13$, and we found 3 examples, none of them being some known graph. We use both theoretical arguments and computer searches. In the footsteps of Erdős and Lovász, we also consider the special case, when the hypergraph is part of a finite projective plane. We determine the exact answer for $r\in \{3,4,5,6\}$. For uniformity 6, there is a unique extremal example. In a related question, we try to find $2$-intersecting $r$-uniform hypergraphs with maximal covering number, that is $τ(H)=r-1$. An infinite family of examples is to take all possible $r$-sets of a $(2r-2)$-vertex set. There is also a geometric candidate: biplanes. These are symmetric 2-designs with $λ=2$. We determined that only 3 biplanes of the 18 known examples are extremal.

For a hypergraph $H$, define its intersection spectrum $I(H)$ as the set of all intersection sizes $|E\cap F|$ of distinct edges $E,F\in E(H)$. In their seminal paper from 1973 which introduced the local lemma, Erdős and Lovász asked: how large must the intersection spectrum of a $k$-uniform $3$-chromatic intersecting hypergraph be? They showed that such a hypergraph must have at least three intersection sizes, and conjectured that the size of the intersection spectrum tends to infinity with $k$. Despite the problem being reiterated several times over the years by Erdős and other researchers, the lower bound of three intersection sizes has remarkably withstood any improvement until now. In this paper, we prove the Erdős-Lovász conjecture in a strong form by showing that there are at least $k^{1/2-o(1)}$ intersection sizes. Our proof consists of a delicate interplay between Ramsey type arguments and a density increment approach.

Let $X$ be an $n$-element set, where $n$ is even. We refute a conjecture of J. Gordon and Y. Teplitskaya, according to which, for every maximal intersecting family $\mathcal{F}$ of $\frac{n}2$-element subsets of $X$, one can partition $X$ into $\frac{n}2$ disjoint pairs in such a way that no matter how we pick one element from each of the first $\frac{n}2 - 1$ pairs, the set formed by them can always be completed to a member of $\mathcal{F}$ by adding an element of the last pair. The above problem is related to classical questions in extremal set theory. For any $t\ge 2$, we call a family of sets $\mathcal{F}\subset 2^X$ {\em $t$-separable} if for any ordered pair of elements $(x,y)$ of $X$, there exists $F\in\mathcal{F}$ such that $F\cap\{x,y\}=\{x\}$. For a fixed $t, 2\le t\le 5$ and $n\rightarrow\infty$, we establish asymptotically tight estimates for the smallest integer $s=s(n,t)$ such that every family $\mathcal{F}$ with $|\mathcal{F}|\ge s$ is $t$-separable.

A well-known conjecture, often attributed to Ryser, states that the cover number of an $r$-partite $r$-uniform hypergraph is at most $r - 1$ times larger than its matching number. Despite considerable effort, particularly in the intersecting case, this conjecture remains wide open, motivating the pursuit of variants of the original conjecture. Recently, Bustamante and Stein and, independently, Király and Tóthmérész considered the problem under the assumption that the hypergraph is $t$-intersecting, conjecturing that the cover number $τ(\mathcal{H})$ of such a hypergraph $\mathcal{H}$ is at most $r - t$. In these papers, it was proven that the conjecture is true for $r \leq 4t-1$, but also that it need not be sharp; when $r = 5$ and $t = 2$, one has $τ(\mathcal{H}) \leq 2$. We extend these results in two directions. First, for all $t \geq 2$ and $r \leq 3t-1$, we prove a tight upper bound on the cover number of these hypergraphs, showing that they in fact satisfy $τ(\mathcal{H}) \leq \lfloor(r - t)/2 \rfloor + 1$. Second, we extend the range of $t$ for which the conjecture is known to be true, showing that it holds for all $r \leq \frac{36}{7}t-5$. We also introduce several related variations on this theme. As a consequence of our tight bounds, we resolve the problem for $k$-wise $t$-intersecting hypergraphs, for all $k \geq 3$ and $t \geq 1$. We further give bounds on the cover numbers of strictly $t$-intersecting hypergraphs and the $s$-cover numbers of $t$-intersecting hypergraphs.

We investigate the combinatorial structure of subspaces of the exterior algebra of a finite-dimensional real vector space, working in parallel with the extremal combinatorics of hypergraphs. Using initial monomials, projections of the underlying vector space onto subspaces, and the interior product, we find analogues of local and global LYM inequalities, the Erdős-Ko-Rado theorem, and the Ahlswede-Khachatrian bound for $t$-intersecting hypergraphs. Using these tools, we prove a new extension of the Two Families Theorem of Bollobás, giving a weighted bound for subspace configurations satisfying a skew cross-intersection condition. We also verify a recent conjecture of Gerbner, Keszegh, Methuku, Abhishek, Nagy, Patkós, Tompkins, and Xiao on pairs of set systems satisfying both an intersection and a cross-intersection condition.

Let $\mathcal{H}$ be a hypergraph of rank $r$. We show that the simplicial complex whose simplices are the hypergraphs $\mathcal{F}\subset\mathcal{H}$ with covering number at most $p$ is $\left(\binom{r+p}{r}-1\right)$-collapsible, and the simplicial complex whose simplices are the pairwise intersecting hypergraphs $\mathcal{F}\subset\mathcal{H}$ is $\frac{1}{2}\binom{2r}{r}$-collapsible.

A famous conjecture (usually called Ryser's conjecture) that appeared in the Ph.D thesis of his student, J.~R.~Henderson [15], states that for an $r$-uniform $r$-partite hypergraph $\mathcal{H}$, the inequality $τ(\mathcal{H})\le(r-1)\cdot ν(\mathcal{H})$ always holds. This conjecture is widely open, except in the case of $r=2$, when it is equivalent to K\H onig's theorem [18], and in the case of $r=3$, which was proved by Aharoni in 2001 [3]. Here we study some special cases of Ryser's conjecture. First of all the most studied special case is when $\mathcal{H}$ is intersecting. Even for this special case, not too much is known: this conjecture is proved only for $r\le 5$ in [10,21]. For $r>5$ it is also widely open. Generalizing the conjecture for intersecting hypergraphs, we conjecture the following. If an $r$-uniform $r$-partite hypergraph $\mathcal{H}$ is $t$-intersecting (i.e., every two hyperedges meet in at least $t<r$ vertices), then $τ(\mathcal{H})\le r-t$. We prove this conjecture for the case $t> r/4$. Gyárfás [10] showed that Ryser's conjecture for intersecting hypergraphs is equivalent to saying that the vertices of an $r$-edge-colored complete graph can be covered by $r-1$ monochromatic components. Motivated by this formulation, we examine what fraction of the vertices can be covered by $r-1$ monochromatic components of \emph{different} colors in an $r$-edge-colored complete graph. We prove a sharp bound for this problem. Finally we prove Ryser's conjecture for the very special case when the maximum degree of the hypergraph is two.

Let $S^r(n)$ be the $r$-graph on $n$ vertices with parts $A$ and $B$, where the edges consist of all $r$-tuples with $1$ vertex in $A$ and $r-1$ vertices in $B$, and the sizes of $A$ and $B$ are chosen to maximise the number of edges. Let $M_t^r$ be the $r$-graph with $t$ pairwise disjoint edges. Given an $r$-graph $F$ and a positive integer $p\geq |V(F)|$, we define the {\em extension} of $F$, denoted by $H_{p}^{F}$ as follows: Label the vertices of $F$ as $v_1,\dots,v_{|V(F)|}$. Add new vertices $v_{|V(F)|+1},\dots,v_{p}$. For each pair of vertices $v_i,v_j, 1\le i<j \le p$ not contained in an edge of $F$, we add a set $B_{ij}$ of $r-2$ new vertices and the edge $\{v_i,v_j\} \cup B_{ij}$, where the $B_{ij}$ 's are pairwise disjoint over all such pairs $\{i,j\}$. Hefetz and Keevash conjectured that the Turán number of the extension of $M_2^r$ is ${1 \over r}n\cdot{{r-1\over r}n \choose r-1}$ for $r \ge 4$ and sufficiently large $n$. Moreover, if $n$ is sufficiently large and $G$ is an $H_{2r}^{M_2^r}$-free $r$-graph with $n$ vertices and ${1 \over r}n\cdot{{r-1\over r}n \choose r-1}$ edges, then $G$ is isomorphic to $S^r(n)$. In this paper, we confirm the above conjecture for $r=4$.

A matching in a hypergraph $H$ is a set of pairwise disjoint hyperedges. The matching number $α'(H)$ of $H$ is the size of a maximum matching in $H$. A subset $D$ of vertices of $H$ is a dominating set of $H$ if for every $v\in V\setminus D$ there exists $u\in D$ such that $u$ and $v$ lie in an hyperedge of $H$. The cardinality of a minimum dominating set of $H$ is called the domination number of $H$, denoted by $γ(H)$. It is known that for a intersecting hypergraph $H$ with rank $r$, $γ(H)\leq r-1$. In this paper we present structural properties on intersecting hypergraphs with rank $r$ satisfying the equality $γ(H)=r-1$. By applying the properties we show that all linear intersecting hypergraphs $H$ with rank $4$ satisfying $γ(H)=r-1$ can be constructed by the well-known Fano plane.