arxiv: v1 [math.mg] 27 Jan 2008

Transcription

1 Geometric Properties of ssur Grphs rxiv: v1 [mth.mg] 27 Jn 2008 rigitte Servtius Offer Shi Wlter Whiteley June 18, 2018 bstrct In our previous pper, we presented the combintoril theory for miniml isosttic pinned frmeworks - ssur grphs - which rise in the nlysis of mechnicl linkges. In this pper we further explore the geometric properties of ssur grphs, with focus on singulr reliztions which hve sttic self-stresses. We provide new geometric chrcteriztion of ssur grphs, bsed on specil singulr reliztions. These singulr positions re then relted to ded-end positions in which n ssocited mechnism with n inserted driver will stop or jm. 1 Introduction In our previous pper [13], we developed the combintoril properties of clss of grphs which rise nturlly in the nlysis of miniml one-degree of freedom mechnisms in the plne with one driver, with one rigid piece designted t the ground. We defined n underlying isosttic grph (genericlly independent nd rigid) formed by replcing the driver - the ssur grph, nmed fter the Russin mechnicl engineer who introduced nd begn the nlysis of this clss. Every other mechnism, which is independent (whose degree of freedom increses if we remove ny br) is formed by composing prtilly ordered collection of k such ssur grphs (see Figure 5). The techniques of combintoril rigidity provided n lgorithm for decomposing n rbitrry linkge into these ssur components. In this pper, we investigte the geometric properties (self-stresses nd firstorder motions) of such ssur grphs G, when relized s frmework G(p) in specil or singulr positions p. The properties of full self-stress combined with ull motion reltive to the ground, t selected singulr positions provide n dditionl, geometric necessry nd sufficient condition for ssur grphs (see 3). Mthemtics eprtment, Worcester Polytechnic Institute. bservtius@mth.wpi.edu Fculty of Engineering, Tel-viv University. shi@eng.tu.c.il eprtment of Mthemtics nd Sttistics, York University Toronto, ON, nd. whiteley@mthstt.yorku.c. Work supported in prt by grnt from NSER nd 1

2 Geometric properties of ssur grphs re lso importnt in terms of specil positions reched by the mechnisms, when moving under forces pplied through driver ( 4). These position include configurtions in which this driver is unble to force continuing motion, becuse of the trnsmission difficulties, or rech ded end positions in which the mechnism will jm under the motion of the driver, nd continued motion will requre will need to be reversed. s with the first pper, our initil motivtion ws to provide more complete grounding nd mthemticl precision for some geometric observtions nd conjectures developed by Offer Shi, nd presented t the Vienn workshop in pril/my More generlly, using the first-order nd sttic theory of plne frmeworks, we wnt to provide creful mthemticl description for the properties, observtions nd opertions used by mechnicl engineers in their prctice. We lso hope to develop new techniques nd extensions in n ongoing collbortion between mthemticins nd engineers. 2 Preliminries We will summrize some key results from the lrger literture on rigidity [7, 21], nd from our first pper [13]. Throughout this pper, we will ssume tht ll frmeworks re in the plne nd we only consider rigidity in the plne. 2.1 Frmeworks nd the rigidity mtrix plne frmework is grph G = (V, E) together with configurtion p of points for the vertices V in the Eucliden plne, with pirs of vertices shring n edge in distinct positions. Together they re written G(p). first-order motion of frmework G(p) is n ssignment of plne vectors p to the n = V vertices of G(p) such tht, for ech edge (i, j) of G: (p i p j ) (p i p j) = 0. (1) If the only first-order motions re trivil, tht is, they rise from first-order trnsltions or rottions of R 2, then we sy tht the frmework is infinitesimlly rigid in the plne. Eqution 1 defines system of liner equtions, indexed by the edges (i, j) E, in the vribles for the unknown velocities p i for the frmework G(p). The rigidity mtrix R G (p) is the rel E by 2n mtrix of this system. s n exmple, we write out coordintes of p nd of the rigidity mtrix R G (p), in the cse n = 4 nd the complete grph K 4. p = (p 1, p 2, p 3, p 4 ) = (p 11, p 12, p 21, p 22, p 31, p 32, p 41, p 42 ); p 11 p 21 p 12 p 22 p 21 p 11 p 22 p p 11 p 31 p 12 p p 31 p 11 p 32 p p 11 p 41 p 12 p p 41 p 11 p 42 p p 21 p 31 p 22 p 32 p 31 p 21 p 32 p p 21 p 41 p 22 p p 41 p 21 p 42 p p 31 p 41 p 32 p 42 p 41 p 31 p 42 p 32 2

