# Non-Euclidean Chess – Part 2

Seeing as it has taken me quite some time to post this, you’re probably all tired of playing on Chess on the non-Euclidean boards that I described previously. Which means that it’s time to explore Roice Nelson’s idea of hyperbolic chess.

First, lets talk a little about 2D hyberbolic tilings for those who haven’t encountered them in the past. On a Euclidean plane, we can tile squares onto a checkerboard such that four corners meet at a point.

A boring Euclidean chess board is a tiling of squares where 4 squares meet at each point.

On a hyperbolic checkerboard more than 4 regular quadrilaterals meet at a vertex when tiling a plane. This means each angle of a square must be less than 90 degrees (if 5 squares meet at a vertex in a planar tiling, then the angles should be 360/5 or 72 degrees).

There are lots of potential regular hyperbolic tilings that we could imagine playing chess on. We’d like to preserve the checkerboard property of our tiling, so we will only consider tilings where an even number of regular polygons meet at a vertex. Here are a few potential tiling candidates drawn using the Poincaré disk model*.

The {4,6} hyperbolic tiling is a tiling of 4-sided polygons (squares) such that 6 of them meet at a vertex. It’s nice because it keeps the shape of the tiles in the checkerboard as squares.

{4, 6} Regular Hyperbolic Checkerboard

A {5, 4} tiling where 4 pentagons meet at a vertex maintains the property that a piece moving along the diagonal can only visit tiles of one of the two colors. On the other hand, it becomes extremely difficult to define the opposite side from a side or the opposite corner from a corner, so moving in a straight line quickly gets messy.

{5, 4} Regular Hyperbolic Checkerboard

Finally, the {6, 4} and {4, 8} tilings start to get pretty busy, but do nicely maintain the idea of having opposite edges well-defined (lacking in a pentagonal tiling), while keeping opposite corners colored the same.

The first issue that we face with our hyperbolic chess board is that it isn’t going to lie flat in 2D Euclidean space, so pieces are going to want to slide off (thanks, gravity!). Thus, playing hyperbolic chess with a physical board requires either that our pieces actually stick to our board (velcro?), that we put up with the large amount of square distortion that occurs when trying to embed a hyperbolic board on a Euclidean plane, or that we write and play our game on a computer.

Looking at the tiling candidates above, the {4, 6} tiling and other square tilings seem like clear winners for our hyperbolic chess game. In particular, it is immediately obvious what it means to travel horizontally and vertically across it.

Examples of rook (blue) and knight (green) moves

The main question is what it means to travel diagonally across the tiling, when leaving a corner of the {4,6} tiling there is one obviously diagonal square, and two still kind of diagonal squares adjacent to it. However, the obviously diagonal square doesn’t share a color with the original square, which means that we lose one of the standard rules of chess – that each bishop can only visit a single color of square. It also more or less ruins the game of checkers, in my opinion. Moreover, if we only allow the “obvious” diagonal, then a bishop would be unable to reach a majority of the squares in the tiling. Therefore, I instead define a ‘reasonable diagonal’ to a square, A, as any square, B, that shares a vertex and a color to A.

For checkers it seems reasonable to allow going to either of them at every diagonal. This seems to be in keeping with the spirit of the game and to be likely to keep game play reasonably balanced.

It’s less clear that this is a good strategy for chess. It certainly makes the pieces that can travel along diagonals much more powerful, as they can now travel to many more squares than ones that can only travel horizontally or vertically. That said, my guess is that a reasonable strategy would be for pieces moving along the diagonal to be able to make a choice when moving out the very first corner to either take the “right” or “left” path and to always take that path on any given move. Thanks to the negative curvature of the board and the straight lines we are requiring, this does leave an interestingly large space that it would take any given piece multiple turns to reach.

An example of a diagonal “bishop” move

Another question is how big to make the surface and where to position the pieces at the start of the game.

