Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1501.00239 · Journal of Mathematical Physics

Measurement theory in local quantum physics

Kazuya Okamura, Masanao Ozawa

Published Nov 19, 2015• 34 citations
arXivHTMLPDF

Abstract

In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence classes of measuring processes. We show that every CP instrument on an atomic von Neumann algebra has the NEP, extending the well-known result for type I factors. Moreover, we show that every CP instrument on an injective von Neumann algebra is approximated by CP instruments with the NEP. The concept of posterior states is also discussed to show that the NEP is equivalent to the existence of a strongly measurable family of posterior states for every normal state. Two examples of CP instruments without the NEP are obtained from this result. It is thus concluded that in local quantum physics not every CP instrument represents a measuring process, but in most of physically relevant cases every CP instrument can be realized by a measuring process within arbitrary error limits, as every approximately finite dimensional von Neumann algebra on a separable Hilbert space is injective. To conclude the paper, the concept of local measurement in algebraic quantum field theory is examined in our framework. In the setting of the Doplicher-Haag-Roberts and Doplicher-Roberts theory describing local excitations, we show that an instrument on a local algebra can be extended to a local instrument on the global algebra if and only if it is a CP instrument with the NEP, provided that the split property holds for the net of local algebras.

DOI
10.1063/1.4935407

Related papers

Measurement theory in local quantum physics: Based on local state formalism in AQFT

Kazuya Okamura, Masanao Ozawa

In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence classes of measuring processes. We show that every CP instrument on an atomic von Neumann algebra has the NEP, extending the well-known result for type I factors. Moreover, we show that every CP instrument on an injective von Neumann algebra is approximated by CP instruments with the NEP. The concept of posterior states is also discussed to show that the NEP is equivalent to the existence of a strongly measurable family of posterior states for every normal state. Two examples of CP instruments without the NEP are obtained from this result. It is thus concluded that in local quantum physics not every CP instrument represents a measuring process, but in most of physically relevant cases every CP instrument can be realized by a measuring process within arbitrary error limits, as every approximately finite dimensional (AFD) von Neumann algebra on a separable Hilbert space is injective. To conclude the paper, the concept of local measurement in algebraic quantum field theory is examined in our framework. In the setting of the Doplicher-Haag-Roberts and Doplicher-Roberts (DHR-DR) theory describing local excitations, we show that an instrument on a local algebra can be extended to a local instrument on the global algebra if and only if it is a CP instrument with the NEP, provided that the split property holds for the net of local algebras.

•Dec 31, 2014•1 citation

On a mathematical treatment of measurement correlations

Kazuya Okamura

In this paper, we attempt to establish a systematic treatment of measurement correlations in quantum theory. We define the concept of system of measurement correlations, which is the exact counterpart of instrument in the (generalized) Heisenberg picture. We then redefine the concept of measuring process in order that it becomes consistent with the definition of system of measurement correlations. In quantum mechanical systems, we establish a one-to-one correspondence between systems of measurement correlations and measuring processes up to complete equivalence. This is nothing but a unitary dilation theorem of systems of measurement correlations. Next, from the viewpoint of the statistical approach to quantum measurement theory, we focus on the extendability of CP instruments to systems of measurement correlations. It will be shown that all CP instruments are extended into systems of measurement correlations. Moreover, in the case of injective von Neumann algebras, we show that any CP instruments are approximated by faithful measuring processes within arbitrarily given error limits. Similarly, in the case of von Neumann algebras with separable dual, we show that any CP instruments are pointwisely realized by measuring processes. These new unitary dilation theorems of CP instruments substantially rewrite the results of past investigations.

•Nov 30, 2015•0 citations

in a General Theory of Quantum Measurement

Hanna Podsȩdkowska

The paper investigates correlations in a general theory of quantum measurement based on the notion of instrument. The analysis is performed in the algebraic formalism of quantum theory in which the observables of a physical system are described by a von Neumann algebra, and the states — by normal positive normalized functionals on this algebra. The results extend and generalise those obtained for the classical case where one deals with the full algebra of operators on a Hilbert space.

•Jan 1, 2007•0 citations

Correlations in a General Theory of Quantum Measurement

Hanna Podsȩdkowska

The paper investigates correlations in a general theory of quantum measurement based on the notion of instrument. The analysis is performed in the algebraic formalism of quantum theory in which the observables of a physical system are described by a von Neumann algebra, and the states — by normal positive normalized functionals on this algebra. The results extend and generalise those obtained for the classical case where one deals with the full algebra of operators on a Hilbert space.

Open Systems & Information Dynamics•Dec 1, 2007•8 citations

Quantum measuring processes of continuous observables

Masanao Ozawa

The purpose of this paper is to provide a basis of theory of measurements of continuous observables. We generalize von Neumann’s description of measuring processes of discrete quantum observables in terms of interaction between the measured system and the apparatus to continuous observables, and show how every such measuring process determines the state change caused by the measurement. We establish a one-to-one correspondence between completely positive instruments in the sense of Davies and Lewis and the state changes determined by the measuring processes. We also prove that there are no weakly repeatable completely positive instruments of nondiscrete observables in the standard formulation of quantum mechanics, so that there are no measuring processes of nondiscrete observables whose state changes satisfy the repeatability hypothesis. A proof of the Wigner–Araki–Yanase theorem on the nonexistence of repeatable measurements of observables not commuting conserved quantities is given in our framework. We also discuss the implication of these results for the recent results due to Srinivas and due to Mercer on measurements of continuous observables.

Journal of Mathematical Physics•Jan 1, 1984•503 citations

A Theory of Quantum Instruments

Stanley Gudder