3 frmework (V, E, p), with t lest one edge, is infinitesimlly rigid (in dimension 2) if nd only if the mtrix of R G (p) hs rnk 2n 3. We sy tht the configurtion on n vertices p is in generic position if the determinnt of ny submtrix of R Kn (p) is zero only if it is identiclly equl to zero in the vribles p i. For generic configurtion p, liner dependence of the rows of R G (p) is determined by the grph nd the rigidity properties of grph re the sme for ny generic embedding. grph G on n vertices is genericlly rigid if the rnk ρ of its rigidity mtrix R G (p) is 2n 3, where R G (p) is the submtrix of R(p) contining ll rows corresponding to the edges of G, for generic configurtion p for V. n first-order motion p is solution to the mtrix eqution R G (p)p = 0, nd first-order rigidity is studied through the column rnk. We cn lso nlyze the rigidity through the row rnk of the rigidity mtrix, or through the cokernel: [Λ]R G (p) = 0. Equivlently, these row dependencies Λ re ssignments of sclrs λ ij to the edges such tht t ech vertex i: {j (i,j) E} λ ij (p i p j ) = 0 (2) These dependencies Λ re clled sttic self-stresses, or self-stresses for short, in the lnguge of structurl engineering nd mthemticl rigidity, nd the cokernel is the vector spce of self-stresses. Eqution 2 is lso clled the equilibrium condition, since the entries λ ij (p i p j ) cn be considered s forces pplied to the vertex p i. Eqution 2 then sttes tht these forces re in locl equilibrium t ech vertex. Equivlently, frmework G(p) is independent if the only self-stress is the zero stress, nd we see tht frmework with t lest one br is first-order rigid if nd only if the spce of self-stresses hs dimension E (2n 3). 2.2 Isosttic grphs nd rigidity circuits frmework G(p) is isosttic if it is infinitesimlly rigid nd independent. There is fundmentl chrcteriztion of genericlly isosttic grphs (grphs tht re isosttic when relized t generic configurtions p). Theorem 1 (Lmn [8]). grph G = (V, E) hs reliztion p in the plne s n first-order rigid, independent frmework G(p) if nd only if G stisfies Lmn s conditions: E = 2 V 3 F 2 V (F ) 3 for ll F E, F ; (3) Such grph is lso genericlly rigid in the plne. Minimlly dependent sets, or circuits, re edge sets stisfying = 2 V () 2 nd every proper non-empty subset of stisfies inequlity (3). Note tht these circuits, clled rigidity circuits, lwys hve n even number of edges. 3

4 If rigidity circuit = (V, E) induces plnr grph, then plnr embedding of (with no crossing edges) hs s mny vertices s it hs fces, which follows immeditely from Euler s formul for plnr embeddings ( V E + F = 2). The geometric dul grph d is lso rigidity circuit, see [12, 3]. (The vertices of d re the fces of the embedded grph nd two vertices of d re djcent if the corresponding fces of shre n edge, see Figure 1). b e c E d Figure 1: The geometric dul G (red) of plnr grph G (blck) In our previous pper [13], we presented n overview theorem which presented n inductive construction of ll rigidity circuits from K 4 by simple sequence of steps, long with some other properties of circuits. 2.3 Reciprocl digrms In this pper, we will use clssicl geometric method for nlyzing selfstresses in plnr frmeworks (frmeworks on plnr grphs): the reciprocl digrm [4, 5]. This construction hs rich literture in structurl engineering, beginning with the work of Jmes lerk Mxell [9] nd continuing with the work of remon [6]. This technique hs been revived in the lst 25 yers s vluble technique for visulizing the behviour of such frmeworks [4, 5], in specific geometric reliztions, s well s for the study of mechnisms [16, 17]. We describe this construction nd some key properties in the reminder of this subsection. n exmple is worked out in Figure 2. Given frmework G(p) with non-zero self-stress Λ (Figure 2 ()-(c)), there is geometric wy to verify the vertex equilibrium conditions of Eqution 2. If the forces λ ij (p i p j ) re drwn end to end, s polygonl pth, then λ ij (p i p j ) = 0 {j (i,j) E} if, nd only if, the pth closes to polygon (clssiclly clled the polygon of forces, Figure 2 (d), (e)). If we strt with self-stress on plnr drwing of plnr grph G, then we cn cycle clockwise through the edges t vertex in the order of the edges, creting polgon for the originl vertex, nd vertex for ech of the fces (regions) of the drwing. When we crete polygons for 4

5 b e d c E ) b) 1/ / /4 c) d) e E e) f) b d c Figure 2: The geometric reciprocl (f) of self-stress on plnr frmework (c). ech of the originl vertices, we note tht the two ends of ech originl br use opposite vectors (Figure 2 (b), (c)): λ ij (p i p j ) nd λ ij (p j p i ). We cn then ptch these polygons together t ech dul vertex (originl region of the drwing) (Figure 2 (e), (f)). Overll, there is question whether ll of these locl polygons ptch together into globl drwing of the dul grph of the plnr drwing? If we strted with self-stress in plnr grph, the nswer is yes [4, 5]! s just described, this is reciprocl figure s studied by remon [6], with originl edges prllel to the edges in the reciprocl drwing. Note tht only the edges with non-zero self-stress λ ij will hve non-zero length in the reciprocl. If the entire reciprocl is turned 90 o, then we hve the reciprocl figures s presented by Mxwell [9, 4, 5]. onversely, we cn strt with configurtion for plnr grph G(p) nd configurtion for the dul grph G d (q) with edges in G(p) prllel to the edges in G d (q): reciprocl pir. We cn then use the lengths of the dul edge to define the sclrs for self-stress, by solving for λ ij in the eqution: λ ij (p i p j ) = (q h q k ) where edge hk is dul to the edge ij. Overll, the existence of the reciprocl lso implies the existence of self-stress nd this self-stress would recrete the 5

