arXiv++ Combinatorics

Let $Π_q$ be an arbitrary finite projective plane of order $q$. A subset $S$ of its points is called saturating if any point outside $S$ is collinear with a pair of points from $S$. Applying probabilistic tools we improve the upper bound on the smallest possible size of the saturating set to $\lceil\sqrt{3q\ln{q}}\rceil+ \lceil(\sqrt{q}+1)/2\rceil$. The same result is presented using an algorithmic approach as well, which points out the connection with the transversal number of uniform multiple intersecting hypergraphs.

We give a construction of r-partite r-uniform intersecting hypergraphs with cover number at least r-4 for all but finitely many r. This answers a question of Abu-Khazneh, Barat, Pokrovskiy and Szabo, and shows that a long-standing unsolved conjecture due to Ryser is close to being best possible for every value of r.

Let $c$ be a positive constant. We show that if $r=\lfloor cn^{1/3}\rfloor$ and the members of ${[n]\choose r}$ are chosen sequentially at random to form an intersecting hypergraph then with limiting probability $(1+c^3)^{-1}$, as $n\to\infty$, the resulting family will be of maximum size ${n-1\choose r-1}$.

Let $c$ be a positive constant. Suppose that $r=o(n^{5/12})$ and the members of $\binom{[n]}{r}$ are chosen sequentially at random to form an intersecting hypergraph $\mathcal{H}$. We show that whp $\mathcal{H}$ consists of a simple hypergraph $\mathcal{S}$ of size $Θ(r/n^{1/3})$, a distinguished vertex $v$ and all $r$-sets which contain $v$ and meet every edge of $\mathcal{S}$. This is a continuation of the study of such random intersecting systems started in [Electron. J. Combin, (2003) R29] where the case $r=O(n^{1/3})$ was considered. To obtain the stated result we continue to investigate this question in the range $ω(n^{1/3})\le r \le o(n^{5/12})$.

A well-known special case of a conjecture attributed to Ryser states that k-partite intersecting hypergraphs have transversals of at most k-1 vertices. An equivalent form was formulated by Gyárfás: if the edges of a complete graph K are colored with k colors then the vertex set of K can be covered by at most k-1 sets, each connected in some color. It turned out that the analogue of the conjecture for hypergraphs can be answered: Z. Király proved that in every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >= 3), the vertex set of K^r can be covered by at most $\lceil k/r \rceil$ sets, each connected in some color. Here we investigate the analogue problem for complete r-uniform r-partite hypergraphs. An edge coloring of a hypergraph is called spanning if every vertex is incident to edges of any color used in the coloring. We propose the following analogue of Ryser conjecture. In every spanning (r+t)-coloring of the edges of a complete r-uniform r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each connected in some color. Our main result is that the conjecture is true for 1 <= t <= r-1. We also prove a slightly weaker result for t >= r, namely that t+2 sets, each connected in some color, are enough to cover the vertex set. To build a bridge between complete r-uniform and complete r-uniform r-partite hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform (r,l)-partite if it has all r-sets that intersect each partite class in at most l vertices. Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l <= r, k >= 1+r-l, in every spanning k-coloring of the edges of a complete r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most 1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.

A matching in a hypergraph $H$ is a set of pairwise vertex disjoint edges in $H$ and the matching number of $H$ is the maximum cardinality of a matching in $H$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. The transversal number $τ(H)$ of $H$ is the minimum cardinality of a transversal in $H$. A hypergraph $H$ is an intersecting hypergraph if every two distinct edges of $H$ have a non-empty intersection. Equivalently, $H$ is an intersecting hypergraph if and only if it has matching number one. In this paper we study the extremal behavior of matching critical intersecting hypergraphs. We partly solve an open problem on matching critical intersecting hypergraphs posed by Henning and Yeo. We also prove a strengthening of the result for intersecting $r$-uniform hypergraphs.

Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane.

