arXiv++ Combinatorics

For a finite family $\mathcal{F}$ of fixed graphs let $R_k(\mathcal{F})$ be the smallest integer $n$ for which every $k$-coloring of the edges of the complete graph $K_n$ yields a monochromatic copy of some $F\in\mathcal{F}$. We say that $\mathcal{F}$ is $k$-nice if for every graph $G$ with $χ(G)=R_k(\mathcal{F})$ and for every $k$-coloring of $E(G)$ there exists a monochromatic copy of some $F\in\mathcal{F}$. It is easy to see that if $\mathcal{F}$ contains no forest, then it is not $k$-nice for any $k$. It seems plausible to conjecture that a (weak) converse holds, namely, for any finite family of graphs $\mathcal{F}$ that contains at least one forest, and for all $k\geq k_0(\mathcal{F})$ (or at least for infinitely many values of $k$), $\mathcal{F}$ is $k$-nice. We prove several (modest) results in support of this conjecture, showing, in particular, that it holds for each of the three families consisting of two connected graphs with 3 edges each and observing that it holds for any family $\mathcal{F}$ containing a forest with at most 2 edges. We also study some related problems and disprove a conjecture by Aharoni, Charbit and Howard regarding the size of matchings in regular 3-partite 3-uniform hypergraphs.

Given a partition ${\mathcal V}=(V_1, \ldots,V_m)$ of the vertex set of a graph $G$, an {\em independent transversal} (IT) is an independent set in $G$ that contains one vertex from each $V_i$. A {\em fractional IT} is a non-negative real valued function on $V(G)$ that represents each part with total weight at least $1$, and belongs as a vector to the convex hull of the incidence vectors of independent sets in the graph. It is known that if the domination number of the graph induced on the union of every $k$ parts $V_i$ is at least $k$, then there is a fractional IT. We prove a weighted version of this result. This is a special case of a general conjecture, on the weighted version of a duality phenomenon, between independence and domination in pairs of graphs.

For a simplicial complex ${\mathcal C}$ denote by $β({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal C}$ meeting each $A_i$ in at least $\frac{|A_i|}{β({\mathcal C})}$ elements. We conjecture that a slightly weaker result is true for the intersections of two matroids: if ${\mathcal D}={\mathcal P} \cap {\mathcal Q}$, where ${\mathcal P},{\mathcal Q}$ are matroids on the same ground set $V$ and $β({\mathcal P}), β({\mathcal P}) \le k$, then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal D}$ meeting each $A_i$ in at least $(\frac{1}{k}-\frac{1}{|V|})|A_i|-1$ elements. We prove this for a partition into two sets.

A famous conjecture of Tuza \cite{tuza} is that the minimal number of edges needed to cover all triangles in a graph is at most twice the maximal number of edge-disjoint triangles. We propose a wider setting for this conjecture. For a hypergraph $H$ let $ν^{(m)}(H)$ be the maximal size of a collection of edges, no two of which share $m$ or more vertices, and let $τ^{(m)}(H)$ be the minimal size of a collection $C$ of sets of $m$ vertices, such that every edge in $H$ contains a set from $C$. We conjecture that the maximal ratio $τ^{(m)}(H)/ν^{(m)}(H)$ is attained in hypergraphs for which $ν^{(m)}(H)=1$. This would imply, in particular, the following generalization of Tuza's conjecture: if $H$ is $3$-uniform, then $τ^{(2)}(H)/ν^{(2)}(H) \le 2$. (Tuza's conjecture is the case in which $H$ is the set of all triples of vertices of triangles in the graph). We show that most known results on Tuza's conjecture go over to this more general setting. We also prove some general results on the ratio $τ^{(m)}(H)/ν^{(m)}(H)$, and study the fractional versions and the case of $k$-partite hypergraphs.

By a theorem of Drisko, any $2n-1$ matchings of size $n$ in a bipartite graph have a partial rainbow matching of size $n$. Inspired by discussion of Barát, Gyárfás and Sárközy, we conjecture that if $n$ is odd then the same is true also in general graphs, and that if $n$ is even then $2n$ matchings of size $n$ suffice. We prove that any $3n-2$ matchings of size $n$ have a partial rainbow matching of size $n$.

For a hypergraph $H$ let $β(H)$ denote the minimal number of edges from $H$ covering $V(H)$. An edge $S$ of $H$ is said to represent {\em fairly} (resp. {\em almost fairly}) a partition $(V_1,V_2, \ldots, V_m)$ of $V(H)$ if $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor$ (resp. $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor-1$) for all $i \le m$. In matroids any partition of $V(H)$ can be represented fairly by some independent set. We look for classes of hypergraphs $H$ in which any partition of $V(H)$ can be represented almost fairly by some edge. We show that this is true when $H$ is the set of independent sets in a path, and conjecture that it is true when $H$ is the set of matchings in $K_{n,n}$. We prove that partitions of $E(K_{n,n})$ into three sets can be represented almost fairly. The methods of proofs are topological.

