Source author record

Xingxing Yu

Xingxing Yu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO

Catalog footprint

What is connected

11works

1topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2021arXiv

A better bound on the size of rainbow matchings

Aharoni and Howard conjectured that, for positive integers $n,k,t$ with $n\ge k$ and $n\ge t$, if $F_1,\ldots, F_t\subseteq {[n]\choose k}$ such that $|F_i|>{n\choose k}-{n-t+1\choose k}$ for $i\in [t]$ then there exist $e_i\in F_i$ for $i\in [t]$ such that $e_1,\ldots,e_t$ are pairwise disjoint. Huang, Loh, and Sudakov proved this conjecture for $t<n/(3k^2)$. In this paper, we show that this conjecture holds for $t\le n/(2k)$ and $n$ sufficiently large.

preprint2020arXiv

4-Separations in Hajós Graphs

As a natural extension of the Four Color Theorem, Hajós conjectured that graphs containing no $K_5$-subdivision are 4-colorable. Any possible counterexample to this conjecture with minimum number of vertices is called a {\it Hajós graph}. Previous results show that Hajós graphs are 4-connected but not 5-connected. A $k$-separation in a graph $G$ is a pair $(G_1,G_2)$ of edge-disjoint subgraphs of $G$ such that $|V(G_1\cap G_2)|=k$, $G=G_1\cup G_2$, and $G_i\not\subseteq G_{3-i}$ for $i=1,2$. In this paper, we show that Hajós graphs do not admit a 4-separation $(G_1,G_2)$ such that $|V(G_1)|\ge 6$ and $G_1$ can be drawn in the plane with no edge crossings and all vertices in $V(G_1\cap G_2)$ incident with a common face. This is a step in our attempt to reduce Hajós' conjecture to the Four Color Theorem.

preprint2020arXiv

Large cycles in essentially 4-connected graphs

Tutte proved that every 4-connected planar graph contains a Hamilton cycle, but there are 3-connected $n$-vertex planar graphs whose longest cycles have length $Θ(n^{\log_32})$. On the other hand, Jackson and Wormald in 1992 proved that an essentially 4-connected $n$-vertex planar graph contains a cycle of length at least $(2n+4)/5$, which was recently improved to $5(n+2)/8$ by Fabrici {\it et al}. In this paper, we improve this bound to $\lceil (2n+6)/3\rceil$ for $n\ge 6$, which is best possible, by proving a quantitative version of a result of Thomassen on Tutte paths.

preprint2020arXiv

Rainbow matchings for 3-uniform hypergraphs

Kühn, Osthus, and Treglown and, independently, Khan proved that if $H$ is a $3$-uniform hypergraph with $n$ vertices such that $n\in 3\mathbb{Z}$ and large, and $δ_1(H)>{n-1\choose 2}-{2n/3\choose 2}$, then $H$ contains a perfect matching. In this paper, we show that for $n\in 3\mathbb{Z}$ sufficiently large, if $F_1, \ldots, F_{n/3}$ are 3-uniform hypergrapghs with a common vertex set and $δ_1(F_i)>{n-1\choose 2}-{2n/3\choose 2}$ for $i\in [n/3]$, then $\{F_1,\dots, F_{n/3}\}$ admits a rainbow matching, i.e., a matching consisting of one edge from each $F_i$. This is done by converting the rainbow matching problem to a perfect matching problem in a special class of uniform hypergraphs.

preprint2019arXiv

7-Connected Graphs are 4-Ordered

A graph $G$ is $k$-ordered if for any distinct vertices $v_1, v_2, \ldots, v_k \in V(G)$, it has a cycle through $v_1, v_2, \ldots, v_k$ in order. Let $f(k)$ denote the minimum integer so that every $f(k)$-connected graph is $k$-ordered. The first non-trivial case of determining $f(k)$ is when $k=4$, where the previously best known bounds are $7 \leq f(4) \leq 40$. We prove that in fact $f(4)=7$.

preprint2016arXiv

Induced Forests in Bipartite Planar Graphs

Akiyama and Watanabe conjectured that every simple planar bipartite graph on $n$ vertices contains an induced forest on at least $5n/8$ vertices. We apply the discharging method to show that every simple bipartite planar graph on $n$ vertices contains an induced forest on at least $\lceil (4n+3)/7 \rceil$ vertices.

preprint2016arXiv

On rainbow matchings for hypergraphs

