Partitioning Infinite Hypergraphs into Few Monochromatic Berge-Paths

Abstract

Extending a result of Rado to hypergraphs, we prove that for all $s, k, t \in {\mathbb {N}}$ with $k \ge t \ge 2$, the vertices of every $r = s(k-t+1)$-edge-coloured countably infinite complete k-graph can be partitioned into the cores of at most s monochromatic t-tight Berge-paths of different colours. We further describe a construction showing that this result is best possible.

1 Introduction

Lehel’s conjecture (first seen in [2]) states that the vertices of every 2-edge-coloured complete graph can be partitioned into two monochromatic cycles, one of each colour. Here, single vertices and edges are considered to be cycles and this convention is used throughout this paper. The conjecture was proved for very large graphs by Łuczak et al. [14] in 1998, for large graphs by Allen [1] in 2008, and for all graphs by Bessy and Thomassé [3] in 2010.

Erdős et al. [6] conjectured in 1991 that this can be extended to r colours (allowing r monochromatic cycles). This was however disproved by Pokrovskiy [17], who showed that for every $r \ge 3$, there are infinitely many r-edge-coloured complete graphs whose vertices cannot be covered by r monochromatic vertex-disjoint cycles. Finding the minimum number of monochromatic vertex-disjoint cycles needed to cover the vertices of any r-edge-coloured complete graph remains a big open problem. We note that a priori it is not obvious that this minimum is independent of the size of the complete graph we wish to cover. The fact that this is the case was proved by Erdős et al. [6], who also presented a simple construction in which r cycles are needed. The currently best-known upper bound is $100r\log r$, due to Gyárfás et al. [9].

An infinite analogue of the conjecture of Erdős et al. is true as proved by Rado [18] already in 1978.

Theorem 1.1

([18]) The vertices of every countably infinite r-edge-coloured complete graph can be partitioned into r monochromatic paths (infinite or finite), one of each colour.

Rado’s theorem is best possible, as the construction for finite graphs in [6] can be extended to infinite graphs.

In this note we consider extensions of this result to hypergraphs. A k-uniform hypergraph (or shortly, a k-graph) is a tuple ${\mathcal {H}}= (V,{\mathcal {E}})$ where V and ${\mathcal {E}}$ are sets with ${\mathcal {E}}\subseteq \left( {\begin{array}{c}V\\ k\end{array}}\right)$. The complete k-graph with vertex-set V, denoted by ${\mathcal {K}}_{V}^{(k)}$, is the k-graph with edge-set ${\mathcal {E}}= \left( {\begin{array}{c}V\\ k\end{array}}\right)$.

There are different notions of paths in hypergraphs, loose paths, tight paths and Berge-paths; all of these coincide with the notion of paths when $k=2$. In this note, we will mainly consider Berge-paths. Given integers $2 \le t \le k$ and $\ell \ge 1$, a finite (k-uniform) t-tight Berge-path of length $\ell$ is a pair (X, F) defined as follows. $X = \{v_1,\dots , v_{\ell +t-1}\} \subseteq V$ is a set of $\ell + t -1$ distinct vertices, $F = \{e_1, \dots , e_{\ell }\} \subseteq {\mathcal {E}}$ is a set of $\ell$ distinct edges and $v_i,v_{i+1}, \dots , v_{i+t-1} \in e_i$ for all $i \in [\ell ]$. For technical reasons we define a t-tight Berge-path of length 0 as a pair $(\{v\}, \emptyset )$. A (one-way) infinite t-tight Berge-path is a pair (X, F) where $X = \{v_i: i \in {\mathbb {N}}\} \subseteq V$, $F = \{e_i: i \in {\mathbb {N}}\} \subseteq {\mathcal {E}}$, and $v_i,v_{i+1}, \dots v_{i+t-1} \in e_i$ for all $i \in {\mathbb {N}}$. For a t-tight Berge-path $P = (X,F)$, X is called the core of P. A family $P_1 = (X_1, F_1), \dots , P_r = (X_r, F_r)$ of t-tight Berge-paths core-partitionsV if $X_1 \cup \cdots \cup X_r$ is a partition of V. Given an edge-colouring $\varphi$ of a k-graph ${\mathcal {H}}$, a t-tight Berge-path $P = (X,F)$ in ${\mathcal {H}}$ is said to be monochromatic in colour c if $\varphi (f) = c$ for all $f \in F$.

