{"id":"a226bc8f-e47f-4a3f-9ecd-112b832f9392","arxiv_id":"2509.04186","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For three or more quantum particles, a fully relational and canonical description from one particle's perspective cannot be reached by any unitary transformation.","lead":"This paper proves that no reversible (unitary) quantum transformation can express the physics of three or more particles entirely from the perspective of one chosen particle, with well-behaved relative positions and momenta. It explains why the two-particle case works but many-body quantum reference frames hit a fundamental mathematical obstruction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No-go theorem is restricted to unitaries on the kinematical Hilbert space; constraint-based QRF frameworks evade it, so the abstract's 'current approaches fall short' overreaches.","rationale":"The paper's mathematical core is sound: the commutator computation in Eq. (19) is correct, and the contradiction with unitarity is genuine under the stated assumptions. I verified the two-particle commutator and the impossibility of a unitary T satisfying Eq. (18) for i≠j. The reader's weakest_assumption—that the definition of 'genuinely relative' via Eq. (18) on the full kinematical Hilbert space is load-bearing—is exactly the concern I consider decisive. The paper does not engage with the constraint-based QRF literature, which constructs relational descriptions on a reduced physical Hilbert space and does not require a unitary on the kinematical space. Since the central advertised claim is that current approaches fall short, the theorem must be shown to constrain those approaches; without that step, the no-go only constrains the authors' own kinematical, canonical-pair definition. Sec. VI's admission that no active picture exists for the replacement prescription (20) further confirms that the unitary framework is abandoned, but the paper does not flag this as a limitation of the no-go's scope. I therefore agree with the reader's CONDITIONAL verdict: the result is a clean boundary theorem for a specific definition, but it does not by itself establish the broad claim in the abstract. The concrete_test I propose—checking whether the standard constraint-based framework yields canonical relational pairs on the physical Hilbert space—would settle whether this concern actually invalidates the broad claim. If the physical-space commutators are canonical, the no-go is a kinematical artifact; if they are not, the concern dissolves.","tokens_in":13175,"tokens_out":8874,"duration_ms":90659,"concrete_test":"Within the perspective-neutral framework of Refs. [29] and [38], construct the reduced physical Hilbert space for N≥3 by imposing the translation constraint P_tot|ψ_phys⟩=0 and factoring out the center of mass. Write down the relational position and momentum operators used in that framework and compute their commutators on the physical Hilbert space. If these operators form canonical pairs (i.e., [X_i-X_0, P_j^rel]=iℏδ_ij on the reduced space), then a canonical relational description exists without a kinematical unitary, and the no-go theorem is an artifact of the paper's chosen formulation. If the physical-space commutators instead reproduce the contradiction of Eq. (19), the concern is refuted.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The Sec. V theorem is internally correct: if a unitary T on the full kinematical Hilbert space satisfied Eq. (18), then Eq. (19) would violate [X'_i,P'_j]=iℏδ_ij for i≠j. The load-bearing premise, however, is that a relational description must be implemented by a unitary on the unconstrained kinematical Hilbert space, with relative momenta of the specific two-body reduced-mass form μ_i0(P_i/m_i - P_0/m_0). The constraint-based QRF program (Refs. [29], [35], [38]) does not work this way: it imposes constraints, defines relational observables on the reduced physical Hilbert space, and does not require perspective switches to be unitaries on the larger kinematical space. On the physical subspace with P_tot=0, the 'hybrid' momentum P_i—which the paper rejects in Eq. (8b)—already satisfies [X_i-X_0, P_j]=iℏδ_ij, so a canonical relational description is available in that framework. The paper never justifies why the kinematical-space unitary condition is physically mandatory, and Sec. VI concedes that its own proposed prescription (20) has no active picture. Thus the central claim that a canonical relational description is impossible, and that current approaches fall short, is not established for constraint-based QRFs; the no-go is at most a boundary result for one chosen definition.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper asks whether, within Galilean quantum mechanics, one can give a 'genuinely relational' description of an N-particle system from the perspective of one chosen particle. The authors define such a description by canonical pairs of relative positions and reduced-mass relative momenta, and they argue that no unitary transformation on the full kinematical Hilbert space can produce these pairs for N>2. They illustrate the difficulty with a two-particle decay paradox, then prove the no-go result in Sec. V by a commutator contradiction, and finally propose a non-unitary prescription for relational expectation values. The central mathematical claim is a no-go theorem for a specific class of unitary QRF transformations.","tokens_in":13331,"tokens_out":7755,"duration_ms":77011,"significance":"If the result is read as a scoped boundary theorem, it is a clean and elementary contribution: it shows, without free parameters or numerical computation, that the widely used unitary picture of QRF changes cannot simultaneously deliver relative positions and reduced-mass relative momenta for more than one particle. The proof is self-contained and readily verifiable. However, as written, the paper overstates the scope: the no-go applies to unitaries on the unconstrained kinematical Hilbert space under a specific definition of 'relative momentum.' The constraint-based QRF literature, which the paper cites, deliberately works on the physical Hilbert space and does not assume such kinematical unitaries; on the constraint surface a canonical relational description does exist. The paper's claimed significance as a challenge to 'current approaches' therefore needs substantial qualification. The proposed alternative prescription in Sec. VI is also underdeveloped, as the authors themselves concede that it has no active picture.","major_comments":[{"comment":"The theorem is formulated for a unitary T on the full, unconstrained kinematical Hilbert space, with the specific reduced-mass choice P'_i = μ_i0(P_i/m_i - P_0/m_0). This is a modeling choice, not a physical necessity. The constraint-based QRF framework (Refs. [29], [35], [38]) imposes constraints and defines relational observables on the physical Hilbert space; on the constraint surface P_tot = 0, the operator P_i is canonically conjugate to X_i - X_0, so a canonical relational description is available without any kinematical unitary. Consequently, the abstract's claim that 'current approaches fall short' and the section title 'NO TRANSFORMATION TO A FULL RELATIVE DESCRIPTION' overreach. The no-go should be explicitly scoped to unitary transformations on the kinematical Hilbert space with the reduced-mass relative momentum prescription.","section":"Abstract and §V, Eq. (18)"},{"comment":"The commutator computation is correct, and the contradiction for i ≠ j is valid. However, the step T†[X_i, P_j]T = iℏδ_ij 1 uses the assumption that T is a unitary on the full Hilbert space. For non-unitary maps, constraint projections, or maps defined only on a reduced physical Hilbert space, this premise fails. The theorem should state this assumption prominently; the current wording in §V and the Discussion ('no transformation') is stronger than what is proved.","section":"§V, Eq. (19)"},{"comment":"After proving that no unitary T exists, the paper proposes ⟨f⟩' = Tr[f(R')ρ] with R' satisfying Eq. (18). This is a formal operator-algebra recipe, but without a unitary there is no guarantee that it corresponds to a valid physical implementation; the authors concede that no active picture exists. Since this prescription is offered as the way forward, its operational meaning and physical justification need to be developed. As it stands, Eq. (20) is closer to a definition than to a derivation.","section":"§VI, Eq. (20)"}],"minor_comments":[{"comment":"The expectation value of e^{-i(2d)P_1/ℏ} in the state of Eq. (12a) is e^{-iϕ}/2, not e^{iϕ}/2; the real part is (1/2)cosϕ. If the authors intend the modular-momentum real part, they should write (1/2)cosϕ. This affects the illustrative paradox but not the no-go theorem.","section":"§IV, Eq. (13a)"},{"comment":"Refs. [24] and [41] are the same paper (Giacomini, Castro-Ruiz, Brukner, 'Relativistic quantum reference frames: the operational meaning of spin') and should be consolidated. Please check for other duplicate entries.","section":"References"},{"comment":"The proof is presented for one spatial dimension. The generalization to three dimensions is immediate but should be stated explicitly to avoid unnecessary confusion.","section":"§V, proof statement"}],"recommendation":"major_revision","confidential_remarks":"The paper's core theorem is sound but its framing is too broad. The authors cite the constraint-based QRF literature but do not engage with its central mechanism, which is precisely that perspective switches need not be unitaries on the kinematical Hilbert space. A revised version that presents the result as a boundary theorem for unitary kinematical transformations, and that carefully qualifies the 'current approaches fall short' statement, would be a worthwhile contribution. The illustrative paradox in Sec. IV also needs cleaning up, especially Eq. (13a)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core proof is real and worth knowing. I checked the commutator in Sec. V directly: for X'_i = X_i - X_0 and P'_j = μ_j0(P_j/m_j - P_0/m_0), you get iℏ(m_0δ_ij + m_j)/(m_j + m_0), so no unitary on the kinematical Hilbert space can produce canonical pairs for all i ≥ 1 when N ≥ 3. That is a clean, elementary boundary result, and the two-particle 'paradox' in Sec. IV is a nice way to motivate it. The paper deserves credit for stating the theorem sharply and proving it without fitting parameters.\n\nWhere it gets soft is the packaging. The abstract says 'current approaches fall short of providing a complete prescription'; that is too strong. The constraint-based program—their own Refs. [29], [35], [38]—does not use unitaries on the unconstrained kinematical space. It imposes constraints and works on the reduced physical Hilbert space, where relative position and momentum operators do satisfy canonical commutation relations. So the no-go is conditional on the definitional postulate Eq. (18) plus the requirement of a unitary on the full kinematical space. The authors never explicitly flag that as a modeling choice, which means readers could walk away thinking they have ruled out more than they actually have.\n\nThe supporting computations contain real but minor errors: Eq. (13a) should be cos φ, not e^{iφ}/2; Eq. (15) has a factor-2 exponent slip; and Sec. VI's target set R' is already non-canonical for N = 2, which muddies the two-particle feasibility claim. Those are fixable. More important is that the paper never discusses the relation to Refs. [35] and [38], which already announce a paradox of the third particle and the absence of global relational perspectives. A revision that positions this no-go against those results and states the definitional assumption honestly would make it a useful boundary result.\n\nMy take: read it if you work on quantum reference frames, cite it for the no-go theorem, but don't take the abstract's 'fall short' at face value. I would send it to peer review, because the central proof is sound and the discussion, once corrected, is worth having.","headline":"Clean unitary no-go theorem with an overreaching abstract: doesn't touch constraint-based QRF descriptions.","tokens_in":14034,"tokens_out":2257,"would_cite":true,"duration_ms":22035,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for three or more particles, no unitary transformation can put every position and momentum variable relative to a chosen quantum reference frame.","keywords":["quantum reference frames","relational observables","canonical commutation relations","no-go theorem","Galilean relativity","unitary transformations","many-body quantum systems","relative coordinates"],"falsifier":"Construct or numerically search for a unitary U on the three-particle Hilbert space satisfying U†X_i U = X_i − X_0 and U†P_i U = μ_i0(P_i/m_i − P_0/m_0) for i = 1,2. The paper's commutator identity forces the left-hand side to give iℏδ_ij while the right-hand side gives iℏ(m_j + m_0δ_ij)/(m_j + m_0); finding any such U with zero error would refute the theorem.","tokens_in":12865,"feed_emoji":"⚛️","tokens_out":14603,"duration_ms":129128,"temperature":0.7,"pith_summary":"The paper asks what a quantum system looks like when one particle acts as the reference frame, and whether a standard unitary change of variables can deliver that description. For two particles the answer is yes: center-of-mass and relative coordinates give a canonical pair with a relative position and a mass-weighted relative momentum. For three or more particles the paper proves a no-go: no unitary operator can make all position and momentum variables simultaneously relative to the chosen particle. The proof is a commutator obstruction—one particle's relative position and another's relative momentum refuse to have canonical commutation relations because a mass-dependent cross term appears. The authors conclude that genuinely relational many-body descriptions require new tools beyond unitary reference-frame switches, and they propose a direct operator-substitution rule as a way to compute relative observables in the meantime.","feed_headline":"A third particle breaks the quantum reference-frame switch","feed_subtitle":"Canonical commutation rules make a full relative description impossible for three or more particles.","key_machinery":"The load-bearing object is the candidate relative momentum operator P′_i = μ_i0(P_i/m_i − P_0/m_0), with reduced mass μ_i0, proposed as the conjugate to the relative position X_i − X_0. The proof computes the mixed commutator [X_i − X_0, P′_j]; the unwanted term iℏ m_j/(m_j + m_0) for i ≠ j is the obstruction. The paper also dissects the standard relational unitary T_R and shows it yields a hybrid canonical structure—relative position paired with a laboratory-frame momentum—rather than a genuine relative pair.","core_discovery":"The paper's central claim is a no-go theorem: within one-dimensional Galilean relativity (absolute time, nonrelativistic kinematics), a system of three or more particles admits no unitary transformation T realizing the relative-pair definitions X′_i = X_i − X_0 and P′_i = μ_i0(P_i/m_i − P_0/m_0) for every other particle i—and hence no unitary map to the full set {-X0, -P0, Xr1, Pr1, ...} in which particle 0 is the quantum reference frame. Assuming such a T existed, the transformed operators would have to satisfy the canonical commutator [X′_i, P′_j] = iℏδ_ij. Direct evaluation using the definitions gives [X_i − X_0, μ_j0(P_j/m_j − P_0/m_0)] = iℏ (m_j + m_0 δ_ij)/(m_j + m_0), which equals iℏδ","pith_inferences":["The no-go depends on requiring the reduced-mass momentum combination on the unconstrained Hilbert space; approaches that define relational observables on a constrained physical space, or allow nonunitary maps, sidestep the obstruction, and the paper does not claim to rule those out.","The same commutator logic may extend to relational time: replacing the particle frame by a clock and the momentum generator by a relative Hamiltonian-like quantity could yield an analogous many-body obstruction.","A concrete experimental route would be a three-particle analogue of the decay-superposition example: measure an interference term in the relative momentum sector; a hybrid transformation washes it out, while a true relative description preserves it, so the outcome would indicate which canonical completion nature follows."],"forward_implications":["For N ≥ 3, unitary perspective switches to a single-particle quantum reference frame are ruled out; a complete relational description must use a different mathematical structure, such as nonunitary maps or constrained-state methods.","Existing unitary transformations that produce relative coordinates for many particles are necessarily hybrid: the position is relative to the chosen particle but the conjugate momentum is relative to the laboratory or to the center of mass.","The paper's direct-substitution rule ⟨f⟩′ = Tr[f(R′)ρ] still allows relative expectation values to be computed, but without an active picture one loses the usual way of reading coherence and entanglement from a transformed state.","The two-particle case remains fully consistent, so the obstruction is genuinely a many-body effect triggered by the presence of a third particle."],"supporting_citations":[{"why":"Supplies the founding formulation of quantum frames of reference and the goal of eliminating a classical reference frame.","marker":"[1]"},{"why":"Provides the earlier two-particle construction of physics within a quantum reference frame that serves as the coherent baseline.","marker":"[5]"},{"why":"Gives the unitary T_CM,r that maps to center-of-mass and canonical relative coordinates.","marker":"[6]"},{"why":"Supplies the active and passive readings of ⟨O⟩′ = ⟨ψ|T†OT|ψ⟩ that the paper adopts.","marker":"[7]"},{"why":"Introduces the relational transformation T_R that the paper analyzes and finds to be hybrid.","marker":"[9]"},{"why":"Proposes the parity transformation π0 as a one-particle relational frame and anchors the active/passive distinction.","marker":"[12]"},{"why":"Defines a perspective-neutral, constraint-based treatment of quantum reference frames whose domain the no-go result delimits.","marker":"[29]"},{"why":"Discusses the paradox of the third particle and quantum reference frame transformations as symmetries; the paper's no-go sharpens that discussion.","marker":"[35]"},{"why":"Recent N-particle relative-subsystem construction whose momentum variables the paper checks and finds still hybrid.","marker":"[51]"}],"fun_headline_variants":["Three particles kill the quantum reference-frame switch","No unitary route to a three-particle quantum frame","Third particle rules out full quantum frame switch","Quantum frame switch impossible for three bodies","Three-body systems defy the quantum frame switch"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The no-go result assumes that a genuine particle-relative description must contain, on the full unconstrained Hilbert space, the canonical pairs (X_i − X_0, μ_i0(P_i/m_i − P_0/m_0)) with the ordinary commutator [X,P] = iℏ; if relative observables are instead defined on a constrained physical space, by nonunitary maps, or with a different momentum combination, the obstruction need not arise.","fun_headline_variants_meta":{"raw":{"variants":["Three particles kill the quantum reference-frame switch","No unitary route to a three-particle quantum frame","Third particle rules out full quantum frame switch","Quantum frame switch impossible for three bodies","Three-body systems defy the quantum frame switch"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00056,"raw_usage":{"total_tokens":2516,"prompt_tokens":779,"completion_tokens":1737,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":523,"completion_tokens_details":{"reasoning_tokens":1685}},"tokens_in":523,"tokens_out":1737,"duration_ms":13559,"temperature":1.0,"reasoning_tokens":1685,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T10:22:28.067059+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct or numerically search for a unitary U on the three-particle Hilbert space satisfying U†X_i U = X_i − X_0 and U†P_i U = μ_i0(P_i/m_i − P_0/m_0) for i = 1,2. The paper's commutator identity forces the left-hand side to give iℏδ_ij while the right-hand side gives iℏ(m_j + m_0δ_ij)/(m_j + m_0); finding any such U with zero error would refute the theorem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the earlier two-particle construction of physics within a quantum reference frame that serves as the coherent baseline."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the unitary T_CM,r that maps to center-of-mass and canonical relative coordinates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the active and passive readings of ⟨O⟩′ = ⟨ψ|T†OT|ψ⟩ that the paper adopts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proposes the parity transformation π0 as a one-particle relational frame and anchors the active/passive distinction."}],"review_version":1}