arXiv subjects

Xiaopan Lian

Publications and source records attributed to Xiaopan Lian.

17 recordsLinked to original sources

arXiv2026

An improved upper bound for oriented diameter of graphs with diameter $4$

Let $f(d)$ denote the smallest integer such that every bridgeless graph of diameter $d$ admits a strong orientation with diameter at most $f(d)$. It is known that $f(2)=6$ and $f(3)=9$. For $d=4$, the classical bounds of Chvátal and Thomassen [JCTB, 1978] imply $12\le f(4)\le40$, and subsequent work reduced the upper bound to 21. Very recently, Lin, Wang and You further established the substantially stronger bound $f(4)\le18$. Pushing this bound below $18$ turns out to be considerably more difficult, since the remaining extremal configurations cannot be handled by existing techniques based on $R-S$ orientations and related local constructions. In this paper, we prove that $f(4)\le16$. Our approach is entirely different from previous ones. Instead of constructing a strong orientation directly, we develop a sequential orientation framework together with auxiliary distance functions and a potential-function analysis. This enables us to control directed distances globally while avoiding the intricate case analysis required by earlier methods. We believe that the framework introduced here may be useful for studying oriented diameter problems of larger diameter.

math.CO↗

arXiv2026

Weak rainbow saturation numbers of paths, stars and cycles

An edge-colored graph is \emph{rainbow} if all of its edges receive distinct colors. For a fixed graph $H$, an edge-colored graph $F$ is called weakly $H$-rainbow saturated if there exists an ordering $e_1,e_2,\ldots,e_{|E(\bar{F})|}$ of $E(\bar{F})$ such that, for any edge coloring $c$ of $E(\bar{F})$ with $c(e_i)\neq c(e_j)$, there is always a rainbow copy of $H$ that contains $e_i$ in $F+\{e_1,e_2,\ldots,e_i\}$. The \emph{weak rainbow saturation number} $\operatorname{rwsat}(n,H)$ is the minimum number of edges in a weakly $H$-rainbow saturated graph on $n$ vertices. Li, Ma, and Xie [JGT, 2025] showed that $\lim_{n\to\infty} \frac{\operatorname{rwsat}(n,H)}{n}$ exists for every nonempty graph $H$. Paths and stars attain, respectively, the minimum and maximum ordinary weak saturation numbers among all trees of the same order. We determine their weak rainbow saturation numbers exactly. For all $\ell>30$, we show that $$ \ell+1=\s(n,P_\ell)< \s(n,S_\ell)=\binom{\ell}{2}-1$$ where $P_\ell$ and $S_\ell$ denote the path and star on $\ell$ vertices, respectively. Thus, their dependence on $\ell$ is linear for paths and quadratic for stars. We then focus on cycles. Li, Ma, and Xie asked whether $\operatorname{rwsat}(n,C_\ell)$ has leading term $\frac32n$ for every $\ell\ge4$. We answer this question negatively by giving an explicit construction showing that, for every $\ell\ge4$ and all sufficiently large $n$, $$\s(n,C_\ell)< \frac{\ell}{\ell-1}n+c_\ell,$$ where $c_\ell$ depends only on $\ell$. Since $\frac{\ell}{\ell-1}<\frac32$, this strictly improves the proposed leading coefficient for every cycle $C_\ell$ with $\ell\ge4$.

math.CO↗

arXiv2026

An improved finite bound for oriented trees in tournaments

Sumner's universal tournament conjecture asserts that every tournament on $2n-2$ vertices contains every oriented tree on $n$ vertices. Let $f(n)$ be the least integer $N$ such that every tournament on $N$ vertices contains every oriented tree on $n$ vertices. Havet and Thomassé proved that $f(n)\le \lceil(7n-5)/2\rceil$, El Sahili improved this to $f(n)\le3n-3$, and Dross and Havet subsequently obtained $f(n)\le\lceil21n/8-47/16\rceil$. We refine their median-order method. More precisely, every non-bi-arborescence on $n$ vertices with $k$ leaves is $(4n-2k-4)$-unavoidable, which strictly improves their many-leaf estimate; bi-arborescences satisfy the stronger bound $2n-2$. Combining this refinement with their few-leaf bound gives $f(n)\le\lceil(18n-23)/7\rceil$ for every $n\ge2$. Thus the coefficient in the previously best general bound valid uniformly for all $n$ is reduced from $21/8$ to $18/7$.

math.CO↗

arXiv2026

The Alon-Tarsi Number of Squares of Subcubic Planar Graphs without Cycles of Lengths $4$ to $8$

