Chomp* *is a two-player game which is played as follows: The two players, A and B, start with a “board” which is a chocolate bar divided into small squares. With Player A starting, they take turns choosing a square and eating it together with all squares above and to the right. The catch is that the square at the lower left-hand corner is poisonous, and the player who is forced to eat it loses.

This image from the Wikipedia article shows a typical sequence of moves for a chocolate bar:

At this point, Player A is forced to eat the poisoned square and hence loses the game.

Although the question of *what* the winning strategies are for this game is very much an open problem, the question of *who* has a winning strategy is not: On the board, Player B wins (since Player A must eat the poison piece on his first move). But for any other board, Player A has a winning strategy.

To see why, suppose not. Then if Player A’s first move is to eat just the one square in the top right-hand corner, Player B must have a winning response (since we are supposing that Player B has a winning response to *any* move that Player A makes). But if Player B’s response is winning, then Player A could have simply made that move to start with.

However, suppose we play Chomp not just on boards, but on boards, where and are arbitrary ordinals. The game still makes sense just as before, and will always end in finite time, but Player A no longer wins all of the time (there will no longer be a top right-hand corner square if either or is a limit ordinal).

Scott Huddleston and Jerry Shurman investigated Ordinal Chomp in this paper, and showed that it has a number of interesting properties. I’ll describe a few of them below.

First of all, to make things a bit easier to discuss, we will consider only games where is finite rather than games where is arbitrary. However, everything said will go through fine in that case as well.

Secondly, we will use the following game which is equivalent to Chomp: At any point in the game, the board is described by a non-increasing sequence . On each turn, the appropriate player picks an and a such that and replaces the sequence with . We call this *taking a bite of height *. Playing on an chocolate bar as described above corresponds to playing with the sequence consisting of ‘s.

For ease of discussion later, we make the convention that any sequence (not just a non-increasing one) describes a game position by stipulating that is the same as the position .

We saw above that Player A wins all non-trivial finite Chomp games, so let’s start by looking at a transfinite chomp game that Player B wins: , or in our new notation. What is Player B’s winning strategy? Well, notice that Player A’s first move has to put the game either in the state for some or for some . In either case, Player B can then move the game into state of the form for some . From a position of that form, whatever Player A does, Player B can again move to a position of that form. Eventually, Player B will move to the position , and Player A will be forced to eat the poison piece.

So, Player B can win at least *some* transfinite Chomp games, although he still loses a lot of them: for example, he loses all games of the form where . The reason is that in such a game Player A can win by first moving to the position and then using Player B’s winning strategy! Similarly, Player B loses all games for .

In fact, for any ordinal , there is exactly one ordinal such that Player B wins . This is a consequence of what Huddleston and Shurman call the Fundamental Theorem of Transfinite Chomp in the above paper. Another interesting consequence, which illustrates the style of reasoning used in their proof of the Fundamental Theorem, is the following:

**Theorem:** For any sequence of ordinals, there is exactly one ordinal such that Player B wins the game . (Remember the convention above about sequence which are not necessarily non-increasing.)

**Proof:** The uniqueness is similar to the argument given above: If Player B has a winning strategy on the game then Player A has a winning strategy on all games where , since Player A can just move to the position and then use Player B’s winning strategy.

The existence is by induction. Fix and suppose that for all where for all and for at least one , we know that there is a such that Player B has a winning strategy.

For each ordinal , let be the set of all obtainable from by taking a bite of height (this term was defined above, if you forgot what it means).

Let . Let be the minimal ordinal not in . I claim that Player B has a winning strategy for . We will show this by showing that, for any move Player A makes, Player B can make a move that we know leads to a winning strategy for B.

So suppose Player A moves to . Either or . First suppose that . This means that Player A moved by taking a bite of height (say) out of by moving to . But by construction, we know that , which means that the player who is to move (Player B in this case) has a winning strategy.

Now suppose . This means by construction of that where for all and for at least one . Thus, if Player B moves to the position he ensures himself a win. .

Note that this proof is constructive. This means that you can actually use it to compute that (as we already know), the unique such that Player B wins is . As a puzzle, you might like to find the unique such that Player B wins (or such that Player B wins or or whatever you like, although the last one will be hard).

The much-more-general Fundamental Theorem of Transfinite Chomp in the paper linked above is also constructive. It allows you, in theory, to compute who will win the -dimensional game (we have been considering -dimensional games) for any ordinals . However, this is quite difficult in practice: according to the Wikipedia article, it is an open question who wins the -dimensional game .

As a final note, in the book Tracking the Automatic Ant, David Gale gives a very nice non-constructive proof that for all , there is a unique such that Player B wins .

No doubt it is a silly point and perhaps I am just being thick here, but here goes anyway… Now, if we speak of an n x m board where n and m are finite, this uniquely picks out both 1) a board whose highest column/row are specified by the finite ordinals n and m, and 2) a board whose column/row count has cardinality the cardinality of the ordinals n and m. You get both, because these descriptions pick out the very same board.

But this nomenclature breaks down when you turn to speak of an alpha x beta board where alpha and/or beta are limit ordinals. The board whose highest column has ordinal alpha is just one of the many board(s) whose column count has the cardinality of alpha.

If when you speak of an alpha x beta board, you mean to pick out board(s) by cardinality, then you will have picked out not a single board but a rather large collection of boards, and in particular have not distinguished between the board with a column for every n < alpha and no more, and the board whose highest column has ordinal alpha. So, in that case, your nomenclature cannot distinguish between these two rather different sorts of board.

Notice, it would then be a mistake to assert that there is no upper right square on an alpha x beta board, because one of the boards thus picked out does have a highest column/row, namely the one whose highest column has ordinal alpha, and whose highest row has ordinal beta.

On the other hand, if your talk of an alpha x beta board is meant to speak of a board whose highest column/row have the ordinals alpha and beta respectively, then in this case it would again be a mistake to say that there would be no upper right square. It is the square at column alpha, row beta.

Finally, maybe the nomenclature is supposed to work differently for limit and non-limit ordinals. One might say that an alpha x beta board means a board with a) columns for every n<=alpha for non-limit alpha, and b) columns for every n<alpha for limit alpha; & ditto for rows. But this would not be quite happy either, since we would be skipping a board at every limit ordinal, namely the one whose highest column has ordinal alpha for limit alpha (ditto for rows).

Maybe I am just trying to think too early in the morning…

Actually, it’s just that an board has a column for each ordinal where (and similarly for the rows with ).

I believe that works for all cases, but I definitely should have made it more clear.

In your discussion of non-non-increasing sequences I think you mean “min” instead of “max”.

Quite right. Thanks for the correction.