6 reciprocl. Note tht, in this presenttion ech of the drwings is reciprocl of the other. Tht is, ech side corresponds to self-stress of the other side of the pir. The following theorem summrizes some key properties of frmeworks nd their reciprocls. We trnslte the results of [4, 5] into equivlent sttements of the form we will use in 3. Theorem 2 (rpo nd Whiteley [5]). Given plnr frmework G(p) with self-stress, nd reciprocl digrm G d (q), there re isomorphisms between: 1. the vector spce of self stresses of the reciprocl frmework G d (q); 2. the spce of frmeworks G(p ) with this reciprocl (with one fixed vertex); nd 3. the spce of prllel drwings G(p ) with one vertex fixed (equivlently, first-order motions with one vertex fixed) of the frmework G(p). Reciprocl digrms re prticulrly nice for rigidity circuits, s they exist for ll generic reliztions. They were studied in much broder context in [4, 19] s well s in the context of linkges in [17]. We will return to them in the proof of Theorems 7 nd Isosttic pinned frmeworks Given frmework, we re interested in its internl motions, not the trivil ones, so we pin the frmework by prescribing, for exmple, the coordintes of the endpoints of n edge, or in generl by fixing the position of the vertices of some rigid subgrph. lterntively, we tke some rigid subgrph ( single br or n isosttic block) which we mke into the ground nd fix ll its vertices which connect to the rest of the grph. We cll these vertices with fixed positions pinned, the others unpinned, free, or inner. Edges between pinned vertices re irrelevnt to the nlysis of pinned frmework. We will denote pinned grph by G(I, P ; E), where I is the set of inner vertices, P is the set of pinned vertices, nd E is the set of edges, nd ech edge hs t lest one endpoint in I. pinned grph G(I, P ; E) is sid to stisfy the Pinned Frmework onditions if E = 2 I nd for ll subgrphs G (I, P ; E ) the following conditions hold: 1. E 2 I if P 2, 2. E = 2 I 1 if P = 1, nd 3. E = 2 I 3 if P =. We cll pinned grph G(I, P ; E) (pinned) isosttic if G(V, E F ) is isosttic s n unpinned grph, where V I P, no F hs ny vertex from I s endpoint nd the restriction of G to P = V \ I is rigid. In other words, we cn replce the pinned vertex set by n isosttic grph contining the pins nd 6

7 cll G(I, P ; E) isosttic, if this replcement grph on the pins produces n (unpinned) isosttic grph G. Which isosttic frmework we choose, nd whether there re dditionl vertices there, is not relevnt to either the combintorics in the first pper or the geometry in this second pper. In [13] we proved the following result: Theorem 3. Given pinned grph G(I, P ; E), the following re equivlent: (i) There exists n isosttic reliztion of G. (ii) The Pinned Frmework onditions re stisfied. (iii) For ll plcements P of P with t lest two distinct loctions nd ll generic positions of I the resulting pinned frmework is isosttic. 2.5 ombintoril chrcteriztions of ssur grphs In our previous pper [13], we proved the equivlence of series of combintoril properties which becme the definition of n ssur grph. Theorem 4. ssume G = (I, P ; E) is pinned isosttic grph. Then the following re equivlent: (i) G = (I, P ; E) is miniml s pinned isosttic grph: tht is for ll proper subsets of vertices I P, I P induces pinned subgrph G = (I P, E ) with E 2 I 1. (ii) If the set P is contrcted to single vertex p, inducing the unpinned grph G with edge set E, then G is rigidity circuit. (iii) Either the grph hs single inner vertex of degree 2 or ech time we delete vertex, the resulting pinned grph hs motion of ll inner vertices (in generic position). (iv) eletion of ny edge from G results in pinned grph tht hs motion of ll inner vertices (in generic position). n ssur grph is pinned grph stisfying one of these four equivlent conditions. Some exmples of ssur grphs re drwn in Figure 3 nd their Figure 3: ssur grphs corresponding rigidity circuits in Figure 4. We lso demonstrted decomposition theorem for ll isosttic pinned frmeworks. Theorem 5. pinned grph is isosttic if nd only if it decomposes into ssur components. The decomposition into ssur components is unique. 7

8 Figure 4: orresponding circuits for ssur grphs The decomposition process described in the proof of Theorem 5 of [13] induces prtil order on the ssur components of n isosttic grph nd this prtil order in turn cn be used to re-ssemble the grph from its ssur components. This prtil order cn be represented in n ssur scheme s in Figure 5 II I II I V IV III V IV III ) b) c) Figure 5: n isosttics pinned frmework ) hs unique decomposition into ssur grphs b) which is represented by prtil order or ssur scheme c). 3 Singulr Reliztions of ssur Grphs We now show tht these ssur grphs hve n dditionl geometric property t selected specil positions, nd tht this geometric property becomes nother equivlent chrcteriztion. From the generl nlysis of frmeworks, we know tht the positions p of such ssur grphs such tht G(p) is not isosttic re the solutions to polynomil Pure ondition [19]. For n pinned isosttic frmework, this pure condition is creted by inserting distinct vribles for the coordintes of the vertices (including the pinned vertices) nd tking the determinnt of the squre E 2 V rigidity mtrix. We re prticulrly interested in the typicl solutions to the pure condition (the regulr points of the ssocited lgebric vriety). These properties re relted to the behvior of the ssocited linkge when it reches ded-end position nd locks [16, 11] (see 4, orollry 1 below). 8

9 3.1 sufficient condition from stresses nd motions We first show tht given singulr reliztion G(p) with specil 1-dimensionl spce of self-stresses nd 1-dimensionl spce of first-order motions, G must be n ssur grph. This is bsed on n observtion of Offer Shi. Theorem 6. ssume pinned grph G hs reliztion p such tht 1. G(p) hs unique (up to sclr) self-stress Λ which is non-zero on ll edges; nd 2. G(p) hs unique (up to sclr) first-order motion, nd this is non-zero on ll inner vertices; then G is n ssur grph. Proof. First we show tht G is n isosttic pinned grph. For pinned grph with inner vertices V, nd ny reliztion p: E 2 V = dim(stresses[g(p)]) dim(first-order Motions[G(p)]). Since dim(stresses[g(p)]) dim(first-order Motions[G(p)]) = 1 1 = 0, we know tht E = 2 V. Similrly, ssume there is some subgrph G (unpinned, or pinned with one vertex, or pinned with two vertices) which is genericlly dependent. This will lwys hve non-zero internl self-stress in G(p) - which is zero outside of this subfrmework G (p). Therefore, this unique self-stress cnnot be non-zero on ll edges. This contrdiction implies the overll grph G is isosttic. Now we ssume tht the grph G is not n ssur grph. Therefore it cn be decomposed into bse ssur grph G, nd the rest of the vertices nd edges G 1. With this decomposition, we cn sort the vertices nd edges of G, to the end of the indicies for the rigidity mtrix to give the rigidity mtrix block upper digonl form. Since we hve first-order motion, non zero on ll the inner vertices of G, we hve the eqution. [ ][ ] [ ] R1 (p) R 1 (p) u1 0 = 0 R (p) u 0 which implies the eqution for G : [R (p)][u ] = 0, with [u ] 0. Since G is n ssur grph (genericlly isosttic), [R (p))] hs row dependence. Equivlently, there is self-stress Λ [R (p)] = 0. This is lso self-stress on the whole frmework G(p)), which is zero on ll edges in G 1. Since we ssumed G(p) hd 1-dimensionl spce of self-stresses, this contrdicts the ssumption tht there is self stress non-zero on ll edges. We conclude tht G is n ssur grph. In the next two sections we prove tht this condition is lso necessry, completing this geometric chrcteriztion of the ssur grphs. 9

