# zbMATH — the first resource for mathematics

A structure for quantum measurements. (English) Zbl 1098.81014
We are told at the outset that effects are 2-valued measures, “yes/no” experiments or ideally precise measurement outcomes, represented in Hilbert space by projection operators. An effect algebra is generated by a partial binary “orthosum” relation over effects, where $$a\oplus b$$ represents “a parallel measurement of $$a$$ and $$b$$” (p. 249). A sequential effect algebra has in addition a binary “sequential sum” relation such that $$a\circ b$$ represents “a sequential measurement first of $$a$$ then of $$b$$”. The author seeks to extend these definitions to “unsharp” measurements “with a finite or even infinite number of real values” (p. 250), represented in Hilbert space by the positive operators bounded above by 1.
In section 2 generalized definitions introduce effect algebras as structures $$({\mathcal E},0,1,\oplus)$$ where $$0$$, $$1$$ are zero and unit elements, and $$\oplus$$ is an orthosum. Each effect $$a$$ in $${\mathcal E}$$ has a unique complement $$a'$$. Effects are now “quantum events that may be imprecise or fuzzy” (p. 251). A partial ordering is defined by $$a\leq b$$ if there is a $$c$$ in $${\mathcal E}$$ such that $$a\oplus c= b$$, and “sharp” effects are now those where $$a\vee a'= 0$$. The $$\sigma$$-effect algebras are effect algebras “where $$a_1\leq a_2\leq\cdots$$ implies that the $$\bigvee a_i$$ exists.” (Ibid) Sequential effect algebras (SEA) have an binary operator o defined by conditions that for example allow interval $$[0,1]$$, a subset of reals, to be a $$\sigma$$-SEA with $$a\circ b= ab$$ (p. 253).
Measurements are introduced in section 3 as “normalized, effect valued measures on the $$\sigma$$-effect algebra $${\mathcal B}(\mathbb{R})$$” of Borel subsets of the reals (p. 253). So a measurement $$X$$ is a morphism $$X: {\mathcal B}(\mathbb{R})\to{\mathcal E}$$. The author presents a series of results about the structure $${\mathcal M}({\mathcal E})$$, the set of measurements on $${\mathcal E}$$. Theorem 3.2 shows $${\mathcal M}({\mathcal E})$$ is a “generalized effect algebra” (p. 256) and Theorem 3.4 that it is a “generalized $$\sigma$$-effect algebra” (p. 258). The notions of “globally sharp” and “locally sharp” measurements are introduced, and it is shown that an initial interval of measurements is isomorphic to $${\mathcal E}$$ (p. 259). Divisor effect algebras are also discussed. In section 4 “finite measurements” are defined and shown to correspond to orthosums of $$(1,0)$$-valued mappings. Lastly in section 5, sequential effect algebras are considered with discussion of conditional measurements and conditional expectations. Various definitions for sequential products are discussed and compared.
The writing in this paper is clear. There is no wider discussion of the generalizations, but the definitions express the required properties of quantum measurements in Hilbert space and in this sense the author provides what he sought, “a mathematical structure for measurements” (p. 250).

##### MSC:
 81P15 Quantum measurement theory, state operations, state preparations 81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) 81P05 General and philosophical questions in quantum theory
##### Keywords:
quantum measurements; effect algebras; sequential products
Full Text:
##### References:
 [1] Arias, A.; Gheondea, A.; Gudder, S., Fixed points of quantum operations, J. math. phys., 43, 5872-5881, (2002) · Zbl 1060.81009 [2] Busch, P.; Grabowski, M.; Lahti, P.J., Operational quantum physics, (1995), Springer Berlin · Zbl 0863.60106 [3] Davies, E.B., Quantum theory of open systems, (1976), Academic Press Berlin · Zbl 0388.46044 [4] Dvurečenskij, A.; Pulmannová, S., New trends in quantum structures, (2000), Kluwer New York · Zbl 0987.81005 [5] Foulis, D.J.; Bennett, M.K., Effect algebras and unsharp quantum logics, Found. phys., 24, 1325-1346, (1994) · Zbl 1213.06004 [6] Gheondea, A.; Gudder, S., Sequential quantum product, (), 503-512 · Zbl 1059.47041 [7] Giuntini, R.; Greuling, H., Toward a formal language for unsharp properties, Found. phys., 19, 931-945, (1989) [8] Gudder, S.; Greechie, R., Sequential products on effect algebras, Rep. math. phys., 49, 87-111, (2002) · Zbl 1023.81001 [9] S. Gudder and R. Greechie: Uniqueness and order in sequential effect algebras, Intern. J. Theor. Phys. (to appear). · Zbl 1104.81018 [10] Gudder, S.; Nagy, G., Sequential quantum measurements, J. math. phys., 42, 5212-5222, (2001) · Zbl 1018.81005 [11] Holevo, A.S., Probabilistic and statistical aspects of quantum theory, (1982), North-Holland Dordrecht · Zbl 0497.46053 [12] Kraus, K., States, effects and operations, (1983), Springer Amsterdam [13] Ludwig, G., ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.