This article needs additional citations for verification. (February 2017) (Learn how and when to remove this template message)
Quantum tic-tac-toe is a "quantum generalization" of tic-tac-toe in which the players' moves are "superpositions" of plays in the classical game. The game was invented by Allan Goff of Novatia Labs, who describes it as "a way of introducing quantum physics without mathematics", and offering "a conceptual foundation for understanding the meaning of quantum mechanics".
The motivation to invent quantum tic-tac-toe was to explore what it means to be in two places at once. In classical physics, a single object cannot be in two places at once. In quantum physics, however, the mathematics used to describe quantum systems seems to imply that before being subjected to quantum measurement (or "observed") certain quantum particles can be in multiple places at once. (The textbook example of this is the double-slit experiment.) How the universe can be like this is rather counterintuitive. There is a disconnect between the mathematics and our mental images of reality, a disconnect that is absent in classical physics. This is why quantum mechanics supports multiple "interpretations".
The researchers who invented quantum tic-tac-toe were studying abstract quantum systems, formal systems whose axiomatic foundation included only a few of the axioms of quantum mechanics. Quantum tic-tac-toe became the most thoroughly studied abstract quantum system and offered insights that spawned new research. It also turned out to be a fun and engaging game, a game which also provides good pedagogy in the classroom.
The rules of quantum tic-tac-toe attempt to capture three phenomena of quantum systems:
- the ability of quantum objects to be in two places at once.
- the phenomenon where distant parts of a quantum system display correlations that cannot be explained by either timelike causality or common cause.
- the phenomenon where the quantum states of a system are reduced to classical states. Collapses occur when a measurement happens, but the mathematics of the current formulation of quantum mechanics is silent on the measurement process. Many of the interpretations of quantum mechanics derive from different efforts to deal with the measurement problem.
Quantum tic-tac-toe captures the three quantum phenomena discussed above by modifying one basic rule of classical tic-tac-toe: the number of marks allowed in each square. Additional rules specify when and how a set of marks "collapses" into classical moves.
On each move, the current player marks two squares with their letter (X or O), instead of one, and each letter (X or O) is subscripted with the number of the move (beginning counting with 1). The pair of marks are called spooky marks. (Because X always moves first, the subscripts on X are always odd and the subscripts on O are always even.)
For example, player 1's first move might be to place "X1" in both the upper left and lower right squares. The two squares thus marked are called entangled. During the game, there may be as many as eight spooky marks in a single square (if the square is entangled with all eight other squares).
The phenomenon of collapse is captured by specifying that a "cyclic entanglement" causes a "measurement". A cyclic entanglement is a cycle in the entanglement graph; for example, if
- square 1 is entangled via move X1 with square 4, and
- square 4 is entangled via move X3 with square 8, and
- square 8 is in turn entangled via move O4 with square 1,
then these three squares form a cyclic entanglement. At the end of the turn on which the cyclic entanglement was created, the player whose turn it is not — that is, the player who did not create the cycle — chooses one of two ways to "measure" the cycle and thus cause all the entangled squares to "collapse" into classical tic-tac-toe moves. In the preceding example, since player 2 created the cycle, player 1 decides how to "measure" it. Player 1's two options are:
- X1 collapses into square 1. This forces O4 to collapse into square 8 and X3 to collapse into square 4.
- X1 collapses into square 4. This forces X3 to collapse into square 8 and O4 to collapse into square 1.
Any other chains of entanglements hanging off the cycle would also collapse at this time; for example, if square 1 were also entangled via O2 with square 5, then either measurement above would force O2 to collapse into square 5. (Note that it is impossible for two or more cyclic entanglements to be created in a single turn.)
When a move collapses into a single square, that square is permanently marked (in larger print) with the letter and subscript of the collapsed move — a classical mark. A square containing a classical mark is fixed for the rest of the game; no more spooky marks may be placed in it.
The first player to achieve a tic-tac-toe (three in a row horizontally, vertically, or diagonally) consisting entirely of classical marks is declared the winner. Since it is possible for a single measurement to collapse the entire board and give classical tic-tac-toes to both players simultaneously, the rules declare that the player whose tic-tac-toe has the lower maximum subscript earns one point, and the player whose tic-tac-toe has the higher maximum subscript earns only one-half point.
- Goff, Allan; Lehmann, Dale; Siegel, Joel (2002-07-07). "Quantum Tic-Tac-Toe, Spooky-Coins & Magic-Envelopes, as Metaphors for Relativistic Quantum Physics" (PDF). 38th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit. doi:10.2514/6.2002-3763. ISBN 9781624101151. Archived from the original (PDF) on 2012-09-14.
- Goff, Allan (2004). "Quantum Tic-Tac-Toe as Metaphor for Quantum Physics". AIP Conference Proceedings. 699: 1152–1159. Bibcode:2004AIPC..699.1152G. doi:10.1063/1.1649685.
- Goff, Allan (2006). "Quantum tic-tac-toe: A teaching metaphor for superposition in quantum mechanics". American Journal of Physics. 74 (11): 962–973. Bibcode:2006AmJPh..74..962G. doi:10.1119/1.2213635. ISSN 0002-9505.
- Sagole, Sai; Dey, Anurit; Behera, Bikash; Panigrahi, Prasanta (2019-12-22). Quantum Tic-Tac-Toe: A Hybrid of Quantum and Classical Computing. doi:10.13140/rg.2.2.18883.76320.