The Alon--Tarsi number $AT(G)$ of a graph $G$, defined via the graph polynomial, is a strengthening of the list chromatic number $χ_{\ell}(G)$. We study the Alon--Tarsi number of squares of planar graphs. The square of a graph $G$ is the graph obtained by joining every pair of vertices whose distance in $G$ is at most $2$. Recently, Kim and Luo (2026) proved that $χ_{\ell}(G^2)\le 6$ for every subcubic planar graph containing no $k$-cycles for $4\le k\le 8$. We strengthen this result by proving that $AT(G^2)\le 6$ for every such graph $G$.

math.CO↗

arXiv2026

Edge-Number Bounds for the Inversion Diameter of Graphs

The inversion of a set $X$ of vertices in an oriented graph reverses every arc with both endpoints in $X$. The inversion graph $I(G)$ of a graph $G$ has the labelled orientations of $G$ as its vertices, two orientations being adjacent when a single inversion transforms one into the other, and the inversion diameter $\diam(I(G))$ is its diameter. Answering a question of Havet, Hörsch and Rambaud, we prove the bound in terms of edge number $\diam(I(G)) \le 2\sqrt{|E(G)|}$, and we complement it with a lower bound $\diam(I(G)) \ge \frac{|E(G)|}{|V(G)|}$ obtained by viewing $I(G)$ as a Cayley graph on $\F_2^{E(G)}$. We further refine the upper bound for bipartite graphs $G$ by showing $ \diam(I(G))\le \max\left\{ρ, \left\lceil\log_2\bigl(2+σ(2^{ρ-1}-1)\bigr)\right\rceil\right\}$ where the two parts of $G$ have maximum degrees $σ$ and $ρ$, respectively.

math.CO↗

arXiv2026

A linear upper bound for zero-sum Ramsey numbers of bounded degree graphs

Let $G$ be a graph and $Γ$ a finite abelian group. The zero-sum Ramsey number of $G$ over $Γ$, denoted by $R(G, Γ)$, is the smallest positive integer $t$ (if it exists) such that any edge-colouring $c:E(K_t)\toΓ$ contains a copy of $G$ with $\sum_{e\in E(G)}c(e)=0_Γ$. We prove a linear upper bound $R(G, Γ)\leq Cn$ that holds for every $n$-vertex graph $G$ with bounded maximum degree and every finite abelian group $Γ$ with $|Γ|$ dividing $e(G)$.

math.CO↗

arXiv2026

Effect of edge-stretching on Steklov eigenvalues and sharp Steklov eigenvalue bounds on leaf--boundary trees

Let $T$ be a finite tree with leaf set $\dO$ as the boundary and let $λ_2$ be the first nontrivial Steklov eigenvalue. Let $D$ and $\ell$ be the maximum vertex degree and the number of leaves, respectively. Motivated by the spectral influence of neck-stretching on Riemannian manifolds, we investigate a discrete counterpart--edge-stretching--and its effect on the Steklov eigenvalues of graphs. We prove that Steklov eigenvalues decrease monotonically under the edge--stretching operation. As a consequence, we prove that $λ_2\le D/\ell$, with equality if and only if $T$ is a star. This fundamentally improves the constant in He--Hua's bound $λ_2\le 4(D-1)/\ell$ to the optimal value~$1$. We also provide a closed-form diagonalization of the Steklov problem on level--regular trees, yielding explicit eigenvalues and multiplicities. In addition, we provide a general upper bound $λ_k\le \min\{1,\,16Dk/\ell\}$ for higher eigenvalues. Systematic numerical experiments verify the sharp bound and provide evidence for the extremal conjecture of Lin--Zhao on balanced minimum--height trees.

math.CO↗

arXiv2025

The square of a subcubic planar graph without a 5-cycle is 7-choosable

The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen [12] showed that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Recently Kim and Lian [11] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6. And Jin, Kang, and Kim [10] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph without 4-cycles and 5-cycles. In this paper, we show that the square of a subcubic planar graph without 5-cycles is 7-choosable, which improves the results of [10] and [11].

math.CO↗

arXiv2023

Tight upper bound on the clique size in the square of 2-degenerate graphs

