Abstract
We consider three types of entities for quantum measurements. In order of generality, these types are observables, instruments and measurement models. If α and β are entities, we define what it means for α to be a part of β. This relationship is essentially equivalent to α being a function of β and in this case β can be employed to measure α. We then use the concept to define the coexistence of entities and study its properties. A crucial role is played by a map α^ which takes an entity of a certain type to one of a lower type. For example, if I is an instrument, then I^ is the unique observable measured by I. Composite systems are discussed next. These are constructed by taking the tensor product of the Hilbert spaces of the systems being combined. Composites of the three types of measurements and their parts are studied. Reductions in types to their local components are discussed. We also consider sequential products of measurements. Specific examples of Lüders, Kraus and trivial instruments are used to illustrate various concepts. We only consider finite-dimensional systems in this article. Finally, we mention the role of symmetry representations for groups using quantum channels.
Subject
Physics and Astronomy (miscellaneous),General Mathematics,Chemistry (miscellaneous),Computer Science (miscellaneous)
Reference15 articles.
1. Operational Quantum Physics;Busch,1995
2. The Mathematical Language of Quantum Theory;Heinosaari,2012
3. Quantum Computation and Quantum Information;Nielson,2000
4. Simulability of observables in general probabilistic theories
5. States, Effects and Operations;Kraus,1983
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献