REVIEW 2 minor 15 references
Exact Solutions for Spin Conserving Models and the Wigner-Araki-Yanase Theorem
T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3
Pith's one-line read An angular momentum conserving model provides exact solutions for the Wigner-Araki-Yanase theorem.
desk verdict Angular-momentum model yields exact closed-form results for the WAY theorem under standard von Neumann assumptions. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The general angular momentum conserving model of measurement that generates the system-only channel via tracing or Kraus operators.
What would settle it
A calculation in which the traced density matrix or derived Kraus operators permits a non-commuting measurement operator while still conserving total angular momentum would falsify the derivation.
Extended reading notes
Core claim
Under the assumptions of the von Neumann measurement model with a bounded system conserved quantity L_S and a conserved total additive quantity L_SA, the measurement operator E_S must commute with L_S, and the effects of measurement can be computed exactly from the angular momentum conserving apparatus model using either partial trace or Kraus operators.
Load-bearing premise
The total additive quantity L_SA is exactly conserved and the system quantity L_S is bounded.
Editorial extensions
If this is right
- The commutation condition required by the WAY theorem follows immediately from angular momentum conservation in this setup.
- Exact post-measurement states of the system are obtained without performance bounds or approximations.
- The same exact results hold whether the apparatus is traced out of the joint density matrix or the channel is written with Kraus operators.
Reading between the lines
- If analogous conserving apparatus models can be constructed for other additive conserved quantities, similar exact solutions may exist.
- The Kraus-operator form makes it possible to insert conservation-law constraints directly into simulations of quantum channels.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops an angular-momentum-conserving von Neumann measurement model in which the system observable L_S is bounded and the total additive quantity L_SA is exactly conserved. Under unitary evolution on the composite system, the authors derive closed-form expressions for the post-measurement state by partial trace over the apparatus and for the induced system channel via Kraus operators; both routes are shown to enforce the commutation relation [E_S, L_S] = 0 required by the Wigner-Araki-Yanase theorem.
Significance. If the derivations are correct, the construction supplies exact, parameter-free results for the effects of a conservation-law-constrained measurement, furnishing a direct physical account of the WAY theorem that avoids the auxiliary bounds and technical complications of earlier momentum-based proofs. The dual density-matrix and Kraus-operator treatments strengthen the claim that the commutation constraint follows immediately from the model assumptions.
minor comments (2)
- [Abstract] Abstract: the claim of 'exact results' is stated without any displayed equation or key expression; inserting the explicit form of the Kraus operators or the traced density matrix would make the central result immediately visible to readers.
- [Introduction / §2] The manuscript should clarify whether the boundedness of L_S is used only as an assumption or whether it emerges from the spin-conserving dynamics; a brief remark in the introduction or §2 would remove potential ambiguity.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.
Circularity Check
No significant circularity; derivation self-contained from model assumptions
full rationale
The paper constructs an angular-momentum-conserving von Neumann measurement model with bounded L_S and additive conserved L_SA, then derives exact post-measurement states via partial trace over the apparatus and via Kraus operators for the system-only channel. These derivations reproduce the required [E_S, L_S]=0 commutation as a direct consequence of the unitary evolution under the conservation constraint. No self-definitional steps, fitted parameters renamed as predictions, or load-bearing self-citations appear in the stated program. The central results follow from the explicit model construction and standard quantum operations without reduction to inputs by definition. The boundedness condition is stated explicitly rather than smuggled. This is the normal case of an independent derivation.
Assumptions & free parameters
Cite this review
Pith. "Pith review of Exact Solutions for Spin Conserving Models and the Wigner-Araki-Yanase Theorem." pith.science (2026). https://pith.science/paper/XTRRLQ54
@misc{pith2026260602861,
author = {Pith},
title = {Pith review of: Exact Solutions for Spin Conserving Models and the Wigner-Araki-Yanase Theorem},
year = {2026},
howpublished = {\url{https://pith.science/paper/XTRRLQ54}},
note = {Machine review of arXiv:2606.02861}
}
abstract
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.
Reference graph
Works this paper leans on
-
[1]
The initial system state is equivalent to the following superposition of states of spin in the x-direction: |↑⟩𝑧 = 1 √2 (|↑⟩𝑥 + |↓⟩𝑥)
Introduction Consider a spin initially prepared spin up relative to the z-direction, denoted |↑⟩𝑧 that enters a Stern - Gerlach device oriented to obtain measurements in the x-direction (or similar device ). The initial system state is equivalent to the following superposition of states of spin in the x-direction: |↑⟩𝑧 = 1 √2 (|↑⟩𝑥 + |↓⟩𝑥). (1) If one wer...
-
[2]
In order for angular momentum to be conserved in the x-direction, the spin of the apparatus must increase by the spin of |↓⟩𝑥. Hence the spin of system -apparatus becomes |↑⟩𝑥 ⊗ |𝜓𝑎𝑝𝑝+↓⟩𝑥 where |𝜓𝑎𝑝𝑝+↓⟩𝑥 represents the state with the addition of spin angular momentum of |↓⟩x to the initial state of the apparatus |𝜓𝑎𝑝𝑝⟩. At the final time it is seen that 𝐸...
-
[3]
Energy and Momentum Conserving Model s Consider a system and apparatus with states in the respective Hilbert spaces ℋ𝑆 and ℋ𝐴. The theorem often referred to as the WAY theorem considers the measurement of a sharp system observable 𝐸𝑆 with discrete eigenvalues 𝜆𝑖 and corresponding eigenvectors 𝑒𝑖,𝑗 𝐸𝑆|𝑒𝑖,𝑗⟩ = 𝜆𝑖|𝑒𝑖,𝑗⟩, ∀𝑖, 𝑗. with orthogonal eigenvectors i...
-
[4]
Exact Solutions In this section we will illustrate how one can obtain an exact solution for the impact that the SG device will have on the system state. In order to determine how the uncertainty in the SG device effects the system state, one needs to consider how the apparatus state, which is initially |0⟩𝑥,𝐴⨂|0⟩𝑧,𝐴, forms apparatus states such as |+↑⟩𝑥,𝐴...
-
[5]
Conclusions It is generally agreed that momentum and energy are always conserved. Rather than derive the WAY theory using abstract proofs via the detailed properties of unitary evolution and imposing conservation laws, we developed a general class of spin conserving models. The advantage of starting with a conserving model class is that one sees in a stra...
-
[6]
Translation of "Die Messung quantenmechanischer Operatoren" by E.P.~Wigner
E. P. Wigner, “Die Messung quantenmechanischer Operatoren,” Zeitschrift fur Physik (English translation by Paul Busch, https://arxiv.org/abs/1012.4372) , vol. 133, pp. 101 –108, 1952
work page Pith review arXiv 1952
-
[7]
Measurement of quantum mechanical operators,
H. Araki and M. M. Yanase, “Measurement of quantum mechanical operators,” Physical Review, vol. 120, p. 622, 1960
1960
-
[8]
Optimal measuring apparatus,
M. M. Yanase, “Optimal measuring apparatus,” Physical Review, vol. 123, p. 666, 1961
1961
Show all 15 references
-
[9]
A problem in Hilbert space theory arising from the quantum theory of measurement,
A. Shimony and H. Stein, “A problem in Hilbert space theory arising from the quantum theory of measurement,” The American Mathematical Monthly , vol. 86, pp. 292 –293, 1979
1979
-
[10]
Limitations on quantum measurements. I. Determination of the Minimal Amount of Nonideality and Identification of the Optimal Measuring Apparatuses,
G. C. Ghirardi, F. Miglietta, A. Rimini, and T. Weber, “Limitations on quantum measurements. I. Determination of the Minimal Amount of Nonideality and Identification of the Optimal Measuring Apparatuses,” Physical Review D, vol. 24, no. 2, p. 347, 1981
1981
-
[11]
Limitations on quantum measurements. II. Analysis of a model example,
G. C. Ghirardi, F. Miglietta, A. Rimini, and T. Weber, “Limitations on quantum measurements. II. Analysis of a model example,” Physical Review D , vol. 24, no. 2, p. 353, 1981
1981
-
[12]
Conservation laws, uncertainty relations, and quantum limits of measurements,
M. Ozawa, “Conservation laws, uncertainty relations, and quantum limits of measurements,” Phys. Rev. Lett., vol. 88, p. 50402, 2002
2002
-
[13]
Preskill’s Notes,
J. Preskill, “Preskill’s Notes,” http://theory.caltech.edu/~preskill/ph219/chap3_15.pdf
-
[14]
Wigner -Araki-Yanase theorem beyond conservation laws,
M. Tukiainen, “Wigner -Araki-Yanase theorem beyond conservation laws,” Phys. Rev. A (Coll. Park)., vol. 95, no. 1, p. 12127, Jan. 2017, doi: 10.1103/PhysRevA.95.012127
2017 doi
-
[15]
Compatibility of generalized noisy qubit measurements,
M. J. Renner, “Compatibility of generalized noisy qubit measurements,” Phys. Rev. Lett. , vol. 132, no. 25, p. 250202, 2024
2024
Reviewed June 28, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.