{"id":"23daee52-038d-4dc7-af4d-1b38e9630e52","arxiv_id":"2512.19790","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Passive quantum reference frame transformations cannot increase entanglement among physical systems: if the physical state is separable in a standard axis, it remains separable after any passive frame change.","lead":"This paper introduces 'passive' quantum reference frames—frames that can be described from an uncorrelated classical axis—and proves that switching between such frames cannot entangle the physical systems being described. It also gives a necessary condition for subsystem entanglement to survive or appear after a general quantum-reference-frame change.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The advertised no-creation result is false as stated: with a permitted local representation U_A(1)=Z, U_B(1)=I, the paper's own passive transformation maps a separable AB state to |Φ+>; the theorem's unstated premise is separability of all conditional states |g⟩⟨g|Ψ⟩.","rationale":"The reader's weakest assumption was the fixed tensor-product structure H_ref⊗H_phys and local-unitary action on physical systems. My concern is different and more direct: even within that fixed structure, the central claim as advertised is false. The theorem is valid, but its premise—separability of every conditional state |g⟩⟨g|Ψ⟩^(k)—is much stronger than separability of the physical reduced state. When the reference and physical sectors are initially correlated, the paper's own passive transformations can create physical entanglement. The counterexample with U_A(1)=Z, U_B(1)=I is fully within the paper's framework and gives a clean separable-to-entangled transition for the physical sector. The paper actually acknowledges that initial correlations can lead to entanglement generation, but the title and abstract nevertheless state an unconditional no-creation result; the reader already flagged the title as broader than the theorem and noted the algebraic inconsistency in Example 2. My analysis sharpens this into a concrete counterexample. The formal necessary condition is not undermined, so the appropriate outcome is still a conditional acceptance pending a major reframing and a corrected example; hence the reader's CONDITIONAL verdict remains unchanged, although the reason is now more specific and more severe than the reader's stated weakest assumption.","tokens_in":10505,"tokens_out":20843,"duration_ms":203524,"concrete_test":"Recompute the transformation in Example 2 for two choices of the physical representation. (i) With U(1)=X⊗X as stated, verify that S|Ψ⟩^(1)=|0⟩_2(|0⟩_1|Φ+⟩−i|1⟩_1|Φ−⟩), so the AB reduced state is separable. (ii) With U_A(1)=Z, U_B(1)=I, verify that S|Ψ⟩^(1)=|0⟩_2|+⟩_1|Φ+⟩_ab, so a separable AB reduced state becomes entangled. If both computations reproduce these results, the paper's no-creation claim is false as stated and needs an explicit 'all conditional states separable' hypothesis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The formal theorem is correct, but it does not establish the title. Its premise is that every conditional state |g⟩⟨g|Ψ⟩^(k) is separable; this is much stronger than the physical reduced state being separable. Under the paper's own definitions (Eq. (8), (11)), a passive QRF transformation can create physical entanglement from an initially separable reduced state. Counterexample: take G=Z2, two reference qubits and two physical qubits, with U_A(0)=I, U_A(1)=Z, U_B(g)=I (a tensor product of local unitaries, explicitly allowed). Let |Ψ⟩^(1)=2^{-1/2}|0⟩_1(|0⟩_2|Φ+⟩_ab+|1⟩_2|Φ−⟩_ab). The AB reduced state is 1/2(|00⟩⟨00|+|11⟩⟨11|), separable. Applying T_{1→2} from Eq. (11) gives |0⟩_2|+⟩_1|Φ+⟩_ab, so AB is entangled. The theorem escapes this only because the conditional states are |Φ±⟩, not separable. Moreover, Example 2, intended to illustrate creation, is algebraically wrong as written: with their stated U(1)=X⊗X, X⊗X|Φ−⟩=−|Φ−⟩, so the transformed state is |0⟩_2(|0⟩_1|Φ+⟩−i|1⟩_1|Φ−⟩) and AB remains separable, not Eq. (7). Thus the no-creation claim in the title/abstract is overbroad; the sound core is the necessary condition, not an unconditional no-go.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":10991,"tokens_out":16710,"duration_ms":153002,"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":[{"comment":"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.","section":"Title/Abstract"},{"comment":"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.","section":"Example 2"},{"comment":"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.","section":"Necessary condition"}],"minor_comments":[{"comment":"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.","section":"Appendix C"},{"comment":"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.","section":"Eq. (11)"},{"comment":"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.","section":"Introduction"},{"comment":"Typo: 'if there exits a standard axis' should read 'if there exists a standard axis'.","section":"Passive QRF"}],"recommendation":"major_revision","confidential_remarks":"The core theorem and the necessary condition are correct and publishable, but the paper's headline claim overstates the result. The counterexample in my report shows that the no-entanglement-creation statement is false without the standard-form restriction. The Example 2 error is embarrassing but easily fixed. I recommend major revision: qualify the title/abstract, correct the example, and explicitly separate the definitional/necessary-condition content from the no-creation theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's core theorem is correct, but the title oversells it. The clean result: if all conditional states |g⟩⟨g|Ψ⟩ are separable in one passive frame, then they're separable in any other passive frame, because the change of frame acts on those conditional states by local unitaries. That gives a necessary condition for physical-sector entanglement, and the standard-form version (uncorrelated reference in at least one frame) is a nice 'inertial frame' analog. The proof in Appendix A is elementary and looks right. The distinction between reference frames and physical systems is a genuinely useful way to organize the QRF discussion, and connecting to the invariant of Ref. [15] is sensible.\n\nWhere it's soft: first, the no-creation claim in the title/abstract is not true as stated for arbitrary passive QRF transformations. The transformation T_{k→l} is a controlled unitary; if the reference systems are in a superposition and the conditional states are entangled, a separable reduced state in the physical sector can become entangled. Concretely, with G=Z2, two reference qubits, U_A(1)=Z, U_B(1)=I, take |Ψ⟩^(1)=2^{-1/2}|0⟩_1(|0⟩_2|Φ+⟩+|1⟩_2|Φ−⟩). The AB reduced state is 1/2(|00⟩⟨00|+|11⟩⟨11|), separable, but T_{1→2} sends it to |0⟩_2|+⟩_1|Φ+⟩_ab. The theorem escapes because the conditional states are |Φ±⟩, not separable. So the correct statement is: if the state admits a standard form with a separable physical state (or more generally if all conditional states are separable), then no passive QRF change can create physical-sector entanglement. That's still worth having, but the framing needs to change.\n\nSecond, Example 2 as written is algebraically wrong. With U(1)=X⊗X, X⊗X|Φ−⟩=−|Φ−⟩, so the claimed output |0⟩_2|+⟩_1|Φ+⟩_ab doesn't follow; the AB state remains separable in the correct computation. The example meant to show entanglement creation but doesn't. That's a concrete error that needs fixing.\n\nMinor: the sentence calling the separability condition a 'sufficient condition for entanglement' is inverted — it's a sufficient condition for no entanglement. The necessary condition is the contrapositive.\n\nBottom line: the mathematical core is sound and the conceptual distinction is a real contribution, but the paper currently misstates what's proven and contains a wrong illustrative example. After those are fixed, it deserves a serious referee. I'd send it to review rather than desk-reject, and I'd cite the corrected version for the necessary condition.","headline":"Core theorem correct, but title oversells: no-creation only holds when conditional states are separable; Example 2 is wrong.","tokens_in":11379,"tokens_out":7615,"would_cite":true,"duration_ms":68050,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["quantum reference frames","entanglement","separability","passive reference frames","standard form","local unitary operations","relational quantum mechanics"],"falsifier":"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.","tokens_in":10438,"feed_emoji":"🔗","tokens_out":7597,"duration_ms":68182,"temperature":0.7,"pith_summary":"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.","feed_headline":"Passive frame changes cannot entangle physical systems","feed_subtitle":"Seen after a passive frame change, physical entanglement was already there or lives in the reference frames.","key_machinery":"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","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Passive frame changes never create entanglement","No entanglement from passive frame shifts","Quantum frames can't entangle on their own","Separability preserved under passive frame changes","Passive QRF changes conserve entanglement status"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Passive frame changes never create entanglement","No entanglement from passive frame shifts","Quantum frames can't entangle on their own","Separability preserved under passive frame changes","Passive QRF changes conserve entanglement status"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000132,"raw_usage":{"total_tokens":892,"prompt_tokens":591,"completion_tokens":301,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":335,"completion_tokens_details":{"reasoning_tokens":238}},"tokens_in":335,"tokens_out":301,"duration_ms":3735,"temperature":1.0,"reasoning_tokens":238,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T14:37:32.909832+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}