Pith. sign in

REVIEW 3 major objections 4 minor 26 references

This paper proves that passive quantum reference frame transformations cannot create entanglement between physical systems: any entanglement that appears must already have been present in the standard-form description.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 14:37 UTC pith:MT5PXDWL

load-bearing objection Core theorem correct, but title oversells: no-creation only holds when conditional states are separable; Example 2 is wrong. the 3 major comments →

arxiv 2512.19790 v2 pith:MT5PXDWL submitted 2025-12-22 quant-ph hep-thphysics.hist-ph

Subsystem entanglement and separability in quantum reference frames

T. Rick Perche , Nat\'alia Salom\'e M\'oller , Guilherme Franzmann This is my paper
classification quant-ph hep-thphysics.hist-ph
keywords quantum reference framesentanglementseparabilitypassive reference framesstandard formlocal unitary operationsrelational quantum mechanics
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper asks when a change of quantum reference frame can be trusted not to change the physics of the systems being described, and answers by isolating a class of 'passive' transformations. For these, it proves that separability of the physical systems is preserved: if the physical sector is separable in one frame's standard description, it stays separable after any passive frame change. The mechanism is that physical systems enter the transformation only through local unitaries, so the map on the physical sector is a random local-unitary channel, which cannot increase entanglement. The paper also derives a necessary condition for physical-sector entanglement to appear at all, and a mixed-state generalisation. A sympathetic reader would care because it tells experimenters when reported 'entanglement generation' by a QRF is real and when it is an artifact of the frame choice.

Core claim

The central claim is a theorem: for a passive quantum reference frame R_k, if every conditional state |g⟩⟨g|Ψ⟩^(k) obtained by projecting on reference axes is separable, then every such conditional state is separable in any other passive frame R_l. Since the reduced state of the physical systems is a mixture of these conditional states, no passive frame change can turn a separable physical sector into an entangled one. Equivalently, the transformation between passive frames acts on the physical sector as a random local-unitary channel, which cannot increase entanglement relative to the standard form. The contrapositive gives a necessary condition: if the physical sector is entangled in one f

What carries the argument

The load-bearing object is the passive quantum reference frame: a frame system R_k modelled on L²(G) that carries a faithful representation of a symmetry group G, together with the 'standard form' state |Ψ⟩^(k) = (∫ dg δ(g_k) f(g)|g⟩) ⊗ |ψ_phys⟩^(k), in which one frame defines a classical axis and the physical systems are described by an ordinary quantum state. The transformation to another passive frame has the explicit form T_{k→l} = ∫ dg δ(g_k) g_l^{-1}·|g⟩⟨g| ⊗ U†(g_l), where U(g_l) = U_1(g_l)⊗...⊗U_N(g_l) is a tensor product of local unitaries on the physical systems. Because the conditional states of the physical sector transform only by these local unitaries, separability of the condi

Load-bearing premise

The proof assumes that the total Hilbert space splits cleanly into reference systems and physical systems, and that physical systems respond to the symmetry only by independent, local unitaries; if the frame change can reshuffle which systems are physical or change the tensor-product structure itself, the conclusion can fail.

What would settle it

