Kochen-Specker sets and generalized orthoarguesian equations

DOI10.1007/S00023-011-0109-0zbMATH Open1228.81054arXiv1005.0016OpenAlexW3100952990MaRDI QIDQ644335FDOQ644335

Authors: Norman D. Megill, Mladen Pavičić 

Publication date: 4 November 2011

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

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Orthomodular lattices admitting no states
• Title not available (Why is that?)
• Constructions of quantum structures
• Astroids and pastings
• Title not available (Why is that?)
• Two simple proofs of the Kochen-Specker theorem
• Lectures on Quantum Theory
• Title not available (Why is that?)
• Algorithms for Greechie diagrams
• Title not available (Why is that?)
• Is quantum logic a logic?
• Quantum logic
• Equations, states, and lattices of infinite-dimensional Hilbert spaces
• Hilbert lattice equations
• Quantum scholasticism: On quantum contexts, counterfactuals, and the absurdities of quantum omniscience
• There are loops of order three in orthomodular lattices
• Graph approach to quantum systems

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)