Keyword Search:

Bookmark and Share

Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure

Toh, Sing Poh (2008) Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure. PhD thesis, Universiti Putra Malaysia.

[img] PDF


One of the main theorems on the impossibility of hidden variables in quantum mechanics is Kochen-Specker theorem (KS). This theorem says that any hidden variable theory that satisfies quantum mechanics must be contextual. More specifically, it asserts that, in Hilbert space of dimension ≥ 3, it is impossible to associate definite numerical values, 1 or 0, with every projection operator Pm, in such a way that, if a set of commuting Pm satisfies 1=ΣmP, the corresponding values will also satisfy . Since the first proof of Kochen and Specker using 117 vectors in R3, there were many attempts to reduce the number of vector either via conceiving ingenious models or extending the system being considered to higher dimension. By considering eight dimensional three qubits system, we found a state dependent proof that requires only five vectors. The state that we assign value of 1 is the ray that arises from intersection of two planes. The recent advancements show that the KS theorem proof can be extended to two dimensional quantum system through generalized measurement represented by positive operator-valued measured (POVM). In POVMs the number of available outcomes of a measurement may be higher than the dimensionality of the Hilbert space and N-outcome generalized measurement is represented by N-element POVM which consists of N positive semidefinite operators {}dE that sum to identity. Each pair of elements is not mutually orthogonal if the number of outcome of measurements is bigger than the dimensionality. In terms of POVM, Kochen-Specker theorem asserts that and could not be satisfied for . We developed a general model that enables us to generate different sizes of the POVM for the proof of the Kochen-Specker theorem. We show that the current simplest Nakamura model is in fact a special case of our model. W also provide another model which is as simple as the Nakamura’s but consists of different sets of POVM.

Item Type:Thesis (PhD)
Subject:Mathematical analysis
Chairman Supervisor:Associate Professor Hishamuddin Zainuddin, PhD
Call Number:IPM 2008 3
Faculty or Institute:Institute for Mathematical Research
ID Code:5419
Deposited By: Rosmieza Mat Jusoh
Deposited On:09 Apr 2010 12:07
Last Modified:27 May 2013 15:22

Repository Staff Only: Edit item detail

Document Download Statistics

This item has been downloaded for since 09 Apr 2010 12:07.

View statistics for "Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure "