graph
34516 papers tagged with this keyword
Number of Edges in 3-Connected Graphs with Cyclic Neighborhoods
Chernyshev, Rauch and Rautenbach [Discrete Math., 2025] introduce forest cuts, i.e., vertex separators that induce a forest. They conjecture that, similar to a result by Chen and Yu [Discrete Math., 2002], every $n$-vertex graph with less than $3n-6$ edges has a forest cut. As an intermediate goal they ask how many edges an $n$-vertex $3$-connected graph must have such that the neighborhood of every vertex contains a cycle. Li, Tang and Zhan [arXiv, 2024] resolve this problem by showing that every such graph has at least $15n/8$ edges, while there are examples of such graphs with exactly $15n/8$ edges. We give a much shorter proof for this.
Odd-Ramsey numbers of Hamilton cycles
The odd-Ramsey number $r_{\text odd}(n,H)$ of a graph $H$, as introduced by Alon in his work on graph-codes, is the minimum number of colours needed to edge-colour $K_n$ so that every copy of $H$ intersects some colour class in an odd number of edges. In this paper, we determine the odd-Ramsey number of Hamilton cycles up to a small multiplicative factor, proving that $r_{\text odd}(n,C_n) = Θ(\sqrt{n})$. Our upper bound follows from an explicit finite-field construction, while the matching lower bound uses a combinatorial framework based on parity switches. We also initiate the study of odd-Ramsey numbers of Hamilton cycles in Dirac graphs, demonstrating that a small increase in the minimum degree beyond $n/2$ forces nontrivial odd-Ramsey numbers.
Commuting graphs of inverse semigroups and completely regular semigroups
The general ideal of this paper is to answer the following question: given a numerical property of commuting graphs, a class of semigroups $\mathcal{C}$ and $n\in\mathbb{N}$, is it possible to find a semigroup in $\mathcal{C}$ such that the chosen property is equal to $n$? We study this question for the classes of Clifford semigroups, inverse semigroups and completely regular semigroups. Moreover, the properties of commuting graphs we consider are the girth, clique number, chromatic number and knit degree.
Effective Resistance in Simplicial Complexes as Bilinear Forms: Generalizations and Properties
The concept of effective resistance, originally introduced in electrical circuit theory, has been extended to the setting of graphs by interpreting each edge as a resistor. In this context, the effective resistance between two vertices quantifies the total opposition to current flow when a unit current is injected at one vertex and extracted at the other. Beyond its physical interpretation, the effective resistance encodes rich structural and geometric information about the underlying graph: it defines a metric on the vertex set, relates to the topology of the graph through Foster's theorem, and determines the probability of an edge appearing in a random spanning tree. Generalizations of effective resistance to simplicial complexes have been proposed in several forms, often formulated as matrix products of standard operators associated with the complex.
In this paper, we present a twofold generalization of the effective resistance. First, we introduce a novel, basis-independent bilinear form, derived from an algebraic reinterpretation of circuit theory, that extends the classical effective resistance from graphs. Second, we extend this bilinear form to simplices, chains, and cochains within simplicial complexes. This framework subsumes and unifies all existing matrix-based formulations of effective resistance. Moreover, we establish higher-order analogues of several fundamental properties known in the graph case: (i) we prove that effective resistance induces a pseudometric on the space of chains and a metric on the space of cycles, and (ii) we provide a generalization of Foster's Theorem to simplicial complexes.
Vertex-transitive graphs with uniformly bisecting quasi-geodesics
Suppose that $X$ is an infinite, connected, locally finite, quasi-transitive graph with the property that every bi-infinite quasi-geodesic uniformly coarsely separates $X$ into exactly two deep pieces. We show that such an $X$ is quasi-isometric to either the Euclidean plane or the hyperbolic plane. In particular, if $X$ is a Cayley graph of a finitely generated group $G$ with the above property, then $G$ is a virtual surface group. This can be interpreted as an extension of the well-known fact that a hyperbolic group with circular boundary is virtually Fuchsian.
Our theorem positively resolves Problem 14.98 of the Kourovka Notebook, posed by V. A. Churkin in 1999. The proof uses an isoperimetric inequality of Varopoulos to show that if such a graph has the above property, then either it is hyperbolic or has quadratic growth.
Four plane unit vectors generate a $3$-colorable graph
We show that given an arbitrary set of four plane unit vectors $v_1, v_2, v_3, v_4$, the Cayley graph generated by $\{\pm v_1, \pm v_2, \pm v_3, \pm v_4\}$ is always $3$-colorable. Indeed, we show that this is a specific case of a much more general result wherein we determine the chromatic number of an arbitrary abelian Cayley graph generated by a set of four elements and their negatives, subject to the constraint that the group of relations between those elements has rank no more than $2$.
The tropical galaxy of a Laman graph
A Laman graph $G$ is a minimally rigid graph in dimension two, and its realization number is its number of distinct embeddings with fixed generic edge lengths. While conjectured to grow exponentially in the number of vertices of $G$, the best proven lower bound is merely $2$. Motivated by the fact that the realization number can be expressed as a tropical intersection product involving $\mathrm{Trop}(G)$, the Bergman fan of the graphic matroid of $G$, and the fact that stars of $\mathrm{Trop}(G)$ naturally lead to lower bounds thereof, we introduce the tropical galaxy of $G$ together with a galactic pairing thereon. We study structural properties of this pairing, such as under which conditions it is non-trivially subadditive, and connect it being non-zero to arboreal pairs. We also present a software package for working with tropical galaxies.
On Wegner's 8-Coloring Theorem for Planar Graphs of Maximum Degree Three
We provide a simplified proof of the following special case of Wegner's conjecture: every planar graph of maximum degree at most three admits a distance-2 coloring with at most eight colors. Our main contribution is significant simplification of the most technically challenging part of Wegner's proof: the case involving the removal of a 5-cycle.
Characterizing the largest commutative (full and partial) transformation semigroups of certain types
Let $X$ be a finite set. Let $\mathcal{T}(X)$ be the transformation semigroup on $X$ and let $\mathcal{P}(X)$ be the partial transformation semigroup on $X$. This paper is a contribution to the problem of characterizing the largest commutative subsemigroups of $\mathcal{T}(X)$ (respectively, $\mathcal{P}(X)$). In the process of looking for these semigroups, we also characterize the largest commutative subsemigroups of idempotents of $\mathcal{T}(X)$ (respectively, $\mathcal{P}(X)$); as well as the largest commutative subsemigroups of $\mathcal{T}(X)$ (respectively, $\mathcal{P}(X)$) that contain a unique idempotent. We also provide an alternative way to determine the largest commutative nilpotent subsemigroups of $\mathcal{T}(X)$ (which were previously characterized by Cain, Malheiro and the present author); and we describe the largest commutative nilpotent subsemigroups of $\mathcal{P}(X)$.
These results allow us to make conclusions regarding the clique numbers of the commuting graphs of $\mathcal{T}(X)$ and of $\mathcal{P}(X)$. We also determine their girths and knit degrees.
A recursion for the twist polynomial of a one-point join of normal binary delta-matroids
The partial-dual Euler-genus polynomial was defined by Gross, Mansour, and Tucker to analyze how the Euler genus of a ribbon graph changes under partial duality, a generalization of Euler-Poincaré duality introduced by Chmutov. The twist polynomial defined by Yan and Jin extends the partial-dual Euler-genus polynomial to a polynomial on delta-matroids. We derive a recursion formula for the twist polynomial of a one-point join of looped simple graphs -- equivalently, normal, binary delta-matroids. Our recursion applies to the partial-dual Euler-genus polynomial as a special case, where it generalizes a recursion obtained by Yan and Jin. We obtain relations for the twist polynomial on looped simple graphs evaluated at $-1/2$ and for the twist polynomial of a graph with a single looped vertex. A characterization is given for the feasible sets of the delta-matroid associated to a one-point join of looped simple graphs. We show that Yan and Jin's recursion extends to the twist polynomial on delta-matroids.
Minimal crossing diagrams of spatial graphs
We prove that all $1$-vertex spatial graphs with adequate diagrams have minimal crossing number, and that spatial graph diagrams obtained by replacing vertices and edges of a planar embedded graph by minimal crossing link or spatial graph diagrams have minimal crossing number. Finally, we give an example in answer to a question of Adams et al. about minimal crossing diagrams of rigid vertex graphs.
Theory and algorithms for clusters of cycles in graphs for material networks
Analysis of complex networks, particularly material networks such as the carbon skeleton of hydrocarbons generated in hydrocarbon pyrolysis in carbon-rich systems, is essential for effectively describing, modeling, and predicting their features. An important and the most challenging part of this analysis is the extraction and effective description of cycles, when many of them coalesce into complex clusters. A deterministic minimum cycle basis (MCB) is generally non-unique and biased to the vertex enumeration. The union of all MCBs, called the set of relevant cycles, is unique, but may grow exponentially with the graph size. To resolve these issues, we propose a method to sample an MCB uniformly at random. The output MCB is statistically well-defined, and its size is proportional to the number of edges. We review and advance the theory of graph cycles from previous works of Vismara, Gleiss et al., and Kolodzik et al. In particular, we utilize the polyhedron-interchangeability (pi) and short loop-interchangeability (sli) classes to partition the relevant cycles. We introduce a postprocessing step forcing pairwise intersections of relevant cycles to consist of a single path. This permits the definition of a dual graph whose nodes are cycles and edges connect pairs of intersecting cycles. The pi classes identify building blocks for crystalline structures. The sli classes group together sets of large redundant cycles. We present the application to an amorphous hydrocarbon network, where we (i) theorize how the number of relevant cycles may explode with system size and (ii) observe small polyhedral structures related to diamond.
Proof of a conjectured spectral upper bound on the chromatic number of a graph
Let $G$ be a simple graph on $n$ vertices and $m$ edges with chromatic number $χ$, and let $λ_n$ denote the least adjacency eigenvalue. Solving a conjecture of Fan, Yu and Wang~[Electron. J. Combin., 2012], we prove that when $3\le χ\le n-1$, the chromatic number satisfies the following upper bound: $$ χ\le \left(\frac{n}{2}+1+λ_n\right) + \sqrt{\left(\frac{n}{2}+1+λ_n\right)^{2}-4(λ_n+1)\left(λ_n+\frac{n}{2}\right)}, $$ with equality if and only if $G \cong \left(K_{\fracχ{2}}\cup\tfrac{n-χ}{2}K_1\right) \vee \left(K_{\fracχ{2}}\cup\tfrac{n-χ}{2}K_1\right)$, where both $n$ and $χ$ are even. This extends the validity of the Fan--Yu--Wang bound from the range $3\le χ\le \frac{n}{2}$ to the full range $3\le χ\le n-1$.
We also compare this bound with the well-known bound due to Wilf that $χ\le 1 + λ_1$, where $λ_1$ denotes the largest eigenvalue. In particular we show that while Wilf's bound is an upper bound for some parameters larger than $χ$, this bound using $λ_n$ is not an upper bound for these parameters. We conclude with a similar conjectured upper bound for $χ(G)$, which uses $m$ in place of $n$.
Every $2$-connected $[4, 2]$-graph of order at least seven contains a pancyclic edge
A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ An edge $e$ in a graph $G$ of order $n$ is called pancyclic if for every integer $k$ with $3\le k\le n,$ $e$ lies in a $k$-cycle. We prove that every $2$-connected $[4, 2]$-graph of order at least seven contains a pancyclic edge. This strengthens an existing result. We also determine the minimum size of a $[4, 2]$-graph of a given order and show that any $[4, 2]$-graph of order at least eight is not uniquely hamiltonian.
The Homomorphism Submodule Graph
Let $M$ be a left $R$-module. We define the \emph{homomorphism submodule graph} $Γ_{\mathrm{Hom}}(M)$ as the simple graph whose vertices are the proper submodules of $M$, with an edge between distinct vertices $N_1$ and $N_2$ if and only if $\mathrm{Hom}_R(N_1, M/N_2) \ne 0$ or $\mathrm{Hom}_R(N_2, M/N_1) \ne 0$. This graph encodes homological information about $M$ and reflects its internal structure. We compute $Γ_{\mathrm{Hom}}(M)$ for semisimple and uniserial modules, establish precise correspondences between graph-theoretic and algebraic properties, and prove that for modules over Artinian local rings, the isomorphism type of $M$ is determined by $Γ_{\mathrm{Hom}}(M)$. We also show that over commutative rings with identity, the graph is always chordal, and we relate its spectral radius to composition length in natural families.
A Bipartite Graph Linking Units and Zero-Divisors
Let $R$ be a commutative ring with identity. We introduce a novel bipartite graph $\mathcal{B}(R)$, the \textit{bipartite zero-divisor--unit graph}, whose vertex set is the disjoint union of the nonzero zero-divisors $Z(R)^*$ and the unit group $U(R)$. A vertex $z \in Z(R)^*$ is adjacent to $u \in U(R)$ if and only if $z + u \in Z(R)$. This construction provides an \textit{additive} counterpart to the well-established \textit{multiplicative} zero-divisor graphs. We investigate fundamental graph-theoretic properties of $\mathcal{B}(R)$, including connectedness, diameter, girth, chromatic number, and planarity. Explicit descriptions are given for rings such as $\mathbb{Z}_n$, finite products of fields, and local rings. Our results are sharpest for \textit{finite reduced rings}, where $\mathcal{B}(R)$ yields a graphical characterization of fields and serves as a complete invariant: $\mathcal{B}(R) \cong \mathcal{B}(S)$ implies $R \cong S$ for finite reduced rings $R$ and $S$. The graph also reveals structural distinctions between reduced and non-reduced rings, underscoring its utility in the interplay between ring-theoretic and combinatorial properties.
The Connected Bipartite Turán Problem for Long Cycles and Paths
Caro, Patkós, and Tuza initiated a systematic study of the bipartite Turán number for trees, and in particular asked for the extremal number of edges in connected bipartite graphs with prescribed color-class sizes that contain no paths of given lengths. In this paper, we determine these numbers exactly and describe all corresponding extremal configurations. Our approach first establishes a more general result for long cycles: we determine the exact structure of all 2-connected bipartite graphs with no cycle of length at least a given constant. The proof combines Kopylov's method for long cycles with a strengthened version of Jackson's classical lemma, in which every extremal configuration is characterized.
To highlight the applicability of our results, we conclude with applications yielding concise proofs of classical theorems on bipartite Turán numbers, notably rederiving the results of Gyárfás, Rousseau, and Schelp for paths and Jackson for long cycles.
Inferring DAGs and Phylogenetic Networks from Least Common Ancestors
A least common ancestor (LCA) of two leaves in a directed acyclic graph (DAG) is a vertex that is an ancestor of both leaves and has no proper descendant that is also their common ancestor. LCAs capture hierarchical relationships in rooted trees and, more generally, in DAGs. In 1981, Aho et al. introduced the problem of determining whether a set of pairwise LCA constraints on a set $X$, of the form $(i,j)<(k,l)$ with $i,j,k,l\in X$, can be realized by a rooted tree whose leaf set is $X$, such that whenever $(i,j)<(k,l)$, the LCA of $i,j$ is a descendant of that of $k,l$. They also presented a polynomial-time algorithm, BUILD, to solve this problem. However, many such constraint systems cannot be realized by any tree, prompting the question of whether they can be realized by a more general DAG. We extend Aho et al.'s framework from trees to DAGs, providing both theoretical and algorithmic foundations for reasoning about LCA constraints in this broader setting. Given a collection $R$ of LCA constraints, we define its $+$-closure $R^+$, capturing additional LCA relations implied by $R$. Using $R^+$, we construct a canonical DAG $G_R$ and prove that $R$ is DAG-realizable if and only if it is realized by $G_R$. We further adapt this construction to phylogenetic networks, defining a canonical network $N_R$ and prove that it is regular, i.e., it coincides with the Hasse diagram of its underlying set system. Finally, we show that for any DAG-realizable $R$, its classical closure - comprising all LCA constraints that hold in every DAG realizing $R$ - coincides with its $+$-closure. All constructions are computable in polynomial time, and we provide explicit algorithms for each.
Graph Classes Closed under Self-intersection
A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a disjoint union of trees with exactly one vertex of degree 3 and paths. This dichotomy also characterizes exactly those monotone graph classes for which many NP-hard algorithmic problems admit polynomial-time algorithms. These algorithmic dichotomies, however, do not extend to the universe of all hereditary classes, which are classes closed under taking induced subgraphs. This leads to the natural question of whether we can extend known algorithmic dichotomies for monotone classes to larger families of hereditary classes. We give an affirmative answer to this question by considering the family of hereditary graph classes that are closed under self-intersection, which is known to be located strictly between the monotone and hereditary classes. We prove a new structural characterization of graphs in self-intersection-closed classes excluding a tripod. We use our characterization to give a complete dichotomy of Maximum Independent Set, and its weighted variant for self-intersection-closed classes defined by finitely many obstructions: these problems are in P if the class excludes a tripod and NP-hard otherwise. This generalizes several known results on Maximum Independent Set. We also use it to obtain dichotomies for Maximum Induced Matching on self-intersection-closed classes of bipartite graphs defined by finitely many obstructions. Similarly, we obtain dichotomies for Satisfiability and Counting Satisfiability on self-intersection-closed classes of (bipartite) incidence graphs defined by finitely many obstructions, and for boundedness of clique-width for self-intersection-closed classes of bipartite graphs defined by finitely many obstructions.
On minimal k-factor-critical planar graphs
A graph of order $n$ is said to be \emph{$k$-factor-critical} ($0\leq k <n$) if the removal of any $k$ vertices results in a graph with a perfect matching.
A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$.
Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$ in 1998. In this paper, we confirm the conjecture for planar graphs.