Professional Documents
Culture Documents
2 Jack Graver, Brigitte Servatlus, and Herman Servatius, Combinatorial rigidity, 1993
Ethan Akin, The general topology of dynamical systems, 1993
Combinatorial Rigidity
r
Graduate Studies
in Mathematics
Volume 2
Combinatorial Rigidity
Jack Graver
Brigitte Servatlus
Herman Servatlus
Editorial Board
James E. Humphreys
Robion C. Kirby
Lance W. Small
Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting
for them, are permitted to make fair use of the material, such as to copy a chapter for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication
(including abstracts) is permitted only under license from the American Mathematical Society.
Requests for such permission should be addressed to the Manager of Editorial Services, American
Mathematical Society, P.O. Box 6248, Providence, Rhode Island 02940-6248. Requests can also
be made by e-mail to reprint-permissionGmath.ams.org.
The owner consents to copying beyond that permitted by Sections 107 or 108 of the U.S.
Copyright Law, provided that a fee of $1.00 plus $.25 per page for each copy be paid directly to
the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, Massachusetts 01923. When
paying this fee please use the code 1065-7339/93 to refer to this publication. This consent does
not extend to other kinds of copying, such as copying for general distribution, for advertising or
promotional purposes, for creating new collective works, or for resale.
Preface ix
Chapter 1. Overview 1
1.1. An Intuitive Introduction to Rigidity 1
1.2. A Short History of Rigidity 9
vii
viii CONTENTS
References 153
Index 171
Preface
ix
X PREFACE
In general, depending on the dimension and the embedding, the edges of a graph
are the underlying set of several such matroids, all of which belong to the class
of abstract rigidity matroids, which are defined at end of chapter 2.
The fundamental combinatorial structures used to study rigidity are the var-
ious rigidity matroids. The second chapter consists of a development of matroid
theory, the theoretical foundation for much of modern combinatorics. There will
of course be a special emphasis on those parts of the subject most applicable to
rigidity matroids.
Chapter 4 is devoted to an extensive study of combinatorial rigidity dimen-
sion 2, which has a. nice analogy, via the !-dimensional case, with "traditional"
graph theory from a slightly different point of view. A thorough knowledge of
planar rigidity is essential to developing a good intuition for rigidity as a whole,
and provides an extensive collection of tractable examples. Algorithmic and
computational aspects are also treated.
In the last chapter, we will discuss combinatorial rigidity in higher dimensions.
Special attention is paid to dimension 3, in which there is the most practical
interest, but where the characterization problem is still unsolved. Many of the
results in this chapter have not yet appeared elsewhere.
The book concludes with an extensive annotated bibliography.
This text is suitable for a second graduate course in combinatorics and was
already used as such at Syracuse University and at Worcester Polytechnic Insti-
tute by the authors. Each chapter contains a variety of exercises, some letting
the reader fill in the details of the theory, some working through examples, as
well as many which point the way to aspects of rigidity theory not covered in the
text. Exercises are placed so that the reader can check his understanding of each
concept before going on to the next one. The annotations in the bibliography are
not only a valuable research tool, but also meant to stimulate a project oriented
course of study.
Each of the chapters is mathematically self-contained, and the reader may
safely peruse them in the order best suited to his background and interest.
Many thanks to Ray Adams and John Shutt for diligent proof reading and
thoughtful questions.
Chapter 1. Overview
1
2 CHAPTER 1. OVERVIEW
{b)
~---: (a)
~ {b) (c)
:
FIGURE 1.2. A framework and some nearby frameworks.
then the corresponding rods in these two frameworks have the same length (see
Figure 1.2b). If Q lies on C, the two figures are congruent (see Figure 1.2c). Thus,
we have defined {V, E, p) to be rigid if A and C are equal in some neighborhood of
P and (V, E, p) to be strongly rigid if A = C. If Q lies on A-C and can be joined
to P by a curve on A which intersects C only in P, then we say that {V, E, q) is
a flex of (V, E, p); one may identify the intermediate points on this curve with a
deformation of the framework {V,E,p) into the framework {V,E,q).
1.1. AN INTUITIVE INTRODUCTION TO RIGIDITY 3
wv (a) (b)
~[] (c) (d)
with fewer than the prescribed number of rods. All four planar frameworks in
Figure 1.3 have six vertices; hence we should expect that 2(6) -3 or 9 rods would
be required to make these frameworks rigid. However, 1.3a is rigid with only 8
rods and framework 1.3c with 9 rods is not rigid. Both of these frameworks
are singular in that there exist arbitrary close frameworks with the same graph
structures, (frameworks 1.3b and 1.3d respectively), which exhibit the predicted
rigidity properties. The framework 1.3a is rigid because the "chain" of three rods
is pulled taught. If the slightest slack is permitted, as in framework 1.3b, the
framework is no longer rigid. Note that two rods cross in framework 1.3c. This
crossing has no significance and adds no constraint to the framework; we think
of the rods as being able to slide across one another. The framework 1.3c is not
rigid because the three vertical rods are equal in length and parallel and hence
permit a horizontal shear. If the uniform length or the parallelism is destroyed,
as in framework 1.3d, the framework becomes rigid.
We say that a given framework (V, E, p) is generic if all frameworks corre-
sponding to points in a neighborhood of P = p(V) in Rnm are rigid or not rigid
as is (V, E, p). A set of points P in m-space is said to be generic if each frame-
work (V, E, p) with p(V) = P is generic. The fundamental facts that we will
prove are: first, almost all sets of points in m-space are generic; and second, if
(V,E,p) and (V,E,q) are two generic frameworks with the same graph (V,E),
then either they are both rigid or they are both non:rigid. Assuming this last
result, we define a graph (V, E) to be rigid (in dimension m) if the frameworks
corresponding to the generic embeddings of V into m-space are rigid. We say
that a framework (V, E, p) in m-space is generically rigid (in dimension m) if the
graph (V, E) is rigid in dimension m. The four frameworks in Figure 1.3 show
that rigidity and generic rigidity are quite distinct concepts: framework 1.3a is
rigid but not generically rigid; framework 1.3b is neither rigid nor generically
rigid; framework 1.3c is not rigid but it is generically rigid; and framework 1.3d
is both rigid and generically rigid.
While it is clear that generic rigidity is a combinatorial concept for all dimen-
sions, it is only for dimensions one and two that this fact has been used exten-
sively. The reason is that a combinatorial characterization for generic rigidity has
been found only for these dimensions. In 1-space, all embeddings are generic and
the concepts of rigidity and generic rigidity coincide with one another and with
the concept of connectedness for graphs. In dimension 2, we have the following
characterization of generic rigidity:
THEOREM (G. LAMAN, 1970, [64]). A graph (V,E) is rigid/or dimension 2
if and only if there is a subset E' of E such that:
1. IE' I = 2IVI- 3;
2. IFI ~ 2jV(F)I-3 for all non-empty subsets F of E' {where V(F) denotes
the support ofF, i.e. the collection of all end points of the edges in F).
starting at P and moving off the subvariety C with the property that its partial
derivatives of sufficiently high order exist and are non-trivial. These partial
derivatives can then be seen to be an infinitesimal flex of the framework. Thus,
if (V, E, p) is not rigid, it is not infinitesimally rigid; or equivalently, infinitesimal
rigidity implies rigidity. However, the converse is not true. To see this, consider
framework 1.3a. Assign the zero vector to all points except to one of the two
points on the "chain"; to this point assign any non-zero vector perpendicular to
the chain. One easily sees that this is an infinitesimal flex of that framework.
Thus, while the framework 1.3a is rigid, it is not infinitesimally rigid. The
relationship between infinitesimal rigidity and generic rigidity is not so easy
to see. However, we will prove later that infinitesimal rigidity implies generic
rigidity. In fact, if a set of points P in IR.m is generic, then the concepts of rigidity,
generic rigidity and infinitesimal rigidity agree for all frameworks (V, E, p) with
p(V) = P. Strongly rigid remains a concept apart even on generic sets. In
summary:
• strong rigidity => rigidity;
• infinitesimal rigidity => rigidity;
• infinitesimal rigidity => generic rigidity.
That these are the only implications among these concepts is demonstrated by
the list of examples in table 1.1.
Example Rigid Strongly Infinitesimally Generically
Rigid Rigid Rigid
Framework 1.3b No No No No
Framework 1.3c No No No Yes
Framework 1.5a Yes No No No
Framework 1.5b Yes No No Yes
Framework l.la Yes No Yes Yes
Framework 1.5d Yes Yes No No
Framework 1.5c Yes Yes No Yes
Tetrahedron Yes Yes Yes Yes
TABLE 1.1.
approximations by considering higher order terms, see [23]. Define a 2 'nd order
flex to be an assignment of two vectors 11i and at to each each vertex i such that
the equations
are satisfied for all {i,j) E E. These equations would have to be satisfied by
the velocities {the ui's) and accelerations {the at's) of a physical motion of the
framework. Let V2 be the set of 2'nd order flexes of (V, E, p) and let 'D2 be
the set of 2'nd order flexes of (V,K,p). The framework (V,E,p) is said to be
2'nd order rigid if V2 = 'D2 in a neighborhood of 0. While 2'nd order rigidity
has been successfully developed, there exist highly singular frameworks which
make extension to higher orders difficult, [26]. In any case, higher order rigidity
belongs to the geometric rather than the combinatorial nature of rigidity, and is
not considered in this text.
One extension of "rod and joint" rigidity which has received a lot of atten-
tion is the study of tension frameworks. Here one admits cables in addition to
rods. Upon a closer look, one observes that a cable is equivalent to a chain
of rods, which is modeled by a path of edges. Hence, one could study tension
frameworks in the "framework" of rigidity. However, this is not a very practical
way to approach tension framework problems. Many special techniques have
been developed for considering these tension frameworks and a good bit of the
literature is devoted to these frameworks. While tension frameworks will not
be discussed in this book, references to the literature on tension (or tensegrity)
frameworks are included in the bibliography.
Another extension of "rod and joint" frameworks, in higher dimensions, is
obtained by including other rigid building blocks such as ''polygonal plates".
In 3-space, one may consider three dimensional structures consisting of rigid
polygons joined by hinges along common edges. Without going through the
process of developing the formal definitions for the various types of rigidity, one
can, with a few examples, develop usable intuitive definitions for these concepts.
Consider the structure consisting of four congruent triangles and a square hinged
together to form a pyramid. This structure is rigid, in fact, strongly rigid. If
the square is removed the structure is no longer rigid. It is perhaps surprising
that some of the earliest results in rigidity theory dealt with these "plate and
hinge" structures. In fact, the first major result published in rigidity theory is a
theorem of Cauchy about plate and hinge structures in 3-space. This and other
early results will be discussed in the next section.
a. Show that the algebraic set A of this framework is the union of the two
lines x2 = x1 + 1 and x2 = x 1 - 1 in IR2; locate the point on A which
corresponds to the framework (V, E, p).
b. Show that the space V of infinitesimal motions of this framework is the
!-dimensional subspace given by x2 = x1.
Exercise 1.2. Consider the !-dimensional framework: (V, E, p) where V =
{1,2,3}, E = {(1,2), (2,3)}, p(1) = 0, p(2) = 1 and p(3) = 3.
a. Describe the algebraic set A in IR.3 for this framework and locate the point
on A which corresponds to the framework (V, E, p).
b. Describe the algebraic set C.
c. Is this framework strongly rigid?
d. Describe the space V for this framework.
Exercise 1.3. Consider the framework described in Exercise 1.1 as a frame-
work in 2-space specifically (V,E,p) where V = {1,2}, E = {(1,2)}, p(1) =
(0, 1) and p(2) = (1, 0). For an arbitrary embedding q of V into IR2 , let q(l) =
(x1,y1) andq{2) = (x2,y2).
a. Give the equation which defines the algebraic set A in IR4 •
b. Describe the intersection of A with the (x1,yt)-plane {x2 = Y2 =OJ.
c. Describe the intersection of A with the plane given by X2 = 0 and Y2 = a,
for some constant a.
d. Describe the intersection of A with the plane given by x1 = b and x2 = 0,
for some constant b.
e. Describe the intersection of A with the 3-space given by Y2 = 0 and locate
the point on A which corresponds to the framework (V, E, p).
Exercise 1.4. Consider the framework from Exercise 1.3.
a. Describe algebraically the space V of infinitesimal motions of this frame-
work. (Use the notation u(l) = (Xt.Yl) and u(2) = (x2,Y2) for the
mapping u of V into JR2 •
b. Describe geometrically the intersection of V with the 3-space Y2 = 0.
c. Describe geometrically the tangent plane to the intersection of A with the
3-space X2 = 0 at the point corresponding to the framework (V, E, p).
d. Describe the relationship between the answers to parts b and c.
Exercise 1.5. Let (V, E, p) be any !-dimensional framework.
a. Letting q( i) = Xi for all i in V and all embeddings q of V into IR2 , show
that A is described by the system of equations: !xi - x;l = Ci;, for all
(i,j) in E, where Ci; = IP(i) - p(j)l.
b. Letting u( i) = Xi for all i in V and all vector assignments V, show that
V is the solution space of the system of equations:
Xi- x; = 0, for all (i,j) in E.
c. Describe the relation between A and V.
d. Also describe the relation between C and 'D.
1.2. A SHORT HISTORY OF RIGIDITY 9
THEOREM (R. BRICARD, 1897, (15]). The 2-skeleton of any polyhedral em-
bedding of the octahedron in 3-space is rigid. However, the !-skeleton of the
octahedron has a non-rigid embedding in 3-space.
COROLLARY 1.2.1. If a convex polyhedron in 3-space has the property that the
collection of faces containing a given vertex do not all lie in the same plane, then
the 2-skeleton of that polyhedron is infinitesimally rigid.
The Euler Conjecture was finally settled in 1977, but just prior to that a
result was published which greatly extended the set of configurations for which
the Euler Conjecture was known to be valid.
THEOREM (H. GLUCK, 1975, [45]). Every closed simply connected polyhe-
dral surface embedded in 3-space is generically rigid.
1.2. A SHORT HISTORY OF RIGIDITY 11
Gluck's Theorem tells us that the Euler Conjecture is almost always true for
closed simply connected polyhedral surfaces. Just two years later, a counterex-
ample to the Euler Conjecture was found by R. Connelly [20]. The counterex-
ample is based on Bricard 's flexible octahedron and, of course, it is non-convex
and non-generic. Topologically Connelly's surface is a sphere, thus showing that
Gluck's Theorem is best possible.
In 1978, Asimow and Roth showed that the triangulation condition in the
hypothesis of Alexandrov's Theorem is necessary.
THEOREM (L. ASIMOW AND B. ROTH, 1978 [2]). The 1-skeleton of a strict-
ly convex polyhedron embedded in 3-space which has at least one non-triangular
face is not rigid.
The proof of this theorem has two parts. The first part is combinatorial. Using
Euler's formula for the sphere, Asimow and Roth show that the number of edges
in such a 1-skeleton is less than 3v - 6, where v is the number of vertices of the
polygon. (A triangulation of a sphere has exactly 3v-6 edges.) By the dimension
arguments given above, in conjunction with our discussion of Laman's Theorem,
it is clear that there are not enough constraints to make this framework rigid
unless it represents a singular point on the algebraic variety A. In the second,
geometric, part of their proof, Asimow and Roth show that a strictly convex
framework cannot correspond to a singular point. To see that strict convexity
is essential to their result, consider a tetrahedron with equilateral faces. Insert,
centered in one face, a smaller equilateral triangle with sides parallel to the sides
of the face. Now, join by edges the corresponding vertices (see Figure 1.6). This
figure has four non-triangular faces. Nevertheless it is easily seen to be rigid as
the small triangle is held in place by tension.
FIGURE 1.6.
2. IFI :5 3IV(F)I- 6 for all non-empty subsets F of E', where V(F) is the
set of endpoints of the edges in F.
Again, we interpret condition 1 as requiring enough edges to be rigid and
condition 2 as preventing any of these edges from being wasted by packing too
many of them between a given set of vertices. The framework in Figure 1. 7
is the simplest counter example to this conjecture. It consists of 4 tetrahedra:
a. Prove that p and p' are inverses with respect to C, that is o, p and p'
are collinear and d(o,p) x d(o,p') = a2 •
b. Using part a, prove that, if p is constrained to move in a circle through
o, then p' will move along a straight line.
Chapter 2. Infinitesimal Rigidity
The set V(E) is called the support of E. For any vertex set U ~ V,
17
18 CHAPTER 2. INFINITESIMAL RIGIDITY
LEMMA 2.1.1. Let (V, K) denote the complete graph and let E, F ~ K.
a. IfF ~ E, then V(F} ~ V(E).
b. V(F U E) = V(F) U V(E).
c. V(F n E) ~ V(F) n V(E).
Exercise 2.5. LetS be a finite set and let C be any collection of subsets of
S satisfying:
Cl': SEC,
C2': C is "closed" under intersection.
Show that the operator (-) of Exercise 2.4 is a closure operator on S with C as
its closed sets.
A clo.~ure operator ( ·) on a set S is a matroid closure operator if it satisfies
the additional condition:
C4: If T ~Sand s,t E (S- (T)}, then s E (TU {t}) if and only if
t E (TU {s}).
LEMMA 2.1.2. LetS be a finite set of vectors from some vector space and, for
any T ~ S let (T) = span(T) n S. Then (-) is a matroid closure operator on S.
The reader may well ask, just how matroid closure operators fit into rigidity
theory. In our earlier discussions we mentioned "implied" edges or rods: the
edge between p(i) and p(j) in the framework (V, E, p) is implied if the dis-
tance between p(i) and p(j) is unaltered by any of the (infinitesimal) motions
of (V, E, p). The operator on K which assigns to E all edges in or implied by E,
is a matroid closure operator. The framework will then be infinitesimally rigid
if and only if the closure of E is K.
Throughout this text we will use Y X, where Y and X are sets, to denote
the collection of all functions from X into Y. Usually Y will be the reals R or
the real vector space :Rm; in some cases, particularly in the exercises, the reals
may be replaced by some other field, F. We note that, for any finite set X, :Rx
(Fx) is an IXI-dimensional vector space over R (over F). We will be particularly
interested in the space of functions from V into :Rm, (Rm) v. Given p E (Rm) v,
we will use Pi to denote the vector p(i), for i = 1 ... n. This space also has the
structure of a real vector space and has dimension miVI = nm. In fact, we have
a natural isomorphism, I: (:Rm)V--+ :Rnm, given by
where (pit 1 Pi2•· .. 1 Pim) are the coordinates of pi. Again, the reals may replaced
by some other field in the above discussion.
Let p be an embedding of V into :Rm and let P denote set p(V). We say
that the set P is in general position and that p is a general embedding if, for any
q-element subset Q of P with q < (m + 1), the affine space spanned by Q has
dimension q - 1. That is to say: if q = 2, Q spans a line; if q = 3, Q spans a
plane, etc.
Exercise 2.8. Let p be an embedding of V into :Rm and let P = p(V). Verify
the following observations.
a. If m = 1, P is in general position.
b. If m = 2, then P is in general position if and only if no 3-subset of P
lies on a line.
c. If m = 3 and n > 3, then P is in general position if and only if no
4-subset of P lies on a plane.
As noted above we may identify an embedding p of V into :Rm with a point
in Rmn. We may also measure the length of the edges by evaluating the rigidity
function p: Rmn --+ RIE(K)I defined by p(p)ij = (PI- PJ) 2 , (where the coordi-
nates of RIE(K)I are indexed by the pairs ij in, say, lexicographical order.) So the
2.1. BASIC DEFINITIONS 21
ij'th coordinate of p(p) is the square of the length of the edge ij inK. Clearly
p is continuously differentiable and we define R(p), the rigidity matrix for the
embedding p, by p'(p) = 2R(p). R(p) is an n(n- 1}/2 by nm matrix whose
entries are functions of the coordinates of p as a point in :R.nm. In the matrix
below we write out coordinates of p and of the rigidity matrix R(p}, in the case
n=4 andm= 2.
P = (Pl!P2,pa,P4) = (plt,Pt2,P2l!P22,P31!P32,P41!P42)i
Using the vectors Pi and P; instead of writing out the actual coordinates, we
can write R(p) in a condensed form:
Pt-P2 P2 -Pl 0 0
Pt-Pa 0 Pa -pl 0
Pt-P4 0 0 P4 -pl
R(p) =
0 P2 -pa Pa -p2 0
0 P2 -p4 0 P4 -p2
0 0 Pa -p4 P4 -pa
where 0 stands for the zero vector. This shorthand notation is ambiguous in that
R(p) looks the same for all m. Nevertheless, we will use this notation because
of its convenience.
Exercise 2.9. Write out the full matrix for five points in :R.2 and the short-
hand matrix for five points in :R.m.
Consider the following set up: the integers n and m are fixed but p is permit-
ted to vary over all mappings of V into :R.m, i.e. p is permitted to vary over all
points of :R.nm. How do we view the restriction of p to the set of embeddings? If
i and j are distinct vertices, the vector equation Pi = P; corresponds to a system
of m linear equations in the coordinates of p. The solution to this system is some
(nm - m }-dimensional hyperplane in :R.nm. Considering all pairs of vertices, we
have a collection of n(n- 1}/2 such hyperplanes and pis an embedding if and
only if P does not lie on the union of these hyperplanes. Since each of these hy-
perplanes, and hence the union of these hyperplanes, is a closed set of measure
zero, the embeddings form an open dense subset of :R.nm. (As a measure of the
topological complexity of this space of embeddings, we note that for m = 2 its
fundamental group is the unpermuted n-string braid group.)
Now consider a set of edges E ~ K such that, for some embedding p, the rows
of R(p) corresponding to E are independent. Let o(p) denote the determinant
22 CHAPTER 2. INFINITESIMAL RIGIDITY
of some lEI by lEI minor of the submatrix consisting of those rows. The solution
set to o(p) = 0 is either all of Rnm or an algebraic curve in Rnm. The set of all
embeddings p, for which these rows are independent, lie on XE, the intersection
of the algebraic curves corresponding to the lEI by lEI minors of these rows.
Since the rows corresponding toE are independent for some embedding, XE is a
closed algebraic set of measure zero. Let X be the union of the XE for all E ~ K
such that the rows corresponding to E are independent for some p. Then X is
a closed set of measure zero. We say that an embedding p is generic if p ¢ X.
We have:
LEMMA 2.1.3. Let the n-set V and the integer m be given. The set of all
generic embeddings of V into Rm is an open dense subset of Rmn.
Exercise 2.10. Prove that, if an embedding pinto R 2 is generic, then it is a
general embedding into R2 • Can you generalize your proof to higher dimensions?
One simple but very important observation concerning generic embeddings is:
LEMMA 2.1.4. If p is a generic embedding of V into Rm and U ~ V, then
the restriction of p to U, PIU, is a generic embedding of U into Rm
To see this simply note that a set of rows of R(piU) is independent if and only
if the corresponding rows of R(p) are independent.
We close this section by relating two of the fundamental ideas that we have
introduced. Consider a fixed embedding p of V. The rows of the rigidity matrix
R(p) are vectors in Rmn; and we may then consider the "prototype" matroid
closure operator on this set of vectors. Since each of these vectors is identified
with an edge of (V, K), we may identify this closure operator with a natural
matriod closure operator on K, called the rigidity (matroid} closure operator
(on K given by the embedding p): ForE~ K, an edge e belongs to the closure
of E if the row of R(p) associated with e is in the subspace of Rmn spanned by
the rows of R(p) associated with the edges in E.
The connection between this closure operator and infinitesimal rigidity will be
made clear in Section 2.2. There we prove that a framework (V(E), E, PIV(E)) is
infinitesimally rigid if and only if the closure of E, under the rigidity closure op-
erator on K given by p, is K(V(E)). However, we need not wait until Section 2.4
to verify this relationship for !-dimensional frameworks:
THEOREM 2.1.1. Let the complete graph (V, K) be given and consider any
embedding p of V into R1 . Then
a. p is generic;
b. the matroid closure operator on K given by the rows of R(p) is the
connectivity closure operator on K. (Described in Exercise 2.2b.)
PROOF. a. Let V and p be given and let (i,j) E K. We observe that
the row of R(p) corresponding to the edge (i, j) has just two nonzero entries,
(Pil - P;l) and (P;t - Pil), (these are nonzero since p is an embedding). If we
2.1. BASIC DEFINITIONS 23
multiply through this row by 1/(pu- P;1),we will not change the determinant of
any submatrix from zero to nonzero or from nonzero to zero. Let M denote the
matrix obtained by multiplying through the row indexed by (i,j) by 1/(pil-P;l),
for all 1 :::; i < j :::; n. M is then a {0, ±1 }-matrix, in fact, it is the edge-
vertex adjacency matrix of (V, K) in which the edges are given an orientation by
the ordering on V and the sign indicates that orientation. Since corresponding
subdeterminants of M and R(p) are either both zero or both nonzero for all
embeddings p, we conclude that all embeddings p are generic.
b. Let {·) be the rigidity closure operator on K given by p and let {{ ·))
denote the connectivity closure operator on K. Let ri; denote the row of R(p)
associated with the edge (i,j); let 1 :::; i < j < k :::; nand consider the rows of
R(p) associated with the edges (i,j), (j, k) and (i, k). We have:
We conclude that if (i,j),(j,k) E E, then (i,k) E {E). Using this fact several
times, we can conclude that, if i and h are vertices in V which are joined by a path
in (V, E), then (i, h) E {E). In other words, we have shown that (i, h) E {{E))
implies (i, h) E {E).
Now suppose that (i, h) E {E). We must have:
We may assume that F is as small as is possible and we will show that un-
der this assumption, F is the edge set of an elementary path from i to h.
First, we note that, F cannot contain the edges of a circuit: Suppose that
i11 (jl!h),h, (h,ja), ... , Us-l!is),js, Us.id is a circuit whose edges belong to
F. One may easily check that
L(1/(P;i,l - P;(i+l),l))r;i,;(i+l) = 0.
i=l
This relation could then be used to eliminate r; 1,;2 from the sum in (2.1.2),
contrary to the minimality of F. We conclude that F is the edge set of a forest
in (V(E), E). Suppose that j is a pendant vertex of this forest. Then j occurs
in only one term of the right hand side of (2.1.2) and the j'th component of the
right hand side is not zero. But then j = i or j = h. We conclude that F is the
edge set of a path from ito hand that (i, h) E {{E)).
Hence, {E)= {{E)) and{·) is the connectivity closure operator. 0
Combining this result with Exercise 1.5b we see that, in dimension one, the
concepts of rigidity, infinitesimal rigidity, and generic rigidity coincide.
24 CHAPTER 2. INFINITESIMAL RIGIDITY
(2.2.1) L Sijrij = 0,
(i,j)EE
where rij is the row corresponding to the edge (i,j), Sij is a scalar, and some
Sij =F 0. To simplify the notation we will define Sij to be zero for all edges
(i,j) E (K -E). Then the sum in (2.2.1) can be taken over K. We will consider
the rigidity matrix in its condensed form where the columns are indexed by the
vertices: if the vertex i is not equal to either endpoint of the edge (j, k), then
the entry in row (j, k) and column i is the zero vector; the entry in column i and
row (i,j) is Pi- Pi and the entry in column j and row (i,j) is Pi- Pi· If we
consider the sum in (2.2.1) one column at a time, we see that, for each i E V(E),
we must have:
pl = (0,0) p2 = (1,0)
is indicated by the value 8;,;. In the above example, the horizontal and ver-
tical members are compressed springs, and the diagonal members are extended
springs. The dependency condition at each vertex says that the sum of the forces
there is zero, so that the structure is stable.
Now suppose that E consists of all of the edges of K except the edge (1, 2),
and let 8;,; be any dependency relation for the set of remaining edges. In order
that (2.2.2) is satisfied at Pt, we must have s13 = 814 = 0: two nonzero vectors
can sum to zero only if they are negatives of one another; but, no nonzero
multiples of (Pt - P3) and (Pt - P4) can be negatives of one another since these
vectors have non-parallel directions. Similarly, 8 23 = 8 24 = 0 and it follows that
s 34 = 0. Hence, the rows corresponding to the edges of E satisfy no non-trivial
dependency relation. This last example, coupled with Theorem 2.2.1 shows that
the tetrahedron minus an edge is generically independent in the plane.
In Figure 2.10, we have two embeddings of the complete bipartite graph K3,3,
i.e., a graph on six vertices with nine edges which may be described as a 6-circuit
with its three major diagonals. To the embedding illustrated in 2.10a we have
2 3
2
FIGURE 2.10. Two frameworks on K3,3·
of stresses for E, not all zero, which satisfy the equations in (2.2.2) above, is
often called a non-trivial resolvable set of stresses for E. Hence an edge set E is
dependent with respect to an embedding p if and only if it admits a resolvable
set of stresses. Clearly, the collection of resolvable stresses for E form a subspace
of RE; we denote this subspace by S(E).
In the special case E = K, we consider the linear transformation T : RK -+
(Rm) v where (T( s ))i is given by:
P3 = (0,1)
P4 = (x,y)
P1 = (0,0)
general embedding, i.e. x "' 0, y "' 0, and x + y "' 1. One easily checks that, for
any s E RK, we have:
T(sh = (-s12- xs14, -s13- ys14)
T(s)2 = + s23 + (1- x)s24, -s23- ys24)
(s12
T(s)a = (-s23- XS34,s13 + s23 + (1- y)s34)
T(s)4 = (xs14 + (x -1)s24 + xs34, ys14 + ys24 + (y- 1)s34)
We may now ask if the edge set K is independent with respect to this em-
bedding, or alternatively, if it is dependent, i.e. if there exists a non-trivial s so
that T(s) is the zero vector. To answer this second question, we check to see if
the set of eight equations in six unknowns obtained by setting each coordinate
of T(s)i to zero for each i, has a non-trivial solution. The answer is yes and it
is left as an exercise for the reader to show that the solution set to this system
has the description given below.
Exercise 2.13. The solution set to the system just described has the form of
all S E RK such that·. s12 -- -..,"'S 14.• s13 -- - ys 14.· s23 -- (1-a:-y)'
-a:11811 • s24 -- (1-a:-y)'
z8' 4 •
and s34 -- (1 11811
a: y).
We conclude, from Exercise 2.13, that K is dependent with respect to this
embedding. In view of the examples in Figure 2.10, it is natural to ask if there is
any planar embedding, with respect to which, K is independent. The answer is
28 CHAPTER 2. INFINITESIMAL RIGIDITY
no. This will follow once we prove Lemma 2.2.2 which implies that the generic
embeddings are invariant under a change of coordinates. Hence we may assume
that the embedding in Fig 2.11 is generic.
We return to the general case where n and m are arbitrary, and consider
E ~ K. To investigate the possible dependence of E, we consider 1jE. the
restriction of the linear transformation T to the subspace RE (of RK), which,
of course, is also a linear transformation, and call it the stress operator of the
framework (V,E,p). In order to simplify the notation we will continue to write:
:~::>i;(A(p)i- A(p);) = 0.
j=i
We conclude that the rows of R(A(p)) which correspond toE are dependent.
Part a now follows by symmetry; specifically the invertability of affine transfor-
mation. (See Exercise 2.16 below). Part b follows at once from part a. 0
PROOF. Let V = {1, ... ,m} and let p: V--+ am be an embedding which is
not general. Without loss of generality, we may assume that P1, ... , Pk span a
(k- I)-dimensional affine space and that Pk+l lies on that affine space where
k $ m. Let U = { 1, ... , k + 1}. Changing coordinates if necessary, we assume
that Pi = ei, for i = 1, ... , k. It follows that Pk+l = (x1, x2, ... , Xk, 0, ... , 0)
where x1 + x2 + · · · + Xk = 1. Let Sij = -XiXj, for 1 $ i < j $ k and let
si(k+l) =Xi, for 1 $ i $ k. One easily checks that for each i = 1, ... , k + 1
L Sn;(Pi- P;) = 0.
;.;i
Thus, K(U) is dependent. However, by Corollary 1 to Theorem 2.2.1 and
Lemma 2.2.1c, K(U) is generically independent. We conclude that p is not
generic and, if coordinates have been changed, the original embedding was not
generic. 0
(2.2.6)
Combining 2.2.5 and 2.2.6 and Lemma 2.2.1, we see that E is independent
if and only if dim(im(TjE).L) = mn -lEI. In the next section, we will see that
im(TjE).L is none other than the space of infinitesimal motions of the framework
(V(E), E, p)! We close this section with a couple of exercises, the first of which
is to verify a lemma which will prove to be most useful in the next section.
THEOREM 2.3.1. Let V, the embedding p of V into IRm, and the edge set
E ~ K be given. Let 11E be the stress opemtor from JR.E into (JRm) v. The set
of infinitesimal motions of the framework (V, E, p) is a subspace of (Rm) v. In
fact, it is the orthogonal complement of the subspace spanned by the rows of the
rigidity matrix R(p) which correspond to the edges of E or, equivalently, the
orthogonal complement of the image of 11E.
We will denote this space of infinitesimal motions of E by V(E), (denoted
simply by V in the introduction). Combining this theorem with equations 2.2.5
and 2.2.6 of the previous section yields:
COROLLARY 2.3.1. Let V, the embedding p of V into Rm and the edge set
E ~ K be given. Then:
dim(V(E)) = nm -lEI+ dim(S(E)),
where S(E) denotes the space of resolvable stresses for E.
In order to decide whether or not (V(E), E, p) is rigid, we must compare V(E)
with V(K(V(E))), (denoted by V in the introduction). To simplify the notation,
we will denote V(K(V(E))) by V(E); we call this the space of infinitesimal
isometries of V (E), the reason for selecting this terminology will soon become
clear. Since E ~ K(V(E)), the orthogonal complement of the space spanned by
the rows of R(p) corresponding to E contains the orthogonal complement of the
space spanned by the rows of R(p) corresponding to K(V(E)). We have:
LEMMA 2.3.1. Given V, the embedding p of V into IRm and E ~ K; the space
V(E) is a subspace ofV(E).
As in the introduction, we will say that the framework (V(E),E,p) is in-
finitesimally rigid (with respect to the embedding p) if V(E) = V(E) and we
will call an infinitesimal motion in V(E)- 'D(E) an infinitesimal flex of E.
The natural place to start our investigation of the space V(E) is with a con-
sideration of the infinitesimal direct isometries of IRm. By an isometry oflR.m, we
mean a one to one function from Rm onto Rm which preserves the distance be-
tween pairs of points. These can be classified as orientation preserving (direct),
e.g. translations and rotations, or orientation reversing (opposite), e.g. reflec-
tions. Of these only the direct isometries can be achieved by a motion within
IRm. Thinking of a direct isometry as a motion, we may then consider the vector
field of the initial velocities of the points of Rm under this motion. We can give a
straight forward definition of such a vector field: a vector field U : IRm -+ IRm is
an infinitesimal isometry oflRm if (U(x)- U(y))*(x-y) = 0, for all x,y E Rm.
If U is an infinitesimal isometry of Rm, then it is clear that u E (JRm) v defined
by 11i = U(pi), for i = 1, ... , n, is an infinitesimal motion for (V, E, p), for all
E ~ K. With the next few results, we will prove that the infinitesimal motions of
(V, E, p) obtained by restricting the infinitesimal isometries of Rm to V (E) are
the infinitesimal motions in V(K(V(E))). To facilitate these proofs, we define,
32 CHAPTER 2. INFINITESIMAL RIGIDITY
While the reader may be familiar with the mathematics of the isometrics of
IR, the infinitesimal isometrics are likely to be unfamiliar objects; hence, we take
time to explore them here. We will denote the space of infinitesimal isometrics
of IRm by zm. We start our investigation by proving a very useful lemma.
LEMMA 2.3.2. Let S be any set of m points in IRm which is in general position
and let T be a subset of IRm containing S and also containing a set of m + 1
points in general position.
a. If V is any infinitesimal isometry of S, then there is at most one in-
finitesimal isometry U of Rm such that U restricted to S equals V.
b. If U and W are two infinitesimal isometries ofT such that U(x) =
W(x}, for all x inS, then U = W.
PROOF. LetS= {p1, ... ,pm}· Suppose that U and Ware two infinitesimal
isometries ofT such that U and W simply agree on the set S. Let x be any point
of T not on the hyperplane containing {p1 , ••• , Pm} and consider X = U - W.
Thus X is an infinitesimal isometry of IRm and we have:
LEMMA 2.3.3. Let V and the embedding p ofV into Rm be given so that either
p(V) is in general position or contains a set of m + 1 points in general position;
2.3. INFINITESIMAL MOTIONS AND ISOMETRIES 33
(0,0)
(-x,-y) \
(x, y) is proportional to the distance of (x, y) from the origin. With this example
in mind, we define the vector field Ron R 2 by R(x, y) = ( -y, x), for all (x, y).
Exercise 2.23. Consider the actual rotation u of the plane defined by
If we fix x and y and permit 8 to vary from 0 to some positive value, we get a
parametric description of the trajectory of the point (x, y) under this rotation.
Differentiate this trajectory with respect to 8 and evaluate the derivative at 0.
Exercise 2.24. Consider the vector field R on R2 defined by R(x, y) =
(-y,x).
a. Show that the vector field R is an infinitesimal isometry.
b. Show that, ifU is any infinitesimal isometry of the plane with U(O, 0) =
(0, 0), then U = cR for some real number c.
c. Show that {Tl> T2, R} is a basis for the space of infinitesimal isometries
of the plane. (Hint: Let U be any infinitesimal isometry of the plane
and let U(O,O) = (a,b). Now apply Part b of this exercise toW=
(U- aT1- bT2).J
d. Use your work in Part c to show that, if U is any infinitesimal isometry
of the plane, then U(x, y) = (a- cy, b +ex) for some set of constants
a,b,c.
e. Use the formula developed in Part d to show that either U is a translation
(if c = 0} or U is an infinitesimal rotation about the point ( -b/c, afc).
(Note: a fixed point of an isometry corresponds to a "zero" of the asso-
ciated infinitesimal isometry.)
2.3. INFINITESIMAL MOTIONS AND ISOMETRIES 35
In the next lemma, we observe that these rotations along with the coordinate
translations form a basis for the space of all infinitesimal isometries of !Rm.
We conclude that all of the coefficients must be zero and the infinitesimal isome-
tries are independent.
Finally, let U be any isometry of S. We have just shown that the restriction
of U to S' is the restriction of an isometry of Rm to S'. Hence, by Lemma 2.3.2a,
U is the restriction of an isometry of Rm to S'. 0
PROOF. Part b follows directly from the theorem as does the fact that the
space of isometries of p(V(E)) has dimension (mt 1). Note that, in constructing
an infinitesimal isometry W of E, we may define W independently on each
vertex in p(V- V(E)) and assign it to be any infinitesimal isometry of p(V(E))
on p(V(E)). Hence, the dimension of V(E) is equal to m(n -IV(E)I) plus the
dimension of the space of infinitesimal isometries of p(V(E)). 0
PROOF. Parts a and b follow at once from the definitions of dn(E) and df(E).
2.4. INFINITESIMAL AND GENERIC RIGIDITY 37
PROOF. Let dfp(E), dfq{E), dnp(E) and dnq{E) denote the degree of free-
dom and dependency number of E with respect to the embeddings p and q, where
pis any general embedding of V into Rm and q is any generic embedding of V into
Rm. We wish to show that dfp{E) = 0 implies that dfq{E) = 0. If IV{E)I < m,
we have from Theorem 2.4.1d: dfq{E) = IV(E)I(IV(E)I- 1}/2 -lEI = dfp(E).
Now assume that IV(E)I > m. Similarly, from Theorem 2.4.1c we get that
dnp(E) - dfp{E) = dnq{E) - dfq{E).
Since q is a generic embedding, dnp(E) ~ dnq{E) (see Exercise 2.25 below).
Hence, dfp(E) ~ dfq{E) ~ 0. D
This result leads us to define an edge set E to be generically rigid {for dimen-
sion m) if it is rigid with respect to all generic embeddings into m-space and to
reformulate the corollary:
P1
Ps=(-1,1)
Similarly, U(p3 ) = (0, b). Now let U(p6 ) = (x, y). Each of the three edges
containing p 6 yields an equation:
LEMMA 2.5.1. Let V and the embedding p ofV into amn be given. Let K =
K(V) and let 0 be the closure operator of this embedding. Let E ~ K and
(i, j) E K. Then (i, j) is independent of E if and only if there is an infinitesimal
motion u of E such that 'Ui; =F 0.
PROOF. Let R(p) denote the rigidity matrix of {V,K,p). By Theorem 2.3.1,
V(E) is the orthogonal complement of the space spanned by the rows of R(p)
corresponding to the edges in E and V( EU {(i, j)}) is the orthogonal complement
2.5. RIGIDITY MATROIDS 41
of the space spanned by EU{ (i, j)}. It follows by a simple linear algebra argument
that V(EU{(i,j)}) ~ V(E) with equality if and only if the row of R(p) associated
with (i, j) is in the span of the rows associated with E, i.e. if and only if (i, j) is
in the closure of E. Thus (i,j) is independent of E if and only if there exists a
vector assignment u in V(E) but not in V(E U {(i,j)} ), i.e. if and only if there
exists an infinitesimal motion u of E such that 'Ui; =/: 0. 0
Exercise 2.29. Fill in the linear algebra aryument omitted in the proof of
Lemma 2.5.1.
LEMMA 2.5.2. Let V and the embedding p of V into :R.m be given. Let K =
K(V) and let(-) be the closure operator of this embedding. Then, for all E ~ K,
{E)~ K(V(E)); furthermore, E is rigid if and only if {E)= K(V(E)).
of this section, the identification of additional conditions that one may impose
in order to characterize the m-dimensional generic rigidity matroid, we must
develop some of the fundamental properties of abstract rigidity matroids. This
development will include some results already familiar to us, as we have proved
them for infinitesimal rigidity matroids. Hence many of the results in this section
should be viewed as generalizations or extensions of similar results in the previous
sections.
Let ( ·) be the closure operator of an m-dimensional abstract rigidity matroid
on V, let U be a subset of V and let E ~ K(U). As we have noted, (E) ~
K(V(E)). Since V(E) ~ U, we have (E) ~ K(U); Thus, the restriction of(-) to
the subsets of K(U) is an operator on K(U). Clearly, conditions Cl through C6
hold for the restriction of(-) to the subsets of K(U); hence, this restriction is the
closure operator of an m-dimensional abstract rigidity matroid on U. We have
proved Lemma 2.5.3a. Parts band c of that lemma follow from the fact that
the restriction to U of a general (generic) embedding of V into Rm is a general
(generic) embedding of U into Rm.
LEMMA 2.5.3. Let the finite set V be given and let U ~ V. Let (·) be an
opemtor on· K = K(V).
a. If (-) is the closure opemtor of an m-dimensional abstmct rigidity ma-
troid for V then the restriction of(-) to the subsets of K(U) is an m-
dimensional abstmct rigidity matroid for U.
b. If (-) is the closure opemtor of an m-dimensional infinitesimal rigidity
matroid for V then the restriction of(·) to the subsets of K(U) is an
m-dimensional infinitesimal rigidity matroid for U.
c. If (·) is the closure opemtor of an m-dimensional generic rigidity ma-
troid for V then the restriction of(·) to the subsets of K(U) is an m-
dimensional generic rigidity matroid for U.
The next lemma is devoted to some of the more useful properties of closure
and independence in a matroid.
LEMMA 2.5.4. Let(·) be the closure opemtor of a matroid on the set K.
a. If E ~ K is independent and F ~ E, then F is independent.
b. If E ~ K is independent and e E K - E is independent over E, then
E U {e} is independent.
c. If A ~ K and E ~ A is a maximal independent subset of A, then
(A)= (E).
d. If A ~ K, then all maximal independent subsets of A have the same
cardinality.
e. If((·)) is a second closure opemtor on K with the same closetlsets as(·),
then ((A)) = (A) for all A ~ K.
PROOF. Parts a and b follow directly from the definitions and are left as an
exercise for the reader.
44 CHAPTER 2. INFINITESIMAL RIGIDITY
FIGURE 2.14.
THEOREM 2.5.3. Let the finite set V and the integer m be given; then gm(V)
is symmetric.
PROOF. Let (·} be the closure operator of gm(V), let u be a permutation
of V. Let q = pu. Thus, for every E ~ K, the frameworks (V(E),E,q) and
(V(u(E)), u(E), p) are identical and u(E) is independent with respect to p if
2.5. RIGIDITY MATROIDS 45
While the generic rigidity matroids are symmetric, this property is not suffi-
cient to characterize them, i.e. there are other abstract rigidity matroids which
are symmetric. In fact there are 2-dimensional infinitesimal rigidity matroids
which are symmetric but not generic.
Let the finite set V be given and consider the set of embeddings of V into the
unit circle of IR.2 given by x 2 +y2 = 1. As in the definition of generic embeddings,
we assign to each edge set E the algebraic set XE consisting of those embeddings
for which E is dependent. We say that pis generic if p ¢ UXE, where the union
is taken over all E such that XE ¥: IR.nm. We define p to be circle generic if
p ¢ UXE, where the union is taken over all E such that XE does not contain all
embeddings of V into the unit circle. Clearly almost all embeddings into the circle
are circle generic. We define the 2-dimensional circle rigidity matroid on V to be
the infinitesimal rigidity matroid on V given by any circle-generic embedding.
We denote this matroid by g~(IVI). In the next exercise, you will show that
g~(IVI) is symmetric but that it is not equal to g2(V) whenever lVI ; : : 6. The
latter conclusion will follow from the fact that the complete bipartite graph K 3 ,3
is generically independent (Exercise 2.12c) but dependent in g~(IVI).
Exercise 2.32. Let the finite set V be given.
a. Prove that g~(IVI) is symmetric.
b. Prove that, if lVI ; : : 6, then the edge sets of the subgraphs of (V, K)
which are isomorphic to the complete bipartite graph Ka,a are dependent
in g~(IVI).
An important function associated with a matroid on a set S is therank func-
tion: for any T ~ S, r(T) is the size of a maximal independent subset ofT.
As we will see, the matroid is uniquely determined by its rank function. Some
of the fundamental properties of an m-dimensional abstract rigidity matroid
(Lemma 2.5.6) are stated in terms of the rank function. But, before we prove
that lemma, we assemble several of the simple properties of the rank function of
an m-dimensional abstract rigidity matroid.
LEMMA 2.5.5. Let the finite set V be given, let E ~ K = K(V), let(·} be the
closure operator of an m-dimensional abstract rigidity matroid for V, and let r
be its rank function.
a. E is independent if and only if r(E) = lEI.
b. E is independent if and only if, for all (i,j) E E, r(E- (i,j)) < r(E)
c. IfF~ E then r(F)::;; r(E).
46 CHAPTER 2. INFINITESIMAL RIGIDITY
d. Let {i,j) E {K -E), then r(EU {{i,j)}) is either r(E) or r(E) + 1, with
the latter case holding if and only if (i, j) is independent of E.
e. r{(E)) = r(E).
Exercise 2.33. Prove Lemma 2.5.5.
LEMMA 2.5.6. Let the finite set V be given and let r be the mnk function of
an m-dimensional abstract rigidity matroid for V.
a. Let E ~ K(V), io E (V- V(E)), and let it. ... , ik E V(E) with k ~ m.
Then r(E U {{io, il), ... , (io, ik)}) = r(E) + k.
b. For any U ~ V:
(k)
{ m2k- if lUI = k ~ m + 1;
r(K(U)) = (m2+1) if IU I =k2::m+l.
PROOF. Part a: Let E' be a largest independent subset of E, let Fo be the
empty set and, for j = 1, ... , k, let F; = {(i0 , il), ... , {io, i;)}. Finally, for
j = 0, 1, ... , k, let H; = E' UF;. Clearly, H 0 = E' and is therefore independent.
We wish to prove that H; is independent, for all j. We proceed by induction
on j. Note that H;+1 = H; U {{io, i;+l)}. Assuming that H; is independent,
we need only show that (io, i;+l) does not belong to the closure of H;. But,
we have, by condition C5: (H;) = (E' U F;) ~ (K(V(E'))) U (K(V(Fj))). We
have that i;+l ¢ V(F;) and, since (E') ~ (E), we have that io ¢ V(E'). Hence,
{io, i;+l) ¢ (H;) and H;+l is independent. Since Hk is an independent subset
of E U Fk, we conclude that r(E U Fk) 2:: IHkl = IE' I+ k = r(E) + k. Finally by
repeated applications of Lemma 2.5.5d, r(E U Fk) ~ r(E) + k.
Part b: We consider first the case k ~ (m + 1). Let U = {i 1, ... , ik} and let
U; ={it.··· ,i;}, for j = 1, ... ,k. Since, K(U1 ) is empty, it is independent.
We proceed by induction and assume that r(K(U;- 1 )) = (j - 1)(j - 2)/2 and
note that
K(U;) = K(U;- 1) u {{it. i;), · · · , (i;-t. i;)}.
Thus, by Part a, r(K(U;)) = r(K(U;- 1 )) + (j -1) =g).
Now assume that k 2:: {m+1) and let U = SU{it. ... ,ih}, where lSI= m and
h = k-m. Let Eo= K(S) and inductively define E; to be E;-1 U{{s, i;)ls E 8}.
We wish to show that E; is both independent and rigid, for j = 0, 1, ... , h. We
proceed inductively noting that Eo is clearly rigid and, by the previous case,
independent. Assume that E;- 1 is independent and rigid. Then, by Part a, E;
is independent. Observe that E; = E;- 1 U K(S U {i;} ). Thus, by condition C6,
E; is rigid.
One easily verifies that IEhl = mk- (mt 1). Since Eh is independent, r(Eh) =
mk- (mt 1); since Eh is rigid,
0
2.6. ISOSTATIC SETS 47
Let the finite set V be given and let K = K(V). The isostatic sets of{;h(V) are
easy to describe. As we stated at the beginning of this section, the independent
sets of {h (V) are the edge sets of subforests of (V, K) and the rigid sets of gl (V)
are the edge sets of connected subgraphs of (V, E). Hence, the isostatic sets of
gl (V) are the edge sets of subtrees of (V, K). We may verify the conclusions of
Lemma 2.6.1 in dimension one: Let (V(E), E) be a tree. If IV(E)I = 2, then
(V(E), E) is the complete graph consisting of a single edge; if IV( E) I ~ 2 then
lEI = IV(E)I-1, each vertex of (V(E), E) has valence at least one and (V(E), E)
contains at least one pendant vertex.
This very last observation enables us to describe a method for constructing all
!-isostatic sets (trees) in (V, K). If (V(E), E) is a subtree of (V, K), then it must
have a pendant vertex. Let i be this pendant vertex and let j denote the single
vertex adjacent to i. Then one easily sees that (V (F), F), where F = E- { (i, j)},
is also a tree. Conversely, if (V(F), F) is a subtree of (V, K) and if i E V- V(F)
and j E V(F), then (V(E), E), where E = F U {(i,j)}, is also a tree. Thus,
starting with a single edge and attaching several pendant vertices, one at a time,
always results in a tree. Furthermore, all trees are constructed in this way. The
natural question to ask is whether the construction can be extended to higher
dimensions.
Let the finite set V be given and consider an m-dimensional abstract rigidity
matroid Am for V. Let E ~ K = K(V), let U ~ V(E) where lUI = m and let
i E (V- V(E)). The edge set F = E U {(i,j)lj E U} is called a 0-extension of
E (in dimension m).
THEOREM 2.6.1. Let the finite set V and the positive integer m be given and
let Am be an m-dimensional abstract rigidity matroid for V. Let F ~ K = K (V)
be an isostatic set in Am and let E be a 0-extension ofF with V(E) ~ V. Then
E is isostatic in Am. Conversely, if E is isostatic in Am and (V(E), E) has a
vertex of valence m, then E is a 0-extension of some isostatic set in Am·
By Lemma 2.5.6,
By direct computation,
COROLLARY 2.6.1. Let the finite set V and the positive integerm be given and
let Am be an m-dimensional abstract rigidity matroid for V. Let F ~ K = K(V)
be independent in Am and let E be a 0-extension ofF with V(E) ~ V. Then
E is independent in Am· Conversely, if E is independent in Am and (V(E), E)
has a vertex of valence m, then E is a 0-extension of some independent set in
Am.
COROLLARY 2.6.2. Let the positive integers m and h and the finite set V,
with lVI ~ m + h, be given and consider Am, an abstract rigidity matroid for
V. Let Uo be an m-subset ofV, let it, ... , ih be distinct vertices in V- Uo. Let
Eo = K(Uo) and, for j = 1, ... , h, let E; be a 0-extension of E;-t· Then, for
j = 1, ... , h, E; is isostatic in Am.
let U ~ V(F) where lUI = m + 1, let (h, k) E F(U) and let i E {V - V(F)).
The edge set E = F- {(h,k)} U {{i,j)lj E U} is called a !-extension ofF (in
dimension m).
THEOREM 2.6.2. Let the finite set V and the positive integer m be given. Let
F ~ K = K(V) be an isostatic set in Qm(V) and let E be a !-extension ofF
with V(E) ~ V. Then E is isostatic in Qm(V). Conversely, if E is isostatic in
Qm(V) and (V(E), E) has a vertex of valence m + 1, then Eisa !-extension of
some isostatic set in Qm(V).
PROOF. Without loss of generality, we may assume that V = {0, 1, ... , n},
that n is a vertex of valence m + 1 in (V(E), E),that the set of neighbors of n
in this graph is U = {0, 1, ... , m} and that F = E- {(n, i)li = 0, 1, ... , m}.
Now choose an infinitesimal generic embedding p of V. By Lemma 2.2.2 we
may assume without loss of generality that Po is the origin and that Pi = «!i,
for i = 1, ... , m. In this proof we will consider the Pi as column vectors and
the vectors 11i of an infinitesimal motion as row vectors. Hence the usual inner
product of 11i with P; will be written as a matrix product UiPj
Assume first that E is isostatic. Then F is independent and there exists an
infinitesimal flex u of E- {{0, n)} and hence ofF which has Uon =F 0. Suppose
that u;k = 0 for all j, k E U. This means that u agrees with an infinitesimal
isometry w oflR.m restricted to U (Theorem 2.3.2b). Since (wn-wi)(Pn-Pi) = 0
for i = 1, ... , m, we may solve this system of equations for wn:
Wn = {w1{Pn- pl), · · · ,wm{Pn- Pm))M- 1,
where M is the m by m matrix with the vectors Pn - Pi as columns. Since the
points of p(V) are in general position M is invertible. Similarly:
Un = {u1 {Pn - pl), · · · , Um{Pn - Pm))M- 1,
Since w1 = u1, ... , Wm = Um, we conclude that Un = Wn· Replacing n by 0 in
this argument we also get Uo = wo. It follows that Uon =Won· But, since w is an
infinitesimal isometry, Won = 0 which is a contradiction. Hence our supposition
that u;k = 0 for all j, k E U must be false. Thus, for some j, k E U, F U {(j, k)}
is independent and, by a direct count and Lemma 2.6.1c, F U { (j, k)} is isostatic.
Now assume that, for some j and k E U, (j, k) is not in F and F U {(j, k)}
is isostatic. By relabeling if necessary, we may assume that {0, 1) is not in F
and F U {{0, 1)} is isostatic. By Corollary 1 to Theorem 2.6.1, E - {{0, n)} is
independent. Now, let u be an infinitesimal flex ofF which has Uo1 =F 0.
By solving the system
{2.6.1)
for Un, we may extend u to an infinitesimal flex of E- {(0, n)}. We may expand
each equation in {2.6.1):
((Ui - Uo) - (un - uo)) * ((pi -Po) - (Pn -Po)) = 0.
52 CHAPTER 2. INFINITESIMAL RIGIDITY
UOi - (Un - Uo) *(Pi -Po) - (ui - uo) * (Pn -Po) + UOn = 0.
Using the equations in this form and recalling that Po = 0 and Pi = ~. for
i = 0, ... , m, we rewrite the system (2.6.1) as a matrix equation:
(2.6.2)
where Q is them x m matrix with (Ui- u 0 ) as i'th row and J is the 1 x m row
vector of l's. Solving (2.6.2) for (Un- Uo) gives:
(2.6.3)
Observe that the right hand side of (2.6.3) is a quadratic polynomial in the
coordinates of Pn, that the coefficients involve only the coordinates of the vectors
Ui, for i = 0, ... , m, and that, since Uol is not zero, this is not the trivial
polynomial. Since p is generic, we may assume that the coordinates of Pn are
not a zero of this polynomial, i.e. that the right hand side is not zero. We
conclude that UOn is not zero. Thus (0, n) is independent over E- {(0, n)} and
E is independent. Hence by computing lEI and applying Lemma 2.6.1c, we have
that E is isostatic 0
COROLLARY 2.6.1. Let the finite set V and the positive integer m be given.
Let F ~ K = K(V) be independent in Qm(V) and let E be a !-extension of
F with V(E) ~ V. Then E is independent in Qm(V). Conversely, if E is
independent in Qm(V) and (V(E), E) has a vertex of valence m + 1, then E is a
!-extension of some independent set in Qm(V).
COROLLARY 2.6.2. Let the positive integers m and h and the finite set V,
with lVI ~ m + h, be given. Let Uo be an m-subset of V, let i1, ... , ih be distinct
vertices in V - Uo. Let Eo = K(Uo) and, for j = 1, ... , h, let E; be either a
0-eztension or a !-extension of E;-1· Then, for j = 1, ... , h, E; is isostatic.
Exercise 2.37. Prove these two corollaries.
Intuitively, we may interpret a !-extension as follows: Given a graph (V(F), F)
where F is generically isostatic (independent) and given an edge ij in F we "split
it", i.e., insert a new vertex n in that edge and then add m- 1 additional edges
between nand other vertices in V(F). Then, the edge set of the graph (V, E),
which is obtained by this process, is also generically isostatic (independent)
Exercise 2.38. Prove that the complete bipartite graph Ks,t is independent
when either s or tis m or less and n ~ s + t. Which of these are rigid?
2.6. ISOSTATIC SETS 53
Exercise 2.39. Prove that the complete bipartite graph K 8 ,t, where s = m+l
and t = {mi 1), is isostatic in Qm(n), where n ~ {mi 2). Hint, start with the
complete graph on m+ 1 vertices and split each vertex.
The next chapter is devoted to the development of matroid theory. The ab-
stract rigidity matroids will be our primary set of examples of matroids and we
will prove a variety of results for these matroids. For the reader familiar with
matroid theory who may wish to skip Chapter 3, we have added a summary sec-
tion at the end of that chapter containing all matroid results concerning abstract
rigidity matroids.
Chapter 3. Matroid Theory
3.1. Closure Operators. Given a finite set E, the power set of E, denoted
by 'P(E), is the collection of all subsets of E. A matroid M is a finite set E
together with an operator (·) mapping 'P(E) into 'P(E) such that the following
four conditions are satisfied for each subset T of E.
Cl: T ~ (T);
C2: If R ~ T, then (R) ~ (T);
C3: ((T)) = (T).
C4: If s, t E (E- (T)), then s E (T U {t}) if and only if t E (T U {s}).
An operator satisfying these four conditions is called a matroid closure oper-
ator, the set (T) is called the closure of T; a subset F of E is called closed in
M ifF is the closure of some subset of E or, equivalently, if (F) =F. In the
next theorem we list several useful properties of closed sets. Some of these were
discussed earlier; see Exercise 2.4.
THEOREM 3.1.1. Let 0 be the closure operator for the matroid M onE, then
a. F is closed if and only ifF = (F).
b. E is closed.
c. If S, T ~ E are closed then S n T is closed.
d. (S) is the intersection of all closed sets containing S.
In Section 2.1 (see Lemma 2.1.2) we proved that the closure operator as-
sociated with a framework is the closure operator of a matroid. In exercises
55
56 CHAPTER 3. MATROID THEORY
Exercise 3.1. Consider the closure operators, described in the previous ex-
amples, of the vectorial matroids and the complete connectivity matroids.
a. Show that each of these closure operators is a matroid closure operator.
b. In each case describe the closed sets of the matroid.
3.2. Independence Systems. The concept of a matroid has several formu-
lations, each emphasizing a different aspect of the structure, and we will discuss
most of them in this chapter. The formulation we discuss next is due to H.
Whitney. In 1935 Whitney, see (151), was the first to introduce the concept of
a matroid. He thought of the set E as a generalization of the set of columns of
3.2. INDEPENDENCE SYSTEMS 57
a matrix. The subsets of E are then of two types, dependent and independent.
Three conditions satisfied by the sets of columns of a matrix which are inde-
pendent are: the empty set is independent; any subset of an independent set is
also independent; and, given two independent sets one smaller than the other,
some element of the larger may be added to the smaller set to produce a new
independent set. Whitney observed that these three conditions alone were suffi-
cient to prove the uniqueness of the concept of rank: given a matrix all maximal
independent sets of columns contain the same number of columns. Whitney's
formal definition of a matroid is as follows:
A matroid is a pair (E,I) where E is a finite set and I is a collection of
subsets of E such that
11: 0 E I;
12: If ft E I and I2 ~ I11 then I2 E I
13: If It and I2 are members of I and lit I < II2I, then there exists an
element e in I2 -It such that I1 + e is a member of I.
For now we will call a collection I satisfying 11, 12, and 13 an independence
structure for E; the sets in I are called the independent sets of the independence
structure. We have defined matroids in terms of the closure operator because it
is natural to do so from the point of view of rigidity theory. We must now show
that our definition and Whitney's original definition agree.
Let (·} be the closure operator of a matroid M on E. I ~ E is said to be
independent in M if, for all e E I, e ¢ (I - e}. Let I( (·}) denote the collection
of independent sets in M. On the other hand, suppose we start with I, the
collection of independent sets of an independence structure for E. We may
define the closure operator (-}z on the power set of E as follows: For any subset
A of E, define (A}z by x E (A}z if either x E A or there exists an independent
subset I of A such that I + x is dependent.
THEOREM 3.2.1. Let(-} be the closure operator of a matroid M onE and let
I be the independent sets of an independence structure for E. Then
58 CHAPTER 3. MATROID THEORY
PROOF. Let the matroid M onE with closure operator{-) be given. Clearly,
the empty set is in I({·)), and I({·)) is closed under~- To show, that I({·)) also
satisfies the third independence axiom, assume there are two sets It and I2 in
I({·)) with II2I < lit I and It+ x ¢I({·)) for all x E It- h Among all such
pairs of sets choose It and I2 such that their intersection is as large as possible.
Clearly, {It) 2 {I2) and I2 is not a subset of It. Moreover, by the definition of
independence, we have that for all y E {I2), {I2 - y) is a proper subset of {I2).
Therefore, for y E (I2- It), there must be an x in It with x ¢ {I2- y). But then
I2 -y+x is in I({·)) because z E {I2- y- z+x) together with z ¢ {I2 -y- z)
implies by the fourth closure axiom that x E {I2 - y), contradicting the choice
of x. Now It and I2- y + x are independent sets whose intersection is larger
than that of It and h Thus there is a z E (I2- y + x) -It ~ I2- I11 so that
It+ z E I({·)), a contradiction.
Now we want to show that {-)z is a matroid closure operator. The first closure
axiom is clearly satisfied. Assume that A~ Band that x E {A)z. If x E A then
x E B ~ {B)z; if I ~ A is independent and I + x is dependent, then I ~ B
and x E {B)z. This shows that {A)z ~ {B)z. If I is a largest independent set
in A, then, by Lemma 3.2.1, it is a largest independent set in B = {A)z and
{A)z = {I)z. Thus {{A)z)z = {B)z = {I)z = {A)z, so that condition C3 holds.
To check C4, assume x, y ¢ {A)z, y E {A+x)z. Then there exists an indepen-
dent subset I of A + x containing x such that I+ y is dependent. I' = I - x + y
must also be independent, since y ¢ {A)z. But, I' +xis dependent, which means
that x E {A+ y)z and C4 is satisfied.
Checking that {·)z((·)) = {-) and I({·)z) =I is left as an exercise for the
reader. 0
a. Adapt one of the standard proofs of (Philip) Hall's Theorem to show that
I, as defined in Example 3.2.1, is the collection of independent sets of a
matroid on E.
b. Describe the closure operator for this example.
c. For the two element set X = {a, b}, list the sixteen possible collections
of subsets of E = { c/>, {a}, {b}, X} and identify each as independent or
dependent.
EXAMPLE 3.2.2 (THE EUCLIDEAN MATROIDS).
a. Let E be a set of n points in real 2-space. A subset S of E is dependent
if S contains three points on a line, or more than three points. Let
I = { S I S is not dependent}
b. Let E be a set of n points in real 3-space. A subset S of E is dependent
if S contains three points on a line, or four points on a plane, or more
than four points. Let I= {SIS is not dependent}
EXAMPLE 3.2.3 (THE PARTITION MATROIDS). Let E be a finite set, h a pos-
itive integer, and P1 , ... , P~c a partition of E. Let
I= {I: IInJ'il::; h for all i = 1, ... ,k}.
Exercise 3.5. Consider Example 3.2.2a.
a. Show that I as defined in Example 3.2.2a is the collection of independent
sets for a matroid on E. Do the same for Examples 3.2.2b and 3.2.3.
b. Describe the closure operators of these matroids.
c. Show that if the points in Examples 3.2.2a or 3.2.2b are in general posi-
tion, then the matroid is the uniform matroid U(n, 2) or U(n, 3).
Exercise 3.6. Consider Example 3.2.3. If the condition that P1, ... , P~c form
a partition of E2 is relaxed and P1, ... , P~c are simply subsets of E, is I still a
matroid~
PROOF. Let I be the independent sets of a matroid and 8' the collection of
maximal independent subsets of I. Since 0 is independent, 8 is not empty. Let
B1 and B2 be maximal independent sets. IB1I = IB2I, since otherwise we could
use 12 and augment the smaller one of these sets by elements of the larger one
to increase its size, contradicting maximality. Let e 1 be an element of B 1 - B2.
Then B 1 - e1 is independent, and by 12, there is an e2 in B2- B 11 such that
B 1 - e 1 + e2 is independent, and B3 is satisfied.
Let 8 be a nonempty collection of subsets of E such that Bl and B3 are
satisfied, and define the collection I' to be the collection of subsets of members
of 8. The first two independence axioms are trivially satisfied. To show 13, let
It and I2 be subsets of members of 8 with lit I< II2I· Choose bases B1 and B2
containing It and I2 respectively, such that B 1 n B2 is maximal. Let e 1 be an
element of B1- It. By B3, there is an e2 in B2 such that B1 - e1 + e2 is a basis
Ba, and by our maximality assumption e2 must be contained in /a. So It+ e2
is a subset of Ba and 13 is satisfied. Part 3 follows from a simple set theory
argument. D
In general, let E be a finite set and r a function from the power set of E into
the nonnegative integers so that
Rl: r(0) = 0;
R2: r(S) ~ lSI;
R3: if S ~ T then r(S) ~ r(T);
R4: r(S U T) + r(S n T) ~ r(S) + r(T);
then r is called a rank function on E. If r is a rank function on Ewe define
I(r) = {I~ E I r(J) = III}
Condition R4 is called the submodular inequality. In the next theorem we
show that these two notions of rank function are equivalent.
THEOREM 3.4.1. Let I be the independent sets of a matroid onE and let r
be a rank function on E. Then
a. rz is a rank function E
b. I(r) is the collection of independent sets of a matroid
c. I(rz) =I
d. rz(r) = r
PROOF. Let M be a matroid defined on a set E by specifying a collection I
of independent sets. We will first show that its rank function, rz, satisfies Rl
through R4. The first three are trivially satisfied, so, to show R4, consider a
maximal independent subset I of SnT and augment I to a maximal independent
subset Is of S and augment Is to a maximal independent subset 1ST of S U T.
Then IT= (ISTnT) is an independent subset ofT but not necessarily maximal.
Thus, r(S n T) = Ill = lis nIT I, r(S u T) = lisT I = lis u IT I, r(S) = lis I and
r(T) ~ liT I· So, r(S n T) + r(S U T) = lis n ITI + lis U ITI = llsl + IITI ~
r(S) + r(T).
Conversely, consider a rank function ron E and consider the collection I(r).
By Rl, the empty set in I(r). If r(X) = lXI and Y ~ X we need to show that
r(Y) = IYI· Apply R3 to Y and X - Y to obtain r(X) ~ r(X - Y) + r(Y),
which, together with Rl, implies that r(Y) = IYI· To show 13, assume there are
in I(r) sets X andY such that lXI < IYI· Let Y- X= {x1, ... ,x~c} and let
xi = X+ X1 + ... +Xi, for i = 1, ... 'k. Apply R4 to xi and (X+ Xi)· Note
that Xi-1 u (X+ Xi) = xi and Xi-1 n (X+ Xi) = X. Thus, r(X,) + r(X) ~
r(Xi-1) + r(X +xi) or r(X,) ~ r(Xi-1 + [r(X +xi) - r(X)). Inductively we
have IYI = r(Y) ~ r(X~c) ~ r(X) + E~= 1 [r(X +xi)- r(X)] = lXI + E~= 1 [r(X +
x,) - r(X)]. Therefore, r(X + xi) > r(X) for some i and we easily see that
r(X +xi)= IX+ Xil and X+ Xi E I(r).
Therefore I(r) is the collection of independent sets of a matroid onE whose
rank function clearly is r. It is left to the reader to verify that I = I(r) and
rz(r) = r. D
Let M be a matroid on E and let r be the rank function of this matroid then
r(E) is called the rank of the matroid, and the notation r(M) is often used.
LEMMA 3.5.1. Let M be a matroid onE, let (-) denote the closure operator
of M and let C be the collection of cycles of M.
a. 0 ¢C
b. If C1 and C2 are different cycles, then C1 ~ C2
c. If C is a cycle and e E C, then C - e is independent
d. If D ~ E with e,e' E D where e E (D-e) and e' ¢ (D-e'), then
e E ((D-e') -e)
e. IfC is a cycle and e E C, then e E (C- e)
f. If D ~ E satisfies the condition that e E (D-e), for all e ED, then D
is the union of cycles
g. If C1 and C2 are cycles withe' E C1 n C2 and e E (C2- C1),then there
is some cycle C so that e E C ~ (C1 U C2- e').
PROOF.
a. Since 0 is independent, 0 is not dependent and 0 ¢C.
b. This follows from the minimality of C2 under inclusion.
c. C- e as a proper subset of C must, by minimality of C, be independent.
d. LetT= D-e-e'. Note that e' ¢ (T +e) and hence e' ¢ (T). On the
other hand, e E (T + e'). In view of condition C4 of the closure operator,
we must have e E (T).
e. Since C is a cycle it is dependent, hence e E (C - e) for some e E C.
We must show that this holds for all e E C. Suppose e' E C and
e' ¢ (C- e'). Then by the previous result, e E ((C- e') - e), i.e.
(C - e') is dependent, contradicting c above.
f. Let D satisfy the property that e E (D-e) for all e E D. We wish to
show that given eo E D then there is a cycle Co so that eo E Co ~ D.
Since Dis dependent, there is some cycle C ~D. If eo E C we are done.
Assume e0 ¢C. Let e' E C and note that e' E (C- e') ~ (D-e'- e0 ).
Hence D-eo ~ ((D-e')-eo) and (D'-eo) = (D-eo) where D' =D-e'.
Thus eo E (D'- eo). Suppose e" E D' and e" ¢ (D'- e"). Then by d
above, e0 E (D"- eo), where D" = D'- e". Repeating this last step as
often as needed results in D* a proper subset of D containing eo and
satisfying the property that e E (D* - e) for all e E D*. If D* does
not contain a cycle containing e0 , we may repeat the entire construction.
But the process must stop after a finite number of applications.
g. The proof of this part is very similar to the previous proof; hence it is
only sketched. Let C1 and C2 be cycles with e' E C1 n C2 and eo E
C2- C1. Let D = C1 U C2- e' and let e E C2- C1. Since e ¢ C1,
e' E (C1 -e') ~(D-e). But then (D-e)= (D- e+e') = (C1 U (C2-
e)) 2 (C2 -e) = (C2). Hence e E (D-e). If e E C1 - C2, the same
argument will again yield e E (D-e). However, if e E C1 n C2 - e',
the argument is not valid and e need not belong to (D- e) in this
case. If e E D and e ¢ (D-e), we may delete e and repeating this
step yields D* ~ D so that e0 E D* and D* satisfies the condition
64 CHAPTER 3. MATROID THEORY
that e E (D# - e) for all e E D#. This D# is the union of cycles and
eo E C ~ D# ~ Ct U C2 - e'. 0
As we will soon show, the properties a, b, and g from this lemma characterize
the cycles of a matroid. Given a finite set E, we call a collection C a cycle system
forE, if the following three conditions are satisfied:
Zl: If C E C then C -::f 0
Z2: If Ct and C2 are members of C then Ct ~ C2
Z3: If C 1 and C2 are members of C and if e' is an element of Ct n C2,
then for each e E (C2- Ct) there is an element C E C, such that
e E C ~ (Ct n C2- e'}.
EXAMPLE 3.5.1 (THE BINARY MATROIDS). Let E be a finite set, and let 'D be
a collection of subsets of E which is closed under b., the symmetric difference.
Then the minimal non-empty sets in 'D form a cycle system for E.
EXAMPLE 3.5.2 (THE CYCLE MATROID OF A GRAPH). Let G = (V,E) be a
graph, then the edge sets of the elementary circuits in G form a cycle system for
E.
Exercise 3.15. Verify that the collections of cycles described in both of the
Examples 3.5.1 and 3.5.2 are cycle systems.
Let (-} be the closure operator of a matroid M on E. Recall that D ~ E is
said to be dependent in M if there exists an e ED such that e E (D-e). Let
C( (·}) denote the collection of cycles, i.e. minimal dependent sets in M.
Let C be a cycle system for E. We define the closure operator (·}c in the
power set of E as follows: For any subset A of E, define its closure by (A}c =
{e E E I e E A ore E C E C such that C- e ~A}
THEOREM 3.5.1. Let(-} be the closure operator of a matroid M onE and let
C be a cycle system for E. Then
a. C((·}} is a cycle system forE
b. (·}c is a closure operator of a matroid on E
c. (·}c((·)) = (-}
d. C((·}c) = C
LEMMA 3.5.2. Let M be a matroid onE with rank function r, closure operator
{·), dependent sets 'D, bases B, and cycles C. Then
a. ifC E C then r(C} = ICI-1
b. ifr(S) = ISI-1 and, for all e E S, r(S- e)= ISI-1, then SEC.
c. {S) = S U { e I there is C E C s. t. e E C ~ S + e }
d. B E B if and only if B ¢ 'D and B + e E 'D for all e E E - B
e. BE B if and only if B ¢ 'D and {B)= E.
f. If B E B and e E E - B, then B + e contains exactly one cycle C E C.
Moreover, C contains e.
PROOF.
a. This part follows directly from lemmas 3.4.1c, 3.4.1e, and 3.5.1c.
b. By Lemma 3.4.1c, S- e is independent for all e; by Lemma 3.4.1f,
e E {S- e), for all e. It follows at once that Sis a minimal dependent
set.
c. This part follows from the definition of Oc and Theorem 3.5.1c.
d. This part is simply a reformulation of the definition of a basis.
e. This follows from the previous two parts.
f. Let B be a basis and e E E- B. Since (B) = E, there is a cycle C such
that e E C ~ B + e. Suppose C' E C, C' =f C and e E C' ~ B + e.
66 CHAPTER 3. MATROID THEORY
Let e' E C'- C. By Lemma 3.5.1g, there exists C" E C such that
e' E C" ~ C' U C - e ~ B, a contradiction. 0
We have now introduced six different, but equivalent ways to define a matroid.
The flexibility that these definitions afford is very useful: the definition most
natural for a matroid will depend on that matroid. It just may turn out that,
for example, the cycles of a matroid defined in terms of its independent sets have
no "nice" description. This will become apparent as one works through the next
exercises.
Exercise 3.18. Describe the cycles for Examples 3.1.1 through 3.2.3.
Exercise 3.19. Describe the closure, independent sets, bases, and the rank
function for Examples 3.5.1 through 3.5.3.
In the next exercise we explore some of the properties of the dependent sets
of a matroid.
Exercise 3.20. Let M be a matroid onE with independent sets I, bases 8,
dependent sets 'D, cycles C. Show that the following statements hold:
a. 0¢ 'D
b. if Dt E 'D and D2 2 Dt then D2 E 'D
c. if Dt. D2 are distinct sets in 'D and e E Dt n D2, then Dt U D2 - e E 'D
d. 'D = { D I D 2 C for some C E C}
e. I = {I I I ~ C for all C E C}
LEMMA 3.5.3. Let E be a finite set.
a. A collection C of subsets of E is a cycle system for E if and only if C
satisfies Zl, Z2 and
Z3': If Ct and C2 are members of C and e E Ct n C2 then there
exists a C E C such that C ~ Ct n C2 - e.
b. If 'D is a collection of non-empty subsets E which satisfy condition c of
Exercise 3.20, then C, the collection of minimal non-empty subsets of 'D,
is a cycle system for E.
PROOF. Part a. If C satisfies Zl, Z2 and Z3, it clearly satisfies Z3'. Assume
that C satisfies Zl, Z2 and Z3' but not Z3. Then there are members C 1 and C 2
of C and elements e and e' of E, e E Ct nC2, e' E Ct- C2 and no cycle contained
in Ct u C2 that avoids e contains e'. Choose such Ct and C2 such that Ct u C2
is minimal. Z3' insures the existence of C3 ~ C1 U C2 - e. Ca does not contain
e' by our assumption, but Z2 implies that its intersection with C1 - C2 as well
as C2- Ct is nonempty. Let e" E (C2- Ct) n Ca. C2 U Ca is a proper subset of
Ct u C2, therefore, by our minimality assumption, Z3 holds for C2, Ca, e" and
e, so there is a cycle C4 ~ C2 U Ca - e" with e E C4. Now consider Ct. C4, e
and e'. Again Ct U C4 c Ct U C2, so there is a cycle Cs ~ Ct U C4 - e which
contains e', a contradiction.
The proof of part b is left as an exercise for the reader. 0
3.5. CYCLE SYSTEMS 67
u(f) = {e I /(e)=/: 0}
If £ is any subspace of FE, we may consider the collections
Si::J.T=SUT-SnT
The reader unfamiliar with this vector space may wish to verify the vector space
axioms, noting that the only scalars, 0 and 1, have the obvious properties under
scalar multiplication. OS = 0 and 18 = S for all subsets S. It follows then
from the above discussion that, if S is a subspace of Zf, the minimal nonempty
sets in S are the cycles of a matroid on E, a fact you have already verified in
Exercise 3.15
68 CHAPTER 3. MATROID THEORY
Exercise 3.22. Let E be given and let P 1 , ••. , P~c be a partition of E. Let
V = {F ~ E: IS n J'il is even for all i }
a. Show that V is a subspace of Zf
b. Describe the cycles of the matroid defined by this subspace
c. Describe the independent sets and bases
d. Describe the rank function
e. Describe the closure operator.
f. If the cells of the partition are replaced by an arbitrary collection of sets,
will the conclusion in part a remain valid?
3.6. Duality and Minors. We start this section by considering the matroid
introduced in Example 3.5.2. The cycle matroid of a graph was the paradigm for
both Whitney and Tutte. We will later use this example to illustrate the ideas
developed in this section.
Exercise 3.23. Let r = (V, E) be a graph.
a. Prove that the edge sets of the elementary circuits of r form a cycle
system for E.
b. Show that the independent sets of this matroid are the edge sets of the
subgraphs of r which are forests.
c. Show that, if r is connected, then the bases of this matroid are the edge
sets of the spanning trees of r.
d. Describe the bases in the case r is not connected.
e. Describe the bases in the general case.
f. Prove that if r is the complete graph then its cycle matroid is none other
than the complete connectivity matroid M(K), {Example 3.1.2}.
The first construction that we discuss is that of the dual matroid.
THEOREM 3.6.1. Let M be a matroid onE and let 8 be the bases forM. Let
8* = { E - B I B E 8}. Then 8* is the collection of bases for a matroid M* on
E.
PROOF. The result follows at once from Exercise 3.7a and b. We include a
short proof here based on results not available when basis systems were first
introduced.
If 8 is a nonempty collection of equicardinal subsets of E, then so is 8*, we
therefore only have to show that 8* satisfies B3.
Let Bi, B2 be elements of 8* with e1 E Bi - B:j. Since E - Bi E 8,
E- Bi + e1 contains exactly one cycle C of M and e1 E C, by Lemma 3.5.2.
We have C n B:j =F 0, because E - B:j is a base and cannot contain a cycle. Pick
any element e2 E C n B:j. Then E - Bi + e1 - e2 E 8 or Bi - e1 + e2 E 8*. D
We call M* the dual to the matroid M. It is clear that every matroid has
a dual, and that the dual is unique. It therefore makes sense to introduce the
following co-notation: Given a matroid M, we call the bases of M* cobases of
3.6. DUALITY AND MINORS 69
the matroid of any graph has a dual. From the graph theory paper written by
Whitney in the early thirties (150], it seems reasonable that this fact played an
important role in the development of matroid theory.
Exercise 3.28. Describe the duals to the matroids in Examples 3.1.1, 3.1.3,
3.1.4, 3.2.1 and 3.2.3 {The dual of the rank 3 Fano matroid is of rank 4 and is
called the rank 4 Fano matroid.)
Exercise 3.29. Define a matroid M on the vertices of a regular octahedron
by declaring that the vertices of any triangular face are a basis. Show that M* =
M.
The term dual matroid probably was chosen by Whitney because of its relation
to duality for planar graphs. However, orthogonal matroid would have been a
better choice. This will become apparent as we consider duality from the Thtte
point of view. Return to the Thtte prototype: FE for some field F and some finite
set. This vector space FE has a natural inner product; (/,g)= 'EeeE f(e)g(e),
and, hence, a subspace C 2 F.c has an orthogonal complement £1.. Both C and
Cl. give rise to matroids onE and, as we will show, these matroids are the duals
of one another! However, this is far from obvious and several steps are needed
to prove this result.
First we note an interesting relationship between the cycles C of the matroid
defined by C and the cycles Cl. of the matroid determined by £1.: If C E C
and D E cl. then I D n c I =F 1. To see this, let I be any function in c so
that u(f) = C and let g E £1. with u(g) = D. Now {!,g) = 0. By definition
{!,g) = 'EeeE f(e)g(e). But, 'EeeE f(e)g(e) = 'Eeeu(J)nu(g) f(e)g(e). Now in
order for this last sum to be zero, either u(f) n u(g) = 0, or there is more than
one element in u(f) n u(g) (a single nonzero element cannot "sum to zero"). It
was this simple observation that Thtte exploited in developing duality theory
from the point of view of cycles.
LEMMA 3.6.2. Let M be a matroid on E and let C be the cycles of M.
c
Let 'Dl. = {S : IS n Cl =F 1 for all E C} then 'Dl. satisfies Z3' and cl. =
{minimal non-empty sets in 'Dl.} is the collection of cycles of a matroid on E.
the choice of C. Thus 'Dl.. satisfies condition Z3'. Thus, by Lemma 3.5.3b, Cl.. is
a cycle system for E. D
We denote the matroid on E with cycles Cl.. by Ml... At this point it is not at
all obvious that Ml.. = M*, in fact it is not even easy to show that (Ml..)l.. = M.
THEOREM 3.6.2. Ml.. = M* and Cl.. = C*.
PROOF. We shall show that dependent sets in Ml.. are also dependent in M*
and that independent sets in Ml.. are also independent in M*.
Let D be a cycle of Ml... If D intersects every BE 8, then Dis dependent
in M* by Lemma 3.6.1d. Assume there is a base B of M with D n B = 0,
then for any element d E D, B + d contains a cycle Cd of M. d E Cd and
D n Cd = {d}, contradicting the assumption that D E c1... Hence all cycles of
Ml.. are dependent in M*. It follows at once that all dependent sets in Ml.. are
also dependent in M*.
Let I be a subset of E which contains no member of Cl... This means that for
every element e E I there is a cycle Ce in M whose intersection with I is {e}.
We conclude that {E- I) = {E). Therefore there is a base B of MinE- I,
hence I is contained in a base E - B of M*, i.e. is independent in M*. D
Exercise 3.30. Some of the classes of matroids described in Examples 3.1.1
to 3.5.3 are "closed" under duality, e.g., the dual of a uniform matroid is a
uniform matroid. Which of these classes are closed under duality?
The prototypes for the next matroid constructions that we will consider are
restrictions and contractions for graphs. We review these two concepts before
generalizing them to matroids. Let r = (V, E) be any graph and let F ~ E.
We will illustrate our constructions with the graph r in Figure 3.16; the edges
FIGURE 3.16.
72 CHAPTER 3. MATROID THEORY
Exercise 3.33. Prove the parts of Theorem 3.6.3 not already proved in Ex-
ercise 3.32.
PROOF. The first two parts are direct consequences of the definition of re-
striction and contraction.
Part c. Let C be a cycle of (MT)[S)· Then there is a cycleD of M such that
D ~ T and DnS =C. One easily checks that Dn(E- (T-S)) = C and hence
that there is some cycle C' of M[E-(T-S)J with C' ~ C. Hence each cycle of
(MT)[SJ is dependent in (M[E-(T-S)J)s. Next let C be a cycle in M[E-(T-S)J·
Then C ~ S and C is a cycle of (M[E-(T-S)J)s. Thus there is a cycle C' of M
such that C' n [E- (T- S)] =C. We conclude that C' ~ T and then that C
is dependent in (MT)[SJ· It follows that (MT)[s) and (M[E-(T-S)J)S have the
same dependent sets.
Part d is left as an exercise. D
The proof of this lemma is straightforward and left as an exercise for the
reader.
Exercise 3.37. Prove Lemma 3.7.1.
Let Mi be a matroid on Ei for i = 1, ... , n and assume that E;. n E; = 0
whenever i ::f j. It follows at once from the commutativity and associativity of
the union that E9 is also commutative and associative. Hence M 1 E9 ... E9 MA is
well defined and invariant under reordering.
The notion direct of sum often has a connectivity theory associated with it.
Such is the case here. Let M0 denote the trivial matroid, i.e. the unique matroid
on the empty set. For any matroid M we have the direct sum decomposition
M = M E9 M0 = Me E9 M. If this is the only direct sum decomposition of M,
we say that M is connected. The first main result of this section is:
CnE1 = 0 or CnE1 =C. Thus the non-empty member of {CnE1 ICE Co} is
C1. Hence M[E1 J = M1. By a symmetric argument, M~ = M2 = M[~J· 0
LEMMA 3.7.3. Let M be a matroid onE and let F ~ E. MF is a direct
summand of M if and only if MF = M[FJ·
PROOF. In view of the previous lemma we need only show that MF = M[FJ•
(Ml)F = (Ml)[F)• and (M2)F = (M2)[F) where F = E1 n ~.
We have
(Ml)[FJ =Mp
Combining equations (3.7.1), (3.7.2) and (3.7.3) we have
FIGURE 3.17.
have identical cycle matroids. Thus, simple graph connectivity is not reflected in
its cycle matroid. Higher connectivity in graphs is defined in terms of separating
vertex sets. The diagrams in Figure 3.18 illustrate two element and three element
r n
FIGURE 3.18.
where M is the cycle matroid of r, ~~:(r) is the graph connectivity of rand ~~:(M)
the matroid connectivity of M.
Exercise 3.41. Let r be a graph and let -y(r) denote the girth ofr, i.e., the
smallest elementary circuit in r. Prove the following:
a. Ifr is a complete graph on 1,2, or 3 vertices, then r(r) = oo,
b. If r is a complete graph on more than 3 vertices, then r(r) = 3,
c. If r is any graph, then r(r) :5 ~~:(r),
d. If r is any graph except a complete graph on 1, 2, or 3 vertices, then
r(r) = min{~~:(r),-y(r)}.
Exercise 3.42. Compute the connectivity of the following matroids
a. U(n,k),
b. the Fano Matroid,
c. the complete transversal matroid.
3.8. Representability. We say that a matroid M is representable over the
field F if there is a finite dimensional vector space V over F and a function
w : E --+ V, (called a Whitney function), so that F ~ E is independent in M
if and only if w is an injection when restricted to F and w(F) is independent
in V. If we coordinatize V, write the vectors in V as column vectors, order the
elements of E, E = {e 11 ... , en}, and construct the matrix M with w(ei) as
i'th column, for i = 1, ... , n, then we would have identified M with a Whitney
prototype matroid. In short a matroid is representable over a field F if and only
if it is isomorphic to the matroid of the columns of a matrix over IF.
As our first example of representability, we show how to represent the cycle
matroid of any graph over any field. Let r = (V, E) be a graph and let IF be a
80 CHAPTER 3. MATROID THEORY
field. To simplify the notation we may let V = {1,2, ... ,n} and E ~ {(i,j) I
1 ~ i < j ~ n}. Let V be then-dimensional vector space of n-tuples over IF,
with its elements represented as column vectors. Consider the Whitney functions
w: E- V, where w(i,j) is the column vector whose only non-zero entries are
a 1 in the j'th position and -1 in the i'th position, (of course, if the field has
characteristic 2, then -1 = 1). We leave it as an exercise for the reader to show
that this Whitney function actually gives rise to the cycle matroid of r.
Exercise 3.43. Let r = (V, E), F, V, and w be as defined above. Show that
the minimal dependent sets, i.e. the cycles of the matroid onE defined by w,
are the edge sets of the elementary circuits of r.
Exercise 3.44. Consider Example 3.1.4.
a. Show that the seven non-zero vectors in the three dimensional vector
space over Z2 give a representation of the Fano matroid over Z2.
b. Show that the Fano matroid cannot be represented over any field of char-
acteristic other than 2. It will follow that the Fano matroid is not rep-
resentable over the reals or the rationals.
As we will show below in Theorem 3.8.1, a matroid is represented over Z 2
if and only if it is a binary matroid. Recall that a matroid is binary if the
symmetric difference of two cycles is the disjoint union of cycles. A matroid
which is representable over every field is called a regular matroid. So the cycle
matroid of a graph is binary and regular while the Fano matroid is binary but
not regular.
Exercise 3.45. Show that the uniform matroid U (n, k) is representable over
any "sufficiently large" field. For what values of n and k is it regular?
Let M be a matrix over the field IF, let Me be the matroid represented by the
columns of M and let Mr be the matroid represented by the rows of M, that
is, Mr is represented by the columns of AfT. Clearly, then Me and Mr have
the same rank. What else can we say about the relationship between Me and
Mr? Surprisingly, the answer is "nothing else can be said about the relationship
between Me and Mr", as you will now show.
Exercise 3.46. Let M1 and M2 be any two matroids of the same rank both
representable over the field F. Then there is a matrix M over IF so that M1 is
isomorphic to Me and M2 is isomorphic to Mr.
As we discussed earlier, there were two linear algebra prototype matroids, the
first due to Whitney and the second due to Tutte, and so there should be a
second representation theory corresponding to the Tutte approach. Let M be a
matroid on E and let F be a field. A subspace T of the vector space of functions
from E into F is called a Thtte subspace forM over IF if the cycles of M are the
minimal non-empty sets in the collection of supports of the vectors in T. Not
surprisingly, this is not a distinct representation theory.
3.8. REPRESENTABILITY 81
Exercise 3.49. Find a Thtte subspace for the cycle matroid of a gmph over
the mtionals, over F2.
If a matroid is representable over a field F, it is often easy to produce either
a Whitney function or a Thtte subspace which will demonstrate this fact. To
demonstrate that a given matroid is not representable over a given field is, in
general, not so easy. The following lemma can be useful in showing that a
matroid is not representable over a given finite field.
82 CHAPTER 3. MATROID THEORY
LEMMA 3.8.1. Let M be a matroid onE, representable over the finite field IF,
and let F ~E. Then the number of distinct cycles of M which are subsets ofF
is at most {IFik- 1)/{IIFI- 1) where k = IFI- r(F).
PROOF. Let 'I be a 'Thtte subspace forM and let 'IF={! E 'I I u(f) ~ F}.
One easily checks that 'IF is a subspace of dimension k = IFI - r(F). If two
functions in 'IF are scalar multiples of one another, then they have the same
support. There are exactly IFik - 1 non-zero vectors in 'Tp and hence there are
(IFik- 1)/{IIFI- 1) rays from the origin, ( all vectors which are scalar multiples
of one another). Thus 'IF contains (IFik - 1)/{IIFI - 1) functions with distinct
non-empty supports. D
We may use this lemma to show that U{4,2) is not binary, i.e. not rep-
resentable over Z2. Let E be the underlying 4-element set of U{4,2). Since
lEI- r(E) = 4-2 = 2, we have from the previous lemma that, if U{4,2) were
binary, it would admit at most {2 2 -1)/{2- 1) = 3 distinct cycles. But, each of
the four 3-element subsets of E is a cycle. Since U( 4, 2) is not binary, it follows
from the Corollary to Theorem 3.8.1 that if a matroid M has U(4, 2) as a minor
then M is not binary. In [130], 'Thtte provides the converse to thi~ observation,
giving the following characterization of binary matroid:
"A matroid M is binary if and only if the uniform matroid
U{4,2) is not a minor of M."
We will not complete the proof of this result in this text. The interested reader
can find a proof in most any book on matroid theory or may refer to 'Thtte's
original paper. In this same paper 'Thtte went on to characterize regular ma-
troids:
"A matroid M is regular if it is binary and contains no minor
isomorphic to the Fano matroid or its dual."
Again only one direction (Exercise 3.44b) is included in this text.
3.9. Transversal Matroids. As we have stated several times, a matroid is
representable over a field IF if and only if it is isomorphic to the column (or
row) matroid of a matrix over F. Recall that the column matroid of a matrix
may be defined as follows: the rank of a collection of columns is the rank of the
submatrix consisting of just these columns.
Consider now a matrix M of O's and 1's. If we select any field F, we may
think of M as a matrix over IF and thereby introduce a matroid structure on the
columns of M. Since different fields may yield different rank functions on the
columns of M, we may get several different matroid structures on the columns
of M. In [105], Ryser introduced the concept of term rank for a 0,1-matrix:
A collection of 1's in the matrix are said to be non-adjacent if no two lie in
the same row or column. The term rank of a 0,1-matrix M is the number of
elements a largest set of non-adjacent 1's in M.
THEOREM 3.9.1. Let M be a 0, 1-matrix and let E = {e11 ... , en} denote
3.9. TRANSVERSAL MATROIDS 83
PROOF. Let M be a 0, 1-matrix with Mas its column matroid with respect
to term rank. Let n be the number of 1's in M and let x 1 , ••• , Xn be independent
transcendentals over the rationals. Replace the 1's in M by x1, ... , Xn to get
M'. One easily sees that the terms in the determinant of any minor cannot
cancel out. Thus, for any minor of M, the term rank of that minor is the rank
of the corresponding minor of M'. 0
LEMMA 3.10.2. Let G = (V, E) be a biconnected graph, but not a single loop
and let M be its cycle matroid. Let C 1 , ••• , Cm be the vertex cocycles of M*.
Then:
a. each edge e E E lies in exactly two of the Ci;
3.10. GRAPHIC MATROIDS 85
THEOREM 3.10.1. Let M be a connected matroid on the set E and let C denote
the cycles of M. Then M is the cycle matroid of a biconnected graph if and only
if there exist subsets C1, ... , Cm of E satisfying:
a. Each edge e E E lies in exactly two of the Cii
b. C is the collection of minimal sets in
As we alluded to above, the vertex cocycles may not be recoverable from the
matroid structure. That is, there may be other collections of cocycles which
satisfy condition a and b. In such a case there will be several graphs with the
"same" cycle and cocycle matroids. This is illustrated in the next exercise.
Exercise 3.55. List the vertex cocycles of the graphs in Figure 3.19.
a. Consider the graph in Figure 3.19a. Show that the following sets also
satisfy the two conditions for the vertex cocycles of a graph; C1 =
{et.e4}, C2 = {e1,ea,e7}, Ca = {e2,ea}, C4 = {e2,es,e5,e7}, and
Cs = {e4,es,e5}.
Draw the graph based on those sets using the construction in the proof
of Theorem 3.10.1. Find all other such collections of sets and construct
the associated graphs.
b. Prove that the vertex cocycles of the graph in Figure 3.19b are the only
collections of sets which satisfy both properties a and b of Theorem 3.10.1.
The first example discussed in Exercise 3.55 is not 3-connected while the sec-
ond example is 3-connected, or, in matroid terms, the cycle and cocycle matroids
86 CHAPTER 3. MATROID THEORY
a. b.
FIGURE 3.19.
of the first example are connected but not 2-connected while the cycle and cocy-
cle matroids of the second are 2-connected. The significance of this is explained
as follows: let M be the cycle or cocycle matroid of the graph G = {V, E) and
let C ~ E be a cocycle which is not a vertex cocycle, then the deletion of the
edges in C leaves a disconnected graph and a disconnected cycle or cocycle ma-
troid. In short, M(F-C) is not connected. If, on the other hand. Cis a vertex
cocycle, then one of the compon~nts of the graph obtained by deleting C is a
single vertex-undetectable in the matroid. Hence, if G is 3-connected and C is a
vertex cocycle, then G E-C consists of a biconnected graph plus an isolated ver-
tex and ME-Cis connected. Thus, if G is 3-connected, the vertex cocycles may
be characterized in matroid terms alone: they are the cocycles whose deletions
do not disconnect the matroid. Thus, if M is a 3-connected graphic matroid,
it is the cycle matroid of a unique graph (up to isomorphisms). This was first
proved by Whitney in a different form before he invented matroids.
PROOF. Since this discussion is getting a bit off track, we only outline the
proof. First, if G is planar, embed it in the plane and construct the dual of G
with respect to this planar embedding. Note that the dual G* = ('W, E) can be
thought of as a graph with the same edge set as G. But, the vertex cocycles of
G* correspond to the cycles which bound faces. In fact the cocycle space of G*
is the cycle space of G and vice versa. Thus M is co-graphic.
Now suppose that M is co-graphic and let C 11 ••• , Cm be a possible collection
of vertex cocycles. These cycles in G can then be taken as the sets of edges
bounding the faces of a planar embedding of G. 0
Let V be a finite set and m a positive integer. Let K denote the set of all
unordered pairs of elements of V; thus, (V, K) is the complete graph on V.
A matroid on K with closure operator (·} is called an m-dimensional abstract
rigidity matroid for V if it satisfies the additional conditions C5 and C6 listed
below.
C5: If E, F f; K and IV(E) n V(F)I < m, then {E U F) f; (K(V(E)) u
K(V(F))).
IfF is empty, we have the special case that if E f; K, then {E) f; K(V(E)).
We say that E f; K is rigid if {E) = K(V(E)).
C6: If E, F f; K are rigid and IV(E) n V(F)I 2::: m, then {E u F) is
rigid.
One of the fundamental results of Chapter 2 was that infinitesimal rigidity
of frameworks on a fixed set of points generally embedded in m-space yields an
m-dimensional abstract matroid: Let p be an embedding of V in real m-space.
Let E f; K and consider the framework with p(V(E}} as points and include all
rods which correspond to edges in E. Now define {E) to be E plus all pairs
whose distance does not change infinitesimally, under infinitesimal motions of
the framework, that is, all pairs (i,j) such that (Pi - P;) * (p~ - pj) = 0 for
all infinitesimal motions p'. This closure operator defines the m-dimensional
infinitesimal rigidity matroid determined by p, which we denote by .1'(p). Ifp is
a generic embedding, this matroid is called "the" m-dimensional generic rigidity
matroid on V and we denote it by Qm(IVI).
Section 2.5 contained the following important results. These are renumbered
here for easy reference later.
THEOREM 3.11.1 (SEE 2.5.6}. Let the finite set V be given and let r be the
rank function of an m-dimensional abstract rigidity matroid for V.
a. Let E f; K(V), io E (V- V(E)), and let it, ... , i~c E V(E) with k:::; m.
Then r(E U {(io, i1), ... , (io, i~c)}) = r(E) + k.
b. For any U f; V:
(k)
{ ~k- if lUI = k :::; m + 1;
r(K(U)) = (mt.1) if lUI = k 2::: m + 1.
THEOREM 3.11.2 (LAMAN'S CONDITION, SEE THEOREM 2.5.4). Let V be a
finite set and let E f; K = K (V) be an independent set in an m-dimensional
abstract rigidity matroid for V. Then, for all F f; E with IV (F) I 2::: m, we have
that IFI:::; miV(F)I- (mi 1).
Let Am be am m-dimensional abstract rigidity matroid for V. A set E f;
K = K(V) which is both independent and rigid is called an isostatic set.
THEOREM 3.11.3 (SEE LEMMA 2.6.1). Let V be a finite set, let E f; K =
K (V) and consider an m-dimensional abstract rigidity matroid for V.
a. Assume that IV(E)I :::; (m + 1). Then E is independent; furthermore, E
is rigid, and hence isostatic, if and only if E = K(V(E)).
88 CHAPTER 3. MATROID THEORY
This theorem has a useful corollary not included in Chapter 2, but included
here.
COROLLARY 3.11.1. Let the finite set V be given, let E ~ K = K(V), and
consider an m-dimensional abstract rigidity matroid for V. Then E is rigid if
and only if either IV(E)I ~ m + 1 and E = K(V(E)) or IV(E)I ~ m + 1 and
r(E) = m!V(E)I- (~).
THEOREM 3.11.4 (SEE THEOREM 2.5.5). Let the finite set V and the integer
m be given, and let p : V -+ Rm be a geneml embedding. Then the m-dimensional
infinitesimal rigidity matroid on p satisfies gm(V) ~ F(p).
CONJECTURE 3.11.1 (SEE THEOREM 2.5.1). Let the finite set V and the in-
teger m be given. If Am is any m-dimensional abstmct rigidity matroid on V,
then gm(V) ~ .Am.
THEOREM 3.11.5 (SEE THEOREMS 2.6.1 AND 2.6.2}. Let V be a finite set and
let Am be an m-dimensional abstract rigidity matroid for V. Let E ~ K = K (E).
a. Let F be a 0-extension of E. Then F is independent (rigid, isostatic) if
and only if E is independent (rigid, isostatic).
b. Assume Am is generic and let F be a !-extension of E. Then F is
independent (rigid, isostatic) if and only if E is independent (rigid, iso-
static).
This last result was used in two exercises to study bipartite graphs. We
summarize and extend the conclusions of these exercises:
THEOREM 3.11.6 (SEE EXERCISES 2.38 AND 2.39}. Let V be a finite set and
let Am be an m-dimensional abstract rigidity matroid for V. Let Kab be the
subset of K = K(E) consisting of the edges of a complete bipartite subgraph with
vertex classes of sizes of a and b with a::::; b.
a. If a ::::; m then Kab is independent.
b. If Am is generic, a = m + 1 and b = {mil), then E is isostatic.
c. If Am is generic, a = m + 1 and b 2:: {mil), then Kab is rigid.
In Example 3.1.2 of the first section of this chapter, we introduced the com-
plete connectivity matroid M(Kn) on the edge set of the complete graph (V, K),
where V is an n-set. One easily verifies that the closure operator for this matroid
satisfies condition C5 with m = 1. It follows that E ~ K is rigid if and only
if (V(E), E) is connected and that condition C6 also holds form = 1. Thus,
M(Kn) is a !-dimensional abstract rigidity matroid for V. It is also easy to
verify that an edge set E is independent in this matroid if and only if (V(E), E)
is a forest. Thus, E is isostatic if and only if (V(E), E) is a tree. Finally, the
cycles of this matroid are the edge sets of elementary circuits of (V, K). These
and further facts about this fundamental matroid are summarized in the next
theorem.
THEOREM 3.11.7. Let M be the complete connectivity matroid on the edge set
of the complete graph (V, K), where V is ann-set.
a. M is a !-dimensional abstract rigidity matroid for V, i.e. M = gl (lVI}.
b. E ~ K is independent if and only if (V(E), E) is a forest.
c. E ~ K is rigid if and only if (V(E), E) is connected.
d. E ~ K is isostatic if and only if (V(E), E) is a tree.
e. E ~ K is a basis if and only if (V, E) is a spanning tree.
f. E ~ K is a cycle if and only if (V(E), E) is an elementary circuit.
g. r(E) = lVI- c, where c is the number of components of (V(E), E).
PROOF. The result will follow from the previous theorem once we show that
E ~ K is isostatic in A 1 if and only if (V(E), E) is a tree. We proceed by
induction on IV(E)I, the conclusion being obvious if IV(E)I < 3. Let E ~ K
and assume that IV(E)I ?:: 3.
Suppose that E is isostatic in A 1 . By Theorem 2.6.1b, (V(E), E) has a
pendant vertex. By Theorem 2.6.2a, the deletion of this pendant vertex results
in an isostatic set with smaller support. By the induction hypothesis this isostatic
set is a tree. Since attaching a pendant vertex to a tree yields a tree, (V(E), E)
is a tree.
Suppose that E is the edge set of a tree. Then E contains a pendant edge e
and E - e is also a tree. By the induction hypothesis, E - e is isostatic and, by
Theorem 2.6.1a, E is isostatic. D
It follows at once from this result that the complete connectivity matroid is in
fact 'h(IVI), the !-dimensional generic rigidity matroid for V. The 0-extensions
played a central part in the above proof and, since (h (n) is generic, !-extensions
of isostatic sets are isostatic. In fact a very general extension property holds for
this matroid as you will now show.
Exercise 3.59. Consider {h(n). Let E ~ K be isostatic and let i E V(E)
have valencek > 1. LetU = {h, ... ,j~~:} be the set of neighbors ofi in (V(E),E)
and let F be the edge set of any tree with vertex set U. Then
LEMMA 3.11.1. Let V be a finite set and let Am be any m-dimensional abstract
matroid for V.
a. If B ~ K = K(V) is a basis of Am then it is rigid and isostatic.
b. If r is the rank function of Am and E ~ K with IV(E)I ~ m, then
r(E):::;; miV(E)I- (mt 1).
The next two results contain a summary of facts we may easily conclude about
the cycles of abstract rigidity matroids.
THEOREM 3.11.9. Let the finite set V be given and let Am be anm-dimensional
abstract rigidity matroid for V. Let D ~ K = K(V) be a cycle of .Am. Then
a. IV(D)I ~ m + 2, with equality if and only if D = K(V(D)).
b. IDI- 1 = r(D) :::;; miV(D)I- (mt 1), with equality if and only if D is
rigid.
c. Each vertex of (V(D), D) has at least m + 1 neighbors.
d. For any edge e ED, V(D- e)= V(D) and (D-e)= (D).
e. (V(D), D) has a vertex with valence less than or equal to 2m.
f. If m > 1, (V(D), D) has a vertex with valence less than 2m.
PROOF. Conclusion a follows at once from Theorem 3.11.5a; while the in-
equality in conclusion b follows from Theorem 3.11.2 and the fact that deleting
any edge must yield an independent set. Let i be a vertex of (V(D), D) and let
F be the set of edges in D which have i as end point. Clearly, D - F is indepen-
dent. Suppose that IFI:::;; m. Then by Theorem 3.11.5a, D = (D-F)UF would
be independent. We conclude that IFI ~ m + 1. The first equality in d follows
from c. Since D is a minimal dependent set, e E (D-e); thus D ~ (D-e) and
the second equality of d follows. Since D - e is independent,
Thus D is rigid ((D) = K(V(D))) if and only if equality holds throughout this
string of inequalities (completing the proof of condition b). Finally, the we denote
the average valence in (V(D), D) by v, we have, using b above:
2IDI m 2 +m- 2
2
v = V(D) :::;; m- IV(D)I
The last two conclusions are now obvious. D
The last theorem that we will include here relates some of the properties of
an abstract rigidity matroid with the connectivity of the underlying graph.
THEOREM 3.11.11. Let V and Am, an m-dimensional abstract rigidity ma-
troid for V be given and let E ~ K = K (V).
a. If (Am) IE is connected then (V(E), E) is biconnected.
b. If E is rigid then (V(E), E) is (m +I)-connected.
Exercise 3.60. Prove this theorem.
Exercise 3.61. Aside from (h(n), which of the ten example matroids of this
chapter are abstract rigidity matroids '?
Exercise 3.62. Are restrictions (contractions, minors) of abstract rigidity
matroids themselves abstract rigidity matroids '?
Exercise 3.63. Prove the following: Let G = (V, E) be a graph on n vertices
containing a vertex v of valence (n- 1) and let M be the restriction of the 2-
dimensional generic rigidity matroid for V toE, then the contraction of M to
G- v is the !-dimensional generic rigidity matroid on G- v.
Let (V, E) be a graph. An edge setH ~ E is said to be complete if (V(H), H)
is a complete subgraph; H ~ E is a clique of {V, E) if it is a maximal complete
subset of E.
Exercise 3.64. Let Am be any m-dimensional abstract rigidity matroid on
the vertex set V. Let E ~ K(V) be a closed set of Am and let H1, ... , H~c be the
cliques of E. Prove that
a. E = H1 U ... U H~c,
b. V(E) = V(Hl) U ... U V(H~c),
c. IV(Hi) n V(H;)I < m for alll ::::; i < j ::::; k, and
d. r(E) ::::; r(Hl) + ... + r(H~c).
Chapter 4. Linear and Planar Rigidity
4.1. Abstract Rigidity in the Plane. Theorem 2.1.1 showed that in di-
mension 1 the concepts of rigidity, infinitesimal rigidity and generic rigidity are
equivalent. In Theorem 3.11.8 it was shown, in fact, that the generic rigidity
matroids are the only examples of abstract rigidity matroids in dimension 1 and
that these matroids coincide with the connectivity matroids. There are, by con-
trast, many abstract rigidity matroids in dimension 2, whose properties are the
subject of this chapter, with particular focus on (12{n). Those abstract rigidity
matroids which arise as infinitesimal rigidity matroids of generally embedded
vertex sets are often dependent on the geometry of the embedding. The generic
rigidity matroid, however, can be described combinatorially. The following the-
orem summarizes the main results of the first few sections of this chapter.
While developing this theory of planar rigidity, we will also consider which
results about graph connectivity have analogous formulations in terms of rigidity
in dimension 2.
In the closing section of Chapter 3, we listed all of the results produced to
date about abstract rigidity matroids. Here we summarize those results as they
apply in dimension two. It is left to the reader to verify the accuracy of this
summary and to fill in a few missing, but elementary proofs.
93
94 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
This last example illustrates the fact that there are 2-dimensional infinitesimal
rigidity matroids which are not generic. In Exercise 2.12 you examined another
such example: embed V = {1, ... , 6} as the vertices of a regular hexagon, then,
in the resulting 2-dimensional infinitesimal rigidity matroid, the edges of the
hexagon plus the three (main) diagonals, a copy of K 3 ,3 , is dependent. This is a
special case of a much stronger result due to Bolker and Roth [12] which states
that, if V = { 1, ... , 6} is embedded on a conic in R 2 , then each copy of K 3 •3
in this 2-dimensional infinitesimal rigidity matroid is dependent. Since all of
these non-generic examples are infinitesimal rigidity matroids, it is very natural
to ask: Does there exist a 2-dimensional abstract rigidity matroid which is not
an infinitesimal rigidity matroid? The answer to this question is "yes"; but, the
verification of this will be put off until we have developed a few more tools for
the study of 2-dimensional rigidity.
We will see in the next section that the 2-dimensional generic rigidity matroid
is the unique maximal 2-dimensional abstract rigidity matroid on n vertices. It
would also be of interest to describe the minimal abstract rigidity matroids. We
know that all abstract rigidity matroids on n vertices have rank 2n - 3 and that
those edge sets obtained from a single edge by a sequence of 0-extensions must
therefore be bases. Any 2-dimensional abstract rigidity matroid on n vertices,
and hence any minimal 2-dimensional abstract rigidity matroid on n vertices,
must include these edge sets as bases. In general, however, additional bases are
necessary, as illustrated in Figure 4.20. B1 and B2 are b.•ses for any abstract
Ba
FIGURE 4.20.
rigidity matroid on seven vertices since they may be obtained by five 0-extensions
on a single edge. The basis axioms assert that B1 - e can be augmented to a
basis with an edge from B 2 , which, since tetrahedra are dependent, must be
Ba = B1 - e + f. Thus Ba is also a basis in any 2-dimensional abstract rigidity
matroid, but B3 is not the result of a sequence of 0-extensions of an edge since
it has no vertex of valence 2.
LEMMA 4.2.1. Let V be a finite set and let A 2 be any 2-dimensional abstract
rigidity matroid for V that satisfies the 1-extendability property. Then E ~ K is
independent in A2 if and only if E satisfies Laman's condition for dimension 2.
PROOF. By Theorem 2.5.4 we need only prove that every edge set E which
satisfies Laman's condition for dimension 2 is independent in A2. We give a proof
by contradiction. Suppose that E is a vertex and edge minimal dependent set
which satisfies Laman's condition. By minimality, E has no vertex of valence 1 or
2, so E has a vertex v of valence 3. Let F = E- v and denote the set of neighbors
of v by N = {x, y, z}. We have K(N) g; F, since otherwise K(N + v) ~ E and
tetrahedra violate Laman's condition. Moreover, K(N) ~ (F), since otherwise
we have F + (:c, y), say, is independent and E is a 1-extension ofF+ (:c, y) and
so is also independent. ForeE K(N), define Xe ~ F to be the minimal set such
that e E (Xe}· If Xe =F e, then e ¢ Xe and Xe + e is a minimal set violating
Laman's Condition. So IXel = 2IV(Xe)l - 3, hence {Xe} = K(V(Xe)). Thus
(Xe 1 UXe 2 UXe 3 } = (Xe 1 UXe 2 UXe 3 U{et.e2,e3}} = K(V(Xe 1 UXe 2 UXe 3 )) by
axiom C6. We conclude that (Xe 1 U Xe 2 U Xe 3 ) is rigid. But, Xe 1 U Xe2 U Xe 3 is
also independent. Hence, we have IXe 1 UXe 2 UXeal = 2IV(Xe 1 UXe 2 UXe 3 )l-3.
But then it follows that (Xe 1 U Xe 2 U Xe 3 ) + v violates Laman's Condition, a
contradiction. D
The preceding lemma serves to characterize Q2(n) combinatorially, and the
following theorems are immediate consequences.
THEOREM 4.2.1 (LAMAN'S THEOREM). Let V be a finite set and let Q2(n) be
the 2-dimensional generic rigidity matroid for V. Then E ~ K is independent
(isostatic} in Q2(n) if and only if E satisfies Laman's condition for dimension 2
(and lEI = 2IV(E)I- 3}.
THEOREM 4.2.2. Q2(n) is the unique maximal2-dimensional abstract rigidity
matroid on n vertices.
THEOREM 4.2.3. Let V be a finite set and let A 2 be any 2-dimensional abstract
rigidity matroid for V. Then A 2 is the 2-dimensional generic rigidity matroid
for V if and only if A2 satisfies the 1-e:ctendability condition.
Since E violates Laman's condition and the supports of E1 and E2 have at most
two vertices in common, we have m{n1+~)-m(m+1) > m(n1 +n2-2)- m(~+l).
The last inequality is only satisfied if m < 3. 0
In the case m = 3, one may observe that the proposed rank bound, r(E) :::;
3jV{E)I-6 fails for single edges. On the other hand, the bound r(E):::; 3jV{E)I-
5 works for single edges, as you will show:
Exercise 4.10. Let (V, K) be a complete graph and let
Exercise 4.11. Verify that indeed all the generic rigidity cycles on six or
fewer vertices are described in Figure 4.21.
Exercise 4.12. Let A2 be a 2-dimensional abstract rigidity matroid. Show
that A2 admits no nongeneric cycles on fewer than si:1: vertices. Show further
that the only possible nongeneric cycles on six vertices are K 3 ,3 and the prism
(as described in Exercise 4.3).
4.3. CYCLES IN Q2(n) 99
THEOREM 4.4.1. Let G be a graph and let E 1 , ••• , E1c be the rigid components
of G. Then Q2(G) = Q2(Gt) E9 ... E9 Q2(G~c), where Gi = (V(Ei), Ei)·
If G' = (V', E') is a subgraph of G, and G~ = (~', ED are the rigid compo-
nents of G', then the closure of E' in Q2(G) is E' together with all edges in E
both of whose endpoints lie in some G~, and the closure of E' in Q2 (n) is the
union of the completions of the components E~. This leads to the following char-
acterization of Q2(n), bringing the fifth condition into the circle of equivalences
for Theorem 4.1.1.
4.4. RIGID COMPONENTS OF Q2(G) 101
THEOREM 4.4.3. Let G = (V, E) be a graph and let r denote the rank function
ofg2(G). Then
k
r(E) =min L{21V{Ei)l- 3),
i=l
where the minimum is taken over all collections {Ei} such that E = UEi.
PROOF. Let {Ei} be a collection of edge sets such that E = UEi. We may
assume without loss of generality that {Ei} partitions E. Let B be a basis for
g2(G). It follows from Theorem 2.5.4 that
COROLLARY 4.4.1.
k
df{E) = 2IV{E)I- 3- min L{2IV(Ei)l- 3),
i=l
where the minimum extends over all systems {E 1 , ••• , Ek} of subsets of E such
that E1 U ... UEk =E.
4.5. REPRESENTABILITY OF Q2(n) 103
----.
~~~A
v~~~
4(2. 5-3)
----.
4(2 . 4 - 3) + 8(2 . 2 - 3)
FIGURE 4.22.
PROOF. Recall that a matroid is binary if and only if the symmetric difference
of two cycles is the disjoint union of cycles. If n > 4, we can find in Kn two
K4 's having 3 vertices in common so that their disjoint union is independent.
See Figure 4.23. 0
5
FIGURE 4.23. Two cycles whose symmetric difference is independent.
FIGURE 4.24.
PROOF. The graph (V, E) in Figure 4.24 is rigid and has k = lEI- r(E) = 2.
The removal of any edge with two endpoints of valence 4, as well as removal of
a vertex of valence 3, yields a cycle. Clearly, we can make the string of triangles
as long as we wish, so if a graph G of this form has 2n vertices, g2(n) contains
2(n + 1) cycles. Now assume that g2(n) is representable over IF. We have:
I1FI 2 - 1
IIFI + 1 = IIFI- 1 ~ 2(n+ 1).
D
Exercise 4.29. Prove that g2(n) is representable over the rational numbers.
Exercise 4.30 {Open Question). Is every 2-dimensional abstract rigidity
matroid representable over JR. 'I
Exercise 4.31 {Open Question). Given a finite field IF, do there exist 2-
dimensional abstract rigidity matroids with arbitrarily large vertex sets which are
representable over IF?
Exercise 4.32 {Open Question). Is g2(n) representable over some field of
characteristic 2? of characteristic q?
4.6. Characterizations of .A2 and (.A2)1.. Given a general embedding p:
V -+ .IR.2 , the cocycles of an infinitesimal rigidity matroid F(p) can, as developed
in Section 3.8 be described using the rigidity matrix R(p) corresponding to p.
Edge sets corresponding to the nonzero entries of the elements of the vector
space generated by the columns of the rigidity matrix are the dependent sets of
F(p)l.. Using just the two columns of R(p) which correspond to the vertex v,
we see that both of these columns have at most n - 1 non-zero entries, and by a
linear combination of just these two columns we can obtain a vector with exactly
n- 2 non-zero entries. So the star S(v) of a vertex v minus any one of the edges
incident with v, is dependent and, as can be shown, a cocycle. We call these
n- 1 cocycles the vertex cocycles of v; and, for each edge e E S(v), we denote
the vertex cocycle S(v)- e by Se(v)
Exercise 4.33. Let V = { 1, ... , n} and let p : V -+ .IR.2 be a general embed-
ding. Prove each of the following:
a. Each column of R(p) has exactly n - 1 or exactly n - 2 nonzero entries.
b. Each linear combination of the two columns of R(p) corresponding to a
vertex v has exactly n - 1 or exactly n - 2 nonzero entries.
4.6. CHARACTERIZATIONS OF .A2 AND (.A2).L 105
LEMMA 4.6.1. Let (V, K) be the complete graph on n vertices, for n > 4 and
M be any matroid on K of rank 2IVI- 3. Then each of the following three
conditions are equivalent:
a. For each v E V and each e E S(v), Se(v) is a cocycle of M.
b. No cycle of M contains a vertex of valence less than three.
c. Each 2-valent 0-extension of an independent set of M is also an inde-
pendent set of M.
PROOF. a => b: Let E ~ K, let v be a vertex of valence one or two in
(V(E), E) and let e be an edge in E containing v. If v has valence two, let e'
be the other edge in E containing v, otherwise let e' be any other edge in K
containing v. Clearly, IE n Se•(v)l = 1. Thus, if Be' is a cocycle, E cannot be a
cycle, see Lemma 3.6.2.
b => c: A 0-extension of an independent set F contains no cycle, since, by b,
this cycle would have to be a subset of F as well.
c => a: Let v be a vertex and e and edge with v as an endpoint. v is not
a pendant vertex in any basis, since the pendant vertex could be removed and
replaced with a 2-valent 0-extension giving a larger basis. So Se(v) intersects
every basis and so contains a cocycle. This cocycle cannot be a proper subset
since, for any other edge e' incident with v, there is a basis formed by a sequence
of 0-extensions having exactly e and e' incident with v. Note that any maximal
sequence of 0-extensions is a basis because r(K) = 2IVI- 3. 0
Note that, in the previous lemma, the assumption that r(K) = 2IVI - 3 is
necessary because conditions band c hold in Q3(IVI) while condition a does not.
LEMMA 4.6.2. If (V, K) is the complete graph on n vertices, n > 4 and M is
any matroid on K of rank 2IVI - 3 satisfying any of the conditions a-c in the
previous lemma, then for any U ~ V with lUI ~ 2 we have r(K(U)) = 2IUI- 3.
In particular all K4 'sinK are cycles of M.
PROOF. By c we can make an independent set in M by starting with a
single edge performing a sequence of 0-extensions, each 0-extension adding a
new vertex to the support of the edge set. When all vertices have been added
the independent set has 2IVI - 3 edges, and hence is a basis. If we start with
the vertices of U we see that r(K(U)) ~ 2IUI - 3. On the other hand, if K(U)
has a and independent set larger than 2IUI- 3, we can augment it by a sequence
106 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
THEOREM 4.6.1. Let (V, K) be the complete graph on n vertices and let M
be any matroid on K of rank 2IVI- 3. If M is a 2-dimensional abstract rigidity
matroid on K, then each of the following three conditions hold:
a. For each v E V and each e E S(v), Se(v) is a cocycle of M.
b. No cycle of M contains a vertex of valence less than three.
c. Each 2-valent 0-e:ctension of an independent set of M is also an inde-
pendent set of M.
Conversely, if any one of the conditions a, b or c hold then M is a 2-dimensional
abstract rigidity matroid on K.
At this point we can answer the question raised in the first section:
PROOF. Consider the set V = {1, ... ,6} and g 2{6) on K = K(V). Let 8 be
the set of bases for g2{6) and let 8' = 8- B where B is the edge set of Ka,a
illustrated in Figure 4.25. Equivalently, think of replacing the six cycles of g2{6)
4.6. CHARACTERIZATIONS OF .A2 AND (.A2).L 107
1 3 5
~
2 4 6
FIGURE 4.25.
which contain B by the single cycle B. If the resulting collection B' is the set
of bases for a matroid on K, then it will follow easily from the theorem that
it is a 2-dimensional abstract rigidity matroid. It will follow, from the Balker-
Roth result [12] on bipartite graphs, that this matroid is not an infinitesimal
rigidity matroid: their result states that, in a 2-dimensional infinitesimal rigidity
matroid, a copy of Ka,a is a cycle if and only if its vertices lie on a conic section.
In this example, only one of several different copies of Ka,a on the same vertex
set is a cycle. It remains only to show that B' satisfies the axioms for the basis
system of a matroid.
Clearly, 0 ¢ B' and all of the sets in B' are of the same size; hence, only the
exchange axiom must be verified. But, we know that 8 does satisfy this axiom.
The question then is: is B absolutely necessary? Specifically, given B1, B2 E B'
and e1 E B1-B2 is B1 -e1 +e2 either dependent or equal to B, for all e2 E B2?
Suppose that the answer were yes. Then B 1 - e1 would have to equal B minus
an edge. Since B2 =f B, B2- B1 contains at least one edge e not in B. As
you will show in the next exercise, adding any other edge to B minus an edge is
always a basis. D
Exercise 4.34. Refer to Figure 4.25. Let B denote the edge set depicted here
and let e = (1,6}. Show that B-e+ e', where e' is any one of the six edges in
K- B, belongs to B' (as defined in the proof to the corollary).
Another proof of this corollary can be based on the observation that, in the 2-
dimensional infinitesimal rigidity matroid for V = {1, ... , 6}, only one prism can
be dependent. One can show that starting with the bases for the 2-dimensional
generic rigidity matroid of V and deleting all prisms results in the bases for a
2-dimensional abstract rigidity matroid for V which is clearly not infinitesimal.
Exercise 4.35. Fill in the details of the proof just outlined.
Observe that the existence of the vertex cocycles in Theorem 4.6.1 forces the
rank of the matroid to be at least 2n - 3. Can we specify a collection of cycles
whose existence bound the rank from above?
Exercise 4.36 (Open Question). Is the following statement a theorem'!
A matroid M of on the edge set of the complete graph on n vertices is a 2-
dimensional abstract rigidity matroid if and only if all of the K4 's are cycles and
all of the vertex stars minus an edge are cocycles.
108 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
·rsr -rzr
d Bl c d B2 c
FIGURE 4.26.
We now turn our attention to an arbitrary rigidity matroid A 2 for V =
{ 1, . . . , n}. Surprisingly, the complete set of cocycles can be easily described.
Recall that we say that a spanning edge set E ~ K (V) has degree of freedom 1
when r(E) = 2n- 4 = r(K(V)) - 1.
THEOREM 4.6.2. Let V = {1, ... , n} be given. The cocycles of A2 are the
complements of closed spanning subsets with degree of freedom 1 in A2.
PROOF. H Dl. is a subset of K = K(V)) which intersects every basis of
Q2(n), then r(K- Dl.) < 2n- 3 and conversely. So if Dl. is dependent in Q2(n)
thenK- Dl. has at least degree of freedom 1. Now consider a minimal dependent
set Cl. of Q2(n)1.. Clearly K- Cl. is spanning and closed since otherwise we
could enlarge K - Cl. through 0-extensions to a spanning set whose closure has
degree of freedom at least 1 and c1. would not be minimal. Similarly, if K- c1.
had a degree of freedom greater than 1, the addition of an edge to K- Cl.
would result in a set whose complement is dependent in A2, contradicting the
minimality of Cl.. D
4.7. RIGIDITY AND CONNECTIVITY 109
--+
a h
FIGURE 4.27.
Exercise 4o39o Verify that all cocycles of Ks are isomorphic to one of the
following four graphs.
This result of Lovasz and Yemini is best possible, as you will show in the next
exercises.
Exercise 4.41. Explain exactly where the above proof breaks down if only
5-connectivity is assumed.
Exercise 4.42. Construct the graph G as follows: replace each vertex in K 5 ,5
with a copy of Ks, attaching one edge of the original Ks,s to each vertex of
the inserted copies of Ks. Thus, G has 50 vertices, each of valence 5. Show
that G is 5-connected. Show that an independent set in G can contain at most
10 x 7 + 25 = 95 edges and conclude that G is not rigid.
Exercise 4.43. Find a smallest 5-connected graph which is nonrigid in Q2 (n).
Can you construct infinitely many 5-connected graphs which are not generically
rigid in 2-space? {See [73]}
Recall that a matroid MonS is connected if r(F) +r(E- F) > r(E) holds for
every non-empty proper subset F of E. With this definition the !-dimensional
rigidity matroid of a graph G is connected if and only if G is biconnected. It
4.7. RIGIDITY AND CONNECTIVITY 111
is natural to ask for relations between the rigidity of G and the connectivity of
{h{G).
G is called (vertex) birigid if its edge set is rigid in {h(n) and the removal of
any vertex of G, and the edges incident with it, leaves a rigid graph.
G is called edge-birigid if its edge set is rigid in {h(n) and the removal of any
edge of G leaves a rigid graph.
THEOREM 4. 7.2. If G has no isolated vertices and more than one edge and if
Q2 {G) is connected, then G is edge-birigid, but not conversely.
THEOREM 4.7.3. lfG = (V, E) is birigid and lVI > 3, then Q2(G) is connected
but not conversely.
112 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
Since each vertex of attachement belongs to at least two Ei 's, we have E~=l ni ~
2n, and combining this with and 4.7.2 gives
k k
L: ni ~ 3(1 - k} + 2 L: r&i,
i=l i=l
or
k
(4.7.3} L:ni ~ 3(k -1).
i=l
On the other hand, since every cutset in a birigid graph has cardinality at
least 3, we have that ni ~ 3 for all i. This, combined with 4.7.3, gives
k
3k ~ L ni ~ 3(k- 1},
i=l
a contradiction.
4.8. TREES AND 2-DIMENSIONAL ISOSTATIC SETS 113
THEOREM 4.8.1. Let the complete graph (V < K) be given. An edge set
E ~ K is independent and rigid in Ch(IVI) if and only if there is a 2-dimensional
Henneberg sequence {Vt, Et) ... (Vn, En) such that (V(E), E)= (Vn. En)·
Exercise 4.48. Fill in the details of the proof of this theorem.
Exercise 4.49. State and prove a !-dimensional version of Theorem 4.8.1.
There are thirteen different isostatic graphs on six vertices, as shown in Fig-
ure 4.28
Exercise 4.50. Find Henneberg sequences for each of the graphs in Fig-
ure 4.28. Which can be done with only 0-extensionsf
Exercise 4.51. Verify that the graphs of Figure 4.28 are a list of the distinct
isostatic sets in Q2(6).
Besides its recursive description, a tree has many useful characterizations,
e.g., G is a tree if and only if every two vertices of G are joined by a unique path.
This raises the question: What is a suitable generalization of a path to generic
rigidity matroids of higher dimension?
Let G = (V, E) be a graph with lVI =nand consider the matroid Q2(n) for
V. If x andy are vertices of G, we say that a subset P of E is an isostatic xy-set
if either PU (x, y) is a cycle in Q2(n) or P = (x, y). If P = (x, y) then Pis called
the trivial isostatic xy-set.
Recall that G is connected if and only if every two vertices of G are joined by
a path, and that G is edge biconnected if and only if every two vertices of G are
joined by a path of length greater than one. Analogously, we have:
THEOREM 4.8.2. Let G = (V, E) be a graph and consider the matroid Q2(G).
Then G is rigid if and only if every two vertices of G are joined by an isostatic
4.8. TREES AND 2-DIMENSIONAL ISOSTATIC SETS 115
xy-set, and G is edge birigid if and only if every two vertices of G are joined by
a non-trivial isostatic xy-set.
PROOF. Assume that G is rigid and that x, y E V. Since (E} = K(V), either
(x, y) E E orE U (x, y) contains a cycle containing (x, y). In either case, x and
y are joined by an isostatic xy-set. Conversely, assume that, for all x, y E V, x
andy are joined by an isostatic xy-set. It follows at once that, for all x, y E V,
=
(x, y) E (E}, i.e. (E} K(V).
The birigid case is left as an exercise for the reader. 0
Exercise 4.52. Complete the proof of this theorem.
Exercise 4.53. Show that Ka,a is an isostatic xy-set for any pair of non-
adjacent vertices x and y.
An isostatic xy-set is meant to model a path in {h(n). A path is simply
described as a tree with exactly two pendant vertices, however we will see that
there is no 2-dimensional analogue to this observation. Since a rigidity cycle
cannot have any vertex of valence 2, it follows that an isostatic xy-set can have
at most 2 vertices of valence 2. If an isostatic xy-set does have exactly 2 vertices
of valence 2, then those vertices must in fact be x andy, however Figure 4.29
shows that an isostatic set with exactly 2 vertices of valence 2 need not be an
FIGURE 4.29.
isostatic xy-set. Exercise 4.53 shows that there are isostatic xy-sets in which the
valence of both x and y is greater than 2. In Figure 4.28, all graphs with fewer
than two vertices of valence two are indeed isostatic xy-sets. Figure 4.30 shows
an example of an isostatic set without a vertex of valence two which is not an
isostatic xy-set, since any possible additional edge is contained in a proper rigid
subgraph.
FIGURE 4.30.
one pair of endpoints, namely (x, y), for example if the xy-set has exactly 2
vertices of valence 2. In general, an isostatic xy-set has several pairs of endpoints,
for example in Exercise 4.53 we see that in Ka, 3 every pair of nonadjacent vertices
is a pair of endpoints.
Exercise 4.54. Verify that Ka,a is an isostatic xy-set with the property that
euery nonadjacent pair of vertices is a pair of endpoints. Identify all other iso-
static xy-sets of Figure 4.28 with that property.
Exercise 4.55. Show that if {x, y} is a separating set for an isostatic graph,
then {x, y} are not end vertices.
While isostatic xy-sets only partially conform to our notion of what a path
should be, the following characterizations of isostatic sets show that isostatic
sets are in all respects analogous to trees.
Before proving this result the reader should take a moment to write down the
one dimensional analogue to this theorem and to verify that it includes many of
the standard characterizations of trees.
hence contains a cycle C, but this leads to a contradiction since any adjacent
pair (x, y) in C is contained in two isostatic xy-sets, namely (x, y) and C- (x, y ).
c ===> d: Suppose G is rigid and lEI = 2IVI - 3. If G contains a cycle,
then r(E) < lEI but since G is rigid, E contains a subset F such that r(F) =
2IVI - 3 = lEI, a contradiction.
d ===> e: Suppose lEI= 2IVI- 3 and G does not contain a cycle. So E is
independent and is of full rank, hence a basis. Thus E + e contains a cycle for
all e E K(V)- E. If there were two, then the cycle axioms would imply the
contradiction that G contains a cycle.
e ===> f: Suppose G does not contain a cycle and G + e has exactly one cycle
for all e E K(V) -E. If e E K(V) - (E), then e is not in the closure of any
subset F of E, so that G + e has no cycle containing e, hence contains no cycle,
a contraction. So (E) = K(V). Since K 4 is dependent, hence contains a cycle,
G is not complete if lVI > 3.
f ===> g: Suppose G is rigid, is not KIVI for lVI > 3 and G+e has exactly one
cycle for all e E K(V) - E. Since G is rigid, lEI ~ 2IVI - 3. If lEI > 2IVI - 3,
then E is dependent, and contains a cycle. Thus G + e has no cycle containing
e for any e E K(V)- E, so e ¢ (E), contradicting the rigidity of G. Suppose
that G contains a copy of K4. addition of one edge either creates a second cycle
or increases the rank. By assumption, both options are excluded. Thus, it must
not be possible to add an edge. So, if G contains a copy of K 4 , it must equal
K4, which is also excluded by assumption.
g ===> a: If E is independent, then r(E) = lEI = 2IVI- 3 and E is also rigid.
Suppose that E is not independent, then E contains a cycle C. This cycle cannot
be K4. So there exists e E (C) -C. But then G U e contains two cycles. 0
Exercise 4.56. For each statement in Theorem 4.8.3 give the analogous state-
ment for gl (n) and show that these statements are also equivalent in gl (n)
Given a graph G = (V, E) and a cost function $ : E -+ R, it is well known
that the task of finding a minimum cost spanning tree of G can be accomplished
by a greedy algorithm. So the first step is to choose the cheapest edge, and the
k'th step is to choose the cheapest unchosen edge that does not create a cycle
among those edges chosen already. If the cost function $ is an injection, then
the optimal spanning tree is unique. (For more details see for example [70]).
This turns out to be an illustration of a general matroid theoretic result, and it
may be shown that a matroid is an independence structure for which the greedy
algorithm always produces a minimum cost spanning set. In terms of rigidity
we may assign a cost function $ : E -+ R to the edges of G and find a minimum
cost spanning rigid subgraph by the following greedy algorithm: At the i'th step
choose an edge of minimal cost which is not contained in this closure.
Exercise 4.57. Let V = {1, ... ,6}, and let G = (V, K(V)) be a graph with
cost function$: K(V)-+ R defined by $({i,j}) = li- il. Find the minimum
spanning rigid subgraphs of G.
118 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
Adding this inequality to the first one and using inclusion-exclusion to simplify
both sides, we get:
4.9. TREE DECOMPOSITION THEOREMS 119
with equality here if and only if the equalities hold throughout the previous
strings of inequalities. But, since both M 1 and M 2 are pseudocycles, equality
holds here and we may conclude that both MlU2 and M1n2 are pseudocycles. D
Exercise 4.60. Show that, in a pseudocycle, any two cycles have at most one
vertex in common and that the union of a module and an isostatic set which are
not disjoint is a module.
As we noted earlier, it is not known if all cycles can be constructed from a
K4 by a sequence of 1-extensions. The corresponding result for pseudocycles
is valid. However, the concept of "k-extension" must be extended! Let G =
(V, E) be a pseudocycle and let x denote a vertex not in V. The multigraph
H = (V U {x},E U F), where F = {(x,u), (x,v)} and v,u E V, is called a
2-valent pseudoextension of G; and H = (V U {x}, (E- e) U F), where F =
{(x,u),(x,v),(x,w)}, v,u,w E Vande E K({u,v,w}), is called a 3-valent
pseudoextension of G. Note that, in a 2-valent pseudoextension, v and u need
not be distinct and that, for a 3-valent pseudoextension, we only require that
l{u,v,w}l;::: 2.
Exercise 4.61. Show that a 2-valent or 3-valent pseudoextension of a pseu-
docycle is a pseudocycle.
Exercise 4.62. Show that deleting a 2-valent vertex and incident edges from
a pseudocycle results in a pseudocycle.
t
PROOF. By direct computation (~ = 4- 1 1), we see that the average
valence of G is less than 4. As you have shown, G admits no isolated or pendant
vertices; hence, G has a vertex of valence 2 or one of valence 3. Also, as you
have shown, if G has a vertex of valence 2, it is a 2-valent pseudoextension of a
smaller pseudocycle. Assume then that G admits a vertex x of valence 3.
Assume that the neighbors of x are u, v and w and that they are distinct. (The
simpler case that they are not all distinct is left as an exercise for the reader.)
Let V' = V- {x} and E' = E- {(x, u), (x, v), (x, w)}. Then IE' I = 2IV'I - 3
and E' + (u, v) will be a pseudocycle unless there is a module M(U, F) of G
which contains both u and v but not x. Assume that M is just such a module.
We first observe that w ¢ U; if it were, (U + x, F U {(x, u), (x, v), (x, w)} would
violate the defining inequality. Now suppose that N is a module containing v
and w but not x. But then M UN is a module containing u, v and w but not x,
leading to a contradiction. Thus, we may add an edge between v and w to get
a pseudocycle and G is a 3-extension of this pseudocycle. D
two neighbors, then no module of G can contain both of these neighbors but not
x.
Exercise 4.64. Define "Henneberg sequences" for pseudocycles and show that
each pseudocycle is the last multigraph in such a "Henneberg sequence" starting
with a single vertex.
We now return to the Nash-Williams result. Let G be a multigraph. Two
spanning trees of G which are edge disjoint and have G as their union are called
a 2-tree decomposition of G.
PROOF. Assume that G is the edge disjoint union of two of its spanning trees,
then any induced subgraph on k vertices has at most 2k - 2 edges, with equality
only if the induced subtrees have the same span. It follows at once that G is a
pseudo cycle.
We prove the converse by induction. Let G = (V, E) be a pseudocycle If
E = 0 and V = {v}, G is the edge disjoint union of two copies of the same
spanning tree - itself. Now assume that all pseudocycles on fewer vertices are
the edge disjoint union of two spanning trees.
By the previous lemma, G is a 2 or 3-valent pseudoextension of a smaller
pseudocycle H. Let T1 and T2 be two edge disjoint spanning trees of H with
H as their union and let x denote the vertex of the pseudoextension. If G is a
2-valent pseudoextension of H, simply add one of the edges containing x to T1
and the other to T2. The resulting trees are edge disjoint spanning trees of G
and have G as their union. If G is a 3-valent pseudoextension of H, let (v, w)
denote the edge of H deleted in the extension. Suppose (v, w) belongs to T1 •
Then replace (v, w) in T1 by the path (v, x), x, (x, w) and add the remaining edge
at x to T2. Again, one easily checks that the resulting trees are edge disjoint
spanning trees of G and have G as their union. 0
Exercise 4.67. Decompose each of the six cycles on six or fewer vertices into
two edge disjoint trees no two of whose subtrees have the same span.
Exercise 4.68. Use a 2-tree decomposition to construct a cycle on n vertices
from two paths of length n. Find the smallest cycle which will not decompose
into two paths.
Exercise 4.69 (Open Question). Does every cycle with vertices of valence
3 and 4 only, have a two tree decomposition into two paths?
If an edge set E is isostatic, x, y E V(E), (x, y) ¢ E, then E + (x, y) contains
exactly one cycle of Q2 (n), hence satisfies the hypothesis of Lemma 4.9.3 and, in
fact, we have the following result.
THEOREM 4.9.2. Let G = (V, E) be a graph which does not contain a copy of
K4. Then E is isostatic in Q2(n) if and only if, for any edge e E K(V) - E,
G + e admits a 2-tree decomposition.
PROOF. If G is lVI < 4, then the result may be directly verified. Assume
then that lVI ;::: 4. If E is isostatic, then one easily verifies that the addition of
any edge toE creates a pseudocycle which admits a 2-tree decomposition.
Conversely, since G is not complete, there is an edge e E K(V)- E. Since
E + e is the union of two spanning trees, we conclude that E has cardinality
2IV(E)I- 3. We need to show that all subsets of E satisfy Laman's condition.
Assume F ~ E violates Laman's condition. Since G contains no copy of K4, one
easily checks that (V(F), F) is not a complete subgraph. Thus there exists an
edge e E K(V(F))- F and F + e violates Laman's condition by at least 2. so
by Lemma 4.9.3 E + e can not be decomposed into two trees. 0
Exercise 4. 70. Show, by example, that the condition that G not contain a
copy of K4 is essential to the previous result.
122 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
The next result seems less natural, since it involves multigraphs, but is more
useful, since it has no exceptional cases. Furthermore, it is slightly easier to
prove.
THEOREM 4.9.3. Let G = (V, E) be a graph. Then E is isostatic in g2(n) if
and only if, doubling any edge e E E, results in a multigraph which admits a
2-tree decomposition.
Exercise 4. 71. Prove this theorem.
It is clear that an edge set E all of whose subsets violate Laman's condition by
at most 1, can have cardinality at most 2IV{E)I-2, and that if lEI < 2IV{E)I-2,
E can be extended to an edge set with the same property on the same support
with cardinality 2IV{E)I- 2. We formulate this fact as a routine exercise.
Exercise 4. 72. Prove the following: Let E be an edge set such that for all
0 C F ~ E, IFI ~ 2IV{F)I - 2 and let V = V(E). Then there exists E' 2 E
such that V(E') = V and G'(V, E') is a pseudocycle.
Combining Theorems 4.9.2 and 4.9.3 with the statement of the previous ex-
ercise we immediately obtain:
THEOREM 4.9.4. Let G = (V, E) be a graph which does not contain a copy of
K4. Then E is independent in g2(n) if and only if, for any edge e E K(V)- E,
G + e is the edge disjoint union of two spanning forests.
We also obtain the following similar result.
THEOREM 4.9.5. Let G = (V, E) be a graph. Then E is independent in g2 (n)
if and only if, doubling any edge e E E, results in a multigraph which is the edge
disjoint union of two spanning forests.
Theorem 4.9.3 implies that an isostatic set is the union of three trees. One of
the trees is spanning, the other two arise from removing the extra edge from the
second tree in the decomposition, so one of the small trees could actually be an
isolated vertex. Crapo [32] noted that many other 9-tree decompositions exist
and went on to prove the 3-tree decomposition theorem below. In Figure 4.31
we illustrate his result by listing three 3-tree decompositions for Ka,3·
THEOREM 4.9.6. A graph G = (V, E) is isostatic if and only if G is the edge
disjoint union of three trees such that each vertex of G is contained in exactly
two of the trees, and no two subtrees have the same span.
PROOF. If E is isostatic then, by Theorem 4.9.3, for any edge e E E, we have
that the multigraph G obtained by doubling e is the edge disjoint union of two
spanning trees. Removing the duplicate e disconnects one of the trees, so that
E is the edge disjoint union of three trees with each vertex belonging to exactly
two of these trees. Furthermore, G contains exactly one cycle C of g2 (V), and
e E C, so no two subtrees have the same span.
4.10. COMPUTATIONAL ASPECTS 123
® ]*·
®vX. u
®ox.
FIGURE 4.31. Three 3-tree decompositions of K 3,3 .
Conversely, if E is the union of 3 trees T1, T2 and Ta such that every vertex
of G is contained in exactly 2 of the trees, then
and
IE(G)I = IV(T1)I + IV(T2)I + IV(Ta)l- 3 = 2jV(G)I- 3.
Since no two subtrees have the same span, all edge subsets satisfy Laman's
condition. D
Exercise 4.73. For which values of n could the trees of a 9-tree decompo-
sition be paths of equal length? Can you give an isostatic set with a ,9-path
decomposition for each of these values of n?
4.10. Computational Aspects. Given a graph G = (V, E), how can we
decide whether or not E is independent in g2(G)? We can use any one of our
characterizations for g2(n) and ask if it provides us with a useful algorithm to
test the independence of an arbitrary edge set. Take, for example, Laman's
condition. Na.lvely, to check if E is independent we have to check if IFI ~
2IV(F)I- 3 for each set F in the collection 'P(E) of all subsets of E. This is
clearly not a very efficient way of answering the question of independence. A
more efficient method is the following: Consider the function l/J : 'P(E) -+ Z
defined by l/J(F) ~ 2jV(F)I- 3 -IFI· This is a submodular set function:
l/J(F U E)+ l/J(F n E) ~ l/J(F) + l/J(E).
There exist polynomial time algorithms to find the minimum of any submodular
set function, see [48]. If this minimum is non-negative, then E is independent.
Exercise 4. 74. Verify that l/J, as just defined, is submodular.
It was first pointed out by Lovasz and Yemini [73] that an algorithm by
Edmonds [41] can be used in conjunction with Theorem 4.9.2 or Theorem 4.9.3 to
efficiently resolve the question of whether a given edge set is isostatic. Edmonds'
124 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
Fo 2 F2 = Fo n (F1) 2 F4 = Fo n (Fa) 2 · · ·;
F1 2 Fa = F1 n (F2) 2 Fs = F1 n (F4) 2 · · · ;
where (-) denotes closure in {}t(G). (We see that F2 2 F4, since F1 2 Fa; then
Fa 2 Fs since F2 2 F4; etc.)
Because of the finiteness of G, each of these sequences must eventually stabilize
by repeating the same subforest from some index on. In fact, one easily checks
that, if F;+2 = F;, then
Exercise 4. 75. Prove that all three sequences stabilize at roughly the same
time: Specifically, show that, if F;+2 = F;, then (F;+l) = (F;); and that if
(F;+l) = (F;), then F;+2 = F;. Also show that, when they stabilize, either they
are all empty or none are empty.
Suppose that these sequences stabilize before reaching the empty set, i.e.
Fi+2 = Fi =F 0. Then Fi+1 ~ (Fi) and Fi ~ (Fi+1)· To simplify the notation,
assume that D and E are two edge disjoint subforests of G such that D ~ (E)
and E ~ (D). Let (U11 D1), ... , (Uk, Dk) denote the components of (V(D), D).
The components (U11 D1), ... , (Uk, Dk) are then disjoint trees. Since E ~ (D)
each edge in E has both endpoints in the same U;. Thus, the vertex sets of
4.10. COMPUTATIONAL ASPECTS 125
the components of (V(E), E) are subsets of the vertex sets of the components
of (V(D), D). Then, by symmetry, we may assume that the components of
(V(E), E) are (U11 E 1 ), ••• , (U~c, Etc)· It follows that, each subgraph of G of the
form (Ui, DiU Ei) is a pseudocycle. We conclude that, if G = (V, E) admits two
edge disjoint subforests Fo and F1 such that the associated sequences stabilize
at subforests which are not empty, then the edge set Fo U F 1 is dependent in
g2(G).
The converse is also true. Suppose that Fo and F 1 are edge disjoint subforests
of G and suppose further that (V(Fo) U V(F1 ), Fo U F 1 ) contains a pseudocycle,
(U, D). Since IDI 2= 2IUI- 2 while ID n Fil :::; lUI- 1, fori= 0, 1, we conclude
that (U, D n Fi) is a tree, for i = 0, 1. Thus, G admits subtrees 7i of Fi for
i = 0,1 with V(To) = V(Tl). It follows at once that (To) = (T1 ) and a simple
induction argument shows that F; 2 T; (mod 2) for all j.
There is one more fact about these sequences that is needed to understand the
algorithm. Assume that we have been given Fo and F1 and have constructed the
sequences. Suppose that e E (F;-1) but e ¢ (F;). Since F; = F; (mod 2)n(F;-1),
e cannot belong to F; (mod 2). On the other hand,
Fo 2 F2 = Fo n (F1) 2 F4 = Fo n (Fa) 2 · · · ;
F1 2 Fa = F1 n (F2) 2 Fs = F1 n (F4) 2 · · · ;
until the sequences become stationary. If the stationary sets are not
empty, STOP and output "DEPENDENT".
Step 6: Let j be the first index so that e ¢ (F;). Let C be the unique
cycle contained in F; (mod 2) + e and let j' be the first index so that
C- e g; (F;' ). Next let e' be the edge in C- e with smallest index
126 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
such that e' f/. {F;')· Replace F; (mod 2} by F; (mod 2) + e- e', replace
e by e' and GOTO Step 3.
Step 7: construct the sequences of nested sets:
FIGURE 4.32.
{Fo) = E,
{Ft) = {4,5,6,7,8,9,10,11,12},
{F2) = {Fo n {Ft)) = {4, 6, 7, 11, 12},
{Fa) = {Ft n {F2)) = {11},
{F4) = {Fo n {Fa)) = 0.
In step 6, we note j = 3; we add edge 12 to F 1 and find the cycle C = {9, 10, 12};
we note j' = 2: we then replace edge 9 by edge 12 in F 1 and return to Step 3
4.10. COMPUTATIONAL ASPECTS 127
with e equal to edge 9. Since edge 9 is in the closures of both Fo and the new
Ft, we again proceed to Step 5. This time we get the sequence:
(Fo} = E,
(Ft} = {4,5,6,7,8,9,10,11,12},
(F2} = (Fo n (Ft}} = {4, 6, 7, 11, 12},
(F3} = (Ft n (F2}} = {11,12},
(F4} = (Fo n (F3}} = 0.
This time j equals the "old" j' or 2. Edge 9 is added to Fo creating the cycle
C = {2, 3, 4, 7, 9}. Then j' = 1 and edge 9 replaces edge 2 in Fo. We move
to Step 3 with e equal to edge 2 and then to Step 4 where edge 2 is added to
Ft. The algorithm then returns to Step 2 and moves directly to Step 7. We
have a 2-forest decomposition of E. But, since (Fo} = (Ft} = E, the algorithm
terminates with the message "DEPENDENT".
In Table 4.2 we list the sequence of sets Fo and Ft which occur.
iteration Fo Ft
of Step 2
0 0 0
1 {1} 0
2 {1,2} 0
3 {1,2,3} 0
4 {1,2,3,4} 0
5 {1,2,3,4} {5}
6 {1,2,3,4,6} {5}
7 {1,2,3,4,6,7} {5}
8 {1,2,3,4,6,7} {5,8}
9 {1,2,3,4,6,7} {5,8,9}
10 {1,2,3,4,6, 7} {5,8,9,10}
11 {1,2,3,4,6,7} {5, 8, 9, 10, 11}
12 {1,2,3,4,6,7} {5,8,10,11,12}
12' {1,3,4,6,7,9} {5,8,10,11,12}
12" {1,3,4,6,7,9} {2,5,8,10,11,12}
TABLE 4.2. Edmonds' Algonthm
We have already seen that, if the algorithm terminates, it does so with the
"correct" answer: "DEPENDENT'', if E is dependent, and a 2-forest decompo-
sition, if E is independent. We still must show that the algorithm terminates in
a finite number of steps. Specifically, we must show that, between two iterations
of Step 2, the algorithm can return to Step 5 only a finite number of times.
In order to follow the steps of the algorithm, we will not rename our new sets
and edges with the old names: e.g. e' will not be renamed e. Also, for this
128 CHAPTER 4. LINEAR AND PLANAR RIGIDITY
discussion, let us assume that first index j so that e f/. (F;} is even, so the "new
Fo", which we now denote by F~, is Fo + e - e'. We also have that F{ = F1.
Note that (Ff} = (Fi} fori= 0,1. Now consider F 2 = F~ n (F{}. If e' E (F~},
thenC-e~ (F2} and (F~} = (F2}. Inductively, (Ff} = (Fi}, fori= 0 .. . j',
where j' is the first index so that e' f/. (F;'}· Thus the "new j" is j' and j' < j.
We conclude that Step 5 can only be iterated lEI or fewer times between any
two iterations of Step 2. We have proved:
THEOREM 4.10.1. Given a graph G = (V, E), the Edmonds algorithm, as
adapted above, terminates in a finite number of steps. It terminates with a
partition of E into two forests, whenever E is independent and with the message
"DEPENDENT" whenever E is dependent.
Exercise 4. 76. Consider the graph pictured in Figure 4.33 below.
a. Verify that E is independent using the algorithm.
b. Replace edge 7 by a new edge 7 joining vertices u and v; replace edge 9
by a new edge 9 joining vertices v and w; and rerun the algorithm.
FIGURE 4.33.
Reconsider the graph in Figure 4.32. Is this a cycle? Can the algorithm be
altered to check for cycles? The answers are "yes" and ''yes". If we are applying
the algorithm to a graph G = (V, E) with lEI = 2IVI - 2, the application of
Step 7 is superfluous: any proper subpseudocycles are masked by the fact that
E itself is a pseudocycle. How can we search for proper subpseudocycles which
we did not run across while constructing the 2-tree decomposition? To answer
this question, we must make an important observation: Let G = (V, E) be a
graph with lEI= 2IVI-2 and suppose that G contains a proper subpseudocycle
F. Since IFI = 2IV(F)I- 2 and IFI < lEI, we can conclude that IV(F)I < lVI·
Thus, any proper subpseudocycle must be contained in one of the subgraphs of
G obtained by deleting a vertex.
Exercise 4. 77. Alter Step 7 of the Edmonds Algorithm to check for all proper
pseudocycles, in the case lEI = 2IVI - 2. (If you are clever, you can run the
subroutine considembly fewer than lVI times.)
Exercise 4. 78. Use your altered algorithm to show that the graph in Fig-
ure 4.32 is a cycle.
Chapter 5. Rigidity in Higher Dimensions
129
130 CHAPTER 5. RIGIDITY IN HIGHER DIMENSIONS
is due to Dress and is based on properties of closed sets. If E is any edge set, the
cliques of E are defined to be the edge sets of the maximal complete subgraphs
of the graph (V(E), E). In Exercise 3.64, you proved that, if Am is any m-
dimensional abstract rigidity matroid for V, if E ~ K = K(V) is a closed set of
Am and if K1. ... , Kh are the cliques of E, then:
{i) E = K1 U ... U Kh;
(ii) V(E) = V(K1) U ... U V(Kh)i
(iii) IV(Ki) n V(K;)I < m, for all distinct i and j;
(iv) r(E) ~ r(K1) + ... + r(Kh)·
If m = 1 above, then equality holds in (iv). In Theorem4.4.2, we proved that if
A2 is a 2-dimensional abstract rigidity matroid for V, then A2 is generic if and
only if equality holds in {iv), for every closed set E of A2.
Let Qm(V) be the 3-dimensional generic rigidity matroid for V and let E ~
K = K(V) be closed. One cannot expect equality to hold in (iv) above. To
see this consider two triangles which share a common edge: each has rank 3
so the sum of their ranks is 6; but, their union clearly has rank 5. The edge
common to the two triangles is counted twice in the sum of the ranks. At a
conference on rigidity held in Montreal in 1987, Dress pointed out that, in 3-
space an "inclusion-exclusion" type formula might work. To see what Dress
had in mind, let Aa be a 3-dimensional abstract rigidity matroid for V and let
E ~ K = K(V) be closed. Let K 11 ••• , Kh be the cliques of E and let H be the
edges of E which belong to more than one of these cliques. For each e e H, let
77(e) denote one less than the number of cliques which contain e. Now suppose
that H is independent and extend it to a maximum independent subset F of E.
If Fi = F n Ki, for each index i, we have:
h h
r(E) = IFI = L IFil- L TJ(e) ~ L r(Ki)- L TJ(e).
i=l eeH i=l eeH
holds in all cases and that Aa will be generic if and only if equality holds for all
closed sets E. This conjecture is the subject of Section 5.6 of this chapter.
In the last section, we will consider the possibility of extending the character-
ization of 2-isostatic set in terms of a decomposition into trees. Also discussed
there is the maximal conjecture: Let V be given and let Aa be a 3-dimensional
abstract rigidity for V; then any set E ~ K(V) which is independent (rigid) in
A 3 is independent {rigid) in Qa(IVI). If this conjecture could be proved, it would
characterize the 3-dimensional generic rigidity matroid for V as the maximal
3-dimensional abstract rigidity matroid for V under the natural partial order on
matroids.
5.2. HIGHER DIMENSIONAL EXAMPLES 131
THEOREM 5.2.1. Let m ~ 3 and n ~ 2m+ 4. Then Km+2,m+2• the edge set
of the complete bipartite graph, is an m-cycle.
and so, at least two more edges will be required to make it rigid. Let U' s;;; U and
W' s;;; W denote the two vertex classes of this graph and let e be an edge between
two vertices in U'. If e were in the closure of Km+l,m+l> then, by symmetry,
each edge between two vertices of the same block would be in the closure and
Km+l,m+l would be m-rigid. Since this is not possible, we may conclude that
E = Km+l,m+l U {e} ism-independent. Next, let e' be an edge between two
vertices in W. Observe that E is still one edge short of the number needed to
be m-rigid. Suppose that e' were in the closure of E. Then, by symmetry, each
edge between two vertices in W would belong to the closure of E. Again this
132 CHAPTER 5. RIGIDITY IN HIGHER DIMENSIONS
leads to the contradiction that E is m-rigid. We conclude that e' is not in the
closure of E and that F = Km+l,m+l U {e, e'} is m-independent.
Now let u denote the only vertex in U- U' and w the vertex in W- W' and
let H be the edge set obtained by attaching u with edges to each vertex in W
while deleting e' and attaching w to each vertex in U while deleting e. That is,
His obtained from F by two !-extensions and is, therefore, m-independent. We
also recognize Has Km+2,m+2- (u,w). By symmetry, all subsets of Km+2,m+2
obtained by deleting one edge are m-independent. Hence, either Km+2,m+2 is
m-independent or an m-cycle. To show that Km+ 2,m+2 is actually an m-cycle
we employ Theorem 2.4.1. We can establish that Km+2,m+2 ism-dependent,
and hence an m-cycle, by showing the existence of a nontrivial resolvable stress
for Km+2,m+2·
Recall that a set of resolvable stresses. for Km+2,m+2 is a set of scalars Buw 1
for u E U and w E W, so that:
L Buw(p(u)- p(w)) = 0, for all wE W
ueu
and
L Buw(p(w)- p(u)) = 0, for all u E U.
weW
Since p(U) is a set of m + 2 points in Rm, the points in p(U) must satisfy two
"independent" relations:
L aup(u) = 0 and L bup(u) = 0,
ueu ueu
where the bu 's are not simply a scalar multiple of the au's. Let a = Eueu au
and b = Eueu bu and, for each u E U, let ru = aub- bua. One easily checks
that:
L
rup(u) = 0 and L
ru = 0.
ueu ueu
Similarly, we construct scalars tw, for w E W, such that:
Ltwp(w) = 0 and L
tw =0.
weW weW
Finally, let Buw = rutw, for all u E U and w E W. The Buw's form a set of
resolvable stresses since
L Buw(p(u)- p(w)) = tw[L rup(u)- (L ru)p(w)]
ueu ueu ueu
= tw[O + Op(w)]
= 0,
for all w E W and similarly for all u E U. 0
We may conclude from this that all suitably large bipartite graphs are depen-
dent in all generic rigidity matroids which contain them. Specifically:
5.3. THE HENNEBERG CONJECTURE 133
COROLLARY 5.2.1. Let m ;?: 3, let h, k ;?: 2 and let n ;?: 2m+ h + k. Then
Km+h,m+k is dependent in Qm(n).
Exercise 5.1. Form= 1, 2 and 3, list the values of h and k for which Kh,k
is m-independent, for which it is m-rigid and for which it is an m-cycle. Do the
best that you can to compile such a list for m = 4.
5.3. The Henneberg Conjecture. The fundamental observation underly-
ing the Henneberg Conjecture is that each 3-isosta.tic set containing more than
three edges has either a vertex of valence three, a vertex of valence four or a
vertex of valence five (Theorem 3.11.3). Theorem 3.11.5 tells us that we may
attach a vertex of valence three to any 3-isostatic set to get another 3-isostatic
set. It also describes just how to attach a vertex of valence four: given a 3-
isostatic set E on four or more vertices, deleting an edge and attaching a new
vertex of valence four to the endpoints of the deleted edge and any other two
vertices in V(E) produces a new 3-isostatic set. What is needed is a set of
conditions under which one may attach a vertex of valence five. And, if we are
to extend the Henneberg construction to even higher dimensions, we need to
fully understand the conditions under which we can attach vertices of valence
k, for (m + 2) ~ k < 2m. A natural set of necessary conditions are easy to
describe. Let the complete graph (V, K) be given, let Am be an m-dimensional
abstract rigidity matroid for V and let F and G be subsets of K. We say that
G is independent over F if r(F U G) = r(F) + IGI. Let S ~ V(F); we say that
S is free in F if, for any U ~ S with lUI > m, there exists a set G ~ K(U)
such that IGI = lUI - m and G is independent over F. There are several simple
consequences of these two definitions:
LEMMA 5.3.1. Let the complete graph (V, K) be given, let Am be an m-di-
mensional abstract rigidity matroid for V and let F and G be subsets of K.
a. If G is independent over F, then G n F = 0 and G is independent.
b. If F is independent and G is independent over F, then F U G is inde-
pendent.
c. LetS~ V(F) and let lSI~ m, then Sis free in F.
d. Let S ~ V(F), let lSI = m + 1 and let H consist of a single edge in
K (S) - F. If H is independent over F, then S is free in F.
e. LetS ~ V(F), let lSI = m + 2 and let H consist of a pair of (vertex)
disjoint edges in K (S) - F. If H is independent over F, then S is free
in F.
PROOF. Parts a, b and c are immediate consequences of the definitions, as
one easily checks.
Let F and S be as described in e above. To verify that S is indeed free over F,
we must verify that the defining condition holds when U is an (m + 1)-element
subset of S. Suppose that U E Sand lUI= m + 1. Since the two edges in H
have no common vertex, K(U) n H is not empty. Let G consist of a single edge
134 CHAPTER 5. RIGIDITY IN HIGHER DIMENSIONS
LEMMA 5.3.2. Let the complete graph (V, K) be given and let Am be an m-
dimensional abstract rigidity matroid for V. Let E ~ K, let v e V (E), let S
be the set of neighbors of v, let L be the set of edges with v as endpoint and let
F = E - L. If L is independent over F, then S is free in F.
implying:
(i,v) E (K(S)UK(S'U{v})) ~ (E').
We conclude that there is an edge (i,j) E K(S) so that (i,j) is not in (E'). Let
E" = E' + (i,j) and note that r(E") = r(E). Let F" = F + (j, k). Since
m yes yes no no no
already explained the "Yes" entries in the first two columns. The "Yes" answers,
for all k, in the first and second rows follow from the Laman characterization in
dimensions one and two, as we will show with this next lemma.
LEMMA 5.3.3. Let the complete graph (V, K) be given and consider Ym{V).
Let E ~ K, let v be a vertex of valence m + k in (V(E), E), let F be the set of
edges in E not containing v and letS be the set of neighbors of v in (V(E), E).
IfF is independent and S is free in F, then E satisfies the Laman condition.
PROOF. Let H be a nonempty subset of E, we must show that H satisfies
Laman's inequality. If v ¢ V(H), then H ~ F and the conclusion follows
directly from the fact that F is independent. Assume then that v E Hand let
S' = S n V{H). Suppose that IS' I = m + k' with k' > 0. (The simpler case,
IS'I ~ m, will be left as an exercise for the reader.) Since Sis free over F, S'
is free over F and there exists G ~ K(S') such that G n F = 0, IGI = k', and
FUG is independent. We also have V{G) ~ S' ~ V(H). Combining these facts
gives:
as required. 0
Exercise 5.4. Complete the proof of this lemma.
Exercise 5.5. Let the finite set V be given and consider Q1{V).
5.3. THE HENNEBERG CONJECTURE 137
The double banana, see Figure 1.7, shows that a 3-extension of a 3-isostatic
set need not be 3-isostatic: You will easily verify that the set of neighbors of a
vertex of valence six in this graph is free in the edge set obtained by deleting the
six edges containing that vertex.
This example may be altered as follows: Replace the righthand most triangle
by a k-circuit and add m - 3 vertices attached to all other vertices in the graph.
The resulting family of graphs demonstrate that, for m ~ 3 and k ~ 3, a k-
extension of an m-isostatic set need not be m-isostatic. This accounts for all of
the "No" entries except those in the column labeled 2.
Exercise 5.7. Consider the extension of the double banana graph described
above and show that it is the asserted counterexample. First, consider the case
where m = 3 and k ~ 3 and note that the righthand "banana" in the k+ 1 example
is a 1-extension of righthand "banana" in the k example. Use this observation
to prove that the counterexample is valid for m = 3 and all k ~ 3. Then verify
that the same observation holds when m > 3.
Exercise 5.8. Show that the Maehara- Woodall counterexample fails before
the last vertex is added. Identify exactly where it fails.
Pt-P2 P2 -Pl 0 0
Pt-Ps 0 Ps -Pl 0
Pt-P4 0 0 0
0 0 0 Pm+2 -Pm+l
We know that the complete graph on m + 2 vertices is a cycle in any m-
dimensional abstract rigidity matroid and, hence, in any m-dimensional infinites-
imal rigidity matroid. We conclude that the rows of R(p) satisfy exactly one
relation. In the next sequence of lemmas, we will develop an explicit description
of this relation.
The first lemma is a standard result from linear algebra; its proof is included
here for the sake of completeness.
LEMMA 5.4.1. Let M be any matrix with m columns and m+ 1 rows. Denote
the i 'th row byr,
and let di denote ( -1)i times the determinant of the matrix
obtained from M by deleting the i 'th row. Then: E~ 1 c4ri = 0.
PROOF. Let R denote R(p), let ~; denote the row which contains the entries
Pi - P; and P; -Pi and let Mi denote the {m + 1) x m submatrix of R consisting
of the non-zero rows of the submatrix of the i'th set of m columns of R. That is
Mi is the matrix with (Pi-P;) as rows, for 1 ~ j ~ (m + 2),j :/: i. Finally, let
Mi(j) denote the row (Pi-P;) of~ and Mi(-j) the submatrix of Mi with
this row deleted.
Clearly, if E#i 8ijMi(j) = 0, then E 1 ~i<j~m+2 8ij~J = 0. It is also easy
to see that E#i 8i;~(j) = 0 whenever E#i d;Mi(j) = 0. It is this last
equality that we must now show.
If we can show that d; = {-1)i{-1)iui;det(Mi(-j)), where O'ij = -1 when
i > j and +1 otherwise, then our equality will follow from the previous lemma.
Recall that d; = (-1)i det(N( -j)) where N( -j) denotes the matrix obtained
from N by deleting the j 'th row. Thus, it remains only to show that
Subtracting the row [pi 1] from each row of N( -j), yields the matrix:
Pi-1- Pi 0
0 1
Pi+1- Pi 0
Pm+2- Pi 0
where the row [P; - Pi OJ deleted. The required equality now follows easily. 0
Exercise 5.10. Fill in the details of the proof of this last lemma.
Exercise 5.11. Let V = {1,2,3,4} and let p be any general embedding ofV
into R 2 • As we saw in Chapter 2, we may apply an affine transformation so that
P1 = {0,0), P2 = {1,0), P3 = {0, 1) and P4 = (x,y).
a. Write out R(p), the rigidity matrix for the complete graph on V, under
this embedding.
b. Write out the matrix N, as defined above, compute the (signed) deter-
minants d1 , ..• , d4 and compute the coefficients
{ 8· ·
'·'
= ""i.~.dJ· 11 <- i < J. <- 4}.
c. Verify that sR(p) = 0, where s = {812 1 813,814,823,824, 834).
Exercise 5.12. Using a symbolic computation program - such as Mathe-
matica or Maple} -repeat the previous exercise for an arbitrary embedding p,
i.e. do not apply the affine transformation.
140 CHAPTER 5. RIGIDITY IN HIGHER DIMENSIONS
We return to our original setting: let V = {1, 2, ... , m + 2} and let p be any
general embedding of V into IRm. Also let {s,3 I 1 ~ i < j ~ m + 2} be a set
of resolvable stresses for the complete graph (V,K(V),p). Let u be any vector
assignment to the images of V under p, i.e. u E (IRm) v. As usual, we will denote
u(i) by lli· It is convenient to think of the ut as m x 1 column vectors and u as
the m(m+2) x 1 column vector obtained by stacking these vectors on top of one
another in order with u1 at the top. As in Chapter 2, we denote the product
(Pi - P;) (ut - u;) by Ui;. We call Ui; the strain induced on ij by u and we
let ii denote the (mi 2) x 1 column with the Uij as entries ordered to match the
ordering of rows in R(p). Then, we have:
R(p)u = ii.
Thus, the strains induced by a vector assignment on the points in p(V) satisfy
a relation with a set of resolvable stresses for the complete graph (V, K(V), p)
as coefficients. The "converse" is also true as we now show.
Assume that {u~; 11 ~ i < j ~ m + 2} is any set of scalars which satisfy the
relation
L SijU~j = 0.
l~i<j~m+2
We wish to show that the u~3 are the strains induced by some vector assignment
u on the points in p(V). Since any two vector assignments which differ by an
infinitesimal motion will induce the same set of strains, the choice of u will not
be unique. Our task is to construct some vector assignment which induces these
strains. We start by choosing u1 to be any vector in IR3 . Next choose u1 to be
any vector among the solutions to the vector equation:
5.4. STRESSES AND STRAINS 141
L
l~i<j~m+2
Sij~j = 0 = L
l~i<j~m+2
SijUiji
LEMMA 5.4.3. Let V = {1, 2, ... , m + 2} and let p be any general embedding
of V into Rm. Let N denote the (m + 2} x (m + 1} matrix with rows (Pi,1}, for
i = 1, ... , m + 2, and let c4 denote ( -1)i times the determinant of the matrix
obtained from N by deleting the row (pi,1} and let
THEOREM 5.4.1. Let the finite set V = { 1, ... , n} and a general embedding p
ofV into Rm be given. Let U = {i1.i2, ... ,im+2} be an (m+2)-subset ofV; let
N denote the (m + 2} x (m + 1} matrix with rows (Pii ,1}, for j = 1, ... , m + 2,
and let d; denote (-1 ); times the determinant of the matrix obtained from N by
deleting the row (Pii , 1} and let
L SjkUiJik = 0,
t:5j<k:5m+2
for each (m+2)-subset {it. i2, ... ,im+2} ofV. Then there is a vector assignment
to the points p(V) with the uii as its induced strains.
Exercise 5.14. Fill in the details of the proof of the converse. Then state and
prove a stronger converse, i.e. one in which fewer conditions must be satisfied.
To illustrate the uses of this last result, we consider Ka,a in the plane. Specifi-
cally, let V = {1, ... ,6} and choose p to be a general embedding with Pt = {0, 0),
P2 = (1, 0), Pa = (0, 1) and Pi = (xi, Yi), for i = 4, 5,6. Suppose that u is an in-
finitesimal motion of the framework (V, E, p), where E = {(i,j) 11:::; i:::; 3,4:::;
j :::; 6}. Then only Ut2, Uta, u2a, U45, U45 and U55 can be nonzero. Restricting
our attention to the 4-subset U = 1, 2, 3, i, where i is 4, 5 or 6, we may construct
N and compute the corresponding coefficients:
dt = -(1- Xi- Yi)
da = -Xi
da = -yi
~ = 1
This gives us three relations for Ut2 1 Uta and u2a:
and one easily checks that Pb P2 and Pa also lie on this conic.
Conversely, if Pt •... , P6 all lie on a conic, then the conic must have the form
a(1 - x- y)x + b(1 - x- y)y + cxy = 0. To see this let
Ax2 +By2 +Cxy+ax+by+d= 0
be the equation of a conic containing the points with coordinates (0, 0), (1, 0)
and (0,1). Substituting 0 for x and 0 for y gives d = 0; substituting 1 for x and
0 for y gives A = -a; and substituting 0 for x and 1 for y gives B = -b. Thus
the equation of the conic can be rewritten as
ax - ax 2 - axy + by - by2 - bxy + cxy = 0, where c = C +a+ b.
Hence, using the construction in the proof of the lemma which precedes the
theorem, we may construct an infinitesimal motion for p 11 P2 and Pa with Ut 2 =
a, Uta = b and u2a = c and then extend this to an infinitesimal motion of the
enti.re framework.
5.5. 2-EXTENSIONS IN 3-SPACE 143
Exercise 5.16. Use these techniques to find the conditions under which the
'prism" is not infinitesimally rigid. Hint: let P1, P2 and Ps be the vertices
of one of the triangles of the prism; let p4, P5 and Pe be the vertices of the
other triangle; and let {(1,4), (2, 5), (3,6)} be the edges joining these triangles.
Produce an equation for each of the following 4-subsets: {1,2,3,4}, {1,2,3,5},
{1,2,3,6}, {1,2,4,5}, {1,3,4,6} and {2,3,5,6}.
Exercise 5.17. Let V = {1,2,3,4}, let E = {(1,2),(1,3),(2,4),(3,4)} and
consider a quadrilateral framework (V, E, p). Let u be an infinitesimal motion of
this framework and compute the coefficients of the relation: S14U14 + s23U23 = 0.
Use this relation to explain the motions of this framework. Specifically: When
are the distances between P1 and P4 and between P2 and Ps both increasing or
both decreasing? When does one increase while the other is decreasing? Where
does the transition between these different modes occur?
5.5. 2-Extensions in 3-Space. We now turn to a discussion of 2-extensions
in 3-space. Our plan of attack on 2-extensions in 3-space will proceed as follows:
Let V = {0,1, ... , n} and assume that p is a generic embedding of V into
R3 adjusted so that Po is the origin while {p 11 P2 1 Ps} are the standard basis
vectors. For 4 ~ i ~ n- 1, we let Xi, Yi and Zi denote the coordinates of the
vector Pi and we let Pn = (x, y, z). Let E ~ K = K(V) with lEI = 3(n + 1)- 6.
Assume that n is a vertex of valence 5 in (V, E) and that S = {0, 1,2,3,4}
is the set of neighbors of n in this graph. Assume further that S is free in
F = E - { (i, j) I j E S} and that F is 3-independent. We wish to prove that E
is 3-isostatic. Since E - { (4, n)} is a !-extension of F, it is 3-independent. If we
can find an infinitesimal motion u of (V, E - { (4, n)}, p) with U4n =F 0, then, by
Lemma 2.5.1, we can conclude that E is 3-independent.
Next we describe a technique for constructing just such an infinitesimal mo-
tion. Since lSI= 5 and Sis free over F, there exist two edges (i,j) and (i 1 ,j1 ) in
K(S) but not in F so that F U {(i,j), (i1 ,j1 ) } is 3-isostatic. Hence, we can find
infinitesimal flexes w ofF U {{i,j)} and w 1 ofF U {{i 1 ,j1 )} with wi'j' and w~;
both nonzero. Next we extend each of these infinitesimal flexes to infinitesimal
flexes of E- {{0, n), (4, n)}. Since Won and w&n are nontrivial rational functions
in x, y and z and since p is generic, we conclude that Won =F 0 and w&n =F 0. Let
u = WonW 1 - w&nw.
can show that u 4n =F 0, then we may conclude that E is 3-isostatic. Using the
techniques we have just developed, we may compute u 4n as rational function in
x, y and z. Since the embedding is generic, we may conclude that U4n =F 0 unless
the numerator of this rational function is identically zero. In this latter case,
U4n = 0 and we conclude that E contains a 3-cycle.
So far this approach has been unsuccessful in establishing that a 2-extension
of an arbitrary 3-isostatic set is 3-isostatic. However, it has been successful
in establishing a special case: the case where the neighbors of the vertex of
valence 5 (Pn in the above notation) form a pentagon. Specifically, we will
assume that { (0, 1), (0, 2), (2, 3), (3, 4), (1, 4)} ~ F and that F U { (1, 2), (1, 3)} is
3-independent. See Figure 5.34. Let w be an infinitesimal motion ofF U { (1, 2)}
Pn
Po P4
FIGURE 5.34.
I I I I I I I I I 0
~=~=~=~=~=~=~=~=~=,
We wish to show that wan w~n - w6n W4n is not identically zero (as a function
of x, y, and z). Suppose this expression is identically zero; then so is the poly-
nomial P f4[WonW~n- w6nw4n]· We will show that this supposition leads to a
contradiction by considering the coefficients of the terms involving the variables
x andy. To isolate these terms, set z = 0. This gives:
-Z4X4W13 + Y4W24i
and the coefficient of x 2 y to be
THEOREM 5.5.1 (GLUCK [45]). Let (V,E) be a planar graph with more than
one edge and without isolated vertices, i.e. with V(E) = V. Then E is 3-
independent. Furthermore, E is 3-isostatic if and only if the embedding is a
triangulation.
PROOF. Fix a planar embedding of (V, E). Suppose that (V, E) is not a
triangulation and add a set of edges H so that (V, E U H) is a triangulation.
Let T denote the set of (triangular) faces of this new graph. Counting the edges
around each face and summing over all faces, we have:
In his Ph.D. thesis, Allen Fogelsanger proved that the 1-skeleton of any tri-
angulation of a 2-dimensional manifold is 3-rigid. The manifold need not be
embedded in 3-space and, therefore, need not be orientable. Of course, if the
2-manifold is not a sphere, the 1-skeleton will have too many edges to be inde-
pendent and hence cannot be 3-isostatic.
Exercise 5.18. Adapt the arguments used above to prove Gluck's Theorem
to prove that the !-skeleton of a triangulation of the projective plane is 3-rigid.
5.6. The Dress Conjecture. We turn next to the Dress Conjecture in di-
mension three and higher. As previously noted, this conjecture was put forward
by Dress in the 1987 Montreal Conference. Dress pointed out that, for a closed
set E with cliques K11 ... , Kh, the rank of E seems to be given by the "inclusion-
exclusion" formula based on rank instead of cardinality. Let H denote the col-
lection of indices {1, 2, . . . , h}. By the Principal of Inclusion-Exclusion, we have
the following formula for the cardinality of E in terms of the cardinalities of its
cliques:
lEI= L (-1} 111 +11 niei Kil
Ir;,H,I-#0
If E is also independent, rank and cardinality are the same for E and all of its
subsets. Giving: The Dress Equation
r(E) = L (-l)III+lr(nieiKi)·
Ir;,H,I-#0
Dress noted that this equation did not break down for the double banana. Let
E be the closure of the double banana. E is obtained from the double banana
by adding the edge between the two vertices of valence 6. E has just two cliques:
two copies of the complete graph on 5 vertices. These two cliques intersect in a
single edge - the edge that was added. Now the rank of E equals the rank of
the double banana which is 17. The rank of each clique is 9 while the rank of
their intersection is 1. Thus, 17 = 9 + 9 - 1 and the Dress Equation holds. No
closed set in g3 (n) is known to violate the Dress Equation.
In 3-space the Dress equation can be simplified. Let E be a closed set and let
K1, ... , Kn be the cliques of E. As noted in the introduction, two cliques can
intersect in at most a single edge. It follows that any set of more than one clique
will intersect in the empty set, a single vertex or a single edge. Furthermore,
only those sets which intersect in a single edge will contribute to the right hand
side of the Dress equation. Let F be the set of edges in E which belong to more
than one clique of E and, fore E F, let He denote the set of indices of the cliques
which contain e. We may rewrite the Dress Equation as:
where
1J(e) = L
l~He,lll>l
( -1)1I1+1r(nieiKi)
= L
I~H.,III>l
(-1)1111
CONJECTURE 5.6.1 (THE DRESS CONJECTURE). Let the finite set V be given
and let M be a 3-dimensional abstract rigidity matroid for V. Let E be a closed
set in M, let K11 ... , Kh be the maximal complete subsets of E, and, for each
e E E, let 17( e) be one less than the number of maximal complete subsets which
include e.
(i) r(E) ~ EieH r(Ki)- EeeF 17(e).
(ii) equality holds for all closed sets E of M if and only if M = Qa(V).
It is possible that the first part of the Dress Conjecture may extend to higher
dimensions. However, the second part, which would characterize the generic
rigidity matroid, fails in all higher dimensions. The example which demonstrates
this is the generic cycle Km+2,m+2 in Qm(n), for n;;::: 2m+ 4. If m;;::: 4, we have
noted (and you can easily check) that Km+2,m+2 is not rigid. From this we may
conclude that Km+2,m+2 is a closed set in Qm(n): By symmetry, if one of the
edges between two vertices of one of the vertex set were to belong to the closure
of Km+2,m+2• then all of the edges between vertices in this vertex set would have
to belong to the closure of Km+2,m+2· But, this would imply that Km+2,m+2
were rigid. We conclude that Km+2,m+2 is closed and that the maximal complete
subsets of Km+2,m+2 are its individual edges. In this case, then the right hand
side of the Dress inequality sums to (m + 2) 2 while r(Km+2,m+2) is one less.
Exercise 5.19. Km+2,m+2 is a cycle for m=9. Why is it not a counterex-
ample to the Dress Conjecturef
Exercise 5.20. Let the finite set V be given and let E be a closed set in
Qa(V). Let K1, ... , Kh be the cliques of E and let F denote the set of edges in
E which belong to more than one clique. Show that, IfF is a subset of a single
clique, then equality holds in the Dress Inequality.
One application of the 2-dimensional version of the Dress formula was the
proof that all 6-connected graphs are 2-rigid. Perhaps the validity of the Dress
Conjecture would imply a similar theorem for 3-space. Lovasz and Yemini [73]
5.7. OTHER CONJECTURES 149
suggested that m(m +I)-connectivity might also imply m-rigidity when m > 2.
They noted in their paper that the construction of a 5-connected, but not 2-rigid
graph, generalizes to an (m(m +I)- I)-connected graph which is not m-rigid,
showing that their "suggestion" is the best one can hope for.
Exercise 5.21. Construct the graph G as follows: replace each vertex in Kh,h
with a copy of Kh, attaching one edge of the original Kh,h to each vertex of
the inserted copies of Kh. Thus, G has 2h2 vertices, each of valence h. Show
that G is h-connected. Show that an independent set in G can contain at most
2h(mh- (mt 1)) + h 2 edges but needs to have rank m{2h2 ) - (mt 1), if G is to
be rigid. Conclude that G is not m-rigid if h = m( m + I) - I.
5. 7. Other Conjectures. Another characterization of generic rigidity in 2-
space that is a candidate for extension to 3-space is the "three tree characteri-
zation" due to Crapo:
The edge set E is 2-isostatic if and only if graph (V(E), E) is
the union of three, edge-disjoint trees such that each vertex in
V(E) belongs to exactly two of these trees and that no two of
the trees have subtrees (on two or more vertices) with the same
span {Theorem 4.9.6).
The corresponding decomposition for an m-isostatic set in m-space would be into
(~ 2 ) trees with each vertex belonging to exactly m of these trees and satisfying
some nondegeneracy condition. The next exercise verifies that these are the
appropriate numbers and gives us some insight into the degeneracy condition.
Exercise 5.22. Let the positive integer m and the finite set V be given and let
h ;::: (mr! 2) be a second integer. Fori = I to h let 7i ~ K(V) so that (V(7i), 7i)
is a tree. Assume that the trees are edge disjoint and that each vertex in V is in
V(7i), for exactly m of the indices. Prove that: lEI ~ m!V(E)I- (mr! 2), with
equality holding if and only if h = (mr! 2) •
At the very least, the degeneracy condition must be designed to insure that
Laman's condition is satisfied. The exercise gives us the least restrictive degener-
acy condition needed to insure Laman's condition. Given a finite set V, a subset
U of V and a family {7i I i = I, ... , h} of edge disjoint trees with V(7i) ~ V,
the family of trees consisting of the (nonempty) components of 7i n K(U), for
i = I, ... , h, will be called the family of trees induced by {7i I i = I, ... , h} on
U. A family of edge disjoint trees is said to be an m-dimensional C-L {Crapo-
Laman) family for V if, for each subset U of V of cardinality m + 2, the family
of trees induced on U contains at least (mt2) trees.
THEOREM 5.7.1. Let the positive integer m and the finite set V be a given
and let {7i I i = I, ... , h} be an edge disjoint family of trees with V(7i) ~ V,
for i = I, ... , h. Then E = Ut=l, ... ,h7i satisfies Laman's condition if and only
if {7i I i =I, ... , h} is an m-dimensional C-L family for V.
150 CHAPTER 5. RIGIDITY IN HIGHER DIMENSIONS
153
154 REFERENCES
33. H. Crapo and J. Ryan, (1986). Spatial realizations of linear scenes, Struc-
tural Topology 13, 33-68.
34. H. Crapo and W. Whiteley, (1982). Statics of frameworks and motions of
panel structures: a projective geometric introduction, Structural Topology
6, 42-82.
Two traditionally separate fields, the statics of bar and joint
frameworks and the instantaneous kinematics of articulated
panel structures, are here united in a novel and appropriate
projective geometry setting. Exterior algebra (or Cayley al-
gebra) is employed to represent equilibrium loads and static
stresses on a bar and joint framework, and to represent in-
stantaneous motions of an articulated panel structure. In the
special case of a framework and a panel structure, of a spherical
polyhedron, a natural algebraic isomorphism between static
stresses in the framework and instantaneous motions of the
panel structure is exhibited. Under a suitable path condition
on the stresses, this isomorphism is extended to frameworks
and panel structures based on arbitrary oriented polyhedra.
35. H. Crapo and W. Whiteley, (1993). Plane stresses and projected polyhedra,
Structural Topology, to appear.
36. H. Crapo and W. Whiteley, (1993). Stressed frameworks and projected 4-
polytopes, to appear.
37. H. Crapo and W. Whiteley, (1993). The Geometry of Rigid Structures,
Encyclopedia of Math., Cambridge University Press.
38. H. R. Cox, (1936). On the synthesis and analysis of simply-stiff frameworks,
Proc. London Math. Soc. (2) 40, 203-216.
A study of generic structures in 2 and 3-space. A variety of
results is proved concerning ways to add vertices to generically
rigid frameworks or join rigid frameworks which result in larger
generically rigid frameworks.
39. M. Dehn, (1916). tiber die Starrheit konvexer Polyeder, Math. Ann. 77,
466-473.
40. A. C. Dixon, (1899/1900). On certain deformable frameworks, Messenger
Math. 29, 1-21.
Certain planar linkages are constructed and then used to prove
a geometric theorem. Includes a study of all linkages with 1
degree of freedom, 4 pivots, 4 joints, and 8 rods.
41. J. Edmonds, (1965). Minimum partition of a matroid into independent sub-
sets, J. Res. Nat. Bur. Standards B 69, 67-72.
Describes an efficient algorithm to decompose a given graph
(matroid) into k disjoint trees (k bases) whenever possible.
42. N. V. Efimov, {1962). Qualitative problems in the theory of deformable
structures, Translations Amer. Math. Series 1 6, 274-423.
158 REFERENCES
171
172 INDEX