Graph catalog: Families of graphs
Version: July 8, 2008
Main Index
Index of graphs
Description of graph entries
Graph operations
Parameter relationships
References
The catalog
This catalog provides information about the minimum rank and other graph
parameters for families of connected graphs. The description of a family
of graphs involves one or more parameters (often the order n of the
graph).
For specific small graphs, please consult the
Graph
catalog: Small graphs.
For general background on the minimum
rank problem, please see [FH]. Proofs of
the results in the catalog can be found in the references
cited in the catalog.
This catalog was developed through the American Institute of Mathematics
workshop, "Spectra of Families of Matrices described by Graphs, Digraphs,
and Sign Patterns," and is hosted by AIM. It is edited by
Wayne Barrett, Jason Grout, Leslie Hogben, and Hein van der Holst.
The webpage was designed by David Farmer.
Please refer any questions or comments about the content of the catalog,
including corrections or suggestions for additional information, to
Leslie Hogben (lhogben(())iastate.edu).
Please refer any questions or comments about the operation of this website
to David Farmer (farmer(())aimath.org).
AIM workshop participants:
Francesco Barioli, Wayne Barrett, Avi Berman,
Richard Brualdi, Steven Butler,
Sebastian Cioaba, Dragos Cvetkovic, Jane Day,
Louis Deaett, Luz DeAlba, Shaun Fallat, Shmuel Friedland,
Chris Godsil, Jason Grout, Willem Haemers, Leslie Hogben,
InJae Kim, Steve Kirkland, Raphael Loewy, Judith McDonald,
Rana Mikkelson,
Sivaram Narayan, Olga Pryporova, Uri Rothblum, Irene Sciriha,
Bryan Shader, Wasin So, Dragan Stevanovic, Pauline van den Driessche,
Hein van der Holst, Kevin Vander Meulen, Amy Wangsness, Amy Yielding.
Entries in the catalog
A typical entry in this catalog includes the following information
for the graph or family of graphs.
Symbol name 
Common names/symbols are used to describe a graph G in the family.
Sometimes a graph operation is used.

picture 
A picture of the graph, or a representative example from the family.

order  The number of vertices in the graph

mr 
For a real symmetric matrix A, the graph of A,
denoted G(A), is the graph with vertices
{1,...,n } and edges { {i,j }  a_{ij} ≠ 0 and i
≠ j }
(note that the diagonal of A is ignored in determining G(A)).
The minimum rank of G is
mr(G)=min{rank(A) : A ∈ R^{n×n}, A^{T}=A, and G(A)=G}.

M 
The maximum nullity (= maximum multiplicity of an eigenvalue) of a real symmetric matrix A such that G(A)=G

field independent 
Minimum rank can be defined for symmetric matrices over any field. ``Yes" means the minimum rank of G is the same for all fields.

ξ 
A real symmetric matrix M satisfies the Strong Arnold
Hypothesis provided there does not exist a nonzero symmetric matrix
X satisfying:
 MX = 0,
 M ° X = 0,
 I ° X=0,
where ° denotes the Hadamard (entrywise) product and I is the identity matrix.
The Colin de Verieretype parameter ξ(G) is the maximum multiplicity of 0 as an eigenvalue
among symmetric real matrices that satisfy
 G(A )=G and
 A satisfies the Strong Arnold Hypothesis.

ω 
The largest value of m for which G has a clique of order m (subgraph isomorphic to K_{m}) is called the clique number of G
and denoted by ω(G).

δ 
The minimum degree of a vertex of G is denoted by δ(G).

cc 
Clique covering number, or Cliquecover.
A set of subgraphs of G, each of which is a clique and such that every edge of G is
contained in at least one of these cliques, is called a clique covering of G.
The clique covering number of G, denoted by cc(G), is the smallest number of
cliques in a clique covering of G.

diam 
The distance between two vertices in a graph G is the
number of edges in a shortest path between them.
The diameter of G, diam(G), is the maximum distance between any two vertices
of G.

maxinducedpath 
The maximum number of edges in a path that is an induced subgraph of G.

