145 research outputs found
States on pseudo effect algebras and integrals
We show that every state on an interval pseudo effect algebra satisfying
some kind of the Riesz Decomposition Properties (RDP) is an integral through a
regular Borel probability measure defined on the Borel -algebra of a
Choquet simplex . In particular, if satisfies the strongest type of
(RDP), the representing Borel probability measure can be uniquely chosen to
have its support in the set of the extreme points of $K.
The Lattice and Simplex Structure of States on Pseudo Effect Algebras
We study states, measures, and signed measures on pseudo effect algebras with
some kind of the Riesz Decomposition Property, (RDP). We show that the set of
all Jordan signed measures is always an Abelian Dedekind complete -group.
Therefore, the state space of the pseudo effect algebra with (RDP) is either
empty or a nonempty Choquet simplex or even a Bauer simplex. This will allow
represent states on pseudo effect algebras by standard integrals
Smearing of Observables and Spectral Measures on Quantum Structures
An observable on a quantum structure is any -homomorphism of quantum
structures from the Borel -algebra of the real line into the quantum
structure which is in our case a monotone -complete effect algebras
with the Riesz Decomposition Property. We show that every observable is a
smearing of a sharp observable which takes values from a Boolean
-subalgebra of the effect algebra, and we prove that for every element
of the effect algebra there is its spectral measure
Loomis--Sikorski Theorem and Stone Duality for Effect Algebras with Internal State
Recently Flaminio and Montagna, \cite{FlMo}, extended the language of
MV-algebras by adding a unary operation, called a state-operator. This notion
is introduced here also for effect algebras. Having it, we generalize the
Loomis--Sikorski Theorem for monotone -complete effect algebras with
internal state. In addition, we show that the category of divisible
state-morphism effect algebras satisfying (RDP) and countable interpolation
with an order determining system of states is dual to the category of Bauer
simplices such that is an F-space
Logical equivalence between generalized urn models and finite automata
To every generalized urn model there exists a finite (Mealy) automaton with
identical propositional calculus. The converse is true as well.Comment: 9 pages, minor change
Sharp and fuzzy observables on effect algebras
Observables on effect algebras and their fuzzy versions obtained by means of
confidence measures (Markov kernels) are studied. It is shown that, on effect
algebras with the (E)-property, given an observable and a confidence measure,
there exists a fuzzy version of the observable. Ordering of observables
according to their fuzzy properties is introduced, and some minimality
conditions with respect to this ordering are found. Applications of some
results of classical theory of experiments are considered.Comment: 23 page
- ā¦