Rigidity of Graphs and Frameworks

Transcription

1 Rigidity of Graphs and Frameworks Rigid Frameworks The Rigidity Matrix and the Rigidity Matroid Infinitesimally Rigid Frameworks Rigid Graphs Rigidity in R d, d = 1,2 Global Rigidity in R d, d = 1,2 1 Rigidity of Graphs and Frameworks

2 Frameworks in R d A framework in R d is a pair (G, p), where G = (V,E) is a graph and p is a map from V to R d. We consider the framework to be a straight line embedding of G in R d in which the length of an edge uv E is given by the Euclidean distance between the points p(u) and p(v). We say that (G, p) is a realisation of G in R d. 2 Rigidity of Graphs and Frameworks

3 Rigid Frameworks Let (G, p) and (G,q) be frameworks. Then: (G, p) and (G,q) are equivalent if they have the same edge lengths. (G, p) and (G,q) are congruent if p(u) p(v) = q(u) q(v) for all u,v V. (G, p) is rigid if there exists an ε > 0 such that every framework (G,q) which is equivalent to (G, p) and satisfies p(v) q(v) < ε for all v V, is congruent to (G, p). (This is equivalent to saying that there is no smooth deformation of (G, p) which preserves the lengths of all its edges.) (G, p) is globally rigid if every framework (G,q) which is equivalent to (G, p), is congruent to (G, p). 3 Rigidity of Graphs and Frameworks

4 The Rigidity Matrix and the Rigidity Matroid Let G = (V,E) be a graph and d be a positive integer. We associate a d-dimensional vector of distinct variables v with each v V. The d-dimensional rigidity matrix M G of G is the E d V matrix with rows indexed by E and columns indexed by the variables in v, v V, in which the entry in row e and columns v is: v w if e = vw is incident with v 0 if e is not incident with v. The rigidity matroid M(G) = (E,r) of G is the row matroid of M G. 4 Rigidity of Graphs and Frameworks

5 Example M G = v 1 v 2 v 2 v v 2 v 3 v 3 v v 3 v 4 v 4 v 3 v 1 v v 4 v 1 0 v 2 v 4 0 v 4 v 2 d = 1, v i = (x i ). M G = x 1 x 2 x 2 x x 2 x 3 x 3 x x 3 x 4 x 4 x 3 x 1 x x 4 x 1 0 x 2 x 4 0 x 4 x 2 M(G) is the cycle matroid of G, r(e) = 3.

6 d = 2, v i = (x i,y i ). M G = x 1 x 2 y 1 y 2 x 2 x 1 y 2 y x 2 x 3 y 2 y 3 x 3 x 2 y 3 y x 3 x 4 y 3 y 4 x 4 x 3 y 4 x 1 x 4 y 1 y x 4 x 1 y x 2 x 4 y 2 y x 4 x 2 y 4 M(G) = U 5,5, r(e) = 5.

7 The rigidity matrix of a framework (G, p) is the matrix M G,p obtained from M G by replacing v by p(v) for all v V. The rigidity matroid of (G, p), M(G, p), is the row matroid of M G,p. We say that (G, p) is a generic realization of G if M(G, p) = M(G). (This occurs, in particular, when the co-ordinates of all the points p(v), v V, are algebraically independent over Q.) 7 Rigidity of Graphs and Frameworks