Consider a finite group G (e.g., Z_2) with two passive frame qubits and two physical qubits, choose any standard-form initial state with separable |ψ_phys⟩, apply the passive transformation T_{k→l} of Eq. (11), and compute the partial transpose of the reduced state on the physical sector. Finding any negative eigenvalue would falsify the theorem; a numerical random search over f(g) and local unitary representations U_j(g) should come up empty if the paper is right.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If a physical sector is separable in any standard axis of a passive QRF, it remains separable after any passive frame change; all apparent entanglement lives in correlations with reference systems.
  • Physical-sector entanglement is maximal in standard forms: a passive QRF transformation can only degrade it into correlations with the reference frames, never increase it.
  • Entanglement in the physical sector after a frame change forces at least one axis-projected conditional state |g⟩⟨g|Ψ⟩ to be entangled in every frame; the same holds for mixed states componentwise.
  • Standard axes form an equivalence class: if one standard form has a separable physical sector, every standard form does, so separability is a frame-independent property of passive descriptions.
  • The criterion applies also to symmetric treatments where every system can serve as a frame, provided the transformation's effective action on the systems of interest remains local-unitary.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A testable extension: the necessary condition suggests a quantitative measure of 'genuine' physical-sector entanglement as the minimum, over standard axes, of the entanglement of the induced conditional-state ensemble—an invariant that passive frame changes cannot increase.
  • In practical QRF implementations, apparent entanglement generation between target systems should be re-examined by checking whether the initial frame was in a standard (uncorrelated) state; the theorem says any measured physical-sector entanglement in that case must have been supplied by the source state, not created by the frame change.
  • The reference/physical distinction suggests a hierarchy: systems that can never be put in a separable conditional form relative to any frame display entanglement that is genuinely a quantum-frame effect; this could be used as an order parameter for 'non-classicality' of frames.
  • For continuous or approximate frames, the exact theorem may become a bound: if the local-unitary structure holds only approximately, entanglement generation should be bounded by the approximation error; this is a concrete route to quantitative tests.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper distinguishes reference-frame degrees of freedom (ideal L^2(G) systems carrying a left-regular representation) from physical systems (arbitrary quantum systems carrying representations of G). It defines 'passive quantum reference frames' as frames admitting at least one 'standard axis', i.e. a description in which the global state factorizes as a frame state with the axis at the identity times a physical state. The main theorem states that if all conditional states |g><g|Psi>^(k) are separable in one passive frame, then they remain separable in any other passive frame, because the QRF transformation acts on the physical conditional states by local unitaries. From this the paper derives a necessary condition for physical-sector entanglement and claims that passive QRF transformations cannot create entanglement between physical systems. Appendices provide the transformation, a mixed-state generalization, and a random-local-unitary channel argument.

Significance. The formal core of the paper is sound and has clear value: the theorem in the 'Necessary condition' section is a correct, parameter-free statement, and the proof in Appendix A is straightforward and convincing. The observation that from a standard form the physical sector undergoes a random local unitary channel (Appendix C) is a nice, rigorous way to show entanglement non-increase. The paper also makes a useful conceptual distinction between separability of all conditional states and separability of the reduced physical state. However, the advertised no-creation claim is broader than what is actually proved. The theorem requires the strong premise that every conditional state is separable; the physical reduced state being separable is not enough. A valid counterexample within the paper's own framework shows that a passive QRF transformation can create physical entanglement from a separable reduced state when the conditional states are entangled. The paper's own Example 2 is intended to exhibit this, but as written it contains an algebraic error. The central necessary-condition result is publishable, but the title, abstract, and concluding claims need to be qualified, and the examp

major comments (3)
  1. [Title/Abstract] The no-creation claim is overbroad. The theorem's premise is that all conditional states |g><g|Psi>^(k) are separable, which is strictly stronger than separability of the reduced physical state. Under the paper's own definitions, take G=Z_2, two reference qubits and two physical qubits with U_A(1)=Z, U_B(1)=I (allowed by footnote [20]). For |Psi>^(1)=2^{-1/2}|0>_1(|0>_2|Phi+>_ab+|1>_2|Phi->_ab), the AB reduced state is separable, but T_{1->2} in Eq. (11) maps to |0>_2|+>_1|Phi+>_ab, with AB entangled. The initial state is not in standard form (Eq. (9)), so the theorem does not apply; nevertheless it is a passive QRF in the paper's sense (Example 2 is of this type). Thus the no-creation statement holds only for standard-form inputs, not for all passive transformations. The title and abstract should be revised accordingly.
  2. [Example 2] The claimed transformation is algebraically wrong. With U(1)=sigma_x (x) sigma_x as stated in Eq. (3), X (x) X |Phi-> = -|Phi->, so applying T_{1->2} to Eq. (6) yields |0>_2(|0>_1|Phi+> - i|1>_1|Phi->)/sqrt(2), not Eq. (7). As written, AB remains separable and the example does not illustrate entanglement creation. The calculation can be fixed by choosing a different allowed representation (e.g. U_A(1)=Z, U_B(1)=I, as in the counterexample above), but the example must be corrected before publication.
  3. [Necessary condition] The corollary is phrased as a substantive necessary condition, but the core statement 'if rho_phys is entangled then some conditional state is entangled' follows directly from Eq. (14), since rho_phys is a mixture of the conditional states. The genuinely non-trivial content is the invariance of conditional separability under passive transformations. This should be stated clearly so that the reader understands what is being added beyond the immediate definition of the reduced state.
