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

arXiv:0910.2823 · Proceedings of the American Mathematical Society

Coexistence in interval effect algebras

Gejza Jenča

Published Jul 29, 2010• 5 citations
arXivHTMLPDF

Abstract

Motivated by the notion of coexistence of effect-valued observables, we give a characterization of coexistent subsets of interval effect algebras.
DOI
10.1090/s0002-9939-2010-10554-3

Related papers

COMPATIBILITY SUPPORT MAPPINGS IN EFFECT ALGEBRAS

Gejza Jen

We give a characterization of subsets of effect algebras, that can be embedded into a range of an observable. To give this characterization, we introduce a new notion of compatibility support mappings. c 2012

•Jan 1, 2012•0 citations

Compatibility support mappings in effect algebras

Gejza Jenča

Abstract We give a characterization of subsets of effect algebras, that can be embedded into a range of an observable. To give this characterization, we introduce a new notion of compatibility support mappings.

arXiv:0910.2825•Mathematica Slovaca•May 5, 2012•1 citation

Coexistent observables and effects in a convexity approach

PEKKA J. LAHTI, Sylvia Pulmannová, Kari Ylinen

We characterize functionally coexistent observables in terms of biobservables and joint observables. Coexistent sets of effects are characterized in terms of projective systems of simple observables.

Journal of Mathematical Physics•Dec 1, 1998•12 citations

On Orders of Observables on Effect Algebras

Anatolij Dvurečenskij

arXiv:1610.03726•International Journal of Theoretical Physics•Jul 13, 2017•8 citations

Effect algebras, witness pairs and observables

Gejza Jenča

The category of effect algebras is the Eilenberg-Moore category for the monad arising from the free-forgetful adjunction between categories of bounded posets and orthomodular posets. In the category of effect algebras, an observable is a morphism whose domain is a Boolean algebra. The characterization of subsets of ranges of observables is an open problem. For an interval effect algebra E, a witness pair for a subset of S is an object living within E that "witnesses existence" of an observable whose range includes S. We prove that there is an adjunction between the poset of all witness pairs of E and the category of all partially inverted E-valued observables.

EPiC series in computing•Jan 23, 2018•0 citations

Compatibility of observables on effect algebras

Sylvia Pulmannová, Elena Vinceková

Soft Computing•Dec 20, 2015•1 citation
The category of effect algebras is the Eilenberg-Moore category for the monad arising from the free-forgetful adjunction between categories of bounded posets and orthomodular posets. In the category of effect algebras, an observable is a morphism whose domain is a Boolean algebra. The characterization of subsets of ranges of observables is an open problem. For an interval effect algebra E, a witness pair for a subset of S is an object living within E that "witnesses existence" of an observable whose range includes S. We prove that there is an adjunction between the poset of all witness pairs of E and the category of all partially inverted E-valued observables.