Motivated by a question on the maximal number of vertex disjoint Schrijver graphs in the Kneser graph, we investigate the following function, denoted by $f(n,k)$: the maximal number of Hamiltonian cycles on an $n$ element set, such that no two cycles share a common independent set of size more than $k$. We shall mainly be interested in the behavior of $f(n,k)$ when $k$ is a linear function of $n$, namely $k=cn$. We show a threshold phenomenon: there exists a constant $c_t$ such that for $c<c_t$, $f(n,cn)$ is bounded by a constant depending only on $c$ and not on $n$, and for $c_t <c$, $f(n,cn)$ is exponentially large in $n ~(n \to \infty)$. We prove that $0.26 < c_t < 0.36$, but the exact value of $c_t$ is not determined. For the lower bound we prove a technical lemma, which for graphs that are the union of two Hamiltonian cycles establishes a relation between the independence number and the number of $K_4$ subgraphs. A corollary of this lemma is that if a graph $G$ on $n>12$ vertices is the union of two Hamiltonian cycles and $α(G)=n/4$, then $V(G)$ can be covered by vertex-disjoint $K_4$ subgraphs.

Let $f(n,r,k)$ be the minimal number such that every hypergraph larger than $f(n,r,k)$ contained in $\binom{[n]}{r}$ contains a matching of size $k$, and let $g(n,r,k)$ be the minimal number such that every hypergraph larger than $g(n,r,k)$ contained in the $r$-partite $r$-graph $[n]^{r}$ contains a matching of size $k$. The Erdős-Ko-Rado theorem states that $f(n,r,2)=\binom{n-1}{r-1}$~~($r \le \frac{n}{2}$) and it is easy to show that $g(n,r,k)=(k-1)n^{r-1}$. The conjecture inspiring this paper is that if $F_1,F_2,\ldots,F_k\subseteq \binom{[n]}{r}$ are of size larger than $f(n,r,k)$ or $F_1,F_2,\ldots,F_k\subseteq [n]^{r}$ are of size larger than $g(n,r,k)$ then there exists a rainbow matching, i.e. a choice of disjoint edges $f_i \in F_i$. In this paper we deal mainly with the second part of the conjecture, and prove it for $r\le 3$. \vspace{.1cm} We also prove that for every $r$ and $k$ there exists $n_0=n_0(r,k)$ such that the $r$-partite version of the conjecture is true for $n>n_0$.

Two hypergraphs $H_1,\ H_2$ are called {\em cross-intersecting} if $e_1 \cap e_2 \neq \emptyset$ for every pair of edges $e_1 \in H_1,~e_2 \in H_2$. Each of the hypergraphs is then said to {\em block} the other. Given parameters $n,r,m$ we determine the maximal size of a sub-hypergraph of $[n]^r$ (meaning that it is $r$-partite, with all sides of size $n$) for which there exists a blocking sub-hypergraph of $[n]^r$ of size $m$. The answer involves a fractal-like (that is, self-similar) sequence, first studied by Knuth. We also study the same question with $\binom{n}{r}$ replacing $[n]^r$.

We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matching of size $n$. We show that milder restrictions on the sizes of the matchings suffice. Another result that is strengthened is a theorem of Cameron and Wanless \cite{CamWan}, that every Latin square has a diagonal (permutation submatrix) in which no symbol appears more than twice. We show that the same is true under the weaker condition that the square is row-Latin.

A d-interval hypergraph has d disjoint copies of the unit interval as its vertex set, and each edge is the union of d subintervals, one on each copy. Extending a classical result of Gallai on the case d = 1, Tardos and Kaiser used topological tools to bound the ratio between the transversal number and the matching number in such hypergraphs. We take a dual point of view, and bound the edge-covering number (namely the minimal number of edges covering the entire vertex set) in terms of a parameter expressing independence of systems of partitions of the d unit intervals. The main tool we use is an extension of the KKM theorem to products of simplices, due to Peleg. Our approach also yields a new proof of the Tardos-Kaiser result.

Stein proposed the following conjecture: if the edge set of $K_{n,n}$ is partitioned into $n$ sets, each of size $n$, then there is a partial rainbow matching of size $n-1$. He proved that there is a partial rainbow matching of size $n(1-\frac{D_n}{n!})$, where $D_n$ is the number of derangements of $[n]$. This means that there is a partial rainbow matching of size about $(1- \frac{1}{e})n$. Using a topological version of Hall's theorem we improve this bound to $\frac{2}{3}n$.

