arXiv++ Combinatorics

In 2017, Aharoni proposed the following generalization of the Caccetta-Häggkvist conjecture: if $G$ is a simple $n$-vertex edge-colored graph with $n$ color classes of size at least $r$, then $G$ contains a rainbow cycle of length at most $\lceil n/r \rceil$. In this paper, we prove that, for fixed $r$, Aharoni's conjecture holds up to an additive constant. Specifically, we show that for each fixed $r \geq 1$, there exists a constant $α_r \in O(r^5 \log^2 r)$ such that if $G$ is a simple $n$-vertex edge-colored graph with $n$ color classes of size at least $r$, then $G$ contains a rainbow cycle of length at most $n/r + α_r$.

We call an edge-colored graph rainbow if all of its edges receive distinct colors. An edge-colored graph $Γ$ is called $H$-rainbow saturated if $Γ$ does not contain a rainbow copy of $H$ and adding an edge of any color to $Γ$ creates a rainbow copy of $H$. The rainbow saturation number $sat(n,{R}(H))$ is the minimum number of edges in an $n$-vertex $H$-rainbow saturated graph. Girão, Lewis, and Popielarz conjectured that $sat(n,{R}(K_r))=2(r-2)n+O(1)$ for fixed $r\geq 3$. Disproving this conjecture, we establish that for every $r\geq 3$, there exists a constant $α_r$ such that $$r + Ω\left(r^{1/3}\right) \le α_r \le r + r^{1/2} \qquad \text{and} \qquad sat(n,{R}(K_r)) = α_r n + O(1).$$ Recently, Behague, Johnston, Letzter, Morrison, and Ogden independently gave a slightly weaker upper bound which was sufficient to disprove the conjecture. They also introduced the weak rainbow saturation number, and asked whether this is equal to the rainbow saturation number of $K_r$, since the standard weak saturation number of complete graphs equals the standard saturation number. Surprisingly, our lower bound separates the rainbow saturation number from the weak rainbow saturation number, answering this question in the negative. The existence of the constant $α_r$ resolves another of their questions in the affirmative for complete graphs. Furthermore, we show that the conjecture of Girão, Lewis, and Popielarz is true if we have an additional assumption that the edge-colored $K_r$-rainbow saturated graph must be rainbow. As an ingredient of the proof, we study graphs which are $K_r$-saturated with respect to the operation of deleting one edge and adding two edges.

We prove that every properly edge-colored $n$-vertex graph with average degree at least $100(\log n)^2$ contains a rainbow cycle, improving upon $(\log n)^{2+o(1)}$ bound due to Tomon. We also prove that every properly colored $n$-vertex graph with at least $10^5 k^2 n^{1+1/k}$ edges contains a rainbow $2k$-cycle, which improves the previous bound $2^{ck^2}n^{1+1/k}$ obtained by Janzer. Our method using homomorphism inequalities and a lopsided regularization lemma also provides a simple way to prove the Erdős--Simonovits supersaturation theorem for even cycles, which may be of independent interest.

A path in an edge-colored graph is said to be rainbow if no color repeats on it. An edge-colored graph is said to be rainbow $k$-connected if every pair of vertices is connected by $k$ internally disjoint rainbow paths. The rainbow $k$-connection number $\mathrm{rc}_k(G)$ is the minimum number of colors $\ell$ such that there exists a coloring with $\ell$ colors that makes $G$ rainbow $k$-connected. Let $f(k,t)$ be the minimum integer such that every $t$-partite graph with part sizes at least $f(k,t)$ has $\mathrm{rc}_k(G) \le 4$ if $t=2$ and $\mathrm{rc}_k(G) \le 3$ if $t \ge 3$. Answering a question of Fujita, Liu and Magnant, we show that \[ f(k,t) = \left\lceil \frac{2k}{t-1} \right\rceil \] for all $k\geq 2$, $t\geq 2$. We also give some conditions for which $\mathrm{rc}_k(G) \le 3$ if $t=2$ and $\mathrm{rc}_k(G) \le 2$ if $t \ge 3$.

