Properties of trees
Theorem 1.
For an vertex graph , the following are equivalent (and characterize the trees with vertices).
- is connected and has no cycles.
- is connected and has edges.
- has edges and no cycles.
- For , has exactly one -path.
Theorem 2(Corollary).
- Every edge of a tree is a cut-edge.
- Adding one edge to a tree forms exactly one cycle.
- Every connected graph contains a spanning tree.
Theorem 3.
If are spanning trees of a connected graph and , then there is an edge such that
- is a spanning tree of , and
- is a spanning tree of .
Proof
Every edge of is a cut-edge of . Let and be the two components of . Let be the set of edges in with endpoints in and . Since is connected, is nonempty.Also, the graph contains a unique cycle . Since is acyclic, is nonempty. Now, since , and connects and , there must be another edge which connects and . Note that is the only edge in connecting and . Thus, , and and are both spanning trees of .
Spanning trees
Definition 4.
A spanning tree of a connected graph is a subgraph of which contains all the vertices of , and is, of course, a tree.
Theorem 5.
Every connected graph has a spanning tree.
Proof
Algorithmic constructive proof. Let . vertices, edges. Let , , where is an arbitrary vertex. Having constructed and find an edge such that and . Then, and . If no such edge exists, stop. If the algorithm returns edges, then the resulting subgraph is a spanning tree. Otherwise, is disconnected.
Counting spanning trees
Given a graph , we desire to count the number of spanning trees in .
Definition 6.
In a graph , contraction of edge with endpoints is the replacement of and with a single vertex whose incident edges are the edges other than that were incident to or . The resulting graph has one less edge than .
Theorem 7(Lemma).
Let denote the number of spanning trees of a graph . If is not a loop, then .
Theorem 8(Lemma).
If is a connected loopless graph with no cycle of length greater than 2, then is the product of the edge multiplicities.
Graphs and matrices
Definition 9.
The adjacency matrix of a graph on nodes is the matrix given by , where is the number of edges with endpoints and .
If is loopless, all the diagonal entries of its adjacency matrix will be .
Definition 10.
The Laplacian matrix of a graph on nodes is the matrix , where is the diagonal matrix , .
Note that each row sum/column sum of is .
Theorem 11(Lemma).
Let be a graph on nodes and be its laplacian matrix. Then, .
Proof
Perform row operations . Since each column sum is zero, this turns the first row into a zero row. It follows that the determinant must be zero.
denotes the matrix obtained on deleting the th row and th column from .
The following lemma should be clear:
Theorem 12(Lemma).
For any square matrix , .
Matrix tree theorem
Theorem 13(Matrix tree theorem).
Given a loopless graph with vertex set , let be its Laplacian matrix. If is a matrix obtained by deleting row and column of , then .
We will prove this for when : for any .
Proof
If is not connected, let be an isolated vertex of . Since the th row and th column of are zero, retains the property of having zero row sum and column sum, and hence has determinant . for would have a zero row, and hence have determinant zero. Checks out.Now, let be connected. We induct on the number of edges of . If has one edge, it must have exactly two vertices in order to not have loops and remain connected. The Laplacian matrix for would be
Clearly, , in agreement with the fact that has only one spanning tree.
Next, let have edges, and assume the theorem holds for all graphs with edges. Let , and let be an edge of . Let be the Laplacian matrix of . Note that . So,
Depending on which vertex remains after a contraction, either or . WLOG, assume the former. Note that both and have one fewer edge than .