Regularity in quantum logic
type: Item
instance of: scholarly article
title: Regularity in quantum logic
zbMATH Open document ID: 0946.03077
DOI: 10.1023/A:1026665818335
author: John Harding
published in: International Journal of Theoretical Physics
publication date: 2000-06-04T00:00:00Z
review text: A quantum mechanical system is said to be regular if every pairwise compatible set of questions of it is compatible. In the paper, the author shows that this property is a consequence of associating questions of the system with direct product decompositions of its state space if one assumes that the true and false questions correspond to the binary direct compositions of the state space. Such an assumption is in accordance with von Neumann's approach to quantum mechanics. The author has shown recently [Trans. Am. Math. Soc. 348, No. 5, 1839--1862 (1996; Zbl 0859.03032)] that the collection of binary direct decompositions of any algebraic, relational or topological structure \(X\) form an orthomodular poset \(\operatorname {Fact}X\). Many familiar orthomodular posets (OMPs) arise in this way. On the other hand, it was shown [loc. cit.] that the technique of building an OMP from the decompositions of \(X\) can be extended to the construction of an OMP from an arbitary relation algebra. Theorem 4.9 of the paper under review says that every such a relational OMP is regular, i.e., every pairwise compatible subset of it is included in a Boolean subalgebra; this applies also to \(\operatorname {Fact}X\). The author also studies regularity for decompositions preserving the structure of \(X\) (it is shown by an example that a subalgebra of a regular OMP need not be regular). Furthermore, he establishes a correspodence between the collection of all finite Boolean subalgebras of \(\operatorname {Fact}X\) and equivalence classes of finite direct decompositions of \(X\) (considered either as a set or as an algebraic, relational or topological structure). It turns out that the generalisation of this result to infinite Boolean subalgebras requires to replace infinite direct products with sheaves over a Boolean space. However, this does not work for \(X\) a topological structure. The paper contains the needed preliminaries on OMPs, relation algebras and sheaf theory as well as a br…
reviewed by: Jānis Cīrulis
Mathematics Subject Classification ID: 03G12
Mathematics Subject Classification ID: 81P10
Mathematics Subject Classification ID: 06C15
Mathematics Subject Classification ID: 03G15
zbMATH DE Number: 1341285
zbMATH Keywords: compatibility
zbMATH Keywords: decomposition
zbMATH Keywords: orthomodular poset
zbMATH Keywords: quantum logic
zbMATH Keywords: relation algebra
zbMATH Keywords: regularity
MaRDI profile type: Publication
full work available at URL: a:1026665818335
OpenAlex ID: W1597251926
description: scientific article; zbMATH DE number 1341285