Effect algebra

Effect algebras are partial algebras which abstract the (partial) algebraic properties of events that can be observed in quantum mechanics. Structures equivalent to effect algebras were introduced by three different research groups in theoretical physics or mathematics in the late 1980s and early 1990s. Since then, their mathematical properties and physical as well as computational significance have been studied by researchers in theoretical physics, mathematics and computer science.

History

In 1989, Giuntini and Greuling introduced structures for studying unsharp properties, meaning those quantum events whose probability of occurring is strictly between zero and one (and is thus not an either-or event).[1][2] In 1994, Chovanec and Kôpka introduced D-posets as posets with a partially defined difference operation.[3] In the same year, the paper by Bennet and Foulis Effect algebras and unsharp quantum logics was published.[4] While it was this last paper that first used the term effect algebra,[5] it was shown that all three structures are equivalent.[2] The proof of isomorphism of categories of D-posets and effect algebras is given for instance by Dvurecenskij and Pulmannova.[6]

Motivation

The operational approach to quantum mechanics takes the set of observable (experimental) outcomes as the constitutive notion of a physical system. That is, a physical system is seen as a collection of events which may occur and thus have a measurable effect on the reality. Such events are called effects.[7] This perspective already imposes some constrains on the mathematical structure describing the system: we need to be able to associate a probability to each effect.

In the Hilbert space formalism, effects correspond to positive semidefinite self-adjoint operators which lie below the identity operator in the following partial order: if and only if is positive semidefinite.[5] The condition of being positive semidefinite guarantees that expectation values are non-negative, and being below the identity operator yields probabilities. Now we can define two operations on the Hilbert space effects: and if , where denotes the identity operator. Note that is positive semidefinite and below since is, thus it is always defined. One can think of as the negation of . While is always positive semidefinite, it is not defined for all pairs: we have to restrict the domain of definition for those pairs of effects whose sum stays below the identity. Such pairs are called orthogonal; orthogonality reflects simultaneous measurability of observables.

Definition

An effect algebra is a partial algebra consisting of a set , constants and in , a total unary operation , a binary relation , and a binary operation , such that the following hold for all :

  • commutativity: if , then and ,
  • associativity: if and , then and as well as
  • orthosupplementation: and , and if such that , then ,
  • zero-one law: if , then .[4]

The unary operation is called orthosupplementation and the orthosupplement of . The domain of definition of is called the orthogonality relation on , and are called orthogonal if and only if . The operation is referred to as the orthogonal sum or simply the sum.[4]

Properties

The following can be shown for any elements and of an effect algebra, assuming :

  • ,
  • ,
  • , and ,
  • implies ,
  • implies .[4]

Order properties

Every effect algebra is partially ordered as follows: if and only if there is a such that and . This partial order satisfies:

  • if and only if ,
  • if and only if .[4]

Examples

Orthoalgebras

If the last axiom in the definition of an effect algebra is replaced by:

  • if , then ,

one obtains the definition of an orthoalgebra.[4] Since this axiom implies the last axiom for effect algebras (in the presence of the other axioms), every orthoalgebra is an effect algebra. Examples of orthoalgebras (and hence of effect algebras) include:

  • Boolean algebras with negation as orthosupplementation and the join restricted to disjoint elements as the sum,[8]
  • orthomodular posets,[8]
  • orthomodular lattices,[8]
  • σ-algebras with complementation as orthosupplementation and the union restricted to disjoint elements as the sum,[9]
  • Hilbert space projections with orthosupplementation and the sum defined as for the Hilbert space effects.[8]

MV-algebras

Any MV-algebra is an effect algebra (but not, in general, an orthoalgebra) with the unary operation as orthosupplementation and the binary operation restricted to orthogonal elements as the sum. In the context of MV-algebras, orthogonality of a pair of elements is defined as . This coincides with orthogonality when an MV-algebra is viewed as an effect algebra.[10]

An important example of an MV-algebra is the unit interval with operations and . Seen as an effect algebra, two elements of the unit interval are orthogonal if and only if and then .

The set of effects of a unital C*-algebra

Slightly generalising the motivating example of Hilbert space effects, take the set of effects on a unital C*-algebra , i.e. the elements satisfying . The addition operation on is defined when and then . The orthosupplementation is given by .[11]

Types of effect algebras

There are various types of effect algebras that have been studied.

  • Interval effect algebras that arise as an interval of some ordered Abelian group .[4]
  • Convex effect algebras have an action of the real unit interval on the algebra. A representation theorem of Gudder shows that these all arise as an interval effect algebra of a real ordered vector space.[12]
  • Lattice effect algebras where the order structure forms a lattice.[13]
  • Effect algebras satisfying the Riesz decomposition property:[14] an MV-algebra is precisely a lattice effect algebra with the Riesz decomposition property.[15]
  • Sequential effect algebras have an additional sequential product operation that models the Lüders product on a C*-algebra.[16]
  • Effect monoids are the monoids in the category of effect algebras. They are effect algebras that have an additional associative unital distributive multiplication operation.[17]

