arXiv subjects

Xingxing Yu

Publications and source records attributed to Xingxing Yu.

At least 19 recordsLinked to original sources

arXiv2026

Strong chromatic index of bipartite graphs

An edge-coloring of a graph $G$ is called a strong edge-coloring if all its color classes are induced matchings in $G$; the minimum number of colors required for such a coloring, denoted by $\chi_{s}'(G)$, is known as the strong chromatic index of $G$. For each vertex $v$ of a graph $G$, let $d_G(v)$ denote the degree of $v$ in $G$. Let $G$ be a bipartite graph with partite sets $A$ and $B$, and let $\Delta_A=\max\{d_G(a): a\in A\}$ and $\Delta_B=\max\{d_G(b): b\in B\}$. A conjecture of Brualdi and Quinn Massey asserts that $ \chi_s'(G) \le \Delta_A \Delta_B$. In this paper, we show that $\chi_s'(G) \le 1.676\, \Delta_A \Delta_B$ provided that the product $\Delta_A\Delta_B$ is sufficiently large.

math.CO↗

arXiv2025

Rooted $C_5$-Minors

Let $G$ be a graph and $x_1, x_2, \ldots, x_k$ be distinct vertices of $G$. We say $(G,x_1x_2\ldots x_k)$ has a $C_k$-minor or $G$ has a $C_k$-minor rooted at $x_1x_2\ldots x_k$, if there exist pairwise disjoint sets $X_1, X_2, \ldots, X_k\subseteq V(G)$, such that for all $i\in [k]$, $G[X_i]$ is connected, $x_i\in X_i$, and $G$ has an edge between $X_i$ and $X_{i+1}$, where $X_{k+1}=X_k$. When $k=3$ it is easy to determine when $(G,x_1x_2x_3)$ contains a $C_3$-minor. For $k=4$, Robertson, Seymour and Thomas gave a characterization of $(G,x_1x_2x_3x_4)$ with no $C_4$-minor, which, in particular, implies that such $G$ has connectivity at most 5. In this paper, we apply a method of Thomas and Wollan to prove a result, which implies that if $G$ is $10$-connected then, for all distinct vertices $x_1,x_2,x_3,x_4,x_5$ of $G$, $(G,x_1x_2x_3x_4x_5)$ has a $C_5$-minor.

math.CO↗

arXiv2025

Maxmum Size of a Uniform Family with Bounded VC-dimension

In 1984, Frankl and Pach proved that, for positive integers $n$ and $d$, the maximum size of a $(d+1)$-uniform set family $\mathcal{F}$ on an $n$-element set with VC-dimension at most $d$ is at most ${n\choose d}$; and they suspected that ${n\choose d}$ could be replaced by ${n-1\choose d}$, which would generalize the famous Erd\H{o}s-Ko-Rado theorem and was mentioned by Erd\H{o}s as Frankl--Pach conjecture. However, Ahlswede and Khachatrian in 1997 constructed $(d+1)$-uniform families on an $n$-element set with VC-dimension at most $d$ and size exactly $\binom{n-1}{d}+\binom{n-4}{d-2}$, and Mubayi and Zhao in 2007 constructed more such families. It has since been an open question to narrow the gap between the lower bound $\binom{n-1}{d}+\binom{n-4}{d-2}$ and the upper bound ${n\choose d}$. In a recent breakthrough, Chao, Xu, Yip, and Zhang reduced the upper bound $\binom{n }{d}$ to $ \binom{n-1}{d}+O( n^{d-1-\frac{1}{4d-2}})$. In this paper, we further reduce the upper bound to $\binom{n-1}{d} + O(n^{d-2})$, asymptotically matching the lower bound $\binom{n-1}{d}+\binom{n-4}{d-2}$.

math.CO↗

arXiv2024

A short proof of the Goldberg-Seymour conjecture