A 2-tight Berge-path is simply called a Berge-path and a k-tight Berge-path is called a tight path. The k-uniform loose path of length $\ell$ consists of $n=k(\ell -1)+1$ vertices $\{v_1, \ldots , v_n\}$ and the $\ell$ edges $\{v_{i(k-1)+1}, \ldots , v_{i(k-1)+k}\}$ for $i = 0, \ldots , \ell -1$. The infinite loose path consists of the vertices $\{v_1, v_2, \ldots \}$ and edges $\{v_{i(k-1)+1}, \ldots , v_{i(k-1)+k}\}$ for all $i =0,1,\ldots$

Many extensions of path partition problems to hypergraphs have been studied, considering loose paths [10, 11, 20], tight paths [4, 5] and Berge-paths [10]. Most relevant for the topic of this note are the following two extensions of Theorem 1.1.

Theorem 1.2

(Gyárfás–Sárközy [10]) The vertices of every countably infinite r-edge-coloured complete k-graph can be partitioned into r monochromatic loose paths (infinite or finite), one of each colour.

Theorem 1.3

(Elekes–Soukup–Soukup–Szentmiklóssy [5]) The vertices of every countably infinite r-edge-coloured complete k-graph can be partitioned into r monochromatic tight paths (infinite or finite), one of each colour.

The latter result answers a question of Gyárfás and Sárközy from [10]. Note that both Theorems 1.2 and 1.3 reduce to Theorem 1.1 when $k=2$. Our main result extends Theorem 1.1 in a similar way to Berge-paths. It turns out that $\lceil r/(k-1) \rceil$ paths suffice.

Theorem 1.4

For all $s,k \in {\mathbb {N}}$ with $k \ge 2$ and every $r=s(k-1)$-edge-colouring of ${\mathcal {K}}_{{\mathbb {N}}}^{(k)}$, the vertices can be core-partitioned into s monochromatic Berge-paths of different colours.

Note that Theorem 1.4 reduces to Theorem 1.1 when $k =2$ as well. We shall actually prove the following more general result about t-tight Berge-paths.

Theorem 1.5

For all $s,k,t \in {\mathbb {N}}$ with $k \ge t \ge 2$ and every $r = s(k-t+1)$-edge-colouring of ${\mathcal {K}}_{{\mathbb {N}}}^{(k)}$, the vertices can be core-partitioned into s monochromatic t-tight Berge-paths of different colours.

Note that the case $k=2$ reduces to Theorem 1.4, and the case $k=t$ reduces to Theorem 1.3. The following theorem shows that Theorem 1.5 is best possible.

Theorem 1.6

For all $s,k,t \in {\mathbb {N}}$ with $k \ge t \ge 2$, there is an edge-colouring of ${\mathcal {K}}_{{\mathbb {N}}}^{(k)}$ with $r = s(k-t+1) + 1$ colours in which the vertices cannot be covered by the cores of s monochromatic t-tight Berge-paths.

We will prove Theorem 1.6 in Sect. 2 and Theorem 1.5 in Sect. 3.

2 Proof of Theorem 1.6

The construction described in the proof generalises the construction from [6].

Proof of Theorem 1.6

We denote the lexicographical ordering of $\left( {\begin{array}{c}[r]\\ s\end{array}}\right)$ by $\prec$. First, we partition ${\mathbb {N}}$ into sets $\left\{ B_I: I \in \left( {\begin{array}{c}[r]\\ s\end{array}}\right) \right\}$ so that all $B_I$’s but $B_{\{r-s+1, \ldots , r\}}$ are finite and $|B_I| \ge st \cdot \sum _{J \prec I} (|B_J|+1)$ for every $I \in \left( {\begin{array}{c}[r]\\ s\end{array}}\right)$.¹ For $x \in {\mathbb {N}}$, let I(x) be the s-subset of [r] for which $x \in B_{I(x)}$. We define an r-edge-colouring $\varphi$ of ${\mathcal {K}}_{{\mathbb {N}}}^{(k)}$ as follows.

For every $e \in E({\mathcal {K}}_{{\mathbb {N}}}^{(k)})$ we consider an order $x_e^1, \dots , x_e^k$ of e satisfying $I(x_e^i) \preceq I(x_e^j)$ for all $1 \le i < j \le k$, and define $\varphi (e)$ as an arbitrary member of $[r] {\setminus } \bigcup _{i \le k-t+1} I(x_e^i)$.

