Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule
Valuation functions of observables in quantum mechanics are often expected to obey two constraints called the sum rule and product rule. However, the Kochen–Specker (KS) theorem shows that for a Hilbert space of quantum mechanics of dimension d ≥ 3, these constraints contradict individually with t...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Institute of Physics
2009
|
| Subjects: | |
| Online Access: | http://psasir.upm.edu.my/id/eprint/16369/ http://psasir.upm.edu.my/id/eprint/16369/1/Proof%20of%20Kochen.pdf |
| _version_ | 1848842943153045504 |
|---|---|
| author | Toh, Sing Poh Zainuddin, Hishamuddin |
| author_facet | Toh, Sing Poh Zainuddin, Hishamuddin |
| author_sort | Toh, Sing Poh |
| building | UPM Institutional Repository |
| collection | Online Access |
| description | Valuation functions of observables in quantum mechanics are often expected to obey two constraints called the
sum rule and product rule. However, the Kochen–Specker (KS) theorem shows that for a Hilbert space of quantum
mechanics of dimension d ≥ 3, these constraints contradict individually with the assumption of value definiteness.
The two rules are not irrelated and Peres [Found. Phys. 26 (1996) 807] has conceived a method of converting
the product rule into a sum rule for the case of two qubits. Here we apply this method to a proof provided by
Mermin based on the product rule for a three-qubit system involving nine operators. We provide the conversion
of this proof to one based on sum rule involving ten operators. |
| first_indexed | 2025-11-15T08:07:09Z |
| format | Article |
| id | upm-16369 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T08:07:09Z |
| publishDate | 2009 |
| publisher | Institute of Physics |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-163692016-01-20T02:29:00Z http://psasir.upm.edu.my/id/eprint/16369/ Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule Toh, Sing Poh Zainuddin, Hishamuddin Valuation functions of observables in quantum mechanics are often expected to obey two constraints called the sum rule and product rule. However, the Kochen–Specker (KS) theorem shows that for a Hilbert space of quantum mechanics of dimension d ≥ 3, these constraints contradict individually with the assumption of value definiteness. The two rules are not irrelated and Peres [Found. Phys. 26 (1996) 807] has conceived a method of converting the product rule into a sum rule for the case of two qubits. Here we apply this method to a proof provided by Mermin based on the product rule for a three-qubit system involving nine operators. We provide the conversion of this proof to one based on sum rule involving ten operators. Institute of Physics 2009 Article PeerReviewed application/pdf en http://psasir.upm.edu.my/id/eprint/16369/1/Proof%20of%20Kochen.pdf Toh, Sing Poh and Zainuddin, Hishamuddin (2009) Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule. Chinese Physics Letters, 26 (7). 070305-1. ISSN 0256-307X Quantum theory Mechanics 10.1088/0256-307X/26/7/070305 |
| spellingShingle | Quantum theory Mechanics Toh, Sing Poh Zainuddin, Hishamuddin Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule |
| title | Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule |
| title_full | Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule |
| title_fullStr | Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule |
| title_full_unstemmed | Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule |
| title_short | Proof of Kochen¨CSpecker Theorem: conversion of product Rule to sum rule |
| title_sort | proof of kochen¨cspecker theorem: conversion of product rule to sum rule |
| topic | Quantum theory Mechanics |
| url | http://psasir.upm.edu.my/id/eprint/16369/ http://psasir.upm.edu.my/id/eprint/16369/ http://psasir.upm.edu.my/id/eprint/16369/1/Proof%20of%20Kochen.pdf |