For a multigraph $G$, $\chi'(G)$ denotes the chromatic index of $G$, $\Delta(G)$ the maximum degree of $G$, and $\Gamma(G) = \max\left\{\left\lceil \frac{2|E(H)|}{|V(H)|-1} \right\rceil: H \subseteq G \text{ and } |V(H)| \text{ odd}\right\}$. As a generalization of Vizing's classical coloring result for simple graphs, the Goldberg-Seymour conjecture, posed in the 1970s, states that $\chi'(G)=\max\{\Delta(G), \Gamma(G)\}$ or $\chi'(G)=\max\{\Delta(G) + 1, \Gamma(G)\}$. Hochbaum, Nishizeki, and Shmoys further conjectured in 1986 that such a coloring can be found in polynomial time. A long proof of the Goldberg-Seymour conjecture was announced in 2019 by Chen, Jing, and Zang, and one case in that proof was eliminated recently by Jing (but the proof is still long); and neither proof has been verified. In this paper, we give a proof of the Goldberg-Seymour conjecture that is significantly shorter and confirm the Hochbaum-Nishizeki-Shmoys conjecture by providing an $O(|V|^5|E|^3)$ time algorithm for finding a $\max\{\Delta(G) + 1, \Gamma(G)\}$-edge-coloring of $G$.

math.CO↗

arXiv2023

Dense circuit graphs and the planar Tur\'an number of a cycle

