h)· (-t,-t,-.h), (t,-t,- (t,t,- Ji).psasir.upm.edu.my/12461/1/Artikel_3_vol2_no1.pdf · first...
Transcript of h)· (-t,-t,-.h), (t,-t,- (t,t,- Ji).psasir.upm.edu.my/12461/1/Artikel_3_vol2_no1.pdf · first...
IToh Sing Poh & 1·'Hishamuddin Zainuddin
(I)
(2)e-i¢ Si09]l-cos9
1 ( _ _)E=- l+neO'N
Research Bulletin of Institute for Mathematical Research
E=...t..[I+COS9N /¢ sinS
where N = 8 in this case, we can produce thefollowing (Table 1) eight positive operators:
Consider a cube centered at origin of a Cartesiancoordinate system such that all the vectors joiningorigin to each vertex have unit length. Thus, the 8
unit vectors are iiJ=(t, t, h),
n2 =(-t,t,h), n3 =(-t,-t,)z),n4 = (t,-t, h)· iiI' =(-t,-t,- .h),n2, = (t,-t,- h). fir = (t,t,- ,h) and
n4, = (-t,t,- Ji). Vector sum of these vectors
gives rise to zero. As every unit vector can begenerally expressed in tenns of polar and azimuthalangles as (sin.9cos{6,sin.9sin{6,cos.9), we can find
9 and rp for each vector above. By substitution of
each pair of the angles into Eq. I with tlle explicitfonn as
POVM constructed from a single cube
where n can be any unit vector and (j are Paulimatrices.
orthogonal. Here we show numerical calculationsdemonstrating idea of the first proof given byCabello [2] that make use of five inscribed cubes indodecahedron. For the single qubit syslemconsidered, restricted element of POVM is givenby [3]
The Kochen-Specker theorem (KS) states thatIlonconrextual hidden variable theories areincompatible with quantum mechanics. Since thefirst proof of the theorem, von Neumann projectionmeasurement has been used and the quantumsystem considered has dimensionality of at leastthree. However, recently generalized measurementsrepresented by positive-operator-va!ued measures(POVM) have been applied to extend the proof totwo dimensional quantum systems. This note givesnumerical calculations on the first KS proof for asingle qubit.
Kochen-Specker Theorem for a Single Qubit
Abstract
'Laboratory of Computational Sciences and InfonnaticsInstitute for Mathematical Research
Universiti Putra Malaysia,
Introduction
'Department nf PhysicsFaculty of Science
Universiti Putra Malaysia
One of the main theorems on the impossibility ofhidden variables in quantum mechanics is KochenSpeckcr theorem (KS). This theorem says that anyhidden variable theory that satisfies quantummechanics must be contextual. More specifically, itasserts that, in Hilbert space of dimension ~ 3, it isimpossible to associate definite numerical values, Ior 0, with every projection operator Pl1n in such away that, if a set of commuting Pm satisfiesL:p. = I, the corresponding values v(p.) will also
satisfy L: I'(p.) = I· Sincc the first proof of Kochen
and Specker [I] using I 17 vectors in R3, there were
many attempts to reduce the number of vectoreither via concclvmg ingemous models orextending the system being considered to higherdimension. However, further advancementsrecently show that the proof can be extended to twodimensional quantum system through generalizedmeasurement represented by positive operatorvalued measured (POYM). In POVMs the numberof available outcomes of a measurement ITlay behigher than the dimcnsionality of the Hilbert spaceand N-outcomc generalized measurement isreprcsented by N-elcment POYM which consists of
Npositive semidefinite operators {Ed} that: SUlll to
Identity. Each pair of elements are not mutually