For any posotive integer $m$, let $[m]:=\{1,\ldots,m\}$. Let $n,k,t$ be positive integers. Aharoni and Howard conjectured that if, for $i\in [t]$, $\mathcal{F}_i\subset[n]^k:= \{(a_1,\ldots,a_k): a_j\in [n] \mbox{ for } j\in [k]\}$ and $|\mathcal{F}_i|>(t-1)n^{k-1}$, then there exist $M\subseteq [n]^k$ such that $|M|=t$ and $|M\cap \mathcal{F}_i|=1$ for $i\in [t]$ We show that this conjecture holds when $n\geq 3(k-1)(t-1)$. Let $n, t, k_1\ge k_2\geq \ldots\geq k_t $ be positive integers. Huang, Loh and Sudakov asked for the maximum $Π_{i=1}^t |{\cal R}_i|$ over all ${\cal R}=\{{\cal R}_1, \ldots ,{\cal R}_t\}$ such that each ${\cal R}_i$ is a collection of $k_i$-subsets of $[n]$ for which there does not exist a collection $M$ of subsets of $[n]$ such that $|M|=t$ and $|M\cap \mathcal{R}_i|=1$ for $i\in [t]$ %and ${\cal R}$ does not admit a rainbow matching. We show that for sufficiently large $n$ with $\sum_{i=1}^t k_i\leq n(1-(4k\ln n/n)^{1/k}) $, $\prod_{i=1}^t |\mathcal{R}_i|\leq {n-1\choose k_1-1}{n-1\choose k_2-1}\prod_{i=3}^{t}{n\choose k_i}$. This bound is tight.

preprint2016arXiv

The Kelmans-Seymour conjecture II: 2-vertices in $K_4^-$

We use $K_4^-$ to denote the graph obtained from $K_4$ by removing an edge, and use $TK_5$ to denote a subdivision of $K_5$. Let $G$ be a 5-connected nonplanar graph and $\{x_1,x_2,y_1,y_2\}\subseteq V(G)$ such that $G[\{x_1,x_2,$ $y_1,y_2\}]\cong K_4^-$ with $y_1y_2\notin E(G)$. Let $w_1,w_2,w_3\in N(y_2)-\{x_1,x_2\}$ be distinct. We show that $G$ contains a $TK_5$ in which $y_2$ is not a branch vertex, or $G-y_2$ contains $K_4^-$, or $G$ has a special 5-separation, or $G-\{y_2v:v\notin \{w_1,w_2,w_3,x_1,x_2\}\}$ contains $TK_5$.

preprint2016arXiv

The Kelmans-Seymour conjecture III: 3-vertices in $K_4^-$

Let $G$ be a 5-connected nonplanar graph and let $x_1,x_2,y_1,y_2\in V(G)$ be distinct, such that $G[\{x_1,x_2,y_1,y_2\}]\cong K_4^-$ and $y_1y_2\notin E(G)$. We show that one of the following holds: $G-x_1$ contains $K_4^-$, or $G$ contains a $K_4^-$ in which $x_1$ is of degree 2, or $G$ contains a $TK_5$ in which $x_1$ is not a branch vertex, or $\{x_2,y_1,y_2\}$ may be chosen so that for any distinct $z_0, z_1\in N(x_1)-\{x_2,y_1,y_2\}$, $G-\{x_1v:v\notin \{z_0, z_1,x_2, y_1,y_2\}\}$ contains $TK_5$. This result will be used to prove the Kelmans-Seymour conjecture.

preprint2016arXiv

The Kelmans-Seymour conjecture IV: a proof

A well known theorem of Kuratowski in 1932 states that a graph is planar if, and only if, it does not contain a subdivision of $K_5$ or $K_{3,3}$. Wagner proved in 1937 that if a graph other than $K_5$ does not contain any subdivision of $K_{3,3}$ then it is planar or it admits a cut of size at most 2. Kelmans and, independently, Seymour conjectured in the 1970s that if a graph does not contain any subdivision of $K_5$ then it is planar or it admits a cut of size at most 4. In this paper, we give a proof of the Kelmans-Seymour conjecture. We also discuss several related results and problems.

preprint2015arXiv

The Kelmans-Seymour conjecture I: special separations

Seymour and, independently, Kelmans conjectured in the 1970s that every 5-connected nonplanar graph contains a subdivision of $K_5$. This conjecture was proved by Ma and Yu for graphs containing $K_4^-$, and an important step in their proof is to deal with a 5-separation in the graph with a planar side. In order to establish the Kelmans-Seymour conjecture for all graphs, we need to consider 5-separations and 6-separations with less restrictive structures. The goal of this paper is to deal with special 5-separations and 6-separations, including those with an apex side. Results will be used in subsequent papers to prove the Kelmans-Seymour conjecture.

Xingxing Yu

What is connected

Connect this record

See the researcher in context

Building this map preview

11 published item(s)

A better bound on the size of rainbow matchings

4-Separations in Hajós Graphs

Large cycles in essentially 4-connected graphs

Rainbow matchings for 3-uniform hypergraphs

7-Connected Graphs are 4-Ordered

Induced Forests in Bipartite Planar Graphs

On rainbow matchings for hypergraphs

The Kelmans-Seymour conjecture II: 2-vertices in $K_4^-$

The Kelmans-Seymour conjecture III: 3-vertices in $K_4^-$

The Kelmans-Seymour conjecture IV: a proof

The Kelmans-Seymour conjecture I: special separations