Morphisms

A morphism from an effect algebra to an effect algebra is given by a function such that and for all

implies and .[4]

It then follows that morphisms preserve the orthosupplements.

Equipped with such morphisms, effect algebras form a category which has the following properties:

  • the category of Boolean algebras is a full subcategory of the category of effect algebras,[18]
  • every effect algebra is a colimit of finite Boolean algebras.[18]

Positive operator-valued measures

As an example of how effect algebras are used to expess concepts in quantum theory, the definition of a positive operator-valued measure may be cast in terms of effect algebra morphisms as follows. Let be the algebra of effects of a Hilbert space , and let be a σ-algebra. A positive operator-valued measure (POVM) is an effect algebra morphism which preserves joins of countable chains. A POVM is a projection-valued measure precisely when its image is contained in the orthoalgebra of projections on the Hilbert space .[9]

References

  1. Giuntini, Roberto; Greuling, Heinz (1989-04-20). "Toward a Formal Language for Unsharp Properties". Foundations of Physics. 19 (7): 931–945. Bibcode:1989FoPh...19..931G. doi:10.1007/BF01889307. S2CID 121309118.
  2. Foulis, David J. "A Half-Century of Quantum Logic. What Have We Learned?" in Aerts, Diederik (ed.); Pykacz, Jarosław (ed.) Quantum Structures and the Nature of Reality. Springer, Dordrecht 1999. ISBN 978-94-017-2834-8. https://doi.org/10.1007/978-94-017-2834-8.
  3. Kôpka, František; Chovanec, Ferdinand (1994). "D-posets". Mathematica Slovaca. 44 (1): 21–34.
  4. Foulis, D. J.; Bennett, M. K. (1994). "Effect algebras and unsharp quantum logics". Foundations of Physics. 24 (10): 1331–1352. Bibcode:1994FoPh...24.1331F. doi:10.1007/BF02283036. S2CID 123349992.
  5. Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "Introduction". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
  6. Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.3". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
  7. Busch, Paul; Grabowski, Marian; Lahti, Pekka J. (1995). "Prologue". Operational Quantum Physics. Springer-Verlag, Berlin Heidelberg. ISBN 3-540-59358-6.
  8. Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.5". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
  9. Roumen, Frank (2014). "Categorical characterizations of operator-valued measures". 10th International Workshop on Quantum Physics and Logic (QPL 2013). 171: 132–144. doi:10.4204/EPTCS.171.12.
  10. Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.8". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
  11. Frank Roumen, "Cohomology of effect algebras" arXiv:1602.00567
  12. Gudder, Stanley (1999-12-01). "Convex Structures and Effect Algebras". International Journal of Theoretical Physics. 38 (12): 3179–3187. doi:10.1023/A:1026678114856. ISSN 1572-9575. S2CID 115468918.
  13. Sykes, Scott R. (2003). "Lattice ordered effect algebras". Algebra Universalis. 49 (2): 191–199. doi:10.1007/s00012-003-2500-2. S2CID 120890173.
  14. Pulmannova, Sylvia (1999-09-01). "Effect Algebras with the Riesz Decomposition Property and AF C*-Algebras". Foundations of Physics. 29 (9): 1389–1401. Bibcode:1999FoPh...29.1389P. doi:10.1023/A:1018809209768. ISSN 1572-9516. S2CID 117445132.
  15. Foulis, D. J. (2000-10-01). "MV and Heyting Effect Algebras". Foundations of Physics. 30 (10): 1687–1706. Bibcode:2000FoPh...30.1687F. doi:10.1023/A:1026454318245. ISSN 1572-9516. S2CID 116763476.
  16. Gudder, Stan; Greechie, Richard (2002-02-01). "Sequential products on effect algebras". Reports on Mathematical Physics. 49 (1): 87–111. Bibcode:2002RpMP...49...87G. doi:10.1016/S0034-4877(02)80007-6. ISSN 0034-4877.
  17. Jacobs, Bart; Mandemaker, Jorik (2012-07-01). "Coreflections in Algebraic Quantum Logic". Foundations of Physics. 42 (7): 932–958. Bibcode:2012FoPh...42..932J. doi:10.1007/s10701-012-9654-8. ISSN 1572-9516.
  18. Staton, Sam; Uijlen, Sander (2017). "Effect Algebras, Presheaves, Non-locality and Contextuality" (PDF). {{cite journal}}: Cite journal requires |journal= (help)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.