{"id":"7f09ccd2-0fb7-408f-91ff-0b0442fd9e3d","arxiv_id":"2507.11713","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Koopmanian classical mediator cannot generate entanglement between two qubits, supporting the case that gravitationally induced entanglement would witness gravity's quantum nature.","lead":"The authors use Koopman's way of writing classical physics inside quantum math to show that a classical mediator can never entangle two qubits. The result strengthens the argument that gravity must be quantum, since a classical gravitational field could not produce the quantum entanglement proposed experiments aim to detect.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's exact factorization of the evolution operator is incorrect, so the no-entanglement proof as written does not go through, although the conclusion is likely salvageable with a corrected t^2 term.","rationale":"The paper's central claim is that a Koopmanian classical mediator cannot generate entanglement between the qubits. For that claim to hold, the evolution operator must decompose into a product of unitaries each acting on a single qubit, up to a factor acting only on the mediator. The only explicit proof of this decomposition is the displayed 'exact' identity, and that identity is demonstrably false: a BCH check shows the third factor must contain t^2, not t. This is a load-bearing flaw because it invalidates the proof as written. However, the flaw is not necessarily fatal to the truth of the claim: the correct third factor is still of the form exp(-i lambda p2 S t^2/(2m)), which is a product of single-qubit unitaries, so the no-entanglement theorem can be restored with a corrected derivation. The reader's conditional verdict already flags the proof error and the dependency on the classicality assumptions; our independent BCH calculation reinforces that the factorization is the precise point to fix. Since the conclusion appears salvageable and the paper's broader claims about semiclassical gravity are supported by prior LOCC and Constructor-Theory arguments, I would not change the conditional verdict. The manuscript should be revised to replace the erroneous identity and to state the corrected factorization, or to give an independent proof that the exact evolution is local on the qubit sector.","tokens_in":4797,"tokens_out":13034,"duration_ms":157845,"concrete_test":"Recompute the unitary exactly, for instance by going to the interaction picture: x1(s) = e^{iAs} x1 e^{-iAs} = x1 + (p2/m)s, so the time-ordered integral gives U(t) = e^{-iAt} exp[-i lambda S (x1 t + p2 t^2/(2m))] = e^{-iAt} e^{-i lambda x1 S t} e^{-i lambda p2 S t^2/(2m)}. Compare this with the paper's three-factor expression: the third factor differs (t^2 instead of t and a factor 1/2). If the paper's identity is used, the factorization into single-qubit unitaries is invalid; if the corrected factor is used, the no-entanglement conclusion still follows because each factor is a product of single-qubit unitaries. This settles whether the error is only typographical or affects the proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central demonstration that the two qubits never entangle rests on the displayed identity after the Hamiltonian H = p1 p2/m + lambda x1 (sigma1z+sigma2z): e^{-i(p1p2/m + lambda x1 S)t} = e^{-i p1p2 t/m} e^{-i lambda x1 S t} e^{-i lambda p2 S t/m}, with S = sigma1z+sigma2z. This identity is false. Let A = p1p2/m and B = lambda x1 S. Then [A,B] = -i(lambda/m)p2 S, and [A,[A,B]] = [B,[A,B]] = 0. The Baker-Campbell-Hausdorff formula therefore gives e^{-i(A+B)t} = e^{-iAt} e^{-iBt} e^{-i(lambda p2 S t^2)/(2m)}, not the paper's e^{-iAt} e^{-iBt} e^{-i(lambda p2 S t)/m}. The claimed third factor has the wrong power of t and the wrong coefficient. Because this factorization is the entire argument that the qubit evolution is U1 tensor U2, the no-entanglement theorem is not established by the text as written. The conclusion can likely be repaired: the correct extra term is also a product of single-qubit unitaries, so the theorem may survive. But the proof needs a corrected identity or an independent derivation.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies a Koopmanian representation of a classical system, in which the physical position and momentum are encoded as commuting operators x̂1 and p̂2 (with unobservable conjugate variables x̂2, p̂1), and couples this 'classical' mediator to two qubits through H = p̂1p̂2/m + λx̂1(σz1+σz2). It claims an exact factorization of the unitary evolution into single-qubit tensor products, which would prove that the two qubits can never become entangled; it further argues that such hybrid models violate exact conservation laws because no back-reaction is possible, and draws conclusions against semiclassical gravity and against field-mediated interactions. The main theorem is explicitly conditional on the classicality of the mediator: with the non-classical Hamiltonian H_ENT the authors concede that entanglement can be generated.","tokens_in":5100,"tokens_out":15901,"duration_ms":192111,"significance":"If the no-entanglement result can be established rigorously, the paper provides a simple, self-contained model that supports existing constructor-theory and LOCC-based arguments that classical mediators cannot generate entanglement, and it sharpens the case against semiclassical gravity proposals. The construction is explicit and parameter-free, and the classicality assumption is clearly stated. However, the current proof contains a load-bearing operator-factorization error (Major Comment 1), so the central claim is not yet demonstrated; because the corrected factor still has the product form, the result is likely repairable rather than wrong.","major_comments":[{"comment":"The displayed exact factorization is incorrect. Let A=p̂1p̂2/m and B=λx̂1S with S=σz1+σz2. Then [A,B]=-iλp̂2S/m, and [A,[A,B]]=[B,[A,B]]=0. The Zassenhaus formula therefore gives e^{-i(A+B)t}=e^{-iAt}e^{-iBt}e^{-iλp̂2St^2/(2m)}, not e^{-iAt}e^{-iBt}e^{-iλp̂2St/m}. The displayed third factor has the wrong power of t and the wrong coefficient. Since this identity is the entire argument that the qubit evolution is U1⊗U2, the no-entanglement theorem is not established as written. The conclusion is likely salvageable—the corrected extra term also factorizes as a product of single-qubit unitaries—but the proof must be corrected or replaced.","section":"Koopmanian mediator section; displayed factorization after H = p̂1p̂2/m + λx̂1(σz1+σz2)"},{"comment":"The paper asserts that 'all other individual couplings of qubits to the Koopmanian system will result in products of unitaries' and that any other Hamiltonian choice leads to the same conclusion, but no proof is given for this generality. The explicit calculation covers only the σz coupling to x̂1, together with the free term p̂1p̂2/m. A rigorous statement should define the allowed class (for example, H_int = Σ_i f_i(x̂1,p̂2) O_i with O_i acting on a single qubit) and prove that the total evolution factorizes, or at least that the reduced qubit–qubit map cannot generate entanglement. This matters because the gravitational conclusions are drawn from the general statement, not only from the single example.","section":"Generality claim in the same section"},{"comment":"The step from [U_Q1S, Ĉ]=0 to 'the only unitaries satisfying this exact conservation law are generated by Hamiltonians of the form H above' is not derived. Exact commutation of a single unitary with Ĉ does not in general imply commutation of its (possibly time-dependent) generator with Ĉ. The authors should either restrict to a one-parameter unitary group and prove the generator classification, or show directly that any unitary commuting with Ĉ acts trivially on the coherences of σz1 that would be required for a transition between its eigenstates. The conclusion that only trivial local evolutions are possible is otherwise asserted rather than proved.","section":"Conservation-law argument, penultimate section"}],"minor_comments":[{"comment":"The text contains several typos and formatting errors: 'We start withS being' should have a space; the line 'δ(p2−p0−kx0t)' appears to be missing a δt on the last term; and the equations are not numbered, which makes referencing the key factorization identity cumbersome.","section":"Throughout"},{"comment":"When ψ(x1,p2,t) is introduced, the paper should state explicitly that this is a wavefunction in the mixed position/momentum representation—position of subsystem 1 and momentum of subsystem 2. This is essential for understanding why δ(x1−x0)δ(p2−p0) represents a sharp classical state.","section":"Introduction of ψ(x1,p2,t)"},{"comment":"The initial state is taken to be a simultaneous eigenstate of x̂1 and p̂2, and the paper says this assumption will be revisited later, but the later discussion does not address finite-width or mixed classical states. A sentence noting that mixtures of sharp classical states yield mixtures of product unitaries, and hence still no qubit entanglement, would close the gap.","section":"Initial-state assumption in the Koopmanian mediator section"},{"comment":"The Galilean transformation displays a sign inconsistency: for U(a,mv)=e^{i(a p̂1−mv x̂2)}, the Heisenberg evolution gives U p̂2 U† = p̂2 + mv, not p̂2 − mv as stated in Eq. (2); the sign convention should be fixed or the parameter mv defined with the opposite sign.","section":"Galilean transformations"},{"comment":"The rebuttal to stochastic-model objections relies on the premise that every stochastic physical model admits an underlying deterministic description; this is asserted rather than proved, and the CPTP-map analogy is only an analogy. The paper should clearly label this as an assumption rather than a theorem.","section":"Final paragraph on stochastic models"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is short and heavily cites the authors' own previous constructor-theory work for the general no-go claims; those citations are relevant, so I do not regard the pattern as disqualifying. The new technical content is the explicit Koopmanian example, which is a useful illustration but modest in scope. The current version cannot be accepted until the factorization error is fixed, since it is load-bearing for the advertised no-entanglement theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a short paper in the Marletto-Vedral program, applying Koopman's Hilbert-space formulation of classical mechanics to the question of whether a classical mediator can entangle two qubits. The main claim — no — is not new; the authors themselves say it is an illustration of their earlier Constructor Theory results and the Bose et al. LOCC argument. What is new is the explicit model, and that part is genuinely nice: encode position and momentum of the classical particle as commuting operators on two separate quantum subsystems, so the classicality condition is [x1,p2]=0. The Heisenberg-picture derivation of Newton's laws is clear and pedagogically useful.\n\nBut the proof has a problem. The displayed identity\ne^{-i(p1p2/m + λx1S)t} = e^{-ip1p2t/m} e^{-iλx1St} e^{-iλp2St/m}\nis false. With A=p1p2/m and B=λx1S, the nested commutators vanish, so BCH gives\ne^{-i(A+B)t}=e^{-iAt}e^{-iBt}e^{-iλp2S t^2/(2m)},\nnot the linear-t term in the paper. As written, the no-entanglement theorem is not established. The good news is that the correct extra term is also a product of single-qubit unitaries, so the conclusion very likely survives; a referee would need to see the correction.\n\nA second soft spot is the closing argument about stochastic hybrid models. The claim that every stochastic model suitable for physics must admit a deterministic underlying model with hidden variables is asserted rather than argued. That is a substantive philosophical assumption, not a theorem, and the paper leans on it heavily. The self-citation is heavy but not inappropriate — the earlier papers really do contain the central no-go result.\n\nWho is this for? People working on semiclassical gravity and gravitationally induced entanglement. It is a useful illustration, not a new theorem. It deserves a serious referee, because the model is clean and the error is fixable, but I would not cite it in my own work — I would cite the original no-go papers. Recommend peer review, with the requirement that the factorization be corrected or replaced by a direct calculation, and the stochastic-model claim either softened or proven.","headline":"A neat Koopmanian illustration of the known no-entanglement-by-classical-mediator theorem, undercut as written by an incorrect operator factorization but likely repairable.","tokens_in":5590,"tokens_out":3272,"would_cite":false,"duration_ms":36843,"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":"A Koopmanian classical mediator can never entangle two qubits.","keywords":["Koopmanian mechanics","hybrid quantum-classical systems","entanglement generation","semiclassical gravity","no-go theorem","non-commuting observables","conservation laws","gravitationally induced entanglement"],"falsifier":"Compute the two-qubit concurrence after evolution under a Hamiltonian built exclusively from mutually commuting mediator operators, starting from a product state; any increase from zero would refute the theorem. Equivalently, an experiment in which a field prepared with all its relevant variables simultaneously sharp entangles two probe qubits would falsify the claim that a classical mediator cannot mediate entanglement.","tokens_in":4601,"feed_emoji":"🔗","tokens_out":11719,"duration_ms":121646,"temperature":0.7,"pith_summary":"The paper builds a hybrid quantum-classical model by encoding a classical particle's commuting position and momentum as operators $\\hat{x}_1$ and $\\hat{p}_2$ on two separate quantum systems. It couples those operators to two qubits and proves that the resulting unitary always factors into single-qubit unitaries, so the qubits can never become entangled. The conclusion is meant to close a loophole: even when the classical mediator is described by the full Hilbert-space formalism, it still cannot account for gravitationally induced entanglement in semiclassical gravity. The paper then argues that any Hamiltonian that would entangle the qubits must couple the mediator's non-commuting variables, which turns the supposedly classical mediator into a fully quantum system.","feed_headline":"Even a quantum-described classical field cannot entangle qubits","feed_subtitle":"Any entangling interaction must engage non-commuting mediator variables, ruling out semiclassical gravity as fundamental.","key_machinery":"The load-bearing object is the Koopmanian encoding of a classical particle: the position $x$ becomes $\\hat{x}_1$ on one subsystem and the momentum $p$ becomes $\\hat{p}_2$ on a second subsystem, so the classical observables commute by construction and the state can be a simultaneous eigenstate $\\delta(x_1-\\bar{x}_0)\\delta(p_2-\\bar{p}_0)$, with $\\hat{x}_2$ and $\\hat{p}_1$ hidden. The argument runs on the commutation relation $[\\hat{x}_1,\\hat{p}_2]=0$ and the exact splitting of the unitary $e^{-i(\\hat p_1\\hat p_2/m+\\lambda \\hat x_1(\\sigma_z^{(1)}+\\sigma_z^{(2)}))t}$ into a product of one-qubit unitaries. That factorization, together with the conservation-law requirement that allowed unitaries commute with $\\hat C=\\sigma_z^{(1)}+\\hat x_1$, forces every classical-mediator interaction to be local in the qubit sector.","core_discovery":"The central claim is that a Koopmanian classical system, defined by the condition that all its physical observables commute, cannot act as a mediator of entanglement between two qubits. The paper proves this for the interaction $\\hat H = \\hat p_1 \\hat p_2/m + \\lambda \\hat x_1(\\sigma_z^{(1)} + \\sigma_z^{(2)})$: because $\\hat x_1$ commutes with $\\hat p_2$, the exact time evolution splits into products of unitaries acting on one qubit alone. Adding a potential or other couplings built only from the commuting visible variables does not change this factorization. The same classicality condition also blocks back-reaction: an exact conservation law such as $\\hat C = \\sigma_z^{(1)} + \\hat x_1$ allows only trivial local evolutions of the qubit sector, while the Hamiltonian that would permit a qubit transition, $\\hat H_{\\rm ENT} = \\alpha(\\hat x_1 \\hat p_2 + \\hat p_1 \\hat x_2) + \\lambda_1 \\sigma^x_1 \\hat x_1 + \\lambda_2 \\sigma^z_2 \\hat p_2$, engages non-commuting variables and therefore abandons the classical condition. The paper reads this as a demonstration that hybrid semiclassical models, including semiclassical gravity, cannot be fundamental.","pith_inferences":["Beyond the paper, the factorization condition suggests a quantitative witness: for a classical mediator each qubit's local purity should stay constant, so a measurement of local entropy change during the interaction could serve as a classicality test.","The same argument implies that any observed gravitationally induced entanglement automatically shows the mediating field cannot have all its relevant observables simultaneously sharp, regardless of how the classical limit is implemented.","A testable extension is to encode $\\hat{x}_1$ and $\\hat{p}_2$ as bosonic modes on small quantum hardware: a program that couples the qubits to non-commuting field modes should show entanglement growth, while one restricted to commuting modes should show none.","The conservation-law objection generalizes beyond gravity: any force carrier modeled as classical, such as a classical electromagnetic field in a hybrid model, would fail to imprint quantum coherence from its sources because back-reaction requires non-commuting degrees of freedom."],"forward_implications":["Any interaction Hamiltonian that couples two qubits only through mutually commuting, sharply defined mediator observables generates dynamics of the form $U_1 \\otimes U_2$, so the two-qubit reduced state has zero entanglement for all times.","A semiclassical gravitational field, treated as a Koopmanian classical system, cannot produce gravitationally induced entanglement between two test masses; an observed such entanglement would therefore rule out that field as classical.","The interaction required to entangle the qubits must use non-commuting mediator variables, which turns the mediator into a fully quantum system and violates the classicality condition.","Hybrid quantum-classical models of this kind violate exact conservation laws for the composite system, so they can serve as useful approximations but not as fundamental theories."],"supporting_citations":[{"why":"introduces the Koopmanian Hilbert-space formulation of classical mechanics on which the model is built.","marker":"[1]"},{"why":"supplies an early argument that a quantum sector coupled to another sector prevents the latter from being purely classical, which the paper applies to Koopmanian mediators.","marker":"[5]"},{"why":"establishes the general no-classical-mediator result used here for gravitationally induced entanglement.","marker":"[9]"},{"why":"extends the no-entanglement argument to semiclassical gravity, the target implication of the present model.","marker":"[11]"},{"why":"provides the general methodology for deriving conservation-law constraints on allowed unitaries in hybrid systems.","marker":"[12]"},{"why":"gives the less general argument that classical communication alone cannot generate entanglement between qubits.","marker":"[13]"},{"why":"shows classical-quantum hybrid systems break exact conservation laws, supporting the paper's consistency objection.","marker":"[14]"},{"why":"supplies a non-classicality witness that does not rely on deterministic evolution, used to sharpen the semiclassical-gravity conclusion.","marker":"[17]"}],"fun_headline_variants":["No Koopmanian path to qubit entanglement","Classical mediator cannot entangle two qubits","Semiclassical gravity impossible: no entanglement","Entanglement needs non-commuting mediator variables"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The no-entanglement proof assumes the mediator's relevant observables are mutually commuting and initially sharp, and that the qubits couple only to those commuting observables; if the hidden variables are engaged, the conclusion fails, as the paper acknowledges with $\\hat H_{\\rm ENT}$.","fun_headline_variants_meta":{"raw":{"variants":["No Koopmanian path to qubit entanglement","Classical mediator cannot entangle two qubits","Semiclassical gravity impossible: no entanglement","Entanglement needs non-commuting mediator variables"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00022,"raw_usage":{"total_tokens":1427,"prompt_tokens":903,"completion_tokens":524,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":519,"completion_tokens_details":{"reasoning_tokens":464}},"tokens_in":519,"tokens_out":524,"duration_ms":6643,"temperature":1.0,"reasoning_tokens":464,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:04:27.242682+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two-qubit concurrence after evolution under a Hamiltonian built exclusively from mutually commuting mediator operators, starting from a product state; any increase from zero would refute the theorem. Equivalently, an experiment in which a field prepared with all its relevant variables simultaneously sharp entangles two probe qubits would falsify the claim that a classical mediator cannot mediate entanglement.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"introduces the Koopmanian Hilbert-space formulation of classical mechanics on which the model is built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies an early argument that a quantum sector coupled to another sector prevents the latter from being purely classical, which the paper applies to Koopmanian mediators."},{"cited_title":"Marletto and V","cited_arxiv_id":null,"evidence_quote":"extends the no-entanglement argument to semiclassical gravity, the target implication of the present model."},{"cited_title":"Deutsch, C","cited_arxiv_id":null,"evidence_quote":"provides the general methodology for deriving conservation-law constraints on allowed unitaries in hybrid systems."},{"cited_title":"Bose, et al","cited_arxiv_id":null,"evidence_quote":"gives the less general argument that classical communication alone cannot generate entanglement between qubits."}],"review_version":1}