Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1009.4433

Subalgebras of orthomodular lattices

John Harding, Mirko Navara

Published Sep 22, 2010• 0 citations
arXivHTMLPDF

Abstract

Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L). The domain BSub(L) has recently found use in an approach to the foundations of quantum mechanics initiated by Butterfield and Isham, at least in the case where L is the orthomodular lattice of projections of a Hilbert space, or von Neumann algebra. The results here may add some additional perspective to this line of work.

DOI
10.48550/arxiv.1009.4433

Related papers

Sublattices and Δ-blocks of orthomodular posets

Ivan Chajda, Helmut Länger

Abstract States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space. This can be considered as a complete lattice with orthocomplementation, but it is not distributive. It satisfies a weaker condition, the so-called orthomodularity. Later on, it was recognized that joins in this structure need not exist provided the subspaces are not orthogonal. Hence, the resulting structure need not be a lattice but a so-called orthomodular poset, more generally an orthoposet only. For orthoposets, we introduce a binary relation $\mathrel \Delta$ and a binary operator $d(x,y)$ that are generalizations of the binary relation $\textrm{C}$ and the commutator $c(x,y)$, respectively, known for orthomodular lattices. We characterize orthomodular posets among orthogonal posets. Moreover, we describe connections between the relations $\mathrel \Delta$ and $\leftrightarrow$ (the latter was introduced by P. Pták and S. Pulmannová) and the operator $d(x,y)$. In addition, we investigate certain orthomodular posets of subsets of a finite set. In particular, we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of $\Delta$-blocks with respect to Boolean subalgebras and distributive subposets they include.

arXiv:2004.01962•Journal of Logic and Computation•Jun 25, 2020•0 citations

Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices

Carmen Constantin, Doering, Andreas

We show that an atomic orthomodular lattice L can be reconstructed up to isomorphism from the poset B(L) of Boolean subalgebras of L. A motivation comes from quantum theory and the so-called topos approach, where one considers the poset of Boolean sublattices of L=P(H), the projection lattice of the algebra B(H) of bounded operators on Hilbert space.

arXiv:1306.1950•Jun 8, 2013•1 citation

Reconstructing an atomistic ortholattice from the poset of its Boolean sublattices

Carmen Constantin, Andreas Doering

We show that an atomic orthomodular lattice L can be reconstructed up to isomorphism from the poset B(L) of Boolean subalgebras of L. A motivation comes from quantum theory and the so-called topos approach, where one considers the poset of Boolean sublattices of L=P(H), the projection lattice of the algebra B(H) of bounded operators on Hilbert space.

•Jun 8, 2013•1 citation

State spaces of orthomodular structures

Mirko Navara

We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alternative description which is not as detailed, but substantially simplex. Semipasted families of Boolean algebras correspond to orthomodular structures in such a way that states and evaluation functionals are preserved. As semipasted families of Boolean algebras are quite general, they allow an easy construction of orthomodular structures with given state space properties. Based on this technique, we give a simplified proof of Shultz's Theorem on characterization of spaces of finitely additive states on orthomodular lattices. We also put some other results into the new context. We give a detailed exposition of the construction techniques as a tool for further applications, especially for finding counterexamples to questions about states on orthomodular structures.

•Jan 1, 2000•12 citations

States and Boolean Algebra

Nabila Nassiief Mikhaeel, Basim Samir Labib

We investigate subadditive measures on orthomodular lattices. We show as the main result that the Boolean algebra, the special metric orthomodular lattice and the orthomodular lattice which is unital with respect to subadditive states are equivalent. This result may find an application in the foundation of quantum theories and mathematical logic.

Algebra Colloquium•Dec 1, 2008•0 citations

On the mathematical foundations of quantum theory

Gerald W. Charlwood

Beginning with the work of Birkhoff and von Neumann, the lattice of closed subspaces of Hilbert space has been studied by mathematicians, physicists, and philosophers. Since the 1960's, work of Gudder and of Kochen has focussed on partial structures extracted from, or related to, the lattice mentioned above. This thesis follows in the same tradition. Starting from a new point of view, a particular sort of partial algebra is constructed. The relations of these structures, quasi boolean algebras, to Gudder's work on various sorts of posets and lattices are studied. Their relation to the partial boolean algebras studied by Kochen is also described. In this connection, his definition of partial boolean algebras is refined. A study of quasi boolean algebras themselves is started. Various properties of these partial algebras are isolated and studied. The theory of relations between these partial algebras is then investigated. This theory is modelled after both standard developments in quantum mechanics proper, and some recent work by Kochen. In particular, a theory of "projections" and "interactions" in the context of these algebras is begun.

•Jan 1, 1981•0 citations
Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L). The domain BSub(L) has recently found use in an approach to the foundations of quantum mechanics initiated by Butterfield and Isham, at least in the case where L is the orthomodular lattice of projections of a Hilbert space, or von Neumann algebra. The results here may add some additional perspective to this line of work.
Abstract States of quantum systems correspond to vectors in a Hilbert space and observations to closed subspaces. Hence, this logic corresponds to the algebra of closed subspaces of a Hilbert space. This can be considered as a complete lattice with orthocomplementation, but it is not distributive. It satisfies a weaker condition, the so-called orthomodularity. Later on, it was recognized that joins in this structure need not exist provided the subspaces are not orthogonal. Hence, the resulting structure need not be a lattice but a so-called orthomodular poset, more generally an orthoposet only. For orthoposets, we introduce a binary relation Δ\mathrel \DeltaΔ and a binary operator d(x,y)d(x,y)d(x,y) that are generalizations of the binary relation C\textrm{C}C and the commutator c(x,y)c(x,y)c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular posets among orthogonal posets. Moreover, we describe connections between the relations Δ\mathrel \DeltaΔ and ↔\leftrightarrow↔ (the latter was introduced by P. Pták and S. Pulmannová) and the operator d(x,y)d(x,y)d(x,y). In addition, we investigate certain orthomodular posets of subsets of a finite set. In particular, we describe maximal orthomodular sublattices and Boolean subalgebras of such orthomodular posets. Finally, we study properties of Δ\DeltaΔ-blocks with respect to Boolean subalgebras and distributive subposets they include.
We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alternative description which is not as detailed, but substantially simplex. Semipasted families of Boolean algebras correspond to orthomodular structures in such a way that states and evaluation functionals are preserved. As semipasted families of Boolean algebras are quite general, they allow an easy construction of orthomodular structures with given state space properties. Based on this technique, we give a simplified proof of Shultz's Theorem on characterization of spaces of finitely additive states on orthomodular lattices. We also put some other results into the new context. We give a detailed exposition of the construction techniques as a tool for further applications, especially for finding counterexamples to questions about states on orthomodular structures.
Beginning with the work of Birkhoff and von Neumann, the lattice of closed subspaces of Hilbert space has been studied by mathematicians, physicists, and philosophers. Since the 1960's, work of Gudder and of Kochen has focussed on partial structures extracted from, or related to, the lattice mentioned above. This thesis follows in the same tradition. Starting from a new point of view, a particular sort of partial algebra is constructed. The relations of these structures, quasi boolean algebras, to Gudder's work on various sorts of posets and lattices are studied. Their relation to the partial boolean algebras studied by Kochen is also described. In this connection, his definition of partial boolean algebras is refined. A study of quasi boolean algebras themselves is started. Various properties of these partial algebras are isolated and studied. The theory of relations between these partial algebras is then investigated. This theory is modelled after both standard developments in quantum mechanics proper, and some recent work by Kochen. In particular, a theory of "projections" and "interactions" in the context of these algebras is begun.