Given an integer $r$ and a vector $\vec{a}=(a_1, \ldots ,a_p)$ of positive numbers with $\sum_{i \le p} a_i=r$, an $r$-uniform hypergraph $H$ is said to be $\vec{a}$-partitioned if $V(H)=\bigcup_{i \le p}V_i$, where the sets $V_i$ are disjoint, and $|e \cap V_i|=a_i$ for all $e \in H,~~i \le p$. A $\vec{1}$-partitioned hypergraph is said to be $r$-partite. Let $t(\vec{a})$ be the maximum, over all intersecting $\vec{a}$-partitioned hypergraphs $H$, of the minimal size of a cover of $H$. A famous conjecture of Ryser is that $t(\vec{1})\le r-1$. Tuza conjectured that if $r>2$ then $t(\vec{a})=r$ for every two components vector $\vec{a}=(a,b)$. We prove this conjecture whenever $a\neq b$, and also for $\vec{a}=(2,2)$ and $\vec{a}=(4,4)$.

Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph the vertex cover number is at most $r-1$ times the matching number. This conjecture is only known to be true for $r\leq 3$. For intersecting hypergraphs, Ryser's Conjecture reduces to saying that the edges of every $r$-partite intersecting hypergraph can be covered by $r-1$ vertices. This special case of the conjecture has only been proven for $r \leq 5$. It is interesting to study hypergraphs which are extremal in Ryser's Conjecture i.e, those hypergraphs for which the vertex cover number is exactly $r-1$ times the matching number. There are very few known constructions of such graphs. For large $r$ the only known constructions come from projective planes and exist only when $r-1$ is a prime power. Mansour, Song and Yuster studied how few edges a hypergraph which is extremal for Ryser's Conjecture can have. They defined $f(r)$ as the minimum integer so that there exist an $r$-partite intersecting hypergraph $\mathcal{H}$ with $τ({\mathcal{H}}) = r -1$ and with $f(r)$ edges. They showed that $f(3) = 3, f(4) = 6$, $f(5) = 9$, and $12\leq f(6)\leq 15$. In this paper we focus on the cases when $r=6$ and 7. We show that $f(6)=13$ improving previous bounds. We also show that $f(7)\leq 22$, giving the first known extremal hypergraphs for the $r=7$ case of Ryser's Conjecture. These results have been obtained independently by Aharoni, Barat, and Wanless.

The celebrated Erdős-Ko-Rado theorem shows that for $n \ge 2k$ the largest intersecting $k$-uniform set family on $[n]$ has size $\binom{n-1}{k-1}$. It is natural to ask how far from intersecting larger set families must be. Katona, Katona and Katona introduced the notion of most probably intersecting families, which maximise the probability of random subfamilies being intersecting. We study the most probably intersecting problem for $k$-uniform set families. We provide a rough structural characterisation of the most probably intersecting families and, for families of particular sizes, show that the initial segment of the lexicographic order is optimal.

A hypergraph is 2-intersecting if any two edges intersect in at least two vertices. Blais, Weinstein and Yoshida asked (as a first step to a more general problem) whether every 2-intersecting hypergraph has a vertex coloring with a constant number of colors so that each hyperedge e has at least min{|e|,3} colors. We show that there is such a coloring with at most 5 colors (which is best possible).

A $k$-uniform hypergraph is $s$-almost intersecting if every edge is disjoint from exactly $s$ other edges. Gerbner, Lemons, Palmer, Patkós and Szécsi conjectured that for every $k$, and $s>s_0(k)$, every $k$-uniform $s$-almost intersecting hypergraph has at most $(s+1)\binom{2k-2}{k-1}$ edges. We prove a strengthened version of this conjecture and determine the extremal graphs. We also give some related results and conjectures.

For any c >= 2, a c-strong coloring of the hypergraph G is an assignment of colors to the vertices of G such that for every edge e of G, the vertices of e are colored by at least min{c,|e|} distinct colors. The hypergraph G is t-intersecting if every two edges of G have at least t vertices in common. We ask: for fixed c >= 2 and t >= 1, what is the minimum number of colors that is sufficient to c-strong color any t-intersecting hypergraphs? The purpose of this note is to answer the question for some values of t and c and, more importantly, to describe the settings for which the question is still open. We show that when t <= c-2, no finite number of colors is sufficient to c-strong color all t-intersecting hypergraphs. It is still unknown whether a finite number of colors suffices for the same task when t = c-1 and c > 2. In the last case, when t >= c, we show with a probabilistic argument that a finite number of colors is sufficient to c-strong color all t-intersecting hypergraphs, but a large gap still remains between the best upper and lower bounds on this number.

Let $τ(\mathcal{H})$ be the cover number and $ν(\mathcal{H})$ be the matching number of a hypergraph $\mathcal{H}$. Ryser conjectured that every $r$-partite hypergraph $\mathcal{H}$ satisfies the inequality $τ(\mathcal{H}) \leq (r-1) ν(\mathcal{H})$. This conjecture is open for all $r \ge 4$. For intersecting hypergraphs, namely those with $ν(\mathcal{H})=1$, Ryser's conjecture reduces to $τ(\mathcal{H}) \leq r-1$. Even this conjecture is extremely difficult and is open for all $ r \ge 6$. For infinitely many $r$ there are examples of intersecting $r$-partite hypergraphs with $τ(\mathcal{H})=r-1$, demonstrating the tightness of the conjecture for such $r$. However, all previously known constructions are not optimal as they use far too many edges. How sparse can an intersecting $r$-partite hypergraph be, given that its cover number is as large as possible, namely $τ(\mathcal{H}) \ge r-1$? In this paper we solve this question for $r \le 5$, give an almost optimal construction for $r=6$, prove that any $r$-partite intersecting hypergraph with $τ(H) \ge r-1$ must have at least $(3-\frac{1}{\sqrt{18}})r(1-o(1)) \approx 2.764r(1-o(1))$ edges, and conjecture that there exist constructions with $Θ(r)$ edges.