-
On the Set-Representable Orthomodular Posets that are Point-Distinguishing
Authors:
Dominika Burešová,
Pavel Pták
Abstract:
Let us denote by $\mathcal{SOMP}$ the class of all set-representable orthomodular posets and by $\mathcal{PD SOMP}$ those elements of $\mathcal{SOMP}$ in which any pair of points in the underlying set $P$ can be distinguished by a set (i.e., $(P, \mathcal{L}) \in \mathcal{PD SOMP}$ precisely when for any pair $x, y \in P$ there is a set $A \in \mathcal{L}$ with $x \in A$ and $y \notin A$).
In th…
▽ More
Let us denote by $\mathcal{SOMP}$ the class of all set-representable orthomodular posets and by $\mathcal{PD SOMP}$ those elements of $\mathcal{SOMP}$ in which any pair of points in the underlying set $P$ can be distinguished by a set (i.e., $(P, \mathcal{L}) \in \mathcal{PD SOMP}$ precisely when for any pair $x, y \in P$ there is a set $A \in \mathcal{L}$ with $x \in A$ and $y \notin A$).
In this note we first construct, for each $(P, \mathcal{L}) \in \mathcal{SOMP}$, a point-distinguishing orthomodular poset that is isomorphic to $(P, \mathcal{L})$. We show that by using a generalized form of the Stone representation technique we also obtain point-distinguishing representations of $(P, \mathcal{L})$. We then prove that this technique gives us point-distinguishing representations on which all two-valued states are determined by points (all two-valued states are Dirac states).
Since orthomodular posets may be regarded as abstract counterparts of event structures about quantum experiments, results of this work may have some relevance for the foundation of quantum mechanics.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Quantum Logics that are Symmetric-difference-closed
Authors:
Dominika Burešová,
Pavel Pták
Abstract:
In this note we contribute to the recently developing study of "almost Boolean" quantum logics (i.e. to the study of orthomodular partially ordered sets that are naturally endowed with a symmetric difference). We call them enriched quantum logics (EQLs). We first consider set-representable EQLs. We disprove a natural conjecture on compatibility in EQLs. Then we discuss the possibility of extending…
▽ More
In this note we contribute to the recently developing study of "almost Boolean" quantum logics (i.e. to the study of orthomodular partially ordered sets that are naturally endowed with a symmetric difference). We call them enriched quantum logics (EQLs). We first consider set-representable EQLs. We disprove a natural conjecture on compatibility in EQLs. Then we discuss the possibility of extending states and prove an extension result for $\Ztwo$-states on EQLs. In the second part we pass to general orthoposets with a symmetric difference (GEQLs). We show that a simplex can be a state space of a GEQL that has an arbitrarily high degree of noncompatibility. Finally, we find an appropriate definition of a "parametrization" as a mapping between GEQLs that preserves the set-representation.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
On locally finite orthomodular lattices
Authors:
Dominika Burešová,
Pavel Pták
Abstract:
Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first show in this note how one can obtain new locally finite OMLs from the initial ones and enlarge thus the class LF . We find LF considerably large though, obviously, not all OMLs belong to LF . We then study states on the…
▽ More
Let us denote by LF the class of all orthomodular lattices (OMLs) that are locally finite (i.e., L in LF provided each finite subset of L generates in L a finite subOML). We first show in this note how one can obtain new locally finite OMLs from the initial ones and enlarge thus the class LF . We find LF considerably large though, obviously, not all OMLs belong to LF . We then study states on the OMLs of LF . We show that local finiteness may to a certain extent make up for distributivity. We for instance show that if L in LF and if for any finite subOML K there is a state s : K to [0, 1] on K, then there is a state on the entire L. We also consider further algebraic and state properties of LF relevant to quantum logic theory.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Quantum logics close to Boolean algebras
Authors:
Mirko Navara,
Pavel Pták
Abstract:
We consider orthomodular posets endowed with a symmetric difference. We call them ODPs. Expressed in the quantum logic language, we consider quantum logics with an XOR-type connective. We study three classes of "almost Boolean" ODPs, two of them defined by requiring rather specific behaviour of infima and the third by a Boolean-like behaviour of Frink ideals. We establish a (rather surprising) inc…
▽ More
We consider orthomodular posets endowed with a symmetric difference. We call them ODPs. Expressed in the quantum logic language, we consider quantum logics with an XOR-type connective. We study three classes of "almost Boolean" ODPs, two of them defined by requiring rather specific behaviour of infima and the third by a Boolean-like behaviour of Frink ideals. We establish a (rather surprising) inclusion between the three classes, shadding thus light on their intrinsic properties. (More details can be found in the Introduction that follows.) Let us only note that the orthomodular posets pursued here, though close to Boolean algebras (i.e., close to standard quantum logics), still have a potential for an arbitrarily high degree of non-compatibility and hence they may enrich the studies of mathematical foundations of quantum mechanics.
△ Less
Submitted 14 January, 2021;
originally announced January 2021.
-
Extending states on finite concrete logics
Authors:
Anna De Simone,
Mirko Navara,
Pavel Pták
Abstract:
In this note we collect several observations on state extensions. They may be instrumental to anyone who pursues the theory of quantum logics. In particular, we find out when extensions (resp. signed extensions) exist in the "concrete" concrete logic of all even-element subsets of an even-element set. We also mildly add to the study of difference-closed logics by finding an extension theorem for…
▽ More
In this note we collect several observations on state extensions. They may be instrumental to anyone who pursues the theory of quantum logics. In particular, we find out when extensions (resp. signed extensions) exist in the "concrete" concrete logic of all even-element subsets of an even-element set. We also mildly add to the study of difference-closed logics by finding an extension theorem for subadditive states.
△ Less
Submitted 22 January, 2004; v1 submitted 10 November, 2003;
originally announced November 2003.
