Wigner–Araki–Yanase Theorem Overview

• The Wigner–Araki–Yanase theorem defines limitations of quantum measurements under additive conservation laws, requiring observables to commute with conserved quantities for exact measurement.
• Resource-theoretic reformulations translate the original no-go statement into quantitative error bounds that highlight the trade-off between measurement accuracy and apparatus resource spread.
• Modern extensions cover continuous observables and unitary channels, emphasizing the role of asymmetric resources and quantum reference frames in overcoming measurement constraints.

The Wigner–Araki–Yanase theorem is a limitation theorem for quantum measurement under additive conservation laws. In its standard form, a system observable $M$ is measured by coupling the system to an apparatus with a unitary $U$, while a conserved quantity of the composite has the additive form $L_{\rm total}=L_1\otimes 1+1\otimes L_2$ and satisfies $[U,L_{\rm total}]=0$. The theorem states that if the measurement is exact and either repeatable or subject to the Yanase condition, then the measured observable must commute with the system part of the conserved quantity, $[M,L_1]=0$. Quantitative, information-theoretic, and resource-theoretic reformulations replace this exact no-go statement by lower bounds on measurement error, disturbance, or implementation cost, and extend the theorem to continuous observables, unitary channels, and general quantum resource theories (Loveridge et al., 2010, Kuramochi et al., 2022, Tajima et al., 31 Jul 2025).

1. Classical statement and measurement model

The standard formulation uses a von Neumann measurement model with a system Hilbert space and an apparatus Hilbert space, a target observable on the system, a pointer observable on the apparatus, an initial apparatus “ready” state, and a unitary interaction. In one common notation, the measured observable has spectral decomposition

$S=\sum_i \lambda_i\,Q_i,$

the pointer observable is

$Z=\sum_i z_i\,P_i,$

and the interaction is chosen so that for a fixed initial apparatus state $\xi$,

$$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$

The conservation law is imposed through an additive conserved quantity,

$$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$

Under these assumptions, the Araki–Yanase formulation yields the exact constraint

$U$0

equivalently $U$1: only observables commuting with the system Hamiltonian admit an exact energy-conserving von Neumann measurement (Parrott, 2016).

A closely related statement appears in the bounded-operator formulation. Let $U$2 be a discrete-spectrum self-adjoint operator on the object Hilbert space $U$3, let $U$4 be bounded self-adjoint operators on object and probe, and let the interaction satisfy

$U$5

If the measurement is repeatable, or if the pointer satisfies the Yanase condition $U$6, then

$U$7

This is the classical WAY theorem in the Araki–Yanase sense (Loveridge et al., 2010).

Wigner’s original 1952 spin model already exhibited the essential obstruction. For a spin-$U$8 system, Wigner considered measurement of $U$9 under conservation of total $L_{\rm total}=L_1\otimes 1+1\otimes L_2$0. If the apparatus state is a superposition

$L_{\rm total}=L_1\otimes 1+1\otimes L_2$1

then the probability $L_{\rm total}=L_1\otimes 1+1\otimes L_2$2 of an inconclusive outcome satisfies

$L_{\rm total}=L_1\otimes 1+1\otimes L_2$3

so $L_{\rm total}=L_1\otimes 1+1\otimes L_2$4 only as $L_{\rm total}=L_1\otimes 1+1\otimes L_2$5. In that model, accurate and repeatable measurement of an observable not commuting with the conserved quantity demands an apparatus with unbounded spread in the apparatus contribution to that conserved quantity (Loveridge et al., 2010, Busch, 2010).

2. Structural assumptions, repeatability, and the Yanase condition

The theorem depends on a specific conjunction of assumptions. The measurement scheme is required to satisfy probability reproducibility, meaning that pointer statistics after the interaction reproduce the statistics of the target observable, and in the original idealized form it is also taken to be repeatable: an immediate repetition yields the same outcome with certainty (Loveridge et al., 2010). In this setting, additive conservation and exact measurement are not by themselves the whole story; the role of the pointer and of repeatability is central.

Yanase emphasized that the pointer readout should itself be compatible with the apparatus part of the conserved quantity,

$L_{\rm total}=L_1\otimes 1+1\otimes L_2$6

so that reading out the pointer does not itself violate the same conservation law. This requirement is the Yanase condition. In the Araki–Yanase theorem, either repeatability or the Yanase condition suffices to derive the commutativity restriction on the system observable (Parrott, 2016, Loveridge et al., 2010).

A notable refinement is due to Parrott. Under the simplifying assumption that the measured observable has discrete and non-degenerate eigenvalues, the hypotheses of the original WAY theorem imply that the apparatus “ready” state is an eigenstate of $L_{\rm total}=L_1\otimes 1+1\otimes L_2$7, that $L_{\rm total}=L_1\otimes 1+1\otimes L_2$8 is diagonal in the pointer basis, and finally that

$L_{\rm total}=L_1\otimes 1+1\otimes L_2$9

