Minimum rank of a graph explained

In mathematics, the minimum rank is a graph parameter

\operatorname{mr}(G) for a graph G. It was motivated by the Colin de Verdière graph invariant.

Definition

The adjacency matrix of an undirected graph is a symmetric matrix whose rows and columns both correspond to the vertices of the graph. Its elements are all 0 or 1, and the element in row i and column j is nonzero whenever vertex i is adjacent to vertex j in the graph. More generally, a generalized adjacency matrix is any symmetric matrix of real numbers with the same pattern of nonzeros off the diagonal (the diagonal elements may be any real numbers). The minimum rank of

G is defined as the smallest rank of any generalized adjacency matrix of the graph; it is denoted by \operatorname{mr} (G) .

Properties

Here are some elementary properties.

• The minimum rank of a graph is always at most equal to n - 1, where n is the number of vertices in the graph.^[1]
• For every induced subgraph H of a given graph G, the minimum rank of H is at most equal to the minimum rank of G.^[2]
• If a graph is disconnected, then its minimum rank is the sum of the minimum ranks of its connected components.^[3]
• The minimum rank is a graph invariant: isomorphic graphs necessarily have the same minimum rank.

Characterization of known graph families

Several families of graphs may be characterized in terms of their minimum ranks.

• For

n\geq 2 , the complete graph K_n on n vertices has minimum rank one. The only graphs that are connected and have minimum rank one are the complete graphs.^[4]

• A path graph P_n on n vertices has minimum rank n - 1. The only n-vertex graphs with minimum rank n - 1 are the path graphs.^[5]
• A cycle graph C_n on n vertices has minimum rank n - 2.^[6]
• Let

G be a 2-connected graph. Then \operatorname{mr}(G) = |G| -2 if and only if G is a linear 2-tree.^[7]

• A graph

G has \operatorname{mr}(G)\leq 2 if and only if the complement of G is of the form (K _{s _{1}} \cup K _{s _{2}} \cup K _{p _{1,q} _{1}} \cup … \cup K _{p _{k,q} _{k}} ) \vee K _{r} for appropriate nonnegative integers k, s _{1,} s _{2,} p _{1,} q _{1,\ldots} , p _{k,} q _{k,} r with p _{i+q} _{i>0} for all i =1 ,\ldots, k .^[8]

References

• .

Notes and References

1. Fallat–Hogben, Observation 1.2.
2. Fallat–Hogben, Observation 1.6.
3. Fallat–Hogben, Observation 1.6.
4. Fallat–Hogben, Observation 1.2.
5. Fallat–Hogben, Corollary 1.5.
6. Fallat–Hogben, Observation 1.6.
7. Fallat–Hogben, Theorem 2.10.
8. Fallat–Hogben, Theorem 2.9.