The $\textit{planar Tur\'an number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_k$ denote the cycle of length $k$. The planar Tur\'an number $\textrm{ex}_{\mathcal P}(n,C_k)$ is known for $k\le 7$. We show that dense planar graphs with a certain connectivity property (known as circuit graphs) contain large near triangulations, and we use this result to obtain consequences for planar Tur\'an numbers. In particular, we prove that there is a constant $D$ so that $\textrm{ex}_{\mathcal P}(n,C_k) \le 3n - 6 - Dn/k^{\log_2^3}$ for all $k, n\ge 4$. When $k \ge 11$ this bound is tight up to the constant $D$ and proves a conjecture of Cranston, Lidick\'y, Liu, and Shantanam.

math.CO↗

arXiv2023

A class of trees determined by their chromatic symmetric functions

Stanley introduced the concept of chromatic symmetric functions of graphs which extends and refines the notion of chromatic polynomials of graphs, and asked whether trees are determined up to isomorphism by their chromatic symmetric functions. Using the technique of differentiation with respect to power-sum symmetric functions, we give a positive answer to Stanley's question for the class of trees with exactly two vertices of degree at least 3. In addition, we prove that for any tree $T$, the generalized degree sequence for subtrees of $T$ is determined by the chromatic symmetric function of $T$, providing evidence to a conjecture of Crew.

math.CO↗

arXiv2023

Planar Tur\'an number of the 7-cycle

The $\textit{planar Tur\'an number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_{\ell}$ denote the cycle of length $\ell$. The planar Tur\'an number $\textrm{ex}_{\mathcal P}(n,C_{\ell})$ behaves differently for $\ell\le 10$ and for $\ell\ge 11$, and it is known when $\ell \in \{3,4,5,6\}$. We prove that $\textrm{ex}_{\mathcal P}(n,C_7) \le \frac{18n}{7} - \frac{48}{7}$ for all $n > 38$, and show that equality holds for infinitely many integers $n$.

math.CO↗

arXiv2023

Linkages and removable paths avoiding vertices

We say that a graph $G$ is $(2,m)$-linked if, for any distinct vertices $a_1,\ldots, a_m, b_1,b_2$ in $G$, there exist vertex disjoint connected subgraphs $A,B$ of $G$ such that $\{a_1, \ldots, a_m\}$ is contained in $A$ and $\{b_1,b_2\}$ is contained in $B$. A fundamental result in structural graph theory is the characterization of $(2,2)$-linked graphs, with different versions obtained independently by Robertson and Chakravarty, Seymour, and Thomassen. It appears to be very difficult to characterize $(2,m)$-linked graphs for $m\ge 3$. In this paper, we provide a partial characterization of $(2,m)$-linked graphs by adding an average degree condition. This implies that $(2m+2)$-connected graphs are $(2,m)$-linked. Moreover, if $G$ is a $(2m+2)$-connected graph and $a_1, \ldots, a_m, b_1,b_2$ are distinct vertices of $G$, then there is a path $P$ in $G$ between $b_1$ and $b_2$ and avoiding $\{a_1, \ldots, a_m\}$ such that $G-P$ is connected, improving a previous connectivity bound of $10m$.

math.CO↗

arXiv2023

On stability of rainbow matchings

We show that for any integer $k\ge 1$ there exists an integer $t_0(k)$ such that for integers $t, k_1, \ldots, k_{t+1}, n$ with $t>t_0(k)$, $\max\{k_1, \ldots, k_{t+1}\}\le k$, and $n > 2k(t+1)$, the following holds: If $F_i \subseteq {[n]\choose k_i}$ and $|F_i|> {n\choose k_i}-{n-t\choose k_i} - {n-t-k \choose k_i-1} + 1$ for all $i \in [t+1]$, then either $\{F_1,\ldots, F_{t+1}\}$ admits a rainbow matching of size $t+1$ or there exists $W\in {[n]\choose t}$ such that $W$ is a vertex cover of $F_i$ for all $i\in [t+1]$. This may be viewed as a rainbow non-uniform extension of the classical Hilton-Milner theorem. We also show that the same holds for every $t$ and $n > 2k^3t$, generalizing a recent stability result of Frankl and Kupavskii on matchings to rainbow matchings.

math.CO↗

arXiv2021

Approximating TSP walks in subcubic graphs

We prove that every simple 2-connected subcubic graph on $n$ vertices with $n_2$ vertices of degree 2 has a TSP walk of length at most $\frac{5n+n_2}{4}-1$, confirming a conjecture of Dvo\v{r}\'ak, Kr\'al', and Mohar. This bound is best possible; there are infinitely many subcubic and cubic graphs whose minimum TSP walks have lengths $\frac{5n+n_2}{4}-1$ and $\frac{5n}{4} - 2$ respectively. We characterize the extremal subcubic examples meeting this bound. We also give a quadratic-time combinatorial algorithm for finding such a TSP walk. In particular, we obtain a $\frac{5}{4}$-approximation algorithm for the graphic TSP on simple cubic graphs, improving on the previously best known approximation ratio of $\frac{9}{7}$.

math.CO↗

arXiv2021

On the 3-colorability of triangle-free and fork-free graphs

A graph $G$ is said to satisfy the Vizing bound if $\chi(G)\leq \omega(G)+1$, where $\chi(G)$ and $\omega(G)$ denote the chromatic number and clique number of $G$, respectively. It was conjectured by Randerath in 1998 that if $G$ is a triangle-free and fork-free graph, where the fork (also known as trident) is obtained from $K_{1,4}$ by subdividing two edges, then $G$ satisfies the Vizing bound. In this paper, we confirm this conjecture.

math.CO↗

arXiv2021

Co-degree threshold for rainbow perfect matchings in uniform hypergraphs

Let $k$ and $n$ be two integers, with $k\geq 3$, $n\equiv 0\pmod k$, and $n$ sufficiently large. We determine the $(k-1)$-degree threshold for the existence of a rainbow perfect matchings in $n$-vertex $k$-uniform hypergraph. This implies the result of R\"odl, Ruci\'nski, and Szemer\'edi on the $(k-1)$-degree threshold for the existence of perfect matchings in $n$-vertex $k$-uniform hypergraphs. In our proof, we identify the extremal configurations of closeness, and consider whether or not the hypergraph is close to the extremal configuration. In addition, we also develop a novel absorbing device and generalize the absorbing lemma of R\"odl, Ruci\'nski, and Szemer\'edi.

math.CO↗

arXiv2021

On Tutte cycles containing three prescribed edges

A cycle $C$ in a graph $G$ is called a Tutte cycle if, after deleting $C$ from $G$, each component has at most three neighbors on $C$. Tutte cycles play an important role in the study of Hamiltonicity of planar graphs. Thomas and Yu and independently Sanders proved the existence of Tutte cycles containining three specified edges of a facial cycle in a 2-connected plane graph. We prove a quantitative version of this result, bounding the number of components of the graph obtained by deleting a Tutte cycle. As a corollary, we can find long cycles in essentially 4-connected plane graphs that also contain three prescribed edges of a facial cycle.

math.CO↗

arXiv2021

Polynomial $\chi$-binding functions for $t$-broom-free graphs

For any positive integer $t$, a \emph{$t$-broom} is a graph obtained from $K_{1,t+1}$ by subdividing an edge once. In this paper, we show that, for graphs $G$ without induced $t$-brooms, we have $\chi(G) = o(\omega(G)^{t+1})$, where $\chi(G)$ and $\omega(G)$ are the chromatic number and clique number of $G$, respectively. When $t=2$, this answers a question of Schiermeyer and Randerath. Moreover, for $t=2$, we strengthen the bound on $\chi(G)$ to $7\omega(G)^2$, confirming a conjecture of Sivaraman. For $t\geq 3$ and \{$t$-broom, $K_{t,t}$\}-free graphs, we improve the bound to $o(\omega^{t})$.

math.CO↗

arXiv2021

Rainbow perfect matchings for 4-uniform hypergraphs

Let $n$ be a sufficiently large integer with $n\equiv 0\pmod 4$ and let $F_i \subseteq{[n]\choose 4}$ where $i\in [n/4]$. We show that if each vertex of $F_i$ is contained in more than ${n-1\choose 3}-{3n/4\choose 3}$ edges, then $\{F_1, \ldots ,F_{n/4}\}$ admits a rainbow matching, i.e., a set of $n/4$ edges consisting of one edge from each $F_i$. This generalizes a deep result of Khan on perfect matchings in 4-uniform hypergraphs.

math.CO↗

arXiv2021

Counting Hamiltonian cycles in planar triangulations

Hakimi, Schmeichel, and Thomassen in 1979 conjectured that every $4$-connected planar triangulation $G$ on $n$ vertices has at least $2(n-2)(n-4)$ Hamiltonian cycles, with equality if and only if $G$ is a double wheel. In this paper, we show that every $4$-connected planar triangulation on $n$ vertices has $\Omega(n^2)$ Hamiltonian cycles. Moreover, we show that if $G$ is a $4$-connected planar triangulation on $n$ vertices and the distance between any two vertices of degree $4$ in $G$ is at least $3$, then $G$ has $2^{\Omega(n^{1/4})}$ Hamiltonian cycles.

math.CO↗

arXiv2021

Number of Hamiltonian cycles in planar triangulations

Whitney proved in 1931 that 4-connected planar triangulations are Hamiltonian. Hakimi, Schmeichel, and Thomassen conjectured in 1979 that if $G$ is a 4-connected planar triangulation with $n$ vertices then $G$ contains at least $2(n-2)(n-4)$ Hamiltonian cycles, with equality if and only if $G$ is a double wheel. On the other hand, a recent result of Alahmadi, Aldred, and Thomassen states that there are exponentially many Hamiltonian cycles in 5-connected planar triangulations. In this paper, we consider 4-connected planar $n$-vertex triangulations $G$ that do not have too many separating 4-cycles or have minimum degree 5. We show that if $G$ has $O(n/{\log}_2 n)$ separating 4-cycles then $G$ has $\Omega(n^2)$ Hamiltonian cycles, and if $\delta(G)\ge 5$ then $G$ has $2^{\Omega(n^{1/4})}$ Hamiltonian cycles. Both results improve previous work. Moreover, the proofs involve a "double wheel" structure, providing further evidence to the above conjecture.

math.CO↗

arXiv2021

A note on exact minimum degree threshold for fractional perfect matchings

R\"odl, Ruci\'nski, and Szemer\'edi determined the minimum $(k-1)$-degree threshold for the existence of fractional perfect matchings in $k$-uniform hypergrahs, and K\"uhn, Osthus, and Townsend extended this result by asymptotically determining the $d$-degree threshold for the range $k-1>d\ge k/2$. In this note, we prove the following exact degree threshold: Let $k,d$ be positive integers with $k\ge 4$ and $k-1>d\geq k/2$, and let $n$ be any integer with $n\ge k^2$. Then any $n$-vertex $k$-uniform hypergraph with minimum $d$-degree $\delta_d(H)>{n-d\choose k-d} -{n-d-(\lceil n/k\rceil-1)\choose k-d}$ contains a fractional perfect matching. This lower bound on the minimum $d$-degree is best possible. We also determine optimal minimum $d$-degree conditions which guarantees the existence of fractional matchings of size $s$, where $0<s\le n/k$ (when $k/2\le d\le k-1$), or with $s$ large enough and $s\le n/k$ (when $2k/5<d<k/2$).

math.CO↗