graph
34516 papers tagged with this keyword
Tree-alpha and excluding finitely many graphs
We prove that a hereditary graph class $\mathcal{G}$ defined by finitely many excluded induced subgraphs has bounded tree-$α$ if and only if it is "$(\mathrm{tw},ω)$-bounded" (that is, for all $t\in \mathbb N$, the class of all $K_t$-free graphs in $\mathcal{G}$ has bounded treewidth). Equivalently, $\mathcal{G}$ has bounded tree-$α$ if and only if it excludes a complete bipartite graph, a forest whose components each have at most three leaves, and the line graph of such a forest.
This resolves two conjectures of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht: the above, and a weaker one that for all $a,b\in \mathbb N$, every hereditary class that excludes $K_{a,a}$ and the $b$-vertex path has bounded tree-$α$. The latter was already open even for $(a,b)\in \{(2,7),(3,5)\}$, and only recently proved for $(a,b)=(2,6)$.
The Normal Domination Partizan Game in Stars
The Domination game is an impartial game on graphs, introduced in 2010, and proved PSPACE-complete in the normal variant in 2026. In this game, Alice and Bob alternately select playable vertices, where a vertex is playable if it dominates at least one vertex not dominated by the vertices selected before in the game. The game ends when the selected vertices form a dominating set. In the normal variant, the player unable to move loses. In contrast to the impartial game, the partizan game has the vertices already colored with $A$, $B$, or $C$, in such a way that Alice (resp. Bob) can only select vertices colored with $A$ (resp. $B$) or $C$. The partizan game was proved PSPACE-hard in 2026. In this paper, we determine the winner of the Normal Partizan Domination game in graphs whose components are complete split graphs, including star forests, for any initial coloring of its vertices. We also obtain partial results for complete bipartite graphs.
Bowen--Franks groups and minus class groups of cyclotomic number fields with prime conductor
Let $p$ be an odd rational prime and consider the cyclotomic number field $K = \mathbb{Q}(ζ_{p})$ of conductor $p$. We construct a directed graph $Y$ on $p-1$ vertices for which the torsion part of the corresponding Bowen--Franks group is closely related to the minus part of the class group of $K$. In particular, both groups have the same cardinality up to an explicit power of $p$. Furthermore, they are both $\mathrm{Gal}(K/\mathbb{Q})$-modules, and we prove the equality of the cardinalities of their isotypic components after tensoring them with the valuation ring of an appropriate $\ell$-adic field for $\ell \nmid p-1$.
Facial diagrams and cycle double cover
We approach the cycle double cover conjecture by looking for a circular 2-cell embedding of cubic graphs on an arbitrary surface. It is easy to see that if such an embedding exists, we can get to it from an arbitrary starting 2-cell embedding by repeating ``twists of an edge''. We study this twisting operation in detail and deduce bounds on the number of singular edges (edges where a face meets itself).
Vertex connectivity of the nonzero nonunit core of the comaximal graph of $\mathbb Z_n$
This article settles Problem 7.2 posed by [Banerjee, Special Matrices (2022)] for the induced subgraph $G_2$ of the comaximal graph $Γ(\mathbb Z_n)$ when $n$ is squarefree. Let $n=p_1p_2\cdots p_m$ with distinct primes $p_1<\cdots<p_m$, and let $G_2$ be the graph on the nonzero nonunit residue classes modulo $n$. We use Chinese remainder representation of $\mathbb Z_n$, and encodes each vertex by the set of vanishing coordinates. This converts $G_2$ into a weighted blow-up of a disjointness graph on nonempty proper subsets of $\{1,\dots,m\}$. Within this model, we derive exact class sizes, explicit degree formulas, the minimum-degree layer, and a short-path criterion. The main theorem proves the connectivity of $G_{2}$ as $κ(G_2)=\prod_{i=1}^{m-1}(p_i-1)=\tfrac{φ(n)}{p_m-1}$. Consequently, earlier upper bound is sharp, $G_2$ is maximally connected, and its edge connectivity agrees with its minimum degree. We also obtain distance formulas, diameter and radius information, and a linear-time algorithm once the prime factorization is known.
From Graph Laplacians to String Partition Functions: A Rigorous Pathway from Discrete Spectra to Emergent Geometry
This work establishes rigorous mathematical foundations connecting spectral graph theory, algebraic geometry, and string theory. We construct a canonical mapping whereby any finite graph \(G\) defines a compact Riemann surface \(X_{G}\) (the spectral curve) whose period matrix \(Ω_{G}\) encodes the graph's coarse-grained spectral information. We demonstrate that in the continuum limit of graph sequences converging to Riemannian manifolds, these spectral curves converge in the Deligne-Mumford compactification sense to the classical stable curves associated with the manifold. We establish connections to the topological recursion framework of Eynard-Orantin, showing that under appropriate conditions the spectral curve satisfies the loop equations of multi-cut matrix models. The spectral memory field \(Φ_{G}(u)\) is introduced and shown to provide a discrete regularization of minimal string partition functions. We construct quantum scattering operators on spectral curves and prove that their unitarity is equivalent to a positivity condition on the spectral memory field. Furthermore, we apply this framework to resolve spacelike singularities in general relativity, proving that the Belinski-Khalatnikov-Lifshitz (BKL) chaotic regime is isospectral to a critical random graph ensemble. The classical singularity is replaced by an infinite nodal chain of rational curves, and the Bekenstein-Hawking entropy emerges from the automorphism group of the spectral curve. This work provides rigorous mathematical underpinnings for discrete approaches to quantum gravity and establishes new connections between graph theory, algebraic geometry, and theoretical physics.
Quantum fractional revival on zero-divisor graphs over $\mathbb{Z}_n$
In this paper, we characterize the existence of perfect state transfer (PST) and fractional revival in continuous-time quantum walks on the zero-divisor graph $Γ(\mathbb{Z}_n)$. By using the canonical equitable partition of $Γ(\mathbb{Z}_n)$ induced by the proper divisors of $n$, we derive a sufficient condition on $n$ for PST to occur between a pair of vertices. We show that fractional revival is restricted to cells of size $2$ within the equitable partition. Furthermore, assuming $-1$ is not an eigenvalue of the quotient spectrum, we establish that two vertices in $Γ(\mathbb{Z}_n)$ are strongly cospectral if and only if they form a cell of size $2$ within the equitable partition that is either a set of false twins or true twins. Finally, we provide a characterization of fractional revival on bipartite $Γ(\mathbb{Z}_n)$ and prove the non-existence of fractional revival on $Γ(\mathbb{Z}_{p^2q})$.
Optimization and complexity of inertia-type bounds on the independence and chromatic numbers of graph powers
The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the socalled inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory.
The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial time for fixed $k$ and for small $k$.
A lower bound of toughness of regular graphs: in terms of second largest eigenvalue
Let $G$ be a connected (non-complete) $d$-regular graph with $d\geq3$. Let $c(G-S)$ denote the number of components of $G-S$ for any cut $S$ of $G$. The toughness $t(G)$ of $G$ is defined as $\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper cuts $S$ of $G$. Let $λ_{2}(G)$ denote the second largest eigenvalue of $G$. In this paper, we prove $$t(G)\geq\min\left\{\frac{d+1}{d}(d-λ_{2}(G)),1\right\}.$$
Cohomological properties of the Vietoris--Rips Complex of a Hypercube Graph
We develop a toric topological framework for studying the cohomology of Vietoris--Rips complexes $VR(Q_n;r)$ of hypercube graphs. Using total domination invariants and spectral methods, we establish general lower bounds on connectivity, which leads to infinite families of counterexamples to Shukla's conjecture, and derive first global upper bounds on coconnectivity. Our approach interprets Vietoris--Rips complexes via Stanley--Reisner rings, moment-angle complexes, and Tor algebras, allowing global topological information to be extracted from combinatorial data. In a second direction, we construct explicit cohomology classes using the Koszul resolution and show that they decomposable products of $1$-dimensional classes, and that their representatives can be combimbinatorially realised as the boundary of cross polytopes positively answering the question posed by Adams and Virk. We introduce ghost vertices as a new tool for detecting, extending, and proving linear independence of cohomology classes.
A Near-Linear-Time Algorithm for Finding a Well-Spread Perfect Matching in Bridgeless Cubic Graphs
We present a near-linear-time algorithm that, given a bridgeless cubic graph, finds a perfect matching intersecting every 3-edge-cut in exactly one edge. This improves over a cubic algorithm of Boyd et al. for the same problem, and over our previous algorithm, which worked only for 3-edge-connected graphs. The main ingredient is a cactus representation of the 2-edge-cuts, together with an efficient update procedure under 2-cut reductions.
On the minimum number of maximal distance-$k$ independent sets in trees
A vertex subset of a graph is called a distance-$k$ independent set if the distance between any two of its distinct vertices is at least $k + 1$. For all $n,k \geq 1$, we determine the minimum possible number of inclusion-wise maximal distance-$k$ independent sets among all $n$-vertex trees. It equals $n$ if $n \leq k + 1$, and $n - \bigg\lfloor \frac{n - (k \bmod 2)}{\lfloor k/2 \rfloor + 1} \bigg\rfloor + 1$ otherwise. We also completely describe the class of trees attaining this bound and determine the growth rate of the number of such $n$-vertex trees for a fixed $k \geq 1$. If $k$ is odd and $(k+1)/2$ does not divide $n-1$, then the number of non-isomorphic $n$-vertex trees with the minimum possible number of maximal distance-$k$ independent sets grows linearly with $n$. Otherwise, it is bounded above by the number of unlabeled $k^2$-vertex trees.
Berge $k$-Factors of Regular Hypergraphs
A Berge $k$-factor in a hypergraph is a generalization of a $k$-factor in a graph. In this paper, we study the problem of determining the values $k$ such that every $λ$-edge-connected $r$-regular hypergraph $\HH$ with $k|V(\HH)|$ even has a Berge $k$-factor. While this problem is completely solved for ordinary graphs, we report that there arises a new upper bound to $k$ based on the rank of $\HH$ for hypergraphs and that it is stronger than the classical upper bound based on the edge-connectivity in most cases.
Pancyclicity in Graph Families with the Ore-Type Condition
Let $ n \in \mathbb{N} $ with $ n \geq 3 $, and let $\mathcal{G} = \{G_i:i\in [n]\} $ be a family of $ n $-vertex graphs on a common vertex set $V$, where the graphs in the family do not need to be distinct. A graph $H$ with vertex set $V$ is \emph{rainbow} in $\mathcal{G}$ if there exists an injection $ φ: E(H) \to [n] $ such that $e \in E(G_{φ(e)})$ for every edge $e \in E(H)$, where $|E(H)|\leq n$. In 2020, Joos and Kim proved that $\mathcal{G}$ contains a rainbow Hamiltonian cycle under the Dirac-type condition. Recently, Liu, Chen, and Ma generalized this result by replacing the Dirac-type condition with a more general Ore-type condition involving degree sums of non-adjacent vertices: If $σ(\mathcal{G}) \geq n$, then $\mathcal{G}$ contains a rainbow Hamiltonian cycle, where the Ore-type condition $σ(\mathcal{G})$ is defined as follows: $
σ(\mathcal{G}) = \min\{d_p(u) + d_q(v) \mid uv \notin E(G_i) \text{ for some } i \in [n] \text{ and for all } p, q \in [n]\}. $
In this paper, under the Ore-type condition, we show that either each vertex of $V$ is contained in a rainbow cycle of length $\ell$ for every $\ell\in[4,n]$, or $G_1=\cdots=G_n=K_{\frac{n}{2},\frac{n}{2}}$. As a corollary, we deduce the rainbow pancyclicity of $\mathcal{G}$, which
supports the famous meta-conjecture posed by Bondy. Furthermore, we prove rainbow vertex-pancyclicity of $\mathcal{G}$ under the Ore-type condition and provide an extremal graph family to show that the result is sharp.
Structural description of (bull, house)-free graphs
The bull is a graph consisting of a triangle and two pendant edges. The P_5 is the chordless path on five vertices. The house is the complement of a P_5. A graph is k-critical if it is k-chromatic but each of its proper induced subgraphs is (k-1)-colorable. It is known that the number of k-critical P_5-free graphs and bull-free graphs are infinite for large enough k. We give a structural description of (bull, house)-free graphs and also (bull, P_5)-free graphs. Using these structural properties we prove that for any fixed k, the number of k-critical (bull, P_5)-free graphs is finite. This improves on a result of Huang, Li and Xia (Critical (P_5, bull)-free graphs, Discrete Applied Mathematics 334 (2023) 15-25). A graph G is perfectly divisible if for each induced subgraph H of G with at least one edge, V(H) can be partitioned into two sets V_1, V_2 such that every largest clique of H contains a vertex in V_i for i = 1,2. Chudnovsky and Sivaraman proved that (P_5, bull)-free graphs are perfectly divisible (Perfect divisibility and 2-divisibility, Journal of Graph Theory 90 (2019) 54-60). Our structural result allows us to give a short proof of this theorem.
How large part of a graph can be covered by the neighborhoods of k vertices?
Let $k\ge 2$ be fixed integer, $0<c<1$ a constant. Consider a graph $G$ with $n$ vertices and average degree $cn$. We answer a question of Simon Griffiths by showing that $G$ has $k$ vertices such that their neighborhoods together cover at least $\min(1-(1-c)^{k},\sqrt{c})n$ vertices. This result is essentially tight.
Gårding Polynomials
We introduce Gårding polynomials, a class of real multivariate polynomials defined via positivity regions invariant under translation by positive directions and closed under strictly positive affine transformations. We establish a structural theorem providing two complementary characterizations of this class: one via reduction to the multi-affine case through polarization, and another via a recursive condition involving partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while retaining many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations yield ultra log-concave coefficient sequences. Moreover, the Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we obtain new negative dependence results for generating functions associated with various classes of matroids and graphs--many of which lie beyond the reach of real stability or Lorentzian methods--as well as for characteristic polynomials of certain matrix classes.
On the Extremal Energy of Complex Unit Gain Dumbbell Graphs
We study the extremal energy problem for complex unit gain graphs whose underlying graph is the dumbbell graph $D_{r,s,\ell}$. An explicit expression of its characteristic polynomial is derived in terms of the matching polynomials of some of its subgraphs. This is used to build two methods to solve the problem in different parity cases. For the bipartite case, we establish a method by performing coefficient comparison. For the non-bipartite case, we directly analyze the integral kernels in an analog of Coulson's formula. The problems are solved for all parity cases except for the minimum energy problem when $r,s$ are odd and $\ell$ is odd. We present several counterexamples obtained from numerical experiments and leave this as an open problem.
Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery
We study solution discovery, where the goal is to obtain a feasible solution to a problem from an initial configuration by a bounded sequence of local moves. In many applications, however, the graph that defines which vertex sets are feasible is not the same as the graph that governs how tokens, agents, or resources may move. Existing models such as token sliding and token jumping typically do not distinguish the problem graph and the movement graph. Motivated by this mismatch, we introduce a directed weighted two-graph model that cleanly separates feasibility from movement. A problem graph specifies the desired combinatorial objects, while a movement graph specifies admissible relocations and their costs. This yields a flexible framework that captures asymmetry, heterogeneous movement constraints, and weighted transitions, while subsuming classical discovery models as special cases.
We investigate this model through \textsc{Path Discovery} and \textsc{Shortest Path Discovery}, where the task is to realize a vertex set containing an $s$-$t$-path or a shortest $s$-$t$-path in the problem graph. These problems are particularly natural in applications, since directed and weighted shortest paths are among the most fundamental algorithmic primitives. At the same time, previous work has already shown that discovery can be computationally hard even when the underlying optimization problem is easy. Our results show that this phenomenon persists, and becomes especially rich, in the two-graph setting. We obtain a detailed complexity picture, identifying tractable cases as well as strong hardness results.
Sufficient conditions for spanning $k$-trees in tough graphs
The toughness of a graph $G$, denoted by $τ(G)$, is defined by $τ(G)=$min $\{\frac{|S|}{c(G-S)}:S\subseteq V(G)$ and $c(G-S)\geq2\}$. A graph $G$ is said to be $τ$-tough if $τ(G)\geq τ$. Let $k\geq2$ be an integer. A tree $T$ is called a $k$-tree if $d_{T}(v)\leq k$ for each $v\in V(T)$, that is, the maximum degree of a $k$-tree is at most $k$. A $k$-tree $T$ is a spanning $k$-tree if $T$ is a spanning subgraph of a connected graph $G$. In 1989, Win [Graphs Combin. 5 (1989) 201--205] proved that if $τ(G)\geq\frac{1}{k-2}$, where $k\geq3$, then $G$ contains a spanning $k$-tree. Liu, Fan and Shu [Discrete Math. 348 (2025) 114593] provided a tight sufficient condition based on the spectral condition for connected $\frac{1}{k}$-tough and $\frac{1}{k-1}$-tough graphs to contain a spanning $k$-tree, where $k\geq3$ is an integer. A natural and interesting problem arises: Can the value of $τ$ be refined?
When $\frac{1}{k-2}>τ\geq\frac{1}{k-1}$, we initially establish a lower bound on the size to ensure that a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ contains a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. Meanwhile, we provide two sufficient conditions in terms of spectral radius and signless Laplacian spectral radius for a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ to contain a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. When $t=1$, we obtain the result $η=1$ from Liu, Fan and Shu.