{\huge A New Twist on Flexagons?}

For Martin Gardner's 100th birthday \vspace{.5in}

Martin Gardner introduced many including myself to the joys of Discrete Mathematics. His glorious monthly column ``Mathematical Games'' for Scientific American included some continuous mathematics too, of course; one could center it on ``Concrete Mathematics.'' However, I conjecture---based on a quick flip of the several books I own of his columns---that the symbols $latex {\epsilon,\delta}&fg=000000$ in a calculus context never appeared in them.

Yesterday was the 100$latex {^{th}}&fg=000000$ anniversary of Gardner's birth. Dick and I wish to join the many others marking this centennial and thanking him for all he did to make math fun for so many.

His feature kicked off in 1956 with the famous column on hexaflexagons, which I will talk about in a moment. Gardner related in his autobiography, assembled three years after his death in 2010, how important this column was as his ``break.'' However, the column that made the most lasting impression on me began with the words:

The calculus of finite differences, a branch of mathematics that is not too well known but is at times highly useful, occupies a halfway house on the road from algebra to calculus.

It enables one to calculate a formula for any polynomial sequence $latex {p(n)}&fg=000000$ given enough values for $latex {n = 0,1,2,\dots}&fg=000000$. It also furnished my favorite ``visual proof'' that $latex {0^0 = 0}&fg=000000$: For any integer $latex {k > 0}&fg=000000$, if you write out the powers $latex {k^n}&fg=000000$ going across and take differences of adjacent values repeatedly to make an infinite equilateral triangle pointing down, the left side has the powers of $latex {(k-1)}&fg=000000$. Iterating this gives you the powers of $latex {0}&fg=000000$, but the entry for $latex {k^0}&fg=000000$ as $latex {k}&fg=000000$ counts down to $latex {0}&fg=000000$ steadfastly remains $latex {1}&fg=000000$.

Tributes and Contributions

Tributes have been gathered all during this centennial year. Scientific American observed yesterday by posting a review of ten of Gardner's most appreciated columns. Bill Gasarch's post yesterday links to some of his and Lance Fortnow's previous items on Gardner, and further to a site where anyone can contribute a testimonial.

Frederic Friedel, who co-founded the chess-database company ChessBase three decades ago, knew Gardner personally from 1979 as a fellow original member of the Committee for Scientific Investigation of Claims of the Paranormal (CSICOP, now CSI). The committee remains housed in my town of Amherst near Buffalo, now at the Center for Inquiry (CFI Western NY) which is across Sweet Home Road from my university campus. Friedel has described to me cold days in Buffalo and round tables with Carl Sagan and other luminaries. All this was before my own arrival in 1989.

Friedel was also among the column readers with whom Gardner interacted from the beginning in the 1950s. His awesome tribute yesterday includes appreciation of Gardner's Fads and Fallacies in the Name of Science, which also made a strong impression on me, and other links, including an available PDF of the first book of his columns. Dick recalls the great chapter of that book that starts with Gardner saying that this next crazy claim cannot be disproved. It was that the universe was created recently with a full fossil record that makes it look much older. Indeed, it could be a so-called ``Boltzmann Brain''---and a point made in this NY Times article is that it's crazy that it's not crazy.

I never had any contact with Gardner, despite making a few visits to CFI; it ranks among numerous lost opportunities. I could mention many other influences from his columns, and looking through his book Mathematical Circus just now reminded me that his chapter on ``Mascheroni Constructions'' was my first knowledge of what I called the ``class $latex {\mathsf{NC}}&fg=000000$'' in my ``STOC 1500'' post with Dick. I had a similar experience to what Douglas Hofstadter told in his own tribute in May 2010: I started off interested in Math+Physics, intending to take the latter as far as quantum mechanics and particles at Princeton. But I found advanced mechanics and electrodynamics tough going, and am ever grateful for being allowed to parachute out of the latter into Steve Maurer's Discrete Mathematics course at the halfway point, in which I knew I'd found my métier. As I could have realized from my love of Gardner all along.

The Twist

I've wanted to make a post on this when I had time to create nice pictures, but now I will have to make do by referring to the fine illustrations in Gardner's original column, which is also freely available from the M.A.A. here. It requires making the standard ``hexa-hexa'' as shown in his Figure~2. For best effect, in addition to numbering the faces 1--6 as shown there (and using a solid color for each face), label the six components of each face A--F in the left-to-right order given there.

The ``Twist'' is always applicable from one of the three inner faces (1, 2, or 3); finding when it applies from one of the outer faces and from the configurations that follow is more of a challenge. Instead of flexing it as shown in Figure~3, follow these directions:

• Put your right thumb and forefinger on the two rightmost triangles (marked `2' in the bottom part D of Fig. 2 after the final flap with `1' is folded to complete the flexagon), and put your left thumb and forefinger over the opposite two.
• Fold the flexagon in half away from you, keeping the horizontal diameter toward you.
• Then tease the bottom-left and the bottom triangle toward you to open a bowl of four triangles, with your right thumb and forefinger now pinched together to make a flap that stands over the bowl.
• Fold the flap over into the bowl, and then fold the bowl flat with the top point meeting the bottom point. You now have a lozenge of two triangles.
• Flip the lozenge over so you can grab at the opposite point from the two that met.
• You should be able to open from that point into another bowl of four triangles.
• Then if you are lucky---at least 50% of the time until you learn the pattern for this always to succeed---you should be able to lift a flap out of the bowl.
• Then close the bowl inversely to how you opened it, so that you again ahve a flexagon folded in half away from you, and grab at the opposite end to open it.

What you will get is a flexagon with the colors on its faces jumbled up. You will still be able to flex it the standard way, but only exposing one other face---that is, you will have a tri-hexaflexagon.

Now the real fun is that you can iterate this process. For one thing, you can invert it to restore your original hexa-hexaflexagon. But you can also find other places from which to initiate another ``Twist,'' and these will lead to more tri-hexa configurations. Some will lump up thick wads of paper on three triangles of each face, so be ginger about it. Finally, after much exploration, you may come upon the ``Dual Hexa.'' This has six faces, in which the inner three alternate colors. It is, in fact, the configuration you would build if you first rotated the top part A of Gardner's Figure~3 by 180 degrees. Then you may find a way to go from the primal to the dual and back by a long regular pattern of repeated twists.

As a high-school student in 1976, I attempted to map out the entire space of reachable configurations by hand, but made some bookkeeping errors and gave up. I wanted to write a computer program to simulate my twists, but did not make the time.

Open Problems

Can you do the ``Twist''? The space of configurations you can explore is much larger than the ``Tuckerman Traverse'' of the standard hexa-hexa shown in Gardner's Figure~4. can you map it all out?