minor comments (4)
  1. [Appendix C] In Eq. (C1), the argument of f appears to be missing the shift: following Appendix A, the channel should read |f(g_k^{-1}g)|^2 rather than |f(g)|^2, unless a variable redefinition is intended but not stated. Please clarify the integration variables and the delta function.
  2. [Eq. (11)] The notation g_l^{-1} |g> is ambiguous in the main text; it is defined in Appendix A only after being used. Please state explicitly that the left action is applied componentwise to all reference factors.
  3. [Introduction] Footnote [20] is very helpful for understanding the passive framework. Consider citing it already at Eq. (8), where the physical systems are introduced, rather than only in the examples.
  4. [Passive QRF] Typo: 'if there exits a standard axis' should read 'if there exists a standard axis'.

Circularity Check

0 steps flagged

No significant circularity: the central theorem follows from the stated conditional-state dynamics and is not assumed in its premises.

full rationale

The derivation chain is self-contained. The theorem assumes pointwise separability of the conditional physical states |g><g|Psi>^(k); Appendix A proves that these conditional states transform under a passive frame change as |psi~(g)> = U†(g_k^{-1}) |psi(g_k^{-1} g)> with U a product of local unitaries on the physical systems (Eq. (11)/(A14)), so separability is preserved exactly. The no-entanglement statement then uses the separate definitional premise (Eq. (9)) that a passive QRF has a standard axis in which the physical sector is uncorrelated with the references; when |psi_phys>^(k) is separable, all conditional states are separable in that frame, and the theorem transfers that separability to every frame. Appendix C identifies the induced physical map as a random local unitary channel, whose inability to increase entanglement follows from convexity, not from a fitted parameter or from assuming the result. There is no fitted input called a prediction, no uniqueness theorem imported from the authors' prior work, and the cited prior work (e.g. Ref. [15]) is used for context and motivation rather than as the load-bearing step. One could object that the local-unitary restriction on the physical sector makes the no-creation statement largely definitional, and the title is broader than the proven conditional statement (Example 2 illustrates an apparent increase starting from a non-standard frame); but that is a scope/correctness concern, not a circular reduction. The conclusions are not equivalent to the premises by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

No free parameters or fitted constants. The proof assumes the group-theoretic setup: reference frames in L^2(G), physical systems only through local unitary representations, a fixed TPS for physical systems, and existence of a standard axis for 'passive' claims. These assumptions are explicit but are exactly what makes the no-entanglement conclusion possible.

axioms (3)
  • domain assumption Reference systems are always modeled on L^2(G) with left-regular representation, while physical systems contribute only through tensor-product unitary representations U_j(g).
    Eq. (8)-(11) and Appendix A. This is what makes the QRF map act on physical systems by local unitaries; if physical systems were also L^2(G) frames, TPS and subsystem structure can change (Ref. [13]).
  • ad hoc to paper A passive QRF state has at least one standard axis, i.e., a frame R_k such that the full state factorizes as frame-state ⊗ physical state (Eq. (9)/(10)).
    Definition of passive QRF in main text. The no-entanglement claim applies only relative to such standard forms; Example 2 is claimed to satisfy this but does not as written.
  • domain assumption The QRF transformation T_{k→l} is only applied to states already described relative to R_k, with g_k=e, so the Dirac delta δ(g_k) in Eq. (11) is a valid restriction.
    Appendix A, sentence 'this transformation should only be applied to vectors described relative to reference frame R_k ... In this subspace we have g_k=e.' The theorem inherits this domain restriction.