8 Infinitesimally Rigid Frameworks Let { nd ( ) d+1 S(n,d) = 2 if n d + 1 ( n 2) if n d + 1 Lemma 1 Let (G, p) be a framework in R d. Then rankm G,p rankm G S(n,d). Furthermore, if rankm G,p = S(n,d), then (G, p) is rigid. We say that (G, p) is infinitesimally rigid if rankm G,p = S(n,d). Thus (G, p) is infinitesimally rigid (G, p) is rigid 8 Rigidity of Graphs and Frameworks

9 When (G, p) is a generic realisation of G: (G, p) is rigid (G, p) is infinitesimally rigid

10 Rigid Graphs A graph G is rigid in R d if rankm G = S(n,d). Lemma 2 The following statements are equivalent. G is rigid in R d. r(e) = S(n,d) in M(G). some framework (G, p) in R d is infinitesimally rigid. every generic framework (G, p) in R d is rigid. the set of all frameworks (G, p) which are rigid in R d is a dense subset of R nd. 10 Rigidity of Graphs and Frameworks

11 Minimally Rigid Graphs A graph G is minimally rigid in R d if G is rigid and G e is not rigid for all e E. Lemma 3 The following statements are equivalent. G is minimally rigid in R d. G is rigid and E = S(n,d). G is rigid and E is independent in M(G). 11 Rigidity of Graphs and Frameworks

12 Rigidity in R We have S(n,1) = n 1. M(G) is just the cycle matroid of G. A set of edges E is independent in M(G) if and only if E induces a forest in G. G is rigid if and only if G is connected. G is minimally rigid if and only if G is a tree. (G, p) is a generic realization of G for all embeddings p (in which adjacent vertices are mapped to distinct points). 12 Rigidity of Graphs and Frameworks

13 Rigidity in R 2 We have S(n,2) = 2n 3 if n 2. For X V let E(X) denote the set, and i(x) the number, of edges of G induced by X. Theorem 4 (Laman, 1970) Let G = (V,E) be a graph. Then E is independent in M(G) if and only if i(x) 2 X 3 for all X V with X Rigidity of Graphs and Frameworks

14 Theorem 5 (Lovasz and Yemini, 1982) Let G = (V,E) be a graph. Then r(e) = min{ t i=1 (2 X i 3)} where the minimum is taken over all collections of subsets {X 1,X 2,...,X t } of G such that {E(X 1 ),E(X 2 ),...,E(X t )} partitions E. A rigid component of G is a maximal rigid subgraph of G. If H 1,H 2,...,H t are the rigid components of G and X i = V (H i ) then X i X j 1 for all 1 i < j t and r(e) = t i=1(2 X i 3). 14 Rigidity of Graphs and Frameworks

15 A 0-extension of G is obtained by adding a new vertex v and joining v to two vertices of G. Suppose x,y,z V and xy E. A 1-extension of G is obtained by adding a new vertex v, joining v to x,y,z and deleting the edge xy. Theorem 6 (Henneberg, 1911) If G is minimally rigid then any 0-extension or 1-extension of G is minimally rigid. Conversely, if H is minimally rigid and V (H) 3, then H is a 0-extension or 1-extension of a minimally rigid graph G. Corollary 7 G is minimally rigid if and only if G can be obtained from K 2 by a sequence of 0-extensions and 1-extensions. 15 Rigidity of Graphs and Frameworks

16 Global Rigidity A framework (G, p) is algebraically independent if the set of all co-ordinates of all points p(v), v V, is algebraically independent over Q. Theorem 8 (Hendrickson, 1992) Suppose (G, p) is an algebraically independent realization of G in R d. If (G, p) is globally rigid then either G is a complete graph with at most d + 1 vertices, or the following two conditions hold: (a) G is (d + 1)-connected, and (b) G e is rigid in R d for all e E. We say that G is redundantly rigid in R d if G e is rigid in R d for all e E. 16 Rigidity of Graphs and Frameworks

17 Theorem 9 (Connelly, 1989 and 2003) Suppose G is a 1-extension of H. Let (G, p) be an algebraically independent realization of G in R 2. If (H, p V (H) ) is globally rigid, then (G, p) is globally rigid. Theorem 10 (Jordán and BJ, 2003) Let G = (V,E) be a graph. Then G is 3-connected and redundantly rigid in R 2 if and only if G can be obtained from K 4 by the operations of adding edges and performing 1-extensions. Theorem 11 (Jordán and BJ, Connelly, 2003) Let (G, p) be an algebraically independent realization of G in R 2. Then (G, p) is globally rigid if and only if either G = K 2,K 3, or the following two conditions hold: (a) G is 3 connected, and (b) G is redundantly rigid in R Rigidity of Graphs and Frameworks