arXiv++ Combinatorics

A \textit{cut-edge} of a connected graph is an edge whose deletion increases the number of components. In this paper, we first state some conditions for a planar graph to have a few cut-edges. After that, we use the main results to study the conditions for a colored planar graph to have a bounded conflict-free connection number.

We establish a convolution formula for the characteristic polynomial of a finite geometric semilattice $M$: \[ χ(M,st)=\sum_{X\in \underline{M}} s^{r-{\rm rk}_{\underline{M}}(X)}χ(\underline{M}^X,t)\,χ(M_{(X)},s), \] where $\underline{M}$ denotes the centralization of $M$, and $M_{(X)}$ denotes the localization at $X$. This generalizes a nice formula of Southerland, Southern, and Zhou, which is recovered at $s=1$. When specialized to hyperplane arrangements, the identity yields a new expansion closely related to Wang's convolution formula. We further provide a combinatorial interpretation of the convolution formula using the finite field method over $\mathbb{F}_{p^2}$ and $\mathbb{F}_p$.

Motivated by a recent conjecture of Bsila, Cox, Hugo, Styron and Zhuang concerning fixed points and pixed points on pattern-avoiding permutations, we prove a bivariate refinement involving descent statistics. Given a set of permutations $Π$, let $\mathfrak{S}_n(Π)$ denote the set of permutations in the symmetric group $\mathfrak{S}_n$ that avoid every element of $Π$ in the sense of pattern avoidance. For each set $Π$ appearing in their conjecture, we show that the pairs of statistics $(\mathrm{des},\mathrm{fix})$ and $(\mathrm{ides},\mathrm{pix})$ are equidistributed over $\mathfrak{S}_n(Π)$. Our proof is based on explicit ordinary generating functions for the corresponding pattern-avoiding classes.

Let $G$ be a simple connected graph, and let $T_{G}(x,y)$ be the Tutte polynomial of $G$. Motivated by the works in \cite{Ma}, we, in this paper, introduce the even-left spanning forests of $G$ and odd $G$-partitionable permutations, and show that $T_{G}(2,-1)$ is equal to both the number of even-left spanning forests of $G$ and the number of odd $G$-partitionable permutations. In particular, for a complete graph $K_n$, we prove that $T_{K_{n}}(2,-1)$ is the number of alternating permutations on $\{1,2,\dots,n+1\}$, using two distinct techniques: a recurrence relation and an explicit bijection construction.

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

We solve, for all sufficiently large even orders, the problem proposed by Chen et al. on sharp $A_α$-spectral conditions for the existence of odd $[1,b]$-factors when $α>1/2$. Chen et al. showed that every connected graph of even order $n$ with no odd $[1,b]$-factor has $A_α$-spectral radius at most $\max_{1\le s\le k}ρ_α(G_s)$, where $G_s=K_s\nabla\left(K_{n-(b+1)s-1}\cup(bs+1)K_1\right)$ and $k=\lfloor(n-2)/(b+1)\rfloor$. Thus the problem reduces to finding the graph with the largest $A_α$-spectral radius among these obstruction graphs. We prove that, for every $α\in(1/2,1)$, $\max_{1\le s\le k}ρ_α(G_s)=\max\{ρ_α(G_1),ρ_α(G_k)\}$. Moreover, for each fixed odd $b\ge 3$ and every even $n\ge N_b=(b+1)\max\{2b+3,14\}+2$, there exists a unique $α=α_\ast(n,b)\in(1/2,1)$ at which $ρ_α(G_1)=ρ_α(G_k)$. Consequently, $G_1$ is the unique extremal graph for $1/2<α<α_\ast(n,b)$, both $G_1$ and $G_k$ are extremal at $α=α_\ast(n,b)$, and $G_k$ is the unique extremal graph for $α_\ast(n,b)<α<1$. This gives the exact $A_α$-spectral threshold, together with the sharp exceptional graphs, for odd $[1,b]$-factors when $α>1/2$ and $n\ge N_b$.

