arXiv++ Combinatorics

A hypergraph is linear if any two edges intersect in at most one vertex. For a fixed $k$-uniform family ${\cal{F}}$ of hypergraphs, the linear Turán number ${\rm ex}_{\rm lin}(n,{\cal{F}})$ is the maximum number of edges in a $k$-uniform linear hypergraph $\mathcal H$ on $n$ vertices that does not contain any member of ${\cal{F}}$ as a subhypergraph. For $k\ge 2$ the $k$-fan $F^k$ is the $k$-uniform linear hypergraph having $k$ edges $f_1,\dots,f_k$ pairwise intersecting in the same vertex $v$ and an additional edge $g$ intersecting all $f_i$ in a vertex different from $v$. We prove the following extension of Mantel's theorem $${\rm ex}_{\rm lin}(n,F^k)\le {n^2 / k^2}.$$ Moreover, $|{\mathcal H}|=n^2/k^2$ holds if and only if $n\equiv 0\pmod k$ and $\mathcal H$ is a transversal design on $n$ points with $k$ groups. We also study ${\rm ex}_{\rm lin}(n,{\cal{F}})$ where $\cal{F}$ is any subset of the three linear triple systems with four triples on at most seven points.

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 {\em cross-free} set of size $m$ in a Steiner triple system $(V,{\cal{B}})$ is three pairwise disjoint $m$-element subsets $X_1,X_2,X_3\subset V$ such that no $B\in {\cal{B}}$ intersects all the three $X_i$-s. We conjecture that for every admissible $n$ there is an STS$(n)$ with a cross-free set of size $\lfloor{n-3\over 3}\rfloor$ which if true, is best possible. We prove this conjecture for the case $n=18k+3$, constructing an STS$(18k+3)$ containing a cross-free set of size $6k$. We note that some of the $3$-bichromatic STSs, constructed by Colbourn, Dinitz and Rosa, have cross-free sets of size close to $6k$ (but cannot have size exactly $6k$). The constructed STS$(18k+3)$ shows that equality is possible for $n=18k+3$ in the following result: in every $3$-coloring of the blocks of any Steiner triple system STS$(n)$ there is a monochromatic connected component of size at least $\lceil{2n\over 3}\rceil+1$ (we conjecture that equality holds for every admissible $n$). The analogue problem can be asked for $r$-colorings as well, if $r-1 \equiv 1,3 \mbox{ (mod 6)}$ and $r-1$ is a prime power, we show that the answer is the same as in case of complete graphs: in every $r$-coloring of the blocks of any STS$(n)$, there is a monochromatic connected component with at least ${n\over r-1}$ points, and this is sharp for infinitely many $n$.

We determine the $2$-color Ramsey number of a {\em connected} triangle matching $c(nK_3)$ which is any connected graph containing $n$ vertex disjoint triangles. We obtain that $R(c(nK_3),c(nK_3))=7n-2$, somewhat larger than in the classical result of Burr, Erd\H os and Spencer for a triangle matching, $R(nK_3,nK_3)=5n$. The motivation is to determine the Ramsey number $R(C_n^2,C_n^2)$ of the square of a cycle $C_n^2$. We apply our Ramsey result for connected triangle matchings to show that the Ramsey number of an "almost" square of a cycle $C_n^{2,c}$ (a cycle of length $n$ in which all but at most a constant number $c$ of short diagonals are present) is asymptotic to $7n/3$.

This survey is devoted to problems and results concerning covering the vertices of edge colored graphs or hypergraphs with monochromatic paths, cycles and other objects. It is an expanded version of the talk with the same title at the Seventh Cracow Conference on Graph Theory, held in Rytro in September 14-19, 2014.

We present results on partitioning the vertices of $2$-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of Sárközy: the vertex set of every $2$-edge-colored graph can be partitioned into at most $2α(G)$ monochromatic cycles, where $α(G)$ denotes the independence number of $G$. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from $o(|V(G)|)$ vertices, the vertex set of any $2$-edge-colored graph $G$ with minimum degree at least $(1+\eps){3|V(G)|\over 4}$ can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that $\overline{G}$ does not contain a fixed bipartite graph $H$, we show that in every $2$-edge-coloring of $G$, $|V(G)|-c(H)$ vertices can be covered by two vertex disjoint paths of different colors, where $c(H)$ is a constant depending only on $H$. In particular, we prove that $c(C_4)=1$, which is best possible.

Motivated by the problem of Gallai on $(1-1)$-transversals of $2$-intervals, it was proved by the authors in 1969 that if the edges of a complete graph $K$ are colored with red and blue (both colors can appear on an edge) so that there is no monochromatic induced $C_4$ and $C_5$ then the vertices of $K$ can be partitioned into a red and a blue clique. Aharoni, Berger, Chudnovsky and Ziani recently strengthened this by showing that it is enough to assume that there is no induced monochromatic $C_4$ and there is no induced $C_5$ in {\em one of the colors}. Here this is strengthened further, it is enough to assume that there is no monochromatic induced $C_4$ and there is no $K_5$ on which both color classes induce a $C_5$. We also answer a question of Kaiser and Rabinovich, giving an example of six $2$-convex sets in the plane such that any three intersect but there is no $(1-1)$-transversal for them.

