COMPUTING SCIENCE

# Group Theory in the Bedroom

An insomniac's guide to the curious mathematics of mattress flipping

Mattress Multiplication

If you are inclined to undertake a search for such a magic combination, by all means flip away; but it's less strenuous to bring some mathematics to bear on the problem. Particularly helpful is the branch of mathematics known as group theory, which is the traditional tool for studies of symmetry.

In general, a group is a set of objects together with an operation for combining them. For example, one can have a group in which the objects are numbers and the combining operation is addition or multiplication. In this case, however, the "objects"—the elements of the group—are themselves operations. They are the various ways of flipping a mattress. The rule for combining the elements is simply to perform one operation after another.

Not just any set of operations can qualify as a group; they have to meet four criteria. First, among the operations there must be an identity element—an operation that leaves the system unchanged. For mattress flipping, the identity operation is obvious: Just do nothing.

Second, every element of the group must have an inverse, an "undo" action that returns the system to its former state. Again this requirement is easily met for mattress flipping: Each of the three basic rotations is its own inverse. If you flip the mattress a half-turn around the roll axis, and then do exactly the same thing again, you come back to where you started. The same is true of half turns around the pitch and yaw axes. (Even more obviously, the do-nothing identity element is also its own inverse.)

The third criterion for grouphood is that the operations obey an
associative law, so that (*f g*) *h* means the same as
*f* (*g h*), where *f*, *g* and
*h* are any operations in the group. For mattress flipping
this is true but not very informative, so I'll say nothing more
about it.

The final requirement is closure, which says the set of operations
is in some sense complete. More formally, if *f* and
*g* are any elements of the group, then the combination of
*f* followed by *g* must also be an operation in the
group. The implications of closure are made clear by drawing up a
"multiplication table" for the group, as in figure 2. The
table gives the result of all possible pairwise combinations of the
four operations *I*, *R*, *P* and *Y*
(which stand for the identity operation and for 180-degree rotations
around the roll, pitch and yaw axes). The crucial point is that
every such combination is equivalent to one of the fundamental
operations. For example, a roll turn followed by a yaw turn has
exactly the same effect as a pitch turn. This fact is what dooms the
search for a golden rule. The table shows that any combination of
two basic operations can be replaced by a single operation. Since we
already know that none of the single operations yields a cycle
through all four states of the mattress, it's clear that no pair of
operations can be composed to make a golden rule.

What about longer sequences of symmetry moves? They too are ruled
out. Someone might come forward to claim that a complicated,
*n*-step sequence of roll, pitch and yaw turns has the
desired effect. But by consulting the multiplication table, we can
replace the first two of these actions with a single turn, creating
an equivalent procedure with *n*-1 steps. Continuing in the
same way, we eventually reduce the entire sequence to a single
symmetry operation, which cannot be a golden rule.

But wait! Maybe there's some tricky maneuver that involves motions
*other* than the symmetry operations, as with the quarter
turns in the diagram in figure 1. The trouble is, any move that
qualifies as a mattress flip has to begin and end with the mattress
in one of the four canonical positions on the bed frame. In between,
you are welcome to twirl it over your head on one finger while
riding a unicycle, but when you put it down again, only the net
effect of your gyrations can be observed. And the multiplication
table for the group says that all your manipulations, no matter how
acrobatic, can be replaced by a single symmetry
operation—-either *I*, *R*, *P* or *Y*.

There is no golden rule hidden under the mattress.

EMAIL TO A FRIEND :

**Of Possible Interest**

**Feature Article**: In Defense of Pure Mathematics

**Feature Article**: The Statistical Crisis in Science

**Computing Science**: Clarity in Climate Modeling