Z 
Colorchange rule:
If G is a graph with each vertex colored either white or black, u is a black vertex of G, and exactly one neighbor v of u is white, then change the color of v to black.
Given a coloring of G, the derived coloring is the result of applying the colorchange rule until no more changes result.
A zero forcing set for a graph G is a subset of vertices Z such that if initially the vertices in Z are colored black and the remaining vertices are colored white, the derived coloring of G is all black.
Z(G) is the minimum of Z over all zero forcing sets Z⊆ V(G).

α 
An induced subgraph H of a graph G
is a coclique or independent set of vertices
if H has no edges.
The largest value of m for which a coclique with m
vertices exists is called the vertex independence number
of G and denoted by α(G).


Notes: 
Any other comments.

Graph operations
The following graph operations are used to construct families:
 The complement of a graph G=(V,E) is the
graph G
= (V,E),
where E
consists of all two element sets from V that are not in E.
 The line graph of a graph G=(V,E),
denoted L(G), is the graph having vertex set E,
with two vertices in L(G) adjacent if and only if the
corresponding edges are adjacent in G.
 The Cartesian product of two graphs G and H,
denoted G ☐ H,
is the graph with vertex set V(G) × V(H) such that
(u,v) is adjacent to (u',v') if and only if
(1) u=u' and vv' ∈ E(H),
or
(2) v=v' and uu' ∈ E(G).
 The strong product of two graphs G and H, denoted
G ⊠ H, is the graph with vertex set V(G) × V(H) such
that (u,v) is adjacent to (u',v') if and only if
(1) uu' ∈ E(G)
and vv' ∈ E(H),
or
(2) u=u' and vv' ∈ E(H),
or
(3) v=v'
and uu' ∈ E(G).
 The corona of G with H, denoted
G ° H, is the graph of order GH + G
obtained by taking one copy of G and G copies
of H, and joining all the vertices in the ith
copy of H to the ith vertex of G.
Parameter Relationships
The following relationships between the parameters are known:
 mr(G) + M(G) = G (where G denotes the order of G)
 M(G) ≤ Z(G) [AIM]
 ξ(G) ≤ M(G) [BFH3]
 ω(G) 1 ≤ ξ(G) [BFH3]
 mr(G) ≤ cc(G)
 diam(G) ≤ maxinducedpath(G) ≤ mr(G)
 ξ(G) ≤ G  α(G) + 1 [BFH3]
