math.CO ↗ arXiv
5274 papers in this category
Sharp $A_α$-Spectral Conditions for Odd $[1,b]$-Factors When $α>1/2$
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$.
Characterization of the structure of $k$-edge-maximal graphs
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.
Eulerian-spanning set and coboundary operator: An investigation of maxcut beyond planar graphs
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.
Characterizing all nonbipartite well-edge-dominated graphs
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$.
On gcd-graphs over matrix rings
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.
Sharp upper bounds on the $A_α$-spectral radius of graphs
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)$.
Vertex-transitive quantum graphs
We define a quantum graph to be vertex-transitive if the join of its automorphism group is the maximum quantum relation on its quantum vertex set, in direct analogy with the classical case. All simple quantum graphs in $M_2(\mathbb C)$ are vertex-transitive, but many simple quantum graphs in $M_3(\mathbb C)$ are not vertex-transitive. We provide a complete classification of vertex-transitive quantum graphs in $M_3(\mathbb C)$ up to isomorphism. To do this, we introduce a polynomial invariant for quantum graphs in $M_n(\mathbb C)$, which we call the panoramic polynomial.
The NF-operator and the NF-Numbers of Simplicial Complexes
Let $\bigtriangleup$ be a simplicial complex and let $δ_{\mathcal{NF}}$ denote the NF-operator. The NF-complex $δ_{\mathcal{NF}}(\bigtriangleup)$ is defined as the Stanley--Reisner complex of the facet ideal of $\bigtriangleup$. Iterating $δ_{\mathcal{NF}}$ gives a periodic orbit (up to isomorphism), and the smallest positive integer $t$ for which $δ_{\mathcal{NF}}^{\,t}(\bigtriangleup)\cong \bigtriangleup$ is called the \emph{NF-number} of $\bigtriangleup$ (Habi and Mahmood, Algebra Colloquium, 2022). In this work, we provide various results and determine explicit formulas for the NF-number for several families of graphs. In particular, we compute the NF-number for dumbbell graphs. We also prove that the NF-number of the complete split graph $S_{n,m}$ equals $m+n+2$, and that the NF-number of the double star $D_{p+q}$ equals $p+q+4$. We conclude with remarks, open problems, and conjectures to guide future research.
Remarks about the Moebius-Kantor graph
The Moebius-Kantor graph MK=G(8,3) is a Cayley graph of three non-abelian groups, the Pauli group P(1), the semi-dihedral group SD(16), as well as the dihedral group D(16) of order 16. In topological graph theory, it illustrates the Heawood number 7 of the torus and leads to the Tucker group Aut(MK), the unique group of genus 2. We compute the Lefschetz numbers to illustrate the Brouwer-Lefschetz fixed point theorem. MK is also the dual of the 2-skeleton complex of the 3-sphere G. The graph represents one of flat Clifford tori of a Hopf fibration in the 3-sphere G=K(2,2,2,2) reflecting that Coxeter saw that MK is a subgraph of the tesseract G*. It carries a metric d so that (MK,d) has only one algebraic group structure (P(1),*) that preserves the metric. It makes the Pauli group natural, similarly as the Moebius ladder M(16) makes the dihedral group D(16) natural, forcing the algebraic structure from the metric structure.
Moments of partition statistics, Bell polynomials and Eisenstein-type series
We develop a systematic method to express generating functions for moments of combinatorial statistics in terms of partition traces. We employ an algebraic approach based on the complete Bell polynomials and their inversion formula, alongside an analytic approach via Faà di Bruno's formula. Our approach can be applied to a wide class of combinatorial statistics, such as the largest part of an integer partition, the partition crank and rank, and the unimodal sequence rank.
The spectral inducibility of graphs
We introduce a spectral version of the classical inducibility problem. Given an $\ell$-vertex graph $F$ and an $n$-vertex graph $G$, let $H_F(G)$ be the $\ell$-uniform hypergraph whose edges are the $\ell$-sets inducing a copy of $F$ in $G$. We study the maximum possible $α$-spectral radius of $H_F(G)$ over all $n$-vertex graphs $G$. For fixed $G$, this spectral parameter tends to $\ell!$ times the number of induced copies of $F$ in $G$ as $α\to\infty$, and therefore refines the usual induced-copy count.
Our main result is a spectral analogue of the Brown--Sidorenko reduction: for every complete multipartite graph $F$, every $n$, and every $α\ge1$, a spectral extremal graph can be chosen to be complete multipartite. We also show that the leading asymptotic constant is the ordinary inducibility $i(F)$, and obtain exact multipartite reductions for stars $K_{1,t}$ and balanced complete $r$-partite graphs $K_{a,\ldots,a}$ with $r\le 2^a-1$.
Ollivier Ricci curvature on graphs obtained by removing edges from complete graphs
Under what conditions does the sign of the Ollivier Ricci curvature on a graph of a certain order change? In this paper, we discuss the curvature of graphs obtained by removing edges from complete graphs, as complete graphs have a stable positive curvature. We defined graphs obtained by removing matching edges, the set of edges incident with the vertex, and cycle edges from complete graphs, and then analyzed the Ollivier Ricci curvature of those graphs. The results show that the curvature of the graphs in the above three patterns is equal to the value obtained by dividing the number of triangles, including two vertices, by the maximum degree of the two vertices. This result also indicates that the curvature of the above graphs is zero or positive. This study concludes that the Ollivier Ricci curvature is predicted to be positive even if some edges are removed from a complete graph, and we suggest that these discussions are suitable for investigating the conditions under which the sign of the Ollivier Ricci curvature on a graph.
Diffusion-Robust Optimization over Graphs
We introduce a diffusion-based uncertainty model for robust optimization on directed graphs, in which perturbations of edge weights propagate along adjacent edges and satisfy conservation constraints at nodes. This topology-aware structure is natural in networked systems where uncertainty is induced by flows and local interactions, including transportation, logistics, communication, and energy networks. We analyze how such diffusive uncertainty reshapes the computational landscape of robust graph optimization. For convex network problems, such as minimum-cost flow and maximum flow, the resulting formulations remain convex and admit polynomial-time solution methods across all diffusion regimes considered. For combinatorial problems, the effect is more delicate. We focus on two canonical combinatorial graph problems, shortest path and the traveling salesman problem (TSP), which provide complementary benchmarks: shortest path is polynomial-time solvable in the nominal setting, whereas TSP is already NP-hard. We show that, for shortest path, propagation depth induces a sharp transition between tractable and intractable robust counterparts. For the traveling salesman problem, robustness often adds no computational complexity beyond ordinary TSP, because the structure of Hamiltonian cycles makes the fixed-tour adversarial problem collapse to explicit formulas. Together, these results show that topology-aware uncertainty can fundamentally change robust combinatorial optimization, with tractability governed by the interaction between propagation, budget geometry, and the structure of feasible solutions.
An Improved Lower Bound for the de Bruijn--Erdős Consecutive Gap Problem
Let $(x_n)_{n\geq 1}$ be a sequence of distinct points on the unit circle. After the first $n$ points are inserted, the circle is divided into $n$ intervals. For a fixed integer $r\geq 1$, let $M_n^{(r)}$ and $m_n^{(r)}$ denote respectively the largest and smallest total lengths of $r$ consecutive intervals. A theorem of de Bruijn and Erdős gives \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}\geq 1+\frac1r . \] The case $r=1$ is sharp and gives the classical factor $2$. The cases $r\geq 2$ remain much less understood. We prove the improved lower bound \[
\limsup_{n\to\infty}\frac{M_n^{(r)}}{m_n^{(r)}}
\geq
1+\frac{r}{r^2-1}
\qquad (r\geq 2). \] In particular, for two consecutive intervals the lower bound becomes $5/3$, improving the de Bruijn--Erdős bound $3/2$.
$λ$-Chromatic Polynomials and Polytope Geometry
In this paper, we investigate the notion of the \textit{$λ$-chromatic polynomial} of a graph, which enumerates the number of distinct $L(2,1)$-colorings using colors from a prescribed finite set. We prove that the $λ$-chromatic polynomial of a graph with $n$ vertices is a monic polynomial of degree $n$ and provide a combinatorial interpretation via lattice point enumeration within the framework of inside-out polytopes. Moreover, we compute the $λ$-chromatic polynomial of complete graphs $K_n$ using lattice path enumeration, and we develop a block-gap technique to derive the $λ$-chromatic polynomials for complete bipartite and multipartite graphs. Our approach unifies geometric, combinatorial, and algebraic methods to provide a systematic treatment of $λ$-colorings across various families of graphs.
Geometric construction of k-optimal locally repairable codes
A linear code is referred to as a locally repairable code (LRC) with locality r if any erased code symbol can be recovered by accessing at most r other code symbols. LRCs are highly desirable for distributed storage systems to enhance repair efficiency. In this paper, we investigate LRCs with disjoint repair sets via the parity-check matrix method. Firstly, we propose a novel concept of the s-Pasch configuration and present a geometric characterization for the existence of LRCs with minimum distance 5 and locality 3. Subsequently, we construct k-optimal LRCs by exploiting the point-line relationship in PG(2,q). Finally, a family of q-ary k-optimal LRCs with minimum distance 6 and general locality r is constructed using partial r-spreads.
Reconfiguration graphs of $K_{2,3}$-minor-free graphs
The $\ell$-reconfiguration graph of a graph $G$, denoted by $\mathcal{R}_{\ell}(G)$, is the graph whose vertices are the proper $\ell$-colorings of $G$, with an edge between two colorings if they differ in color on exactly one vertex. For any graph $G$ of treewidth at most $2$, Bousquet and Perarnau showed that $\mathcal{R}_\ell(G)$ has linear diameter for $\ell\geq 6$. This result was later extended by Bartier, Bousquet, and Heinrich, who proved that $\mathcal{R}_5(G)$ also has linear diameter.
In this paper, we show that for each $\ell\geq 5$, the $\ell$-reconfiguration graphs of $K_{2,3}$-minor-free graphs, some of which include graphs of treewidth $3$, have linear diameter. As a key step in our proof, we also establish that the $(\ell-1)$-reconfiguration graphs of cactus graphs have linear diameter.
Degree shifts between q-deformed friezes and q-Farey labelings for general triangulations
Morier-Genoud and Ovsienko introduced q-deformations of continued fractions, Farey labelings, and Conway--Coxeter friezes, and established relationships among them in restricted settings associated with triangulations having exactly two exterior cells. In this paper, we extend these correspondences to arbitrary subsequences of quiddities arising from general triangulations. We show that the numerator and denominator polynomials of q-deformed continued fractions coincide with entries of q-deformed Conway--Coxeter friezes, while the corresponding polynomials in q-Farey labelings agree with them up to explicit powers of q. These powers are described combinatorially in terms of the number of diagonals in the triangulation, or equivalently, the number of entries equal to 1 in the associated frieze. Furthermore, we determine the minimum and maximum degrees of these polynomials in terms of the same combinatorial data.
Universality for rainbow oriented cycles in perturbed digraphs
A randomly perturbed digraph is an $n$-vertex directed graph with all out- and in-degrees linear in $n$, to which a linear number (depending on the degree) of random edges have been randomly added. We show that randomly perturbed digraphs whose edges have been colored uniformly with $n$ colors have a rainbow copy of every orientation of every possible length cycle, simultaneously, with high probability. This is a common generalization of work of Araujo, Balogh, Krueger, Piga, and Treglown in the uncolored setting and Katsamaktsis, Letzter, and Sgueglia for consistently oriented spanning cycles. Our proof uses Montgomery's distributive absorption method.
Constraining Conformal Correlators
We study the space of conformally covariant $n$-point functions of spinning operators using methods from invariant theory, commutative algebra, and combinatorics. We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of $n$-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting formulas for arbitrary integer spins, both with and without Bose symmetry, and discuss a necessary and sufficient condition for the partial conservation operator to lift to a differential operator written in terms of the building blocks. We provide code that generates a basis of three-point structures satisfying these constraints for given values of spins and scaling dimensions.