Until recently, a quantum instrument was defined to be a completely positive operation-valued measure from the set of states on a Hilbert space to itself. In the last few years, this definition has been generalized to such measures between sets of states from different Hilbert spaces called the input and output Hilbert spaces. This article presents a theory of such instruments. Ways that instruments can be combined such as convex combinations, post-processing, sequential products, tensor products and conditioning are studied. We also consider marginal, reduced instruments and how these are used to define coexistence (compatibility) of instruments. Finally, we present a brief introduction to quantum measurement models where the generalization of instruments is essential. Many of the concepts of the theory are illustrated by examples. In particular, we discuss Holevo and Kraus instruments. Quanta 2023; 12: 27–40.

arXiv:2305.17584•Quanta•Jun 6, 2023•2 citations
In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence classes of measuring processes. We show that every CP instrument on an atomic von Neumann algebra has the NEP, extending the well-known result for type I factors. Moreover, we show that every CP instrument on an injective von Neumann algebra is approximated by CP instruments with the NEP. The concept of posterior states is also discussed to show that the NEP is equivalent to the existence of a strongly measurable family of posterior states for every normal state. Two examples of CP instruments without the NEP are obtained from this result. It is thus concluded that in local quantum physics not every CP instrument represents a measuring process, but in most of physically relevant cases every CP instrument can be realized by a measuring process within arbitrary error limits, as every approximately finite dimensional von Neumann algebra on a separable Hilbert space is injective. To conclude the paper, the concept of local measurement in algebraic quantum field theory is examined in our framework. In the setting of the Doplicher-Haag-Roberts and Doplicher-Roberts theory describing local excitations, we show that an instrument on a local algebra can be extended to a local instrument on the global algebra if and only if it is a CP instrument with the NEP, provided that the split property holds for the net of local algebras.
In this paper, we aim to establish foundations of measurement theory in local quantum physics. For this purpose, we discuss a representation theory of completely positive (CP) instruments on arbitrary von Neumann algebras. We introduce a condition called the normal extension property (NEP) and establish a one-to-one correspondence between CP instruments with the NEP and statistical equivalence classes of measuring processes. We show that every CP instrument on an atomic von Neumann algebra has the NEP, extending the well-known result for type I factors. Moreover, we show that every CP instrument on an injective von Neumann algebra is approximated by CP instruments with the NEP. The concept of posterior states is also discussed to show that the NEP is equivalent to the existence of a strongly measurable family of posterior states for every normal state. Two examples of CP instruments without the NEP are obtained from this result. It is thus concluded that in local quantum physics not every CP instrument represents a measuring process, but in most of physically relevant cases every CP instrument can be realized by a measuring process within arbitrary error limits, as every approximately finite dimensional (AFD) von Neumann algebra on a separable Hilbert space is injective. To conclude the paper, the concept of local measurement in algebraic quantum field theory is examined in our framework. In the setting of the Doplicher-Haag-Roberts and Doplicher-Roberts (DHR-DR) theory describing local excitations, we show that an instrument on a local algebra can be extended to a local instrument on the global algebra if and only if it is a CP instrument with the NEP, provided that the split property holds for the net of local algebras.
In this paper, we attempt to establish a systematic treatment of measurement correlations in quantum theory. We define the concept of system of measurement correlations, which is the exact counterpart of instrument in the (generalized) Heisenberg picture. We then redefine the concept of measuring process in order that it becomes consistent with the definition of system of measurement correlations. In quantum mechanical systems, we establish a one-to-one correspondence between systems of measurement correlations and measuring processes up to complete equivalence. This is nothing but a unitary dilation theorem of systems of measurement correlations. Next, from the viewpoint of the statistical approach to quantum measurement theory, we focus on the extendability of CP instruments to systems of measurement correlations. It will be shown that all CP instruments are extended into systems of measurement correlations. Moreover, in the case of injective von Neumann algebras, we show that any CP instruments are approximated by faithful measuring processes within arbitrarily given error limits. Similarly, in the case of von Neumann algebras with separable dual, we show that any CP instruments are pointwisely realized by measuring processes. These new unitary dilation theorems of CP instruments substantially rewrite the results of past investigations.
The purpose of this paper is to provide a basis of theory of measurements of continuous observables. We generalize von Neumann’s description of measuring processes of discrete quantum observables in terms of interaction between the measured system and the apparatus to continuous observables, and show how every such measuring process determines the state change caused by the measurement. We establish a one-to-one correspondence between completely positive instruments in the sense of Davies and Lewis and the state changes determined by the measuring processes. We also prove that there are no weakly repeatable completely positive instruments of nondiscrete observables in the standard formulation of quantum mechanics, so that there are no measuring processes of nondiscrete observables whose state changes satisfy the repeatability hypothesis. A proof of the Wigner–Araki–Yanase theorem on the nonexistence of repeatable measurements of observables not commuting conserved quantities is given in our framework. We also discuss the implication of these results for the recent results due to Srinivas and due to Mercer on measurements of continuous observables.
Until recently, a quantum instrument was defined to be a completely positive operation-valued measure from the set of states on a Hilbert space to itself. In the last few years, this definition has been generalized to such measures between sets of states from different Hilbert spaces called the input and output Hilbert spaces. This article presents a theory of such instruments. Ways that instruments can be combined such as convex combinations, post-processing, sequential products, tensor products and conditioning are studied. We also consider marginal, reduced instruments and how these are used to define coexistence (compatibility) of instruments. Finally, we present a brief introduction to quantum measurement models where the generalization of instruments is essential. Many of the concepts of the theory are illustrated by examples. In particular, we discuss Holevo and Kraus instruments. Quanta 2023; 12: 27–40.