Since the horizontal and vertical distances are pretty well defined, we can use them to define the size of the board and the location of the pieces. We start by placing the White queen on a white square. Place a white pawn in a vertically adjacent square. place the remainder of the white pawns such that they are in the same horizontal line as the white pawn you have just placed (with the same number on each side as in chess, of course). Place the remainder of the white pieces such that they are placed correctly as in chess and in the same horizontal line as the white queen. Define one edge of the board as directly behind these pieces.

From the white queen count 7 more squares vertically in the direction of the white pawns, and place the black queen there. Following similar rules to the above, place the remainder of the black pieces and define another edge of the board.

It would be nice to define sides to our board. Unfortunately, this is necessarily not as nice or easy to do as the front and back the way that we have defined the rest of the board. In chess, sides are most important for queening, which only requires the back edge, and for cornering the pieces (ie. the King during endgame). This means that defining sides isn’t strictly necessary, but we could possibly define them anyways by starting from the corner piece and constantly turning towards the center of the board to define side edges.

Pentagons are my favorite polygon, so I’m pretty fond of the {5, 4} tiling. If chess had originally been developed on a board like this, we might imagine that the standard move might involve entering a square on a face and leaving at the opposite vertex or vice versa. Perhaps rooks would have to start their move going across an edge, bishops would have to start going across a vertex, and queens could do either. Knights have the natural travel rule of having to go through an edge, then through one of the two far edges. I love the elegance and naturalness of these rules for the tiling. One might almost imagine that chess was invented for this tiling and that our Euclidean version came out of an attempt to modify the rules to fit a Euclidean chess board.

Examples of moves that a rook (blue arrows) or a knight (pink arrows) could make on this board

I hope you’ve enjoyed our adventures through non-Euclidean chess. It’s interesting to realize how much the apparently** Euclidean nature of our world influences the games that we play and the rules that we make for them. Rules that are straightforward in Euclidean geometry become bizarre, insufficiently well-defined or otherwise sub-optimal in other geometries and vice-versa.

* Hyperbolic tilings were created with the aid of KaleidoTile
** According to general relativity, space is curved, but we don’t notice it so much at our scale

# Introducing the Tip Palindromator

It’s surprising to me how many people I know have independently taken to tipping such that the total is palindromic. The reasons for doing so are simple enough:

1. It’s entertaining (for you and for the staff processing your charge)
2. It helps you quickly verify credit card charges and check for potential fraudulence
3. After a delicious sleepy meal late at night, one definitely needs to practice one’s mental math abilities…

Ok. We should probably strike #3.

1. After a delicious sleepy meal late at night, one definitely needs to practice one’s mental math abilities…