Assume for contradiction that there are monochromatic t-tight Berge-paths $P_1, \ldots , P_s$ with cores $X_1, \ldots , X_s$ so that $\bigcup _i X_i = {\mathbb {N}}$ and let $C \subseteq [r]$ be a set of size s which contains all colours used by these t-tight Berge-paths.

Observe that for every edge e with $e \cap B_C \ne \emptyset$ and $\varphi (e) \in C$ we have

$$\begin{aligned} \left| e \cap \bigcup \nolimits _{J \prec C } B_J \right| \ge k-t+1. \end{aligned}$$

(2.1)

Indeed, if $\left| e \cap \bigcup _{J \prec C} B_J \right| < k-t+1$, then $C \preceq I(x_e^{k-t+1})$ and thus $\varphi (e) \notin C$.

For $i \in C$, let $F_i$ be the set of all $f \in \left( {\begin{array}{c}X_i\\ t\end{array}}\right)$ which consist of t consecutive vertices of $X_i$ with at least one element in $B_C$. Let $f \in F_i$ and let $e \in E(P_i)$ be some edge with $f \subseteq e$. By (2.1), we have $\left| e {\setminus } \bigcup _{J \prec C} B_J \right| \le t-1$ and therefore some vertex in f must be in $\bigcup _{J \prec C} B_J$. Since every $v \in {\mathbb {N}}$ is contained in at most t sets $f \in F_i$, it follows that

$$\begin{aligned} \left| F_i \right| \le t \left| \bigcup \nolimits _{J \prec C} B_J \right| . \end{aligned}$$

(2.2)

Observe now that for all but at most $t-1$ vertices $v \in X_i \cap B_C$, there is a unique $f \in F_i$ starting at v and thus

$$\begin{aligned} \left| X_i \cap B_C \right| \le \left| F_i \right| + t - 1. \end{aligned}$$

(2.3)

Combining (2.2) and (2.3), we get

$$\begin{aligned} |X_i \cap B_C| \le t \cdot \sum \nolimits _{J \prec C} |B_J| +t-1 < |B_C|/r \end{aligned}$$

for every $i \in [r]$ and hence $|B_C| = \left| B_C \cap \left( \bigcup _i X_i \right) \right| < |B_C|$, a contradiction. $\square$

3 Proof of Theorem 1.5

Our proof is based on ideas from [5]. First, we need to introduce some notation. An r-multi-colouring of a k-graph G is a function $\chi : E(G) \rightarrow 2^{[r]}$. Given a set $F \subseteq E(G)$, we denote by $\chi (F) = \bigcap _{e \in F} \chi (e)$ the set of colours they have in common and say that F is ($\chi$-)monochromatic if $\chi (F)$ is non-empty. For a given r-colouring $\varphi$ of ${\mathcal {K}}:= {\mathcal {K}}_{{\mathbb {N}}}^{(k)}$ and $i,j \in {\mathbb {N}}$ with $j < k$, we define an r-multi-colouring $\varphi _{i,j}: \left( {\begin{array}{c}{\mathbb {N}}{\setminus } \{i\} \\ j\end{array}}\right) \rightarrow 2^{[r]}$ by

$$\begin{aligned} \varphi _{i,j}(f) = \{\varphi (e): e \in E({\mathcal {K}}) \text { and } \{i\} \cup f \subseteq e \}. \end{aligned}$$

Furthermore, we call $\{ {\mathcal {K}}_i : i \in {\mathbb {N}}\}$ a j-clique-chain w.r.t. an r-colouring $\varphi$ of ${\mathcal {K}}$ if ${\mathcal {K}}_1$ is a $\varphi _{1,j}$-monochromatic copy of ${\mathcal {K}}_{{\mathbb {N}}}^{(j)}$ with $V({\mathcal {K}}_1) \subseteq {\mathbb {N}}$ and ${\mathcal {K}}_{i}$ is a $\varphi _{i,j}$-monochromatic copy of ${\mathcal {K}}_{{\mathbb {N}}}^{(j)}$ with $V({\mathcal {K}}_i) \subseteq V({\mathcal {K}}_{i-1})$ for every $i \in {\mathbb {N}}$.

