10
Mathemat ics and Tensegrity Group and representation theory make it possible to form a complete catalogue of "strut-cable" constructions with prescribed symmetries Rob ert Conne lly and Allen Back T n the aut umn of 19 48, whi le exp eri - J.ment ing wit h way s to build fle xib le, moduUrrtoweB,ayounga~tnwmed Ke nnet h Snel son constr ucte d a sort of  sc ul pt ur e that ha d ne ve r be en seen be - fore. As eth ere al in a ppe ara nce as a mer bile , with no o bvio us weig ht-b earin g el- emen ts, it none thel ess retai ned its shap e and stabi lity . '1wa s qu it e a ma z ed at what I had done, " Snelso n rec alled fou r dec ade s lat er. The fol lowing sun une r he sho wed the scu lpt ure to his mento r, the no t- ye t- fwmous inve nt or , ~t and self- styl ed math emati cian R Buckminster Ful ler . Bef ore long, Ful ler had ada pte d Sne lso n's inv ent ion as a cen ter pie ce of hi s syste m of s yner ge ti cs, even to th e point -of ca ll ing the ne W ob ject s "my structures" and pr omo tin g them in his man y ins pir ati onal, free -rangi ng lec- tures. In the proce ss, he gav e them the na me by which they are known today, referr ing to their integrit y unde r te n- sion: tensegrity. R o b e rt Connelly is professor  and chair  in the  Depar tment of MathemDli cs at Cornel l Universi t y.  H e received a Ph.D. in mathematics fr o m the Unive rsi ty of Michigan at Ann Arbor. He I u J s vis- ite d the Inst itut des JUutes Etudes Scienti fique in  Bures-sur - Yvette, the University o f Dijon and the University of  C h a m b e ry in France, Syracuse University, th e University of Montreal , E6tviJs University in Budapest and Biele fel d U niversi ty in  Bielefeld, Germany. Hi s research interes ts include discret e geometry, particul Drly the study o f rigid and flexible fr ameworks, distance geometry, pack- ings and coveri ngs, and the shapes of asteroids.  Allen Back  is D irect or  o f the Matll Department   Instructional Computing lA b at Cornell. H e re ce ive d  his Ph.D. in mathematics from tire University of California, B erkele y. His intere sts iflcl llde dif ferent ial geometry, topology, solid mod- eling, robotics, dyr uzmical systems and the produc- tion of mathemDtical software. Address f o r Connell y: Departme nt  o f Mathemat ics, White  Hall, Cornell University, I t I U Z C i J , NY 14853.  Iflternet: [email protected]. 142 Americ an Scient ist, Volume 86 Sne lso n's scu lpt ures, in whic h rig id sti cks or "co mpr ess ion member s" (as an eng ine er mig ht call the m) are suspend- ed in mid air by al mos t inv isi ble cab les or ve ry th in wi re s, ca n st il l be se en around the wo rl d. A rema rkable , 60- foo t-h igh scu lpt ure , ''Need le Tower, " is di splaye d at the Hi rsh horn Museum and Scu lpt ure Gar den in Wash ing ton , D.C. The ide a has pen etr ate d int o low art as well. A number of bab y toy s em- plo y the swme prin cip les as Sne lso n's origi nal tens egrit ies. One cou ld even ar- gue tha t the first te nse gri tie s wer e not made by human bei ngs : A spi der web can al so be vi ewed as a tens egrit y, al- bei t one wit h no rigid par ts. Al though Full er 's ge odesic do mes and synerg etic s gain ed him worl dwid e re nown, most of t he mat hematics that he used was alrea dy well establ ished . However, his stud ent Snelson's disc ov- ery posed genu inel y new mathema tica l qu es ti on s, wh ic h ar e fa r fr om be in g comple tel y res olv ed: Wha t is a te nse g- rity ? Why is it sta ble? Can tens egrit ies be clas sified or listed? Brank oGri inba um, a mathe matic ian at th e Universi ty of Washin gt on in Sea ttl e, was esp eci all y res pon sible for rekindlin g the int erest of math ema ti- cians in s uch quest ions , with a wond er- ful set of mimeog raphed not es wri tte n in the early 1970s, called ''Lecture s on Lost Ma themat ic s. " In 1980, one of us (Con n el ly ) pr ov ed a co nj ec tur e of  Gri inb aum's tha t allows the sys temati c con str uct ion of sta ble planar ten segri- ti e s. Bu t the wond er an d be auty of  Snelson's sculpt ure s sur ely lies in th eir three- di me nsiona l nature. On e of the mot iva tio ns of our recent wor k, the re- fore, was to find a pro per three -dime n- sion al gene raliz ation. The mathemati cal too ls of group the ory and repres ent a- tio n the ory , cou ple d wi th the powe rful graph ic and comp utat iona l capa bili tie of comput eB, hav e now made it pos si ble to d raw up a co mpl ete cat alo gue 0 te nsegri ti es wi th ce rt ai n pr escr ib ec ty pe s of st ab il it y an d sy m me t ry, in cl ud in g some t ha t ha ve ne ve r b ee l seen befo re. What Is a Tense grity ? Ten seg rit ies hav e a p uri ty and simpI ic ity t hat lead ver y nat ura lly to a mathe mati ca l de sc ri pt ion. Putt ing aside th. phy sic al det ail s of t he con str uct ion eve ry tenseg rit y can be mod ele d mat h ema tic all y as a con fig ura tio n of poi nts or ve rti ces, sat isf yin g simple distano constr ai nt s. Snel son's st ruct ur es afl hel d tog eth er wit h two types of desigi el ements (e nginee rs say member s) wh ich ca n be cal le d c a b le s and struts The two elemen ts play comp lemen tar: role s: Ca bl es ke ep ve rt ic es cl os e to ge th er ; s tr uts h ol d t he m ap ar t. T wc ve rt ic es connec te d by a cabl e may b. as clo se toge ther as des ir ed-the~ mi ght even be on top of one another i the tenseg rit y col lap sed -bu t the y ma~ ne ver be fa rt her apart than the le ngtl of th e cabl e joining them. Si mi larl } two ver tic es joi ned by a strut may nev er be clo ser tha n the len gth of the strul but may be ar bit rar ily far a par t. The last poi nt may see m sur pri sin l at fiBt, be ca use in mos t real te nsegri tie s the stru ts can not get ei the r lon ge or shor t er . In fa ct , th e te nn "b ar " ha been used to d esc rib e a de sig n elemen of fi xe d le ng th . Ho we ve r, we hav i found that , most of t he time, bars cat be re pla ced by st rut s wit hou t sac rif ic ing sta bil ity . Moreover , the conce pt 0 st ruts can be app l ie d to other pr ob ler ns, such as the pac kin g of s pheri ca bal ls. (In a ny such pac kin g, the ce nte r of t he ba ll s must ke ep a minimum di s tan ce but can be as far apart as desired

