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

Journal of Mathematical Physics

Jauch–Piron states

Gottfried T. Rüttimann

Published Feb 1, 1977• 55 citations
Publisher

Abstract

We argue that a finite proposition system in the sense of Jauch and Piron that admits a unital set of states is necessarily purely classical. Based on this result, we investigate the extensibility of σ-additive states on projection lattices to all projections of a separable Hilbert space.
DOI
10.1063/1.523255

Related papers

JAUCH–PIRON STATES AND σ-ADDITIVITY

L. J. Bunce, Jan Hamhalter

We study σ-additivity of the physically plausible Jauch–Piron states on a von Neumann algebra M. Amongst other consequences we extend our earlier results [5] by showing that geometric conditions much weaker than pureness imply σ-additivity for a Jauch–Piron state and, further, that if M is properly infinite and the continuum hypothesis is assumed to be true then all Jauch–Piron factor states are σ-additive.

Reviews in Mathematical Physics•Jun 1, 2000•5 citations

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

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

On the Foundation of Quantal Proposition Systems

Wilhelm Ochs

Abstract We investigate the arguments recently given by Jauch and Piron that quantal proposition systems form a complete atomic lattice. Our analysis shows that the reasoning of these authors can not establish the intended result.

Zeitschrift für Naturforschung A•Jun 1, 1972•2 citations

Jauch-Piron orthomodular posets and propositional systems: A comparison

C. Piron

International Journal of Theoretical Physics•Oct 1, 1993•1 citation

Quantum Logic

Peter Mittelstaedt

It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥. Furthermore, since the subspaces can be interpreted as quantum mechanical propositions, and since the operations ∩,∪ ,⊥ have some similarity with the logical operations ⋀ (and), ⋁ (or) and ⌝ (not), the question has been raised already by Birkhoff and v. Neumann, whether the lattice of subspaces of Hilbert space can be interpreted as a propositional calculus, sometimes called quantum logic. There are many kinds of lattices which can be interpreted as a propositional or logical calculus. A Boolean lattice LB of propositions corresponds to the calculus of classical logic and an implicative (Birkhoff, 1961) lattice Li has as a model the calculus of effective (intuitionistic) logic.

PSA Proceedings of the Biennial Meeting of the Philosophy of Science Association•Jan 1, 1974•0 citations
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.
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.
It has been shown by Birkhoff and v. Neumann (1936) and by Jauch and Piron (1963,1964,1968) that the subspaces of Hilbert space constitute an orthocomplemented quasi-modular lattice Lq, if one considers between two subspaces (elements) a, b the relation a⊆b and the operations a∩b, a∪b, a⊥. Furthermore, since the subspaces can be interpreted as quantum mechanical propositions, and since the operations ∩,∪ ,⊥ have some similarity with the logical operations ⋀ (and), ⋁ (or) and ⌝ (not), the question has been raised already by Birkhoff and v. Neumann, whether the lattice of subspaces of Hilbert space can be interpreted as a propositional calculus, sometimes called quantum logic. There are many kinds of lattices which can be interpreted as a propositional or logical calculus. A Boolean lattice LB of propositions corresponds to the calculus of classical logic and an implicative (Birkhoff, 1961) lattice Li has as a model the calculus of effective (intuitionistic) logic.