Observe that, by Ramsey’s theorem [19] for infinite hypergraphs, there exists a j-clique-chain for every r-colouring of ${\mathcal {K}}$ and every $j \in [k-1]$.

For a j-clique-chain $\{{\mathcal {K}}_i : i \in {\mathbb {N}}\}$ we define a vertex-multi-colouring $\chi : {\mathbb {N}}\rightarrow 2^{[r]}$ by $\chi (i)= \bigcap _{e \in E({\mathcal {K}}_i)} \varphi _{i,j}(e)$ for every $i\in {\mathbb {N}}$. We call $\chi$ the clique-colouring induced by $\{{\mathcal {K}}_i : i \in {\mathbb {N}}\}$.

Lemma 3.1

For all $s,k,t \in {\mathbb {N}}$ with $k \ge t \ge 2$ and every $r =s(k-t+1)$-colouring of ${\mathcal {K}}_{{\mathbb {N}}}^{(k)}$, there is a $(t-1)$-clique-chain that induces a clique-colouring using at most s colours.

Proof

Let $\varphi$ be the given r-colouring of ${\mathcal {K}}:= {\mathcal {K}}_{{\mathbb {N}}}^{(k)}$. Furthermore, let $C_1\cup \cdots \cup C_{r}$ be a partition of the set of $r = s(k-t+1)$ colours into r blocks of size s. We will show that there is a $(t-1)$-clique-chain and some $i\in [r]$ such that for the induced clique-colouring we have $\chi (v)\cap C_i\ne \emptyset$ for all $v\in {\mathbb {N}}$.

We call an infinite $(t-1)$-uniform clique ${\mathcal {K}}'$maximally-monochromatic w.r.t. a multi-colouring $\psi$ of ${\mathcal {K}}'$ and a set $C\subseteq [r]$ if there is no infinite clique ${\mathcal {K}}'' \subseteq {\mathcal {K}}'$ with $|\left\{ i\ :\psi ({\mathcal {K}}'')\cap C_i\ne \emptyset \right\} \cap C| > |\left\{ i\ :\psi ({\mathcal {K}}')\cap C_i\ne \emptyset \right\} \cap C|$. Note that a maximally-monochromatic clique is not necessarily monochromatic (since all its infinite monochromatic subcliques might have colours not in C). Further note that every infinite clique contains a maximally-monochromatic infinite clique (since r is finite).

We build a $(t-1)$-clique-chain as follows. Let ${\mathcal {K}}_1$ be any $\varphi _{1,t-1}$-monochromatic, maximally-monochromatic $(t-1)$-uniform clique w.r.t. $\varphi _{1,t-1}$ and $D=[r]$, and let $D_1:=\left\{ i\ :\varphi _{1,t-1}({\mathcal {K}}_1)\cap C_i\ne \emptyset \right\}$. Now, for every $j \in {\mathbb {N}}$, let ${\mathcal {K}}_{j+1}$ be a $\varphi _{j+1,t-1}$-monochromatic, maximally-monochromatic clique w.r.t. $\varphi _{j+1,t-1}$ and $D_i$ with $V({\mathcal {K}}_{j+1}) \subseteq V({\mathcal {K}}_j)$ and let $D_{i+1} = \left\{ i\ :\varphi _{j+1,t-1}({\mathcal {K}}_{j+1}) \cap C_i\ne \emptyset \right\}$. If there is some $i \in [r]$ such that $C_i\cap D_j\ne \emptyset$ for all $j\in {\mathbb {N}}$, then $\{{\mathcal {K}}_1, {\mathcal {K}}_2, \ldots \}$ is a $(t-1)$-clique-chain with the desired property. Hence we may assume that there is no such i.

Thus, there exist $j_1, \ldots , j_r$, such that $C_i \cap D_{j_i} = \emptyset$ but $C_i \cap D_{i_j -1} \not = \emptyset$ for every $i \in [r]$. Without loss of generality we may assume that $j_1 \le \cdots \le j_{r}$. Let $X = V({\mathcal {K}}_{j_{r}})$ and note that $V({\mathcal {K}}_{j_i}) \supseteq X$ for every $i \in [r]$. Define $\Phi : \left( {\begin{array}{c}X\\ t-1\end{array}}\right) \rightarrow 2^{[r]}$ by

$$\begin{aligned} \Phi (f) = \{ \varphi (e): e \in E({\mathcal {K}}) \text { and } \{j_1, \ldots , j_{r}\} \cup f \subseteq e\}. \end{aligned}$$

