Regular subgraphs at every density

TL;DR

This paper resolves the Erdős-Sauer problem by establishing tight bounds on the maximum edges in graphs without r-regular subgraphs, covering all ranges of r and introducing a novel random process for finding nearly regular subgraphs.

Contribution

The paper provides tight bounds for the maximum edges in graphs without r-regular subgraphs across all r values and develops a new random process to find nearly regular subgraphs efficiently.

Findings

Maximum edges without r-regular subgraphs is at most Cr^2 n log log n.

Graphs with average degree above certain bounds contain an r-regular subgraph.

Introduces a novel random process to find nearly regular subgraphs in almost-regular graphs.

Abstract

In 1975, Erd\H{o}s and Sauer asked to estimate, for any constant $r$, the maximum number of edges an $n$-vertex graph can have without containing an $r$-regular subgraph. In a recent breakthrough, Janzer and Sudakov proved that any $n$-vertex graph with no $r$-regular subgraph has at most $C_r n \log \log n$ edges, matching an earlier lower bound by Pyber, R\"odl and Szemer\'edi and thereby resolving the Erd\H{o}s-Sauer problem up to a constant depending on $r$. We prove that every $n$-vertex graph without an $r$-regular subgraph has at most $Cr^2 n \log \log n$ edges. This bound is tight up to the value of $C$ for $n\geq n_0(r)$ and hence resolves the Erd\H{o}s-Sauer problem up to an absolute constant. Moreover, we obtain similarly tight results for the whole range of possible values of $r$ (i.e., not just when $r$ is a constant), apart from a small error term at a transition point near $r\approx \log n$, where, perhaps surprisingly, the answer changes. More specifically, we show that every $n$-vertex graph with average degree at least $\min(Cr\log(n/r),Cr^2 \log\log n)$ contains an $r$-regular subgraph. The bound $Cr\log(n/r)$ is tight for $r\geq \log n$, while the bound $Cr^2 \log \log n$ is tight for $r<(\log n)^{1-\Omega(1)}$. These results resolve a problem of R\"odl and Wysocka from 1997 for almost all values of $r$. Among other tools, we develop a novel random process that efficiently finds a very nearly regular subgraph in any almost-regular graph. A key step in our proof uses this novel random process to show that every $K$-almost-regular graph with average degree $d$ contains an $r$-regular subgraph for some $r=\Omega_K(d)$, which is of independent interest.