In that analysis, the Yanase condition becomes trivial because $[U,L_{\rm total}]=0$0 holds automatically when $[U,L_{\rm total}]=0$1 (Parrott, 2016). This sharpens the sense in which the exact theorem rests on highly idealized premises: strict additivity of the conserved quantity and exact von Neumann coupling. The same analysis argues that relaxing strict additivity, for example by allowing interaction terms in the total Hamiltonian, or relaxing exact ideal coupling, restores the possibility of measuring observables that do not commute with subsystem energy, while total energy remains conserved at the full closed-system level (Parrott, 2016).

This point addresses a recurrent misconception. The theorem does not assert that quantum measurements in general must conserve the system’s energy or that measurements of noncommuting observables are physically impossible. Rather, it states that under a specific idealized model—exact, additive, and repeatable or Yanase-compatible measurement—such observables cannot be measured sharply (Loveridge et al., 2010, Parrott, 2016).

3. Quantitative WAY bounds: error, disturbance, and apparatus spread

The qualitative no-go theorem evolved into quantitative trade-off relations. In the Heisenberg picture, one defines the noise operator

$[U,L_{\rm total}]=0$2

where $[U,L_{\rm total}]=0$3, and the state-dependent error

$[U,L_{\rm total}]=0$4

Using Robertson-type bounds together with $[U,L_{\rm total}]=0$5, one obtains

$[U,L_{\rm total}]=0$6

If the Yanase condition holds, this reduces to

$[U,L_{\rm total}]=0$7

An analogous inequality holds for approximate repeatability. Thus the error can be made small only if the apparatus variance in the conserved quantity becomes large (Loveridge et al., 2010).

In the energy language often associated with Ozawa-type bounds, the same principle appears as

$[U,L_{\rm total}]=0$8

or equivalently

$[U,L_{\rm total}]=0$9

so measurement of an observable that does not commute with the conserved Hamiltonian requires large apparatus fluctuation in the corresponding conserved quantity (Tajima et al., 31 Jul 2025).

A later unification due to Emori and Tajima formulates both error and disturbance as special cases of irreversibility. For a CPTP map $[M,L_1]=0$0 and a test ensemble $[M,L_1]=0$1, irreversibility is defined as

$[M,L_1]=0$2

with $[M,L_1]=0$3. They then define general error and disturbance by small-$[M,L_1]=0$4 limits of irreversibility for suitable “loss” channels. Under an additive conservation law, they derive universal inequalities

$[M,L_1]=0$5

where $[M,L_1]=0$6 is a minimal quantum-Fisher-information cost under the conservation law. In this form, the WAY restriction is no longer tied to a single error-operator formalism; it applies to any error or disturbance notion representable as irreversibility of an associated loss channel followed by optimal recovery (Emori et al., 2023).

4. Information-theoretic and resource-theoretic reformulations

A major conceptual reformulation interprets the WAY theorem within the resource theory of asymmetry. Relative to a symmetry group $[M,L_1]=0$7, symmetric states, observables, and channels are those invariant under the corresponding group action, while asymmetric ones are resources. In this language, the problem becomes: can one simulate the measurement of an asymmetric observable using only $[M,L_1]=0$8-covariant operations and an asymmetric resource state? The information-theoretic answer is that exact simulation is possible if and only if the resource state is perfectly asymmetric, meaning that its orbit

$[M,L_1]=0$9

consists of mutually orthogonal states (Marvian et al., 2012).

This recasts the WAY theorem as a consequence of the no-programming theorem for projective measurements. If a family of distinct projective measurements is to be programmed into a fixed device, then the program states must be perfectly distinguishable. Applied to symmetry orbits, exact implementation of an asymmetric projective measurement by symmetric processing requires a resource state whose group orbit is orthogonal. A direct corollary is that if $S=\sum_i \lambda_i\,Q_i,$0 is infinite and the apparatus Hilbert space is finite-dimensional, then no state can have an orthogonal orbit, so exact simulation of a genuinely asymmetric projective measurement is impossible (Marvian et al., 2012).

The 2025 general-resource formulation pushes this logic beyond asymmetry to arbitrary resource theories. A resource monotone $S=\sum_i \lambda_i\,Q_i,$1 is assumed to satisfy monotonicity under free unitaries and partial trace, additivity on product states, and a mild continuity bound. For a target channel $S=\sum_i \lambda_i\,Q_i,$2, the $S=\sum_i \lambda_i\,Q_i,$3-implementation cost is defined by

$S=\sum_i \lambda_i\,Q_i,$4

and irreversibility is quantified on a two-state ensemble $S=\sum_i \lambda_i\,Q_i,$5, $S=\sum_i \lambda_i\,Q_i,$6, by

$S=\sum_i \lambda_i\,Q_i,$7

The resulting universal resource–irreversibility trade-off is

$S=\sum_i \lambda_i\,Q_i,$8

with $S=\sum_i \lambda_i\,Q_i,$9 the continuity constant and $Z=\sum_i z_i\,P_i,$0 a small offset (Tajima et al., 31 Jul 2025).

