You are on page 1of 11

Mathematics and Tensegrity

Group and repreeentailon theory make it possible to fonn a complete catalogue


11
of etrut-cable" construciions with prescribed sy1n1netries

Robert Connelly and Allen Back


n the autumn of 1948, while experi- Snelson' s sculptures, in which rigid graphic and cmnputational capabilities
Imodular
menting wth ways to build flexible,
towers, a young artist named
sticks or IIcompression members" (as an
engineer might call them) are suspend-
of computers, have now made it possi-
ble to draw up a complete catalogue of
Kenneth Snelson constructed a sort of ed in midair by almost invisible cables tensegrities with certain prescribed
sculpture that had never been seen be- or very thin wires, can still be seen types of stability and symmetry, in-
fare. As ethereal in appearance as a mo- around the world. A remarkable, 60- cluding some that have never been
bile, with no obvious weight-bearing el- foot-hgh sculpture, "Needle Tower," is seen befare.
ements, it nonetheless retained its shape displayed at the Hirshhorn Museum
and stability. "I was quite amazed at and Sculpture Carden in Washington, What Is a Tensegrity?
what I had done," Snelson recalled four D.C. The idea has penetrated into low Tensegrities have a purity and simplic-
decades later. The following summer he art as well. A number of baby toys em- ity that lead very naturally to a mathe-
showed the sculpture to his mentor, the ploy the same principles as Snelson' s matical description. Putting aside the
not-yet-famous inventor, artist and self- original tensegrities. One could even ar- physical details of the construction,
styled mathematician R. Buckminster gue that the fust tensegrities were not every tensegrity can be modeled math-
Fuller. Befare long, Fuller had adapted made by human beings: A spider web ematically as a configuration of points,
Snelson' s invention as a centerpiece of can also be viewed as a tensegrity, al- beit or vertices, satisfying simple distance
his system of synergetics, evento the one with no rigid pars. constraints. Snelson' s structures are
point of calling the new objects 1'my Although Fuller' s geodesic domes held together with two types of design
structures" and promoting them in his and synergelics gained him worldwide elements (engineers say members),
many inspirational, free-ranging lec- renown, most of the mathematics that which can be called cables and struts.
tures. In the process, he gave them the he used was already well established. The two elements play complementary
name by whch they are known today, However, his student Snelson' s discov- roles: Cables keep vertices close to- .
referring to their integrity under ten- ery posed genuinely new mathematical gether; struts hold them apart. Two
sion: tensegrity. questions, which are far from being vertices connected by a cable may be
completely resolved: What is a tenseg- as clase together as desired-they
Robert Connelly is professor and diair in the rity? Why is it stable? Can tensegrities might even be on top of one another if
Departmeni of Mathematics at Cornell University. be classified or listed? the tensegriiy collapsed-but they may
He receioed a Ph.D. in maihematic from the Branko Grnbaum, a mathematician never be farther apart than the length
University of Michigan at Ann Aibov. He has vis- at the Unversity of Washington in of the cable joining them. Similarly,
iied the inetitu: des Hautes Etudes Scientifique in
Seattle, was especially responsible for two vertices joined by a shut may nev-
Bures-eur-Yoeiie, the Universify of Dijon and t:he
University of Chamb1y in Trance, Syracuse rekindling the interest of mathemati- er be closer than the length of the slTut,
University, the Universit.y of Montreal, Eot:vos cians in such questions, with a wonder- but may be arbitrnrily far apart.
University in Budupes! and Bielefeld University in ful set of mimeographed notes written The last point may seem surprising
Belefeld, Germany. His researcli interests inctude in the early 1970s, called "Lecturas on at first, because in most real tensegri-
discrete geomet1y, parl:icularly ihe study of rigid Lost Mathematics." In 1980, one of us ties the struts cannot get either longer
and flexible framworlcs, dietance geometry, pack- (Connelly) proved a conjecture of or shorter. In fact, the term 1'bar" has
ings and cooeringe, and the slwpes of asteroide. Grnbaum' s that allows the systematic been used to describe a design element
Allen Baclc is Director of the Mafh Departtneni construction of stable planar tensegri- of fixed length. However, we have
lnnructional Compuiing Lab at Cornell. He ties. But the wonder and beauty of found that, most of the time, bars can
receroed his Ph.D. i11111afl1emai:ics from the
Snelson' s sculptures surely Iies in their be replaced by struts without sacrific-
UniversihJ of California, Berkeley. His interesi
include differenf:ial geometry, topologiJ, salid mod- three-dimensional nature. One of the ing stability. Moreover, the concept of
eling, tobof:ics, dynamical systems and ihe produc- motivations of our recent work, there- struts can be applied to other prob-
iion of mathematia software. Address for fore, was to find a proper three-dimen- lems, such as the packing of spherical
Connelly: Deparimen: ofMathematics, White sional generalizati.on. The mathematical balls. (In any such packing, the centers
Hall, Cornell UniversihJ, Iinaca, NY 14853. tools of group theory and representa- of the balls must keep a minimum dis-
Internet: connelly@math.comell edu. tion theory, coupled with the powerful tance but can be as far apart as desired.

142 American Scientist, Volume 86

- - - - ----- --- ------- - ----- ------


Figure l. Tensegrily, a concept invented by Kenneth Snelson for use in
sculptures, describes a structure that retains its integrity under len-
sion. Consisting of struts and cables, these three-dimensional assem-
blages may soar into the sky, float out across landscapes or describe
more familiar geometric figures. Tensegrities appear in high art, low
ad and nature, as illustrated by Snelson's sculpture "Needle Tower" al
the Hirshhorn Museum and Sculpture Garden in Washington, D.C., a
spider web and a child's toys (Stik-Trix and Tensegritoy, left: and 1ight:).
All of these structures hold their shape because of interna! tensin, yet
mathematical generalizations of their sometimes complex structure
have been difficult to develop. The authors have used the mathemati-
cal tools of group theory and representation theory, combined with
the graphic capabilities of computers, to develop a complete catalogue
of tensegrities wilh certain prescribed types of stability and symmetry.
(Pholograph al right courlesy of Kenneth Snelson; upper left photo-
graph courtesy of Design Science Toys Ltd.)

1998 March-April 143


bit, one obtans a new configuration
1 2 2 with the same strut lengths but a dif-

(';{; -, ,, ferent shape from the original. More in-


terestingly; if one reverses the roles of
, ,,,,
-, 3
cables and struts in the X tensegrity, it
.,)'11 i,
," fails to be super stable, even consider-

,, -,
, ...
,,., ,,' ' -, -, ing only configurations in the plane, It
@' ' is rigid in the plane, in the sense that
4 3 4 there is no continuous or gradual mo-
lnltlal conflguration target configuration ton of the vrtices that preserves the
cable and strut constraints. However, it
Figure 2. Snelson's X tensegrity (left) and its inverse (right), with struts and cables nter- is not rigid in space; like a hinge, it can
changed, demonstrate the concept of super stablity, The X lensegrily is super stable: Any be flexed into new shapes that are not
comparable configuration must either have shorter struts or longer cables. The inverse is not congruent to the original.
super stable, because it can be deformed by flipping along one digonal, so that the struts Unlike a rigid tensegrity, a super sta-
remain the same length while the other diagonal cable becomes shorter, Struts are shown in ble tensegrty must win aganst all the
green; cables are dashed Iines,
comparable configurations in any
number of dimensions-including di-
Thus a pacldng can be considered to be We have chosen a very drect and mensions 4 and higher. Mathemati-
a tensegrity with invisible struts.) strong definition, whose name was cians are used to such spaces, as
Sorne people have defined a tenseg- proposed by one of our undergraduate Pythagoras' s formula for distance and
rity in such a way that no two struts students, Alex Tsow. We can call two Descartes' s idea of coordinates make
share an end vertex, and each vertex is configurations "comparable" if they thcm as easy to work with as 2- and 3-
at the end of a strut. Again, for reasons have the same number of vertices, con- dimensional space (see Figure 3).
of generality we do not adopt these nected by cables and struts in the same
conventons, but for many of the ex- way. Tsow called a given tensegrity su- Spider Webs and Stability
amples that are mentioned Iater, these per etable if any comparable configura- To prove that a tensegrity is stabl in
properties happen to hold. tion of vertices either violates one of such a strong sense, we often invoke a
the distance constraints=-one of the concept borrowed from physics-the
What is Stability? struts is too short, or one of the cables idea of potential energy. When a struc-
As in the definition of a tensegrity it- too long-or else is an identical copy lure is deformed, physically it adsorbs
self, there are severa! different plausible of (in geometrical terms, congruent to) or gives up energy. However, mathe-
notions of stability, each appropriate for thc original. maticians need not be constrained to
certain circumstances: infinitesimal For example, Snelson' s X tensegrty physically realistic energy functions,
rigidity, static rigidity, first- and second- in Figure 2 is super stable. One elemen- butntayinventconvenientfictionalen-
order rigidity, prestress stability and tary tensegrity that is not super stable is ergy functions to facilitate the verifica-
others. (See Connelly and Whiteley a hinge (two struts sharing one vertex): tion of super stability.
1996 for a definition of these terms.) By opening or closing the hnge a little A good starting point for under-
standing these functions s the tenseg-
rity that was constructed long before
Kenneth Snelson-the spider web. A
spider web differs from the tensegrities
discussed so far in two respects. First, it
has some 11pinned" vertices, fixed in
space or in the plane; any comparable
configuralion must have vertices in ex-
actly the same positions. Second, a spi-
der web has only cables and no struts
(see Figure 4).
The energy functions considered for
spider webs are motivated by, but not
identical to, the physical potential en-
ergy for an ideal spring. The English
physicist Robert Hooke (1635-1703)
found that the force needed to displace
a spring was proportional to the dis-
placement from its rest positi.on. (He
Figure 3. Points in n-dimensional Euclidean space can be identified with fheir coordinates in
wrote this empirical observation, later
a Cartesian coordinate system, The number of coordinates is the dimension. Distance i:n 11- known as Hooke's law, asan anagram:
diinensional space is calculated by analogy with the Pythagorean formula from plane geom- "ceiinosssttuu." The unscrambled ana-
ehy. A lensegrHy can be defined in any dimension because its points aud the distance con- gram-"Ut tensio, sic vis"-translates
straints governing the struts and cables can all be stated in tenns of coordiuates. Here exam from Latn as, "As the extension, so is
ples are shown for 1- through 4-dimensional space. the force.") Although Hooke did not

144 American Scientist, Volume 86


- - .. - -------------------- -------- . ----------- - ... - --- ------------------- - -- --------- - -- -- ----- -- -- -- -- ------ ---- -------- -----------------------------------.
f
.

1: /
bfr
,.
'.
_

phrase the law in terms of energy, it


mplies that the energy in a spring is
For tensegrities in general, equilibr-
um of the stresses is not enough to guar-
?i,' proportional to the square of the dis- antee that the confguraton has the min-
tance it is stretched or compressed. imum energy. However, for the specal
In a spider-web tensegrity, the energy case of a spider web with no unstressed
function for each cable is simply pro- cables, it is enough. The reason is that
portional to the total length squared-as the energy function, composed as it is of
if the cable were a spring with a resting quadratc polynomials with positive co-
length of zero. It remains to determine efficients, has a property called convexif:JJ.
what the constants of proportlonality for No matter how you move the (un-
each cable should be or (if we think of pinned) vertices around, startng from a
the cables as springs) how "strong" the critica! equilibrium confguration, the
springs are. For a given configuration, energy function will increase, A convex
the goal is to choose these fictional function, like a parbola, can only have
strengths in such a way that the confg- one mnimum point, If a spider web sat-
uration represents a unique mnimum isfies the equilibrium condton, it has to Figure 4. Mathematical spider web consiste
for the corresponding energy function, only of cables, with no struts, Three vrtices
be the one. Thus the principle of least
the sum of the energy functions of all are pnned (ehaded rectangles) and cannot
work applies to show that the spder :move relative to the background. In order for
the cables. Then any comparable spider web is super stable, the web to be super stable, the three cables
web that does not increase any cable Note that this method <loes not just comng from the pinned vrtices must deter-
length must have the same energy or provide a "local" result only valid for mine lines that go through a single pont,
smaller, because each cable contributes small (or even bounded) perturbations,
the same, or less, to the total. But since
the given configuration is supposed to
represent a unique mnimum energy,
the two configurations must be identi-
cal. Consequently, such a spider web y y
(one that minimizes sorne energy func-
tion) is super stable. This is called the
principie of least uork, in honor of the sim-
ilar principle that is used in structural
X X
engineering.
How does one recognize when a spi- a
der web has an energy function that is
precisely minirnized by the given con-
figuratin? One answer is the equilibri-
um of stresses-another concept bor-
rowed from engneering. Again, it helps
to imagine the cables that meet at any
given vertex as springs, each one tug-
ging in a different direction. Rernember
that this force can be made "stronger"
or "weaker" by a proportionality con-
stant, which we will call the stress in the
cable; thus the strength of each cable' s
tug is equal to its length times its stress.
b
If the stresses are picked in just the right
way, so that the tug-of-war among all
the cables leading to a given vertex is a
draw, then the stresses at that vertex are
in equilibriutn. If that happens at every
unpinned vertex, then the whole spider y
web is said to be in equilibrium. y
These stresses are simply numbers
that are assigned to cables; they need
not have anything to do with the size of
the cable or even its physical or me-
chanical characteristics. However, it is
important that all the sresses are pos- e
tive: If some are zero, then the given Figure 5. Affine transformations include stretches (a), flips (b) and projections (e). Note that a
configuraton may not be a muque mn- projection may cause many struts and cables to overlap, All of these transformations have
imum of the energy function, and the the property that an equilibrium stress for the original tensegrity also serves as anequilibri-
principle of least work will not apply. um stress for the transformed tensegrity.

1998 March-April 145

- -------------- --
It works for any other configuration
.>: ,il . one can conceive in any hgher-dimen-
sional Euclidean space. Spiders cannot
have their webs ruined even by flies in
higher dimensions.

Stability of 2-Dimensional Tensegrities


The quadratic functions that were con-
sidered or the spider web tensegrities
work very nicely, but if there are struts
as well as cables, the situation gets
more complicated, Because a strut is, in
a certain sense, the opposite of a cable,
it is mathematically natural=although
it does not modela physical potential
energy function directly-to define its
energy function smilarly but with a
,,,,'
,, negative proportionality constant, This
,,' is as if the rest position is when the strut
has infinite length! The total energy is,
as befare, thc sum of the energies in
each of the cables and struts,
,, ;:
Incidentally although the energy funo-
,, tion just described is not physically real-
_,,,,' istic, it is not completely divorced from
,.>.; ,' engineering reality. If one analyzes the
local static properties of a structure, the
quadratic energy described here is one
Figure 6. Super stable planar tensegrities can be generated by a 1980 theorem of Connelly. If of two terms that enter into a description
the cables fonn a strictly convex polygon, if the struts are interna! diagonals, and if there is a of he structure under sufficiently small
positive stress for each cable, a negative stress for each strut and equilibrium al each vertex, perturbations. When the stability can be
then the tensegrity is super stable, The stabilty is nol always intuitively obvious. A configu- detected by such a quadratic approxima-
ration inspired by a rigidity theorem proved by French mathematieian Augustin Louis tion, the structure is called presireee st:able
Cauchy in 1813 is shown at top Ieft, An example of a class suggested by the Branko
in the engineerng literature.
Crnbaum of the University of Washington is shown at top rght, A configuration that is
super stable only if the vertices lie on an ellipse appears al bottom left.
If we consider only small perturba-
tions of the physical energy of a pre-
stress stable structure, the second term
(which we have not described) only
adds to the stability of the structure. In-
deed, for a super stable tensegrity, as
long as there is no catastrophic buckling
of the struts or breaking of the cables, in-
creasing the stress tends to stabilize the
tensegrity. This is not necessarily the
case for a tensegrity that is only pre-
stress stable.
Figure 7. Super stable three-dimensional
tensegrities can be generated from the action
of a symmetry group on one strut and two
cables. In this example, which has the sym-
metry group of half the symmetries of a
cube, each slrut (green) can be superimposed
on each' other one by a rotation or a reflec-
tion. Similarly, each red cable can be super-
imposed on each other red cable, and each
blue cable on each other blue cable. The
whole tensegrity can be seen as beng made
up of six identical "stretchers" joined
together at their ends with the red cables. If
the predetermined ratio of the stress in the
blue cables to the stress in the red cables is
increased, the blue cables shorten, and fhe
configuration approaches that of the baby-
toy tensegrity.

146 American Scientist, Volume 86


A second problem when we move
from spider webs to tensegrities is the
lack of pinned vertices, which teclmically
rules out the whole idea of a "unique"
energy mnimum. Since nothing is
pnned, the whole configuraton can be
rigidly moved about, and the energy
will remain the same. N ot only that,
but there also can be massive distor-
tions to the configura tion-certain
kinds of rescaling transformations as
well as projections of a tensegrity
clown to its "shadow" in a lower num-
ber of dimensions-that do not alter
the energy. The equilibrium condition
is preserved by such maps, which are
called affine linear trtmsiormaiione (see
Figure 5).
As befare, call the coefficient of the
energy function for each cable or strut
the stress. As with the spider web
tensegrities, the tensegrity is said to be
in equilibrium with that collection of
stresses if the stresses balance at each
vertex. For example, Snelson' s X
tensegrity is in equilibrium when all
four cables have stress 1, and the two
struts have stress -1.
As in the case of spider webs, if a
tensegrity has an energy function that
is minimized for a certain configura-
tion, then the configuration is in equi-
librium. But the converse is no longer
true: Even when the configuration is at Figure 8. Group of permutations of four letters acts on a cube and a tetrahedron in two dif-
equilibrium for a given set of stresses, ferent ways. On the cube (top), the pennutation that switches vrtices labeled (a) with those
the energy may not be at a mnimum. labeled (b) whle leaving (e) and (d) alone represents a rotation. On the tetrahedron (bottom),
the same permutation represents a reflection. Thus the group of permutations of four Ietters
For example, simply reverse the roles
(called S4) is seen to have two distinct 3-dimensional representations.
of cables and struts for Snelson' s X

tensegrity, and reverse the signs of the This approach has made it possible tices of a 3-dimensional polytope
stresses as well. The new tensegrity to identify a large number of super sta- (polyhedron), and perhaps the edges
will still be in equilibrium, but the en- ble tensegrities. Far example, take any of the polytope should provide the ca-
ergy will be at a maximum instead of a convex polygon in the plane, where the bles of the tensegrity. But it is not clear
mnimum, and the tensegrity will not edges are cables and sorne collection of just how to identify precisely a satisfy-
be super stable. the interna! diagonals are struts, (Here ingly general class of super stable
Thus, to prove that a given tensegri- the word "convex" is applied in a dif- tensegrities. One idea is to specialize
ty is super stable, there are three tasks ferent context from befare. A polygon somewhat and look at tensegrities that
we must complete. First, we must is cottoex f the line segment connecting have a great deal of symmetry. This
show that the energy function is at a any two of its vertices is contained en- can be used to short-circuit the un-
minimum-not just at an equilibrium. tirely in the interior.) One of us (Con- pleasant parts of the calculations.
Second, we must show that the only nelly) proved in 1980 that, if an equi-
affine transformations that do not vio- librium collection of stresses can be Symmetric Tensegrities
late any cable and strut constraints are found, positive on the external edge ca- Sorne of the most appealing tensegrities
actually congruences (that is, no bles and negative on the interna! diag- made by Snelson and later by others are
stretching or shrinking is allowed). Fi- onal struts, then each of the three con- highly symmetric, exhibiting a sub-
nally, we must show that the given ditions holds; thus, any such tensegrity group of the symmetries of the cube or
tensegrity cannot be the "shadow" of is super atable. Therefore, far this class the regular dodecahedron. To be effi-
any higher-dmensional tensegrity that of convex planar tensegrities as well as cient about the analysis, and-even
is also in equilibrium. (Maria Terrell of far spider webs, equilibrium implies more important-to provide a frame-
Cornell University has called the latter stability (see Figure 6). work for the classification of such struc-
property the universality of the tenseg- The question remains as to what the tures, it is convenient to use the theory of
rity.) Under these conditions, the prn- proper generalization is for 3-dimen- representations of finite groups.
ciple of least work implies that the gv- sional space. A natural choice for a The theory of representations of finite
en tensegrity is super stable. configuration is the collection of ver- groups, developed at the turn of the past

1998 March-Aprl 147


Figure 9. Super stable tensegrities like these are generated by the dihedral groups, in joint work of Connelly and Maria Terrell of Cornell
Unversty; This class includes Snelson's "octet truss," one of his earliest designs (right).
century by F. Georg Frobenius and Isai in the same oroi; if at least one symme- congruences is defined by first perform-
Shur, was originally motivated by a prob- try of the tensegrity superimposes one ing one motion and then the other.
lem in algebra, but soon found a wide va- of the par onto the other, In Figure 7, Group theory is something like the
riety of applications, especially to the each cable or strut in a given orbit has ancient Oriental game of go. There are
physics of the then new theory of the the same color. The group of sy1mne- only a few simple rules, and they are
atom. A typical success story begns with tries of these tensegrities is transitive easy to learn. But their consequences
a fairly complicated mathematical model on the struts (because there is only one can take many years of intense study to
of a structure with sorne form of (geo- orbit, colored green) but not quite tran- master, Like certain move sequences (or
metric) symmetry. Representation theory sitive on the cables (because there are "joseki") in go, certain groups occur of-
allows one to break down the complicat- two orbits, colored red and blue). ten enough to have their own names.
ed model into a predetermined, small With this in mind, it is especially easy The simplest, and perhaps most ubiq-
number of much more tractable models, to check whether there is an equilibrium uitous, is a group with two elements
each of which can be treated more or less stress for the cables and struts. If there is called Z2. Its elements can be thought of
independently. Fan Chung and Shlomo any energy function at all that is mini- as the numbers +1 and-1, with the op-
Stemberg (1993) gave a very nice exam- mized by the given configuration, then eration of multiplication. (Note that a
ple of such an application: the analysis of there is one that has the same symmetry prduct of either + 1 or -1 with either +1
the infrared spectra of the buckyball, a as the tensegrity itself. Thus thc same or -1 again gives + 1 or -1.) Or they can
molecule with 60 carbon atoms that has stress can be assigned to each cable or be thought of as the words "even" and
II
the symmetry of a regular dodecahedron, strut in any given orbit, Similarly, the bal- odd," with the operation of addition.
fo our situation, the representation theory ance of stresses muy needs to be checked Or they can be thought of as the identity
is called on in almost the same way, ex- at one vertex, because all vertices are motion and reflection in a mirror.
cept that the underlying mathematical alike under the group of symmetries. For Of the many guises an abstract group
objects are different. almost all the examples considered here, can assume, among the most conve-
Suppose that a tensegrity can be ro- it turns out to be easy to check that the nient ones are sets of linear funclions.
tated about sorne line in such a way that muy affine motions that preserve the ca- Rotalions and reflecli.ons are examples
the rotated tensegrity is indistinguish- ble and strut constraints are congruences. of linear functions. If the elements of the
able from the original: each vertex su- Hence muy one difficulty remains before abshact group are thought of as actors
perimposed on a vertex, each cable su- we can apply the least work principie: ai1d the linear functions as roles, then
perimposed on a cable and each strut We have to make sure that the energy is the playbill, which assigns certain actors
superimposed on a strut. All the mo- a mnimum. That is where group repre- to certain roles, is called a represen.tation
tions, or congruences, that superimpose sentations enter the piclure. of the group. The abstract group itself
the tensegrily on itself in this fashion can be used to do group calculations
form a mathematical structure called Group Representations ai1d effectively provide a c01m11on point
the group of symmetries of the tensegriiy. So far, groups have appeared in only one of reference. A representation, on the
(It may include sorne reflections and guise: the group of symmetries of a other 'hand, may have more shuclure,
other congruences, and always includes tensegrity. But groups can also be de- and may give deep and subtle informa-
the "identity," a Zen-like motion that fined in the abstract, without reference tion about the abslTact group.
simply leaves everything untouched.) to any particular physical object. From An essential concept in dealing with
If a tensegrity has enough symme- this point of view, a group is simply a set representations is that of equivalen.ce.
tries that any vertex can be superim- whose elements can be "multiplied" and Conside1 for exainple, the group of sym-
posed onto any other by a congruence, that obeys certain rules, such as the exis- mehies of the word MOM. There are two
then the group of symmetries is said to tence of an dentity element. In the case ways to superimpose this word on itself:
be transitive on the vertices. Similarly, just presented, the elements of the group Either leave it alone (the idenfy motion)
any pair of vertices (or any pair of ca- were motions that supcrimpose a tenseg- or reflect it about a verlical line through
bles or any pair of struts) is said to be rity on itself, and "multiplication" of two the center of the O. This symmetry

148 American Scientist, Volume 86

- -- ---------- --- --- - --- --- - -- -- - - -- --- -- - - - .. -----


group, therefore, is a representation of sentations of the group S4 Although a each coordinate axis labeled by one ele-
the abstract group 22. Likewise, if we line or plane may be superimposed on it- ment of the group. Each element of 54
turned the word MOM on its side, its self by an individual rotation, there is no corresponds to a permutaton of the axes,
symmetry group would still be a repre- line or plane that is supermposed on it- and each one of these extends in a natur-
sentation of Z2 Although the actual re- self by all the symmetries of the cube or al way to a congruence of the 24-dimen-
flection involved is different-it is now a the tetrahedron. Thus these representa- sional Euclidean space, These congru-
reflection through a horizontal line-the tions are called irreducible. ences form the regular represeniaiton of 54.
essential symmetry of the word has not One of the majar nsights of Frobenius Frobenus preved that the regular rep-
been changed by turning it on its side, A and Shur was that any representation resentation of any group IIcontains" all of
mathematcian would say that these two can be decomposed in an essentially the irreducible ones, each repeated a
representations of 22 are equivalent. muque way into irreducible ones. Hence number of times equal to its dimension.
Compare this with the group of sym- the irreducible representations are the For example, for 54 the irreducible repre-
metries of the word MOW. Again, there building blocks of the theory, much like sentations are the two 3-dimensional
are two ways to superimpose the word prime numbers in number theory. ones illustrated above, as well as a 2-di-
on itself: the identity and a 180-degree Now we can define a representaton mensional one, a nontrivial 'l-dimension-
rotation about the center of the O. This that is very closely related to the energy al representation, and the trivial 'l-dimen-
symmetry group is also a representa- function for tensegrities. Any group, sonal representaton (where ali elements
tion of 22, but somehow it feels dffer- such as the 'group 54, has a representa- of the group are represented as the iden-
ent. The difference is not in the group tion as a permutation of its own ele- tity), So in the regular representation, the
itself, but in the geometry-the linear ments, (If we return to the actor-and-role two 3-dimensional representations are re-
function involved is a rotation, nota re- metaphor, ths is Iike every actor playing peated three times, accounting for nine
flection. Thus a mathematician would himself.) Since 54 has 24 elements, imag- dimensions each; the 2-dimensional rep-
say that this representation of 22 is not ine a space with 24 coordinates, with resentation is repeated twice, accounting
equivalent to the previous one.
The symmetries of 3-dimensional
figures involve representations of sorne
more interesting groups than 22. The
group of rotations of the cube and the
group of all symmetries of the regular
tetrahedron are both representationsof
the group of permutations of four let-
e o
ters (denoted 54). These two represen-
.. -
taions of 54 turn out to be inequivalent,
as can be seen in Figure 8.
The representations of a group can
be combined in a simple but important
way. For example, think of two repre-
sentations of a group, one as motions
of 3-space and the other as motions of
2-space. Now think of a 5-dimensional
space, where the first three coordinates
correspond to the 3-space, and the next
two coordinates correspond to the 2-
space. Create a new representation of
the group by letting the first represen-
tation act on the first three coordinates
and the second representation act on
the next two coordinates. Then the new
representation is called the sum of the
two representations,
The process sometimes works in re-
verse, too: Given a representation, it may
be possible to split it up as a sum of
smaller-dmensional representations. For

example, each of the two elements in the Figure 10 .. How to build your own tensegrity: Start with a cardboard model of the corre-
symmetry group of the word MOM su- spondng regular polyhedron (a). Cut out the sides and use a paper punch lo place holes at
perimposes a horizontal line through the the proper points in each side (b). It works best if the size of the holes just lets the sticks pass
through. Here, however, the holes are shown larger for better viewing. Localions need not be
center of the O onto itself. Likewise, each
precisely correct. Tape tbe edges baclc togetber again and pierce the polylope with the dow-
one superimposes a vertical line onto it- els according to the way they look in the final tensegrily (e). (Compare Figure 7.) Iusert rub-
self. This representation, therefore, is re- ber bands in the appropriate pattem through the notches in the ends of the dowel struts (d).
ducible to the sum of two 1-dimensional The figure shows pins at the ends of the dowel struls, which also works. Cut away the card-
representations. But the situation is dif- board and let the whole structure come to equilibrium. Replace the rubber bands with string
ferent for the two 3-dimensional repre- or cord. (Tiie rubber bands may deteriorate within a few weeks.)

1998 March-April 149


Figure 11. The authors' catalogue of super stable symmetric tensegrities includes dozens lo hundreds of .examples with the symmetry of each
regular polyhedron. Here, one tensegrity representng each type of symmetry is portrayed, Tensegrilies in the right hand column, rom the
top down, come from representations of the group of even permuations on four Ietters, the group of even permutations on five Ietters, and
the group of all permulations of four letters. These representations turn out lo be the rotations of the regular tetrahedron, the regular dodeca-
hedron, and the cube respectively, The tensegrities in the Ieft hand column come from the drect sum of the group with lwo elements and fhe
group generating the right hand column,
far four dimensions; and the nontrivial Suppose that we have a tensegrity tion), corresponda to the regular repre-
and trivial 1-dimensional representations whose group of symmetries acts transi- sentaion of the symmetry group. This
account for one more dimension ea.ch. In tively on the vertces. Its energy function, was not at all obvious to us at first: Only
total, we get 9 + 9 + 4 + 1 + 1 = 24 dimen- which was defined using the stresses after doing several special cases did we
sions accounted for, (motivated from the equilibrium candi- discover that Frobenius' s theorem was

150 American Scientist, Volume 86


made to order for our problem. Using space, They include two infinite fami- members will change accordingly. Mak-
that theorem, the energy functon can be lies: the cyclic groups on 11 elements ing the tensegrity initially with rubber
written as a sum of energy functions that (which can be identifed with the rota- bands helps the tensegrity "find" a su
correspond to each of the .irreducible rep- tions of a regular n-sded polygon) and per stable configuration, and the design
resentations. So the calculations can be the dihedral group with 211 elements can then be made permanent by replac-
done for the much smaller-dimensional (the group of all symmetries, including ing the rubber bands with string.
irreducible configurations. For example, reflections, of a regular n-sided poly- For readers who would like to build
calculating a mnimum energy configu- gon). There are six other possibilities: virtual tensegrities, we recommend a
54; the "alternating groups" A4 and As program called STRUCK, by Gerald de
ration for the group 541 without the de-
with 12 and 60 elements respectively; Jong and Karl Erickson. This program
composition coming from representaton
and the "direct sum" of each of these can be accessed on the World Wide Web
theory; would involve solving equations
with the group 22, which doubles the at http:/ /wolfenet.com/ ,..,setebos/
in at least 24 variables. But by using the
number of elements. Each of these six springspace.html,
irreducible representations, it takes muy
two calculations with three variables, can be represented as a group or sub-
group of symmetries of a regular poly- Acknowledgment
one calculation involving two variables
and one with one variable. hedron: For example, the group of ro- The autlwrs thanlc Duna Maclcenzie far his
Now consider the problema bit differ- tations of a regular dodecahedron is a excelleni editing in ihe preparation of ihis
ently. Start with the stresses, and then ask representation of As, ariicle. Conneliv also tnanks ihe Alexan-
if one of the representations has an equi- For any given finite group, our der van Humboldt Foundation far iheir
librium configuration for that collection method allows us to compile efficiently a generous support in ihe academic year
of stresses. This is like looking for the complete catalogue of the symmetric 1991-92, uihere many of the ideas of this
smile of the Cheshire cat (the stress) be- tensegrities with two orbits of cables, one article were developed.
fare we find the cat itself (the tensegrity). orbit of struts and one orbit of vertices.
The most intriguing=-and most recently References
If ali the stresses are positive, then it is
discovered--ones correspond to the six Chung, R, and S. Sternberg.1993. Mathematics
clear that ali the terms in the definition of
groups mentioned in the last paragraph. and the buckyball. American Scientist 81:56-71.
the energy function are positive or zero. If
Because the struts can be connected to Connelly, R. 1980. Rigidty and energy.
the cable graph is connected, this means Inueniiones Mathematicae 66:11-33.
that the muy representation that gives an the cables in hundreds of different ways,
Conrielly, R., and M. Terrell, 1995. Clobally
equilibriurn configuration will be the triv- maintaining the symmetry, the complete rgid symmetric tensegrities. Structural
ial one-in which ali the vertices are on catalogue has well over a hundred dif- TopologtJ 21 :59-78.
top of each other. Next, choose one of the ferent tensegrities. For Figure 11 we Connelly, R., and W. Whiteley. 1996. Second-
orbits that you eventualiy want to be a have chosen one representative to il- order rigidity and prestress stablity for
lustrate each of the six possible types of tensegrity frarneworks, SIAM [curnal of
strut. Decrease the stress coefficient for Discrete Mathematics (9)3:453--491.
that strut, even allowing it to be negative. symmetry. The complete catalogue can
be viewed on our World Wide Web Hartog, J. P. 1949. Strengtlt of Materials. New
Keep decreasing that coefficient until the York: Dover, pp. 3-4.
total energy function itself just starts to page at http:/ /matluab.cit.comell.edu/
Lyusternik, L. A. 1956. Conoex Figures and
have values on the borderline of beng visualization/tenseg/tenseg.html. Polyhedra. New York: Dover.
negative (that is, zero). Then at least one fo Figure 10 we show you how to de- New York Academy of Sciences. 1989. Kennetlt
of the nontrivial irreducible representa- sign your own tensegrities. Although the Snelson: The Naiure of Struciure. New York:
tions has a configuration that is in equi- number of configuration types is finite, New York Academy of Sciences.
librium with respect to that stress. Call there is still plenty of room for artistic ex- Pugh, A. 1976. An Initoduciion to Tensegrity.
perimentation: The lengths of the struts Berkeley and Los Angeles, Calif.: Unversty
these equlibrium configurations, result- of California Press .
ing from .irreducible representations, crit- can be chosen more or less at will (pro-
vided they are ali the same length), and Snelson, Kenneth, Kenneth Snelson. <httpr/ /
ica! configurations. Usually, but not al- www.teleport.com/--::pdx4d/ snelson.htrnl>,
ways, it turns out that there is muy one the locations and lengths of the other
representation that has a critica! confgu-
ration. If so, this is the desired configura-
tion and the corresponding tensegrity.
One unsettling feature of this process
is that there do not seem to be any assur-
anees beforehand as to whch represen-
tation will be the one that provides the
crucial stress. If one of the "winners"
happens to be a 3-dimensional represen-
tation (as it has been in many of the cases
we have tried), then we get a super sta-
ble tensegrity that we can see, rather than
just inferring its existence in sorne higher
dimension. But we do not know of any
general theory that would predict the
outcome without doing the calculation,
Not many abstract groups can occur
as finite groups of symmetries in 3-
1998 March-April 151

You might also like