10 3.2 Stressed reliztions of plnr ssur grphs Since this is geometric theorem, we need to use some key geometric techniques for stresses nd motions of frmeworks G(p). We begin with the specil subclss of plnr ssur grphs G, where we cn use the techniques of reciprocl digrms [4, 15]. Theorem 7. If we hve plnr ssur grph G then we hve configurtion p, such tht: 1. G(p) hs one-dimensionl spce of self-stresses, nd this self-stress is non-zero on ll edges; nd 2. there is unique (up to sclr) non-trivil first-order motion of G(p) nd this is non-zero on ll inner vertices. 6 ) S 2 Q P 3 1 K 5 R 6 4 b) Q R S P E E c) Q R S P S Q P R E E E d) e) f) Figure 6: The sequence of steps for producing the configurtion for plnr ssur grph which hs both non-zero self-stress nd non-zero motion: () tke generic reliztion of the underlying circuit nd form its reciprocl; (b) Split the reciprocl fce K in order to generte self-stress tht will seprte the ground vertex in the originl into predescribed distinct ground vertices (c), still with self-stress; (d) use second self-stress to form prllel drwing; (e) use this prllel drwing to crete difference vectors; nd (f) turn these difference vectors to crete the first-order motion which is non-zero on ll inner vertices. Proof. We will use property (i) from the combintoril chrcteriztion Theorem 4: G is miniml isosttic pinned frmework. We ssume tht the grphs G nd G (with the pinned vertices identified) re plnr. Since G is plnr circuit, it hs dul grph G d which is lso 10

11 plnr circuit (Figure 6 ()). We tke generic reliztion of this dul grph G d (q ), which will hve non-zero self-stress Λ which is non-zero on ll edges, nd the grph will be first-order rigid. We hve the corresponding reciprocl digrm G (p ) which lso is first-order rigid nd hs self-stress non-zero on ll edges, by the generl theory of reciprocl digrms ( 2.3 nd [4]). ) identify pins k tringulte dul d) e) dul K dul insert into dul polygon T T b) c) f) Figure 7: Given n ssur grph G we identify the pins to k which hs dul polygon K (,b,c). We tringulte the ground (d) which gives dul trivlent tree T (e). This tree is inserted into K (f) giving n dditionl self-stress whose reciprocl gives bck the tringulted ground nd nd seprtes the pins (f,b). We will now modify this pir to split up the indentified ground vertex k while mintining the self-stress nd introducing first-order motion p which is non-zero on ll vertices not in the ground. This process is illustrted in Figure 7. For simplicity, we crete this ground for the pinned vertices s n isosttic tringultion on the pinned vertices. In the extreme cse where we hve only two ground vertices, we re dding one edge - nd this ppers s corresponding dded dul edge T in the reciprocl. More generlly, we tke the originl grph G with m 3 pinned vertices, nd topologiclly dd n isosttic frmework of tringles in plce of the ground to crete the extended frmework Ĝ, with the dul grph Ĝd. (For uniformity, we cn tke pth connecting the pinned vertices p 1,..., p m nd then connect p 1 to ech of the remining vertices. This will be such genericlly isosttic tringultion, see Figure 7 (d).) If there were m pinned vertices, then we dd 2m 3 edges to crete the tringultion, nd crete t = m 2 tringles. In the dul Ĝ d, this dds 3- vlent tree T with interior vertices for ech of the tringles Figure 7 (e), nd leves ttched to the vertices of the reciprocl polygon K K (Figure 7 (f)). Trnsferring the counts to the reciprocl, we hve dded t vertices nd 2t + 1 edges into the dul polygon K. Since we dded 2t + 1 edges nd t vertices to genericlly rigid frmework G d (q ), we hve dded n dditionl self-stress if ll the vertices re in generic position q. This dded self-stress is non-zero on some of these dded edges. ecuse the inserted grph is 3-vlent tree, if the self-stress is non-zero on one 11

