The uncertainty relation between the noise operator and the conserved quantity leads to a bound on the accuracy of general measurements. The bound extends the assertion by Wigner, Araki, and Yanase that conservation laws limit the accuracy of "repeatable," or "nondisturbing," measurements to general measurements, and improves the one previously obtained by Yanase for spin measurements. The bound represents an obstacle to making a small quantum computer.

arXiv:quant-ph/0112154Physical Review LettersJan 23, 200268 citations

数理解析研究所講究録

Wigner-Araki-Yanase theorem and the realizability of quantum computing (Mathematical Study of Quantum Dynamical Systems and Its Application to Quantum Computer)

Masanao Ozawa

Published Jan 1, 2004• 0 citations

OpenAlex

Abstract

Related papers

Conservative Quantum Computing

Masanao Ozawa

The Wigner-Araki-Yanase theorem shows that conservation laws limit the accuracy of measurement. Here, we generalize the argument to show that conservation laws limit the accuracy of quantum logic operations. A rigorous lower bound is obtained of the error probability of any physical realization of the controlled-NOT gate under the constraint that the computational basis is represented by a component of spin, and that physical implementations obey the angular momentum conservation law. The lower bound is shown to be inversely proportional to the number of ancilla qubits or the strength of the external control field.The Wigner-Araki-Yanase theorem shows that conservation laws limit the accuracy of measurement. Here, we generalize the argument to show that conservation laws limit the accuracy of quantum logic operations. A rigorous lower bound is obtained of the error probability of any physical realization of the controlled-NOT gate under the constraint that the computational basis is represented by a component of spin, and that physical implementations obey the angular momentum conservation law. The lower bound is shown to be inversely proportional to the number of ancilla qubits or the strength of the external control field.

arXiv:quant-ph/0112179Physical Review LettersJul 16, 200278 citations

UNCERTAINTY PRINCIPLE FOR QUANTUM INSTRUMENTS AND COMPUTING

Masanao Ozawa

The notion of quantum instruments is formalized as statistical equivalence classes of all the possible quantum measurements and mathematically characterized as normalized completely positive map valued measures under naturally acceptable axioms. Recently, universally valid uncertainty relations have been established to set a precision limit for any instruments given a disturbance constraint in a form more general than the one originally proposed by Heisenberg. One of them leads to a quantitative generalization of the Wigner–Araki–Yanase theorem on the precision limit of measurements under conservation laws. Applying this, a rigorous lower bound is obtained for the gate error probability of physical implementations of Hadamard gates on a standard qubit of a spin 1/2 system by interactions with control fields or ancilla systems obeying the angular momentum conservation law.The notion of quantum instruments is formalized as statistical equivalence classes of all the possible quantum measurements and mathematically characterized as normalized completely positive map valued measures under naturally acceptable axioms. Recently, universally valid uncertainty relations have been established to set a precision limit for any instruments given a disturbance constraint in a form more general than the one originally proposed by Heisenberg. One of them leads to a quantitative generalization of the Wigner–Araki–Yanase theorem on the precision limit of measurements under conservation laws. Applying this, a rigorous lower bound is obtained for the gate error probability of physical implementations of Hadamard gates on a standard qubit of a spin 1/2 system by interactions with control fields or ancilla systems obeying the angular momentum conservation law.

arXiv:quant-ph/0310071International Journal of Quantum InformationDec 1, 200342 citations

Limitations of Quantum Measurements and Operations of Scattering Type under the Energy Conservation Law

Ryota Katsube, Masanao Ozawa, Hotta, Masahiro

It is important to improve the accuracy of quantum measurements and operations both in engineering and fundamental physics. It is known, however, that the achievable accuracy of measurements and unitary operations are generally limited by conservation laws according to the Wigner-Araki-Yanase theorem (WAY theorem) and its generalizations. Although many researches have extended the WAY theorem quantitatively, most of them, as well as the original WAY theorem, concern only additive conservation laws like the angular momentum conservation law. In this paper, we explore the limitation incurred by the energy conservation law, which is universal but is one of the non-additive conservation laws. We present a lower bound for the error of a quantum measurement using a scattering process satisfying the energy conservation law. We obtain conditions that a control system Hamiltonian must fulfill in order to implement a controlled unitary gate with zero error when a scattering process is considered. We also show the quantitative relationship between the upper bound of the gate fidelity of a controlled unitary gate and the energy fluctuation of systems when a target system and a control system are both one qubit.It is important to improve the accuracy of quantum measurements and operations both in engineering and fundamental physics. It is known, however, that the achievable accuracy of measurements and unitary operations are generally limited by conservation laws according to the Wigner-Araki-Yanase theorem (WAY theorem) and its generalizations. Although many researches have extended the WAY theorem quantitatively, most of them, as well as the original WAY theorem, concern only additive conservation laws like the angular momentum conservation law. In this paper, we explore the limitation incurred by the energy conservation law, which is universal but is one of the non-additive conservation laws. We present a lower bound for the error of a quantum measurement using a scattering process satisfying the energy conservation law. We obtain conditions that a control system Hamiltonian must fulfill in order to implement a controlled unitary gate with zero error when a scattering process is considered. We also show the quantitative relationship between the upper bound of the gate fidelity of a controlled unitary gate and the energy fluctuation of systems when a target system and a control system are both one qubit.

