Effect algebra

Last updated February 15, 2024

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: $A\leq B$ if and only if $B-A$ 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: $A':=I-A$ and $A+B$ if $A+B\leq I$ , where $I$ denotes the identity operator. Note that $A'$ is positive semidefinite and below $I$ since $A$ is, thus it is always defined. One can think of $A'$ as the negation of $A$ . While $A+B$ 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 $E$ , constants $0$ and $1$ in $E$ , a total unary operation $':E\rightarrow E$ , a binary relation $\bot \subseteq E\times E$ , and a binary operation ${\displaystyle \oplus$ , such that the following hold for all $a,b,c\in E$ :

commutativity: if $a\perp b$ , then $b\perp a$ and $a\oplus b=b\oplus a$ ,
associativity: if $a\perp b$ and $(a\oplus b)\perp c$ , then $b\perp c$ and $a\perp (b\oplus c)$ as well as $(a\oplus b)\oplus c=a\oplus (b\oplus c),$
orthosupplementation: $a\perp a'$ and $a\oplus a'=1$ , and if $a\perp b$ such that $a\oplus b=1$ , then $b=a'$ ,
zero-one law: if $a\perp 1$ , then $a=0$ .^[4]

The unary operation $'$ is called orthosupplementation and $a'$ the orthosupplement of $a$ . The domain of definition $\bot$ of $\oplus$ is called the orthogonality relation on $E$ , and $a,b\in E$ are called orthogonal if and only if $a\perp b$ . The operation $\oplus$ is referred to as the orthogonal sum or simply the sum.^[4]

Properties

The following can be shown for any elements $a,b$ and $c$ of an effect algebra, assuming $a\perp b,c$ :

$a''=a$ ,
$0'=1$ ,
$a\perp 0$ , and $a\oplus 0=a$ ,
$a\oplus b=0$ implies $a=b=0$ ,
$a\oplus b=a\oplus c$ implies $b=c$ .^[4]

Order properties

Every effect algebra $E$ is partially ordered as follows: $a\leq b$ if and only if there is a $c\in E$ such that $a\perp c$ and $a\oplus c=b$ . This partial order satisfies:

$a\leq b$ if and only if $b'\leq a'$ ,
$a\perp b$ if and only if $a\leq b'$ .^[4]

Examples

Orthoalgebras

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

if $a\perp a$ , then $a=0$ ,

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 $a,b$ is defined as $a'\oplus b'=1$ . 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 $[0,1]$ with operations $a'=1-a$ and $a\oplus b=\max(a+b,1)$ . Seen as an effect algebra, two elements of the unit interval are orthogonal if and only if $a+b\leq 1$ and then $a\oplus b=a+b$ .

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 ${\mathfrak {A}}$ , i.e. the elements $a\in {\mathfrak {A}}$ satisfying $0\leq a\leq 1$ . The addition operation on $a,b\in [0,1]_{\mathfrak {A}}$ is defined when $a+b\leq 1$ and then $a\oplus b=a+b$ . The orthosupplementation is given by $a'=1-a$ .^[11]

Types of effect algebras

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

Interval effect algebras that arise as an interval $[0,u]_{G}$ of some ordered Abelian group $G$ .^[4]
Convex effect algebras have an action of the real unit interval $[0,1]$ 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 $E$ to an effect algebra $F$ is given by a function $f:E\rightarrow F$ such that $f(1)=1$ and for all $a,b\in E$

a\perp b

implies

f(a)\perp f(b)

and

f(a\oplus b)=f(a)\oplus f(b)

.^[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 express concepts in quantum theory, the definition of a positive operator-valued measure may be cast in terms of effect algebra morphisms as follows. Let ${\mathcal {E}}(H)$ be the algebra of effects of a Hilbert space $H$ , and let $\Sigma$ be a σ-algebra. A positive operator-valued measure (POVM) is an effect algebra morphism $\Sigma \rightarrow {\mathcal {E}}(H)$ 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 $H$ .^[9]

Related Research Articles

In mathematics, specifically in functional analysis, a C^∗-algebra is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra A of continuous linear operators on a complex Hilbert space with two additional properties:

<span class="mw-page-title-main">Inner product space</span> Generalization of the dot product; used to define Hilbert spaces

In mathematics, an inner product space is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often denoted with angle brackets such as in $. Inner products allow formal definitions of intuitive geometric notions, such as lengths, angles, and orthogonality of vectors. Inner product spaces generalize Euclidean vector spaces, in which the inner product is the dot product or scalar product of Cartesian coordinates. Inner product spaces of infinite dimension are widely used in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces . The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.$

In mathematics, especially order theory, a partial order on a set is an arrangement such that, for certain pairs of elements, one precedes the other. The word partial is used to indicate that not every pair of elements needs to be comparable; that is, there may be pairs for which neither element precedes the other. Partial orders thus generalize total orders, in which every pair is comparable.

In abstract algebra, the direct sum is a construction which combines several modules into a new, larger module. The direct sum of modules is the smallest module which contains the given modules as submodules with no "unnecessary" constraints, making it an example of a coproduct. Contrast with the direct product, which is the dual notion.

In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.

The Fock space is an algebraic construction used in quantum mechanics to construct the quantum states space of a variable or unknown number of identical particles from a single particle Hilbert space $H$ . It is named after V. A. Fock who first introduced it in his 1932 paper "Konfigurationsraum und zweite Quantelung".

In mathematics, a monoidal category is a category $equipped with a bifunctor$

In mathematics as well as physics, a linear operator $acting on an inner product space is called positive-semidefinite if, for every, and, where is the domain of . Positive-semidefinite operators are denoted as . The operator is said to be positive-definite, and written, if for all .$

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum and a unique infimum. An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor.

In linear algebra and functional analysis, a projection is a linear transformation $from a vector space to itself such that . That is, whenever is applied twice to any vector, it gives the same result as if it were applied once. It leaves its image unchanged. This definition of "projection" formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on a geometrical object by examining the effect of the projection on points in the object.$

In the mathematical study of logic and the physical analysis of quantum foundations, quantum logic is a set of rules for manipulation of propositions inspired by the structure of quantum theory. The formal system takes as its starting point an observation of Garrett Birkhoff and John von Neumann, that the structure of experimental tests in classical mechanics forms a Boolean algebra, but the structure of experimental tests in quantum mechanics forms a much more complicated structure.

In quantum mechanics, a quantum operation is a mathematical formalism used to describe a broad class of transformations that a quantum mechanical system can undergo. This was first discussed as a general stochastic transformation for a density matrix by George Sudarshan. The quantum operation formalism describes not only unitary time evolution or symmetry transformations of isolated systems, but also the effects of measurement and transient interactions with an environment. In the context of quantum computation, a quantum operation is called a quantum channel.

In mathematics, specifically in operator theory, each linear operator $on an inner product space defines a Hermitian adjoint operator on that space according to the rule$

In linear algebra and functional analysis, the min-max theorem, or variational theorem, or Courant–Fischer–Weyl min-max principle, is a result that gives a variational characterization of eigenvalues of compact Hermitian operators on Hilbert spaces. It can be viewed as the starting point of many results of similar nature.

In mathematics, particularly in functional analysis, a projection-valued measure is a function defined on certain subsets of a fixed set and whose values are self-adjoint projections on a fixed Hilbert space. A projection-valued measure (PVM) is formally similar to a real-valued measure, except that its values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to integrate complex-valued functions with respect to a PVM; the result of such an integration is a linear operator on the given Hilbert space.

In the mathematical fields of linear algebra and functional analysis, the orthogonal complement of a subspace W of a vector space V equipped with a bilinear form B is the set W^⊥ of all vectors in V that are orthogonal to every vector in W. Informally, it is called the perp, short for perpendicular complement. It is a subspace of V.

In functional analysis and quantum information science, a positive operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on a Hilbert space. POVMs are a generalization of projection-valued measures (PVM) and, correspondingly, quantum measurements described by POVMs are a generalization of quantum measurement described by PVMs.

In category theory, a branch of mathematics, dagger compact categories first appeared in 1989 in the work of Sergio Doplicher and John E. Roberts on the reconstruction of compact topological groups from their category of finite-dimensional continuous unitary representations. They also appeared in the work of John Baez and James Dolan as an instance of semistrict k-tuply monoidal n-categories, which describe general topological quantum field theories, for n = 1 and k = 3. They are a fundamental structure in Samson Abramsky and Bob Coecke's categorical quantum mechanics.

In functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self-adjoint extensions. This problem arises, for example, when one needs to specify domains of self-adjointness for formal expressions of observables in quantum mechanics. Other applications of solutions to this problem can be seen in various moment problems.

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

References

↑ 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.
1 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.
↑ Kôpka, František; Chovanec, Ferdinand (1994). "D-posets". Mathematica Slovaca. 44 (1): 21–34.
1 2 3 4 5 6 7 8 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.
1 2 Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "Introduction". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
↑ Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.3". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
↑ Busch, Paul; Grabowski, Marian; Lahti, Pekka J. (1995). "Prologue". Operational Quantum Physics. Springer-Verlag, Berlin Heidelberg. ISBN 3-540-59358-6.
1 2 3 4 Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.5". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
1 2 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 .
↑ Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.8". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.
↑ Frank Roumen, "Cohomology of effect algebras" arXiv : 1602.00567
↑ 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.
↑ Sykes, Scott R. (2003). "Lattice ordered effect algebras". Algebra Universalis. 49 (2): 191–199. doi:10.1007/s00012-003-2500-2. S2CID 120890173.
↑ 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.
↑ 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.
↑ 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.
↑ 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 . hdl: 2066/93798 . ISSN 1572-9516.
1 2 Staton, Sam; Uijlen, Sander (2017). "Effect Algebras, Presheaves, Non-locality and Contextuality" (PDF).{{cite journal}}: Cite journal requires |journal= (help)

External links

Effect algebra at the nLab

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[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.

[Foulis_history-2] 1 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.

[Effect_alg-4] 1 2 3 4 5 6 7 8 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.

[DvPuIntro-5] 1 2 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.

[DvPu1.5-8] 1 2 3 4 Dvurecenskij, Anatolij; Pulmannová, Sylvia (2000). "1.5". New Trends in Quantum Structures. Kluwer Academic Publishers, Dordrecht. ISBN 0-7923-6471-6.

[Roumen-9] 1 2 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 . hdl: 2066/93798 . ISSN 1572-9516.

[StUi-18] 1 2 Staton, Sam; Uijlen, Sander (2017). "Effect Algebras, Presheaves, Non-locality and Contextuality" (PDF).{{cite journal}}: Cite journal requires |journal= (help)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]