arXiv++ Combinatorics

A properly edge-colored graph is a graph with a coloring of its edges such that no vertex is incident to two or more edges of the same color. A subgraph is called rainbow if all its edges have different colors. The problem of finding rainbow subgraphs or other restricted structures in edge-colored graphs has a long history, dating back to Euler's work on Latin squares. It has also proven to be a powerful method for studying several well-known questions in other areas. In this survey, we will provide a brief introduction to this topic, discuss several results in this area, and demonstrate their applications to problems in graph decomposition, additive combinatorics, theoretical computer science, and coding theory.

The exclusivity principle (E-principle) states that the sum of probabilities of pairwise exclusive events cannot exceed 1. Unlike other principles proposed to characterize quantum correlations, its intrinsically non-bipartite formulation enables its application in more general contextuality scenarios. Although equivalent to the no-signalling condition for any bipartite Bell scenario, this equivalence breaks down for two independent copies of the same scenario. Such violation of the E-principle due to multiple copies, known as its activation effect, was studied in [Nat Commun 4, 2263 (2013)] for the nonlocal extremal boxes of $(2,m,2)$, $(2,2,d)$, and $(3,2,2)$ Bell scenarios. The authors mapped the problem of exhibiting activation effects to finding certain cliques inside joint exclusivity graphs. In this work, we refine the joint exclusivity structure to be an edge-colored exclusivity multigraph. This allows us to draw a novel connection to Ramsey theory, which guarantees the existence of certain monochromatic subgraphs in sufficiently large edge-colored cliques, providing a powerful tool for ruling out E-principle violations. We then exploit this connection, drawing on Ramsey-theoretic results to study violations of the E-principle by multiple copies of the contextual extremal boxes of $n$-cycle scenarios, called $n$-cycle PR boxes. For the usual ($n=4$) PR box we show that the known E-principle violation of $5/4$ is the maximal achievable using two copies, and that this same upper bound applies to two copies of the KCBS ($n = 5$) PR box. We then prove that $n \geq 6$-cycle PR boxes, unlike the extremal boxes of the aforementioned Bell scenarios, do not exhibit activation effects with two or three copies. Finally, for any number of independent copies $k$, we establish a lower bound on $n$ above which $n$-cycle PR boxes do not exhibit activation effects with $k$ copies.

