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

BOOLEAN ORTHOPOSETS AND TWO-VALUED JAUCH-PIRON STATES

Josef Tkadlec

Published Jan 1, 1993• 0 citations
OpenAlex

Abstract

A Boolean orthoposet is the orthoposet P fulfilling the following condition: if a ^ b = 0 then a ? b. Boolean orthoposets enjoy some properties of Boolean algebras but, in some sense, they are far away of them (3, 4, 8). An important notion in quantum logic theory is the notion of Jauch-Piron state (2, 5, 6, 7). In this paper, we show connections between Boolean orthoposets and orthoposets with a proper number of Jauch-Piron states: We demonstrate that an orthoposet with enough two-valued Jauch-Piron states is Boolean and, on the other hand, we give several examples of Boolean orthoposets without any two- valued Jauch-Piron state.

Related papers

Jauch–Piron states on quantum logics

Michal Hroch, Pavel Pták

We show in this note that if [Formula: see text] is a Boolean subalgebra of the lattice quantum logic [Formula: see text], then each state on [Formula: see text] can be extended over [Formula: see text] as a Jauch–Piron state provided [Formula: see text] is Jauch–Piron unital with respect to [Formula: see text] (i.e. for each nonzero [Formula: see text], there is a Jauch–Piron state [Formula: see text] on [Formula: see text] such that [Formula: see text]). We then discuss this result for the case of [Formula: see text] being the Hilbert space logic [Formula: see text] and [Formula: see text] being a set-representable logic.

Journal of Algebra and Its Applications•Dec 26, 2018•0 citations

On orthoposets of numerical events in quantum logic

Dietmar Dorninger, Helmut Länger

Let S be a set of states of a physical system and p(s) the probability of the occurrence of an event when the system is in state s in S. Such a function p from S to [0,1] is known as a numerical event or more accurately an S-probability. A set P of numerical events including the constant functions 0 and 1 and 1-p with every p in P becomes a poset when ordered by the order of real functions and can serve as a general setting for quantum logics. We call such a poset P a general set of events (GSE). The thoroughly investigated algebras of S-probabilities (including Hilbert logics), concrete logics and Boolean algebras can all be represented within this setting. In this paper we study various classes of GSEs, in particular those that are orthoposets and their interrelations and connections to known logics. Moreover, we characterize GSEs as posets by means of states and discuss the situation for GSEs to be lattices.

quant-pharXiv:2601.00772•Reports on Mathematical Physics•Jan 5, 2026•0 citations

Equational characterization for two-valued states in orthomodular quantum systems

Graciela Domenech, Christian DE RONDE, FREYTES, HECTOR CARLOS

In this paper we develop an algebraic framework in which several classes of two-valued \nstates over orthomodular lattices may be equationally characterized. The class of two-valued \nstates and the subclass of Jauch–Piron two-valued states are among the classes which we study

•Jan 1, 2011•7 citations

Jauch–Piron states in W*-algebraic quantum mechanics

Anton Amann

A state φ on a W*-algebra ℳ is said to fulfill the Jauch–Piron condition if φ(p)=φ(q)=1 for projections p,q∈ℳ implies φ(p∧q)=1. Here p∧q denotes the infimum of p and q in the projection lattice of ℳ. The Jauch–Piron condition is a compatibility condition between the algebraic and the lattice-theoretic approach for the description of physical systems. Normal (i.e., σ-weakly continuous) states always fulfill the Jauch–Piron condition. It is argued that states not fulfilling this condition should be regarded as unphysical. It is shown that a state φ on a σ-finite factor ℳ is singular if and only if projections e, f∈ ℳ exist such that φ(e)=φ( f )=1 and e∧f=0. In particular, any pure state φ on ℳ fulfilling the Jauch–Piron condition is normal, which implies that the underlying factor ℳ is of type I. Furthermore, the following result is proved: Let φ be a pure Jauch–Piron state on W*-algebra ℳ with separable predual and without any commutative summand. Then φ is normal and a central projection z0∈ ℳ exists such that φ(z0)=1 and z0 ℳz0 is a factor of type I. Thus, cum grano salis, pure Jauch–Piron states exist only on commutative W*-algebras and type I factors. The former case corresponds to classical theories, the latter to Hilbert-space quantum mechanics. The implications of these results on the interpretation of quantum mechanics are discussed.

