Papers by Yunshu Gao
4 paper(s) by this author
· All BibTeX
A linear bound for a connectivity partition in graphs
Kühn and Osthus proved that, for every positive integer $\ell$, every $2^{16}\ell^2$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\geq \ell$ for every $v\in S$. And they asked whether the quadratic bound can be replaced by a linear bound. In this paper, we answer this question in the affirmative by proving that every $641\ell$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\ge \ell$ for every $v\in S$. The proof integrates the Moser-Tardos resampling algorithm.
Antidirected forests in digraphs
A digraph is antidirected if every vertex has indegree zero or outdegree zero. Let $k\ge2$, and let $F$ be an antidirected forest with $k$ arcs and no isolated vertices. We prove that every digraph $D$ of order $n$ with more than $g_k(n):=2\max\left\{\binom{2k-1}{2}, (k-1)\left(n-\frac{k}{2}\right)\right\}$ arcs contains $F$ as a subdigraph. For $n\ge2k-1$, this threshold equals $2\mathrm{ex}(n,kK_2)$ and is attained by symmetric digraphs arising from extremal $kK_2$-free graphs. Consequently, the maximum directed extremal number over all such forests is $2\mathrm{ex}(n,kK_2)$. The proof combines a counting inequality for rooted antidirected forests, embeddings extending vertex-disjoint arcs, and vertex deletion. In the remaining case, the Gallai--Edmonds decomposition of the underlying graph gives the required bound on the number of arcs.
Dominant-Degree Conditions for Ramsey--Turán Factors of Non-Directed Cycle Orientations
Let $\Cvec$ be a fixed orientation of the cycle $C_\ell$, $\ell\ge3$, which is not directed. For an oriented graph $D$, let
$d_D^*(v):=\max\{d_D^+(v),d_D^-(v)\},$ and let \[ \sigore(D):=\min\bigl\{d_D^*(x)+d_D^*(y):x\ne y,\ xy,yx\notin A(D)\bigr\}, \] with $\sigore(D)=\infty$ if the underlying graph of $D$ is complete. We prove that, for every $μ>0$, there exist $γ>0$ and $n_0$ such that every $n\ge n_0$ with $\ell\mid n$ and every $n$-vertex oriented graph $D$ satisfying \[ α(D)\leγn \text{ and }
{\sigore(D)\ge\left(\frac34+μ\right)n} \] contains a $\Cvec$-factor. {Additionally, for every fixed $s\ge2$ and every fixed real constant $C$, we construct arbitrarily large oriented graphs with $\sigore(D)\ge \frac34n+C$ that contain no $C_{2s}^{\ad}$-factor. More precisely, $C:=\frac34α(D)-2$ for $s=2$ and $C:=\frac14α(D)-\frac32$ for $s\ge3$.} This paper develops a weighted reduction framework adapted to dominant degree condition, proves the absorption lemma via closed-cluster merging with even-walk, and derives almost-perfect tiling structures by virtue of Farkas-lemma-based fractional decomposition.
Ramsey-Turán Anti-Directed Cycle Factors in Oriented Graphs
Let $C_{2s}^{\mathrm{ad}}$ be the anti-directed cycle of length $2s$, where $s\geq2$. We prove that, for every $μ>0$, every sufficiently large $n$-vertex oriented graph $D$ with $2s\mid n$, \[ δ^0(D)\geq\left(\frac14+μ\right)n \qquad\text{and}\qquad α(D)=o(n) \] contains a $C_{2s}^{\mathrm{ad}}$-factor. The minimum semidegree threshold is asymptotically tight. The proof develops Ramsey--Turán-type lattice-absorption lemmas with a transferral arising from the small-independence condition by virtue of a fork-type structure.