REVIEW 6 minor 31 references
Reference frames which separately store non-commuting conserved quantities
T0 review · 0 major / 6 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that a fixed reference frame of spin-½ particles implements any rotation of a spin-½ system under exact angular-momentum conservation while storing each non-commuting spin component in its own battery, to arbitrary…
desk verdict New and sound construction for separating non-commuting conserved quantities into distinct batteries; only minor presentation slips, especially a sign reversal in the y-rotation reference pair. 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 load-bearing object is the rotationally invariant three-spin operator $T = \mathbf{s}\cdot(\mathbf{s}' \times \mathbf{s}'') = \sum_{j,k,\ell} \varepsilon_{jk\ell} s_j s'_k s''_\ell$, a scalar built as the dot product of one spin with the cross product of two others, which therefore commutes with every component of total angular momentum. Acting with $V_\alpha = \exp(-i 4\alpha T/N)$ on the system plus two frame spins prepared in $\tau_y \otimes \tau_z$ generates the small rotation $\exp(-i\alpha s_x/N)$ on the system while, to first order, only the first frame spin's $z$-component and the second frame spin's $y$-component change. Because each frame spin sits in a maximal eigenstate of the direction in which it points, a first-order change cannot occur along that direction, and the cross-product structure fixes which perpendicular components move; cyclically permuting the preparation routes rotations about $y$ and $z$ into the corresponding perpendicular components. Six frame spins implement a small rotation about an arbitrary axis in three successive steps, and repeating the procedure $N$ times with fresh six-spin blocks builds any target rotation with total error $O(1/N)$, which is the mechanism that makes both the accuracy and the separation conditions tunable to arbitrary precision.
What would settle it
Simulate the protocol classically for increasing numbers of rounds $N$, using the explicit prefactor $(648 + 16(e-2))\pi^2/N$ from Eq. (A13), and plot the trace-norm distance between the channel actually implemented on the system and the target rotation $U_S$: the theorem predicts this distance decays as $1/N$ with that prefactor. If the error fails to shrink with $N$, or if any cross-battery change $|\Delta S^{(k)}_j|$ for $j \neq k$ fails to vanish as $N$ grows, the claim is refuted. The same simulation checks the single-round transfer laws directly, for instance that a frame spin initially pointing along $+y$ changes only its $z$-component, by the amount $-\alpha\,\mathrm{tr}\{s_y \rho_S\}/N$.
Extended reading notes
Core claim
The central claim is Theorem 1: for every accuracy $\varepsilon > 0$ and separation tolerance $\delta > 0$ there exists a reference frame $R$, made of many spin-½ particles in a fixed product state $\rho_R = \rho_R^{(x)} \otimes \rho_R^{(y)} \otimes \rho_R^{(z)}$, such that for every unitary $U_S$ on the system there is a joint unitary $V$ with three properties: it conserves every component of total angular momentum, $[V, S_{\mathrm{tot}}] = 0$; it implements $U_S$ within trace-norm error $\varepsilon$; and it satisfies the separation conditions, meaning the change in the system's $j$-th spin component is offset only by the $j$-th part of the frame, with all cross-battery changes and imbalances below $\delta$. The substance of the claim is the separation condition: although $S_x$, $S_y$ and $S_z$ do not commute, so that one cannot even measure one component without disturbing the other, the frame's three parts behave as independent batteries, each accepting only its own component. From the single spin-½ case the authors derive the same separation for any number of spin-½ particles, using the universality of single-qubit rotations plus one entangling gate, and they adapt the construction to separate a complete basis of non-commuting conserved quantities in dimension $2^n$, built from products of spin-½ operators.
Load-bearing premise
The whole accuracy guarantee rests on the assumption, taken as a lemma from the authors' earlier paper, that small errors from many rounds of approximate rotations accumulate at most linearly; if the per-round mistakes grew faster than linearly, for instance because the batteries became correlated with the system over many rounds, the claimed precision would not follow from the single-round bounds.
Editorial extensions
If this is right
- Any unitary transformation on any number of spin-½ particles can be performed while conserving all components of total angular momentum, with each system spin component's change stored only in its corresponding battery and the error made arbitrarily small by enlarging the reference frame.
- The three components of angular momentum of an unknown spin state can be extracted into three distinct systems up to arbitrary accuracy, leaving the system spin with zero average angular momentum.
- For systems of dimension $2^n$, a complete basis of non-commuting conserved quantities (products of spin-½ operators) can be split into separate batteries using the generalized antisymmetric interaction $T$.
- The construction supplies explicit, finite-size batteries for the quantum thermodynamics of non-commuting conserved quantities, where individual batteries for each conserved charge were previously lacking.
Reading between the lines
- The cross-product trick suggests a general principle the paper only gestures at: a direction can be specified just as well by a pair of perpendicular spins interacting through a rotational scalar as by spins aligned with the direction, and the two kinds of frame are physically inequivalent in how they store conserved charges; testing this for other symmetry groups, such as Lorentz boosts, would be
- Quantifying a resource cost left implicit: the error is $O(1/N)$ while the single-spin protocol uses $6N$ frame spins, so reaching accuracy $\varepsilon$ consumes $O(1/\varepsilon)$ frame particles; comparing this scaling with aligned-spin reference-frame constructions would measure the price of separating the conserved charges.
- The extraction protocol gives a concrete few-qubit experimental target: a system spin with known average $\langle s_x\rangle, \langle s_y\rangle, \langle s_z\rangle$ plus two maximally mixed ancillas should leave its three spin components visibly transferred into three distinct registers, with the paper's explicit single-round bounds making the finite-$N$ corrections testable.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper asks whether a quantum reference frame can implement arbitrary unitary transformations on a spin-1/2 system under exact conservation of total angular momentum while routing the changes in the three non-commuting components of the system spin into three separate 'batteries' within the frame. The main theorem (Theorem 1) asserts that for any accuracy epsilon and separation tolerance delta there is a fixed product reference-frame state of N spin-1/2 particles and a joint unitary V commuting with all components of total angular momentum such that any target unitary is implemented within epsilon and the change in each spin component of the system is compensated, up to delta, only by the corresponding part of the frame. The proof introduces a rotationally invariant three-spin cross-product interaction, applies it in N rounds with fresh reference spins, and derives explicit O(1/N) error bounds in Appendix A. The paper also sketches extensions to many qubits, to extracting the angular momentum components of an unknown spin state into separate systems, and, in the Supplementary Material, to higher-dimensional systems with a complete set of conserved quantities.
Significance. The result is significant for quantum information and quantum thermodynamics with non-commuting conserved quantities. It shows that the intuitive obstruction to separating non-commuting charges, namely their non-commutativity and the resulting impossibility of jointly measuring them, does not prevent one from constructing independent batteries for each charge, up to arbitrarily small errors. The paper is unusually concrete: Theorem 1 comes with explicit numerical constants in Eqs. (A6), (A8)-(A9), and (A13)-(A15), the reference-frame state is a fixed product state, the protocol is fully specified, and the accuracy and separation claims are summarized by quantitative O(1/N) bounds. The proof is essentially self-contained except for a standard linear error-accumulation lemma from the authors' earlier paper [9]; this is an appropriate citation rather than a source of circularity.
minor comments (6)
- [Main text, proof of Theorem 1, Eqs. (13)-(14)] The separation bounds in Eqs. (13) and (14) use a lowercase s for the reference-frame spin components (Delta s^(j)_j, Delta s^(k)_j), whereas Theorem 1 and the surrounding text use capital S for the spin of a reference-frame part; the notation should be made consistent.
- [Appendix A, Eq. (A12)] Equation (A12) contains an extra 'R' and an unmatched closing parenthesis in the displayed trace-norm expression; the intended expression is ||V_alpha_z V_alpha_y V_alpha_x (rho_S tensor tau_R) V_alpha_x^dagger V_alpha_y^dagger V_alpha_z^dagger - U_H rho_S U_H^dagger||_1.
- [Appendix A, proof of Eq. (A13)] The proof invokes the linear error-accumulation lemma from Appendix C of Ref. [9] without stating it; since this is the only non-self-contained ingredient, the lemma should be stated explicitly, or re-derived in a sentence, so that the O(1/N) accuracy bound is checkable from the paper alone.
- [Appendix B.3] In the proof that T commutes with all extended conserved quantities, the claim that [O_k,O_{a_r}] = xi O_b implies b is in {a,a_1,...,a_D}\{a_r} is not generally true; the subsequent argument using general structure constants covers the missing case, but the proof should be reorganized so that the main claim does not rest on this assertion, and the total antisymmetry of the structure constants should be stated explicitly.
- [Appendix B.3] The sentence beginning 'every non-zero term in [O_tot^k,T]=0 can be generated...' has a missing bracketed expression; it should read 'every non-zero term in [O_tot^k,T] can be generated...', as the current wording presupposes the conclusion.
- [Appendix B.2, Eq. (B4)] The state rho^(k) = I/d + c_{(k+r) mod D} O_{(k+r) mod D} used for rotations generated by O_r should specify c_m = 1/||O_m||, consistent with the state in Eq. (B1); otherwise the coefficient is undefined.
Circularity Check
No significant circularity: Theorem 1 is constructively derived and does not reduce to its inputs.
full rationale
The central claim, Theorem 1, is derived constructively from a rotation-invariant three-qubit interaction T = s·(s'×s'') and explicit first-order calculations in Appendix A. The separation property is not defined into existence: the reference-frame states are fixed symmetric product states and the first-order trace calculations select a single component for each battery, with explicit bounds on the changes in average spin. No parameter is fitted to the output; the theorem is an existence statement with explicit O(1/N) error bounds. The only externally cited ingredient is Ref. [9], used as a general bound on iterated approximate channels and on the difference between an exponential and its first-order expansion. That lemma is parameter-free, its assumptions do not include Theorem 1, and it is applied as a standard CPTP-map error-accumulation argument. The paper does not rename a known result or define the target in terms of the input, so the derivation is self-contained and non-circular.
Assumptions & free parameters
assumptions (4)
- standard math Spin operators obey the standard commutation relations [s_a, s_b] = i epsilon_abc s_c.
- domain assumption Perturbative expansion of unitary exponentials and the trace-norm triangle inequality are valid; specific constants are borrowed from Lemma D5 and Appendix C of Ref. [9].
- domain assumption Single-qubit unitaries plus any entangling two-qubit gate form a universal gate set for qubits.
- domain assumption Global dynamics must commute with all components of total angular momentum as the formal statement of angular-momentum conservation.
Cite this review
Pith. "Pith review of Reference frames which separately store non-commuting conserved quantities." pith.science (2026). https://pith.science/paper/EJWT4QAH
@misc{pith2026190802713,
author = {Pith},
title = {Pith review of: Reference frames which separately store non-commuting conserved quantities},
year = {2026},
howpublished = {\url{https://pith.science/paper/EJWT4QAH}},
note = {Machine review of arXiv:1908.02713}
}
abstract
Even in the presence of conservation laws, one can perform arbitrary transformations on a system if given access to a suitable reference frame, since conserved quantities may be exchanged between the system and the frame. Here we explore whether these quantities can be separated into different parts of the reference frame, with each part acting as a `battery' for a distinct quantity. For systems composed of spin-$\frac12$ particles, we show that the components of angular momentum $S_x$, $S_y$ and $S_z$ (non-commuting conserved quantities) may be separated in this way, and also provide several extensions of this result. These results also play a key role in the quantum thermodynamics of non-commuting conserved quantities.
Figures
Reference graph
Works this paper leans on
-
[9]
S. Popescu, A. B. Sainz, A. J. Short and A. Win- 5 ter. Philosophical Transactions of the Royal Soci- ety A: Mathematical, Physical and Engineering Sci- ences 376, 20180111 (2018)
work page 2018
-
[1]
E. P. Wigner. Zeitschrift f¨ ur Physik133, 101 (1952)
work page 1952
- [2]
- [3]
- [4]
- [5]
-
[6]
S. D. Bartlett, T. Rudolph and R. W. Spekkens. Reviews of Modern Physics 79, 555 (2007)
work page 2007
- [7]
Show all 31 references
-
[8]
Marvian and R
I. Marvian and R. W. Spekkens. New Journal of Physics 15, 033001 (2013)
2013
-
[10]
Guryanova, S
Y. Guryanova, S. Popescu, A. J. Short, R. Silva and P. Skrzypczyk. Nature Communications 7, 12049 (2016)
2016
-
[11]
J. A. Vaccaro and S. M. Barnett. Proceedings of the Royal Society A: Mathematical, Physical and Engi- neering Sciences 467, 1770 (2011)
2011
-
[12]
Barnett and J
S. Barnett and J. Vaccaro. Entropy 15, 4956 (2013)
2013
-
[13]
Yunger Halpern and J
N. Yunger Halpern and J. M. Renes. Physical Re- view E 93, 022126 (2016)
2016
-
[14]
Yunger Halpern
N. Yunger Halpern. Journal of Physics A: Mathe- matical and Theoretical 51, 094001 (2018)
2018
-
[15]
Lostaglio, D
M. Lostaglio, D. Jennings and T. Rudolph. New Journal of Physics 19, 043008 (2017)
2017
-
[16]
Yunger Halpern, P
N. Yunger Halpern, P. Faist, J. Oppenheim and A. Winter. Nature Communications 7, 12051 (2016)
2016
-
[17]
G. Gour, D. Jennings, F. Buscemi, R. Duan and I. Marvian. Nature Communications 9, 5352 (2018)
2018
-
[18]
Ito, Kosuke and M
K. Ito, Kosuke and M. Hayashi. Physical Review E 97, 012129 (2018)
2018
-
[19]
Manzano, Physical Review E 98, 042123 (2018)
G. Manzano, Physical Review E 98, 042123 (2018)
2018
-
[20]
Sparaciari, L
C. Sparaciari, L. del Rio, C. M. Scandolo, P. Faist and J. Oppenheim, arxiv[quant-ph]:1806.04937 (2018)
2018 arXiv
-
[21]
Yunger Halpern, M
N. Yunger Halpern, M. E. Beverland and A. Kalev, arxiv[quant-ph]:1906.09227 (2018)
2018 arXiv
-
[22]
J. L. Brylinski and R. Brylinski, arXiv:quant-ph/0108062 (2001)
2001 arXiv
-
[23]
Note that trBC [ U ( ρ ⊗ I 2 ⊗ I 2 ) U †] = 1 4 (ρ + XρX + Y ρY + ZρZ ) = I 2 . Appendix A: Explicit bounds for O ( 1 N 2 ) and O ( 1 N ) terms for spin- 1 2 systems Here we provide more detailed technical proofs giving explicit bounds for the O ( 1 N 2 ) and O (1 N ) terms in...
-
[24]
Proof of Eq. (6) First notice that trR { Vα ρS ⊗ τ ′ y ⊗ τ ′′ z V † α } = ρS − i 4α N trR { [T, ρS ⊗ τ ′ y ⊗ τ ′′ z ] } + O ( 1 N 2 ) , = ρS − i 4α N ∑ j,k,ℓ∈{x,y,z} ǫjkℓ [sj, ρS] tr { s′ kτ ′ y } tr {s′′ ℓ τ ′′ z} + O ( 1 N 2 ) , = ρS − i α N [sx, ρS] + O ( 1 N 2 ) , = Uα,x ρ...
-
[25]
(7) and (8) Here we will discuss the case of Eq
Proof of Eqs. (7) and (8) Here we will discuss the case of Eq. ( 7), since Eq. ( 8) follows similarly. First notice that ∆ s′ i = tr { (11 ⊗ s′ i ⊗ 11)Vα (ρS ⊗ τ ′ y ⊗ τ ′′ z ) V † α } − tr { s′ iτ ′ y } , = −i 4α N ∑ j,k,ℓ∈{x,y,z} ǫjkℓ tr {sjρS} tr { s′ i[s′ k, τ ′ y] } tr {s...
-
[26]
(12), (13) and (14) Let us start by proving Eq
Proofs of Eqs. (12), (13) and (14) Let us start by proving Eq. ( 12). When considering a general small rotation, we must obtain a boun d on ζ ≡ ‖ ‖ ‖trR { Vαz Vαy Vαx (ρS ⊗ τR) V † αx V † αy V † αz } − (ρS − i 1 N [H, ρS]) ‖ ‖ ‖ 1 . (A10) Following a similar argument to that b...
-
[27]
Introductory thoughts on systems of dimension d > 2 and spin conservation laws Let us first consider angular momentum conservation of spin s systems, with dimension d = 2 s + 1. In this case, we can use essentially the same procedure as in the main te xt (now taking τj as the e...
-
[28]
( 4), to higher dimensional systems
Generalisation to arbitrary dimension: what we can and ma y not do (yet) Here we present a generalisation of the reference frame defined in the main text for spin- 1 2 systems, and of the operator T of Eq. ( 4), to higher dimensional systems. In particular, we give sufficient co ...
-
[29]
Let us begin by revisiting the case with d = 2, where our conserved quantities are sx, sy and sz, as presented in the main text for spin- 1 2 systems
T preserves extended conserved quantities In this subsection, we show that T commutes with all extensive conserved quantities. Let us begin by revisiting the case with d = 2, where our conserved quantities are sx, sy and sz, as presented in the main text for spin- 1 2 systems....
-
[30]
Here, we can indeed find an operator basis with the properties specified above, and can thus s eparate any changes to a complete basis of conserved quantities
Dimension 2n Let us consider the case where we have a system S of dimension d = 2 n. Here, we can indeed find an operator basis with the properties specified above, and can thus s eparate any changes to a complete basis of conserved quantities. In particular, we take the set M o...
-
[31]
Explicit bounds As in the previous case, we can also calculate explicit bounds on the O ( 1 N 2 ) terms in the bounds above, using similar techniques to those in Appendix A and in Ref. [9]. In particular, we find ‖ ‖ ‖ trR { V ρ S ⊗ ρR V †} − (ρS − i α N [O0, ρS]) ‖ ‖ ‖ 1 ≤ ( 2...
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.