Two independent edges in ordered graphs can be nested, crossing or separated. These relations define six types of subgraphs, depending on which relations are forbidden. We refine a remark by Erdős and Rado that every 2-coloring of the edges of a complete graph contains a monochromatic spanning tree. We show that forbidding one relation we always have a monochromatic (non-nested, non-crossing, non-separated) spanning tree in a 2-edge-colored ordered complete graph. On the other hand, if two relations are forbidden, then it is possible that we have monochromatic (nested, separated, crossing) subtrees of size only half the number of vertices. The existence of a monochromatic non-nested spanning tree in 2-colorings of ordered complete graphs verifies a more general conjecture for twisted drawings. Our second subject is to refine the Ramsey number of matchings for ordered complete graphs. Cockayne and Lorimer proved that for given positive integers t, n, m=(t-1)(n-1)+2n is the smallest integer with the following property: every t-coloring of the edges of a complete graph Km contains a monochromatic matching with n edges. We conjecture a strengthening: t-colored ordered complete graphs on m vertices contain monochromatic non-nested and also non-separated matchings with n edges. We prove this conjecture for some special cases. (i) Every t-colored ordered complete graph on t+3 vertices contains a monochromatic non-nested matching of size two. (ii) Every 2-colored ordered complete graph on 3n-1 vertices contains a monochromatic non-separated matching of size n. For nested, separated, and crossing matchings the situation is different. The smallest m ensuring a monochromatic matching of size n in every t-coloring is 2(t(n-1))+1) in the first two cases and one less in the third case.

An edge-colored graph is \emph{rainbow }if no two edges of the graph have the same color. An edge-colored graph $G^c$ is called \emph{properly colored} if every two adjacent edges of $G^c$ receive distinct colors in $G^c$. A \emph{strongly edge-colored} graph is a proper edge-colored graph such that every path of length $3$ is rainbow. We call an edge-colored graph $G^c$ \emph{rainbow vertex pair-pancyclic} if any two vertices in $G^c$ are contained in a rainbow cycle of length $\ell$ for each $\ell$ with $3 \leq \ell \leq n$. In this paper, we show that every strongly edge-colored graph $G^c$ of order $n$ with minimum degree $δ\geq \frac{2n}{3}+1$ is rainbow vertex pair-pancyclicity.

An edge-colored graph $F$ is rainbow if each edge of $F$ has a unique color. The rainbow Turán number $ex^*(n,F)$ of a graph $F$ is the maximum possible number of edges in a properly edge-colored $n$-vertex graph with no rainbow copy of $F$. The study of rainbow Turán numbers was introduced by Keevash, Mubayi, Sudakov, and Verstraëte in 2007. In this paper we focus on $ex^*(n,P_5)$. While several recent papers have investigated rainbow Turán numbers for $\ell$-edge paths $P_{\ell}$, exact results have only been obtained for $\ell < 5$, and $P_5$ represents one of the smallest cases left open in rainbow Turán theory. In this paper, we prove that $ex^*(n,P_5) \leq \frac{5n}{2}$. Combined with a lower-bound construction due to Johnston and Rombach, this result shows that $ex^*(n,P_5) = \frac{5n}{2} $ when $n$ is divisible by $16$, thereby settling the question asymptotically for all $n$. In addition, this result strengthens the conjecture that $ex^*(n,P_{\ell}) = \frac{\ell}{2}n + O(1)$ for all $\ell \geq 3$.

An edge-coloring of a complete graph with a set of colors $C$ is called completely balanced if any vertex is incident to the same number of edges of each color from $C$. Erdős and Tuza asked in $1993$ whether for any graph $F$ on $\ell$ edges and any completely balanced coloring of any sufficiently large complete graph using $\ell$ colors contains a rainbow copy of $F$. This question was restated by Erdős in his list of ``Some of my favourite problems on cycles and colourings''. We answer this question in the negative for most cliques $F=K_q$ by giving explicit constructions of respective completely balanced colorings. Further, we answer a related question concerning completely balanced colorings of complete graphs with more colors than the number of edges in the graph $F$.

