This paper describes a toy, consisting of a pair of magic tesseracts, that can be used to perform an amazing trick that defies explanation in conventional terms. An account of the toy, and the trick possible with it, is given in nontechnical terms that should be accessible to a layman. An explanation is then given, for physicists, of how this trick can be interpreted as a proof of Bell’s theorem. An appendix (again intended for physicists) describes the internal machinery of the toy and how it works its magic.

1.
Roger Penrose, Shadows of the Mind (Oxford U. P., New York, 1994), Chap. 5.
2.
A.
Peres
, “
Two simple proofs of the Kochen-Specker theorem
,”
J. Phys. A
24
,
174
178
(
1991
).
3.
S. Kochen and J. H. Conway, as quoted in A. Peres, Quantum Theory: Concepts and Methods (Kluwer Academic, Boston, 1995), see Plate II on p. 114.
4.
J. S.
Bell
, “
On the Einstein-Podolsky-Rosen paradox
,”
Physics (Long Island City, N.Y.)
1
,
195
200
(
1964
).
Reprinted in J. S. Bell, Speakable and Unspeakable in Quantum Mechanics (Cambridge U. P., Cambridge, 1987).
5.
S.
Kochen
and
E. P.
Specker
, “
The problem of hidden variables in quantum mechanics
,”
J. Math. Mech.
17
,
59
88
(
1967
);
J. S.
Bell
, “
On the problem of hidden variables in quantum mechanics
,”
Rev. Mod. Phys.
38
,
447
452
(
1966
),
reprinted in the book quoted in Ref. 4. A good survey of the BKS theorem and its relation to Bell’s theorem can be found in the book by Peres quoted in Ref. 2.
6.
P.
Heywood
and
M. L. G.
Redhead
, “
Nonlocality and the Kochen-Specker paradox
,”
Found. Phys.
13
,
481
499
(
1983
).
Footnote 2 of this paper mentions earlier work by S. Kochen (unpublished) and A. Stairs (Ph.D. Thesis, University of Western Ontario, 1978) bearing on this problem.
7.
N. D.
Mermin
, “
Hidden variables and the two theorems of John Bell
,”
Rev. Mod. Phys.
65
,
803
815
(
1993
).
8.
J.
Zimba
and
R.
Penrose
, “
On Bell non-locality without probabilities: more curious geometry
,”
Stud. Hist. Phil. Sci.
24
,
697
720
(
1993
).
9.
H. R.
Brown
and
G.
Svetlichny
, “
Nonlocality and Gleason’s Lemma. Part I. Deterministic theories
,”
Found. Phys.
20
,
1379
1387
(
1990
).
10.
P. K.
Aravind
, “
Impossible colorings and Bell’s theorem
,”
Phys. Lett. A
262
,
282
286
(
1999
).
11.
A landmark inequality-free proof of Bell’s nonlocality theorem was given by D. M. Greenberger, M. A. Horne, and A. Zeilinger, “Going beyond Bell’s theorem,” in Bell’s Theorem, Quantum Theory and Conceptions of the Universe, edited by M. Kafatos (Kluwer Academic, Dordrecht, The Netherlands, 1989), p. 73;
see also
D. M.
Greenberger
,
M. A.
Home
,
A.
Shimony
, and
A.
Zeilinger
, “
Bell’s theorem without inequalities
,”
Am. J. Phys.
58
,
1131
1143
(
1990
),
and
N. D.
Mermin
, “
Quantum mysteries revisited
,”
Am. J. Phys.
58
,
731
(
1990
).
12.
Bell’s theorem has served as a fertile source of magic tricks in the past. Notable examples are Mermin’s tricks based on a singlet state of two qubits (Ref. 13), on the Greenberger–Horne–Zeilinger state of three qubits (Ref. 11, and on Hardy’s nonmaximally entangled state of two qubits (Ref. 14). Vaidman, Aharanov, and Albert (Ref. 15) presented an ingenious trick based on an EPR state of two qubits; this example was later generalized by Mermin (Ref. 16), who pointed out the connection between this trick and the BKS theorem.
13.
N. D.
Mermin
, “
Bringing home the atomic world: Quantum mysteries for anybody
,”
Am. J. Phys.
49
,
940
943
(
1981
). This is an elementary and highly entertaining exposition of Bell’s famous theorem (Ref. 4).
14.
N. D.
Mermin
, “
Quantum mysteries refined
,”
Am. J. Phys.
62
,
880
887
(
1994
).
This is a “magic trick” based on the work of
L.
Hardy
, “
Non-locality for two particles without inequalities for almost all entangled states
,”
Phys. Rev. Lett.
71
,
1665
1668
(
1993
).
15.
L.
Vaidman
,
Y.
Aharonov
, and
D. Z.
Albert
, “
How to ascertain the values of σx,σy and σz of a spin-1/2 particle
,”
Phys. Rev. Lett.
58
,
1385
1387
(
1987
).
16.
N. D.
Mermin
, “
Limits to Quantum Mechanics as a Source of Magic Tricks: Retrodiction and the Bell-Kochen-Specker Theorem
,”
Phys. Rev. Lett.
74
,
831
834
(
1995
).
17.
The reason for carrying out each experiment during a prearranged (and narrow) time slot is to ensure that Alice and Bob’s tesseracts, which are very far apart, don’t have sufficient time to exchange information with each other once measurements on either have begun. The ability to exchange such information would provide a ready explanation for the magic to be revealed shortly.
18.
M.
Kernaghan
and
A.
Peres
, “
Kochen-Specker theorem for eight-dimensional space
,”
Phys. Lett. A
198
,
1
5
(
1995
);
M.
Kernaghan
, “
Bell-Kochen-Specker theorem for 20 vectors
,”
J. Phys. A: Math. Gen.
27
,
L829
-
L830
(
1994
).
19.
A.
Cabello
,
J. M.
Estebaranz
, and
G.
Garcia-Alcaine
, “
Bell-Kochen-Specker theorem: A proof with 18 vectors
,”
Phys. Lett. A
212
,
183
187
(
1996
).
20.
This point is also made in the following two papers:
A.
Garg
and
N. D.
Mermin
, “
Bell Inequalities with Range of Violation that Does Not Diminish as the Spin Becomes Arbitrarily Large
,”
Phys. Rev. Lett.
49
,
901
904
(
1982
);
and
N. D.
Mermin
, “
Extreme quantum entanglement in a superposition of macroscopically distinct states
,”
Phys. Rev. Lett.
65
,
1838
1840
(
1990
).
21.
J. E.
Massad
and
P. K.
Aravind
, “
The Penrose dodecahedron revisited
,”
Am. J. Phys.
67
,
631
638
(
1999
). This paper gives a simplified version of the Zimba-Penrose proof of Ref. 8.
22.
P. K.
Aravind
and
F.
Lee-Elkin
, “
Two non-colorable configurations in four dimensions illustrating the Kochen-Specker theorem
,”
J. Phys. A
31
,
9829
9834
(
1998
).
23.
This principle was well known before Mermin enunciated it, but he formulated it crisply and put it to good use in
N. D.
Mermin
, “
Simple Unified Form for No-Hidden-Variables Theorems
,”
Phys. Rev. Lett.
65
,
3373
3376
(
1990
).
24.
It may be worth pointing out that measuring arbitrary observables on a particle of arbitrary spin has been shown to be possible in principle. The paper by
A. R.
Swift
and
R.
Wright
, “
Generalized Stern–Gerlach experiments and the observability of arbitrary spin operators
,”
J. Math. Phys.
21
,
77
82
(
1980
), discusses how this can be done by modifying the usual Stern–Gerlach apparatus to include inhomogeneous electric fields as well. The buttons on the tesseracts therefore appear to be constructable in principle, although their practical realization clearly poses severe technical challenges.
This content is only available via PDF.
AAPT members receive access to the American Journal of Physics and The Physics Teacher as a member benefit. To learn more about this member benefit and becoming an AAPT member, visit the Joining AAPT page.