arXiv:2211.13433Nov 24, 20220 citations

Quantum limits of measurements induced by multiplicative conservation laws: Extension of the Wigner-Araki-Yanase theorem

Gen Kimura, Bernhard K. Meister, Masanao Ozawa

The Wigner-Araki-Yanase (WAY) theorem shows that additive conservation laws limit the accuracy of measurements. Recently, various quantitative expressions have been found for quantum limits on measurements induced by additive conservation laws, and have been applied to the study of fundamental limits on quantum-information processing. Here, we investigate generalizations of the WAY theorem to multiplicative conservation laws. The WAY theorem is extended to show that an observable not commuting with the modulus of, or equivalently the square of, a multiplicatively conserved quantity cannot be precisely measured. We also obtain a lower bound for the mean-square noise of a measurement in the presence of a multiplicatively conserved quantity. To overcome this noise it is necessary to make large the coefficient of variation (the so-called relative fluctuation), instead of the variance as is the case for additive conservation laws, of the conserved quantity in the apparatus.The Wigner-Araki-Yanase (WAY) theorem shows that additive conservation laws limit the accuracy of measurements. Recently, various quantitative expressions have been found for quantum limits on measurements induced by additive conservation laws, and have been applied to the study of fundamental limits on quantum-information processing. Here, we investigate generalizations of the WAY theorem to multiplicative conservation laws. The WAY theorem is extended to show that an observable not commuting with the modulus of, or equivalently the square of, a multiplicatively conserved quantity cannot be precisely measured. We also obtain a lower bound for the mean-square noise of a measurement in the presence of a multiplicatively conserved quantity. To overcome this noise it is necessary to make large the coefficient of variation (the so-called relative fluctuation), instead of the variance as is the case for additive conservation laws, of the conserved quantity in the apparatus.

arXiv:0707.3238Physical Review ASep 8, 20086 citations

Exact Solutions for Spin Conserving Models and the Wigner-Araki-Yanase Theorem

Michael Steiner, Ronald Rendell

The Wigner-Araki-Yanase (WAY) theorem is a well-known theorem regarding limitations of quantum measurement in the presence of additive conservation laws. Under the assumptions of the von Neumann measurement model, for which the system conserved quantity $L_{S}$ is bounded, given a conserved total additive system plus apparatus quantity $L_{SA}$ , the measurement operator $E_{S}$ must commute with $L_{S}$ . Prior proofs have exploited the properties of unitary evolution constrained by momentum conserving operations that tend to obscure the physical nature of the WAY theorem and as well lead to bounds on performance. As it is generally agreed that momentum is always exactly conserved in measurement, we instead develop a general angular momentum conserving model of measurement. This model is shown to lead to a simple explanation of the major implications of the WAY theorem and provides exact results of the effects of measurement based on the apparatus model. This is shown by both tracing the apparatus from the density matrix and also via a system-only channel model based on Kraus operators.The Wigner-Araki-Yanase (WAY) theorem is a well-known theorem regarding limitations of quantum measurement in the presence of additive conservation laws. Under the assumptions of the von Neumann measurement model, for which the system conserved quantity $L_{S}$ is bounded, given a conserved total additive system plus apparatus quantity $L_{SA}$, the measurement operator $E_{S}$ must commute with $L_{S}$. Prior proofs have exploited the properties of unitary evolution constrained by momentum conserving operations that tend to obscure the physical nature of the WAY theorem and as well lead to bounds on performance. As it is generally agreed that momentum is always exactly conserved in measurement, we instead develop a general angular momentum conserving model of measurement. This model is shown to lead to a simple explanation of the major implications of the WAY theorem and provides exact results of the effects of measurement based on the apparatus model. This is shown by both tracing the apparatus from the density matrix and also via a system-only channel model based on Kraus operators.

quant-pharXiv:2606.02861Jun 3, 20260 citations

Conservation Laws, Uncertainty Relations, and Quantum Limits of Measurements

Masanao Ozawa

arXiv:quant-ph/0112154Physical Review LettersJan 23, 200268 citations

L_{S}

is bounded, given a conserved total additive system plus apparatus quantity

L_{SA}

, the measurement operator

E_{S}

must commute with

L_{S}

. Prior proofs have exploited the properties of unitary evolution constrained by momentum conserving operations that tend to obscure the physical nature of the WAY theorem and as well lead to bounds on performance. As it is generally agreed that momentum is always exactly conserved in measurement, we instead develop a general angular momentum conserving model of measurement. This model is shown to lead to a simple explanation of the major implications of the WAY theorem and provides exact results of the effects of measurement based on the apparatus model. This is shown by both tracing the apparatus from the density matrix and also via a system-only channel model based on Kraus operators.