Mathematics and Tensegrity

Embed Size (px)

Citation preview

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 1/10

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 2/10

e 1. Tensegrity, a concept invented by Kenneth Snelson for use in

ture5, describes a structure that retains its integrity under ten-

Consisting of struts and cables, these three-dimensional assem-s may soar into the sky, float out across landscapes or describe

familiar geometric figures. Tensegrities appear in high art, low

d nature, as illustrated by Snelson's sculpture "Needle Tower" at

irshhorn Museum and Sculpture Garden in Washington, D.C., a

r web and a child's toys (Slik-Trix and Tensegritoy, left and  rigllt).

f these structures hold their shape because of internal tension, yet

ematical generalizations of their sometimes complex structure

been difficult to develop. The authors have used the mathemati-

ols of group theory and representation theory, combined with

raphic capabilities of computers, to develop a complete catalogue

segrities with certain prescribed types of stability and symmetry.

ograph at right courtesy of Kenneth Snelson; upper left photo-

courtesy of Design Science Toys Ltd.)

199H March-April 1-l3

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 3/10

initial configuration

3 4

target configuration

4

Figure 2. Snelson's X tensegrity (left) and its inverse (right), with struts and cables inter-

changed, demonstrate the corcept of super stability. The X tensegrity is super stable: Any

comparable configuration must either have shorter struts or longer cables. The Inverse Is not

super stable, because it can be defonned by flipping along one digonal, so that the struts

remain the same length while the other diagonal cable becomes shorter. Struts are shown in

green; cables are dashed lines.

Thus a packing can be considered to bea tensegrity with invisible struts.)

Some people have defined a tenseg-rity in such a way that no two strutsshare an end vertex, and each vertex is

at the end of a strut. Again, for reasonsof generality we do not adopt theseconventions, but for many of the ex-amples that are mentioned later, theseproperties happen to hold.

What is Stability?As in the definition of a tensegrity it-self,there are several different plausiblenotions of stability,each appropriate forcertain circumstances: infinitesimalrigidity,static rigidity, fiBt-and second-order rigidity, prestress stability andothers. (See Connelly and Whiteley

1996 for a definition of these terms.)

We have chosen a very direct andstrong definition, whose name wasproposed by one of our undergraduatestudents, Alex Tsow. We can call twoconfigurations "comparaple" if theyhave the same number of vertices, con-nected by cables and struts in the sameway. Tsowcalled a given tensegrity su -

 per  stable  ifany comparable configura-tion of vertices either violates one of the distance constraints-one of thestruts is too short, or one of the cablestoo long-or else is an identical copyof (in geometrical terms, congruent to)

the original.For example, Snelson's X tensegrity

in Figure 2 is super stable. One elemen-tary tensegrity that is not super stable isa hinge (two struts sharing one vertex):

By opening or closing the hinge a little