Classical Hamming graphs are Cartesian products of complete graphs, and two vertices are adjacent if they differ in exactly one coordinate. Motivated by connections to unitary Cayley graphs, we consider a generalization where two vertices are adjacent if they have no coordinate in common. Metric dimension of classical Hamming graphs is known asymptotically, but, even in the case of hypercubes, few exact values have been found. In contrast, we determine the metric dimension for the entire diagonal family of $3$-dimensional generalized Hamming graphs. Our approach is constructive and made possible by first characterizing resolving sets in terms of forbidden subgraphs of an auxiliary edge-colored hypergraph.

Alternating Euler trails has been extensively studied for its diverse applications, for example, in genetic and molecular biology, social science and channel assignment in wireless networks, as well as for theoretical reasons. We will consider the following edge-coloring. Let $H$ be a graph possibly with loops and $G$ a graph without loops. An $H$-coloring of $G$ is a function $c: E(G) \rightarrow V(H)$. We will say that $G$ is an $H$-colored graph whenever we are taking a fixed $H$-coloring of $G$. A sequence $W=(v_0,e_0^1, \ldots, e_0^{k_0},v_1,e_1^1,\ldots,e_{n-1}^{k_{n-1}},v_n)$ in $G$, where for each $i \in \{0,\ldots, n-1\}$, $k_i \geq 1$ and $e_i^j = v_iv_{i+1}$ is an edge in $G$, for every $j \in \{1,\ldots, k_i \}$, is a dynamic $H$-trail if $W$ does not repeat edges and $c(e_i^{k_i})c(e_{i+1}^1)$ is an edge in $H$, for each $i \in \{0,\ldots,n-2\}$. In particular a dynamic $H$-trail is an alternating Euler trail when $H$ is a complete graph without loops and $k_i=1$, for every $i \in \{1,\ldots,n-1\}$. In this paper, we introduce the concept of dynamic $H$-trail, which arises in a natural way in the modeling of many practical problems, in particular, in theoretical computer science. We provide necessary and sufficient conditions for the existence of closed Euler dynamic $H$-trail in $H$-colored multigraphs. Also we provide polynomial time algorithms that allows us to convert a cycle in an auxiliary graph, $L_2^H(G)$, in a closed dynamic H-trail in $G$, and vice versa, where $L_2^H(G)$ is a non-colored simple graph obtained from $G$ in a polynomial time.

A path (cycle) is properly-colored if consecutive edges are of distinct colors. In 1997, Bang-Jensen and Gutin conjectured a necessary and sufficient condition for the existence of a Hamilton path in an edge-colored complete graph. This conjecture, confirmed by Feng, Giesen, Guo, Gutin, Jensen and Rafley in 2006, was laterly playing an important role in Lo's asymptotical proof of Bollobás-Erdős' conjecture on properly-colored Hamilton cycles. In 1997, Yeo obtained a structural characterization of edge-colored graphs that containing no properly colored cycles. This result is a fundamental tool in the study of edge-colored graphs. In this paper, we first give a much shorter proof of the Bang-Jensen-Gutin Conjecture by two novel absorbing lemmas. We also prove a new sufficient condition for the existence of a properly-colored cycle and then deduce Yeo's theorem from this result and a closure concept in edge-colored graphs.

