arXiv subjects

Yuying Ma

Publications and source records attributed to Yuying Ma.

4 recordsLinked to original sources

arXiv2026

On the Spectra of Chromatic Number and Chromatic Index of Cyclic Covers

For a fixed integer $\ell \ge 2$, we study what values of chromatic index and chromatic number can be attained by some $\ell$-fold cyclic cover of a loopless multigraph. For edge-coloring, we first investigate the density, a fundamental lower bound for the chromatic index, and show that the density of every $\ell$-fold cyclic cover of a graph $G$ is at most that of $G$. We further prove that if $\ell$ is even, then the spectrum of chromatic indices over all $\ell$-fold cyclic covers of $G$ contains every integer between $\Delta(G)$ and $\chi'(G)$. When $\ell$ is odd, the chromatic-index spectrum need not be complete in general; for edge-chromatic critical graphs, we determine exactly which values are attainable. For vertex-coloring, we prove that if $\chi(G)\ge 3$, then the spectrum of chromatic numbers over all $\ell$-fold cyclic covers of $G$ contains every integer between $3$ and $\chi(G)$. Moreover, this spectrum contains $2$ if and only if $G$ is bipartite or $\ell$ is even.

math.CO↗

arXiv2026

Average degrees of edge-$\Delta$-critical multigraphs

Let $G$ be a loopless multigraph with maximum degree $\Delta(G)$, average degree $\overline{d}(G)$, density $\Gamma(G)$, and chromatic index $\chi'(G)$. A multigraph $G$ is called edge-$\Delta$-critical if $\Delta(G)=\Delta$, $\chi'(G)=\Delta(G)+1$ and $\chi'(H) \le \Delta(G)$ for every proper subgraph $H\subset G$. Vizing conjectured that if $G$ is an edge-$\Delta$-critical simple graph on $n$ vertices, then $\overline{d}(G) \ge \Delta-1+\tfrac{3}{n}$. Motivated by this, we conjecture that every edge-$\Delta$-critical multigraph $G$ satisfies $\overline{d}(G) \ge \tfrac{2\Delta+2}{3}$, which is best possible. We first give a general lower bound in this direction. For any such graph $G$, \[ \overline{d}(G) \ge \begin{cases} \frac{\sqrt{17}-3}{2}(\Delta+1) & \text{if } \Delta \le 112;\\[4pt] \frac{\Delta+\sqrt{2\Delta-1}}{2} & \text{if } \Delta \ge 113. \end{cases} \] This bound can be further improved under an additional condition on the multiplicity $\mu$. In this case, \[ \overline{d}(G)\ge \min\left\{ \frac{2\mu\Delta+2\mu(2\mu-1)}{4\mu-1},\; \frac{\sqrt{17}-3}{2}(\Delta+1) \right\}. \] We also confirm the conjecture for $\Delta \in \{2,3,4,5,6,7,8\}$. As a consequence, Goldberg's conjecture~\cite{Goldberg1984} holds for $\Delta(G)\in\{2,3,4,5\}$, that is, every multigraph $G$ with $\chi'(G)\ge \Delta(G)+1$ satisfies $\Gamma(G)\ge \Delta(G)$.

math.CO↗

arXiv2025

Strong binding numbers and factors

Let $G$ be a simple graph. The $k$-th neighborhood of a vertex subset $S \subseteq V(G)$, denoted $\Lambda^k(S)$, is the set of vertices that are adjacent to at least $k$ vertices in $S$. The $k$-th binding number $\beta^k(G)$ is defined as the minimum ratio $|\Lambda^k(S)|/|S|$ over all subsets $S \subseteq V(G)$ with $|S| \ge k$ and $\Lambda^k(S) \ne V(G)$. This parameter generalizes the classical binding number introduced by Woodall. Andersen showed that the condition $\beta^1(G) \ge 1$ does not guarantee the existence of a $1$-factor in $G$, while Bar\'at et al. proved that $\beta^2(G) \ge 1$ suffices for the existence of a $2$-factor. In this paper, we extend this result to general $k \ge 2$ by showing that any graph $G$ with even $k|V(G)|$ and $\beta^k(G) \ge 1$ contains a $k$-factor. Moreover, if $G$ is additionally a split graph of even order, then it admits a $(k+1)$-factor. We also prove that any graph $G$ with $\beta^k(G) \ge 1$ contains at least $k-1$ disjoint perfect or near-perfect matchings. Finally, for any bipartite graph $G$ with bipartition $(X, Y)$, we introduce an analogue of the $k$-th binding number and show that, under the condition $\beta^k(G, X) \ge 1$, the graph admits $k$ disjoint matchings, each covering $X$.

math.CO↗

arXiv2025

Bipartite graphs with the double Hall property

The super-neighborhood of a vertex set $A$ in a graph $G$, denoted by $\Lambda^2(A)$, is the set of vertices adjacent to at least two vertices in $A$. We say that a bipartite graph $G=(X, Y)$ with $|X| \geq 2$ satisfies the double Hall property (with respect to $X$) if $|\Lambda^2(A)| \geq |A|$ for any subset $A \subseteq X$ with $|A| \geq 2$. Kostochka et al. first conjectured that if a bipartite graph $G=(X, Y)$ satisfies a slightly weaker version of the double Hall property, then $G$ contains a cycle that covers all vertices of $X$. They verified their conjecture for $|X| \leq 6$. In this paper, we extend their result to $|X| = 7$. Later, Salia conjectured that every bipartite graph satisfying the double Hall property has a cycle covering all vertices of $X$. We show that Salia's conjecture is almost equivalent to a much weaker conjecture requiring vertices in $Y$ to have high degrees. By extending a result of Bar\'at et al., we also show that Salia's conjecture holds for some graphs where the vertices of $Y$ have degree either $2$ or very high. Finally, we establish a lower bound for the maximum degree of graphs satisfying the double Hall property and present deterministic and probabilistic constructions of such graphs that approach this bound.

math.CO↗