12 edge, then resolution t ny interior vertex in generl position requires it to be non-zero on ll edges t this vertex. In short, the dded self-stress is non-zero on ll edges in the tree. This is now reliztion of Ĝd - the dul to the originl pinned grph with n isosttic tringulted ground (Figure 6 (b)). In the two dimensionl spce of self-stresses in the dul, dding smll multiple of the new self-stress to the originl Λ on G d (q ) (with zero on the dded edges) gives self-stress Λ on Ĝd (q) non-zero on ll edges. The reciprocl of this self-stress is the desired reliztion Ĝ(p) of the originl pinned frmework with tringulted (isosttic) ground (Figure 6 (c)). Since the self-stress on Ĝd (q) is non-zero on ll edges, ll edges re of non-zero length in Ĝ(p) by the bsic properties of reciprocls. Moreover, since ll edges of Ĝd (q) hve non-zero length, ll edges in Ĝ(p) hve non-zero self-stress. With the dded sub-frmework replced by the ground, this is the reliztion G(p) required for condition (i). It remins to prove tht this lso stisfies condition (ii): there is nontrivil first-order motion with ll inner vertices hving non-zero velocities while the ground hs zero velocities. If we dd n dditionl smll multiple of the non-zero self-stress Λ (extended with zeros on in the dded tree in K) to Λ, then we hve second self-stress Λ v which is the sme on the edges interior to K but different on ll other edges. Tking second drwing reciprocl to Λ v will give second drwing Ĝ(p ) which is identicl on the pinned vertices nd the ground tringultion, but moves ll other edges to new positions with different lengths thn in Ĝ(p) (becuse of the different self-stress on these edges) (Figure 6 (d)). This is prllel drwing of Ĝ(p). In prticulr, ll of the edges of the reciprocl polygon K hve different stresses, so the edges from inner vertices to the pinned vertices in Ĝ(p ) ll hve different lengths (Figure 6 (d)). We cn tke the differences in positions (p p) s prllel drwing vectors u (Figure 6 (e)). y generl rguments, involving the 90 degree rottion of the prllel drwing vectors [4, 14], these prllel drwing vectors u convert the first-order motion v = u of Ĝ(p) which is zero on the ground nd non-zero on ll the inner vertices (Figure 6 (e,f)). This completes the proof tht G(p) stisfies condition (ii). 3.3 Extension to non-plnr ssur grphs We hve the desired converse result for ll plnr ssur grphs. In order to extend this to singulr reliztions of ll ssur grphs, we turn to nother 19th century technique for converting singulr reliztion of generl frmework G(p) into singulr reliztion of relted plnr frmework without ctul crossings of edges, using the sme loctions for the originl vertices plus the crossing points [10]. This technique is nmed fter the mericn structurl engineer ow who introduced it to ssist in the nlyis of ny plne drwing of frmework, in which the visible regions nd the edges seprting them becme the pieces for the nlysis of the frmework vi reciprocl digrm. 12

13 Theorem 8. If we hve n rbitrry ssur grph G then we hve configurtion p, such tht 1. G(p) hs single self stress, nd this self-stress is non-zero on ll edges; nd 2. there is unique (up to sclr) non-trivil first-order motion of G(p) nd this is non-zero on ll inner vertices. K X 3 5 K K 1 X 5 3 ) b) 6 Figure 8: Given non-plnr grph (or drwing) () we cn insert crossing points to crete plnr grph (ow s Nottion). Working on this plnr grph we hve reciprocl (b) which lso is non-plnr drwing of the plnr reciprocl (c). Proof. We lredy know the result for plnr ssur grphs. The key step for non-plnr grphs is the clssicl method clled ow s nottion. Given nonplnr frmework relizing grph G, we select pirs of edges with trnsversl crossings, nd insert those vertices, splitting the two edges, creting new grph G b [18] (Figure 8). (Note tht these crossings do not hve to be t internl points of the segments - just not t vertices of the segments. The crossings re identified topologiclly, but the dded vertices re geometriclly on the points of intersection of the two infinite lines.) The generl theorem is tht the two frmeworks hve isomorphic spces of self-stresses, nd first-order motions. With this technique in mind, we cn sketch plne drwing of the finl grph we wnt, with the ground tringultion isolted with no crossings. This sketch identifies the crossing points to be dded, within the identified circuit - the owed frmework. Tke generic reliztion of the identified circuit G. dd the crossing points s identified, to crete plnr grph needed for the reciprocl digrms G b (p). rete reciprocl digrm G d b (q) for this plnr frmework. In this reciprocl, the identified frmework, the duls of the crossing points pper s prllelogrms. We now continue with the plnr process, s outlined in the previous proof. With the ddition of the vertices nd edges to split the dul fce K for the 13

14 ground in the dul, we crete stressed frmework, nd n extended reciprocl which hs the grph of the owed frmework. Moreover, since the dul grph is relized with prllelogrms dul to the vertices dded in the owed frmework, the crossings involve trnsversl crossings with the required -ppernce for lter removl. This frmework will hve self-stress which is non-zero on ll edges nd non-trivil motion which is non-zero on ll inner vertices. Moreover, this owed frmework nd the frmework with the crossing points removed, hve the isomorphic spces of self-stresses nd infiniesiml motions. In prticulr, self-stress which is non-zero on ll edges of the owed frmework is non-zero on ll edges of the originl grph, nd the first-order velocities of the originl grph re exctly those velocities ssigned t these vertices within the owed frmework. We hve creted the required configurtion for the originl (non-plnr) grph with self-stress non-zero on ll edges, nd first-order motion which is zero on the ground nd non-zero on ll free vertices. K 2 K X 4 K 2 1 K 1 X ) b) 6 6 K 2 K 1 K 2 K 1 K 2 K 1 c) X d) X e) X Figure 9: Given the reciprocl pir, we cn gin split the fce K (b) nd split the ground vertex in the originl. This configurtion of the owed grph hs non-zero stress, s does the non-plnr originl. The non-trivil prllel drwing of the owed grph is non-trivil prllel drwing of the non-plnr originl (c) nd induces the required first-order motion on the non-plnr originl (d,e). 14

