Nearly Spanning Regular Subgraphs

Abstract: Alon and Mubayi asked whether, for every integer $k\ge1$ and every $\varepsilon&gt;0$, there exists $r_0=r_0(k,\varepsilon)$ such that every $r$-regular graph on $n$ vertices with $r\ge r_0$ contains a $k$-regular subgraph covering at least $(1-\varepsilon)n$ vertices. Previously, the conjecture was known for $k\in{1,2}$ and for $k$ and $r$ both even. We answer this question affirmatively for general $k$ and $r$ with $\varepsilon=O_k(r<sup>{-1/2})$. For $k=2$ and every odd $r\ge3$, we show that $\varepsilon=1/(r<sup>2-3)$ suffices which is best possible.