Why isn't chess an impartial game?

Question

In Combinatorial Game Theory, a major distinction is drawn between impartial games and partisan games. To be impartial, a game must satisfy these conditions:

(1) The game is finite; i.e. there is a constant $c$ such that all games end in $c$ moves or fewer.

(2) There are no draws; either player 1 or player 2 wins.

(3) The rules of the game draw no distinction between the players. That is, given any position, if we switch the active player then the set of legal moves is still the same, and the player who wins the game under perfect play switches.

It is often said in introductory CGT resources (here for example) that a major class of games that violate condition (3) are those in which each player has their own piece set. For example, chess violates (3) because the white player can only move the white pieces and the black player can only move the black pieces, so if we switch the active player then the set of legal moves changes.

However, it seems to me that this problem can be circumvented by the following trick. Instead of defining a "position" as the locations of the white and black pieces, we define a position as the locations of the active player's pieces and the passive player's pieces. Now the conditions in (3) are satisfied.

This trick seems too simple to be original, though, and I have read in many places about how chess is a classic example of a partisan game. So what am I missing?

Aside: To circumvent (1) and (2), we need to modify chess in some reasonable way; i.e. forbid 3x repetition of a single position and declare stalemate to be a win for the stalemating player. But that's beside the point of my question.

---

Years-later edit since this question has gotten some random attention lately: neither of the answers really understood the point of the question (which is probably my fault for an unclear OP). My current understanding is that there is indeed a natural isomorphism between finite drawless chess and an impartial game, but impartiality is not a property that is always preserved under isomorphism, and my misunderstanding came from the assumption that it was.

Answer 1

Chess violates all three conditions, so I don't really understand what there is to ask.

(1) The game is not finite. Although the 50-move and threefold repetition rules allow a player to end the game under certain circumstances, they do not oblige the player to do so.

(2) The game has draws.

(3) As you have observed, the game definition distinguishes between the players. Your "active player" trick doesn't work because you've turned chess into a one-player game: the "active" player makes every move and the "inactive" player is a spectator.

Answer 2

Yes, I believe your changes turn chess into an impartial game. As you mention, stalemate and three-fold repetition can be dealt with by declaring loss.

Your trick decouples players (P1 and P2) from the player to move in the position (White or Black). If the two players play chess in isolation, then those two properties will be in perfect sync. The problem is that CGT allows combining games. Imagine adding chess and checkers. This means that every player on their turn picks either a chess move or a checkers move. Suppose P1 makes a chess move with White, and P2 makes a checkers move. Then P1 can make a chess move with Black! There is no longer a correspondence between the people and the colors on the board.

In a sense, your game has no fixed White and Black; we might as well say that White is always to move, and after each turn we rotate the board and swap colors. There is no real ownership of pieces. This clearly satisfies criterion (3).

I don't know the theory of partisan games, but it's clear that if you didn't remove the "partisanness" from chess, you could form a chess + checkers sum where you can move pieces with only one color.

If you identify a game by its graph of legal move histories, then your chess and normal chess are the same (modulo draws). If you think of the game as a set of rules, and consider games as "first class functions" that can be combined, then they are different.

Answer 3

"To be impartial, a game must satisfy these three conditions".

My understanding is that what makes a game impartial or partisan is purely a function of whether or not the same plays are available to both players.

Chess is partisan because there are black and white pieces, and players can only move their own color.

The other two conditions listed are not a categorization of impartial games, but a definition of a particular game being analyzed. (This can be very confusing to those outside this still woefully obscure, but very important, field.)

In most CGT papers, the scholars begin by defining "what is a game". It is meant to apply only to the specific game being analyzed, and is never meant to be taken as a general definition of games, or combinatorial games, in general.

Fraenkel provides a very clear definition of several aspects of combinatorial games here: Infinite cyclic impartial games

---

Note: I think the confusion here derives from how mathematicians define games in research papers: "A game is..." or "An impartial game is..." The idea is they are defining the term in regard to the game they are analyzing, and it's not meant to be universal definition. This creates a lot of confusion for people outside the field, and, having read widely on the subject, "impartial" as a general term is not well defined. (This terminological fuzziness is irrelevant in regard to the validity of the mathematical work, and seems only to be a taxonomic issue.)

Answer 4

It seems you're stuck on the idea that "indirecting" by alternating who is the active player somehow gets around restriction 3. One way to see that this is unlikely to be true is that the same trick "works" to get around restriction 3 for every possible game, meaning that restriction 3 is in fact not a real restriction at all, which prompts the question: Why would someone have included it in the definition in the first place? (We may as well add some more redundant restrictions to the definition, e.g.: "(4) The name of the game has an even or an odd number of letters".)

It could alternatively be that your trick works, and nobody in the field of combinatorial game theory so far noticed that condition 3 is completely redundant.