Algebraic connectivity

The algebraic connectivity (also known as Fiedler value or Fiedler eigenvalue after

of networks.

Properties

The algebraic connectivity of undirected graphs with nonnegative weights, ${\displaystyle a(G)\geq 0}$ with the inequality being strict if and only if G is connected. However, the algebraic connectivity can be negative for general directed graphs, even if G is a

of the graph, ${\displaystyle {\text{algebraic connectivity}}\leq {\text{connectivity}}}$.[3] If the number of vertices of an undirected connected graph with nonnegative edge weights is n and the diameter is D, the algebraic connectivity is also known to be bounded below by ${\displaystyle {\text{algebraic connectivity}}\geq {\frac {1}{nD}}}$,^[4] and in fact (in a result due to Brendan McKay) by ${\displaystyle {\frac {4}{nD}}}$.^[5] For the graph with 6 nodes show above (n=6,D=3) these bound means, 4/18 = 0.222 ≤ algebraic connectivity 0.722  ≤ connectivity 1.

Unlike the traditional connectivity^{[clarification needed]}, the algebraic connectivity is dependent on the number of vertices, as well as the way in which vertices are connected. In random graphs, the algebraic connectivity decreases with the number of vertices, and increases with the average degree.^[6]

The exact definition of the algebraic connectivity depends on the type of Laplacian used. Fan Chung has developed an extensive theory using a rescaled version of the Laplacian, eliminating the dependence on the number of vertices, so that the bounds are somewhat different.^[7]

In models of synchronization on networks, such as the Kuramoto model, the Laplacian matrix arises naturally, so the algebraic connectivity gives an indication of how easily the network will synchronize.^[8] Other measures, such as the average distance (characteristic path length) can also be used,^[9] and in fact the algebraic connectivity is closely related to the (reciprocal of the) average distance.^[5]

The algebraic connectivity also relates to other connectivity attributes, such as the

Fiedler vector

The original theory related to algebraic connectivity was produced by

a graph.

Partitioning a graph using the Fiedler vector

For the example graph in the introductory section, the Fiedler vector is ${\textstyle {\begin{pmatrix}0.415&0.309&0.069&-0.221&0.221&-0.794\end{pmatrix}}}$. The negative values are associated with the poorly connected vertex 6, and the neighbouring

, vertex 4; while the positive values are associated with the other vertices. The signs of the values in the Fiedler vector can therefore be used to partition this graph into two components: ${\textstyle \{1,2,3,5\},\{4,6\}}$. Alternatively, the value of 0.069 (which is close to zero) can be placed in a class of its own, partitioning the graph into three components: ${\textstyle \{1,2,5\},\{3\},\{4,6\}}$ or moved to the other partition ${\textstyle \{1,2,5\},\{3,4,6\}}$, as pictured. The squared values of the components of the Fiedler vector, summing up to one since the vector is normalized, can be interpreted as probabilities of the corresponding data points to be assigned to the sign-based partition.

See also

• Connectivity (graph theory)
• Graph property

References