Let $G$ be an edge-colored graph, a walk in $G$ is said to be a properly colored walk iff each pair of consecutive edges have different colors, including the first and the last edges in case that the walk be closed. Let $H$ be a graph possible with loops. We will say that a graph $G$ is an $H$-colored graph iff there exists a function $c:E(G)\longrightarrow V(H)$. A path $(v_1,\cdots,v_k)$ in $G$ is an $H$-path whenever $(c(v_1v_2),\cdots,$ $c(v_{k-1}v_k))$ is a walk in $H$, in particular, a cycle $(v_1,\cdots,v_k,v_1)$ is an $H$-cycle iff $(c(v_1 v_2),\cdots,c(v_{k-1}v_k),$ $c(v_kv_1), c(v_1 v_2))$ is a walk in $H$. Hence, $H$ decide which color transitions are allowed in a walk, in order to be an $H$-walk. Whenever $H$ is a complete graph without loops, an $H$-walk is a properly colored walk, so $H$-walk is a more general concept. In this paper, we work with $H$-colored complete graphs, with restrictions given by an auxiliary graph. The main theorems give conditions implying that every vertex in an $H$-colored complete graph, is contained in an $H$-cycle of length 3 and in an $H$-cycle of length 4. As a consequence of the main results, we obtain some well-known theorems in the theory of properly colored walks.

One of the most important questions in matroid optimization is to find disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases. Bérczi and Schwarcz showed that the problem is hard in general, therefore identifying the borderline between tractable and intractable instances is of interest. In the present paper, we study the special case when one of the matroids is a partition matroid while the other one is a graphic matroid. This setting is equivalent to the problem of packing rainbow spanning trees, an extension of the problem of packing arborescences in directed graphs which was answered by Edmonds' seminal result on disjoint arborescences. We complement his result by showing that it is NP-complete to decide whether an edge-colored graph contains two disjoint rainbow spanning trees. Our complexity result holds even for the very special case when the graph is the union of two spanning trees and each color class contains exactly two edges. As a corollary, we give a negative answer to a question on the decomposition of oriented $k$-partition-connected digraphs.

For a digraph $G$ and $v \in V(G)$, let $δ^+(v)$ be the number of out-neighbors of $v$ in $G$. The Caccetta-Häggkvist conjecture states that for all $k \ge 1$, if $G$ is a digraph with $n = |V(G)|$ such that $δ^+(v) \ge k$ for all $v \in V(G)$, then $G$ contains a directed cycle of length at most $\lceil n/k \rceil$. Aharoni proposed a generalization of this conjecture, that a simple edge-colored graph on $n$ vertices with $n$ color classes, each of size at least $k$, has a rainbow cycle of length at most $\lceil n/k \rceil$. Let us call $(α, β)$ \emph{triangular} if every simple edge-colored graph on $n$ vertices with at least $αn$ color classes, each with at least $βn$ edges, has a rainbow triangle. Aharoni, Holzman, and DeVos showed the following: $(9/8,1/3)$ is triangular; $(1,2/5)$ is triangular. In this paper, we improve those bounds, showing the following: $(1.1077,1/3)$ is triangular; $(1,0.3988)$ is triangular. Our methods give results for infinitely many pairs $(α, β)$, including $β< 1/3$; we show that $(1.3481,1/4)$ is triangular.

An edge-colored graph is called rainbow if all the colors on its edges are distinct. Given a positive integer n and a graph G, the anti-Ramsey number ar(n,G) is the maximum number of colors in an edge-coloring of K_{n} with no rainbow copy of G. Denote by kC_{3} the union of k vertex-disjoint copies of C_{3}. In this paper, we determine the anti-Ramsey number ar(n,kC_{3}) for n=3k and n\geq2k^{2}-k+2, respectively. When 3k\leq n\leq 2k^{2}-k+2, we give lower and upper bounds for ar(n, kC_{3}).