The {\em square} of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. In general, $Δ(G) + 1 \leq χ(G^2) \leq Δ(G)^2 +1$ for every graph $G$. Charpentier [1] asked whether $χ(G^2) \leq 2 Δ(G)$ if $mad(G) < 4$. But Hocquard, Kim, and Pierron [6] answered his question negatively. For every even value of $Δ(G)$, they constructed a 2-degenerate graph $G$ such that $ω(G^2) = \frac{5}{2} Δ(G)$. Note that if $G$ is a 2-degenerate graph, then $mad(G) < 4$. Thus, we have that \[ {\displaystyle \frac{5}{2} Δ(G) \leq \max \{χ(G^2) : G \mbox{ is a 2-degenerate graph} \} \leq 3 Δ(G) +1}. \] So, it was naturally asked whether there exists a constant $D_0$ such that $χ(G^2) \leq \frac{5}{2} Δ(G)$ if $G$ is a 2-degenerate graph with $Δ(G) \geq D_0$. Recently Cranston and Yu [3] showed that $ω(G^2) \leq \frac{5}{2} Δ(G)+72$ if $G$ is a 2-degenerate graph, and $ω(G^2) \leq \frac{5}{2} Δ(G)+60$ if $G$ is a 2-degenerate graph with $Δ(G) \geq 1729$. We show that there exists a constant $D_0$ such that $ω(G^2) \leq \frac{5}{2} Δ(G)$ if $G$ is a 2-degenerate graph with $Δ(G) \geq D_0$. This upper bound on $ω(G^2)$ is tight by the construction in [6].

math.CO↗

arXiv2023

On a variant of dichromatic number for digraphs with prescribed sets of arcs

In this paper, we consider a variant of dichromatic number on digraphs with prescribed sets of arcs. Let $D$ be a digraph and let $Z_1, Z_2$ be two sets of arcs in $D$. For a subdigraph $H$ of $D$, let $A(H)$ denote the set of all arcs of $H$. Let $μ(D, Z_1, Z_2)$ be the minimum number of parts in a vertex partition $\mathcal{P}$ of $D$ such that for every $X\in \mathcal{P}$, the subdigraph of $D$ induced by $X$ contains no directed cycle $C$ with $|A(C)\cap Z_1|\neq |A(C)\cap Z_2|$. For $Z_1=A(D)$ and $Z_2=\emptyset$, $μ(D, Z_1, Z_2)$ is equal to the dichromatic number of $D$. We prove that for every digraph $F$ and every tuple $(a_e,b_e,r_e, q_e)$ of integers with $q_e\ge 2$ and $\gcd(a_e,q_e)=\gcd(b_e,q_e)=1$ for each arc $e$ of $F$, there exists an integer $N$ such that if $μ(D, Z_1, Z_2)\ge N$, then $D$ contains a subdigraph isomorphic to a subdivision of $F$ in which each arc $e$ of $F$ is subdivided into a directed path~$P_e$ such that~$a_e|A(P_e)\cap Z_1|+b_e|A(P_e)\cap Z_2|\equiv {r_e}\pmod {q_e}$. This generalizes a theorem of Steiner [Subdivisions with congruence constraints in digraphs of large chromatic number, arXiv:2208.06358] which corresponds to the case when $(a_e, b_e, Z_1, Z_2)=(1, 1, A(D), \emptyset)$.

math.CO↗

arXiv2023

A characterization of 4-$χ_S$-vertex-critical graphs for packing sequences with $s_1 =1$ and $s_2\ge 3$

If $S=(s_1,s_2,\ldots)$ is a non-decreasing sequence of positive integers, then the $S$-packing $k$-coloring of a graph $G$ is a mapping $c: V(G)\rightarrow[k]$ such that if $c(u)=c(v)=i$ for $u\neq v\in V(G)$, then $d_G(u,v)>s_i$. The $S$-packing chromatic number of $G$ is the smallest integer $k$ such that $G$ admits an $S$-packing $k$-coloring. A graph $G$ is $χ_S$-vertex-critical if $χ_S(G-u) < χ_S(G)$ for each $u\in V(G)$. If $G$ is $χ_S$-vertex-critical and $χ_S(G) = k$, then $G$ is $k$-$χ_S$-vertex-critical. In this paper, $4$-$χ_S$-vertex-critical graphs are characterized for sequences $S = (1,s_2, s_3, \ldots)$ with $s_2 \ge 3$. There are $28$ sporadic examples and two infinite families of such graphs.

math.CO↗

arXiv2023

The square of every subcubic planar graph of girth at least 6 is 7-choosable

The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen (2018) and Hartke, Jahanbekam and Thomas (2016) proved that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Cranston and Kim (2008) showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 7. We prove that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6.

math.CO↗

arXiv2023

Group vertex-arboricity of group-labelled graphs

