1. Introduction
In fields like computer networking, telecommunications, and transportation, spanning trees are essential for establishing the bare minimum of connections required to connect every component in a network or system. This is necessary for network stability, redundancy, and efficiency. By allowing only one active path for data and offering backup paths for fault tolerance, spanning trees keep networks from experiencing loops and broadcast storms [
1,
2,
3].
Additionally, counting the number of spanning trees is done because it helps in designing efficient routing algorithms and network infrastructure, provides a sparse subgraph that reflects graph properties, and is a fundamental problem in combinatorics and graph theory with applications in physics and engineering [
4,
5].
A spanning tree is a minimal subset of edges that connects every vertex in a finite connected graph
, or a maximal subset of edges that does not contain any cycles. The history of counting the number of spanning trees
in a graph
began in 1842 when the physicist Kirchhoff [
6] proposed the matrix tree theorem. This was based on the determinants of a particular matrix obtained from the Laplacian matrix,
, which is defined by the difference between the degree matrix
and adjacency matrix
. Here,
is a diagonal matrix,
, corresponding to a graph
with
vertices that has a vertex degree of
in the ith position of graph
, and
is a matrix with rows and columns labeled by graph vertices, with a
or
in position
according to whether
and
are adjacent or not. That is,
where
denotes the degree of vertex
.
The matrix tree theorem states that all the cofactors of are equal and their common value is equal to the complexity .
For some distinctive categories of graphs, there exist simple closed formulas that make it much easier to enumerate the number of corresponding spanning trees, especially when these numbers are very large. Cayley [
7] showed that a complete graph
has
, spanning trees. Another result is
, where
is the complete bipartite graph with bipartite sets that have
and
vertices, respectively. This is widely recognized as in, e.g., [
8]. Sedlacek [
9] achieved another result by deriving a formula for the wheel on
vertices,
. He demonstrated that, for
,
.
Additionally, Sedlacek [
10] later deduced a formula for the number of spanning trees in a Mobius ladder
for
.
Moreover, Boesch and Bogdanowicz [
11] utilized the matrix tree theorem to derive the number of spanning trees for a prism graph
with
vertices:
for
Numerous closed formulas for determining and optimizing the number of spanning trees for specific graph families have recently been published using the matrix tree theorem [
12,
13,
14].
There is an additional way to calculate
. Assume that
represent the eigenvalues of the matrix
of a graph
, which has
vertices. “Chelnokov” and “Kelmans” [
15] have deduced that
A popular technique for determining complexity is the deletion–contraction method. When
is any edge in a graph
, its complexity
is equal to
, where
is the deletion of
and
is the contraction of
in
. In this way, the complexity of a graph can be determined recursively [
16,
17].
There is also another iterative method for calculating the number of spanning trees, which is to simplify the graph and observe the changes in the number of weighted spanning trees. The electrically equivalent transformation method applies graph transformations, such as combining serial edges, merging parallel edges, and converting between triangle (Δ) and star (Y) configurations, by utilizing the connection between electrical networks—where conductance is represented by edge weights—and the counting spanning tree problem.
By applying the theory of electrical networks, Yilun Shang [
18] obtained a closed-form formula for the enumeration of spanning trees in the subdivided-line graph of a simple connected graph.
Recently, Asiri and Daoud [
19,
20] derived some explicit formulas for certain pyramid graphs based on some nonahedral graphs and Fritsch graphs using this method.
3. Main Results
Extracting a new structure from an existing one is always the aim in mathematics. This is also true in the realm of graphs, where many new graphs can be created from a given set of graphs. In this work, we define several new graph families created based on the star graph, , and then we calculate the number of spanning trees for these graphs.
Counting the number of spanning trees in graphs formed from star graphs is essential for assessing network dependability. These computations are essential for chemical isomer stability, network communication path optimization, and statistical physics (e.g., self-organized criticality in sand-pile models), because they evaluate redundancy and fault tolerance.
Definition 1. For the cog star graph, or , is the graph that is produced by combining the star graph with a collection of vertices . This is done so that for , vertex is adjacent to vertices and , while vertex is adjacent to vertices and , as illustrated in Figure 1. Obviously, the cog star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 1. For , we have .
Proof. From the matrix tree theorem, we have
Using Lemma (2), we obtain
By applying Lemma (1), we get
The result comes from Equation (4).
Definition 2. For the closed cog star graph, , is a graph that is produced by the union of the cycle graph and the cog star graph , as seen in Figure 2. Obviously, the closed cog star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 2. For , we have
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we get
Using Lemma (1), we obtain
The result comes from Equation (4).
Definition 3. For the cog double-star graph, , is the graph that is produced by combining two star graphs and . This is done so that for , vertex is adjacent to vertices and , while vertex is adjacent to vertices and , as shown in Figure 3. Obviously, the cog double-star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 3. For , we have
Proof. From the matrix tree theorem, we have
Using Lemma (2), we obtain
By applying Lemma (1), we get
The result comes from Equation (4).
Definition 4. The closed cog double-star graph, is a graph that is created by combining the cycle graph and the cog double-star graph, , as illustrated in Figure 4. Obviously, the closed cog double-star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 4. For , we have .
Proof. The matrix tree theorem gives us
Using Lemma (2), we obtain
By using Lemma (1), we arrive at
The result follows from Equation (4).
Definition 5. For , the water wheel graph, , is a graph with vertex set = and edge set = See Figure 5. Obviously, the water wheel graph has order and size , and, hence, for large values of , its average degree is .
Theorem 5. For , we have
Proof. From the matrix tree theorem, we have
Using Lemma (2), we obtain
By applying Lemma (2) once more, we get
By using Lemma (1), we arrive at
The result follows from Equation (4).
Definition 6. For , the closed water wheel graph, , is a graph obtained by adding edges and , , to the water wheel graph . See Figure 6. Obviously, the closed water wheel graph has order and size , and, hence, for large values of , its average degree is .
Theorem 6. For , we have
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (4), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 7. For , the triangulated water wheel graph, , is a graph obtained by adding edges for all to the water wheel graph . See Figure 7. Obviously, the triangulated water wheel graph has order and size , and, hence, for large values of , its average degree is .
Theorem 7. For , we have
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By using Lemma (2), we get
. Thus
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 8. For , the closed triangulated water wheel graph, , is a graph obtained by adding edges and for all to the triangulated water wheel graph . See Figure 8. Obviously, the closed triangulated water wheel graph has order and size , and, hence, for large values of , its average degree is .
Theorem 8. For , we have .
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (4), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 9. The cog wheel star graph, , is a graph composed of a wheel graph and a star such that, for , vertex is adjacent to vertices and . Moreover, every vertex is adjacent to vertex . See Figure 9. Obviously, the cog wheel star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 9. For , we have
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (3), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 10. For the double-cog star graph, or , is a graph that is created by joining a star graph with a vertex set with two sets of vertices, { and { so that for , vertex is adjacent to vertices and , and is adjacent to and . Furthermore, is adjacent to vertices and , is adjacent to and , and for , is adjacent to . See Figure 10. Obviously, the double-cog star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 10. For , we have .
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (3), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 11. For , the closed double-cog star graph, or , is a graph obtained by adding edges and for all to the double-cog star graph . See Figure 11. Obviously, the closed double-cog star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 11. For , we have .
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (3), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 12. For the triangulation double-cog star graph, or , is a graph that is created by joining a star graph with a vertex set with two sets of vertices, {
and {
so that for , vertex is adjacent to vertices and , and is adjacent to and . Furthermore, is adjacent to vertices and , is adjacent to and , and for , is adjacent to and is adjacent to . See Figure 12. Obviously, the triangulated double-cog star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 12. For , we have
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (3), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
Definition 13. For , the closed triangulated double-cog star graph, or , is a graph obtained by adding edges and , for all to the graph. See Figure 13. Obviously, the closed triangulated double-cog star graph has order and size , and, hence, for large values of , its average degree is .
Theorem 13. For , we have .
Proof. From the matrix tree theorem, we have
By applying Lemma (2), we obtain
By applying Lemma (3), we obtain
Using Lemma (1), we obtain
The result follows from Equation (4).
5. Spanning Tree Entropy
The asymptotic entropy of spanning trees in graphs, including those generated from star graphs, is used to measure the structural complexity, reliability, and thermodynamic properties of large, iterative networks. It characterizes how the number of spanning trees grows, serving as a vital index for spanning trees, or “tree entropy,” that represents network reliability.
The spanning tree entropy, which is defined in [
24,
25] as a finite number and an intriguing quantity describing the network structure, may be computed as
There are several different measures of entropy associated with graphs, including:
Standard Spanning Tree Entropy: Frequently employed for scale-free, small-world, and fractal networks, this fundamental metric evaluates the resilience of complicated networks.
Asymptotic Spanning Tree Entropy: This examines how the number of spanning trees increases as the network size () gets closer to infinity.
Uniform Spanning Tree (UST) Entropy: Frequently employed in research on random graphs and lattice models, it is derived from the uniform measure on a graph’s spanning trees.
Spanning Forest/Tree Entropy of Infinite Graphs: Often associated with the dimer problem in statistical physics, it represents the limit of spanning tree measures on huge, finite graphs.
Spanning Connected Unicyclic Subgraph Entropy: This is a specialized metric that determines the entropy of a network’s connected unicyclic subgraphs, or graphs with exactly one cycle.
Residual Entropy Correlation: This studies the relationship between the entropy of spanning trees and the entropy of Eulerian orientations in graphs.
The following are important justifications for utilizing the asymptotic entropy measure, particularly for graphs produced from basic structures like stars:
Network Complexity and Reliability: Since spanning trees are dependable, minimum-connection networks, their asymptotic entropy and count serve as indicators of the robustness of the network.
Physical Interpretation: The frequency of recurrent configurations of Abelian sandpile models, which simulate self-organized criticality, is related to this entropy in statistical mechanics.
Iterative Analysis: The asymptotic entropy provides a constant value per vertex for graphs created from base graphs such as stars (often using iterative, fractal-like, or recursive processes), making the analysis of big networks, like researchgate.net, easier.
Now we calculate the asymptotic entropy of the families of graphs that were studied.
We observe that the entropy of graph family , which has an average degree of 3, is lower than the entropy of all the other graph families. The entropies of graph families , , and , which have the same average degree of 4, are equal, with a value of 1.04. Meanwhile the entropies of graph families and , which also have the same average degree of 4, are also equal, with a value of 0.96—lower than that of the preceding three graph families. Additionally, the entropy of the graph families and is equal, with a value of 1.15, and they have an average degree of 4.66. Moreover, it is evident that the graph family has a higher entropy than the other graph families, with an average degree of 5.33.
Additionally, the entropy of the five graph families
,
,
, and
is less than that of the fractal scale-free lattice [
26] and the two-dimensional Sierpinski gasket [
27], which have entropies of 1.160 and 1.166 with the same average degree of 4. Additionally, despite the average degree of graph families
and
being 4.66, they have entropy lower than that of the fractal scale-free lattice and the two-dimensional Sierpinski gasket. Lastly, the apollonian graph [
28], which has an average degree of 5 (entropy 1.354), has a higher entropy than the graph family
, which has an average degree of 5.33.