References
[AIM] AIM Minimum rank  special graphs work group. Zero forcing sets and the minimum rank of graphs. Preprint.
[BFH] F. Barioli, S. Fallat, and L. Hogben.
Computation of minimal rank and path cover number for graphs.
Linear Algebra and Its Applications,
392: 289303, 2004.
[BFH2] F. Barioli, S. Fallat, and L. Hogben.
On the difference between the maximum multiplicity and path cover number for
treelike graphs.
Linear Algebra and Its Applications 409: 1331, 2005.
[BFH3] F. Barioli, S. Fallat, and L. Hogben.
A variant on the graph parameters of Colin de Verdi`ere:
Implications to the minimum rank of graphs.
Electronic Journal of Linear Algebra,
13: 387404, 2005.
[BHL2] W. Barrett, H. van der Holst and R. Loewy.
Graphs whose minimal rank is two: The finite fields case.
Electronic Journal of Linear Algebra, 14: 3242, 2005.
[BvdHL] W. Barrett, H. van der Holst and R. Loewy.
Graphs whose minimal rank is two.
Electronic Journal of Linear Algebra,
11: 258280, 2004.
[FH] S. Fallat and L. Hogben.
The Minimum Rank of Symmetric Matrices Described by a Graph: A Survey. Preprint.
[H] L. Hogben.
Spectral graph theory and the inverse eigenvalue problem of a
graph.
Electronic Journal of Linear Algebra, 14:1231, 2005.
[H2] L. Hogben.
Orthogonal representations, minimum rank, and graph complements.
Preprint.
Available at
http://orion.math.iastate.edu/lhogben/research/Hogbenminrank07.pdf
[HvdH] L. Hogben and H. van der Holst.
Forbidden minors for the class of graphs G with
ξ(G) ≤ 2. To appear in Linear Algebra and Its Applications.
[JLD] C. R. Johnson and A. Leal Duarte.
The maximum multiplicity of an eigenvalue in a matrix whose graph is a tree.
Linear and Multilinear Algebra 46: 139144, 1999.
[JS] C. R. Johnson and C. M. Saiago.
Estimation of the maximum multiplicity of an eigenvalue in terms of the vertex degrees
of the graph of the matrix.
Electronic Journal of Linear Algebra,
9:2731, 2002.
Cartesian product cycle and itself 
Order : 
 mr : 
 M : 
 field independent :  yes  δ :  4  Z : 
 Notes : 
is shown.
Reference: [ISU]

 
corona of
with
(
)

Order : 
 mr : 
 M : 
 field independent :  yes  δ : 
 cc : 
 Diameter : 
 maxinducedpath : 
 Z : 
 Notes : 
is shown.
Reference [ISU]

 
path on
vertices

Order : 
 mr : 
 M :  1  field independent :  yes  ξ :  1  ω :  2  δ :  1  cc : 
 Diameter : 
 maxinducedpath : 
 Z :  1  α : 
 Notes : 
is displayed.

 
cycle

Order : 
 mr : 
 M :  2  field independent :  yes  ξ :  2  ω :  2 (for )
 δ :  2  cc : 
 Diameter : 
 maxinducedpath : 
 Z :  2  α : 
 Notes :  is displayed. .

 
complete graph on vertices

Order : 
 mr :  1 ()
 M : 
 field independent :  yes  ξ : 
 ω : 
 δ : 
 cc :  1  Diameter :  1  maxinducedpath :  1  Z : 
 α :  1  Notes :  is displayed.

 
complete bipartite graph on vertices

Order : 
 mr :  2  M : 
 field independent :  yes  ξ : 
(for
)
 ω :  2  δ : 
 cc : 
 Diameter :  2  maxinducedpath :  2  Z : 
 α : 
 Notes :  is displayed.
.
References: [BvdHL], [BvdHL2], [BFH3]

 
Complete multipartite graph 
Order : 
 mr : 
 field independent :  no  δ : 
 Notes : 
where
.
is shown.
.
.
References:[BvdHL04], [FH]

 
th hypercube

Order : 
 mr : 
 M : 
 field independent :  see notes  ω :  2  δ : 
 cc : 
(= # edges)
 Diameter : 
 Z : 
 α : 
 Notes : 
is displayed.
.
min rank is same over all fields of char 2 or order > 5
Reference:[AIM], [ISU]

 
th supertriangle

Order : 
 mr : 
 M : 
 field independent :  Yes  ξ : 
 ω :  3  δ :  if
 cc : 
 Diameter : 
 Z : 
 Notes :  is shown.
Reference: [AIM]

 
wheel on vertices

Order : 
 mr : 
 M :  3  field independent :  no (see notes)  ξ :  3  ω :  3  δ :  3  cc : 
 Diameter :  2  maxinducedpath : 
 Z :  3  α : 
 Notes :  is displayed.
.
mr
mr.
References: [H]; [BFH3, Thm 3.16] for .

 
th necklace

Order : 
 mr : 
 M : 
 field independent :  yes  ω :  3  δ :  3  cc : 
 Diameter : 
 maxinducedpath : 
 Z : 
 Notes :  , the necklace with diamonds is a 3regular graph that can be constructed from a cycle by appending extra vertices. Each "extra" vertex is adjacent to 3 sequential cycle vertices. [ISU]

 
pineapple (
)

Order : 
 mr : 
 M : 
 field independent :  yes  ω : 
 δ :  1  cc : 
 Diameter :  2  maxinducedpath :  2  Z : 
 α : 
 Notes : 
is shown.

 
Moebius ladder 
Order : 
 mr : 
 M :  4  field independent :  no (see notes)  ξ :  4  ω :  2  δ :  3  cc : 
(= # edges)
 Z :  4  Notes :  5th Möbius ladder is shown.
For this graph, minimum rank over
is 6 and over
is 8.
Reference: [AIM], [ISU]

 
tree 
mr : 
 M : 
 field independent :  yes  ξ :  2 (for
not a path)
 ω :  2  δ :  1  cc : 
 Z : 
 Notes : 
: there is a set of vertices whose deletion leaves paths}
= path cover number.
References: [JLD], [JS], [FH], [CDHMP], [AIM], [BFH3].

 
polygonal path 
mr : 
 M :  2  field independent :  yes  ξ :  2  δ :  2  Z :  2  Notes :  This is also called a 2connected partial linear 2tree, a linear singly edge articulated cycle (LSEAC) graph, and has been called a linear 2tree (even though it need not be a 2tree). It can be defined as a 2connected graph G that can be embedded
in the plane such that the graph obtained from the dual of G after
deleting the
vertex corresponding to the infinite face is a path.
Reference: [HvdH07]

 
clawfree blockclique (1chordal) graph 
mr :  = cc(
)
 M : 
 field independent :  yes  cc :  # of blocks  Z : 
 Notes :  For the blockclique graph
shown,
mr(
)=4.
This result requires clawfree or equivalently no vertex in more than 2 blocks.
A clawfree blockclique is the line graph of a tree.
reference: [AIM]

 
complement of cycle

Order : 
 mr :  3  M : 
 field independent :  no (see notes)  ω : 
 δ : 
 Diameter :  2  maxinducedpath :  3  Z : 
 α :  2  Notes : 
is shown.
Reference: [AIM]

 
complement of a tree 
Order : 
 mr :  3 if and
 M :  if and
 field independent :  no (see notes)  maxinducedpath :  3 if
 Z : 
 α :  2  Notes :  G1205, which is the complement of G284, is shown.
mr(G1205)=3, mr(G1205) = 4
.
Reference: [AIM], [ISU]

 
line graph of complete graph 
Order : 
 mr : 
 M : 
 field independent :  no (see notes)  δ : 
 Diameter :  2  Z : 
 Notes : 
is shown
mr
mr
Reference: [AIM], [ISU]

 
line graph of a tree 
Order : 
 mr : 
 number of pendent vertices of
 M :  number of pendent vertices of
 1
 field independent :  yes  ω :  maximum degree of vertex of
 cc : 
 number of pendent vertices of
 Z :  number of pendent vertices of
 1
 Notes :  Reference: [AIM]

 
Cartesian product of two paths 
Order : 
 mr : 
 M : 
 field independent :  see notes  ω :  2  δ :  2  cc :  = # of edges  Diameter : 
 Z : 
 Notes : 
is shown
mr(
) is field independent.
Reference: [AIM], [ISU]

 
Cartesian product of complete graph and path 
Order : 
 mr : 
 M : 
 field independent :  no (see notes)  ξ : 
 ω : 
 δ : 
 cc : 
 Diameter : 
 maxinducedpath : 
 Z : 
 α : 
 Notes : 
is displayed.
mr
3=mr
References: [AIM]

 
Cartesian product of a cycle and a path 
Order : 
 mr : 
 M : 
 field independent :  no (see notes)  ω :  2 ()
 δ :  3  cc :  = # of edges (if )
 Diameter : 
 Z : 
 Notes : 
is shown.
mr
3=mr
Reference: [AIM]

 
cartesian product of two complete graphs 
Order : 
 mr : 
 M : 
 field independent :  no (see notes)  ω : 
 δ : 
 Z : 
 Notes : 
is shown.
mr
3=mr
Reference: [AIM]

 
Cartesian product of a cycle and a complete graph 
Order : 
 mr : 
 M : 
 field independent :  no (see notes)  ω : 
 δ : 
 Z : 
 Notes : 
is shown.
mr
mr
Reference: [AIM], [ISU]

 
strong product of two paths 
Order : 
 mr : 
 M : 
 field independent :  no (see notes)  ω :  4  δ :  3  cc : 
 Diameter : 
 Z : 
 Notes : 
is shown.
minimum rank same for all fields except
Reference: [AIM],[ISU]

 
corona of
by
(
)

Order : 
 mr : 
 M : 
 field independent :  yes  ω : 
 δ : 
 cc : 
 Diameter :  3  maxinducedpath :  3  Z : 
 α : 
 Notes : 
is shown
References: [AIM]

 
corona of
with
(
sun)

Order : 
 mr : 
(for
)
 M : 
(for
)
 field independent :  yes  ω :  2 (for
)
 δ :  1  cc : 
(for
)
 Diameter : 
 maxinducedpath : 
 Z : 
 α : 
 Notes : 
is displayed.
mr(
)=4.
References: [BFH04], [BFH05], [AIM], [ISU]

 