Table of Contents
Fetching ...

On the Color Discrepancy of Spanning Trees in Random and Randomly Perturbed Graphs

Wenchong Chen, Xiao-Chuan Liu, Xu Yang

TL;DR

This work investigates color discrepancy in spanning trees within random graphs and randomly perturbed dense graphs. By adopting a hypergraph framework and developing leaf-rich spanning-tree constructions, it proves that in $G \sim G(n,p)$ with $p \ge C/n$ there exists a spanning forest with substantial color imbalance under any 2-edge-coloring, and, in the regime $p = (\log n + \omega(1))/n$, a spanning tree with a linear number of leaves exhibits strong imbalance. The results extend to randomly perturbed dense graphs $G_{\alpha} \cup G(n,p)$, establishing that sparse randomness suffices to enforce large discrepancy in all spanning trees, and they address $r$-colorings as well. Techniques include a leaf-growth strategy via a Leaf-Increasing Algorithm, bipartite matching arguments, and a perturbation-Connectivity framework leading to 3-connectivity, culminating in quantitative lower bounds on the discrepancy $s(H)$. These findings highlight the robustness of color-discrepancy phenomena in network-like structures, with implications for routing and network design in random and perturbed environments.

Abstract

In this work, we study the color discrepancy of spanning trees in random graphs. We show that for the Erdős-Rényi random graph $G(n,p)$ with $p$ above the connectivity threshold, the following holds with high probability: in every 2-edge-coloring of the graph, there exists a spanning tree with a linear number of leaves such that one color class contains more than $\frac{1 + \varepsilon}{2}n $ of the tree's edges. Here, $\varepsilon>0$ is a small absolute constant independent of $p$. We also extend this line of research to randomly perturbed dense graphs, showing that adding a few random edges to a dense graph typically creates a spanning tree with a large color discrepancy under any 2-edge-coloring.

On the Color Discrepancy of Spanning Trees in Random and Randomly Perturbed Graphs

TL;DR

This work investigates color discrepancy in spanning trees within random graphs and randomly perturbed dense graphs. By adopting a hypergraph framework and developing leaf-rich spanning-tree constructions, it proves that in with there exists a spanning forest with substantial color imbalance under any 2-edge-coloring, and, in the regime , a spanning tree with a linear number of leaves exhibits strong imbalance. The results extend to randomly perturbed dense graphs , establishing that sparse randomness suffices to enforce large discrepancy in all spanning trees, and they address -colorings as well. Techniques include a leaf-growth strategy via a Leaf-Increasing Algorithm, bipartite matching arguments, and a perturbation-Connectivity framework leading to 3-connectivity, culminating in quantitative lower bounds on the discrepancy . These findings highlight the robustness of color-discrepancy phenomena in network-like structures, with implications for routing and network design in random and perturbed environments.

Abstract

In this work, we study the color discrepancy of spanning trees in random graphs. We show that for the Erdős-Rényi random graph with above the connectivity threshold, the following holds with high probability: in every 2-edge-coloring of the graph, there exists a spanning tree with a linear number of leaves such that one color class contains more than of the tree's edges. Here, is a small absolute constant independent of . We also extend this line of research to randomly perturbed dense graphs, showing that adding a few random edges to a dense graph typically creates a spanning tree with a large color discrepancy under any 2-edge-coloring.

Paper Structure

This paper contains 3 sections, 10 theorems, 37 equations, 1 algorithm.

Key Result

Theorem 1

Let $r\geq 2$ be an integer and let $\varepsilon>0$. Then there exist $C$ and $K$ such that if $p\geq C/n$, the random graph $G\sim G(n,p)$ is whp such that in any $r$-coloring of its edges there exists a path of length at least $(\frac{2}{r+1}-o(1))n$ in which all but at most $K$ of the edges are

Theorems & Definitions (21)

  • Theorem 1: Theorem 1.5 in gishboliner2022color
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Lemma 1
  • proof
  • Proposition 1
  • proof
  • proof : Proof of the Claim
  • proof : proof of the Claim
  • ...and 11 more