Note that every $f \in \left( {\begin{array}{c}X\\ t-1\end{array}}\right)$ receives at least one colour, and that $\Phi (f) \subseteq \varphi _{j_i,t-1}(f)$ for every $f \in \left( {\begin{array}{c}X\\ t-1\end{array}}\right)$ and every $i \in [r]$. By Ramsey’s theorem for hypergraphs there is a $\Phi$-monochromatic infinite clique ${\mathcal {K}}'$ in X. Therefore, there is some $\ell \in [r]$ such that $\Phi ({\mathcal {K}}')\cap C_{\ell }\ne \emptyset$ and consequently ${\mathcal {K}}_{j_\ell }$ is not maximally monochromatic. $\square$

We proceed now with the proof of Theorem 1.5.

Proof of Theorem 1.5

Let $\varphi$ be the given r-colouring of ${\mathcal {K}}= {\mathcal {K}}_{{\mathbb {N}}}^{(k)}$. By Lemma 3.1, there is a $(t-1)$-clique-chain $\{ {\mathcal {K}}_i : i \in {\mathbb {N}}\}$ that induces a clique-colouring $\chi$ using at most s colours (without loss of generality these colours are $1, \ldots , s$). For $i \in [s]$, let $A_i \subseteq {\mathbb {N}}$ be the set of vertices of colour i according to $\chi$.

By repeating the following process we will simultaneously build t-tight monochromatic Berge-paths $P_1, \ldots , P_r$ with core-vertex sequences $\{b_{i,1}, b_{i,2}, \ldots \}$ for every $i \in [s]$. Let $b_{i,1} := \min A_i$ for every $i \in [s]$. In every step, we will add to each path t or $t-1$ vertices making sure that for every $i \in [s]$, the last new vertex, say $b_{i,n_i}$, is in $A_i$, and that the other new vertices are in $V({\mathcal {K}}_{b_{i,n_i}})$. Right after choosing the vertex $b_{i,j}$, we will choose a unique edge $e_{i,j} \in E({\mathcal {K}})$ of colour i which contains the t consecutive vertices $b_{i,j-t+1}, \ldots , b_{i,j}$ for every $j \ge t$ and $i \in [s]$. Let $X =\{b_{1,1}, \ldots , b_{s,1}\}$ and let $Y = \emptyset$. We will use X to keep track of already used vertices and Y to keep track of already used edges.

For each $i \in [s]$ do the following.² Suppose the current path $P_i$ ends in $b_{i,n} \in A_i$ for some $n \in {\mathbb {N}}$. We will now extend $P_i$ by t or $t-1$ vertices as follows. Let a be the smallest vertex in $A_i {\setminus } X$ (if $A_i{\setminus } X$ is empty, the path $P_i$ is complete and we move to the next step). Add a to X and do the following for every $j=1, \ldots ,t-2$. Choose a vertex $b_{i,n+j} \in V({\mathcal {K}}_{a}) {\setminus } (\bigcup Y)$ and add it to X (note that this is always possible since $V({\mathcal {K}}_{a})$ is infinite and Y is finite). Let $f_{i,n+j} = \{b_{i,n+j-t+1}, \ldots , b_{i,n+j}\}$ be the set of the t consecutive vertices in the core of the Berge-path $P_i$ ending at $b_{i,n+j}$. Note that $f_{i,n+j} {\setminus } \{b_{i,n}\} \in E({\mathcal {K}}_{b_{i,n}})$ and thus $i \in \varphi _{b_{i,n},t-1}(f_{i,n+j} {\setminus } \{b_{i,n}\})$. Hence, by the definition of $\varphi _{b_{i,n},t-1}$, there exist $e_{i,n+j} \in E({\mathcal {K}})$ with $f_{i,n+j} \subseteq e_{i,n+j}$ and $\varphi (e_{i,n+j})=i$. Add $e_{i,n+j}$ to Y. Since $b_{i,n+j} \not \in \bigcup Y$, we have $e_{i,n+j} \not \in Y$ and we can therefore use $e_{i,n+j}$ as the edge for $f_{i,n+j}$ in our Berge-path.

