Minimum Degree and Edge Connectivity
A graph can have many edges overall and still be easy to disconnect: a small set of edges may join two dense regions. Minimum degree gives a simple upper bound on how many edges are needed. Choose a vertex with as few incident edges as possible; deleting those edges isolates it. This idea links a local quantity, measured at one vertex, to a global quantity, measured over all ways of disconnecting the graph.
Throughout, graphs are finite, undirected and simple. For a nonempty graph \(G=(V,E)\), the degree \(\deg(v)\) of a vertex \(v\) is the number of edges incident with it. The minimum degree is the smallest of these degrees.
To define edge connectivity, a set \(F\subseteq E(G)\) is an edge cut if deleting its edges disconnects the graph. For a connected graph with at least two vertices, edge connectivity is the size of a smallest edge cut. We also use the convention \(\lambda(G)=0\) if \(G\) is disconnected: deleting no edges already leaves it disconnected. For a graph with one vertex, set \(\lambda(G)=0\) by convention. The empty graph has no minimum degree under the definition above, so the bound below is stated for nonempty graphs.
Edge Cuts as Boundaries
For a vertex set \(S\subseteq V(G)\), its edge boundary \(\partial_G(S)\) consists of the edges with one endpoint in \(S\) and the other in \(V(G)\setminus S\). If \(S\) is nonempty and proper, deleting this boundary removes every edge between the two sides. This makes boundaries a convenient way to describe cuts.
Proof. First take any nonempty proper vertex set \(S\). After deleting \(\partial_G(S)\), there is no edge from \(S\) to its nonempty complement. Thus the resulting graph is disconnected, and \(\partial_G(S)\) is an edge cut. It follows that \(\lambda(G)\le|\partial_G(S)|\) for each such \(S\).
Conversely, let \(F\) be an edge cut. If \(G-F\) is disconnected, choose the vertex set \(S\) of one of its connected components. Then \(S\) is nonempty and proper. Every edge of \(\partial_G(S)\) must belong to \(F\), since otherwise that edge would still join this component to a vertex outside it in \(G-F\). Hence \(|\partial_G(S)|\le|F|\). This also applies if \(G\) was already disconnected and \(F=\varnothing\): a component of \(G\) has empty boundary. Taking minima in the two inequalities proves the formula. \(\square\)
The Minimum-Degree Bound
Proof. If \(G\) has one vertex, then its minimum degree is \(0\) and our convention gives \(\lambda(G)=0\), so the bound holds. Now suppose \(G\) has at least two vertices. If \(G\) is disconnected, \(\lambda(G)=0\), while every degree is nonnegative; therefore \(0\le\delta(G)\).
It remains to consider connected \(G\) with at least two vertices. Choose a minimum-degree vertex \(v\), so \(\deg(v)=\delta(G)\). The boundary of the one-vertex set \(\{v\}\) consists exactly of all edges incident with \(v\). Consequently, \(|\partial_G(\{v\})|=\deg(v)=\delta(G)\). The boundary lemma says that this boundary is an edge cut, so the minimum size of an edge cut is at most its size: \(\lambda(G)\le\delta(G)\). This proves the bound in every case. \(\square\)
The proof identifies a particular cut: remove every edge incident with a minimum-degree vertex. In a connected graph with at least two vertices, this leaves that vertex isolated while at least one other vertex remains. The graph is therefore disconnected. The argument gives an upper bound, not a guarantee that this cut is the smallest possible one.
Worked Example: A Cycle Has Equality
Let \(G=C_5\), with \(V=\{1,2,3,4,5\}\) and \(E=\{12,23,34,45,51\}\). Each vertex is incident with two edges, so substituting the degrees into the minimum-degree definition gives \(\delta(G)=2\).
To find \(\lambda(G)\), consider any nonempty proper subset \(S\) of the vertices and go around the cycle. Mark each vertex according to whether it belongs to \(S\). Since \(S\) and its complement are both nonempty, the marking changes at least twice as we traverse the cycle and return to the starting vertex. Each change corresponds to a boundary edge, so \(|\partial_G(S)|\ge2\). For \(S=\{1\}\), the boundary is \(\{12,51\}\), whose size is \(2\). The boundary lemma therefore gives \(\lambda(G)=2\).
Check: the computed values are \(\lambda(G)=2\) and \(\delta(G)=2\), so \(\lambda(G)\le\delta(G)\) holds with equality. Deleting the two edges \(12\) and \(51\) isolates vertex \(1\), confirming that the exhibited boundary is a cut.
Worked Example: A Complete Graph Has Equality
Let \(G=K_4\), with \(V=\{1,2,3,4\}\) and \(E=\{12,13,14,23,24,34\}\). Each vertex is adjacent to the other three, so each has degree \(3\), and \(\delta(G)=3\).
For a nonempty proper set \(S\), let \(k=|S|\). In \(K_4\), each of the \(k\) vertices in \(S\) is adjacent to all \(4-k\) vertices outside \(S\). Thus the boundary has \(k(4-k)\) edges. The possible values are \(3\) when \(k=1\), \(4\) when \(k=2\), and \(3\) when \(k=3\). The smallest boundary has size \(3\), so the boundary lemma gives \(\lambda(G)=3\).
Check: a singleton set, such as \(S=\{1\}\), has boundary \(\{12,13,14\}\), of size \(3\). The cases \(k=1,2,3\) cover every nonempty proper subset, and their boundary sizes \(3,4,3\) verify that none is smaller. Hence \(\lambda(G)=\delta(G)=3\).
Worked Example: A Bridge Makes the Bound Strict
Let \(G\) have \(V=\{1,2,3,4,5,6\}\) and \(E=\{12,23,31,45,56,64,34\}\). The edges \(12,23,31\) form one triangle, the edges \(45,56,64\) form another, and \(34\) joins the triangles.
Vertices \(1,2,5,6\) each have degree \(2\). Vertex \(3\) is incident with \(31,32,34\), so \(\deg(3)=3\). Vertex \(4\) is incident with \(45,46,34\), so \(\deg(4)=3\). Therefore the list of degrees is \(2,2,3,3,2,2\), and \(\delta(G)=2\).
Deleting the single edge \(34\) disconnects the two triangles, so \(\lambda(G)\le1\). The graph is connected before deletion, which means deleting zero edges does not disconnect it. Thus \(\lambda(G)\ge1\), and together these inequalities give \(\lambda(G)=1\).
Check: the values are \(\lambda(G)=1\) and \(\delta(G)=2\), hence \(1\le2\), strictly. The boundary of \(\{1,2,3\}\) is exactly \(\{34\}\), independently confirming the cut of size \(1\).
A Useful Immediate Case
Proof. The vertex of degree \(1\) shows that \(\delta(G)=1\): connectedness and the presence of at least two vertices rule out degree \(0\). By the theorem, \(\lambda(G)\le1\). Since the graph is connected, deleting zero edges does not disconnect it, so \(\lambda(G)\ge1\). Therefore \(\lambda(G)=1\). \(\square\)
This case illustrates how a local feature can determine the global edge connectivity exactly. More generally, the theorem only says that a small degree supplies a cut no larger than that degree. A different cut, such as the single bridge in the two-triangle example, can be smaller still.
Common Mistake: Treating the Bound as an Equality
A common error is to calculate the minimum degree and report it as the edge connectivity. For the graph with two triangles joined by \(34\), that would give the incorrect calculation \(\lambda(G)=\delta(G)=2\). But deleting \(34\) alone separates the triangles, so \(\lambda(G)\le1\); because the graph is connected, \(\lambda(G)\ge1\), and hence \(\lambda(G)=1\). The correct conclusion from the degree calculation alone is only \(\lambda(G)\le\delta(G)\).
Another useful distinction is between a vertex's degree and the size of an arbitrary cut. The edges incident with a vertex form one particular boundary, namely \(\partial_G(\{v\})\). Edge connectivity is the size of a smallest boundary over all nonempty proper vertex sets. A cut that splits a graph into larger pieces may be smaller than every singleton boundary.
- Use minimum degree to bound from above: select a vertex of degree \(\delta(G)\) and isolate it.
- Use a cut to establish a stronger upper bound: any explicitly exhibited edge cut gives \(\lambda(G)\) no larger than its size.
- Check connectedness: for a disconnected graph, \(\lambda(G)=0\) under the stated convention, even if its minimum degree is positive.
Check Your Understanding
For each question, distinguish the size of a specific cut from the minimum size over all cuts.
- Give the minimum degree and edge connectivity of the path with \(V=\{1,2,3,4\}\) and \(E=\{12,23,34\}\). Which cut shows the edge connectivity?
- Explain why a minimum-degree vertex in a connected graph on at least two vertices has a nonempty edge boundary.
- In \(K_5\), compute the boundary size for a set \(S\) of size \(2\), and compare it with the minimum degree.
- Suppose a connected graph has minimum degree \(4\) and contains an edge whose deletion disconnects it. What can you conclude about its edge connectivity?
- Why does \(\lambda(G)=0\) for a disconnected graph, under the convention in this tutorial, without contradicting \(\lambda(G)\le\delta(G)\)?