An edge-colored graph is called \textit{rainbow graph} if all the colors on its edges are distinct. For a given positive integer $n$ and a family of graphs $\mathcal{G}$, the anti-Ramsey number $ar(n, \mathcal{G})$ is the smallest number of colors $r$ required to ensure that, no matter how the edges of the complete graph $K_n$ are colored using exactly $r$ colors, there will always be a rainbow copy of some graph $G$ from the family $\mathcal{G}$. A friendship graph $F_k$ is the graph obtained by combining $k$ triangles that share a common vertex. In this paper, we determine the anti-Ramsey number $ar(n, \{F_k\})$ for large values of $n$. Additionally, we also determine the $ar(n, \{K_{1,k}, kK_2\}$, where $K_{1,k}$ is a star graph with $ k+1$ vertices and $kK_2$ is a matching of size $k$.

The basic (and traditional) crossing number problem is to determine the minimum number of crossings in a topological drawing of an input graph in the plane. We develop a unified framework that smoothly captures many generalized crossing number problems, and that yields fixed-parameter tractable (FPT) algorithms for them not only in the plane but also on surfaces. Our framework takes the following form. We fix a surface S, an integer r, and a map \k{appa} from the set of topological drawings of graphs in S to Z+\cup{\infty}, satisfying some natural monotonicity conditions, but essentially describing the allowed drawings and how we want to count the crossings in them. Then deciding whether an input graph G has an allowed drawing D on S with \k{appa}(D)<=r can be done in time quadratic in the size of G (and exponential in other parameters). More generally, we may take as input an edge-colored graph, and distinguish crossings by the colors of the involved edges; and we may allow to perform a bounded number of edge removals and vertex splits to G before drawing it. The proof is a reduction to the embeddability of a graph on a two-dimensional simplicial complex. This framework implies, in a unified way, quadratic FPT algorithms for many topological crossing number variants established in the graph drawing community. Some of these variants already had previously published FPT algorithms, mostly relying on Courcelle's metatheorem, but for many of those, we obtain an algorithm with a better runtime. Moreover, our framework extends, at no cost, to these crossing number variants in any fixed surface.

A crystallization of a PL manifold is an edge-colored graph that corresponds to a contracted triangulation of the manifold, facilitating the study of its topological and combinatorial properties. A small cover over a simple convex $n$-polytope $P^n$ is a closed $n$-manifold with a locally standard $\mathbb{Z}_2^n$-action such that its orbit space is homeomorphic to $P^n$. In this article, we study the crystallizations of small covers over the $n$-simplex $Δ^n$ and the prism $Δ^{n-1} \times I$. It is known that the small cover over the $n$-simplex $Δ^n$ is $\mathbb{RP}^n$. For every $n\geq 2$, we prove that $\mathbb{RP}^n$ has a unique $2^n$-vertex crystallization. We also demonstrate that there are exactly $1 + 2^{n-1}$ D-J equivalence classes of small covers over the prism $Δ^{n-1} \times I$, where $n\geq 3$. For each $\mathbb{Z}_2$-characteristic function of $Δ^{n-1} \times I$, we construct a $2^{n-1}(n+1)$-vertex crystallization of the small cover $M^n(λ)$ with regular genus $1 + 2^{n-4}(n^2 - 2n - 3)$, where $n\geq 4$. In particular, we construct four orientable and four non-orientable $\mathbb{RP}^3$-bundles over $\mathbb{S}^1$ up to D-J equivalence with regular genus 6.

In this paper, we determine the minimum degree threshold of perfect matchings with high discrepancy in $r$-edge-colored $k$-uniform hypergraphs for all $k\geq 3$ and $r\geq 2$, thereby completing the investigation into discrepancies of perfect matchings that has recently attracted significant attention. Our approach identifies this discrepancy threshold with a novel family of multicolored uniform hypergraphs and reveals new phenomena not covered in previous studies. In particular, our results address a question of Balogh, Treglown and Zárate-Guerén concerning 3-uniform hypergraphs.

Assume that $R_1,R_2,\dots,R_t$ are disjoint parallel lines in the plane. A $t$-interval (or $t$-track interval) is a set that can be written as the union of $t$ closed intervals, each on a different line. It is known that pairwise intersecting $2$-intervals can be pierced by two points, one from each line. However, it is not true that every set of pairwise intersecting $3$-intervals can be pierced by three points, one from each line. For $k\ge 3$, Kaiser and Rabinovich asked whether $k$-wise intersecting $t$-intervals can be pierced by $t$ points, one from each line. Our main result provides an asymptotic answer: in any set $S_1,\dots,S_n$ of $k$-wise intersecting $t$-intervals, at least $\frac{k-1}{k+1}n$ can be pierced by $t$ points, one from each line. We prove this in a more general form, replacing intervals by subtrees of a tree. This leads to questions and results on covering vertices of edge-colored complete graphs by vertices of monochromatic cliques having distinct colors, where the colorings are chordal, or more generally induced $C_4$-free graphs. For instance, we show that if the edges of a complete graph $K_n$ are colored with red or blue so that both color classes are induced $C_4$-free, then at least ${4n\over 5}$ vertices can be covered by a red and a blue clique, and this is best possible. We conclude by pointing to new Ramsey-type problems emerging from these restricted colorings.

We construct an edge-colored digraph analogous to Mathon's construction for undirected graphs. We show that this graph is connected to the $k$-th power Paley digraphs and we use this connection to produce improved lower bounds for multicolor directed Ramsey numbers.

In this short note, we present a purely entropic proof that in a $3$-edge-colored simple graph with $R$ red edges, $G$ green edges, and $B$ blue edges, the number of rainbow triangles is at most $\sqrt{2RGB}$.

An edge-colored multigraph $G$ is rainbow connected if every pair of vertices is joined by at least one rainbow path, i.e., a path where no two edges are of the same color. In the context of multilayered networks we introduce the notion of multilayered random geometric graphs, from $h\ge 2$ independent random geometric graphs $G(n,r)$ on the unit square. We define an edge-coloring by coloring the edges according to the copy of $G(n,r)$ they belong to and study the rainbow connectivity of the resulting edge-colored multigraph. We show that $r(n)=\left(\frac{\log n}{n}\right)^{\frac{h-1}{2h}}$ is a threshold of the radius for the property of being rainbow connected. This complements the known analogous results for the multilayerd graphs defined on the Erdős-R\' enyi random model.

Let $G = (V,E)$ be an $n$-vertex graph and let $c: E \to \mathbb{N}$ be a coloring of its edges. Let $d^c(v)$ be the number of distinct colors on the edges at $v \in V$ and let $δ^c(G) = \min_{v \in V} \{ d^{c}(v) \}$. H. Li proved that $δ^c(G) > n/2$ guarantees a rainbow triangle in $G$. We give extensions of Li's result to cliques $K_r$ for $r \ge 4$.

In phylogenetics, reconstructing rooted trees from distances between taxa is a common task. Böcker and Dress generalized this concept by introducing symbolic dated maps $δ:X \times X \to Υ$, where distances are replaced by symbols, and showed that there is a one-to-one correspondence between symbolic ultrametrics and labeled rooted phylogenetic trees. Many combinatorial structures fall under the umbrella of symbolic dated maps, such as 2-dissimilarities, symmetric labeled 2-structures, or edge-colored complete graphs, and are here referred to as strudigrams. Strudigrams have a unique decomposition into non-overlapping modules, which can be represented by a modular decomposition tree (MDT). In the absence of prime modules, strudigrams are equivalent to symbolic ultrametrics, and the MDT fully captures the relationships $δ(x,y)$ between pairs of vertices $x,y$ in $X$ through the label of their least common ancestor in the MDT. However, in the presence of prime vertices, this information is generally hidden. To provide this missing structural information, we aim to locally replace the prime vertices in the MDT to obtain networks that capture full information about the strudigrams. While starting with the general framework of prime-vertex replacement networks, we then focus on a specific type of such networks obtained by replacing prime vertices with so-called galls, resulting in labeled galled-trees. We introduce the concept of galled-tree explainable (GATEX) strudigrams, provide their characterization, and demonstrate that recognizing these structures and reconstructing the labeled networks that explain them can be achieved in polynomial time.

For an $r$-graph $F$ and integers $n,t$ satisfying $t \le n/v(F)$, let $\mathrm{ar}(n,tF)$ denote the minimum integer $N$ such that every edge-coloring of $K_{n}^{r}$ using $N$ colors contains a rainbow copy of $tF$, where $tF$ is the $r$-graphs consisting of $t$ vertex-disjoint copies of $F$. The case $t=1$ is the classical anti-Ramsey problem proposed by Erdős--Simonovits--Sós~\cite{ESS75}. When $F$ is a single edge, this becomes the rainbow matching problem introduced by Schiermeyer~\cite{Sch04} and Özkahya--Young~\cite{OY13}. We conduct a systematic study of $\mathrm{ar}(n,tF)$ for the case where $t$ is much smaller than $\mathrm{ex}(n,F)/n^{r-1}$. Our first main result provides a reduction of $\mathrm{ar}(n,tF)$ to $\mathrm{ar}(n,2F)$ when $F$ is bounded and smooth, two properties satisfied by most previously studied hypergraphs. Complementing the first result, the second main result, which utilizes gaps between Turán numbers, determines $\mathrm{ar}(n,tF)$ for relatively smaller $t$. Together, these two results determine $\mathrm{ar}(n,tF)$ for a large class of hypergraphs. Additionally, the latter result has the advantage of being applicable to hypergraphs with unknown Turán densities, such as the famous tetrahedron $K_{4}^{3}$.

We consider coloring problems inspired by the theory of anti-Ramsey / rainbow colorings that we generalize to a far extent. Let $\mathcal{F}$ be a hereditary family of graphs; i.e., if $H\in \mathcal{F}$ and $H'\subset H$ then also $H'\subset \mathcal{F}$. For a graph $G$ and any integer $n \geq |G|$, let $f(n,G|\mathcal{F})$ denote the smallest number $k$ of colors such that any edge coloring of $K_n$ with at least $k$ colors forces a copy of $G$ in which each color class induces a member of $\mathcal{F}$. The case $\mathcal{F} = \{K_2\}$ is the notorious anti-Ramsey / rainbow coloring problem introduced by Erdős, Simonovits and Sós in 1973. Using the $\mathcal{F}$-deck of $G$, $D(G|\mathcal{F}) = \{ H : H = G - D, \, D \in \mathcal{F}\}$, we define $χ_\mathcal{F}(G) = \min \{ χ(H) : H \in D(G|\mathcal{F}) \}$. The main theorem we prove is: Suppose $\mathcal{F}$ is a hereditary family of graphs, and let $G$ be a graph not a member of $\mathcal{F}$. (1) If $χ_\mathcal{F}(G) \geq 3$, then $f(n, G |\mathcal{F}) = (1+o(1)) \, ex(n, K_{χ_\mathcal{F}(G)})$. (2) Otherwise $f(n, G |\mathcal{F}) = o(n^2)$. Among the families covered by this theorem are: matchings, acyclic graphs, planar and outerplanar graphs, $d$-degenerate graphs, graphs with chromatic number at most $k$, graphs with bounded maximum degree, and many more. We supply many concrete examples to demonstrate the wide range of applications of the main theorem; the next result is a representative of these examples. For $p \geq 5$ and $\mathcal{F} = \{ tK_2 : t \geq 1 \}$, we have $f(n,K_p |\mathcal{F}) = (1+o(1)) \, ex(n, K_{\lceil p/2 \rceil})$; this means a properly colored copy of $K_p$. In other words, a certain number of colors forces nearly twice as large properly edge-colored complete subgraphs as rainbow ones.

For a fixed family of $r$-uniform hypergraphs $\mathcal{F}$, the anti-Ramsey number of $\mathcal{F}$, denoted by $ ar(n,r,\mathcal{F})$, is the minimum number $c$ of colors such that for any edge-coloring of the complete $r$-uniform hypergraph on $n$ vertices with at least $c$ colors, there is a rainbow copy of some hypergraph in $\mathcal{F}$. Here, a rainbow hypergraph is an edge-colored hypergraph with all edges colored differently. Let $\mathcal{P}_k$ and $\mathcal{C}_k$ be the families of loose paths and loose cycles with $k$ edges in an $r$-uniform hypergraph, respectively. In this paper, we determine the exact values of $ ar(n,r,\mathcal{P}_k)$ and $ ar(n,r,\mathcal{C}_k)$ for all $k\geq 4$ and $r\geq 3$.

We prove that a binary linear code of block length $n$ that is locally correctable with $3$ queries against a fraction $δ> 0$ of adversarial errors must have dimension at most $O_δ(\log^2 n \cdot \log \log n)$. This is almost tight in view of quadratic Reed-Muller codes being a $3$-query locally correctable code (LCC) with dimension $Θ(\log^2 n)$. Our result improves, for the binary field case, the $O_δ(\log^8 n)$ bound obtained in the recent breakthrough of (Kothari and Manohar, 2023) (arXiv:2311.00558) (and the more recent improvement to $O_δ(\log^4 n)$ for binary linear codes announced in (Yankovitz, 2024)). Previous bounds for $3$-query linear LCCs proceed by constructing a $2$-query locally decodable code (LDC) from the $3$-query linear LCC/LDC and applying the strong bounds known for the former. Our approach is more direct and proceeds by bounding the covering radius of the dual code, borrowing inspiration from (Iceland and Samorodnitsky, 2018) (arXiv:1802.01184). That is, we show that if $x \mapsto (v_1 \cdot x, v_2 \cdot x, \ldots, v_n \cdot x)$ is an arbitrary encoding map $\mathbb{F}_2^k \to \mathbb{F}_2^n$ for the $3$-query LCC, then all vectors in $\mathbb{F}_2^k$ can be written as a $\widetilde{O}_δ(\log n)$-sparse linear combination of the $v_i$'s, which immediately implies $k \le \widetilde{O}_δ((\log n)^2)$. The proof of this fact proceeds by iteratively reducing the size of any arbitrary linear combination of at least $\widetildeΩ_δ(\log n)$ of the $v_i$'s. We achieve this using the recent breakthrough result of (Alon, Bucić, Sauermann, Zakharov, and Zamir, 2023) (arXiv:2309.04460) on the existence of rainbow cycles in properly edge-colored graphs, applied to graphs capturing the linear dependencies underlying the local correction property.

An edge-colored rooted directed tree (aka arborescence) is path-monochromatic if every path in it is monochromatic. Let $k,\ell$ be positive integers. For a tournament $T$, let $f_T(k)$ be the largest integer such that every $k$-edge coloring of $T$ has a path-monochromatic subtree with at least $f_T(k)$ vertices and let $f_T(k,\ell)$ be the restriction to subtrees of depth at most $\ell$. It was proved by Landau that $f_T(1,2)=n$ and proved by Sands et al. that $f_T(2)=n$ where $|V(T)|=n$. Here we consider $f_T(k)$ and $f_T(k,\ell)$ in more generality, determine their extremal values in most cases, and in fact in all cases assuming the Caccetta-Häggkvist Conjecture. We also study the typical value of $f_T(k)$ and $f_T(k,\ell)$, i.e., when $T$ is a random tournament.

We consider three extremal problems about the number of copies of a fixed graph in another larger graph. First, we correct an error in a result of Reiher and Wagner and prove that the number of $k$-edge stars in a graph with density $x \in [0, 1]$ is asymptotically maximized by a clique and isolated vertices or its complement. Next, among ordered $n$-vertex graphs with $m$ edges, we determine the maximum and minimum number of copies of a $k$-edge star whose nonleaf vertex is minimum among all vertices of the star. Finally, for $s \ge 2$, we define a particular $3$-edge-colored complete graph $F$ on $2s$ vertices with colors blue, green and red, and determine, for each $(x_b, x_g)$ with $x_b+x_g\le 1$ and $x_b, x_g \ge 0$, the maximum density of $F$ in a large graph whose blue, green and red edge sets have densities $x_b, x_g$ and $1-x_b-x_g$, respectively. These are the first nontrivial examples of colored graphs for which such complete results are proved.

An edge-colored graph $G$ is called properly colored if every two adjacent edges are assigned different colors. A monochromatic triangle is a cycle of length 3 with all the edges having the same color. Given a tree $T_0$, let $\mathcal{T}(n,T_0)$ be the collection of $n$-vertex trees that are subdivisions of $T_0$. It is conjectured that for each fixed tree $T_0$, there is a function $f(T_0)$ such that for each integer $n\geq f(T_0)$ and each $T\in \mathcal{T}(n,T_0)$, every edge-colored complete graph $K_n$ without containing monochromatic triangle must contain a properly colored copy of $T$. We confirm the conjecture in the case that $T_0$ is a star. A weaker version of the above conjecture is also obtained. Moreover, to get a nice quantitative estimation of $f(T_0)$ when $T_0$ is a star requires determining the constraint Ramsey number of a monochromatic triangle and a rainbow star, which is of independent interest.

Given an edge-colored graph $G$, we denote the number of colors as $c(G)$, and the number of edges as $e(G)$. An edge-colored graph is rainbow if no two edges share the same color. A proper $mK_3$ is a vertex disjoint union of $m$ rainbow triangles. Rainbow problems have been studied extensively in the context of anti-Ramsey theory, and more recently, in the context of Turán problems. B. Li. et al. \textit{European J. Combin. 36 (2014)} found that a graph must contain a rainbow triangle if $e(G)+c(G) \geq \binom{n}{2}+ n$. L. Li. and X. Li. \textit{Discrete Applied Mathematics 318 (2022)} conjectured a lower bound on $e(G)+c(G)$ such that $G$ must contain a proper $mK_3$. In this paper, we provide a construction that disproves the conjecture. We also introduce a result that guarantees the existence of $m$ vertex disjoint rainbow $K_k$ subgraphs in general host graphs, and a sharp result on the existence of proper $mK_3$ in complete graphs.