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
676Kb

Abstract

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:Algorithms
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 04:07
Last Modified:27 May 2013 07:22

Repository Staff Only: Edit item detail

Document Download Statistics

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

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


Universiti Putra Malaysia Institutional Repository

Universiti Putra Malaysia Institutional Repository is an on-line digital archive that serves as a central collection and storage of scientific information and research at the Universiti Putra Malaysia.

Currently, the collections deposited in the IR consists of Master and PhD theses, Master and PhD Project Report, Journal Articles, Journal Bulletins, Conference Papers, UPM News, Newspaper Cuttings, Patents and Inaugural Lectures.

As the policy of the university does not permit users to view thesis in full text, access is only given to the first 24 pages only.