The Wigner–Araki–Yanase (WAY) theorem establishes an important constraint that conservation laws impose on quantum mechanical measurements. We formulate the WAY theorem in the broader context of resource theories, where one is constrained to a subset of quantum mechanical operations described by a symmetry group. Establishing connections with the theory of quantum state discrimination we obtain optimal unitaries describing the measurement of arbitrary observables, explain how prior information can permit perfect measurements that circumvent the WAY constraint, and provide a framework that establishes a natural ordering on measurement apparatuses through a decomposition into asymmetry and charge subsystems.
The Wigner–Araki–Yanase (WAY) theorem establishes an important constraint that conservation laws impose on quantum mechanical measurements. We formulate the WAY theorem in the broader context of resource theories, where one is constrained to a subset of quantum mechanical operations described by a symmetry group. Establishing connections with the theory of quantum state discrimination we obtain optimal unitaries describing the measurement of arbitrary observables, explain how prior information can permit perfect measurements that circumvent the WAY constraint, and provide a framework that establishes a natural ordering on measurement apparatuses through a decomposition into asymmetry and charge subsystems.
The Wigner-Araki-Yanase (WAY) theorem can be understood as a result in the resource theory of asymmetry asserting the impossibility of perfectly simulating, via symmetric processing, the measurement of an asymmetric observable unless one has access to a state that is perfectly asymmetric, that is, one whose orbit under the group action is a set of orthogonal states. The simulation problem can be characterized information-theoretically by considering how well both the target observable and the resource state can provide an encoding of an element of the symmetry group. Leveraging this information-theoretic perspective, we show that the WAY theorem is a consequence of the no-programming theorem for projective measurements. The connection allows us to clarify the conceptual content of the theorem and to deduce some interesting generalizations.
A useful and unifying concept in quantum information theory is the idea of a consumable "resource". The basic idea behind quantum resource theories is that whenever we face restrictions on the set of operations we can perform, some states (resource states) enable us to perform particular tasks that otherwise would have been impossible. In this thesis we first review a resource theory that recently has gained a lot of attention, namely the resource theory of asymmetry in which one is restricted to symmetric operations and therefore asymmetric states are the resource states. The asymmetry properties of a state relative to some symmetry group specify how and to what extent the given symmetry is broken by the state. In the remainder of the thesis we explain how the ideas developed in this resource theory are related to three different areas in quantum theory: theory of quantum reference frames, the Wigner-Araki-Yanase(WAY) theorem and the conditional probability interpretation of time in quantum mechanics. Theory of quantum reference frames treats reference frames like any other physical system within the formalism of quantum theory, which causes the measurements to be an approximation of the measurements against their classical counterparts. We consider the dynamics of a quantum directional reference frame undergoing repeated interactions. These interactions induce a back-action on the reference which is the central focus of our study. The effect of a precise sequence of measurement outcomes on the reference frame is studied by looking at both the case that the measurement record is averaged over and the case wherein it is retained. We find, in particular, that there is interesting dynamics in the latter situation, which cannot be revealed by considering the average case. We then consider in detail how a sequence of rotationally invariant unitary interactions affects the reference frame, a situation, which leads to quite different dynamics than the case of repeated measurements. Different strategies for correcting reference frame drift is considered given that we have access to a set of particles with polarization opposite to the direction of drift. In particular, we find that, by implementing a suitably chosen unitary interaction after every two measurements, we can eliminate the rotational drift of the reference frame. The WAY theorem establishes an important constraint that conservation laws impose on quantum mechanical measurements. We formulate the WAY theorem in the broader context of resource theories, where one is constrained to a subset of quantum mechanical operations described by a symmetry group. Establishing connections with the theory of quantum state discrimination we obtain optimal unitaries describing the measurement of arbitrary observables, explain how prior information can permit perfect measurements that circumvent the WAY constraint, and provide a framework that establishes a natural ordering on measurement apparatuses through a decomposition into asymmetry and charge subsystems. Finally we review two di erent schemes in the conditional probability interpretation (CPI) of time in quantum mechanics. In these schemes parameter time "t" as it appears in Schrodinder equation is considered to be unobservable, yet one can use an extension of conditional probabilities in order to study dynamics of a system relative to another system, namely the quantum clock. We phrase CPI as a quantum communication protocol which enables us to use the machinery developed in the resource theory of asymmetry. This provides us with a deeper understanding of the decoherence effect caused due to the inaccessibility of the parameter time "t" and that how this effect can be suppressed by choosing an optimal initial state for the quantum clock.
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 LS is bounded, given a conserved total additive system plus apparatus quantity LSA, the measurement operator ES must commute with 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.
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.
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 Wigner-Araki-Yanase (WAY) theorem states a remarkable limitation to quantum mechanical measurements in the presence of additive conserved quantities. Discovered by Wigner in 1952, this limitation is known to induce constraints on the control of individual quantum systems in the context of information processing. It is therefore important to understand the precise conditions and scope of the WAY theorem. Here we elucidate its crucial assumptions, briefly review some generalizations, and show how a particular extension can already be obtained by a simple modification of the original proofs. We also describe the evolution of the WAY theorem from a strict no-go verdict for certain, highly idealized, precise measurements into a quantitative constraint on the accuracy and approximate repeatability of imprecise measurements.