v " ' " '2"";;" ""'< 2'····':·2;':-:·:"···Y·,,,·. :.j!: ....., ~.... .....·~~:1.:~:~2} ; ' : " ,~,',(~:.t;~:'82t, · , : f . J y ': ; 1 ; 7 . Y " i! ) ~ : " ; " Y : . ( X ; : { 7 ; · r . ij) . , : * '·( Y ,1 '  7Y.2)/~·(Z;f'~·Z2 ) .

 \' ~"~f.:::.;~";\,~'~~~;,~,;,': ..'.\ <\" .:~~~::.'.','~!,~",.";';,,',~.~ ~ > ~ ~ ;_ '.. .': ': '.:~: t  ,:,~< <'<','" :';:';2';':~:,~" \ . : _ < : < . . . . . .} ~ . .>.:'~~:;:~.<..'~,~> ' ~ ' , , ' , ' : ' ; \ . : \ ~ , ~ ~ ' ~ : . ~ ~ . ; , , . t , ' ;. ' ":. . . . . :,~. ,' . " . ,",

J : ; : ; : , : : · ; i : ~ ~ ; ~ : . · ) : , : : + : ; ; : f ~ ~ ~ H ~ ~ · : · ~ ~ ; t ! ~ f . : , ~ : : ; ' , ; , ~ , ~ , , : : ; } ~ ; ~ ; ~ ~ , j : : ~ § ; ~ i i I . g ~ k % ~ ~ ~ } l f 8 ~ ~ ~ { M : , . · : : : : ; ' ; ' ' < : '. • .~ ' . : ' . '

