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:2208.13494 · Physical Review Letters

Wigner-Araki-Yanase Theorem for Continuous and Unbounded Conserved Observables

Yui Kuramochi, Hiroyasu Tajima

Published Nov 21, 2023• 15 citations
arXivHTMLPDF

Abstract

The Wigner-Araki-Yanase (WAY) theorem states that additive conservation laws imply the commutativity of exactly implementable projective measurements and the conserved observables of the system. Known proofs of this theorem are only restricted to bounded or discrete-spectrum conserved observables of the system and are not applicable to unbounded and continuous observables like a momentum operator. In this Letter, we present the WAY theorem for possibly unbounded and continuous conserved observables under the Yanase condition, which requires that the probe positive operator-valued measure should commute with the conserved observable of the probe system. As a result of this WAY theorem, we show that exact implementations of the projective measurement of the position under momentum conservation and of the quadrature amplitude using linear optical instruments and photon counters are impossible. We also consider implementations of unitary channels under conservation laws and find that the conserved observable L_{S} of the system commutes with the implemented unitary U_{S} if L_{S} is semibounded, while U_{S}^{†}L_{S}U_{S} can shift up to possibly nonzero constant factor if the spectrum of L_{S} is upper and lower unbounded. We give simple examples of the latter case, where L_{S} is a momentum operator.

DOI
10.1103/physrevlett.131.210201

Related papers

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.

quant-pharXiv:2606.02861•Jun 3, 2026•0 citations

Wigner-Araki-Yanase theorem beyond conservation laws

Mikko Tukiainen

The ability to measure every quantum observable is ensured by a fundamental result in quantum measurement theory. Nevertheless, additive conservation laws associated with physical symmetries, such as the angular momentum conservation, may lead to restrictions on the measurability of the observables. Such limitations are imposed by the theorem of Wigner, Araki, and Yanase (WAY). In this paper a formulation of the WAY theorem is presented rephrasing the measurability limitations in terms of quantum incompatibility. This broader mathematical basis enables us to both capture and generalize the WAY theorem by allowing us to drop the assumptions of additivity and even conservation of the involved quantities. Moreover, we extend the WAY theorem to the general level of positive operator-valued measures.

arXiv:1611.05905•Physical Review A•Jan 20, 2017•5 citations

Quantum measurements need not conserve energy: relation to the Wigner-Araki-Yanase theorem

Stephen Parrott

The paper focuses on the fact that quantum projective measurements do not necessarily conserve energy. On the other hand the Wigner-Araki-Yanase (WAY) theorem states that assuming a "standard" von Neumann measurement model and "additivity" of the total energy operator, projective measurements of a system must conserve energy as defined by the system's energy operator. This paper explores the ideas behind the WAY theorem in hopes of uncovering the origin of the contradiction. After Araki and Yanase published their proof of the WAY theorem, Yanase appended a new condition now known as the Yanase condition. Under the simplifying assumption that the observable being measured has discrete and non-degenerate eigenvalues, we prove that the Yanase condition actually follows from the hypotheses of the original WAY theorem. The paper also proves that the hypotheses of the WAY theorem, together with the simplifying assumption, imply that the energy operator for the measuring apparatus must be a multiple of the identity, which seems physically unlikely. It seems probable that this surprising conclusion, along with the Yanase condition, also holds without the simplifying assumption.

arXiv:1610.04607•Oct 14, 2016•0 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.

arXiv:0707.3238•Physical Review A•Sep 8, 2008•6 citations

Uncertainty beyond the Uncertainty Principle

Charles Day

According to a new extension to an old theory, a particle's position cannot be measured precisely even if its momentum is not measured simultaneously.By Charles Day H eisenberg's uncertainty principle limits the precision with which two observables that do not commute with each other can be simultaneously measured.The Wigner-Araki-Yanase (WAY) theorem goes further.If observables A and B do not commute, and if observable A is conserved, observable B cannot be measured with arbitrary precision even if A is not measured at all.In its original 1960 formulation, the WAY theorem applied only to observables, such as spin, whose possible values are discrete and bounded.Now Yui Kuramochi of Kyushu University and Hiroyasu Tajima of the University of Electro-Communications-both in Japan-have proven that the WAY theorem also encompasses observables, such as position, that are continuous and unbounded [1].Besides resolving the decades-long problem of how to deal with such observables, the extension will likely find practical applications in quantum optics.The difficulty of extending the WAY theorem arose from how an

Physics•Nov 21, 2023•0 citations

Quantitative Wigner-Araki-Yanase Theorems for Unitary and Antiunitary Symmetries

Akihiro Hokkyo, Hiroyasu Tajima

Symmetry imposes fundamental constraints on quantum measurement and control. The Wigner-Araki-Yanase theorem and its quantitative extensions capture this restriction for continuous symmetries, in terms of fluctuations of conserved generators. Such generator-based bounds, however, do not provide quantitative limitations for discrete unitary symmetries or for antiunitary symmetries. Here we establish quantitative WAY-type theorems for symmetry-breaking projective measurements and unitary gates under arbitrary unitary and antiunitary symmetries. Our approach is based on a two-target no-programming inequality: if a single processor approximately implements two operations that amplify distinguishability, then the corresponding program states must themselves be distinguishable. Applied to symmetric implementations, this converts the error of an asymmetric measurement or gate directly into a lower bound on the asymmetry of the apparatus state, quantified by its fidelity with its symmetry-transformed copy. Our results apply to discrete and antiunitary symmetries, thereby providing a fundamental limit for symmetry-limited quantum measurement and control beyond the continuous-symmetry regime.