15 3.4 Extensions to other singulr reliztions With some specil effort, nd creful ttention to some geometric detils, it is possible to extend the previous result to show the existence of such specil configurtion p which extends ny initil configurtion of the ground vertices s distinct points. Without giving ll the detils, the ide is to form n isosttic tringultion on the ground vertices s positioned, which in turn gives n pproprite dul tree t with dul edges for the tringles which re on the boundry of the ground, still s rys. The ground polygon K is then plced on these rys, in generl position. It remins to see tht the rest of the dul grph G d cn be relized with this initil polygon nd unique self-stress, non-zero on ll edges. ecuse we strted with generic circuit, this cn be ccomplished by using some detils bout the polynomil pure conditions of these grphs [19], nd the occurnce of the remining vertices in these polynomil conditions. There is lso conjectured generiztion of the result bove to ny reliztion of n ssur grph with non-zero self-stress on ll edges. The key seems to be not to insist tht every vertex hs non-zero velocity, but to relx this to sk tht every br hs t lest one of its vertices with non-zero velocity. The reder cn review the proof in 3.1 to see tht this is the condition we ctully used in the sufficiency condition. onjecture 1. ssume we hve n ssur grph G nd reliztion p such tht there is single self stress which is non-zero on ll edges. Then there is unique (up to sclr) non-trivil first-order motion nd this is non-zero on t lest one end of ech br. 4 Inserting rivers into ssur Grphs For simplicitly, we will ssume tht our grph G is genericlly independent in the plne. In 1 OF linkge G(p) t n independent reliztion, driver d is either (i) piston b which chnges the distnce between the pir b where b this distnce is chnging during the 1 OF motion; (ii) n ngle driver which chnges the ngle bc between two brs b, bc where this ngle is chnging during during the 1 OF motion. More generlly, if we hve driver d in independent 1 OF linkge G(p), this driver will cuse finite motion in some independent reliztions, nd we continue to cll this piston or ngle driver even in singulr positions of the sme 1 OF grph s linkge. We will discuss such singulr positions in Replcing drivers In the previous pper [13], we creted the isosttic frmework from 1 OF linkge by replcing the driver to remove the degree of freedom. To return to 15

16 1 OF linkge from n ssur grph, we cn insert driver. So fr, we hve used quottion mrks here, becuse we find there re severl lterntives for the process of replcing the driver, nd converse opertions to insert driver becuse the processes re not yet defined - though mechnicl engineering prctice cn guide us. We begin be defining one cler process for replcing driver with n dded br. simple method to remove the 1 OF is to insert one br in wy tht blocks the single degree of freedom (Figure 10). Specificlly, given one-degree of freedom linkge G(p) t generic configurtion: 1. to replce piston b, we insert the br b; 2. to replce n ngle driver on bc, t n internl vertex b of degree 3, we insert the br c; 3. to replce n ngle driver on bc, t n internl vertex b of degree 2, we insert the br c nd remove vertex b; 4. to replce n ngle driver on n ngle p i p j where p i p j re pinned vertices, we dd s pinned vertex. This driver replcement cretes pinned grph G nd pinned frmework G(p). Piston ngle river Pin river ) b) c) Piston r ngle rce ngle rce (ground) Pinned Vertex d) e) f) Figure 10: There re four types of drivers: ) driving distnce b with piston; b) driving n interior ngle bc; c) driving n ngle t pin p i p j, nd the specil type illustrted in Figure 11. elow these re the wys in which ech of these drivers is replced to crete n isosttic grph by d) n dded edge (for piston); e) n dded ngle brce; or f) n dded pinned vertex resulting from dding n ngle brce to the ground. In the key exmple of our previous pper [13] Figures 1,2, we ctully replced the pistons in two steps: 16

17 1. we replced the piston with 2-vlent vertex ttched to the ends (which is mechniclly equivlent); nd 2. we contrcted one of these edges to form the single edge which ws inserted bove. similr process could be pplied to ny ngle driver, nd the net effect would be the edge insertion presented bove (Figure 11). b Piston ngle river c Pin river p i p j b o c ) o b) c) p i o p j b Piston r c d) e) f) p i p j Figure 11: s n ltertive to the simple insertions, we cn replce ech driver by 2-vlent vertex o (,b,c), nd then contrct o to one of the end vertices, creting the sme result (d,e,f) s the previous insertion. The driver is ctive t specific position G(p) if it is possible, infinitesimlly, to chnge the length of the br we re dding without chnging the lengths of ny of the other brs. Specificlly, in the rigidity mtrix of G, with the dded br d t the bottom: R G (p)p = (0,..., 0, s d ) tr hs solution p for ll possible vlues of the strin s d (instntneous chnge in length) of d. More generlly, we clim G(p) is isosttic, nd G is genericlly isosttic, provided tht G(p) is independent nd the driver ws ctive. Theorem 9. Given n independent 1 OF linkge G with n ctive driver d, the driver replcement G is n isosttic pinned frmework. Proof. onsider n independent reliztion G(q). There is 1 dimensionl vector spce of non-trivil first-order motions v, with the pinned vertices fixed 17