.D~¥~:~>Fi''''.'·'.i..' f ." . '~ ;" ;" . . . . . 5 ; . . . •; 'i . ! I \ , i ; ~ ; ; ; :• •·,<..;,'., " .J:,!:.•.;,.,,~V,:(X,'k,.X2}" ~ (y '1· · · . ,y ,2} . .+ , (z . l · · .;~~~.:.«wl: W . 2) '.'

. .~ - - : . - .: . , ~. .~ ' . '\ : ~ : : ~ . ' ~: . : ~ . ': '> : ~ ' . , ~ ~< ~. /. ." : . - : > .'t,"""',~: '."':..',.' :-..,~,;...; :~,:;'> ~ -, ' , :~ . : : , .> : ' , : , : , , : . ~ ~ . ; ~ ' ~ ~ ~ . ~ , ~ ~ . ~. ~ , • .~ ; . ~ : : . :~'>:::;t: I',· • ,'. -,' .'-.

Figure 3. Points in n-dimensional Euclidean space can be identified with their coordinates in

a Cartesian coordinate system. The number of coordinates is the dimension. Distance inn-

dimensional space is calculated by analogy with the Pythagorean fOIDlula from plane geom-

etry. A tensegrity can be defined in any dimension because its points and the distance con-

straints governing the struts and cables can aU be stated in tenns of coordinates. Here exam-

ples are shown for 1- through 4-dimensional space.

144 American Scientist, Volume 86

bit, one obtains a new configurwith the same strut lengths but ferent shape from the original. Moterestingly, if one reverses the rocables and struts in the X tensegrfails to be super stable, even coning only configurations in the plais rigid in the plane, in the sensthere is no continuous or graduation of the vertices that preserve

cable and strut constraints. Howeis not rigid in space; like a hinge, be flexed into new shapes that acongruent to the original.

Unlike a rigid tensegrity, a supeble tensegrity must win against acomparable configurations innumber of dimensions-includingmensions 4 and higher. Mathecians are used to such spacePythagoras's formula for distancDescartes's idea of coordinates them as easy to work with as 2- adimensional space (see Figure 3) .

Spider Webs and StabilityTo prove that a tensegrity is stasuch a strong sense, we often invconcept borrowed from physicsidea of potential energy. When a ture is deformed, physically it ador gives up energy. However, mmaticians need not be constrainphysically realistic energy funcbut may invent convenient fictionergy functions to facilitate the vetion of super stability.

A good starting point for ustanding these functions is the terity that was constructed long bKenneth Snelson-the spider wspider web diffeB from the tensegdiscussed so far in two respects_Fhas some "pinned" vertices, fixspace or in the plane; any compaconfiguration must have verticesactly the same positions. Second,der web has only cables and no (see Figure 4) .

The energy functions considerspider webs are motivated by, b

identical to, the physical potentiergy for an ideal spring. The Ephysicist Robert Hooke (1635-found that the forceneeded to dia spring was proportional to thplacement from its rest positionwrote this empirical observationknown as Hooke's law, as an ana"ceiinosssttuu." The unscrambledgram-"Ut tensio, sic vis"-translfrom Latin as, "As the extensionthe force.") Although Hooke di

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 4/10

rase the law in terms of energy, it

plies that the energy in a spring is

oportional to the square of the dis-

ce it is stretched or compressed.

In a spider-web tensegrity, the energy

nction for each cable is simply pro-

)rtional to the total length squared-as

he cable were a spring with a resting

gth of zero. It remains to determine

hatthe constants of proportionality form cable should be or (if we think of 

e cables as springs) how "strong" the

ings are. For a given configuration,

e goal is to choose these fictional

engths insuch a way that the config-

ation represents a unique minimum

the corresponding energy function,

e sum of the energy functions of all

ecables. Then any comparable spider

eb that does not increase any cable

gth must have the same energy or

aller, because each cable contributes

e swme, or less, to the total. But since

e given configuration is supposed toresent a unique minimum energy,

e two configurations must be identi-

Consequently, such a spider webe that minimizes some energy func-

n) is super stable. This is called the

ciple of lens t w ork , in honor of the sim-

principle that is used in structural

ineering.

How does one recognize when a spi-

r web has an energy function that is

ecisely minimized by the given con-

uration? One answer is the equilibri-

of stresses-another concept bor-

ed from engineering. Again, it helps

magine the cables that meet at any

en vertex as springs, each one tug-

g in a different direction. Remember

t this force can be made "stronger"

"weaker" by a proportionality con-

nt, which we will call the s tress in the

le; thus the strength of each cable's

is equal to its length times its stress.

he stresses are picked in just the right

y, so that the tug-of-war wmong all

cables leading to a given vertex is a

w, then the stresses at that vertex are

quilibrium. If that happens at everyinned vertex, then the whole spider

b is said to be in equilibrium.

These stresses are simply numbers

t are assigned to cables; they need

thave anything to do with the size of 

cable or even its physical or me-

nical characteristics. However, it is

ortant that all the stresses are posi-

e: If some are zero, then the given

figuration may not be a unique min-

m of the energy function, and the

nciple of least work  will not apply.

For tensegrities ingeneral, equilibri-

um of the stresses is not enough to guar-

antee that the configuration ha s the min-. imum energy. However, for the special

case of a spider web with no unstressed

cables, it is enough. The reason is that

the energy function, composed as it is of 

quadratic polynomials with positive cer

e£ficients, ha s a property called convex i ty .

No matter how you move the (un-pinned) vertices around, starting from a

critical eqUilibrium configuration, the

energy function will increase. A convex

function, like a parabola, can only have

one minimum point. Ifa spider web sat-

isfies the equilibrium condition, it ha s tobe the one. Thus the principle of least

work applies to show that the spider

web is super stable.

Note that this method does not just

provide a ''local'' result only valid for

small (or even bounded) perturbations.

yy

V I~I • 

i \

6·····~,/  \ 

. ' ( 1 i !

..  /~. i',.."" ~ ® " @

0:......····· .....

~..' "l

Figure 4. Mathematical spider web consists

only of cables, with no struts. Thn!e vertices

are pinned (slladed rectangles) and cannot

move relative to the background. Inorder for

the web to be super stable, the three cables

coming from the pinned vertices must deter-

mine lines that go through a single point.

x x

a

b

y

x

c

y

Figure S. Affine transformations include stretches (a),flips (b) and projections (c'. Note that a

projection may cause many struts and cables to overlap. AU of these transformations have

the property that an eqUilibrium stress for the original tensegrity also serves as an equilibri-

um stress for the transformed tensegrity.

1998 March-April 145

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 5/10

i ". . . ..'.'.'.'

··········-..~

. . .. '.'.'. . .

••••••••••••••••• -@.".'.

" ." .

. . . . . . . . . . . . . . . . . .....

..........

.. . . . . .. . . . . . . .

. . . . .~ -(

Figure 6. Super stable planar tensegrities can be generated by a 1980 Iheorem of Connelly. If 

the cables form a strictly convex polygon, If  the struts are inlemal diagonals, and If Ihere Is a

positive stress for each cable, a negative stress for each sinal and eqUilibrium al each vertex,

then the lensegrlty Is super slable. The stabUlty Is not always intuitively obvious. A configu·

ration inspired by a rigidity theorem proved by French mathematician Augustin Louis

Cauchy in 1813 is shown at top left. An example of a dass suggested by the Branko

GrIlnbaum of the University of Washington is shown at top right. A configuration that is

super stable only Ifthe vertices lie on an ellipse appears at boHom left.

14 6 American Scientist, Volume 86

It works for any other configuratione can conceive in any higher-dime

sional Euclidean space. Spiders ca

have their webs ruined even by fli

higher dimensions.

l'i!

Stability of 2-Dimensional Tensegri

The quadratic functions that were

sidered for the spider web tensegri

work very nicely, but if there are st

as well as cables, the situation

more complicated. Because a strut

a certain sense, the opposite of a c

it is mathematically natural-although

it does not model a physical poten

energy function directly-to defin

energy function similarly but wi

negative proportionality constant.

is as if the rest position is when the

has infinite length! The total energ

as before, the sum of the energies

each of the cables and struts.

Incidentally, although the energy ftion just described is not physically

istic, it is not completely divorced

engineering reality. If one analyzes

local static properties of a structure,

quadratic energy described here is

of two terms that enter into a descrip

of the structure under sufficiently s

perturbations. When the stability ca

detected by such a quadratic approxi

tion, the structure is called prestress s

in the engineering literature.

If we consider only small pertu

lions of the physical energy of a

stress stable structure, the second

(which we have not described)

adds to the stability of the structure

deed, for a super stable tensegrity

long as there is no catastrophic buck

of the struts or breaking of the cable

creasing the stress tends to stabilize

tensegrity. This is not necessarily

case for a tensegrity that is only

stress stable.

Figure 7. Super stable three·dimension

tensegrlties can be generated from the a

of a symmetry group on one strut and

cables. InIhis example, which has the

metry group of half the symmetries

cube, each strut (green) can be superimpoon each other one by a rotation or a r

tion. Similarly, each red cable can be s

imposed on each other red cable, and

blue cable on each other blue cable.

whole tensegrity can be seen as being

up of six Identical "stretchers" jo

together at their ends with the red cab

the predetermined ratio of the stress i

blue cables to the stress in the red cab

increased, the blue cables shorten, an

configuration approaches that of the

toy tensegrlty.

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 6/10

A second problem when we move

m spider webs to tensegrities is the

of pinned vertices, which technically

s out the whole idea of a "unique"

rgy minimum. Since nothing is

ned, the whole configuration can be

dly moved about, and the energy

l remain the same. Not only that,

there also can be massive distor-

ms to the configuration-certainds of rescaling transformations as

l as projections of a tensegrity

wn to its "shadow" in a lower num-

of dimensions-that do not alter

energy. The equilibrium condition

reserved by such maps, which are

ed af fine l inear t rans/ont la t ions (seere 5).s before, call the coefficient of the

rgy function for each cable or strut

stress. As with the spider web

egrities, the tensegrity is said to be

quilibrium with that collection of 

sses if the stresses balance at each

rtex. For example, Snelson's X

egrity is in equilibrium when all

r cables have stress 1,and the two

ts have stress -1.

As in the case of spider webs, if a

segrity has an energy function that

minimized for a certain configura-

, then the configuration is in equi-

ium. But the converse is no longer

: Even when the configuration is at

ilibrium for a given set of stresses,

energy may not be at a minimum.

r exwmple, simply reverse the roles

cables and struts for Snelson's X

segrity, and reverse the signs of the

sses as well. The new tensegrity

l still be in equilibrium, but the en-

y will be at a maximum instead of a

imum, and the tensegrity will not

uper stable.

hus, to prove that a given tensegri-

s super stable, there are three tasks

must complete. First, we must

w that the energy function is at a

nimum-not just at an equilibrium.

ond, we must show that the only

ne transformations that do not vio-any cable and strut constraints are

ually congruences (that is, no

tching or shrinking is allowed). Fi-

ly, we must show that the given

segrity cannot be the "shadow" of 

higher-<iimensional tensegrity that

lso in equilibrium. (Maria Terrell of 

rnell University has called the latter

operty the universality of the tenseg-

y.)Under these conditions, the prin-

e of least work implies that the giv-

tensegrity is super stable.

Figure 8. Croup of permutations of four letters acts on a cube and a tetrahedron intwo dif-

ferent ways. On the cube (top), the permutation that switches vertices labeled (a) with those

labeled (b) while leaving (c) and (d) alone represents a rotation. On the tetrahedron (bottom),

the same permutation represents a reflection. Thus the group of permutations of four letters

(called S.) is seen to have two distinct 3-dimensional representations.

This approach has made it possible

to identify a large number of super sta-

ble tensegriti.es. For example, take any

convex polygon in the plane, where the

edges are cables and some collection of 

the internal diagonals are struts. (Here

the word "convex" is applied in a dif-

ferent context from before. A polygon

is convex ifthe line segment connecting

any two of its vertices is contained en-

tirely in the interior.) One of us (Con-

nelly) proved in 1980 that, if an equi-

librium collection of stresses can befound, positive on the external edge ca-

bles and negative on the internal diag-

onal struts, then each of the three con-

ditions holds; thus, any such tensegrity

is super stable. Therefore, for this class

of convex planar tensegrities as well as

for spider webs, equilibrium implies

stability (see Figure 6).The question remains as to what the

proper generalization is for 3-dimen-

sional space. A natural choice for a

configuration is the collection of ver-

tices of a 3-dimensional polytope

(polyhedron), and perhaps the edges

of the polytope should provide the ca-

bles of the tensegrity. But it is not clear

  just how to identify precisely a satisfy-

ingly general class of super stable

tensegrities. One idea is to specialize

somewhat and look at tensegrities that

have a great deal of symmetry. This

can be used to short-circuit the un-

pleasant parts of the calculations.

Symmetric Tensegrities

Some of the most appealing tensegrities

made by Snelson and later by others are

highly symmetric, exhibiting a sub-

group of the symmetries of the cube or

the regular dodecahedron. To be effi-

cient about the analysis, and-even

more important-to provide a frame-

work for the classification of such struc-

tures, it is convenient to use the theory of 

representations of finite groups.

The theory of representiltions of finite

groups, developed at the turn of the past

1998 March-April 147

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 7/10

inthe same orb i t   ifat least one symme-try of the tensegrity superimposes oneof the pair onto the o ther. In Figure 7 ,each cable or strut in a given orbit hasthe same color. The grouP. of symme-tries of these tensegrities is transitive

on the struts (because there is only oneorbit, colored green) but not quite tran-sitive on the cables (because there aretwo orbits, colored red and blue).

With this in mind, it is especially easyto check whether there is an equilibriumstress for the cables and struts. If there isany energy function at all that is mini-

mized by the given configuration, thenthere is one that has the swme symmebyas the tensegrity i tself. Thus the samestress can be assigned to each cable orstrut in any given orbit. Similarly, the bal-ance of stresses only needs to be checkedat one vertex, because all vertices arealike under the group of symmetries. Fo ralmost all the exwmples considered here,i t turns out to be easy to check that theonly affine motions that preserve the ca-ble and strut constraints are congruences.Hence only one difficulty remains beforewe can apply the least work principle:We have to make sure that the energy isa minimum. That is where group repre-sentations enter the picture.

Group RepresentationsSo far, groups have appeared in only oneg uis e: t he g ro up o f s ymme tr ie s o f atensegr ity. But groups can a lso be de-fined inthe abstract, without referenceto any particular physical object . Fromthis point of view, a group is simply a setwhose elements can be "multiplied" andthat obeys certain rules, such as the exis-

tence of an identity element. Inthe case  just presented, the elements of the groupwere motions that superimpose a tenseg-rity on itself, and "multiplication" of two

Figure 9. Super stable tensegrities Ilke these are generated by the dihedral groups, in joint work of Connelly and Maria Terrell of C

University. This class includes Snelson's "octet truss," one of his earliest designs (right).

148 American Scientist, Volume 86

congruences is defined by first perfing one m otion and then the other.

Group theory is something l ikancient Oriental game of go. Theronly a few simple rules , and theeasy to learn. But their conseque

can take many yeaB of intense stumaster. Like certain move sequence"joseki") in go, certain groups occten enough to have the ir own naThe s implest, and perhaps most u itous, i s a group wi th two e lemcalled ~. It s elements can be thougas the numbeB +1 and -1, with theration of multiplication. (Note tproduct of either +1 or-1 with eithor -1 again gives +1 or -1.) Or thebe thought of as the words "even""odd," with the operation of addOr they can be thought of as the ide

motion and reflection in a mirror.Of  the many guises an abstract g

c an a ss ume , a mon g t he mo st c onient ones are sets of l inear funcRotations and reflections are examof linear functions. H  the elements abstract group are thought of as aand the l inear functions as roles,the playbill, which assigns certain ato certain roles, is called a representof the group. The abstract group can be used to do group calcula tand effectively provide a common of re ference . A representation, oother hand, may have more s trucand m ay give deep and subtle info

tion about the abstract group.An essential concept in dealing

representations i s that of   eql l iva lp

Consider, Corexwmple, the group ofmetries of the word MOM. There arways to superimpose this word onEither leave it alone (the identity mo

or reflect it about a vertical linet he c en te r o f t he O . T his

century by F . Georg Frobenius and IsaiShur, wa s originally motivated by a prob-lem in algebra, but soon found a wide va-riety of applications, especially to thephysics of the then new theory of theatom. A typical success story begins witha fairly complicated mathematical modelof a s tructure wi th some form of   (ge0-metric) symmetry. Representation theoryallows one to break down the complicat-ed model into a predetermined, smallnumber of much m ore tractable models,each of which can be treated more or lessindependently. Fan Chung and ShlomoSternberg (1993) gave a very nice exam-ple of such an application: the analysis of the infrared spectra of the buckyball, amolecule with 60 carbon atoms that hasthe symmetry of a regular dodecahedron.Inour situation, the representation theoryis called on in almost the swme way, ex -cept that the underlying mathematicalobjects are different.

Suppose that a tensegri ty can be r0-

tated about some line insuch a way thatthe rotated tensegrity is indistinguish-able from the original: each vertex su-perimposed on a vertex, each cable su-perimposed on a cable and each s t ruts up er imp os ed o n a st ru t. A ll t he mo -tions, or congruence s , that superimposethe tensegrity on i tself in this fashionform a mathemat ical s tructure cal led

the grou p o f sym m e tr ies of the tensegrity.( It may include some ref lections andother congruences, and always includesthe "ident ity," a Zen-l ike mot ion thatsimply leaves everything untouched.)

If a tensegri ty has enough symme-t ries that any vertex can be superim-posed onto any other by a congruence,then the group of symmetries is said tobe transitive on the vertices. Similarly,any pair of vertices (or any pair of ca-bles or any pair of struts) is said to be

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 8/10

oup, therefore, is a representation of 

e abstract group 22, Likewise, if we

med the word MOM on its side, its

mmetry group would still be a repre-

ntation of 22, Although the actual re-

ction involved is different-it is now a

lection through a horizontalline--the

ential symmetry of the word has not

en changed by turning iton its side. A

athematician would say that these tworesentations of ~ are equivalent.

Compare this with the group of sym-

tries of the word MOW. Again, there

two ways to superimpose the word

itself: the identity and a l8O-degree

ation about the center of the O. This

mmetry group is also a representa-

n of  22, but somehow it feels differ-

. The difference is not in the group

elf, but in the geometry-the linear

Dction involved is a rotation, not a re-

ction. Thus a mathematician would

that this representation of ~ is not

i valent to the previous one.The symmetries of 3-dimensional

ures involve representations of some

ore interesting groups than ~. The

up of rotations of the cube and the

up of all symmetries of the regular

rahedron are both representations of 

group of pennutations of four let-

s (denoted 54)' These two represen-

ons of 54 tum out to be inequivalent,

can be seen in Figure 8.

The representations of a group can

combined in a Simple but important

y. For example, think of two repre-

tations of a group, one as motions

3-space and the other as motions of 

pace. Now think of a 5-dimensional

ce, where the fiBt three coordinates

rrespond to the 3-space, and the next

O coordinates correspond to the 2-

ce. Create a new representation of 

group by letting the first represen-

on act on the first three coordinates

the second representation act on

next two coordinates. Then the new

resentation is called the sum of the

0 representations.

The process sometimes works in fe-

se, too: Given a representation, it may

possible to split it up as a sum of 

ller-dimensiona! representations. For

mple, each of the two elements in the

unetry group of the word MOM su-

mposes a horizontal line through the

er of the 0 onto itself. Likewise, each

superimposes a vertical line onto it-

This representation, therefore, is re-

ible to the sum of two l-dimensional

resentations. But the situation is dif-

eJlt for the two 3-dimensional repre-

sentations of the group 54' Although a

line or plane may be superimposed on it-

self by an individual rotation, there is no

line or plane that is superimposed on it-

self  by all the symmetries of the cube or

the tetrahedron. Thus these representa-

tions are called irreducible.

One of the major insights of Frobenius

and Shur was that any representation

can be decomposed in an essentiallyunique way into irreducible ones. Hence

the irreducible representations are the

building blocks of the theory, much like

prime numbers in number theory.

Now we can define a representation

that is very closely related to the energy

function for tensegrities. Any group,

such as the group 5", has a representa-

tion as a permutation of its own ele-

ments. af we return to the actor-and-role

metaphor, this is like every actor playing

himself.) Since 54 has 24 elements, imag-

ine a space with 24 coordinates, with

each coordinate axis labeled by one ele-

ment of the group. Each element of  54

corresponds to a permutation of the axes,

and each one of these extends in a natur-

al way to a congruence of the 24-dimen-

sional Euclidean space. These congru-

ences form the wgular representatioll of 5 4 ' Frobenius proved that the regular rep-

resentation of any group "contains" all of 

the irreducible ones, each repeated anumber of times equal toits dimension.

For example, for S 4 the irreducible repre-

sentations are the two 3-dimensional

ones illustratl.'Ciabove, as well as a 2-di-

mensiona! one, a nontriviall-dimension-

al representation, and the biviall-dimen-

siona! representation (where all elements

of the group are represented as the iden-

tity). So in the regular representation, the

two 3-dimensional representations are re-

peated three times, accounting for nine

dimensions each; the 2-dimensional rep-

resentation is repeated twice, accounting

~0~

Figure 10..How to build your own tensegrity: Start with a cardboard model of the corre-

sponding regular polyhedron (a). Cut out the sides and use a paper punch to place holes at

the proper points In each side (b). Itworks best if the size of the holes just lets the sticks pass

through. Here, however. the holes are shown larger for better viewing. Locations need not be

precisely correct. Tape the edges back together again and pierce the polytope with the dow-

els according to the way they look in the final tensegrity (c). (Compare Figure 1.) Insert rub-

ber bands in the appropriate pattern through the notches in the ends of the dowel struts (d).

The figure shows pins at the ends of the dowel struts, which also works. Cut away the card-

board and let the whole structure come to equilibrium. Replace the rubber bands with string

or cord. (The rubber bands may deteriorate within a few weeks.)

1998 March-April 149

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 9/10

Figure 11. The autholS' catalogue of super stable symmetric tensegrities includes dozens to hundreds of examples with the symmetry of regular polyhedron. Here, one tensegrity representing each type of symmetry is portrayed. Tensegrities inthe right hand column, from

top down, come &om representations of the group of even permuations on four letters, the group of even permutations on five letters,

the group of allpermutations of four letters. These representations tum out to be the rotations of the regular tetrahedron, the regular dod

hedron, and the cube respectively. The tensegrities inthe left hand column come from the direct sum of the group with two elements and

group generating the right hand column.

for four dimensions; and the nontrivi ,l land trivial1-dimensional representationsaccount for one more dimension each. In

total, we get 9 + 9 + 4 + 1 + 1 =24 dimen-sions accounted for.

Suppose that we have a tensegri tywhose group of symmetries acts transi-tively on the vertices. Its energy function,which was def ined using the s t resses(motivated from the equilibrium condi-

t ion), corresponds to the regularsentation of the symmetry group.was not at all obvious to us at first:after doing several special cases did

discover that Frobenius's theorem

150 American Scientist, Volume 86

8/8/2019 Mathematics and Tensegrity

http://slidepdf.com/reader/full/mathematics-and-tensegrity 10/10

e to order for our problem. Usingtheorem, the energy function can bet en as a sum of energy functions thatespond to each of the irreducible rep-ntations. So the calculations can bee for the m uch smaller-dimensional

ducible configurations. For exwmple,ulating a minimum energy configu-on for the group S . . , without the de-

position coming from representationory, would involve solving equations

least 24 variables. B ut by using theduClble representations, it takes only

calculations with three variables,calculation involving two variableso ne w it h o ne v ari ab le . .ow consider the problem a bit differ-y. Start with the stresses, and then aske of the representations has an equi-um configuration for that collectionresses. This is like looking for thee of the Cheshire cat (the stress) be-

we find the cat itself (the tensegrlty).l the stresses are posit ive, then i t is

that all the terms inthe definition of nergy function are positive or zero. If

able graph is connected, this meansthe only representation that gives anibrium configwation will be the triv-ne-in which all the vertices are onf each other. Next, choose one of thes that you eventually want to be a D ecrease the stress coefficient for

strut, even allowing it to be negative.p decreasing that coefficient until the

energy function itself  just starts to

values on the borderline of beingtive (that is, zero). Then at least onee nontrivial irreducible representa-

has a configuration that is in equi-um with respect to that stress. Calle equilibrium configurations, result-rom irreducible representations, crit-configurations. Usually, but not al-

s, it turns out that there is only onesentation that has a critical configu-n. Ifso , this is the desired configura-

and the corresponding tensegrity.ne unset t ling feature of  this processat there do not seem to be any assur-

s beforehand as to which represen-n will be the one that provides theal stress. If one of the "winneB"ens to be a 3-dimensional represen-

n (as ithas been in many of the casesave tr ied), then we get a super sta-

ensegrity that we can see, rather thannferring its existence in some higherension. But we do not know of anyeral theory that would predict theome without doing the calculation.ot many abstract groups can occurni te g ro up s o f s ymme tr ie s i n 3-

space. They include two infinite fami-l ies: the cycl ic groups on n elements(which can be identified with the rota-t ions of a regular n-sided polygon) andthe dihedral group wi th 2n elements(the group of all symmetries, includingreflections, of a regular n-sided poly-gon). There are six other possibil it ies:S . a : the "alternating groups" At and A s

with 12 and 60 elements respectively;and the "direct sum" of each of thesewith the group Z 2 t  which doubles thenumber of e lements. Each of these s ixcan be represented as a group or sub-group of symmetries of a regular poly-hedron: For example, the group of rcrtations of a regular dodecahedron is arepresentation of A s .

F or a ny g iv en f inite gro up , o urmethod allows us to compile efficiently acomplete catalogue of the symmetr ictensegrities with two orbits of cables, oneorbit of struts and one orbit of vertices.The most intriguing-and most recentlydiscovered--ones correspond to the sixgroups mentioned in the last paragraph.Because the struts ca n be connected tothe cables in hundreds of different ways,maintaining the symmetry, the completecatalogue has well over a hundred dif-ferent tensegri ties . For Figure 11 wehave chosen one representative to il-

lustrate each of the six possible types of symmetry. The complete catalogue canbe v ie we d o n o ur W orld W id e W e bpage a t http://mathlab.cit.comell.edu/ 

visualization/tenseg/tenseg.html.InFigure 10 we show you how to de -sign your own tensegrities. Although thenumber of configuration types is finite,there is still plenty of room for artistic ex-perimentation: The lengths of the strutscan be chosen more or less at will (prcrvided they are all the swme length), andthe locat ions and lengths of the o ther

membeB will change accordingly. Mak-ing the tensegrity init ially with rubberbands helps the tensegrity "find" a su-per stable configuration, and the designcan then be made permanent by replac-ing the rubber bands with string.

For readeB who would l ike to buildvir tual tensegri ties , we recommend aprogram called SI'RUCK, by Gerald de

Jong and Karl Erickson. This programcan be accessed on the World Wide Webat http://wolfenet.com/-setebos/ springspace.hbnl.

AcknowledgmentThe authors thank D ana M ackenzie for hisexcellent editing in the preparation of thisar tic le . CO/mel ly also thanks the A lexan-der von H um boldt F oundat ion f or t he ir  generous support i n t he academ ic year  1991-92, where many o f  the ideas of thisarticle w ere developed.

References

Otung. F ., and S. Stemberg.1993. Mathematicsand the buckybalL Ameriam  Sdmtist 81:56-71.

Connel ly , R . 1980. Rigidity and energy. Invenliones M athemDticae 66:11-33.

Connelly, R., and M. Terrell. 1995. Globallyrigid symmetric tensegrities. StructuralTopology 21:59-78.

Connelly, R., and W . Whiteley. 1996. Second-order rigidity and prestress stability fo rtensegrity frameworks. S IA M T o urna i of  

  Discrete M athematics (9)3:453-491 .

Hartog, J . P . 1949. Strength of  M aterials. Ne wYork:Dover, pp. 3-4.

Lyustemik, L. A. 1956. Convex Figures and 

Polyhedra. New York:Dover.

New YorkAcademy of Sciences. 1989. Kenndh

Snelson: Th e Nature of Structure. New York:New YorkAcademy of Sciences.

Pugh, A. 1976. An Introduction to Tensegrity.Berkeley and Los Angeles, Calif.:Universityof  California Press .

Snelson, Kenneth. Kenneth Snelson. <http:// www.teleportcom/-pdx4d/sneison.html>.

1998 March-April 151