REVIEW 3 major objections 5 minor 20 references
Can entanglement be mediated by a Koopmanian system?
T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read A Koopmanian classical mediator can never entangle two qubits.
desk verdict A neat Koopmanian illustration of the known no-entanglement-by-classical-mediator theorem, undercut as written by an incorrect operator factorization but likely repairable. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
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.
What would settle it
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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}$.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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.
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 (3)
- [Koopmanian mediator section; displayed factorization after H = p̂1p̂2/m + λx̂1(σz1+σz2)] 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.
- [Generality claim in the same section] 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.
- [Conservation-law argument, penultimate section] 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.
minor comments (5)
- [Throughout] 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.
- [Introduction of ψ(x1,p2,t)] 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.
- [Initial-state assumption in the Koopmanian mediator section] 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.
- [Galilean transformations] 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.
- [Final paragraph on stochastic models] 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.
Circularity Check
No significant circularity: the no-entanglement claim rests on a direct Hamiltonian calculation, not on a fitted parameter, a definitional equivalence, or a load-bearing self-citation.
full rationale
The paper's central derivation is self-contained: it proposes a specific Koopmanian Hamiltonian, H = p1p2/m + lambda x1(sigma1z+sigma2z), and attempts to factor its time evolution into terms that act as single-qubit unitaries. The no-entanglement conclusion is a nontrivial consequence of the commuting-observable construction, not a restatement of the input. No data are fitted and no prediction is equivalent to an input by construction. The paper does cite prior work by the same authors for the general claim that no classical mediator can entangle quantum systems and for the inconsistency of hybrid classical-quantum models, but those citations are contextual or point to published, falsifiable theorems with stated assumptions; the core proof in this paper is attempted with an explicit Hamiltonian and a unitary factorization. The heavy self-citation is therefore not load-bearing for the central derivation. A separate note: the displayed BCH-type factorization is mathematically incorrect, since the commutator [p1p2/m, lambda x1 S] produces a t^2/2 correction term; that is a correctness flaw in the proof as written, not a circularity. Because the corrected correction term is also generated by S = sigma1z+sigma2z, the conclusion may be salvageable, but that repair is an independent calculation. No circular step can be exhibited from the paper's equations, so the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption A classical system's position and momentum can be represented by commuting operators x̂1 and p̂2 belonging to different quantum subsystems, with x̂2 and p̂1 hidden.
- domain assumption The classicality condition is that all physical observables of the classical system commute.
- ad hoc to paper Any stochastic hybrid model admits an underlying deterministic description with hidden variables, so no-go arguments for deterministic dynamics also rule out stochastic models.
- domain assumption Exact conservation laws must hold for the composite of a qubit and the classical system, and the only allowed unitaries commute with the conserved quantity.
Cite this review
Pith. "Pith review of Can entanglement be mediated by a Koopmanian system?." pith.science (2026). https://pith.science/paper/ZMSFTTCP
@misc{pith2026250711713,
author = {Pith},
title = {Pith review of: Can entanglement be mediated by a Koopmanian system?},
year = {2026},
howpublished = {\url{https://pith.science/paper/ZMSFTTCP}},
note = {Machine review of arXiv:2507.11713}
}
read the original abstract
We present a method for coupling a Koopmanian classical system to two quantum bits to mediate an interaction between them. We then prove that the resulting dynamics can never lead to entanglement between the two qubits. Even though the total system of two qubits and the Koopmanian classical system are described with the full quantum formalism, we show that their composite system violates exact conservation laws as expected for a hybrid quantum-classical system. We finally discuss the implications for semi-classical treatments of quantum gravity.
Reference graph
Works this paper leans on
-
[1]
B. O. Koopman, Proceedings of the National Academy of Sciences. 17, 315 (1931)
work page 1931
-
[2]
E. C. G. Sudarshan, Pramana. 6, 117 (1976)
work page 1976
- [3]
-
[4]
M. Hall, M. Reginatto, Phys. Rev. A 78, 042104, 2008
work page 2008
-
[5]
B. S. DeWitt, in: Gravitation: an introduction to current research, edited by L. Witten (Wiley, New York, 1962), pp. 266-381
work page 1962
-
[6]
B. De Witt, A Global approach to quantum field theory, International Series of Monographs on Physics (Clarendon Press Oxford, 2014)
work page 2014
- [7]
- [8]
Show all 20 references
-
[9]
Marletto and V
C. Marletto and V. Vedral, Phys. Rev. Lett. 119, 240402 (2017)
2017
-
[10]
Marletto and V
C. Marletto and V. Vedral, Phys. Rev. D 98, 046001 (2018)
2018
-
[11]
Marletto and V
C. Marletto and V. Vedral, Phys. Rev. D 102, 086012 (2020)
2020
-
[12]
Deutsch, C
D. Deutsch, C. Marletto, Proc. R. Soc. A 471, 2174, 2014
2014
-
[13]
Bose, et al
S. Bose, et al. Phys. Rev. Lett. 119, 240401 (2017)
2017
-
[14]
Hotta, S
M. Hotta, S. Murk and D. R. Terno, Classical-quantum systems breaking conservation laws, https://arxiv.org/pdf/2506.15291
-
[15]
Marletto and V
C. Marletto and V. Vedral, Phys. Rev. Lett. 125, 040401 (2020)
2020
-
[16]
Marconato and C
E. Marconato and C. Marletto, J. Phys. A: Math. Theor. 54, 375301 (2021)
2021
-
[17]
Di Pietra and C
G. Di Pietra and C. Marletto, Journal of Physics A: Mathematical and Theoretical 56, 265305 (2023), arXiv:2205.00198 [quant-ph]
2023 arXiv
-
[18]
T. Feng, C. Marletto, and V. Vedral, Conservation Laws and the Quantization of Gravity (2024), arXiv:2311.08971 [gr-qc, physics:quant-ph]
2024
-
[19]
D. R. Terno, Encyclopaedia of Mathematical Physics. Volume 2: Quantum Mechanics, Quantization and Quantum Com- putation., Mann, R. B. and Rayan, S. (eds.). 2nd ed. Cambridge MA: Academic Press, p. 57-72, 2025)
2025
-
[20]
Oppenheim, Phys
J. Oppenheim, Phys. Rev. X 13, 041040 (2023)
2023
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.