18 (which extends to finite motion by generl principles of lgebric geometry [1]). For piston b, the dded br i, j is independent if, nd only if, the dded br is on pir i, j with non-zero strin: (q i q j ) (v i v j ) 0 The definitions of piston driver the dded br hs this required property, so inserting this br blocks the motion, t first-order. Similrly, for n ngle driver bc t n interior vertex b, dding the br c is lso independent, generting n isosttic frmework. If we were replcing n ngle driver t 2-vlent vertex, then with the dded br this vertex is ttched to n isosttistic subfrmework with just two non-colliner brs. This vertex cn be removed to leve n isosttic frmework on the remining vertices. This is done to prevent the ppernce of n extr ssur component in the derived isosttic grph nd focus the nlysis on the behviour of the rest of the grph. If we were replcing n ngle driver p i P j t the ground, then inserting the br p j will crete n isosttic frmework. It will lso pin the vertex to the ground, rtificlly creting n extr ssur component. To ssist the nlysis of the originl mechnism, we just pin the vertex nd nlyze the modified pinned frmework. We cn spek of 1 OF grph G with driver d s n ssur mechnism, if replcing the driver cretes n ssur grph G. 4.2 Inserting river onversely, we cn strt with n ssur grph, nd insert driver using one of the three steps: (i)) Remove br b nd insert piston b; (ii) Remove n edge c which is in tringle bc nd insert n ngle driver on the ngle bc; (iv) remove n edge c nd insert new 2-vlent vertex b, with brs b, bc nd n ngle driver on the ngle bc; (iv) if there re t lest three pinned vertices p i p j p k, mke pinned vertex p k into n inner vertex, with single br to one of the other pinned vertices p i nd n ngle driver on the ngle p i p j. These opertions re the reverse opertions of the four wys of replcing driver. s generic opertion, we know tht this driver insertion tkes n isosttic frmework to 1 OF frmework. We now show tht for n ssur grph, the driver insertion will crete 1 OF frmework with ll inner vertices in motion reltive to the ground. 18

19 Theorem 10. If we hve n ssur grph G, relized s n independent frmework G(p) with the pins not ll colliner, nd we insert driver s bove, then the frmework hs 1 OF, with ll inner vertices in motion, nd ctivting the driver will extend this to continuous pth. Proof. The originl frmework is n independent pinned frmework with E = 2 V. For insertions (i) (ii), we hve removed one br, so there is 1 OF. Since this is n ssur grph, the hrcteriztion Theorem 4 (iii) gurntees ll inner vertices hve non-zero velocity. Moreover, the non-trivil first-order motion will hve non-zero strin on the pir of the removed br. If we inserted piston, this will chnge this length nd drive the motion. If we inserted n ngle driver on tringle bc, then driving the ngle will chnge the length c nd thus drive the motion. Finlly, if we chnged pin to n interior vertex, then we cn ssume tht the vertex being mde n inner vertex is not colliner with two of the other pinned vertices. We cn ssume tht is vertex is 2-vlent in the isosttic ground frmework, so tht mking it inner leves n isosttic ground, nd cretes new inner vertex ttched to the ground by two edges p i, p j. Removing p j gives 1 OF linkge, s required. In the resulting motion, will hve non-zero velocity, so driving the ngle p i p j will drive this 1 OF. It remins to check tht ll other inner vertices re hve non-zero velocities. If some inner vertex h hs the zero velocity, then it is ttched to the remining ground through n isosttic subfrmework. This would men h is contined in n isosttic pinned subfrmework which does not include. This is contrdiction of our ssumption tht G ws ssur. river insertion nd driver replcement re inverses of one-nother. Tht is, if we strt with n ssur grph nd insert driver, then replcing the driver will return us to the sme ssur grph. onversely, if we strt with driver, nd replce it, then we cn choose to re-insert the sme driver nd return to the sme 1 OF linkge. (There is choice in the insertion, one of which is corresponds to the originl replcement. ) However, it is now cler tht we hve: (i) s mny wys to insert piston s we hve interior brs; (ii) three time s mny wys to insert n ngle driver s we hve interior tringles; (iii) s mny wys to insert 2-vlent ngle driver s there re interior brs; (iv) s mny wys to insert pinned ngle driver s we hve pins, provided there re t lest two pins. In short, there re lot of 1 OF linkge with drivers which come from the sme underlying ssur grph. ll of these will be ssur mechnisms. onversely, if we hve 1 OF linkge, we cn identify number of pirs whose distnces re chnge, nd ngles which re chnging. Ech of these could be used to insert driver. However, different insertions will led, fter replcement, to different grphs G. One my be n ssur grph while nother my not. Figure 12 gives such n exmple. 19

20 () (b) (c) Figure 12: Given 1 OF linkge (), there re severl wys to insert driver (b,c). One of these genertes n ssur grph (b), while the other is composite (though isosttic) grph (c). 4.3 Singulr positions with driver The geometric question is: cn we find positions t which this still hs selfstress? If we do, is it possible tht some vertices must hve zero velocities reltive to the ground? Or more generlly is it possible tht the first-order motion does not continue in the sme direction s the originl motion? We recll tht if first-order motion p is first-order motion, then p is lso first-order motion. If both of these velocities extend to finite motion, then we sy the driver hs finite motion in both directions. s contrpositive of the Theorem 10, we hve the following corollry. orollry 1. If the linkge G d (p) with the driver does not hve finite motion in both directions, then the linkge with the driver insert hs self-stress. Such configurtions without finite motion (continuing in both directions) re clled ded ends in the literture of linkges [16]. For exmple, the existence of ded-end with n ngle driver t the ground requires self-stress with the driver joint pinned, so the originl isosttic grph ws relized in singulr position. s nother exmple, if the driver is piston, the driver edge is prt of this singulr position, so tht its line pplies the ground force required for the self-stress of the isosttic grph. Tht n independent 1 OF linkge cn move under driver to such singulr position (with the driver replcement), is one reson why we hve investigted the occurnce of such singulr positions with self-stress on ll members (including the edge used to replce the driver). Tht ll the inner vertices hve non-zero velocities t tht singulr position indictes tht we could hve moved into the self-stress position in the driven motion. It is not true tht every self-stress gives ded end position, just tht ded end positions require the self-stress. The study of such configurtions is the subject of recent pper of Rudi Penne [11]. Tht study focuses on centers of motion, rther thn self-stresses, nd it is well-understood in the literture tht these re equivlent tools for mny purposed, ech giving its own insight into the geometry nd the combintorics of linkges. 20

