{"id":"7d837f14-4d05-417c-8389-d734feba5d6e","arxiv_id":"2506.18906","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Introduces 'polyperspective states', a direct sum of local and joint density operators, claimed to give causal, covariant, correlation-preserving updates after selective measurements in spacetime.","lead":"This paper proposes a new way to update the quantum state after a measurement in curved spacetime: instead of one density matrix, keep several, one for each observer and one for the joint system. The authors argue this resolves the old conflict between causality, correlations, and charge conservation in relativistic quantum information.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (12)'s joint state uses the union of individual causal pasts, but a processing region P has access to J^-(P), which is strictly larger in Minkowski spacetime (footnote 7 concedes this); transformations in the difference can change joint predictions, so the 'fully predictive' claim rests on an…","rationale":"The reader's weakest_assumption already flags the union-vs-common-past issue; my stress test shows it is not a minor caveat but a concrete failure mode observable in a finite-dimensional multipartite example. The GHZ construction gives a quantitative discrepancy (0 vs 1 for the same joint observable) between the paper's Eq. (12)/(A4) and the state Psi_{J^-(P)} that any processing region would actually assign. In other words, the 'polyperspective' joint sector can disagree with predictions made from the information available at P, so the claim that the framework 'naturally incorporates how information propagates in spacetime' is not established for joint observables. This concern is distinct from the paper's sound negative result that no single density operator satisfies Eqs. (2) and (3); the local-sector part of the formalism works for the toy example. The issue is specifically the step from that negative result to a fully predictive multipartite update rule. The same union prescription appears in the observer-dependent recollections and in the QFT discussion, so the gap is not confined to the two-qubit illustration. I therefore retain the CONDITIONAL verdict: the central construction is promising and internally coherent for the examples given, but needs either a theorem showing Psi_{J^-(P)} is determined by the polystate sectors, or a modified joint-state rule based on the actual common past of the relevant processing region.","tokens_in":14064,"tokens_out":17021,"duration_ms":181167,"concrete_test":"Use 1+1 Minkowski with A at (-1,1), B at (-1,-1), and a third qubit C initially in the GHZ state (|0_A0_B0_C>+|1_A1_B1_C>)/sqrt(2). Let C measure sigma_x at z=(-1/2,0) and obtain outcome +1; take P=(0,0) as the processing region. Compute the A-B joint state from Eq. (A4) for tau_a,tau_b corresponding to x_a,x_b: it is the unconditioned reduction (|0_A0_B><0_A0_B|+|1_A1_B><1_A1_B|)/2, giving Tr[(sigma_x tensor sigma_x) rho_AB]=0. Compute instead Psi_{J^-(P)}(rho_ABC) conditioned on the C outcome +1: the A-B state is Phi^+_AB=(|0_A0_B>+|1_A1_B>)/sqrt(2), giving Tr[(sigma_x tensor sigma_x) Phi^+]=1. If the two values differ, Eq. (12)/(A4) fails to encode the information available to P, and the correlation-preservation claim fails in generic Minkowski spacetime.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (12) defines the joint sector as rho_ab(tau_a,tau_b) proportional to Psi_{J^-(x_a(tau_a)) union J^-(x_b(tau_b))}(rho_ab). For joint observables, the relevant state at a processing region P is Psi_{J^-(P)}(rho_ab), because transformations anywhere in J^-(P) can affect the data available at P. In 1+1 Minkowski spacetime these sets differ: take x_a=(-1,1), x_b=(-1,-1), P=(0,0); the point z=(-1/2,0) lies in J^-(P) but is spacelike to both x_a and x_b. If a third system C, initially GHZ-correlated with A and B, undergoes a selective measurement at z, the joint state of A and B relevant at P changes, yet Eq. (12) (and the n-partite generalization in Eq. (A4)) ignores z because it is in neither J^-(x_a) nor J^-(x_b). Thus the joint sector used to 'preserve multipartite correlations' is not the state of any actual processing region unless J^-(P) happens to equal the union; footnote 7 admits this equality fails generally and holds only in special spacetimes (for example R times S^1). The fully-predictive claim and the conservation-law resolution therefore rest on a modeling choice rather than on causal structure. The additional assumption that maps Psi_S exist and compose for arbitrary causally convex S is harmless for the qubit toy model but is unproven in the QFT extension (Eqs. (15)-(17)).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that no standard single-density-operator update rule can simultaneously satisfy, in a relativistic setting, (i) full predictivity for both local and joint observables and (ii) the causal propagation of information, and that such update rules also run into the Aharonov-Albert charge-conservation problem. It proposes a 'polyperspective state' consisting of a direct sum of local density operators and a joint density operator, with local sectors updated along the casual past of each trajectory and the joint sector updated along the union of those causal pasts. The authors show that this construction reproduces the expected correlations in a Bell-pair scenario and in an EPR test, and they claim that it resolves the conservation-of-charge issue and generalizes to quantum field theory.","tokens_in":14400,"tokens_out":5896,"duration_ms":62488,"significance":"The impossibility argument based on Eqs. (2)-(3) is correct and cleanly exposes the tension between local and joint predictions after a spacelike measurement. The explicit Bell-pair polystate in Eq. (14) and the EPR-test calculation in App. B are concrete, parameter-free, and internally consistent, and they demonstrate that the proposed direct-sum structure can encode the intended correlations. The paper is a useful contribution to the discussion of relativistic state updates. However, the strongest advertised implications — full predictivity, resolution of charge conservation, and applicability beyond the qubit toy model — depend on the specific choice of the joint-sector update in Eq. (12), and that choice is not derived from causal structure in general.","major_comments":[{"comment":"The joint sector is defined by Ψ_{J^-(x_a(τ_a)) ∪ J^-(x_b(τ_b))}(ρ_ab), but the state relevant to a processing region P is Ψ_{J^-(P)}(ρ_ab). In general J^-(P) is strictly larger than the union, as footnote 7 concedes. For example, in 1+1 Minkowski spacetime with x_a=(-1,1), x_b=(-1,-1) and P=(0,0), the point z=(-1/2,0) lies in J^-(P) and is spacelike to both x_a and x_b; a selective measurement on a third system initially GHZ-correlated with A and B at z changes the joint statistics available at P, yet Eq. (12) (and its n-partite generalization, Eq. (A4)) ignores z. Thus the joint sector is not generally the state of any actual processing region unless J^-(P) coincides with the union, which footnote 7 states happens only in special spacetimes such as R×S^1. The 'fully predictive' claim and the conservation-law resolution therefore rest on a modeling choice rather than on causal structure unless an additional physical principle is supplied.","section":"Polyperspective formalism, Eq. (12) and footnote 7"},{"comment":"The statement that the expectation value of the total charge, ⟨Q(t)⟩_z ≡ Tr[ρ_z(τ(t)) Q(t)], 'is conserved for all z(τ)' is asserted rather than proved. Conservation requires that the maps Ψ_{J^-(z(τ))} preserve the total charge operator Q(t). The ideal measurements in the Bell example do commute with the total charge, but the general claim is not established and would fail for arbitrary transformations in the causal past. A proof of charge conservation under the assumed dynamics, or an explicit statement that charge-preserving maps are part of the definition, is needed for the conservation-law resolution to be load-bearing.","section":"Final section, around Eq. (18)"},{"comment":"The extension to quantum fields presumes that completely positive maps Ψ_S exist and compose consistently for every causally convex set S. This is a nontrivial condition in QFT and is not proved in the manuscript; the qubit examples are finite-dimensional and do not by themselves justify the field-theoretic generalization. Since the conclusions advertise direct implications for quantum field theory, either a proof or a clear restriction of the claims to the qubit setting is required.","section":"Eqs. (15)-(17)"}],"minor_comments":[{"comment":"The word 'wordline' appears where 'worldline' is intended; please correct the spelling.","section":"Footnote 2"},{"comment":"In the sentence beginning 'given that s_a ≤ s < s_b', the expression Tr_a(ρ_Ξ(t)) should refer to the Ξ-foliation parameter s rather than t, i.e., Tr_a(ρ_Ξ(s)).","section":"Appendix C, foliation Ξ paragraph"},{"comment":"The subscript ̃ρ on the expectation value is nonstandard; please define it explicitly, since the left-hand side is computed with ρ_Σ(t) and the right-hand side with ρ(x).","section":"Eq. (18)"},{"comment":"Calling the construction a 'minimal extension' is potentially misleading because App. A shows that an n-partite polystate contains 2^n − 1 sectors; if 'minimal' is meant in the sense of one state per ordered subset, this should be stated explicitly.","section":"Abstract and App. A"}],"recommendation":"major_revision","confidential_remarks":"The Eq. (12) issue is the heart of the paper. If the authors can supply a physical principle that selects the union prescription in general spacetimes, or if they restrict the full-predictivity and conservation claims to the cases where the union equals the common past of all processing regions, the framework remains publishable. The qubit examples themselves are sound and the presentation is clear."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis is the first paper I've seen that takes the Bell-pair state-update obstruction seriously and builds a formalism around it rather than hand-waving. The negative result - that no single density operator can satisfy both local expectation values (2) and the joint correlation (3) after a future-lightcone update - is airtight and worth having on record. The polyperspective state, a direct sum of local and joint density operators with independent update rules, is a genuine extension of the usual observer-dependent frameworks, and the Bell pair, EPR, and foliation examples are computed cleanly. The statistical-ensemble reading (Bob's local state is the unconditional ensemble before he hears Alice's result; the joint state is the postselected one) is a helpful clarification.\n\nThe soft spots are real, though. The joint-state update in Eq. (12) assigns the joint sector the result of applying Psi to the union of the two causal pasts. But that union is not the causal past of any actual processing region in generic spacetimes, as the authors themselves admit in footnote 7. The stress-test example with a third system in a GHZ state makes the problem concrete: a selective measurement at a point spacelike to both A and B but in the past of the processing region P changes the joint statistics at P, yet Eq. (12) does not see it. So the \"fully predictive\" claim is too strong; the joint sector is a modeling choice, not a consequence of causal structure. The charge-conservation resolution has a similar flavor - total charge is assigned to the joint sector, so the resolution is definitional. And the QFT extension (Eqs. 15-17) is only sketched; the existence and composition of the maps Psi_S for arbitrary causally convex sets is assumed.\n\nNone of this kills the paper. The negative result stands, and the formalism is a useful starting point. But the authors should either prove a stronger statement about which processing regions their joint state covers, or weaken the claims. As it stands, this is a solid, serious paper for the RQI community that deserves careful refereeing.\n\nI'd accept it for peer review and ask for revisions that address the operational footing of Eq. (12).","headline":"A solid negative result and a clever but incomplete positive construction; the joint-state update rule is a modeling choice that does not predict statistics at a general processing region.","tokens_in":14938,"tokens_out":4108,"would_cite":true,"duration_ms":39536,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P16","81P40","83C47"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that a multipartite quantum state in spacetime should be replaced by a polyperspective state — a direct sum of local and joint density operators — so that selective measurement updates remain causal…","keywords":["relativistic quantum information","state update","selective measurement","polyperspective state","Bell correlations","conservation of charge","causal structure","entanglement"],"falsifier":"In 2D Minkowski spacetime, place two qubits at spacelike-separated events $A=(0,-1)$ and $B=(0,1)$, and perform a transformation at $z=(0,-1/2)$. This $z$ lies in the common past of every point in $J^+(A)\\cap J^+(B)$ yet lies in neither $J^-(A)$ nor $J^-(B)$; if that transformation changes the joint statistics observed in a processing region, the polystate built from $J^-(A)\\cup J^-(B)$ misses it, directly falsifying the central prescription in Eq. (12).","tokens_in":13800,"feed_emoji":"⚛️","tokens_out":9466,"duration_ms":88545,"temperature":0.7,"pith_summary":"The paper argues that no single density operator can serve as the post-measurement state in relativistic settings: a state updated along the future lightcone of a selective measurement cannot simultaneously yield the local expectation values $\\langle\\hat{\\sigma}_{z,a}\\rangle=1$, $\\langle\\hat{\\sigma}_{z,b}\\rangle=0$, and the joint correlation $\\langle\\hat{\\sigma}_{z,a}\\otimes\\hat{\\sigma}_{z,b}\\rangle=-1$. To resolve this, the authors propose replacing the multipartite state by a polyperspective state, a direct sum of local density operators for each subsystem plus a joint density operator, so that individual and joint observables are computed from different sectors. Updates are performed by applying measurement maps over the causal pasts of each worldline, which keeps updates covariant, preserves multipartite correlations, and restores conservation of total charge. A sympathetic reader would care because this offers a concrete, operational answer to the long-open question of where and how a quantum state changes after a measurement in flat or curved spacetime.","feed_headline":"Polyperspective state makes relativistic measurement updates consistent","feed_subtitle":"A direct sum of local and joint density operators keeps Bell correlations and charge intact after measurements.","key_machinery":"The central object is the polyperspective state (polystate): the direct-sum object $\\tilde{\\rho}=\\hat{\\rho}_a\\oplus\\hat{\\rho}_b\\oplus\\hat{\\rho}_{ab}$ (generalizing to direct sums over all subsets of subsystems), whose summands act as superselection sectors separating individual observables from joint observables. The load-bearing mechanism is the family of completely positive maps $\\Psi_S$ that implement all transformations, including time evolution and selective measurements, inside a causally convex set $S$; local states are traced from $\\Psi_{J^-(x_i(\\tau_i))}$ applied to the initial joint state, and the joint state from $\\Psi_{J^-(x_a)\\cup J^-(x_b)}$. This is what allows updates to propagate only along causal pasts while keeping enough information to answer both local and joint questions.","core_discovery":"The central claim is that the state of a multipartite system in spacetime should not be a single density operator but a polyperspective state $\\tilde{\\rho}_{ab}(\\tau_a,\\tau_b)=\\hat{\\rho}_a(\\tau_a)\\oplus\\hat{\\rho}_b(\\tau_b)\\oplus\\hat{\\rho}_{ab}(\\tau_a,\\tau_b)$, with local sectors for individual observables and a joint sector for joint observables. The joint sector is obtained by applying the transformation map $\\Psi_S$ over the union of causal pasts $J^-(x_a(\\tau_a))\\cup J^-(x_b(\\tau_b))$, while each local sector uses only the causal past of the corresponding worldline. In the Bell-pair example, after Alice measures $\\hat{\\sigma}_z$ and obtains $+1$, the polystate is $|0_a\\rangle\\langle0_a|\\oplus \\frac12 \\mathbb{1}_b\\oplus |0_a1_b\\rangle\\langle0_a1_b|$, which simultaneously satisfies Eqs. (2) and (3). The authors further argue that this resolves the Aharonov-Albert charge-conservation objection because total charge is a non-local observable evaluated with the joint sector, while local charge densities are evaluated with the local sectors, so the apparent violation in Eq. (18) is expected rather than pathological.","pith_inferences":["Because the polystate replaces a single state with several, it effectively makes 'the state of the system' relative to a set of questions; a natural test is whether the same construction can be certified operationally in an EPR experiment without assuming post-selection.","The formalism suggests that a fully predictive relativistic quantum theory may need to treat joint observables as primitive, not as products of local ones, which could change how entanglement measures are defined for spatially separated systems.","The gap between $J^-(x_a)\\cup J^-(x_b)$ and the common past of all processing regions is a concrete place to look for a limitation: if a transformation in that gap affects joint predictions, the polystate prescription would need an extra sector or a different joint-state rule.","The same direct-sum structure might be adapted to quantum field theory by choosing $\\Psi_S$ to be local measurement maps of the type used in algebraic quantum field theory, extending the framework from fixed qubit trajectories to fields."],"forward_implications":["In any Bell-pair scenario with spacelike-separated measurements, predictions for local and joint observables no longer conflict; the polystate in Eq. (14) reproduces both Eqs. (2) and (3).","The update rule is covariant by construction: it uses only the causal structure of spacetime, so no foliation or preferred frame enters the definition of the state.","Total charge conservation is restored: local charge densities use the local sectors, the total charge on a leaf uses the joint sector, and the inequality in Eq. (18) is an expected feature rather than a violation.","The framework extends to $n$ subsystems by a direct sum over all subset tensor products, with each subset state built from the union of the relevant causal pasts, as shown in Appendix A.","The formalism connects to observer-dependent states: a maximally-informed observer at $x\\in M$ uses $\\hat{\\rho}(x)=\\Psi_{J^-(x)}(\\hat{\\rho}_0)/\\operatorname{Tr}[\\Psi_{J^-(x)}(\\hat{\\rho}_0)]$, recovering a one-time-parameter description along any worldline."],"supporting_citations":[{"why":"Provides Lüders' rule, the standard selective-update postulate whose relativistic generalization the paper seeks.","marker":"[1]"},{"why":"Supplies the detector-based measurement theory that motivates the prescriptions for $\\hat{\\rho}_a$, $\\hat{\\rho}_b$, and $\\hat{\\rho}_{ab}$, and the observer-dependent state framework the paper connects to.","marker":"[7]"},{"why":"Proposed the future-lightcone update rule that the paper adopts for individual sectors, and whose correlation failure motivates the polyperspective extension.","marker":"[16]"},{"why":"Identified the failure of charge conservation in relativistic collapse postulates, the central obstruction the paper claims to resolve.","marker":"[17]"},{"why":"Argued that past-lightcone updates are the only viable choice because they give correct conditional statistics; the paper rejects this as retrocausal.","marker":"[20]"},{"why":"Provides the epistemic interpretation of state updates that justifies seeking a relativistic update rule without invoking physical collapse.","marker":"[18]"},{"why":"Framed the 'useless qubits' problem in relativistic quantum information that the paper addresses as a foundational challenge.","marker":"[27]"}],"fun_headline_variants":["Polyperspective states ensure causal consistency in relativistic measurements","Relativistic measurement updates consistent with polyperspective formalism","Covariant state updates via polyperspective states without breaking correlations","Polyperspective formalism keeps correlations and charge in spacetime","Preserving correlations and charge in relativistic state updates"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The framework hangs on the assumption that the joint sector of the polystate, built from the union of the two causal pasts, carries everything a later joint-processing region can know, yet the paper's own footnote concedes that this union need not equal the common past of all processing regions.","fun_headline_variants_meta":{"raw":{"variants":["Polyperspective states ensure causal consistency in relativistic measurements","Relativistic measurement updates consistent with polyperspective formalism","Covariant state updates via polyperspective states without breaking correlations","Polyperspective formalism keeps correlations and charge in spacetime","Preserving correlations and charge in relativistic state updates"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001069,"raw_usage":{"total_tokens":4448,"prompt_tokens":885,"completion_tokens":3563,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":501,"completion_tokens_details":{"reasoning_tokens":3482}},"tokens_in":501,"tokens_out":3563,"duration_ms":23960,"temperature":1.0,"reasoning_tokens":3482,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:42:42.224398+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In 2D Minkowski spacetime, place two qubits at spacelike-separated events $A=(0,-1)$ and $B=(0,1)$, and perform a transformation at $z=(0,-1/2)$. This $z$ lies in the common past of every point in $J^+(A)\\cap J^+(B)$ yet lies in neither $J^-(A)$ nor $J^-(B)$; if that transformation changes the joint statistics observed in a processing region, the polystate built from $J^-(A)\\cup J^-(B)$ misses it, directly falsifying the central prescription in Eq. (12).","supporting_citations":[{"cited_title":"L¨ uders, Concerning the state-change due to the mea- surement process, Ann","cited_arxiv_id":null,"evidence_quote":"Provides Lüders' rule, the standard selective-update postulate whose relativistic generalization the paper seeks."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the detector-based measurement theory that motivates the prescriptions for $\\hat{\\rho}_a$, $\\hat{\\rho}_b$, and $\\hat{\\rho}_{ab}$, and the observer-dependent state framework the paper connects to."},{"cited_title":"Aharonov and D","cited_arxiv_id":null,"evidence_quote":"Proposed the future-lightcone update rule that the paper adopts for individual sectors, and whose correlation failure motivates the polyperspective extension."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Identified the failure of charge conservation in relativistic collapse postulates, the central obstruction the paper claims to resolve."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Argued that past-lightcone updates are the only viable choice because they give correct conditional statistics; the paper rejects this as retrocausal."},{"cited_title":"Aharonov and D","cited_arxiv_id":null,"evidence_quote":"Provides the epistemic interpretation of state updates that justifies seeking a relativistic update rule without invoking physical collapse."}],"review_version":1}