{"id":"a44e1951-321d-4bbf-8394-9cf5be8de903","arxiv_id":"2411.08589","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Frame-conditioned position and momentum are jointly measurable under a covariant phase-space quantum reference frame, yielding new uncertainty bounds that reduce to standard Heisenberg bounds in a classical frame limit.","lead":"This paper applies the formalism of quantum reference frames to Heisenberg's uncertainty relation, using a covariant phase-space observable as a frame. It shows that relative to such a frame, position and momentum become jointly measurable, and derives new frame-relative uncertainty bounds that reduce to the standard ones when the frame is classical.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Classical-limit recovery is imposed by fiat: no quantum frame sequence can approach zero phase-space uncertainty, so the claimed recovery of standard uncertainty relations is not a limit.","rationale":"The paper's technical core—Theorem 2's construction of a joint observable M, the margin computations in Eqs. (18) and (25), and the frame-relative uncertainty inequalities (29)–(32)—is sound. We checked the margin of M and verified the variance-additivity argument; the bound 3/2 follows from Proposition 2 applied to the smearing measures with ∆(µ_T')∆(ν_T') ≥ 1/2 and ∆(λ^Q_ω)∆(λ^P_ω) ≥ 1/2, together with the standard ∆(Q_S,ρ)∆(P_S,ρ) ≥ 1/2. Proposition 2 is stated without proof but is true: for u,v,w,z ≥ 0, (u²+v²)(w²+z²) ≥ (uw+vz)², so ∆(a⋆c)∆(b⋆d) ≥ ∆(a)∆(b)+∆(c)∆(d) ≥ x+y. Thus the reader's concern about Proposition 2 is not load-bearing; a one-line proof settles it.\n\nThe load-bearing concern is the classical limit in Section 5.1. The authors explicitly declare, by fiat, that the frame state and generator are classical phase-space points with zero uncertainty. They acknowledge this is not quantum-consistent but 'expect' a rigorous small-ℏ limit. This expectation is not fulfilled: providing such a limit requires an explicit scaling of the frame's ℏ relative to the system's ℏ, and a proof that the frame-conditioned observables converge to sharp Q_S and P_S in a suitable topology. Without this, Eqs. (33) and (34) are not a limit of the quantum framework but a separate classical model. Moreover, the bound in (29) is not continuous at the classical point, so the recovery cannot be obtained as a limiting case of that inequality. The abstract's language ('we verify that in the classical limit ... are recovered') overstates what is shown. This does not invalidate the frame-relative results, but it does mean the headline conclusion about standard QM requiring an external classical frame is not established by this paper. The reader's CONDITIONAL verdict, requiring a rigorous treatment or softening of the classical-limit claim, is appropriate.","tokens_in":10539,"tokens_out":13629,"duration_ms":117356,"concrete_test":"Introduce an explicit ℏ_R scaling for the frame: take ω_ℏ and T'_ℏ as squeezed states with position and momentum variances both ∝ ℏ_R (e.g., ∆Q_ℏ = ∆P_ℏ = √(ℏ_R/2)), keeping the system's ℏ fixed at 1. Compute the ℏ_R → 0 limit of the smearing measures λ^Q_{ω_ℏ,T'_ℏ} and λ^P_{ω_ℏ,T'_ℏ} from Eq. (22) and of the uncertainty product in Eq. (29). If the measures converge weakly to δ_0 and the product converges to ∆(Q_S,ρ)∆(P_S,ρ) with bound 1/2, the classical-limit claim is supported; if the limit requires additional regularization, or if the convergence fails in the relevant operator topology, then Section 5.1 is an assumption and the paper should soften the 'recovery' claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 5.1 asserts that by declaring the frame state ω_0 and generator T'_0 to be perfectly localized classical phase-space points, Eqs. (29) and (30) 'become' the standard uncertainty relations (26) and (27). This is not a limit: such states do not exist in S(H_R), and no sequence of quantum states can approximate them, because ∆(λ^Q_ω)∆(λ^P_ω) ≥ 1/2 (Heisenberg) prevents both marginal variances from vanishing simultaneously. Consequently, the inequality (29), with its 3/2 bound, holds uniformly for all quantum frames; its bound is discontinuous at the classical point, where the product of conditioned standard deviations can be as low as 1/2. The transition from (29) to (33) therefore amounts to postulating a classical frame and reading off the standard relations, not to deriving them as a limit. The abstract's claim to 'verify that in the classical limit ... standard uncertainty relations are recovered' and the conclusion that standard QM 'must be understood relative to an external, classical frame' rest on this unproven limit. Formal results Theorem 2 and the frame-relative bounds (29)–(32) are correct; the load-bearing weak spot is the interpretive leap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper introduces a quantum reference frame (QRF) based on a covariant phase-space observable G^{T'}_R on the frame Hilbert space, and studies the relativization and restriction maps that produce frame-conditioned system observables. The main formal result (Theorem 2, Section 4) is that for any frame state ω and any phase-space generator T', the channel ¥^{T'}_ω breaks the incompatibility of sharp position and momentum Q_S, P_S: the explicit joint observable M^{T',ω}_S is constructed and shown to have the frame-conditioned position and momentum as margins. Section 5 derives variance-product bounds (Eqs. (29)-(32)) for the frame-conditioned observables using convolution variance additivity and known joint-measurement bounds, e.g., Δ(¥^{T'}_ω ∘ Q_S)Δ(¥^{T'}_ω ∘ P_S) ≥ 3/2. Section 5.1 then declares a classical phase-space point for the frame and claims that Eqs. (29)-(30) reduce to the standard Heisenberg bounds (26)-(27), supporting the conclusion that standard quantum mechanics is described relative to an external classical frame.","tokens_in":10746,"tokens_out":9024,"duration_ms":80030,"significance":"If the central claim is sustained, the paper would be a useful contribution to the operational QRF literature: it gives a covariant phase-space treatment in which incompatibility of position and momentum is explicitly broken by the frame, and it provides new frame-relative uncertainty bounds with no free parameters. The construction of the joint observable is explicit and verifiable, and the bounds are derived from standard external inputs (Heisenberg's relation, the joint-measurability theorem for smeared position and momentum, and convolution variance properties). The advertised interpretive conclusion, however, rests on a classical-limit step that is not presently justified; the paper's lasting value is therefore in the formal results and bounds, which stand independently.","major_comments":[{"comment":"The recovery of the standard uncertainty relations is imposed rather than derived. The text declares that the frame state ω and the generator T' are 'phase-space points (0,0)' with zero uncertainty, and then asserts that (29) and (30) 'become' (33) and (34). However, for every ω, T' in S(H_R), the quantum inequalities Δ(λ^Q_ω)Δ(λ^P_ω) ≥ 1/2 and Δ(μ_T')Δ(ν_T') ≥ 1/2 hold, so the left-hand sides of (29) and (30) can never approach the classical limits with vanishing frame contributions. There is no sequence of quantum states converging to the declared classical configuration; the bounds 3/2 and 2 in (29)-(30) are uniform over all quantum frames and are discontinuous at the classical point (where the corresponding products can be as low as 1/2 and 1). Since the abstract and conclusions use this 'classical limit' to infer that standard quantum mechanics is formulated relative to an external classical frame, the manuscript needs either a rigorous limiting construction (e.g., an explicit ℏ-scaling of ω and T' along with a quantized phase-space observable that converges weakly to a phase-space point) or a substantial weakening of the interpretational claim.","section":"Section 5.1, Eqs. (33)-(34)"},{"comment":"Proposition 2 is stated without proof ('which we state without proof') and is then used to derive every bound in Eqs. (29)-(32). The statement is elementary and true (it follows from variance additivity under convolution and the Cauchy-Schwarz/Minkowski inequality), but as a load-bearing lemma it should be demonstrated or cited so that the derivation is self-contained. Please add a short proof or an explicit reference.","section":"Section 5, Proposition 2"}],"minor_comments":[{"comment":"The notation (λ^Q_ω × λ^P_ω) ⋆ G^{T'}_S is not covered by Definition 3, which only defines convolution for observables on R. Please define the R²-convolution explicitly, e.g., (µ ⋆ G)(Z) = ∫_{R²} G(Z - z) dµ(z), and verify the margin calculation in Eqs. (25).","section":"Eq. (24)"},{"comment":"The claim that the inequalities 'all of which are tight' is not substantiated; please either exhibit families of states and frames attaining the bounds or clarify in which asymptotic sense tightness is meant.","section":"Section 5, before Eq. (29)"},{"comment":"The sentence 'we expect that it corresponds to a rigorous classical limit in the smallℏ regime of the reference frame [39]' relies on the textbook [39] without specifying the theorem or construction that justifies the limit; please give a precise reference or argument.","section":"Section 5.1"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's formal core (Theorem 2, Eqs. (29)-(32)) is sound and, to my knowledge, novel. The main gap is the classical-limit step, which is also the source of the paper's broadest claim; in revision, the authors should either prove a genuine ℏ→0 limit or explicitly present the standard relations as a separate postulate for an external classical frame. I recommend major revision rather than rejection because the gap is local and the formal results are valuable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it treats a covariant phase-space observable as a quantum reference frame, constructs a joint observable for frame-conditioned position and momentum, and proves that the frame-conditioning channel breaks the incompatibility of Q and P. The derived bounds (29)–(32) with explicit additive contributions from system, frame state, and frame phase-space structure do not appear in the prior QRF literature. I checked the key steps: the joint observable M in (24) has the claimed margins, and the variance additive formula (19) plus Proposition 2 gives the bounds. Theorem 2 is correct. Proposition 2 is stated without proof, but it is elementary and true—a minor omission, not a gap.\n\nThe soft spot is Section 5.1. The authors get from (29) to (33) by declaring that the frame state ω₀ and generator T'₀ are perfect phase-space points with zero uncertainty. That is not a limit, and no sequence of quantum states approaches it: Heisenberg's relation prevents both marginal variances from vanishing together. So the bound in (29) is 3/2 for every quantum frame, and it drops discontinuously to 1/2 only when you postulate a classical frame. The abstract says “verify that in the classical limit … standard uncertainty relations are recovered”—that is stronger than what is shown. The formal inequalities stand on their own; the interpretive conclusion about standard QM being relative to an external classical frame is plausible but rests on a fiat, not a derivation. The authors do acknowledge that this is “by fiat” and not consistent with quantum mechanics, but they still present it as a recovery. A rigorous small-ℏ treatment or a clearly softened conclusion is needed.\n\nThe citation pattern looks fine, with due credit to Busch–Lahti–Werner and others. No free parameters, no circularity. This paper is for people working on quantum reference frames and measurement uncertainty; it gives a concrete construction and a set of relations that are likely to be useful.\n\nMy recommendation: send it to peer review. The formal core is sound, the construction is new, and the classical-limit issue is fixable with a revision. I would ask the authors to prove Proposition 2 or give a reference, and to either supply a genuine ℏ→0 argument or explicitly call the classical-frame step a postulate rather than a limit.","headline":"A sound frame-relative uncertainty construction with a real interpretive gap: the formal bounds are correct, but the classical-limit claim is asserted, not derived.","tokens_in":11272,"tokens_out":1607,"would_cite":true,"duration_ms":14567,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P15","81S30"],"pacs":["03.65.Ta","03.65.-w"],"model":"deepseek-v4-flash","headline":"This paper shows that relative to a covariant phase-space quantum reference frame, position and momentum are always jointly measurable, with new bounds that return to the standard one in a classical limit.","keywords":["quantum reference frames","uncertainty relations","covariant phase-space observables","joint measurability","incompatibility-breaking channels","position-momentum compatibility","classical limit","relativization"],"falsifier":"Compute the product of variances of the frame-conditioned position and momentum for a specific frame state $\\omega$ and generating state $T'$ (say, both highly non-Gaussian) and check whether it can fall below $3/2$; if it can, the joint-observable construction in Eq. (24) or the claimed bound fails. Separately, a rigorous small-$\\hbar$ derivation of the frame limit, replacing the declared Dirac-delta classical state, would settle whether the standard bounds $1/2$ and $1$ actually follow.","tokens_in":10299,"feed_emoji":"⚛️","tokens_out":14564,"duration_ms":110902,"temperature":0.7,"pith_summary":"This paper asks what the position–momentum uncertainty relation becomes when positions and momenta are defined relative to a quantum reference frame rather than an absolute background. It introduces the frame as a covariant phase-space observable and proves that, relative to such a frame, the sharp position and momentum of a system are always jointly measurable: the frame-conditioning channel breaks their incompatibility for every frame state and every generating state of the frame observable. The paper derives explicit frame-relative uncertainty bounds—for instance, the product of the frame-conditional variances is at least $3/2$—where each variance splits additively into a system part, a frame-state part, and a part set by the frame's phase-space structure. In a classical limit in which the frame is treated as a perfectly localized phase-space point, the bounds reduce to the familiar ones ($1/2$ and $1$), which the paper reads as evidence that standard quantum mechanics is written relative to an external classical frame.","feed_headline":"Relative to a quantum frame, position and momentum become compatible","feed_subtitle":"A phase-space quantum frame makes position and momentum jointly measurable; old bounds return classically.","key_machinery":"The central object is the covariant phase-space observable $G_T(Z) = \\frac{1}{2\\pi}\\int_Z W(q,p) T W(q,p)^* dq dp$, a POVM whose margins are smeared position and momentum. The argument works through the relativization map $\\yen$ and the frame-conditioning map $\\yen_{\\omega}^{T'}$, which turns a system observable into an invariant and then externalizes the frame state. The load-bearing identity is that the frame-conditioned sharp position and momentum are exactly the margins of a single smeared phase-space observable $M = (\\lambda_{\\omega}^{Q_R} \\times \\lambda_{\\omega}^{P_R}) \\star G_{T'}^S$; this explicit joint observable proves Theorem 2, and the additivity of variances under convolution (Prop. 2) produces the numerical bounds.","core_discovery":"The central claim is that the map that conditions a system observable on a phase-space quantum reference frame is incompatibility-breaking for the sharp position and momentum observables. For any frame state $\\omega$ and any generating state $T'$, the frame-conditioned observables $\\yen_{\\omega}^{T'}(Q_S)$ and $\\yen_{\\omega}^{T'}(P_S)$ admit a joint observable, constructed explicitly as $M = (\\lambda_{\\omega}^{Q_R} \\times \\lambda_{\\omega}^{P_R}) \\star G_{T'}^S$. Its margins are exactly the conditioned position and momentum, so their joint measurability holds without further assumptions on the frame preparation. Correspondingly, the standard relation $\\Delta(Q,\\rho)\\Delta(P,\\rho) \\geq 1/2$ is replaced by frame-dependent bounds such as $\\Delta(\\yen_{\\omega}^{T'}\\circ Q_S,\\rho)\\Delta(\\yen_{\\omega}^{T'}\\circ P_S,\\rho) \\geq 3/2$, and by $2$ when the system observables are themselves a compatible smeared pair. These bounds are tight; the paper also notes the formal symmetry between relativizing a compatible pair to a sharp frame and relativizing sharp observables to a compatible-pair frame.","pith_inferences":["A plausible generalization, not pursued in the paper, is that the same construction applies to any Fourier-related pair of observables, so conditioning on a phase-space frame should break incompatibility for a whole class of complementary pairs, not only position and momentum.","The additive variance decomposition suggests a metrological reading: the frame state and the frame's phase-space structure contribute an irreducible 'reference-frame noise' that could be quantified experimentally in a finite-size frame.","The paper's classical-limit step is declared rather than derived; a rigorous small-$\\hbar$ analysis could either convert the interpretational conclusion into a theorem or show that the limit is singular, which would weaken the claim that ordinary quantum theory presupposes an external classical frame.","Since the paper notes that distinguishing the bounds $3/2$ and $1/2$ experimentally is open, a concrete experiment with a controllable quantum frame could in principle probe whether nature realizes the frame-relative or the classical-frame bound."],"forward_implications":["For any quantum reference frame defined by a covariant phase-space observable, the frame-relative sharp position and momentum are jointly measurable; no frame state can restore their incompatibility.","The frame-relative uncertainty product has the tight lower bound $3/2$ for sharp system observables, and $2$ when the system observables are a compatible smeared pair; each variance decomposes additively into system, frame-state, and frame-structure contributions.","Relativizing system observables separately to sharp position and momentum frames yields the bounds $1$ and $3/2$, reflecting a symmetry between interchangeable experimental arrangements.","In the declared classical limit of the frame, the standard bounds $1/2$ and $1$ are recovered, so the standard uncertainty relations can be read as those of a system described relative to an external, classical frame.","The frame-relative bounds are all tight, meaning the inequalities cannot be improved without additional assumptions on the frame or the system state."],"supporting_citations":[{"why":"Establishes the relativization and restriction maps that define frame-conditioned observables.","marker":"[6]"},{"why":"Provides the operational QRF framework and the covariance condition used to treat phase-space observables as frames.","marker":"[7]"},{"why":"Supplies the joint-measurement reading of the uncertainty relation and the smearing approach for position and momentum.","marker":"[26]"},{"why":"Gives the theory of covariant phase-space observables, their margins, and the measurement uncertainty trade-off.","marker":"[27]"},{"why":"Proves the characterization that smeared position and momentum are jointly measurable iff they arise from a phase-space observable, underlying Theorem 2.","marker":"[32]"},{"why":"Defines incompatibility-breaking channels, the property that Theorem 2 attributes to the frame-conditioning map.","marker":"[34]"},{"why":"Cited as the basis for expecting a rigorous small-$\\hbar$ classical limit of the reference frame.","marker":"[39]"}],"fun_headline_variants":["Quantum frames make position and momentum jointly measurable","Frame-relative uncertainty bounds replace Heisenberg's limit","Position and momentum compatible under a phase-space quantum frame","Quantum reference frames remove incompatibility of position and momentum"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the 'classical limit' of the frame can be imposed by declaring the frame state and the generating state of the frame observable to be perfectly localized phase-space points with zero uncertainty—an object that does not exist in quantum mechanics—and that this declaration captures the small-$\\hbar$ limit of the frame; the frame-relative bounds themselves do not rest on this step, but the paper's conclusion about standard quantum mechanics assuming an external classical frame does.","fun_headline_variants_meta":{"raw":{"variants":["Quantum frames make position and momentum jointly measurable","Frame-relative uncertainty bounds replace Heisenberg's limit","Position and momentum compatible under a phase-space quantum frame","Quantum reference frames remove incompatibility of position and momentum"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000329,"raw_usage":{"total_tokens":1813,"prompt_tokens":899,"completion_tokens":914,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":515,"completion_tokens_details":{"reasoning_tokens":853}},"tokens_in":515,"tokens_out":914,"duration_ms":9681,"temperature":1.0,"reasoning_tokens":853,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:32:37.852351+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the product of variances of the frame-conditioned position and momentum for a specific frame state $\\omega$ and generating state $T'$ (say, both highly non-Gaussian) and check whether it can fall below $3/2$; if it can, the joint-observable construction in Eq. (24) or the claimed bound fails. Separately, a rigorous small-$\\hbar$ derivation of the frame limit, replacing the declared Dirac-delta classical state, would settle whether the standard bounds $1/2$ and $1$ actually follow.","supporting_citations":[{"cited_title":"Loveridge, T","cited_arxiv_id":null,"evidence_quote":"Establishes the relativization and restriction maps that define frame-conditioned observables."},{"cited_title":"Carette, J","cited_arxiv_id":null,"evidence_quote":"Provides the operational QRF framework and the covariance condition used to treat phase-space observables as frames."},{"cited_title":"Busch, T","cited_arxiv_id":null,"evidence_quote":"Supplies the joint-measurement reading of the uncertainty relation and the smearing approach for position and momentum."},{"cited_title":"Busch, P","cited_arxiv_id":null,"evidence_quote":"Gives the theory of covariant phase-space observables, their margins, and the measurement uncertainty trade-off."},{"cited_title":"Heinosaari, J","cited_arxiv_id":null,"evidence_quote":"Defines incompatibility-breaking channels, the property that Theorem 2 attributes to the frame-conditioning map."},{"cited_title":"Landsman","cited_arxiv_id":null,"evidence_quote":"Cited as the basis for expecting a rigorous small-$\\hbar$ classical limit of the reference frame."}],"review_version":1}