Let $κ^{\prime}(G)$ be the edge-connectivity of the graph $G$. The \textit{strength} of $G$, denoted by $\overlineκ^{\prime}(G)$, is the maximum edge-connectivity of its subgraphs. A simple graph $G$ is called $k$-\textit{edge-maximal} if $\overlineκ^{\prime}(G) \leq k$ but for any edge $e$ not in $G$, $\overlineκ^{\prime}(G+e) \geq k+1$. In this paper, we propose the concepts of kernel and closure of a graph and discuss the properties of closure. Utilizing these properties, we present the necessary and sufficient condition for a graph to be $k$-edge-maximal, which refines the results in [J. Graph Theory 14 (1990) 187--197], and prove that there exists a $k$-edge-maximal graph of order $n$ with $m$ edges if and only if $m=(n-1)k-\binom{k}{2}r$, for some integer $r$ with $1\leq r\leq \left\lfloor \frac{n}{k+2}\right\rfloor$. Furthermore, we characterize the structure of $k$-edge-maximal graphs with a given number of edges.

Using the concepts of Eulerian-spanning set and coboundary operator, we generalize Hadlock's conversion of the maxcut problem on planar graphs to one on general graphs with non-negative weights. Using our conversion, we can explore algorithms for maxcut beyond the class of planar graphs. We obtain a Fixed-Parameter Tractable algorithm for $k$-contraction apex graphs. Specifically, our algorithm can be applied to graphs with crossing number $k$, giving an $O(2^k(n+k)^{3/2}\log (n+k))$-time algorithm that matches the best known results when restricted to non-negative weights.

Given a graph $G$, a set $F$ of edges is an edge dominating set of $G$ if every edge in $G$ is either in $F$ or adjacent to an edge in $F$. A graph $G$ is said to be well-edge-dominated if every minimal edge dominating set has the same cardinality. This definition is the edge version of domination in that a set $D\subseteq V(G)$ is a dominating set if every vertex in $G$ is in $D$ or adjacent to a vertex in $D$ and the domination number $γ(G)$ is the minimum cardinality among all dominating sets. In this paper, we complete the characterization of all nonbipartite, well-edge-dominated graphs. In addition, we produce an infinite class of graphs that satisfy the well-known Vizing's conjecture in domination theory that states $γ(G\Box H) \ge γ(G)γ(H)$ where $G\Box H$ is the Cartesian product of $G$ and $H$.

Graphs defined over finite rings are well studied in the literature. The study of these graphs benefits from rich connections between several areas of mathematics, including number theory, algebra, combinatorics, and graph theory, and these connections often lead to interesting interactions between algebraic and combinatorial structures. In this article, we investigate gcd-graphs defined over matrix rings with coefficients in finite fields. We show that these graphs exhibit several interesting graph-theoretic properties. Along the way, we also prove some results on the structure of matrix rings, which may be of independent interest.

Let $G$ be a simple graph with degree diagonal matrix $D(G)$ and adjacency matrix $A(G)$. The signless Laplacian matrix of $G$ is defined as $Q(G)=D(G)+A(G)$. For a real number $α\in [0, 1]$, Nikiforov (2017) proposed the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$. The $A_α$-spectral radius of $G$, denoted by $ρ_α(G)$, is the largest eigenvalue of $A_α(G)$, where $ρ_0(G)=ρ(G)$ is the spectral radius of $A(G)$ and $2ρ_{\frac{1}{2}}(G)=q(G)$ is the spectral radius of $Q(G)$. Sun and Das (2020) proved that for any non-isolated vertex $v$ of degree $d_v$, $ρ^2(G)-ρ^2(G-v) \leq 2 d_v-1$, which confirmed the conjecture originally posed by Guo, Wang, and Li (2019). Recently, Liu and Ning (2026) provided a short and self-contained proof of this inequality. In this paper, we establish the corresponding result for $ρ_α(G)$. As a corollary, for every $k\in [0,d_v+1]$, we have $$ ρ^2(G)- ρ^2(G-v) \leq 2d_v-1 +(k-2)\left(\frac{d_v}{ρ(G)}-1\right). $$ This inequality coincides with that of Sun and Das when $k=2$, and is strictly sharper than theirs whenever $k\neq 2$ and $d_v\neq ρ(G)$. We also give a short proof of the inequality $ρ_α(G)-ρ_α(G-v)\leq α+\frac{(1-α)^2d_v}{ρ_α(G)-αd_v}$, which is obtained by Wang and She (2022). Moreover, we obtain a unified generalization of Hong, Shu and Fang's inequality for $ρ(G)$ and Nikiforov's inequality for $q(G)$ in terms of $ρ_α(G)$.