Download Quantum Sphere

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Density matrix wikipedia , lookup

Probability amplitude wikipedia , lookup

Orchestrated objective reduction wikipedia , lookup

Copenhagen interpretation wikipedia , lookup

Measurement in quantum mechanics wikipedia , lookup

Quantum entanglement wikipedia , lookup

Quantum fiction wikipedia , lookup

Quantum computing wikipedia , lookup

Many-worlds interpretation wikipedia , lookup

Max Born wikipedia , lookup

Bra–ket notation wikipedia , lookup

History of quantum field theory wikipedia , lookup

Quantum machine learning wikipedia , lookup

Quantum teleportation wikipedia , lookup

Bell's theorem wikipedia , lookup

Quantum key distribution wikipedia , lookup

Symmetry in quantum mechanics wikipedia , lookup

Quantum group wikipedia , lookup

Canonical quantization wikipedia , lookup

EPR paradox wikipedia , lookup

Interpretations of quantum mechanics wikipedia , lookup

T-symmetry wikipedia , lookup

Quantum state wikipedia , lookup

Hidden variable theory wikipedia , lookup

Transcript
CDMTCS
Research
Report
Series
On Coloring the Rational
Quantum Sphere
Hans Havlicek
Institut für Geometrie, Technische
Universität Wien, Austria
Günther Krenn
Johann Summhammer
Atominstitut der Österreichishen
Universitäten, Austria
Karl Svozil
Theoretische Physik, Technische
Universität Wien, Viena Austria
CDMTCS-121
February 2000
Centre for Discrete Mathematics and
Theoretical Computer Science
On coloring the rational quantum sphere
Hans Havlicek
Institut fur Geometrie, Technische Universitat Wien
Wiedner Hauptstrae 8-10/1133, A-1040 Vienna, Austria
[email protected]
and
Gunther Krenn and Johann Summhammer
Atominstitut der osterreichischen Universitaten,
Stadionallee 2
A-1020 Vienna, Austria
[email protected], [email protected]
and
Karl Svozil
Institut fur Theoretische Physik, Technische Universitat Wien
Wiedner Hauptstrae 8-10/136, A-1040 Vienna, Austria
e-mail: [email protected]
(to whom correspondence should be directed)
http://tph.tuwien.ac.at/e svozil/publ/coloring.fhtm,ps,texg
Abstract
We discuss types of colorings of the rational quantum sphere similar to
the one suggested recently by Meyer [1], in particular the consequences for
the Kochen-Specker theorem and for the correlation functions of entangled
subsystems.
Recently, Godsil and Zaks [2] published a constructive coloring of the rational
unit sphere with the property that for any orthogonal tripod formed by rays
extending from the origin of the points of the sphere, exactly one ray is red,
white and black. They also showed that any consistent coloring of the real
sphere requires an additional color.
Based on this very interesting result, Meyer [1] suggested that the physical
impact of the Kochen-Specker theorem [3] is \nullied," since for all practical
purposes it is impossible to operationalize the dierence between any dense set
of rays and the continuum of Hilbert space rays.
We shall argue here that Meyer's result is itself \nullied" for a formal and
for a physical reason: (i) the non-closedness of the resulting set of propositions
1
under quantum logical operations; in particular under the nor-operation; (ii) the
continuity of Bell-type two-particle correlation function rules out the possibility
that \unperformed experiments have results" [4].
In what follows we shall consider \rational rays." A \rational ray" is the
linear span of a non-zero vector of Q n Rn .
Let p be a prime number. A coloring of the rational rays of Rn , n 1, using
n
;
p 1 + pn;2 + : : : + 1 colors can be constructed in a straightforward manner.
We refer to [5, 6, 7] for the theoretical background of the following construction.
Each rational ray is the linear span of a vector (x1 ; x2 ; : : : ; xn ) 2 Zn, where
x1 ; x2 ; : : : ; xn are coprime. Such a vector is unique up to a factor 1.
Next, let Zp be the eld of residue classes modulo p. The vector space Znp
has pn ; 1 non-zero vectors; each ray through the origin of Znp has p ; 1 non-zero
vectors. So there are exactly (pn ; 1)=(p ; 1) = pn;1 + pn;2 + : : : + 1 distinct
rays through the origin which can be colored with pn;1 + pn;2 + : : : + 1 distinct
colors.
Finally, assign to the ray Sp(x1 ; x2 ; : : : ; xn ) (\Sp" denotes linear span) the
color of the ray of Znp which is obtained by taking the modulus of the coprime integers x1 ; x2 ; : : : ; xn modulo p. Observe that x1 ; x2 ; : : : ; xn cannot vanish simultaneously modulo p and that (x1 ; x2 ; : : : ; xn ) yield the same color. Obviously,
all pn;1 + pn;2 + : : : + 1 colors are actually used.
In what follows, we consider the case p = 2, n = 3. Here all rational rays
Sp(x; y; z ) (with x; y; z 2 Z coprime) are colored according to the property which
ones of the components x; y; z are even (E) and odd (O). There are exactly 7
of such triples OEE, EOE, EEO, OOE, EOO, OEO, OOO which are associated
with one of seven dierent colors #1; #2; #3; #4; #5; #6; #7. Only the EEE
triple is excluded. Those seven colors can be identied with the seven points of
the projective plane over Z2; cf. Fig. 1.
Next, we restrict our attention to those rays which meet the rational unit
sphere S 2 \ Q 3 . The following statements on a triple (x; y; z ) 2 Z3 n f(0; 0; 0)g
(not necessarily coprime) are equivalent:
(i) The ray Sp(x; y; z ) intersects the unit sphere
p at two rational points; i.e., it
contains the rational points (x; y; z ) = x2 + y2 + z 2 2 S 2 \ Q 3 .
(ii) The Pythagorean property holds, i.e., x2 + y2 + z 2 = n2 ; n 2 N .
This equivalence can be demonstrated
as
follows. All points on the rational unit
;
sphere can be written as r = aa ; bb ; cc with a; b; c 2 Z, a0 ; b0 ; c0 2 Z n f0g, and
; a 2 + ; b 2 + ; c 2 = 1. Multiplication of r with a02b02c02 results in a vector
a
b
c
of Z3 satisfying (ii). ;Conversely,
from x2 + y2 + z 2 = n2 ; n 2 N , we obtain the
y z
x
rational unit vector n ; n ; n 2 S 2 \ Q 3 .
Notice that this Pythagorean property is rather restrictive. Not all rational
rays intersect the rational unit sphere.
p For a proof, consider Sp(1; 1; 0) which
intersects the unit sphere at (1= 2)(1; 1; 0) 62 S 2 \ Q 3 . Although both the set
0
0
0
0
0
0
2
EEO
v
#3
T
dv
T
T
T
OEO #1
v
OEE
v
v
v
T EOO
T
T
OOO T
T
T
T
T
OOE
v #2
EOE
Figure 1: The projective plane over Z2. and the reduced coloring scheme discussed.
of rational rays as well as S 2 \ Q 3 are dense, there are \many" rational rays
which do not have the Pythagorean property.
If x; y; z are chosen coprime then a necessary condition for x2 + y2 + z 2 being
a non-zero square is that precisely one of x, y, and z is odd. This is a direct
consequence of the observation that any square is congruent to 0 or 1, modulo
4, and from the fact that at least one of x, y, and z is odd. Hence our coloring
of the rational rays induces the following coloring of the rational unit sphere
with those three colors that are represented by the standard basis of Z32:
color #1 if x is odd, y and z are even,
color #2 if y is odd, z and x are even,
color #3 if z is odd, x and y are even.
All three colors occur, since the vectors of the standard basis of R3 are
colored dierently.
Suppose that two points of S 2 \ Q 3 are on rays Sp(x; y; z ) and Sp(x0 ; y0; z 0 ),
each with coprime entries. The inner product xx0 + yy0 + zz 0 is even if and only
if the inner product of the corresponding basis vectors of Z32 is zero or, in other
words, the points are colored dierently. In particular, three points of S 2 \ Q 3
with mutually orthogonal position vectors are colored dierently.
From our considerations above, three colors are sucient to obtain a coloring
of the rational unit sphere S 2 \ Q 3 such that points with orthogonal position
vectors are colored dierently, but clearly this cannot be accomplished with two
3
colors. So the \chromatic number" for the rational unit sphere is three. This
result is due to Godsil and Zaks [2]; they also showed that the chromatic number
of the real unit sphere is four. However, they obtained their result in a slightly
dierent way. Following [6] all rational rays are associated with three colors by
making the following identication:
#1;
#2 = #4;
#3 = #5 = #6 = #7:
This 3-coloring has the property that coplanar rays are always colored by using
only two colors; cf. Fig. 1. According to our approach this intermediate 3coloring is not necessary, since rays in colors #4, #5, #6, #7 do not meet the
rational unit sphere.
As a corollary, the rational unit sphere can be colored by two colors such
that, for any arbitrary orthogonal tripod spanned by rays through its origin,
one vector is colored by color #1 and the other two rays are colored by color
#2. This can be easily veried by identifying colors #2 & #3 from the above
scheme. (Two equivalent two-coloring schemes result from a reduced chromatic
three-coloring scheme by requiring that color #1 is associated with x or y being
odd, respectively.)
It can also be shown that each color class in the above coloring schemes
is dense in the sphere. To prove this, Godsil and Zaks consider such that
sin = 53 and thus cos = 54 . is not a rational multiple of ; hence sin(n)
and cos(n) are non-zero for all integers n. Let F be the rotation matrix about
the z -axis through an angle ; i.e.,
0 cos F = @ ; sin 0
sin 0
cos 0
0 1
1
A:
Then the image I , under the powers of F , of the point (1; 0; 0) is a dense subset
of the equator.
; Now suppose that the point u = ac ; cb ; is on the rational unit sphere and
that a; c are odd and thus b is even. In the coloring scheme introduced above,
u has the same color as (1; 0; 0) (identify a = c = 1 and b = 0); and so does F u.
This proves that I (the image of all powers of F of the points u) is dense. We
shall come back to the physical consequences of this property later.
In the reduced two-color setting, if the two "poles" (0; 0; 1) acquire color
#1, then the entire equator acquires color #2. Thus, for example, for the two
tripods spanned by f(1; 0; 0); (0; 1; 0); (0; 0; 1)g and f(3; 4; 0); (;4; 3; 0); (0; 0; 1)g,
the rst two legs have color #2, while (0; 0; 1) has color #1.
The above coloring scheme of the rays through the origin meeting the rational sphere is not closed under certain geometrical operations such as taking
4
two orthogonal ray of the subspace spanned by two non-collinear rays (the cross
product of the associated vectors). This can be easily demonstrated by considering the two vectors
3 4 4 3
2
3
5 ; 5 ; 0 ; 0; 5 ; 5 2 S \ Q :
The cross product thereof is
12 ;9 12 2
3
25 ; 25 ; 25 62 S \ Q :
Indeed, if instead of S 2 \ Q 3 we would start with three non-orthogonal, noncollinear rational rays and generate new ones by the cross product, we would
end up with all rational rays [8].
From a quantum logic point of view, this non-closedness under elementary
operations such as the nor-operation might be considered a serious deciency
which rules out the above model as an alternative candidate for Hilbert space
quantum mechanics. Indeed, it is just the relative (with respect to other sets
such as the rational rays) \thinness" which guarantees colorability, but which on
the other hand does not allow closedness under the quantum logical operations.
It may, however, be argued that the non-closedness is among counterfactual,
non-commuting properties which have no direct operational meaning. But then
it would be entirely senseless to consider any but six points of the rational sphere
corresponding to intersections with a single tripod (that one being measured),
which would make any coloring trivial.
Of course, this leaves open the question as to whether or not there exist
dense sets of chromatic number three which are closed under quantum logical
operations, in particular under the nor-operation.
The coloring schemes discussed above have a physical interpretation as follows. Any linear subspace Sp r of a vector r can be identied with the associated
projection operator Er and with the quantum mechanical proposition \the physical system is in a pure state Er " [9]. The coloring of the associated point on the
unit sphere (if it exists) is equivalent with a valuation or two-valued probability
measure
P r : Er 7! f0; 1g
where 0 #2 and 1 #1. That is, the two colors #1, #2 can be identied
with the classical truth values and with the EPR- type \elements of physical
reality" [10]:
\It is true that the physical system is in a pure state Er ."
\It is false that the physical system is in a pure state Er ."
Since, as has been argued before, the rational unit sphere has chromatic
number three, two colors suce for a reduced coloring generated under the
5
assumption that the colors of two rays in any orthogonal tripod are identical.
This eectively generates consistent valuations or \elements of physical reality"
associated with the dense subset of physical properties corresponding to the
rational unit sphere [1]. For an extension of these arguments, see Kent [11] and
Clifton and Kent [12].
We may indeed take for granted that for all practical (operational) physical
purposes, a dense subset cannot be distinguished from the usual Hilbert space
based upon real or complex number elds. This is, at least to our knowledge, one
of the very rare instances where it does make a dierence whether we consider a
real rational quantity or merely its rational double. The two cases lie on dierent
sides of a demarcation line of classicality and (maybe) an \understanding" of
quantum mechanics.
To put it dierently: given any nonzero measurement uncertainty " and any
non-colorable Kochen-Specker graph ;(0) [3, 13], there exists another Graph
(in fact, a denumerable innity thereof) ;() which lies inside the range of
measurement uncertainty " [and thus cannot be discriminated from the
non-colorable ;(0)] which can be colored. Such a graph, however, might not be
connected in the sense that the associated subspaces can be cyclically rotated
into itself by local transformation along single axes. The set ;() might thus
correspond to a collection of tripods such that none of the axes coincides with
any other, although all of those non-identical single axes are located within apart from each other.
If this is indeed the case, then the reason why a Kochen-Specker type contradiction does not occur is the impossibility to \close" the argument; to complete
the cycle: the necessary elements of physical reality are simply not available in
the rational sphere model. (For the same reason, an equilateral triangle does
not exist in Q 2 [14].)
However, in addition to the non-closedness under elementary quantum logical operations we would like to point out another, rather serious problem. Due
to the density of points colored with any single color, any such coloring is noncontinuous in the sense that between any two points of equal color there is a
point (indeed, an innity thereof) of dierent color.
Let us then assume that any such value-deniteness might apply also to
non-local setups and consider Bell-type correlation functions for spin- 21 state
measurements. For singlet states along two directions which are an angle apart, the quantum probabilities to nd identical two particle states ++ or ;;
is P = = P ++ + P ;; = sin2 (=2), whereas for the non-identical states +; and
;+ it is P 6= = P +; + P ;+ = cos2 (=2). The corresponding classical quantities
are P = = = and P 6= = 1 ; = [15, 16, 17]. In the quantum case, a statistical
argument [4, 16, 17] demonstrates that \elements of physical reality" do not
exist, whereas in the classical case they can be dened.
Thus if there exists any coloring of the associated fourdimensional model,
any such coloring should be in accordance with the physical ndings which
support quantum mechanics. In particular, any probability theory derived from
6
the valuations of dense subsets of Hilbert spaces should be able to reproduce
the well-known quantum correlations which violate value-deniteness as well
as locality. This, however, is neither possible with the usual classical valuedeniteness, nor with the discontinuity originating in the denseness of any single
color.
Acknowledgments
The authors would like to acknowledge stimulating discussions with Ernst Specker.
References
[1] David A. Meyer. Finite precision measurement nullies the KochenSpecker theorem. Physical Review Letters, 83(19):3751{3754, 1999.
http://xxx.lanl.gov/abs/quant-ph/9905080.
[2] C. D. Godsil and J. Zaks. Coloring the sphere. University of Waterloo
research report CORR 88-12, 1988.
[3] Simon Kochen and Ernst P. Specker. The problem of hidden variables in
quantum mechanics. Journal of Mathematics and Mechanics, 17(1):59{87,
1967. Reprinted in [18, pp. 235{263].
[4] Asher Peres. Unperformed experiments have no results. American Journal
of Physics, 46:745{747, 1978.
[5] Wilhelm Klingenberg. Projektive Geometrien mit Homomorphismus. Math.
Ann., 132:180{200, 1956.
[6] A.W. Hales and E.G. Straus. Projective colorings. Pac. J. Math., 99:31{43,
1982.
[7] David S. Carter and Andrew Vogt. Collinearity-preserving functions between Desarguesian planes. Mem. Am. Math. Soc., 235:98, 1980.
[8] Hans Havlicek and Karl Svozil. Density conditions for quantum propositions. Journal of Mathematical Physics, 37(11):5337{5341, November 1996.
[9] John von Neumann. Mathematische Grundlagen der Quantenmechanik.
Springer, Berlin, 1932. English translation: Mathematical Foundations of
Quantum Mechanics, Princeton University Press, Princeton, 1955.
[10] Albert Einstein, Boris Podolsky, and Nathan Rosen. Can quantummechanical description of physical reality be considered complete? Physical
Review, 47:777{780, 1935. Reprinted in [19, pages. 138-141].
7
[11] Adrian
Kent.
Non-contextual
hidden
variables
and physical measurements. Physical Review Letters, 83(19):3755{3757,
1999. http://xxx.lanl.gov/abs/quant-ph/9906006.
[12] Rob Clifton and Adrian Kent. Simulating quantum mechanics by noncontextual hidden variables. http://xxx.lanl.gov/abs/quant-ph/9908031,
1999.
[13] K. Svozil. Quantum Logic. Springer, Singapore, 1998.
[14] Ernst Specker. private communication, 1999.
[15] J. F. Clauser and A. Shimony. Bellos theorem: experimental tests and
implications. Rep. Prog. Phys., 41:1881{1926, 1978.
[16] Asher Peres. Quantum Theory: Concepts and Methods. Kluwer Academic
Publishers, Dordrecht, 1993.
[17] G. Krenn and K.Svozil. Stronger-than-quantum correlations. Foundations
of Physics, 28(6):971{984, 1998.
[18] Ernst Specker. Selecta. Birkhauser Verlag, Basel, 1990.
[19] John Archibald Wheeler and Wojciech Hubert Zurek. Quantum Theory
and Measurement. Princeton University Press, Princeton, 1983.
8