pith-pipeline@v1.3.0-alltime-deepseek · 10221 in / 24771 out tokens · 245565 ms · 2026-08-03T14:37:32.909832+00:00 · methodology

0 comments
read the original abstract

We find a necessary condition for subsystems to become entangled after a quantum reference frame transformation. We then distinguish between subsystems that admit separable descriptions relative to a quantum reference frame, and those that do not. On the one hand, we show that separable descriptions maximize the entanglement internal to the subsystem, and relate our results with the conservation of entanglement and coherence under quantum reference frame transformations. On the other hand, systems that do not admit a separable description relative to any subsystem display a form of entanglement that is genuine to the quantum reference frame formalism.

Figures

Figures reproduced from arXiv: 2512.19790 by Guilherme Franzmann, Nat\'alia Salom\'e M\'oller, T. Rick Perche.

Figure 1
Figure 1. Figure 1: The figure depicts a change of reference frames from [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

26 extracted references · 6 linked inside Pith

  1. [1]

    Giacomini, E

    F. Giacomini, E. Castro-Ruiz, and ˇC. Brukner, Quantum mechanics and the covariance of physical laws in quan- tum reference frames, Nature Communications10, 494 (2019)

    2019

  2. [2]

    inertial

    Notice that applying ˆS1 2 to a state|Ψ⟩ (1) =|e⟩ 1 ⊗ |ψrel⟩(1) results in a state|Ψ⟩ (2) = ˆS1 2 |Ψ⟩(1) =|e⟩ 2 ⊗ |ψrel⟩(2), changing the relative state|ψ rel⟩(1) to|ψ rel⟩(2). Figure 1. The figure depicts a change of reference frames from system 1 to system 2 (blue). The state of the current reference frame is denoted as a green arrow, and we distinguish...

  3. [3]

    de la Hamette and T

    A.-C. de la Hamette and T. D. Galley, Quantum reference frames for general symmetry groups, Quantum4, 367 (2020)

    2020

  4. [4]

    Vanrietvelde, P

    A. Vanrietvelde, P. A. Hoehn, F. Giacomini, and E. Castro-Ruiz, A change of perspective: switching quan- tum reference frames via a perspective-neutral frame- work, Quantum4, 225 (2020)

    2020

  5. [5]

    P. A. H¨ ohn, A. R. Smith, and M. P. Lock, Trinity of relational quantum dynamics, Physical Review D104, 10.1103/physrevd.104.066001 (2021)

    doi:10.1103/physrevd.104.066001 2021

  6. [6]

    P. A. H¨ ohn, M. Krumm, and M. P. M¨ uller, Internal quan- tum reference frames for finite abelian groups, Journal of Mathematical Physics63, 10.1063/5.0088485 (2022)

    doi:10.1063/5.0088485 2022

  7. [7]

    de la Hamette, T

    A.-C. de la Hamette, T. D. Galley, P. A. Hoehn, L. Loveridge, and M. P. Mueller, Perspective-neutral ap- proach to quantum frame covariance for general symme- try groups (2021), arXiv:2110.13824 [quant-ph]

    Pith/arXiv arXiv 2021

  8. [8]

    Castro-Ruiz and O

    E. Castro-Ruiz and O. Oreshkov, Relative subsystems and quantum reference frame transformations (2023), arXiv:2110.13199 [quant-ph]

    Pith/arXiv arXiv 2023

  9. [9]

    Miyadera, L

    T. Miyadera, L. Loveridge, and P. Busch, Approximating relational observables by absolute quantities: a quantum accuracy-size trade-off, Journal of Physics A: Mathemat- ical and Theoretical49, 185301 (2016)

    2016

  10. [10]

    Loveridge, P

    L. Loveridge, P. Busch, and T. Miyadera, Relativity of quantum states and observables, EPL (Europhysics Let- ters)117, 40004 (2017)

    2017

  11. [11]

    Loveridge, T

    L. Loveridge, T. Miyadera, and P. Busch, Symmetry, ref- erence frames, and relational quantities in quantum me- chanics, Foundations of Physics48, 135–198 (2018)

    2018

  12. [12]

    Glowacki, Quantum reference frames on homogeneous spaces (2024), arXiv:2409.07231 [quant-ph]

    J. Glowacki, Quantum reference frames on homogeneous spaces (2024), arXiv:2409.07231 [quant-ph]

    Pith/arXiv arXiv 2024

  13. [13]

    Glowacki, L

    J. Glowacki, L. Loveridge, and J. Waldron, Quantum reference frames on finite homogeneous spaces, Interna- tional Journal of Theoretical Physics63, 137 (2024)

    2024

  14. [14]

    Ali Ahmad, T

    S. Ali Ahmad, T. D. Galley, P. A. Hoehn, M. P. E. Lock, and A. R. H. Smith, Quantum Relativity of Subsystems, Phys. Rev. Lett.128, 170401 (2022), arXiv:2103.01232 [quant-ph]

    Pith/arXiv arXiv 2022

  15. [15]

    Carette, J

    T. Carette, J. Glowacki, and L. Loveridge, Operational Quantum Reference Frame Transformations, Quantum 9, 1680 (2025)

    2025

  16. [16]

    Cepollaro, A

    C. Cepollaro, A. Akil, P. Cie´ sli´ nski, A.-C. de la Hamette, and C. Brukner, Sum of Entanglement and Subsystem Coherence Is Invariant under Quantum Reference Frame Transformations, Phys. Rev. Lett.135, 010201 (2025), arXiv:2406.19448 [quant-ph]

    arXiv 2025

  17. [17]

    W. G. Unruh, Notes on black-hole evaporation, Phys. Rev. D14, 870 (1976)

    1976

  18. [18]

    L. C. B. Crispino, A. Higuchi, and G. E. A. Matsas, The Unruh effect and its applications, Rev. Mod. Phys.80, 787 (2008)

    2008

  19. [19]

    IfGis a continuous group, this basis has to be under- stood in the same generalized way that{|x⟩} x∈R is an orthonormal basis ofL 2(R)

  20. [20]

    For discrete groups integrals should be understood as sums andδ(g) as the Kronecker delta

  21. [21]

    For instance, even ifG=Z 2 and the reference frames are qubits realised asL 2(Z2) ∼= C2 with basis{|0⟩,|1⟩} and the left-regular shift action, one could potentially consider a situation where the physical systems ared- dimensional quditsH j ∼= Cd that transform underZ 2 throughanyunitary representationg7→ ˆUj(g). Such a representation is always a direct s...

  22. [22]

    J. D. Vuyst, P. A. Hoehn, and A. Tsobanjan, On the re- lation between perspective-neutral, algebraic, and effec- tive quantum reference frames (2025), arXiv:2507.14131 [quant-ph]

    Pith/arXiv arXiv 2025

  23. [23]

    Zanardi, D

    P. Zanardi, D. A. Lidar, and S. Lloyd, Quantum tensor product structures are observable induced, Phys. Rev. Lett.92, 060402 (2004)

    2004

  24. [24]

    Soulas, G

    A. Soulas, G. Franzmann, and A. Di Biagio, On the emer- gence of preferred structures in quantum theory (2025), arXiv:2512.07468 [quant-ph]

    arXiv 2025

  25. [25]

    Franzmann, To be or not to be, but where?, arXiv:2405.21031 [quant-ph] (2024)

    G. Franzmann, To be or not to be, but where?, arXiv:2405.21031 [quant-ph] (2024)

    Pith/arXiv arXiv 2024

  26. [26]

    Notice that, when applying ˆT k l to a state of the form |Ψ⟩(k) =|e⟩ k ⊗ |Ψrest⟩, one can simply write ˆT k l = Z dgg −1 l · |g⟩ ⟨g| ⊗ˆU †(gl),(C2) whereδ(g k) is naturally implemented by the states de- scribed with respect to frameR k