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

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

Kazuya Okamura, Masanao Ozawa

Published Dec 31, 2014• 1 citation
OpenAlex

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

Related papers

Measurement theory in local quantum physics

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

arXiv:1501.00239•Journal of Mathematical Physics•Nov 19, 2015•34 citations

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

The Category of Anyon Sectors for Non-Abelian Quantum Double Models

Alex Bols, Mahdie Hamdan, Pieter Naaijkens +1 more

Abstract We study Kitaev’s quantum double model for arbitrary finite gauge group in infinite volume, using an operator-algebraic approach. The quantum double model hosts anyonic excitations which can be identified with equivalence classes of ‘localized and transportable endomorphisms’, which produce anyonic excitations from the ground state. Following the Doplicher–Haag–Roberts (DHR) sector theory from AQFT, we organize these endomorphisms into a braided monoidal category capturing the fusion and braiding properties of the anyons. We show that this category is equivalent to $$\textbf{Rep}_f {{\mathcal {D}}}(G)$$ Rep f D ( G ) , the representation category of the quantum double of G . This establishes for the first time the full DHR structure for a class of 2d quantum lattice models with non-abelian anyons.

arXiv:2503.15611•Communications in Mathematical Physics•Dec 5, 2025•1 citation

Directed-Completeness of Quantum Statistical Experiments in the Randomization Order

Yui Kuramochi

A parametrized family of normal states on a von Neumann algebra is called a statistical experiment, which generalizes the corresponding concepts in classical statistics and finite-dimensional quantum systems. We introduce randomization preorder and equivalence relations for statistical experiments with a fixed parameter set and for normal channels with a fixed input space by post-processing completely positive channels. In this paper, we prove that the set of equivalence classes of statistical experiments or those of normal channels is an upper and lower directed-complete partially ordered set with respect to the randomization order, i.e. any increasing or decreasing net of statistical experiments or channels has its supremum or infimum in the randomization order. We also show that if the outcome space of each statistical experiment or channel of a randomization-monotone net is commutative, the outcome space of the supremum or infimum can also be taken to be commutative. We consider two examples of homogeneous Markov processes of channels on infinite-dimensional separable Hilbert spaces, namely block-diagonalization with irrational translation and ideal quantum linear amplifier channels, and explicitly derive their infima. Throughout the paper, the concept of channel conjugation is used to obtain results for decreasing channels from those for increasing channels.

arXiv:1805.04357•Open Systems & Information Dynamics•Mar 1, 2020•3 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 (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 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 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.
Abstract We study Kitaev’s quantum double model for arbitrary finite gauge group in infinite volume, using an operator-algebraic approach. The quantum double model hosts anyonic excitations which can be identified with equivalence classes of ‘localized and transportable endomorphisms’, which produce anyonic excitations from the ground state. Following the Doplicher–Haag–Roberts (DHR) sector theory from AQFT, we organize these endomorphisms into a braided monoidal category capturing the fusion and braiding properties of the anyons. We show that this category is equivalent to RepfD(G)\textbf{Rep}_f {{\mathcal {D}}}(G)Repf​D(G) Rep f D ( G ) , the representation category of the quantum double of G . This establishes for the first time the full DHR structure for a class of 2d quantum lattice models with non-abelian anyons.
A parametrized family of normal states on a von Neumann algebra is called a statistical experiment, which generalizes the corresponding concepts in classical statistics and finite-dimensional quantum systems. We introduce randomization preorder and equivalence relations for statistical experiments with a fixed parameter set and for normal channels with a fixed input space by post-processing completely positive channels. In this paper, we prove that the set of equivalence classes of statistical experiments or those of normal channels is an upper and lower directed-complete partially ordered set with respect to the randomization order, i.e. any increasing or decreasing net of statistical experiments or channels has its supremum or infimum in the randomization order. We also show that if the outcome space of each statistical experiment or channel of a randomization-monotone net is commutative, the outcome space of the supremum or infimum can also be taken to be commutative. We consider two examples of homogeneous Markov processes of channels on infinite-dimensional separable Hilbert spaces, namely block-diagonalization with irrational translation and ideal quantum linear amplifier channels, and explicitly derive their infima. Throughout the paper, the concept of channel conjugation is used to obtain results for decreasing channels from those for increasing channels.