Let $f(n)$ be the smallest number such that every collection of $n$ matchings, each of size at least $f(n)$, in a bipartite graph, has a full rainbow matching. Generalizing famous conjectures of Ryser, Brualdi and Stein, Aharoni and Berger conjectured that $f(n)=n+1$ for every $n>1$. Clemens and Ehrenm{ü}ller proved that $f(n) \le \frac{3}{2}n +o(n)$. We show that the $o(n)$ term can be reduced to a constant, namely $f(n) \le \lceil \frac{3}{2}n \rceil+1$.

Drisko \cite{drisko} proved (essentially) that every family of $2n-1$ matchings of size $n$ in a bipartite graph possesses a partial rainbow matching of size $n$. In \cite{bgs} this was generalized as follows: Any $\lfloor \frac{k+2}{k+1} n \rfloor -(k+1)$ matchings of size $n$ in a bipartite graph have a rainbow matching of size $n-k$. We extend this latter result to matchings of not necessarily equal cardinalities. Settling a conjecture of Drisko, we characterize those families of $2n-2$ matchings of size $n$ in a bipartite graph that do not possess a rainbow matching of size $n$. Combining this with an idea of Alon \cite{alon}, we re-prove a characterization of the extreme case in a well-known theorem of Erdős-Ginzburg-Ziv in additive number theory.

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

A famous conjecture of Ryser is that in an $r$-partite hypergraph the covering number is at most $r-1$ times the matching number. If true, this is known to be sharp for $r$ for which there exists a projective plane of order $r-1$. We show that the conjecture, if true, is also sharp for the smallest previously open value, namely $r=7$. For $r\in\{6,7\}$, we find the minimal number $f(r)$ of edges in an intersecting $r$-partite hypergraph that has covering number at least $r-1$. We find that $f(r)$ is achieved only by linear hypergraphs for $r\le5$, but that this is not the case for $r\in\{6,7\}$. We also improve the general lower bound on $f(r)$, showing that $f(r)\ge 3.052r+O(1)$. We show that a stronger form of Ryser's conjecture that was used to prove the $r=3$ case fails for all $r>3$. We also prove a fractional version of the following stronger form of Ryser's conjecture: in an $r$-partite hypergraph there exists a set $S$ of size at most $r-1$, contained either in one side of the hypergraph or in an edge, whose removal reduces the matching number by 1.

Given sets $F_1, \ldots ,F_n$, a {\em partial rainbow function} is a partial choice function of the sets $F_i$. A {\em partial rainbow set} is the range of a partial rainbow function. Aharoni and Berger \cite{AhBer} conjectured that if $M$ and $N$ are matroids on the same ground set, and $F_1, \ldots ,F_n$ are pairwise disjoint sets of size $n$ belonging to $M \cap N$, then there exists a rainbow set of size $n-1$ belonging to $M \cap N$. Following an idea of Woolbright and Brower-de Vries-Wieringa, we prove that there exists such a rainbow set of size at least $n-\sqrt{n}$.

A $d$-{\em interval} is a union of at most $d$ disjoint closed intervals on a fixed line. Tardos [Combinatorica 15 (1995), 123-134] and the second author [Disc. Comput. Geom. 18 (1997), 195-203] used topological tools to bound the transversal number $τ$ of a family $H$ of $d$-intervals in terms of $d$ and the matching number $ν$ of $H$. We investigate the weighted and fractional versions of this problem and prove upper bounds that are tight up to constant factors. We apply both the topological method and an approach of Alon [Disc. Comput. Geom. 19 (1998), 333-334]. For the use of the latter, we prove a weighted version of Turán's theorem. We also provide a proof of the second author's upper bound that is more direct than the original proof.

A rainbow matching for (not necessarily distinct) sets F_1,...,F_k of hypergraph edges is a matching consisting of k edges, one from each F_i. The aim of the paper is twofold - to put order in the multitude of conjectures that relate to this concept (some of them first presented here), and to present some partial results on one of these conjectures, that seems central among them.

The Alon-Tarsi Latin square conjecture is extended to odd dimensions by stating it for reduced Latin squares (Latin squares having the identity permutation as their first row and first column). A modified version of Onn's colorful determinantal identity is used to show how the validity of this conjecture implies a weak version of Rota's basis conjecture for odd dimensions, namely that a set of $n$ bases in $\mathbb{R}^n$ has $n-1$ disjoint independent transversals.