Suppose that $T$ is an acyclic $r$-uniform hypergraph, with $r\ge 2$. We define the ($t$-color) chromatic Ramsey number $χ(T,t)$ as the smallest $m$ with the following property: if the edges of any $m$-chromatic $r$-uniform hypergraph are colored with $t$ colors in any manner, there is a monochromatic copy of $T$. We observe that $χ(T,t)$ is well defined and $$\left\lceil {R^r(T,t)-1\over r-1}\right \rceil +1 \le χ(T,t)\le |E(T)|^t+1$$ where $R^r(T,t)$ is the $t$-color Ramsey number of $H$. We give linear upper bounds for $χ(T,t)$ when T is a matching or star, proving that for $r\ge 2, k\ge 1, t\ge 1$, $χ(M_k^r,t)\le (t-1)(k-1)+2k$ and $χ(S_k^r,t)\le t(k-1)+2$ where $M_k^r$ and $S_k^r$ are, respectively, the $r$-uniform matching and star with $k$ edges. The general bounds are improved for $3$-uniform hypergraphs. We prove that $χ(M_k^3,2)=2k$, extending a special case of Alon-Frankl-Lovász' theorem. We also prove that $χ(S_2^3,t)\le t+1$, which is sharp for $t=2,3$. This is a corollary of a more general result. We define $H^{[1]}$ as the 1-intersection graph of $H$, whose vertices represent hyperedges and whose edges represent intersections of hyperedges in exactly one vertex. We prove that $χ(H)\le χ(H^{[1]})$ for any $3$-uniform hypergraph $H$ (assuming $χ(H^{[1]})\ge 2$). The proof uses the list coloring version of Brooks' theorem.

We extend two well-known results in Ramsey theory from from $K_n$ to arbitrary $n$-chromatic graphs. The first is a note of Erd\H os and Rado stating that in every 2-coloring of the edges of $K_n$ there is a monochromatic tree on $n$ vertices. The second is the theorem of Cockayne and Lorimer stating that for positive integers satisfying $n_1=\max\{n_1,n_2,\dots,n_t\}$ and with $n=n_1+1+\sum_{i=1}^t (n_i-1)$, the following holds. In every coloring of the edges of $K_n$ with colors $1,2\dots,t$ there is a monochromatic matching of size $n_i$ for some $i\in \{1,2,\dots,t\}$.

Suppose that $k$ is a non-negative integer and a bipartite multigraph $G$ is the union of $$N=\left\lfloor \frac{k+2}{k+1}n\right\rfloor -(k+1)$$ matchings $M_1,\dots,M_N$, each of size $n$. We show that $G$ has a rainbow matching of size $n-k$, i.e. a matching of size $n-k$ with all edges coming from different $M_i$'s. Several choices of parameters relate to known results and conjectures.

We explore properties of $3$-uniform hypergraphs $H$ without linear cycles. Our main results are that these hypergraphs must contain a vertex of strong degree at most two and must have independent sets of size at least ${2|V(H)|\over 5}$.

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

I state some open problems coming from joint work with Paul Erdős

A class of graphs closed under taking induced subgraphs is $χ$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $χ(G) \leq f(ω(G))$. We consider the following question initially studied in [A. Gy{á}rf{á}s, Problems from the world surrounding perfect graphs, {\em Zastowania Matematyki Applicationes Mathematicae}, 19:413--441, 1987]. For a $χ$-bounded class $\cal C$, is the class $\bar{C}$ $χ$-bounded (where $\bar{\cal C}$ is the class of graphs formed by the complements of graphs from $\cal C$)? We show that if $\cal C$ is $χ$-bounded by the constant function $f(x)=3$, then $\bar{\cal C}$ is $χ$-bounded by $g(x)=\lfloor\frac{8}{5}x\rfloor$ and this is best possible. We show that for every constant $c>0$, if $\cal C$ is $χ$-bounded by a function $f$ such that $f(x)=x$ for $x \geq c$, then $\bar{\cal C}$ is $χ$-bounded. For every $j$, we construct a class of graphs $χ$-bounded by $f(x)=x+x/\log^j(x)$ whose complement is not $χ$-bounded.

The typical problem in (generalized) Ramsey theory is to find the order of the largest monochromatic member of a family F (for example matchings, paths, cycles, connected subgraphs) that must be present in any edge coloring of a complete graph K_n with t colors. Another area is to find the minimum number of monochromatic members of F that partition or cover the vertex set of every edge colored complete graph. Here we propose a problem that connects these areas: for fixed positive integers s,t, at least how many vertices can be covered by the vertices of no more than s monochromatic members of F in every edge coloring of K_n with t colors. Several problems and conjectures are presented, among them a possible extension of a well-known result of Cockayne and Lorimer on monochromatic matchings for which we prove an initial step: in case of s=t-1 we determine how many vertices can be covered by s monochromatic matchings in every t-coloring of K_n.