Choosing the next vertex will be slightly more complicated (since a might be in some edge in Y). Let $b \in V({\mathcal {K}}_{a}) {\setminus } \bigcup Y$ and let $f_1' = \{b_{i,n}, \ldots , b_{i,n+t-2},b\}$ and $f_2' = \{b_{i,n+1}, \ldots , b_{i,n+t-2}, b, a\}$, and note that $f_1' {\setminus } \{b_{i,n}\} \in E({\mathcal {K}}_{b_{i,n}})$ and $f_2' {\setminus } \{a\} \in E({\mathcal {K}}_{a})$. As before, $i \in \varphi _{b_{i,n},t-1}(f_1' {\setminus } \{b_{i,n}\}) \cap \varphi _{a,t-1}(f_2' {\setminus } \{a\})$ and thus there exist $e_1',e_2' \in E({\mathcal {K}})$ with $f_s' \subseteq e_s'$ and $\varphi (e_s')=i$ for both $s = 1,2$. If $e_1' \not = e_2'$, let $b_{i,n+t-1} := b$ and $b_{i,n+t} = a$ and let $e_{i,n+t-1} := e_1'$ and $e_{i,n+t} = e_2'$. Add $b_{i,n+t-1}$ to X and $e_{i,n+t-1},e_{i,n+t}$ to Y. Note that $e_{i,n+t-1}$ and $e_{i,n+t}$ can be chosen as the edges for the t consecutive vertices of $P_i$ ending in $b_{i,n+t-1}$ and $b_{i,n+t}$. If $e_1' = e_2'$, let $b_{i,n+t-1} = a$ and $e_{i,n+t-1} = e_1' = e_2'$, and add $e_{i,n+t-1}$ to Y. Note that the t consecutive vertices of $P_i$ ending in $b_{i,n+t-1}$ are contained in $e_{i,n+t-1}$ and $e_{i,n+t-1} \not \in Y$. Hence, $e_{i,n+t-1}$ can be chosen as the edge for the t consecutive vertices of $P_i$ ending in $b_{i,n+t-1}$.

By construction, $P_1, \ldots , P_s$ are monochromatic t-tight Berge-paths whose cores are disjoint. Furthermore, since at the beginning of every step the smallest uncovered vertex a of $A_i$ is chosen, we have $\bigcup _i V(P_i) = {\mathbb {N}}$. $\square$

4 Further Remarks and Open Problems

Theorems 1.1–1.4 remain true when we consider cycles instead of paths, where an infinite cycle is a two-way infinite path. It is not clear to us however if one can replace paths by cycles in Theorem 1.5 when $2< t < k$. Difficulties only arise when trying to close finite paths to cycles, hence we can replace paths by cycles if we allow finitely many vertices to be uncovered.

A natural question to ask is if similar results hold in the finite setting. Gyárfás, Lehel, Sárközy and Schelp [8] conjectured that every finite $(k-1)$-edge-coloured complete k-graph contains a monochromatic Hamiltonian Berge-cycle. Note that, in the infinite setting, this is a special case of Theorem 1.4. After partial results in [8, 12, 13, 15], Omidi [16] announced a proof of this conjecture.

We believe that a generalisation of this to more colours, similar as in Theorem 1.4, is true as well.

Conjecture 4.1

For all $s,k \in {\mathbb {N}}$ with $k \ge 2$, there is some $c = c(s,k) \in {\mathbb {N}}$ such that the following is true for all $n \in {\mathbb {N}}$. In every $r = s(k-1)$-edge-colouring of ${\mathcal {K}}_{n}^{(k)}$, there is a collection of at most s monochromatic t-tight Berge-cycles whose cores are disjoint and cover all but c vertices.

For $k=2$, this reduces to a conjecture of Pokrovskiy [17]. We further believe that this can be extended to t-tight Berge-cycles similarly to Theorem 1.5.

Conjecture 4.2

For all $s,k,t \in {\mathbb {N}}$ with $k \ge t \ge 2$, there is some $c = c(s,k,t) \in {\mathbb {N}}$ such that the following is true for all $n \in {\mathbb {N}}$. In every $r = s(k-t+1)$-edge-colouring of ${\mathcal {K}}_{n}^{(k)}$, there is a collection of at most s monochromatic t-tight Berge-cycles whose cores are disjoint and cover all but c vertices.

A simple modification of the construction in Sect. 2 shows that these conjectures are best possible (if true) apart from the finite leftover.

Recently we learned that Gerbner et al. [7, unpublished] made some progress towards these conjectures.