The fact is we’ve all gotten checks where we definitely did not want to have to deal with figuring out precisely how much to tip. After one too many of those, I realized that I needed to create the Tip Palindromator (http://octahedralgroup.org/tip).

The Tip Palindromator shows up great on mobile web. Want it as an application? Just choose the “add to home screen” option from your Android or iPhone web browser. The “Tip It” application is a great addition to the home screen.

It lets you quickly input your total bill and automatically finds a potential palindromic tip*, which can be adjusted up and down to find the perfect tip percentage.

Now, even the half-asleep can leave palindromic tips with ease.

* Note: I use this term to refer to a tip that leaves a total that is a palindrome, rather than a tip that is itself a palindrome.

# Gathering for Gardner 11

Today marks the beginning of Mathematics Awareness Month, and this year’s theme is Martin Gardner. Coincidentally, I recently returned from my second trip to the Gathering 4 Gardner (G4G), a recreational math conference with a focus on the sorts of things that Martin Gardner wrote about in is Scientific American column, such as puzzles, magic, mathematical art and other recreational mathematics.
Pretty much everyone who attends is really neat and has done something really cool that was directly or indirectly inspired by Martin Gardner. A number of the attendees are actually professional magicians and one highlight of the event is the astounding evening events and shows.
In addition to organized talks, the highlight of the conference is often just talking to people. I know quite a lot about polyhedra, but I had an interesting discussion with John Conway (who also had the honor of being the theme for this year’s conference) about the naming of the rhombicuboctahedron where I learned some new things that I hadn’t known previously.
My favorite part of G4G is an afternoon excursion devoted to talking and learning things from other attendees, and also to large art sculpture “barn-raisings”. I was one of the six artists that participated in the sculpture event and organized a group to make a construction out of hair bands, a fun precursor to my later talk on a hair tie 120-cell (a 120-cell is a regular 4-dimensional polychoron made out of 120 dodecahedral cells). My creation used a technique for making large geometric constructions out of hair ties that I learned from Zachary Abel at the last G4G.
Here’s a picture of some the team that helped me construct the hair tie construction. Thanks to everyone that helped!
The hair band construction consists of a tetrahedron of green hair bands inside a cube of purple bands, inside an octahedron of black bands. You can see the tetrahedron in the cube fairly well in this close up shot.

G4G has a formal puzzle and art exchange as well as many informal ones. Here are a few of the neat things that I got from G4G11. If you were in doubt about my claim that the people that attend G4G are collectively really cool and amazing, these pictures should probably lay your doubts to rest.

George Hart’s gift exchange item was a set of pre-cut cards that assemble into a Tunnel Cube.
Edmund Harriss laser cut sets of paper pieces that cleverly slotted together. I took two chiral sets of five-pronged pieces and combined them to make this neat woven ball.
Eve Torrence gave me a set of pieces for her gorgeous “Small Ball of Fire”. I love the choice of foam as the material, as it is very forgiving and easy to assemble.

I got this surprisingly fun and meditative marble labyrinth from Bob Bosch.

And two different versions of a square to equilateral triangle dissection. The hinged one was 3d printed by Laura Taalman. The wooden piece is from Dick Esterle

Finally, the gift exchange includes many fun puzzles and papers that are interesting, but not as photogenic. I particularly liked the “turn MI into MU” (solvable variant) puzzle from Henry Strickland.

In my next post, I will talk about my own G4G exchange gift, that you can construct at home even if you didn’t attend G4G!

# Why can’t Pi and Tau be friends?

π day used to be a straightforward holiday for people who love mathematics. Who could possibly dislike a holiday to celebrate a number that has been celebrated across cultures and throughout history? The Egyptians and Babylonians approximated the ratio of the circumference of a circle to its diameter. The same in Ancient India, China, and Greece. The symbol π itself is newer, but is still over 300 years old.

Only recently have Tauists come along and started their arguments that Pi is wrong. Since then, the Pi and Tau adherents seem to have turned our circles into boxing rings, with Pi on one side and Tau in the other.

The Tauists start it off with a series of quick jabs.  Tau is fundamentally simpler. Radius is more fundamental than diameter, the fundamental constant should be based on radius. Radians finally make sense, it goes against intuition to have 2 Pi radians in a circle. Pi is off by a factor of 2. It is unnatural and confusing. It is wrong!

The Pious punch back that Pi has been the constant for thousands of years, that it’s what everyone knows, that nobody naturally draws a line going halfway across a circle. Tauists demonstrate selective bias to prove their point. The area of 1/4 of a unit circle is Pi/4, or Tau/8. Tau is off by a factor of 2. It is unnatural and confusing. It is wrong!

But, in the midst of all this bickering, we lose the fundamental reason why Pi and Tau are so cool. When we get held up in the details, we forget how magical it is that the ratio of a diameter or radius of a circle to its circumference is somehow not something that can be expressed as a ratio at all. That somehow the observed perfection of a circle is due to something truly transcendental. That a circle is itself the perfect shape, minimizing surface area to volume, exhibiting the same curvature everywhere around itself until you get back to exactly where you started.

Tau and Pi aren’t that different. They’re both irrational, they’re both transcendental, they solve all of the same problems. They are, in fact, the same number give or take a factor of 2. Maybe we can just teach everyone both and let people choose for themselves whichever one is easiest for them?

If we celebrate both, that’s twice as many days to get people excited about mathematics. It’s twice as many days to eat pie and appreciate how round it is.

I mean, Tau is just 2*Pi. Er, Pi is just Tau/2. Fine. Tau and Pi differ by just a factor of 2. Sorry. Pi and Tau differ by just a factor of 2. Really, why are we arguing?

So this π day, lets agree to shake hands, stop fighting, and eat some Tau-co Pi. It’s delicious and the fundamental constant that we know and love makes just as beautiful circles whether it’s 3.14… or 6.28…

Thanks guys. Happy Pi day!

# Non-Euclidean Chess: Part 1

Most traditional grid-based board games are played in Euclidean space. This is straightforward and easy to understand but topologically boring.

Why not spruce up the classic grid-based game of chess by modifying it to be played on a non-Euclidean board?

The simplest way to transform a standard board into a non-Euclidean board is to connect the sides of the board together. Connecting the squares on adjacent sides to each other creates a board with an inherently spherical topology. In contrast, connecting the squares on opposite sides can lead to a board with a toroidal structure. A twist in the way the squares are connected can lead to a board with the topology of a klein bottle.

Connecting opposite sides of a chess board (in the diagram above, red sides connect to blue sides) leads to a board with a toroidal structure.

While these macro structures are interesting, they are not clearly well suited for chess. In particular, none of these boards have edges. Thus, it is impossible for a Pawn to reach the edge of the board and become a Queen. Actually, for all we know chess has always been played on boards with these macrostructures, and we just “walled off” a section that was locally equivalent to a subsection of a Euclidean space.

How can we create a non-Euclidean board that does not lose the edge constraints of the original Chess board? One way is to connect random squares to each other by the edges. We will refer to these kinds of connections as “chutes” in homage to a classic board game with these kinds of connections – Chutes and Ladders. Chutes will be shown as blue lines in the diagrams below.

The side of the tile going into the “top” of a chute connects to the side of the tile coming out of the “bottom” of that chute.

For example, the green “pawn”, above, moves forward one square to the red position. Notice that the pawn is now moving sideways, and can be Queen-ed on its next move. This variant of non-Euclidean chess is best played with pieces with some obvious indication of directionality on them, so that you don’t lose track of their traveling directions.

In order for the board to be connected, we map the tiles that come out of the tops and bottoms of each chute and ladder to each other.

The green piece above ends up where the red piece is when it moves forward one space.

At this point, it is pretty clear how to travel across the sides of the tiles, but what it means to travel diagonally, like a bishop, is less well defined. We will use a “slide-left” metric* to define diagonal moves.

Consider any diagonal move. It can be represented as moving forward one space in one of the four cardinal directions and then sliding to the left one space repeatedly until the destination is reached.

By describing each diagonal move as a series of horizontal and vertical moves, the diagonal movement of pieces through chutes becomes clear.

In the figure above, the green piece begins a diagonal move by moving 1 forward through a chute, then sliding left. The diagonal move can continue until it hits the edge of the board and can no longer complete a “forward one, left one” series.

Note that knights still get to choose whether they move over two and up one or vice versa, and so may easily have more valid destinations than normal.

It is notable that this sort of non-Euclidean chess board is rather unlikely to be fair if you use randomly chosen chutes (perhaps an advantage if you want to handicap players of uneven ability). Can you design a chess board with a single chute such that White as a mate in one?

There are many other fascinating games that you can try playing along similar lines. In one variant of this game, players take turns moving, then adding a new chute to the board. The second post in this series will explore playing chess on a hyperbolic checkerboard (an idea first mentioned to me by Roice Nelson). Are there any other interesting boards that you can imagine playing chess on?

* As David Dalrymple and other people with a better ability to not confuse terminology than me might note: “slide-left” is not a “metric”. It is a homomorphism from the free group on {(1,0),(1,1),(0,1),(-1,1)} to the free group on {(1,0),(0,1)} which preserves actions on the square lattice.