Given an $r$-uniform hypergraph $H$, the multicolor Ramsey number $r_k(H)$ is the minimum $n$ such that every $k$-coloring of the edges of the complete $r$-uniform hypergraph $K_n^r$ yields a monochromatic copy of $H$. We investigate $r_k(H)$ when $k$ grows and $H$ is fixed. For nontrivial 3-uniform hypergraphs $H$, the function $r_k(H)$ ranges from $\sqrt{6k}(1+o(1))$ to double exponential in $k$. We observe that $r_k(H)$ is polynomial in $k$ when $H$ is $r$-partite and at least single-exponential in $k$ otherwise. Erdős, Hajnal and Rado gave bounds for large cliques $K_s^r$ with $s\ge s_0(r)$, showing its correct exponential tower growth. We give a proof for cliques of all sizes, $s>r$, using a slight modification of the celebrated stepping-up lemma of Erdős and Hajnal. For 3-uniform hypergraphs, we give an infinite family with sub-double-exponential upper bound and show connections between graph and hypergraph Ramsey numbers. Specifically, we prove that $$r_k(K_3)\le r_{4k}(K_4^3-e)\le r_{4k}(K_3)+1,$$ where $K_4^3-e$ is obtained from $K_4^3$ by deleting an edge. We provide some other bounds, including single-exponential bounds for $F_5=\{abe,abd,cde\}$ as well as asymptotic or exact values of $r_k(H)$ when $H$ is the bow $\{abc,ade\}$, kite $\{abc,abd\}$, tight path $\{abc,bcd,cde\}$ or the windmill $\{abc,bde,cef,bce\}$. We also determine many new "small" Ramsey numbers and show their relations to designs. For example, the lower bound for $r_6(kite)=8$ is demonstrated by decomposing the triples of $[7]$ into six partial STS (two of them are Fano planes).

An edge coloring of a tournament $T$ with colors $1,2,\dots,k$ is called \it $k$-transitive \rm if the digraph $T(i)$ defined by the edges of color $i$ is transitively oriented for each $1\le i \le k$. We explore a conjecture of the second author: For each positive integer $k$ there exists a (least) $p(k)$ such that every $k$-transitive tournament has a dominating set of at most $p(k)$ vertices. We show how this conjecture relates to other conjectures and results. For example, it is a special case of a well-known conjecture of Erd\H os, Sands, Sauer and Woodrow (so the conjecture is interesting even if false). We show that the conjecture implies a stronger conjecture, a possible extension of a result of Bárány and Lehel on covering point sets by boxes. The principle used leads also to an upper bound $O(2^{2^{d-1}}d\log d)$ on the $d$-dimensional box-cover number that is better than all previous bounds, in a sense close to best possible. We also improve the best bound known in 3-dimensions from $3^{14}$ to 64 and propose possible further improvements through finding the maximum domination number over parity tournaments.

In this paper we consider properly edge-colored graphs, i.e. two edges with the same color cannot share an endpoint, so each color class is a matching. A matching is called \it rainbow \rm if its edges have different colors. The minimum degree of a graph is denoted by $δ(G)$. We show that properly edge colored graphs $G$ with $|V(G)|\ge 4δ(G)-3$ have rainbow matchings of size $δ(G)$, this gives the best known estimate to a recent question of Wang. Since one obviously needs at least $2δ(G)$ vertices to guarantee a rainbow matching of size $δ(G)$, we investigate what happens when $|V(G)|\ge 2δ(G)$. We show that any properly edge colored graph $G$ with $|V(G)|\ge 2δ$ contains a rainbow matching of size at least $δ- 2δ(G)^{2/3}$. This result extends (with a weaker error term) the well-known result that a factorization of the complete bipartite graph $K_{n,n}$ has a rainbow matching of size $n-o(n)$, or equivalently that every Latin square of order $n$ has a partial transversal of size $n-o(n)$ (an asymptotic version of the Ryser - Brualdi conjecture). In this direction we also show that every Latin square of order $n$ has a {\em cycle-free partial transversal} of size $n-o(n)$.

The {\em chromatic gap} is the difference between the chromatic number and the clique number of a graph. Here we investigate $\gap(n)$, the maximum chromatic gap over graphs on $n$ vertices. Can the extremal graphs be explored? While computational problems related to the chromatic gap are hopeless, an interplay between Ramsey theory and matching theory leads to a simple and (almost) exact formula for $\gap(n)$ in terms of Ramsey numbers.

Assume that D is a digraph without cyclic triangles and its vertices are partitioned into classes A_1,...,A_t of independent vertices. A set $U=\cup_{i\in S} A_i$ is called a dominating set of size |S| if for any vertex $v\in \cup_{i\notin S} A_i$ there is a w in U such that (w,v) is in E(D). Let beta(D) be the cardinality of the largest independent set of D whose vertices are from different partite classes of D. Our main result says that there exists a h=h(beta(D)) such that D has a dominating set of size at most h. This result is applied to settle a problem related to generalized Gallai colorings, edge colorings of graphs without 3-colored triangles.