Properties of trees

Theorem 1.

For an vertex graph , the following are equivalent (and characterize the trees with vertices).

  1. is connected and has no cycles.
  2. is connected and has edges.
  3. has edges and no cycles.
  4. For , has exactly one -path.

Theorem 2(Corollary).

  1. Every edge of a tree is a cut-edge.
  2. Adding one edge to a tree forms exactly one cycle.
  3. 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

  1. is a spanning tree of , and
  2. 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

ref

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 .