A Galois connection approach to superposition and inaccessibility

DOI10.1007/BF00673001MaRDI QIDQ1325675zbMATH OpenFDO

Authors Jeremy Butterfield, Joseph Melia

Publication date 20 April 1995

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00673001

zbMATH Keywords

accessibilityclosure mapcomplete latticesGalois connectioninaccessibilitypower set of statessuperposition

Mathematics Subject Classification ID

Quantum logic (03G12) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Review text

The authors consider ``superposition and ``accessibility in terms of the lattices generated by these relations over the power set of states. Thus superposition is the relation between states of finding wffs certain in that state, and this relation induces a Galois connection which in turn induces a closure map on the power set of states. Similarly inaccessibility is understood as the relation between states of making opposite predictions about a wff, and this too induces a Galois connection and hence induces a closure map on the power set of states. The purpose of this paper is to use the theory of Galois connections to provide a sufficient condition for the complete lattices induced by these two closure maps to coincide. A short introduction to Galois connections is included in the paper, proofs are indicated, though not detailed, and there is a useful section relating this work to that of others. According to the authors, this paper is in the tradition of Varadarajan, among others, but is novel in that it uses Galois connections to establish this result. Perhaps more importantly, the authors do not assume that the lattice \(L\) of ``events (the ``yes-no propositions) is orthomodular, nor that states are probability-measures on \(L\), or that the set of states be \(\sigma\)- convex.

Recommendations

• Ground joinability and connectedness in the superposition calculus
• scientific article; zbMATH DE number 1512777
• The quantale of Galois connections
• Supremum properties of Galois-type connections.
• A relational extension of Galois connections
• A Galois connection
• On constructivity of Galois connections
• scientific article; zbMATH DE number 2149937
• Non-constructive Galois-Tukey connections

Cites work

• A Refutation of the Proof by Jauch and Piron that Hidden Variables Can be Excluded in Quantum Mechanics
• A Superposition Principle in Physics
• Axioms for non-relativistic quantum mechanics
• Baer \(^ *\)-semigroups and the logic of quantum mechanics
• Baer ∗ -Semigroups
• Galois Connexions
• scientific article; zbMATH DE number 3668602 (Why is no real title available?)
• scientific article; zbMATH DE number 3771591 (Why is no real title available?)
• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 3568735 (Why is no real title available?)
• scientific article; zbMATH DE number 3351632 (Why is no real title available?)
• On the Problem of Hidden Variables in Quantum Mechanics
• Orthomodular structures as quantum logics. Transl. from the Slovak

Cited in

(2)

• A topos perspective on state-vector reduction
• A topos perspective on state-vector reduction

This page was built for publication: A Galois connection approach to superposition and inaccessibility

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