quant-pharXiv:2607.09075•Jul 13, 2026•0 citations
The Wigner-Araki-Yanase (WAY) theorem states that additive conservation laws imply the commutativity of exactly implementable projective measurements and the conserved observables of the system. Known proofs of this theorem are only restricted to bounded or discrete-spectrum conserved observables of the system and are not applicable to unbounded and continuous observables like a momentum operator. In this Letter, we present the WAY theorem for possibly unbounded and continuous conserved observables under the Yanase condition, which requires that the probe positive operator-valued measure should commute with the conserved observable of the probe system. As a result of this WAY theorem, we show that exact implementations of the projective measurement of the position under momentum conservation and of the quadrature amplitude using linear optical instruments and photon counters are impossible. We also consider implementations of unitary channels under conservation laws and find that the conserved observable L_{S} of the system commutes with the implemented unitary U_{S} if L_{S} is semibounded, while U_{S}^{†}L_{S}U_{S} can shift up to possibly nonzero constant factor if the spectrum of L_{S} is upper and lower unbounded. We give simple examples of the latter case, where L_{S} is a momentum operator.
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 LSL_{S}LS​ is bounded, given a conserved total additive system plus apparatus quantity LSAL_{SA}LSA​, the measurement operator ESE_{S}ES​ must commute with LSL_{S}LS​. 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 ability to measure every quantum observable is ensured by a fundamental result in quantum measurement theory. Nevertheless, additive conservation laws associated with physical symmetries, such as the angular momentum conservation, may lead to restrictions on the measurability of the observables. Such limitations are imposed by the theorem of Wigner, Araki, and Yanase (WAY). In this paper a formulation of the WAY theorem is presented rephrasing the measurability limitations in terms of quantum incompatibility. This broader mathematical basis enables us to both capture and generalize the WAY theorem by allowing us to drop the assumptions of additivity and even conservation of the involved quantities. Moreover, we extend the WAY theorem to the general level of positive operator-valued measures.
The paper focuses on the fact that quantum projective measurements do not necessarily conserve energy. On the other hand the Wigner-Araki-Yanase (WAY) theorem states that assuming a "standard" von Neumann measurement model and "additivity" of the total energy operator, projective measurements of a system must conserve energy as defined by the system's energy operator. This paper explores the ideas behind the WAY theorem in hopes of uncovering the origin of the contradiction. After Araki and Yanase published their proof of the WAY theorem, Yanase appended a new condition now known as the Yanase condition. Under the simplifying assumption that the observable being measured has discrete and non-degenerate eigenvalues, we prove that the Yanase condition actually follows from the hypotheses of the original WAY theorem. The paper also proves that the hypotheses of the WAY theorem, together with the simplifying assumption, imply that the energy operator for the measuring apparatus must be a multiple of the identity, which seems physically unlikely. It seems probable that this surprising conclusion, along with the Yanase condition, also holds without the simplifying assumption.
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.
According to a new extension to an old theory, a particle's position cannot be measured precisely even if its momentum is not measured simultaneously.By Charles Day H eisenberg's uncertainty principle limits the precision with which two observables that do not commute with each other can be simultaneously measured.The Wigner-Araki-Yanase (WAY) theorem goes further.If observables A and B do not commute, and if observable A is conserved, observable B cannot be measured with arbitrary precision even if A is not measured at all.In its original 1960 formulation, the WAY theorem applied only to observables, such as spin, whose possible values are discrete and bounded.Now Yui Kuramochi of Kyushu University and Hiroyasu Tajima of the University of Electro-Communications-both in Japan-have proven that the WAY theorem also encompasses observables, such as position, that are continuous and unbounded [1].Besides resolving the decades-long problem of how to deal with such observables, the extension will likely find practical applications in quantum optics.The difficulty of extending the WAY theorem arose from how an
Symmetry imposes fundamental constraints on quantum measurement and control. The Wigner-Araki-Yanase theorem and its quantitative extensions capture this restriction for continuous symmetries, in terms of fluctuations of conserved generators. Such generator-based bounds, however, do not provide quantitative limitations for discrete unitary symmetries or for antiunitary symmetries. Here we establish quantitative WAY-type theorems for symmetry-breaking projective measurements and unitary gates under arbitrary unitary and antiunitary symmetries. Our approach is based on a two-target no-programming inequality: if a single processor approximately implements two operations that amplify distinguishability, then the corresponding program states must themselves be distinguishable. Applied to symmetric implementations, this converts the error of an asymmetric measurement or gate directly into a lower bound on the asymmetry of the apparatus state, quantified by its fidelity with its symmetry-transformed copy. Our results apply to discrete and antiunitary symmetries, thereby providing a fundamental limit for symmetry-limited quantum measurement and control beyond the continuous-symmetry regime.