For indirect measurement, this yields the general-resource WAY bound

$Z=\sum_i z_i\,P_i,$1

Whenever $Z=\sum_i z_i\,P_i,$2, perfect discrimination $Z=\sum_i z_i\,P_i,$3 requires $Z=\sum_i z_i\,P_i,$4. The theorem thereby extends the WAY principle from energy to asymmetry, coherence, magic, athermality, and other resources. The cited examples include energy cost $Z=\sum_i z_i\,P_i,$5, asymmetry cost $Z=\sum_i z_i\,P_i,$6, and coherence cost given by relative entropy of coherence, with the common asymptotic feature that the required resource grows as $Z=\sum_i z_i\,P_i,$7 for finite-error implementation (Tajima et al., 31 Jul 2025).

5. Continuous observables, unbounded conserved quantities, and unitary channels

Classical proofs of the WAY theorem were restricted to bounded or discrete-spectrum conserved observables. Kuramochi and Tajima extend the theorem to possibly unbounded and continuous conserved observables by working with the exponentiated one-parameter unitary groups $Z=\sum_i z_i\,P_i,$8 rather than directly with the generators. In a general measurement model with probe state $Z=\sum_i z_i\,P_i,$9, coupling $\xi$0, and output-probe POVM $\xi$1, suppose the additive conservation law

$\xi$2

holds and the Yanase condition

$\xi$3

is imposed. Then any implemented system PVM $\xi$4 must satisfy

$\xi$5

This yields a WAY theorem for continuous and unbounded observables under the Yanase condition (Kuramochi et al., 2022).

Two concrete impossibility statements follow. First, exact projective measurement of position under momentum conservation is impossible when the probe readout commutes with probe momentum. Second, exact projective measurement of quadrature amplitude using linear optical instruments and photon counters is impossible under total photon-number conservation, because the quadrature does not commute with number while the readout satisfies the Yanase condition (Kuramochi et al., 2022).

The same work analyzes unitary channels. If a target unitary channel $\xi$6 is implemented under the same additive conservation law, then

$\xi$7

for some real $\xi$8. When $\xi$9, $$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$0, and $$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$1 is semi-bounded above or below, spectral comparison forces $$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$2, hence

$$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$3

If instead the spectrum of $$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$4 is upper and lower unbounded, a nonzero constant shift can occur. The momentum operator provides explicit examples, including $$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$5, for which

$$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$6

This identifies the precise sense in which unitary implementations are restricted by the same WAY logic, and where two-sided unbounded spectra open a controlled exception (Kuramochi et al., 2022).

6. Interpretations, explicit models, and modern significance

A relational interpretation emphasizes that, in the presence of symmetry, only invariant observables are fundamentally measurable. On this view, non-invariant “absolute” quantities are shorthand for invariant relative ones, and the apparatus serves a dual role: it is both the statistical probe and the physical reference system relative to which the measured quantity is defined. Formally, a relativisation map sends an operator $$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$7 on the system to an invariant operator on system plus reference,

$$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$8

and restricting that invariant observable with a sharply localized reference state yields an effective non-invariant observable on the system alone. In this perspective, the requirement of large apparatus spread in the conserved quantity is reinterpreted as the requirement that the apparatus function as a sufficiently good quantum reference frame (Loveridge, 2020).

An explicit modern spin-conserving model makes the same point in channel form. In the 2026 analysis of angular-momentum-conserving measurement, the induced system channel can be written with Kraus operators

$$U(\varphi_i\otimes \xi)=\varphi_i\otimes X_i, \qquad Q_i\varphi_j=\delta_{ij}\varphi_j,\;\;P_iX_j=\delta_{ij}X_j.$$9

so that an arbitrary qubit state undergoes dephasing in the $$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$0-basis: $$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$1 If the pointer is read in the $$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$2-basis, the misidentification probability is

$$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$3

Perfect accuracy requires $$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$4, which the paper identifies with an apparatus having infinite $$H_{\rm tot}=H_S\otimes I_A+I_S\otimes H_A, \qquad [U,H_{\rm tot}]=0.$$5-spin uncertainty. The model therefore realizes the WAY limitation as an exactly solvable apparatus-size-dependent dephasing effect (Steiner et al., 1 Jun 2026).

Several broader conclusions recur across the literature. First, the theorem constrains not only measurements but also quantum control and gate implementation under conservation laws (Loveridge et al., 2010). Second, the modern resource-theoretic form unifies energy–error, angular-momentum–error, coherence–error, magic–error, and work–error trade-offs as instances of a single cost–irreversibility principle (Tajima et al., 31 Jul 2025). Third, it is inaccurate to read the theorem as a blanket prohibition on measuring observables that fail to commute with conserved quantities. A more precise statement is that exact, reversible, Yanase-compatible or repeatable implementations are forbidden unless the relevant commutator vanishes, while approximate implementations remain possible at finite error, with required apparatus resource diverging as the error tends to zero (Loveridge et al., 2010, Emori et al., 2023, Tajima et al., 31 Jul 2025).