Subgraphs with a positive minimum semidegree in digraphs with large outdegree
Andrzej Grzesik, Vojtech Rodl, Jan Volec
TL;DR
The paper establishes a sharp lower bound on the minimum semidegree induced in a subgraph of an n-vertex digraph with a given outdegree d, showing δ^±(H) ≥ d(d+1)/(2n). The proof uses a greedy vertex-removal strategy and a careful double-counting argument to derive the bound, which is shown to be asymptotically tight for d = o(n) via explicit tournament constructions. It also explores dense-digraph regimes, deriving sharper bounds for large α in δ^+(G) = αn, and extends the discussion to oriented graphs and normalized semidegree μ(G), connecting these bounds to cycles and regularity-based structures such as C_ℓ[b].
Abstract
We prove that every $n$-vertex directed graph $G$ with the minimum outdegree $δ^+(G) = d$ contains a subgraph $H$ satisfying \[ \min\left\{δ^+(H), δ^-(H) \right\} \ge \frac{d(d+1)}{2n} \,.\] We also show that if $d = o(n)$ then this bound is asymptotically best possible.
