graph
34516 papers tagged with this keyword
Laplacian Spectrum of cozero-divisor graphs of commutative polynomial rings
The cozero-divisor graph of a commutative ring $R$, denoted $Γ'(R)$, is the graph whose vertices are the non-zero and non-unit elements of $R$, with two distinct vertices $x$ and $y$ adjacent if and only if $x \notin Ry$ and $y \notin Rx$. This paper studies the structural properties of $Γ'(R)$ for the polynomial ring $R = \Z_n[x]/(x^2)$, where $n$ has the prime power decomposition of $p_1^{a_1}p_2^{a_2}\cdots p_q^{a_q}$. We provide a complete structure of the cozero-divisor graph for all $n$ up to cubic prime power decompositions. Furthermore, we determine the Laplacian spectrum of these graphs. Finally, we discuss the connectivity of such a cozero-divisor graph of the polynomial rings for any $n$. Our work provides the first comprehensive spectral analysis of cozero-divisor graphs for non-local polynomial rings and establishes powerful new techniques for bridging commutative algebra with spectral graph theory.
Large Components and Trees of Random Mappings
Let $\mathcal{T}_n$ be the set of all mappings $T:[n]\to[n]$, where $[n]=\{1,2,\ldots,n\}$. The corresponding graph $G_T$ of $T$, called a functional digraph, is a union of disjoint connected components. Each component is a directed cycle of rooted labeled trees. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random from the set $\mathcal{T}_n$. The components and trees of $G_T$ are distinguished by their size. In this paper, we compute the limiting conditional probability ($n\to\infty$) that a vertex from the largest component of the random graph $G_T$, chosen uniformly at random from $[n]$, belongs to its $s$-th largest tree, where $s\ge 1$ is a fixed integer. This limit can be also viewed as an approximation of the probability that the $s$-th largest tree of $G_T$ is a subgraph of its largest component, which is a solution of a problem suggested by Mutafchiev and Finch (2024).
Upper Bound for Permanent Saturation of Metric Graphs using Interval Exchange Transformations
We refine upper bounds on the permanent saturation time of metric graphs using interval exchange transformations (IETs). Earlier results gave bounds under incommensurable edge lengths, we improve and generalize them by using the ergodic and minimal properties of IETs. By associating an IET to a metric graph, we show that the induced interval dynamics are ergodic and minimal, which ensures uniform coverage over time. Our main theorem gives a sharper upper bound for the saturation time in terms of edge lengths and structural constants of the graph. We also define the Lyapunov spectrum of the Kontsevich-Zorich cocycle for these maps and relate it to the system's dynamics. We validate our theoretical findings through simulations on specific graph configurations, such as the complete graph $K_4$ and star graphs, confirming the accuracy of our estimates. These results strengthen existing estimates and provide tools for studying connectivity at the interface of graph theory and dynamical systems.
Hamiltonicity of Bell and Stirling Colour Graphs
For a graph $G$ and a positive integer $k$, the $k$-Bell colour graph of $G$ is the graph whose vertices are the partitions of $V$ into at most $k$ independent sets, with two of these being adjacent if there exists a vertex $x$ such that the partitions are identical when restricted to $V - \{x\}$. The $k$-Stirling Colour graph of $G$ is defined similarly, but for partitions into exactly $k$ independent sets.
We show that every graph on $n$ vertices, except $K_n$ and $K_n - e$, has a Hamiltonian $n$-Bell colour graph, and this result is best possible. It is also shown that, for $k \geq 4$, the $k$-Stirling colour graph of a tree with at least $k+1$ vertices is Hamiltonian, and the 3-Bell colour graph of a tree with at least 3 vertices is Hamiltonian.
Fast computation of the first discrete homology group
We present a new algorithm for computing the first discrete homology group of a graph. By testing the algorithm on different data sets of random graphs, we find that it significantly outperforms other known algorithms.
Time to Cycle
Consider the random process that starts with $n$ vertices and no edges, where the edges of $K_n$ are added one at a time in a uniformly chosen random order $e_1, e_2,\ldots, e_{\binom{n}{2}}$. Let $T$ be the earliest time at which $e_1$ belongs to a cycle in this evolving random graph. By solving the appropriate graph enumeration problem we show that $\mathbb{E}[T]=n$. This fact turns out to be an instance of a much more general phenomenon and we are able to extend this theorem to all graphs and even to every matroid.
On the minimal forts of trees
In 2008, the zero forcing number of a graph was shown to be an upper bound on the graph's maximum nullity. In 2018, the concept of forts was introduced to provide a set covering characterization of zero forcing sets. Since then, forts have been integrated into integer programming models for zero forcing and have been used to yield bounds on the zero forcing number. In 2025, researchers explored the combinatorial question of how many minimal forts a graph can have. They demonstrated that the number of minimal forts in a graph with an order of at least six is strictly less than Sperner's bound. Moreover, the authors derived an explicit formula for the number of minimal forts in path, cycle, and spider graphs. For example, the number of minimal forts in a path graph aligns with the Padovan sequence, and thus exhibits exponential growth. In this article, we demonstrate that no tree with an order of $n$ can have fewer than $n/3$ minimal forts. Additionally, we provide a characterization of the trees that possess exactly $n/3$ minimal forts. We conjecture that the $n/3$ bound is valid for all graphs of order $n$. We present experimental evidence supporting this conjecture and prove that it holds for all Eulerian graphs.
An equitable partition for the distance-regular graph of the bilinear forms
We consider a type of distance-regular graph $Γ=(X, \mathcal R)$ called a bilinear forms graph. We assume that the diameter $D$ of $Γ$ is at least $3$. Fix adjacent vertices $x,y \in X$. In our first main result, we introduce an equitable partition of $X$ that has $6D-2$ subsets and the following feature: for every subset in the equitable partition, the vertices in the subset are equidistant to $x$ and equidistant to $y$. This equitable partition is called the $(x,y)$-partition of $X$. By definition, the subconstituent algebra $T=T(x)$ is generated by the Bose-Mesner algebra of $Γ$ and the dual Bose-Mesner algebra of $Γ$ with respect to $x$. As we will see, for the $(x,y)$-partition of $X$ the characteristic vectors of the subsets form a basis for a $T$-module $U=U(x,y)$. In our second main result, we decompose $U$ into an orthogonal direct sum of irreducible $T$-modules. This sum has five summands: the primary $T$-module and four irreducible $T$-modules that have endpoint one.
We show that every irreducible $T$-module with endpoint one is isomorphic to exactly one of the nonprimary summands.
Ore's Theorem for rainbow Hamiltonian-connected graphs
Let $G = (G_1, G_2, \ldots, G_m)$ be a collection of $m$ graphs on a common vertex set $V$. For a graph $H$ with vertices in $V$, we say that $G$ contains a rainbow $H$ if there is an injection $c: E(H) \to [m]$ such that for every edge $e \in E(H)$, we have $e \in E(G_{c(e)})$.
In this paper, we show that if $G = (G_1, \ldots, G_n)$ is a collection of graphs on $n$ vertices such that for every $i \in [n]$, $d_{G_i}(u) + d_{G_i}(v) \geq n$ whenever $uv \notin E(G_i)$, then either $G$ contains rainbow Hamiltonian paths between every pair of vertices, or $G$ contains a rainbow Hamiltonian cycle. Moreover, we prove a stronger version in which we may also embed prescribed rainbow linear forests into the Hamiltonian paths.
Solving Admissibility for the Spatial X-Ray Transform On the Two Element Field
The admissibility problem in integral geometry asks for which collections of affine subspaces the Radon transform remains injective. In the discrete setting, this becomes a purely combinatorial question about recovering a function on a finite vector space from its sums over a prescribed family of affine subspaces. In this paper, we study the spatial X-ray transform (line transform) over the finite vector spaces $\mathbb{Z}_{2}^{n}$ and give a complete structural and enumerative description of admissible line complexes in $\mathbb{Z}_{2}^{4}$. We prove that any admissible line complex in $\mathbb{Z}_{2}^{4}$ can be obtained by taking a disjoint union of one or more odd cycles and attaching trees to the cycle vertices. Using this structural description, we carry out a systematic case-by-case enumeration of all admissible complexes in $\mathbb{Z}_{2}^{4}$ and derive an exact total count. We then generalize our approach to an algorithm that applies to $\mathbb{Z}_{2}^{n}$ for arbitrary $n$, and we then implement it to obtain the total number of admissible complexes in $\mathbb{Z}_{2}^{5}$. Our results extend previous small-dimensional classifications and provide an algorithmic framework for studying admissibility in higher dimensions. Beyond their intrinsic combinatorial interest, these structures model discrete sampling schemes for tomographic imaging, and they suggest further connections between admissibility, incidence matrices, and spectral properties of the associated graphs.
On Well-VE-Dominated Graphs
Given a graph G=(V, E), a vertex is said to ve-dominate an edge if it is either incident with the edge or adjacent to one of its endpoints. A set of vertices is a ve-dominating set if it ve-dominates every edge of the graph. We introduce the class of well-ve-dominated graphs, defined as graphs in which all minimal ve-dominating sets have the same cardinality. After establishing several general structural properties of well-ve-dominated graphs, we show that recognizing whether a graph belongs to this class is co--NP--complete, highlighting the computational difficulty of the problem. Our main result is a complete structural characterization of well-ve-dominated trees, which yields a simple linear-time recognition algorithm and a constructive description of all trees in this class.
Skew-symmetrizable cluster algebras from surfaces and symmetric quivers
We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $σ$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to $σ$-orbits of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $σ$-invariant triangulations. We establish a ring homomorphism from $\mathcal{A}$ to a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula for any $σ$-orbit $[γ]$ in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to any seed of $\mathcal{A}$, such that non-initial cluster variables bijectively correspond to orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map from the category of orthogonal $A$-modules to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.
Mutual-visibility Coloring of Graphs
The mutual-visibility chromatic number of a graph $G$ is the smallest number of colors needed to color the vertices of $G$ such that each color class is a mutual-visibility set. In this paper, we prove that determining the mutual-visibility chromatic number of a graph is NP-complete even when restricted to the class of graphs having diameter four and mutual-visibility chromatic number two. We further determine the exact value of the mutual-visibility chromatic number for glued binary trees and glued $t$-ary trees.
Forbidden Induced Subgraph Characterization of Word-Representable Split Graphs
The class of word-representable graphs, introduced in connection with the study of the Perkins semigroup by Kitaev and Seif, has attracted significant attention in combinatorics and theoretical computer science due to its deep connections with graph orientations and combinatorics on words. A graph is word-representable if and only if it admits a semi-transitive orientation, which is an acyclic orientation such that for any directed path $v_0 \rightarrow v_1 \rightarrow \cdots \rightarrow v_m$ with $m \ge 2$, either there is no arc between $v_0$ and $v_m$, or, for all $1 \le i < j \le m$, there exists an arc from $v_i$ to $v_j$. Split graphs, whose vertex set can be partitioned into a clique and an independent set, constitute a natural yet nontrivial subclass for studying word-representability. However, not all split graphs are semi-transitive, and the characterization of minimal forbidden induced subgraphs for semi-transitive split graphs remains an open problem.
In this paper, we introduce a new matrix property called the $I$-circular property, which is closely related to the well-known $D$-circular property introduced by Safe. The $I$-circular property requires that both the rows of a matrix and the pairwise intersections of rows form circular intervals under some linear ordering of the columns. Using this property, we establish a direct connection between the structure of semi-transitive split graphs and the matrix representation of their adjacency relationships. Our main result is a complete forbidden submatrix characterization of the $I$-circular property, which in turn provides a characterization for semi-transitive split graphs in terms of minimal forbidden induced subgraphs.
Forbidden Induced Subgraph Characterization of Word-Representable Co-bipartite Graphs
A graph $G$ with vertex set $V(G)$ and edge set $E(G)$ is said to be word-representable if there exists a word $w$ over the alphabet $V(G)$ such that, for any two distinct letters $x,y \in V(G)$, the letters $x$ and $y$ alternate in $w$ if and only if $(x,y) \in E(G)$. Equivalently, a graph is word-representable if and only if it admits a semi-transitive orientation, that is, an acyclic orientation in which, for every directed path $v_0 \rightarrow v_1 \rightarrow \cdots \rightarrow v_m$ with $m \ge 2$, either there is no arc between $v_0$ and $v_m$, or, for all $1 \le i < j \le m$, there exists an arc from $v_i$ to $v_j$. In this work, we provide a comprehensive structural and algorithmic characterization of word-representable co-bipartite graphs, a class of graphs whose vertex set can be partitioned into two cliques.
This work unifies graph-theoretic and matrix-theoretic perspectives. We first establish that a co-bipartite graph is a circle graph if and only if it is a permutation graph, thereby deriving a minimal forbidden induced subgraph characterization for co-bipartite circle graphs. The central contribution then connects semi-transitivity with the circularly compatible ones property of binary matrices. In addition to the structural characterization, the paper introduces a linear-time recognition algorithm for semi-transitive co-bipartite graphs, utilizing Safe's matrix recognition framework.
Vertex-edge domination on subclasses of bipartite graphs
Given a simple undirected graph $G = (V, E)$, the open neighbourhood of a vertex $v \in V$ is defined as $N_G(v) = \{u \in V \mid uv \in E\}$, and the closed neighbourhood as $N_G[v] = N_G(v) \cup \{v\}$. A subset $D \subseteq V$ is called a vertex-edge dominating set if, for every edge $uv \in E$, at least one vertex from $D$ appears in $N_G[u] \cup N_G[v]$; that is, $\vert (N_G[u] \cup N_G[v]) \cap D\vert \geq 1$. Intuitively, a vertex-edge dominating set ensures that every edge, as well as all edges incident to either of its endpoints, is dominated by at least one vertex from the set. The \textsc{Min-VEDS} problem asks for a vertex-edge dominating set of minimum size in a given graph. This problem is known to be NP-complete even for bipartite graphs. In this paper, we strengthen this hardness result by proving that the problem remains NP-complete for two specific subclasses of bipartite graphs: star-convex and comb-convex bipartite graphs. For a graph $G$ on $n$ vertices, it is known that the \textsc{Min-VEDS} problem cannot be approximated within a factor of $(1 - ε)\ln |V|$ for any $ε> 0$, unless $\text{NP} \subseteq \text{DTIME}(|V|^{O(\log \log |V|)})$. We also prove that this inapproximability result holds even for star-convex and comb-convex bipartite graphs. On the positive side, we present a polynomial-time algorithm for computing a minimum vertex-edge dominating set in convex bipartite graphs. A polynomial-time algorithm for this graph class was also proposed by B{ü}y{ü}k{ç}olak et al.~\cite{buyukccolak2025linear}, but we show that their algorithm has certain flaws by providing instances where it fails to produce an optimal solution. We address this issue by presenting a modified algorithm that correctly computes an optimal solution.
Maximum number of spanning trees and connectivity: Graphs with a fixed minimum degree and bipartite graphs
The number of spanning trees in a graph $G$ is the total number of distinct spanning subgraphs of $G$ that are trees. In this paper we characterize the unique graph with a prescribed vertex (resp. edge) connectivity, minimum degree and order that attains the maximum number of spanning trees. Moreover, all the bipartite graphs are determined with a given vertex (resp. edge) connectivity and order maximizing the number of spanning trees.
Dominated balanced separators in wheel-induced-minor-free graphs
Gartland and Lokshtanov conjectured that every graph that excludes some planar graph as an induced minor has a balanced separator, that is, a separator whose deletion leaves every component with no more than half of the vertices of the graph, which is dominated by a bounded number of vertices. We confirm this conjecture for excluding any fixed wheel, that is, a cycle together with a universal vertex, as an induced minor.
Three-coloring triangle-free graphs without long forbidden paths
A graph $G$ is $k$-vertex-critical if $χ(G)=k$, but $χ(G')<k$ for every proper induced subgraph $G'$ of $G$. For a family of graphs $\mathcal{F}$, $G$ is $\mathcal{F}$-free if no graph $F \in \mathcal{F}$ is an induced subgraph of $G$. We show that there are exactly three 4-vertex-critical $\{P_7,C_3\}$-free graphs containing an induced $C_7$, thereby settling the first of the two cases of a conjecture by Goedgebeur and Schaudt [J.~Graph Theory, 87:188--207, 2018]. Moreover, we show that all $\{P_5+P_1,C_3\}$-free graphs are $3$-colorable and by combining our result with known results from the literature, we completely characterize the maximum chromatic number of $\{F,C_3\}$-free graphs if $F$ is a six-vertex induced subgraph of $P_7$. Finally, we construct an infinite family of $4$-vertex-critical $\{4K_2,C_3\}$-free graphs. These graphs are also $\{P_{11},C_3\}$-free and this is the first value of $t$ for which an infinite family of $4$-vertex-critical $\{P_{t},C_3\}$-free graphs is known.
New Sidorenko-type inequalities in tournaments
As a directed analog of Sidorenko's conjecture in extremal graph theory, Fox, Himwich, Zhou, and the second author defined an oriented graph $H$ to be tournament Sidorenko (anti-Sidorenko) if the random tournament asymptotically minimizes (maximizes) the number of copies of $H$ among all tournaments. We prove new inequalities of this form for oriented trees and cycles, considering both local and global notions of the Sidorenko property.
We make progress on a conjecture of the aforementioned authors that every tree has an anti-Sidorenko direction, and give a characterization of short paths. For long paths we show that orientations are split symmetrically between being locally Sidorenko and anti-Sidorenko, yet almost all orientations are not globally Sidorenko. Finally, we give algorithms characterizing the local Sidorenko status of paths and cycles when the number of vertices is not divisible by four.