graph
34516 papers tagged with this keyword
A hierarchy of edge-weight symmetries in perfect matchings
Motivated by the exact weight perfect matching problem and recent parameterized algorithms for finding an $\ell$-th smallest perfect matching, we study structural properties of edge-weight symmetries in graphs. Recent work by El Maalouly et al. (ESA 2025) showed that excluding all perfect matchings whose weight is at most the $(\ell - 1)$-th smallest possible value in the graph requires fixing at most $2(\ell-1)$ edges in non-bipartite graphs and at most $\ell-1$ edges in bipartite graphs. A natural open question is whether fixing a single edge is always sufficient to shift the extreme (minimum or maximum) weight of a perfect matching when the global minimum and maximum weights differ.
To address this, we define and analyze a hierarchy of progressively weaker edge-weight properties: node-induced weights, even walk and cycle symmetries, perfect matching equality, and the edge min-max property. We derive a basic hierarchy among these conditions and show that they become equivalent in bipartite graphs. For general graphs, we provide tight structural characterizations, based on block and tight cut decompositions, under which even cycle symmetry and perfect matching equality force node-induced weights.
Finally, we resolve the motivating open question in the negative by constructing a matching-covered non-bipartite graph that satisfies the edge min-max property (every edge is contained in a minimum-weight perfect matching and a maximum-weight one) but violates perfect matching equality (all perfect matchings have the same weight). This counterexample shows that a single edge is not always sufficient to eliminate all minimum-weight or maximum-weight perfect matchings, thereby proving the tightness of the $2(\ell-1)$ bound for $\ell=2$. We also discuss extensions of this framework to $b$-factors and arborescences.
On Threshold Compatibility Graphs
Pairwise Compatibility Graphs (PCGs) form a tree-metric graph class that originated in phylogeny and has since attracted sustained interest in graph theory. Several natural generalizations have been proposed in order to overcome the expressive limitations of classical PCGs, including $k$-interval-PCGs, $k$-OR-PCGs, and $k$-AND-PCGs. In this paper, we introduce $(k,t)$-threshold-PCGs, a threshold-based framework that unifies these generalized notions: adjacency is determined by whether at least $t$ among $k$ underlying PCG predicates accept the vertex pair. We investigate the expressive power of this model from both constructive and asymptotic viewpoints. On the positive side, we show that every graph on $n$ vertices is a $(n,t)$-threshold-PCG for every $1 \le t \le n$. On the negative side, we prove that for every fixed pair $(k,t)$, the class of $(k,t)$-threshold-PCGs is asymptotically rare among all graphs. As a consequence, we obtain sharp separations from previously studied models, including a strict expressive gap relative to $k$-interval-PCGs. We also study explicit obstruction families through incidence graphs and derive additional structural consequences for the conjunction case, including the strictness of the $k$-AND-PCG hierarchy and the failure of closure under complement.
Lions and Contamination: Trees and General Graphs
This paper investigates a special variant of a pursuit-evasion game called lions and contamination. In a graph where all vertices are initially contaminated, a set of lions traverses the graph, clearing the contamination from every vertex they visit. However, the contamination simultaneously spreads to any adjacent vertex not occupied by a lion. We analyze the relationships among the lion number $\mathcal{L}(G)$, monotone lion number $\mathcal{L}^m(G)$, and the graph's pathwidth $\operatorname{pw}(G)$. Our main results are as follows: (a) We prove a monotonicity property: for any graph $G$ and its isometric subgraph $H$, $\mathcal{L}(H)\le \mathcal{L}(G)$. (b) For trees $T$, we show that the lion number is tightly characterized by pathwidth, satisfying $\operatorname{pw}(T)\le \mathcal{L}(T)\le \operatorname{pw}(T)+1$. (c) We provide a counterexample showing that the monotonicity property fails for arbitrary subgraphs. (d) We show that, in contrast to the tree case, pathwidth does not yield a general lower bound on $\mathcal{L}(G)$ for arbitrary graphs. (e) For any connected graph $G$, we prove the general upper bound $\mathcal{L}(G)\le \operatorname{pw}(G)+1$. (f) For the monotone variant, we establish the general lower bound $\operatorname{pw}(G)\le \mathcal{L}^m(G)$. (g) Conversely, we show that $\mathcal{L}^m(G)\le 2\operatorname{pw}(G)+2$ holds for all connected graphs, which is best possible up to a small additive constant.
The Pentagon Graph Operator
For a graph $G$, let $\mathscr{C}_5(G)$ denote the graph whose vertices are the induced $5$-cycles of $G$, where two vertices are adjacent whenever the corresponding cycles share an edge. We investigate the iterative behavior of the pentagon graph operator $\mathscr{C}_5(G)$ , positioning it as the natural continuation of the quadrangle graph operator and the broader induced-cycle graph operator program. We construct explicit pentagon-vanishing, pentagon-periodic, and pentagon-expanding graphs. In particular, the dodecahedron and the icosahedron provide natural periodic examples, while an icosahedral tadpole-hat construction yields expanding families. Our main result proves that every graph is exactly one of three types with respect to $\mathscr{C}_5(G)$: vanishing, periodic, or expanding. The paper suggests a broader theory for the operators $C_k$ generated by induced cycles of fixed length $k$.
Independent Sets and Continued Fractions
Linek's 1989 problem asks whether the numbers of independent sets of trees avoid infinitely many positive integers. We show that the set of natural numbers realized as the number of independent sets of a tree has a lower growth exponent of $0.1966$. We further prove that the set of positive integers representable by connected planar graphs has asymptotic density one. Lastly, we establish a phase transition: the number of independent sets of graphs with fewer than $d|V|$ edges for any $d<1$ is contained in a set of density zero, whereas, following Shkredov's recent breakthrough on Zaremba's conjecture in continued fraction theory, there exists a constant $D$ such that the number of independent sets of graphs with at most $D|V|$ edges covers all positive integers.
Arc search in graphs via Szegedy walks
This paper studies the search for a single arc in a graph using the Szegedy walk. Arc search can be interpreted as finding a quantum particle not only in its position but also with a specific internal state. The quantum walk employed in this study is essentially the model proposed by Segawa and Yoshie for the purpose of edge search. First, we investigate how the symmetry of a graph is reflected in its time evolution matrix, and provide a sufficient condition under which the success probability of the search is independent of the marked arc. In particular, we prove that if a graph is arc-transitive, the success probability is independent of the choice of the marked arc. Next, we analyze path and cycle graphs and show that the quantum search is ineffective for these graphs, whereas it performs well for complete bipartite graphs $K_{n,n}$. These results provide a theoretical foundation for studying arc and edge searches on various graphs, while also suggesting new problems concerning the eigenvalue analysis of edge-signed graphs in spectral graph theory.
Moderately beyond clique-width: reduced component max-leaf and related parameters
Reduced parameters [BKW, JCTB '26; BKRT, SODA '22] are defined via contraction sequences. Based on this framework, we introduce the reduced component max-leaf, denoted by $\operatorname{cml}^\downarrow$, where component max-leaf is the maximum number of leaves in any spanning tree of any connected component. Reduced component max-leaf is strictly sandwiched between clique-width and reduced bandwidth, it is bounded in unit interval graphs, and unbounded in planar graphs. We design polynomial-time algorithms for problems such as \textsc{Maximum Induced $d$-Regular Subgraph} and \textsc{Induced Disjoint Paths} in graphs given with a contraction sequence witnessing low $\operatorname{cml}^\downarrow$, unifying and extending tractability results for classes of bounded clique-width and unit interval graphs.
We get the following collapses in sparse classes of bounded $\operatorname{cml}^\downarrow$: bounded maximum degree implies bounded treewidth, whereas $K_{t,t}$-subgraph-freeness implies strongly sublinear treewidth; we show the latter, more generally, for classes of bounded reduced cutwidth. We establish the former result by showing that graphs with bounded $\operatorname{cml}^\downarrow$ admit balanced separators dominated by a bounded number of vertices. We then showcase an application of the reduced parameters to establishing non-transducibility results. We prove that for most reduced parameters $p^\downarrow$ (including reduced bandwidth), the family of classes of bounded $p^\downarrow$ is closed under first-order transductions. We then answer a question of [BKW '26] by showing that the 3-dimensional grids have unbounded reduced bandwidth. As the class of planar graphs (or any class of bounded genus) has bounded reduced bandwidth [BKW '26], this reproves a recent result [GPP, LICS '25] that planar graphs do not first-order transduce the 3-dimensional grids.
Powers of Edge Ideals of Prime Ideal Graphs: Generators, Primary Decomposition, and Linear Powers
Let $R$ be a finite commutative ring with multiplicative identity. Let $P$ be a proper prime ideal of $R$. The prime ideal graph $Γ_P(R)$ has a vertex set of $R\setminus\{0\}$, and two different vertices $x$ and $y$ are adjacent to each other if and only if $xy\in P$. We show that $Γ_P(R)\cong K_{|P|-1}\vee \overline{K}_{\,|R|-|P|}$, so prime ideal graphs form a ring-induced family of complete split graphs determined by the two parameters $a=|P|-1$ and $b=|R|-|P|$. Using this decomposition, we determine the minimal vertex covers of $Γ_P(R)$, obtain an explicit irredundant primary decomposition of the edge ideal $I(Γ_P(R))$, and characterize the minimal monomial generators of every power $I(Γ_P(R))^n$. More precisely, $x^αy^β\in G(I(Γ_P(R))^n)$ if and only if $|α|+|β|=2n, \ |β|\leq n$, and $0\leq α_i\leq n$ for all $i$. As a consequence, we derive a closed formula for $μ(I(Γ_P(R))^n)$ and prove that every power $I(Γ_P(R))^n$ is polymatroidal. Hence, each power has linear quotients and a $2n-$linear minimal free resolution; equivalently, $I(Γ_P(R))$ has linear powers. Examples over $\mathbb{Z}_6$ and $\mathbb{Z}_8$ are included.
The high order spectral extrema of $2K_r$-free graphs
In this paper, we determine the graphs with maximum value of the sum number from $k$-clique spectral radius to $(2r-1)$-clique spectral radius among all $2K_{r}$-free graphs on $n$ vertices for $ r\le k$ and large $n$. We also determine the graphs with maximum $3$-clique spectral radius among all $2K_{3}$-free graphs on $n$ vertices. Our results are spectral versions of some results on generalized Turán numbers.
The eigenvector centrality of hypergraphs
A hypergraph is called uniform when every hyperedge contains the same number of vertices, otherwise, it is called non-uniform. In the real world, many systems give rise to non-uniform hypergraphs, such as email networks and co-authorship networks. A uniform hypergraph has a natural one-to-one correspondence with its adjacency tensor. In 2019, Benson proposed the eigenvector centrality of uniform hypergraphs via its adjacency tensor. In this paper, we define an adjacency tensor for hypergraphs and propose the eigenvector centrality for hypergraphs. When the hypergraph is uniform, our proposed eigenvector centrality reduces to Benson's. When each edge of the uniform hypergraph contains exactly two vertices, our proposed centrality reduces to the eigenvector centrality of graphs. We conducted experiments on several real-world hypergraph datasets. The results show that, compared to traditional centrality measures, the proposed centrality measure provides a unique perspective for identifying important vertices and can also effectively identify them.
The bosonic Hubbard model on a three dimensional flat band lattice
The lowest eigenstates of the hopping matrix on the line graph of a cubic lattice with periodic boundary conditions are highly degenerate, they form a lowest flat band. Further, these states are localized. If one considers a repulsive bosonic Hubbard model on this lattice it is possible to construct exact multi-particle ground states simply by putting particles in the localized single particle ground states such that they avoid each other. This can be done up to a certain critical particle number $N_c$. We prove that at this particle number the ground state entropy is subextensive $\propto N_c^{2/3}$. For lower densities the entropy is extensive. We further show that the problem is related to the number of 4-cycle decompositions of the cubic lattice with periodic boundary conditions.
Juniper Green and the Gallai-Edmonds Decomposition
Juniper Green is a simple combinatorial game invented by Rob Porteous and popularized by Ian Stewart. It was originally designed to familiarize school children with the concepts of multiplication and division. We analyze this elementary game through a completely different lens and show that it recovers the Gallai-Edmonds decomposition of the divisibility graph on the vertex set $V= \left\{1,2,\dots, n\right\}$. This characterizes the winning moves of the game; as a byproduct, we show that this decomposition seems to have many interesting and curious patterns that are currently unexplained.
On Scott's odd induced subgraph conjecture and a related problem
For a graph $G$, let $f_o(G)$ denote the maximum order of an induced subgraph of $G$ all of whose vertices have odd degree, and let $χ(G)$ denote the chromatic number of $G$. Scott (CPC, 1992) proved that $f_o(G) \ge |V(G)|/(2χ(G))$ for every graph without isolated vertices, and conjectured that the factor $2$ can be removed. Wang and Wu (JGT, 2024) showed that this conjecture fails for bipartite graphs, but holds for line graphs. In this article, we confirm Scott's conjecture for claw-free graphs without isolated vertices, thereby strengthening the result of Wang and Wu. We also construct $K_{1,r}$-free graphs of arbitrarily large order to show that the conjecture fails for this broader class, for every integer $r \ge 4$.
Wang and Wu also asked whether $f_o(L(G)) \ge n/2$ holds for every connected regular graph $G$ of order $n \ge 3$. We show that $C_5$ is the smallest counterexample to this problem. On the positive side, we prove that if $G$ is a connected $k$-regular $C_5$-free graph on $n$ vertices with $k \ge 2$, then $f_o(L(G)) \ge n/2$.
Greedy Routing in a Sequentially Grown One-Dimensional Random Graph
We analyze greedy routing in a random graph G_n constructed on the vertex set V = {1, 2, ..., n} embedded in Z. Vertices are inserted according to a uniform random permutation pi, and each newly inserted vertex connects to its nearest already-inserted neighbors on the left and right (if they exist). This work addresses a conjecture originating from empirical studies (Ponomarenko et al., 2011; Malkov et al., 2012), which observed through simulations that greedy search in sequentially grown graphs exhibits logarithmic routing complexity across various dimensions. While the original claim was based on experiments and geometric intuition, a rigorous mathematical foundation remained open. Here, we formalize and resolve this conjecture for the one-dimensional case. For a greedy walk GW starting at vertex 1 targeting vertex n -- which at each step moves to the neighbor closest to n -- we prove that the number of steps S_n required to reach n satisfies S_n = Theta(log n) with high probability. Precisely, S_n = L_n + R_n - 2, where L_n and R_n are the numbers of left-to-right and right-to-left minima in the insertion-time permutation. Consequently, E[S_n] = 2H_n - 2 ~ 2 log n and P(S_n >= (2+c) log n) <= n^(-h(c/2) + o(1)) for any constant c > 0, with an analogous lower tail bound for 0 < c < 2, where h(u) = (1+u) ln(1+u) - u is the Bennett rate function. Furthermore, we establish that this logarithmic scaling is robust: for arbitrary or uniformly random start-target pairs, the expected routing complexity remains E[S_{s,t}] = 2 log n + O(1), closely mirroring decentralized routing scenarios in real-world networks where endpoints are chosen dynamically rather than fixed a priori.
Some New Results on Energy of Graphs with Self Loops
Published in J Math Chem 61, 1462-1469 (2023)
• View Publication
• BIB
The graph $G_σ$ is obtained from graph $G$ by attaching self loops on $σ$ vertices. The energy $ E(G_σ)$ of the graph $G_σ$ with order $n$ and eigenvalues $λ_1,λ_2,\dots,λ_n$ is defined as $ E(G_σ)= \displaystyle \sum_{i=1}^n\left|λ_i-\dfracσ{n}\right| $. It has been proved that if $σ=0\; or\; n$ then $ E(G)=E(G_σ) $. The obvious question arise: Are there any graph such that $E(G)=E(G_σ)$ and 0$<σ<n$? We have found an affirmative answer of this question and contributed a graph family which satisfies this property.
Weak order on groups generated by involutions
In this article, we propose to initiate the general study of involution systems. An {\em involution system}, that is, a group $W$ generated by a set of involutions $S$, is naturally endowed with a {\em weak order} arising from orienting the Cayley graph of $(W,S)$. In the case of a Coxeter system $(W,S)$, Björner showed that the weak order is a complete meet-semilattice. This fact has many important consequences for Coxeter systems and their related structures. In this article, we discuss the following question: For which involution systems is the weak order a complete meet-semilattice?
The class of involution systems that satisfies this condition is larger than the class of Coxeter systems (it contains, for instance, Cactus groups). In the case of an involution system with sign character, we provide a finite presentation by generators and relations and a classification in rank 3. We also obtain new characterizations of Coxeter systems in terms of the weak order, and prove a number of results on certain subclasses of these involution systems. Finally, we discuss further works and open problems in relation to biautomatic structures, geometric representations, mediangle graphs, and more.
A closure result on spanning $k$-trees of graphs with given minimum degree
Let $k\geq2$ be an integer. A $k$-tree is a tree with maximum degree at most $k$. In this paper, we give a closure result on spanning $k$-trees of graphs with given minimum degree. Let $δ\geq1$ be an integer, and $G$ be a connected graph of order $n$ with minimum degree $δ$. Let $u$ and $v$ be two nonadjacent vertices of $G$ satisfying $d_{G}(u)+d_{G}(v)\geq n-1-(k-2)δ$. Then $G$ has a spanning $k$-tree if and only if $G+uv$ has a spanning $k$-tree.
The Algebraic Degree of Network Games via Tropical Geometry: A Geometric Perspective on Datta's Formula
The algebraic degree of a network game measures the complexity of its totally mixed Nash equilibria. For sparse multilinear network games, Datta's formula expresses this degree combinatorially in terms of a permanent, but the geometric origin of this formula has remained unclear. In this paper, we provide a tropical-geometric derivation of Datta's formula by identifying totally mixed equilibria with stable intersection points of tropical hypersurfaces associated with the indifference equations. We show that the mixed cells arising from the multilinear Newton polytope structure induce the cycle-cover combinatorics of the polynomial graph, so that the permanent appears as a tropical intersection count. This interpretation yields several structural consequences. We prove that the algebraic degree is multiplicative over strongly connected components, and we establish a sharp contrast between two basic multilayer coupling mechanisms: Cartesian-type couplings remain bounded through a transfer-matrix trace formula, whereas tensor-type couplings exhibit exponential growth governed by the permanent of a local gadget. These results show that algebraic degree provides a structural complexity invariant for network architecture. We further illustrate the theory on coupled cyclic games and networked energy-market models, and we support the theoretical predictions with numerical experiments based on homotopy continuation.
The Cactus Criterion: When Nonlinear Hodge Theory Reduces to Linear on Graphs
Let $G$ be a finite connected simple graph with a chosen orientation of its edges. For the edge potential $ψ(t)=\cosh t-1,$ we minimize $\sum_{e\in E^\to}ψ(z_e)$ over each affine class $ω+dC^0(G)\subset C^1(G)$. The minimizer is the unique representative satisfying the nonlinear coclosed equation $δ\sinh z=0,$ and hence defines a nonlinear selector $\Picc:C^1(G)\to C^1(G).$ We show that $\Picc$ is real analytic, identify its image as $\imop \Picc=\Mcc=\operatorname{arsinh}(\kerδ),$ and compute its differential as a weighted Hodge projector. In particular, $\Picc$ agrees with the ordinary Hodge projector $\PiH$ to first order at the origin, and the first nonlinear correction is cubic. Our main global theorem is a graph-theoretic criterion: for every admissible edge potential -- even, $C^2$, strictly convex, and non-quadratic -- the associated nonlinear selector coincides with $\PiH$ on all of $C^1(G)$ if and only if $G$ is a cactus graph. Finally, we work out the two-triangle graph, the smallest connected simple obstruction, and record a self-concordant Newton method for computing $\Picc$.
On Spielman's Laplacian Eigenratio Conjecture and Related Problems
Let $G$ be an $n$-vertex graph with Laplacian eigenvalues $0=λ_1(G)\le λ_2(G)\le\cdots\le λ_n(G)$. Motivated by the Alon-Boppana bound and the Ramanujan phenomenon for regular graphs, Spielman conjectured that, for every graph $G$ with fixed average degree $d\ge 1$, its Laplacian eigenratio satisfies $$ \frac{λ_2(G)}{λ_n(G)} \le \frac{d-2\sqrt{d-1}}{d+2\sqrt{d-1}}+o_n(1), $$ where $o_n(1)\to 0$ as $n\to\infty$. The main purpose of this paper is to investigate this conjecture. We show that the situation is mixed. On the negative side, the conjecture fails for infinitely many average degrees $d>2$, via constructions based on bipartite Ramanujan graphs. On the positive side, it holds in two important settings: we verify it for all average degrees $d\le 2$, and we prove it for all regular graphs. In fact, for regular graphs we obtain stronger bounds comparing higher Laplacian eigenvalues. As a consequence, we show that for every fixed $d\ge 3$ and every $\varepsilon>0$, every sufficiently large $d$-regular Ramanujan graph has linearly many adjacency eigenvalues below $-2\sqrt{d-1}+\varepsilon$, thereby strengthening earlier results of Li and Cioabă by giving an unconditional result of this form. We also settle two related conjectures: one of You and Liu concerning the maximum Laplacian eigenratio of trees, and one of Gu concerning the Hamiltonicity of graphs with large Laplacian eigenratio.