21 5 oncluding comments Working with severl drivers. In the previous pper, we presented decomposition of generl isosttic pinned frmework into ssur components. With such decomposition, we could insert one driver into ll, or some, of the components, creting lrger mechnism with s mny degrees of freedom s the drivers inserted. See, for exmple, the mechnism in Figures 1 nd 2 of [13]. These drivers will be independent, in the sense tht ech of them could be given distinct instntneous driving instructions without ny interference or instbility. We could lso insert severl drivers into single ssur grph extr nlysis will be needed to ensure tht these re independent. More generlly, given mechnism with number of drivers, their independence is equivlent to whether replcing ll the drivers produces grph which is isosttic. Projective geometry for self-stresses. The instntneous kinemtics nd sttics of plne frmeworks re projectively invrint. Thus the singulr position of grph G(p) cn be trnsferred to ny projective imge of the configurtion p. In prticulr, we hve seen tht it is common in mechnicl engineering to include pistons (lso clled slide joints in structurl engineering). These pistons re ctully mechniclly equivlent to joints t infinity between the two ends of the slide [4] - nd therefore re incorported in the geometric (nd combintoril) theory we hve described in these two ppers. We lso note tht sphericl mechnisms (with joints built s pines pointed to the center of the sphere), shre the sme projective geometry s the plne mechnisms. s this suggests, ll of the combintoril nd geometric methods nd results presented in our two ppers extend immeditely from the plne to the sphericl frmeworks. In nimting one degree of freedom mechnism in computer science, it is common to find tht single link cnnot be tken s the driver which completes circle while preserving ll of the edges of the mechnism. Somewhere long the pth, the linkge will experience self-stress. Some of these singulr positions will jm, others will not. The nlysis of the singulr positions, helps clrify this sitution. However the decision of which new driver to pick to move points long the subject of nother study. Extensions to 3-. In the conclusion of our erlier pper [13], we indicted tht the combintoril results do hve pproprite generliztions in 3-spce, t lest for some nice clsses of structures, such s br nd body structures. These will still hve drivers nd will hve specil geometry for their dependencies nd for ded-end positions. The specific geometric theorems given re conjectured to lso extend, but we will need new methods, becuse techniques such s reciprocl digrms re limited to plne structures. 21

22 References [1] L. simow nd. Roth. The rigidity of grphs. Trns. mer. Mth. Soc. (245): , [2] lex R. erg nd Tibor Jordán. proof of onnelly s conjecture on 3-connected circuits of the rigidity mtroid. J. ombin. Theory Ser., 88(1):77 97, [3] Lur hvez, Lily Moshe, nd Wlter Whiteley. Extending bsis nd circuits for 2-rigidity vi tree coverings. preprint, [4] Henry rpo nd Wlter Whiteley. Plne stresses nd projected polyhedr i: the bsic pttern. Structurl Topology, (20):55 78, [5] Henry rpo nd Wlter Whiteley. Spces of stresses, projections, nd prllel drwings for sphericl polyhedr. eitrege zur lgebr und Geometrie / ontributions to lgebr nd Geometry, (35): , [6] L. remon. Grphicl Sttics. (1872), English trnsltion, Oxford University Press London [7] Jck Grver, rigitte Servtius, nd Hermn Servtius. ombintoril rigidity, volume 2 of Grdute Studies in Mthemtics. mericn Mthemticl Society, Providence, RI, [8] G. Lmn. On grphs nd rigidity of plne skeletl structures. J. Engrg. Mth. (4): , [9] J. lerk Mxwell. On reciprocl figures nd digrms of forces. Philos. Mg. (4): , [10] J. lerk Mxwell: On ow s method of drwing digrms in grphicl sttics, with illustrtions from Peucellier s linkge. Proc. mb. Phil. Soc. (2), , 1876 [11] R. Penne Reltive enters of Motion, Implicit rs nd ed-enter Positions for Plnr Mechnisms. Preprint eprtment of Industril Sciences nd Technology, Krel de Grote-Hogeschool, ntwerp, elgium, Rudi.Penne@kdg.be, [12] rigitte Servtius nd Peter R. hristopher. onstruction of self-dul grphs. mer. Mth. Monthly, 99(2): , [13] rigitte Servtius, Offer Shi, nd Wlter Whiteley. ombintoril chrcteriztion of the ssur grphs from engineering. Preprint, [14] rigitte Servtius nd Wlter Whiteley. onstrining plne configurtions in computer-ided design: combintorics of directions nd lengths. SIM J. iscrete Mth., 12(1): (electronic),

23 [15] O. Shi. eriving structurl theorems nd methods using Tellegen s theorem nd combintoril representtions. Internt. J. Solids Structures, 38(44-45): , [16] O. Shi nd I. Polnsky. Finding ded-point positions of plnr pinconnected linkges through grph theoreticl dulity principle. J. Mechnicl esign, 128: , [17] O. Shi nd G. Pennock. Extension of grph theory to the dulity between sttic systems nd mechnisms. J. Mechnicl esign, 128: , [18] Tiong-Seng Ty nd Wlter Whiteley. Generting isosttic frmeworks. Structurl Topology, (11):21 69, ul French-English text. [19] Neil L. White nd Wlter Whiteley. The lgebric geometry of stresses in frmeworks. SIM J. lgebric iscrete Methods, 4(4): , [20] Neil White nd Wlter Whiteley. The lgebric geometry of motions of br-nd-body frmeworks. SIM J. lgebric iscrete Methods, 8(1):1 32, [21] Wlter Whiteley. Rigidity nd Scene nlysis. in Hndbook of iscrete nd omputtionl Geometry, 2nd Edition J. O Rourke nd J. Goodmn (eds): ,