Let $G$ be an edge-colored graph on $n$ vertices. The minimum color degree of $G$, denoted by $δ^c(G)$, is defined as the minimum number of colors assigned to the edges incident to a vertex in $G$. In 2013, H. Li proved that an edge-colored graph $G$ on $n$ vertices contains a rainbow triangle if $δ^c(G)\geq \frac{n+1}{2}$. In this paper, we obtain several estimates on the number of rainbow triangles through one given vertex in $G$. As consequences, we prove counting results for rainbow triangles in edge-colored graphs. One main theorem states that the number of rainbow triangles in $G$ is at least $\frac{1}{6}δ^c(G)(2δ^c(G)-n)n$, which is best possible by considering the rainbow $k$-partite Turán graph, where its order is divisible by $k$. This means that there are $Ω(n^2)$ rainbow triangles in $G$ if $δ^c(G)\geq \frac{n+1}{2}$, and $Ω(n^3)$ rainbow triangles in $G$ if $δ^c(G)\geq cn$ when $c>\frac{1}{2}$. Both results are tight in sense of the order of the magnitude. We also prove a counting version of a previous theorem on rainbow triangles under a color neighborhood union condition due to Broersma et al., and an asymptotically tight color degree condition forcing a colored friendship subgraph $F_k$ (i.e., $k$ rainbow triangles sharing a common vertex).

In 2019, Aterias et al. constructed pairs of quantum isomorphic, non-isomorphic graphs from linear constraint systems. This article deals with quantum automorphisms and quantum isomorphisms of colored versions of those graphs. We show that the quantum automorphism group of such a colored graph is the dual of the homogeneous solution group of the underlying linear constraint system. Given a vertex- and edge-colored graph with certain properties, we construct an uncolored graph that has the same quantum automorphism group as the colored graph we started with. Using those results, we obtain the first known example of a graph that has quantum symmetry and finite quantum automorphism group. Furthermore, we construct a pair of quantum isomorphic, non-isomorphic graphs that both have no quantum symmetry.

An edge-colored hypergraph is rainbow if all of its edges have different colors. Given two hypergraphs $\mathcal{H}$ and $\mathcal{G}$, the anti-Ramsey number $ar(\mathcal{G}, \mathcal{H})$ of $\mathcal{H}$ in $\mathcal{G}$ is the maximum number of colors needed to color the edges of $\mathcal{G}$ so that there does not exist a rainbow copy of $\mathcal{H}$. Li et al. determined the anti-Ramsey number of $k$-matchings in complete bipartite graphs. Jin and Zang showed the uniqueness of the extremal coloring. In this paper, as a generalization of these results, we determine the anti-Ramsey number $ar_r(\mathcal{K}_{n_1,\ldots,n_r},M_k)$ of $k$-matchings in complete $r$-partite $r$-uniform hypergraphs and show the uniqueness of the extremal coloring. Also, we show that $\mathcal{K}_{k-1,n_2,\ldots,n_r}$ is the unique extremal hypergraph for Turán number $ex_r(\mathcal{K}_{n_1,\ldots,n_r},M_k)$ and show that $ar_r(\mathcal{K}_{n_1,\ldots,n_r},$ $M_k)=ex_r(\mathcal{K}_{n_1,\ldots,n_r},M_{k-1})+1$, which gives a multi-partite version result of Özkahya and Young's conjecture.

Gyárfás conjectured in 2011 that every $r$-edge-colored $K_n$ contains a monochromatic component of bounded ("perhaps three") diameter on at least $n/(r-1)$ vertices. Letzter proved this conjecture with diameter four. In this note we improve the result in the case of $r=3$: We show that in every $3$-edge-coloring of $K_n$ either there is a monochromatic component of diameter at most three on at least $n/2$ vertices or every color class is spanning and has diameter at most four.

A rainbow matching in an edge-colored graph is a matching in which no two edges have the same color. The color degree of a vertex v is the number of different colors on edges incident to v. Kritschgau [Electron. J. Combin. 27(2020)] studied the existence of rainbow matchings in edge-colored graph G with average color degree at least 2k, and proved some sufficient conditions for a rainbow marching of size k in G. The sufficient conditions include that |V(G)|>=12k^2+4k, or G is a properly edge-colored graph with |V(G)|>=8k. In this paper, we show that every edge-colored graph G with |V(G)|>=4k-4 and average color degree at least 2k-1 contains a rainbow matching of size k. In addition, we also prove that every strongly edge-colored graph G with average degree at least 2k-1 contains a rainbow matching of size at least k. The bound is sharp for complete graphs.