We introduce the vertex-arboricity of group-labelled graphs. For an abelian group $Γ$, a $Γ$-labelled graph is a graph whose edges are labelled by elements of $Γ$. For an abelian group $Γ$ and $A\subseteq Γ$, the $(Γ, A)$-vertex-arboricity of a $Γ$-labelled graph is the minimum integer $k$ such that its vertex set can be partitioned into $k$ parts where each part induces a subgraph having no cycle of value in $A$. We prove that for every positive integer $ω$, there is a function $f_ω:\mathbb{N}\times\mathbb{N}\to \mathbb{R}$ such that if $|Γ\setminus A|\le ω$, then every $Γ$-labelled graph with $(Γ, A)$-vertex-arboricity at least $f_ω(t,d)$ contains a subdivision of $K_t$ where all branching paths are of value in $A$ and of length at least $d$. This extends a well-known result that every graph of sufficiently large chromatic number contains a subdivision of $K_t$, in various directions.

math.CO↗

arXiv2022

Some Mader-perfect graph classes

The dichromatic number of $D$, denoted by $\overrightarrowχ(D)$, is the smallest integer $k$ such that $D$ admits an acyclic $k$-coloring. We use $mader_{\overrightarrowχ}(F)$ to denote the smallest integer $k$ such that if $\overrightarrowχ(D)\ge k$, then $D$ contains a subdivision of $F$. A digraph $F$ is called Mader-perfect if for every subdigraph $F'$ of $F$, ${\rm mader }_{\overrightarrowχ}(F')=|V(F')|$. We extend octi digraphs to a larger class of digraphs and prove that it is Mader-perfect, which generalizes a result of Gishboliner, Steiner and Szabó [Dichromatic number and forced subdivisions, {\it J. Comb. Theory, Ser. B} {\bf 153} (2022) 1--30]. We also show that if $K$ is a proper subdigraph of $\overleftrightarrow{C_4}$ except for the digraph obtained from $\overleftrightarrow{C_4}$ by deleting an arbitrary arc, then $K$ is Mader-perfect.

math.CO↗

arXiv2022

Weak-odd chromatic index of special digraph classes

Give a digraph $D=(V(D),A(D))$, let $\partial^+_D(v)=\{vw|w\in N^+_D(v)\}$ and $\partial^-_D(v)=\{uv|u\in N^-_D(v)\}$ be semi-cuts of $v$. A mapping $φ:A(D)\rightarrow [k]$ is called a weak-odd $k$-edge coloring of $D$ if it satisfies the condition: for each $v\in V(D)$, there is at least one color with an odd number of occurrences on each non-empty semi-cut of $v$. We call the minimum integer $k$ the weak-odd chromatic index of $D$. When limit to 2 colors, use $def(D)$ to denote the defect of $D$, the minimum number of vertices in $D$ at which the above condition is not satisfied. In this paper, we give a descriptive characterization about the weak-odd chromatic index and the defect of semicomplete digraphs and extended tournaments, which generalize results of tournaments to broader classes. And we initiated the study of weak-odd edge covering on digraphs.

math.CO↗

arXiv2021

On critical graphs for the chromatic edge-stability number

The {\em chromatic edge-stability number} $es_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph with the chromatic number smaller than that of $G$. A graph $G$ is called {\em $(3,2)$-critical} if $χ(G)=3$, $es_χ(G)=2$ and for any edge $e\in E(G)$, $es_χ(G-e)<es_χ(G)$. In this paper, we characterize $(3,2)$-critical graphs which contain at least five odd cycles. This answers a question proposed by Brešar, Klavžar and Movarraei in [Critical graphs for the chromatic edge-stability number, {\it Discrete Math.} {\bf 343}(2020) 111845].

math.CO↗

arXiv2020

Some extremal results on the chromatic-stability index

The $χ$-stability index ${\rm es}_χ(G)$ of a graph $G$ is the minimum number of its edges whose removal results in a graph with the chromatic number smaller than that of $G$. In this paper three open problems from [European J.\ Combin.\ 84 (2020) 103042] are considered. Examples are constructed which demonstrate that a known characterization of $k$-regular ($k\le 5$) graphs $G$ with ${\rm es}_χ(G) = 1$ does not extend to $k\ge 6$. Graphs $G$ with $χ(G)=3$ for which ${\rm es}_χ(G)+{\rm es}_χ(\overline{G}) = 2$ holds are characterized. Necessary conditions on graphs $G$ which attain a known upper bound on ${\rm es}_χ(G)$ in terms of the order and the chromatic number of $G$ are derived. The conditions are proved to be sufficient when $n\equiv 2 \pmod 3$ and $χ(G)=3$.

math.CO↗