Journal of Mathematical Physics•Oct 1, 1987•20 citations

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

Characterization of Boolean Algebras in Terms of Certain States of Jauch-Piron Type

Milan Matoušek, Pavel Pták

International Journal of Theoretical Physics•Apr 27, 2015•2 citations
A Boolean orthoposet is the orthoposet P fulfilling the following condition: if a ^ b = 0 then a ? b. Boolean orthoposets enjoy some properties of Boolean algebras but, in some sense, they are far away of them (3, 4, 8). An important notion in quantum logic theory is the notion of Jauch-Piron state (2, 5, 6, 7). In this paper, we show connections between Boolean orthoposets and orthoposets with a proper number of Jauch-Piron states: We demonstrate that an orthoposet with enough two-valued Jauch-Piron states is Boolean and, on the other hand, we give several examples of Boolean orthoposets without any two- valued Jauch-Piron state.
We show in this note that if [Formula: see text] is a Boolean subalgebra of the lattice quantum logic [Formula: see text], then each state on [Formula: see text] can be extended over [Formula: see text] as a Jauch–Piron state provided [Formula: see text] is Jauch–Piron unital with respect to [Formula: see text] (i.e. for each nonzero [Formula: see text], there is a Jauch–Piron state [Formula: see text] on [Formula: see text] such that [Formula: see text]). We then discuss this result for the case of [Formula: see text] being the Hilbert space logic [Formula: see text] and [Formula: see text] being a set-representable logic.
Let S be a set of states of a physical system and p(s) the probability of the occurrence of an event when the system is in state s in S. Such a function p from S to [0,1] is known as a numerical event or more accurately an S-probability. A set P of numerical events including the constant functions 0 and 1 and 1-p with every p in P becomes a poset when ordered by the order of real functions and can serve as a general setting for quantum logics. We call such a poset P a general set of events (GSE). The thoroughly investigated algebras of S-probabilities (including Hilbert logics), concrete logics and Boolean algebras can all be represented within this setting. In this paper we study various classes of GSEs, in particular those that are orthoposets and their interrelations and connections to known logics. Moreover, we characterize GSEs as posets by means of states and discuss the situation for GSEs to be lattices.
A state φ on a W*-algebra ℳ is said to fulfill the Jauch–Piron condition if φ(p)=φ(q)=1 for projections p,q∈ℳ implies φ(p∧q)=1. Here p∧q denotes the infimum of p and q in the projection lattice of ℳ. The Jauch–Piron condition is a compatibility condition between the algebraic and the lattice-theoretic approach for the description of physical systems. Normal (i.e., σ-weakly continuous) states always fulfill the Jauch–Piron condition. It is argued that states not fulfilling this condition should be regarded as unphysical. It is shown that a state φ on a σ-finite factor ℳ is singular if and only if projections e, f∈ ℳ exist such that φ(e)=φ( f )=1 and e∧f=0. In particular, any pure state φ on ℳ fulfilling the Jauch–Piron condition is normal, which implies that the underlying factor ℳ is of type I. Furthermore, the following result is proved: Let φ be a pure Jauch–Piron state on W*-algebra ℳ with separable predual and without any commutative summand. Then φ is normal and a central projection z0∈ ℳ exists such that φ(z0)=1 and z0 ℳz0 is a factor of type I. Thus, cum grano salis, pure Jauch–Piron states exist only on commutative W*-algebras and type I factors. The former case corresponds to classical theories, the latter to Hilbert-space quantum mechanics. The implications of these results on the interpretation of quantum mechanics are discussed.
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.