Kochen-Specker sets and generalized orthoarguesian equations

DOI10.1007/S00023-011-0109-0MaRDI QIDQ644335zbMATH OpenOpenAlexFDO

Authors Norman D. Megill, Mladen Pavičić

Publication date 4 November 2011

Published in Annales Henri Poincaré (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1005.0016

Mathematics Subject Classification ID

Contextuality in quantum theory (81P13) Complemented lattices, orthocomplemented lattices and posets (06C15)

Abstract: Every set (finite or infinite) of quantum vectors (states) satisfies generalized orthoarguesian equations ($n$OA). We consider two 3-dim Kochen-Specker (KS) sets of vectors and show how each of them should be represented by means of a Hasse diagram---a lattice, an algebra of subspaces of a Hilbert space--that contains rays and planes determined by the vectors so as to satisfy $n$OA. That also shows why they cannot be represented by a special kind of Hasse diagram called a Greechie diagram, as has been erroneously done in the literature. One of the KS sets (Peres') is an example of a lattice in which 6OA pass and 7OA fails, and that closes an open question of whether the 7oa class of lattices properly contains the 6oa class. This result is important because it provides additional evidence that our previously given proof of noa =< (n+1)oa can be extended to proper inclusion noa < (n+1)oa and that nOA form an infinite sequence of successively stronger equations.

Recommendations

• Orthomodular Bell-Kochen-Specker theorem
• Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker-type constructions
• SOME EQUATIONS RELATED TO STATES ON ORTHOMODULAR LATTICES
• Equations, states, and lattices of infinite-dimensional Hilbert spaces
• Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem

Cites work

• scientific article; zbMATH DE number 3889596 (Why is no real title available?)
• scientific article; zbMATH DE number 3129730 (Why is no real title available?)
• scientific article; zbMATH DE number 3807678 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 5182234 (Why is no real title available?)
• scientific article; zbMATH DE number 3050845 (Why is no real title available?)
• Algorithms for Greechie diagrams
• Astroids and pastings
• Constructions of quantum structures
• Equations, states, and lattices of infinite-dimensional Hilbert spaces
• Graph approach to quantum systems
• Hilbert lattice equations
• Is quantum logic a logic?
• Lectures on Quantum Theory
• Orthomodular lattices admitting no states
• Quantum logic
• Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience
• There are loops of order three in orthomodular lattices
• Two simple proofs of the Kochen-Specker theorem

Cited in

(3)

• Kochen–Specker Sets and the Rank-1 Quantum Chromatic Number
• A remark on the Kochen-Specker theorem and some characterizations of the determinant on sets of Hermitian matrices
• A natural deduction system for orthomodular logic

This page was built for publication: Kochen-Specker sets and generalized orthoarguesian equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q644335)