arXiv subjects

Dominika Burešová

Publications and source records attributed to Dominika Burešová.

5 recordsLinked to original sources

arXiv2026

Simultaneous extensions of states on quantum logics

Suppose that L is a quantum logic (= an orthomodular poset) and A, B are Boolean subalgebras of L. Suppose further that s1(resp. s2) is a state on A (resp. on B). We ask when both s1 and s2 allow for a simultaneous extension over L. Under a natural necessity condition on A, B, s1, s2 we find a sufficient condition for the existence of the extension. This condition is the requirement of an abundance of two-valued states on L. We then show by the Greechie pasting technique that this condition is far from necessary even for state-space-rich logics.

math.LO↗

arXiv2025

A countable Boolean algebra that is Reichenbach's common cause complete

The common cause completeness (CCC) is a philosophical principle that asserts that if we consider two positively correlated events then it evokes a common cause. The principle is due to H. Reichenbach and has been largely studied in Boolean algebras and elsewhere.The results published so far bring about a question whether there is a small (countable) Boolean algebra with CCC. In this note we construct such an example.

math.LO↗

arXiv2024

Quantum Logics that are Symmetric-difference-closed

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.

math-ph↗

arXiv2024

On the Set-Representable Orthomodular Posets that are Point-Distinguishing

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.

math-ph↗

arXiv2022

On locally finite orthomodular lattices

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.

math.LO↗