Subgraph discrepancies in the complete graph

Read full text
Authors: Micha Christoph, Lior Gishboliner, Michael Krivelevich
Cited by: 0

Abstract

Given a 2-edge-coloring $f : E(K_n) \rightarrow \{\pm 1\}$, the discrepancy of a subgraph $F \subseteq K_n$ is defined as $\left| \sum_{e \in E(F)} f(e) \right|$. Erdős, Füredi, Loebl and Sós showed that if $F$ is an $n$-vertex tree with maximum degree at most $(1-\varepsilon)n$, then every 2-coloring of $K_n$ has a copy of $F$ with discrepancy $Ω(\varepsilon)n$. We extend this result by showing that the same conclusion holds for every $n$-vertex graph with maximum degree at most $(1-\varepsilon)n$ and no isolated vertices. We also show that for every $d$-regular $n$-vertex graph $F$ with $d \leq (1-\varepsilon)n$, every 2-coloring of $K_n$ has a copy of $F$ with discrepancy $Ω(\sqrt{\varepsilon d}) \cdot n$. The dependence on $d$ and $n$ is best possible. Finally, we consider specific graphs $F$, namely $K_r$-factors and 2-factors. For each such graph $F$, we determine the optimal constant $λ$ such that every 2-coloring of $K_n$ has a copy of $F$ with discrepancy at least $(λ+ o(1))n$.

Fields of Study & Subjects

Limits and Structures in Graph Theory Advanced Combinatorial Mathematics Analytic Number Theory Research

Publication details

Journal / source
arXiv (Cornell University)
Publication date
3 February 2026
Document type
Preprint