arxiv: 2604.06891 · v1 · submitted 2026-04-08 · 🪐 quant-ph · gr-qc· hep-ph· hep-th

Recognition: 2 theorem links

· Lean Theorem

Emergence of Non-Markovian Classical-Quantum Dynamics from Decoherence

Shogo Tomizuka , Hiroki Takeda

Authors on Pith no claims yet

Pith reviewed 2026-05-10 18:47 UTC · model grok-4.3

classification 🪐 quant-ph gr-qchep-phhep-th

keywords classical-quantum dynamicsdecoherencenon-Markovian dynamicseffective descriptionhidden modelsemi-Wigner operatorpositivity conditionquantum gravity

0 comments

The pith

Classical-quantum dynamics emerge generically as an effective description of fully quantum systems under decoherence.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that dynamics in which quantum matter interacts with a classical mediator can appear as the reduced effective behavior of a fully quantum system once decoherence from environmental coupling is accounted for. This matters because it offers a concrete mechanism connecting complete quantum theories to hybrid classical-quantum frameworks proposed for gravity without requiring the mediator to be classical at the fundamental level. The derivation uses a hidden model with unobserved environmental degrees of freedom to obtain generically non-Markovian reduced equations and supplies a positivity condition that determines when the classical-quantum picture remains valid. If the claim holds, matching experimental data to classical-quantum predictions leaves open whether the underlying mediator is quantum but decohered rather than fundamentally classical.

Core claim

Classical–quantum dynamics arise generically as an effective description of fully quantum systems under decoherence. Using an explicit hidden model in which the mediator is coupled to unobserved environmental degrees of freedom, the reduced dynamics are derived and shown to be generically non-Markovian. A classical–quantum interpretation remains valid when the semi-Wigner operator associated with the mediator sector stays positive semidefinite, which can be expressed as a positivity condition on the nonlocal kernels that govern the evolution. In the short-memory limit the reduced evolution reproduces Markovian classical–quantum dynamics. The results imply that a classical mediator can arise

What carries the argument

The hidden model in which the mediator couples to unobserved environmental degrees of freedom, from which the reduced non-Markovian dynamics and the positivity criterion for the semi-Wigner operator are obtained.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Agreement between experiment and classical-quantum predictions would not rule out an underlying fully quantum mediator whose decoherence produces the observed effective behavior.
The persistence of non-Markovian memory effects in the reduced dynamics suggests that varying the timescale of environmental coupling could produce testable signatures distinguishable from purely Markovian classical-quantum models.
When the positivity condition on the nonlocal kernels fails, the effective description would cease to admit a classical-quantum interpretation, indicating regimes where a fully quantum treatment becomes necessary.

Load-bearing premise

The derivation assumes an explicit hidden model in which the mediator couples to unobserved environmental degrees of freedom that faithfully represents the relevant decoherence processes.

What would settle it

A calculation or measurement of the reduced dynamics for a quantum mediator coupled to a known environment that produces evolution equations or kernel signs violating the derived non-Markovian form or rendering the semi-Wigner operator negative semidefinite while the full system remains consistent.

read the original abstract

The quantum nature of gravity remains experimentally unverified, despite recent proposals to probe it using tabletop experiments such as gravity-mediated entanglement schemes. In parallel, consistent formulations of classical--quantum dynamics have been developed as alternative descriptions of gravity, in which quantum matter interacts with a classical mediator assumed to be fundamentally classical. In this work, we show that classical--quantum dynamics arise generically as an effective description of fully quantum systems under decoherence, providing a bridge between fully quantum and classical--quantum dynamics. We derive the reduced dynamics, which are generically non-Markovian, using an explicit hidden model in which the mediator is coupled to unobserved environmental degrees of freedom. We identify a concrete criterion for when a classical--quantum interpretation is valid: the semi-Wigner operator associated with the mediator sector must remain positive semidefinite, which can be expressed as a positivity condition on nonlocal kernels governing the evolution. In the short-memory limit, the reduced evolution reproduces Markovian classical--quantum dynamics of Oppenheim and collaborators. Our results imply that a classical mediator can arise effectively from decohered quantum dynamics, so that experimental agreement with classical-quantum models does not uniquely determine whether the mediator is fundamentally classical.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper gives one explicit hidden-environment construction that produces non-Markovian CQ dynamics plus a derived positivity condition on the semi-Wigner operator, but the claim that this emergence is generic rests on an untested special case.

read the letter

The main takeaway is that they start from a fully quantum mediator coupled to an unobserved environment, trace out the environment, and obtain reduced non-Markovian classical-quantum dynamics together with a positivity requirement on the semi-Wigner operator (equivalently, on certain nonlocal kernels). In the short-memory limit the equations reduce to the Markovian CQ form already studied by Oppenheim and collaborators. The positivity condition is not imposed by hand; it follows from the model. That is the concrete advance over prior work. The construction is explicit and the short-memory recovery is shown, so the technical steps look reproducible in principle. The central claim that classical-quantum dynamics arise generically from decoherence does not hold up. The argument uses one chosen form of hidden environment and coupling; nothing demonstrates that this choice captures the decoherence channels relevant to the systems the authors mention, such as gravity-mediated entanglement. Other physically motivated environments could easily violate the kernel-positivity condition or produce different reduced dynamics, which would break the claimed bridge. The abstract supplies no error analysis, no comparison to alternative environments, and no verification steps, so the support for the headline result remains a sketch. This is for readers already working inside the classical-quantum gravity literature who want to see how non-Markovian extensions and positivity criteria can be derived rather than postulated. It is worth sending to peer review so that referees can check the full derivation and ask whether the genericity statement can be qualified or supported by additional models.

Referee Report

2 major / 2 minor

Summary. The paper claims that classical-quantum (CQ) dynamics, including non-Markovian variants, emerge generically as an effective description of fully quantum systems subject to decoherence. Using an explicit hidden model in which a mediator couples to unobserved environmental degrees of freedom, the authors derive the reduced dynamics, identify positivity of the semi-Wigner operator (equivalently, positivity of certain nonlocal kernels) as the condition for a valid CQ interpretation, and show that the short-memory limit recovers the Markovian CQ dynamics of Oppenheim et al. The results are presented as providing a bridge between fully quantum and CQ descriptions, with implications for experiments probing the quantum nature of gravity.

Significance. If the central derivation holds and the hidden-model construction can be shown to be representative, the work would supply a concrete mechanism by which a classical mediator can arise effectively from decohered quantum dynamics. This would weaken the inference that experimental agreement with CQ models implies a fundamentally classical mediator, thereby strengthening the case for using CQ frameworks as effective descriptions in gravity-mediated entanglement proposals. The explicit positivity criterion on the semi-Wigner operator and the recovery of known Markovian limits are concrete technical contributions.

major comments (2)

[Abstract and §1] Abstract and §1: The headline claim that CQ dynamics 'arise generically' as an effective description rests on a single explicit hidden model of decoherence (mediator coupled to unobserved environmental degrees of freedom). The manuscript does not demonstrate that this particular environment or coupling form reproduces the decoherence channels relevant to the target systems (e.g., gravity-mediated entanglement). If other physically motivated environments produce reduced dynamics that violate the kernel-positivity condition or yield qualitatively different non-Markovian kernels, the genericity asserted in the abstract would not hold. This is load-bearing for the central claim.
[§3] §3 (or wherever the reduced dynamics are derived): The positivity condition on the semi-Wigner operator is derived from the chosen hidden model rather than imposed externally. While this avoids circularity, the manuscript must still show that the condition is satisfied for the decoherence processes of physical interest; otherwise the 'valid CQ interpretation' criterion remains formal and the emergence result applies only to a restricted class of environments.

minor comments (2)

Notation for the semi-Wigner operator and the nonlocal kernels should be introduced with an explicit definition and a brief comparison to the standard Wigner function to aid readers unfamiliar with the CQ literature.
The short-memory (Markovian) limit derivation would benefit from an explicit statement of the scaling assumptions on the environmental correlation functions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. The comments highlight important points regarding the scope of our genericity claim and the applicability of the positivity criterion. We address each major comment below, clarifying the intent of the hidden-model construction and indicating where the manuscript will be revised for precision.

read point-by-point responses

Referee: [Abstract and §1] The headline claim that CQ dynamics 'arise generically' as an effective description rests on a single explicit hidden model of decoherence (mediator coupled to unobserved environmental degrees of freedom). The manuscript does not demonstrate that this particular environment or coupling form reproduces the decoherence channels relevant to the target systems (e.g., gravity-mediated entanglement). If other physically motivated environments produce reduced dynamics that violate the kernel-positivity condition or yield qualitatively different non-Markovian kernels, the genericity asserted in the abstract would not hold. This is load-bearing for the central claim.

Authors: The hidden model is constructed to capture the generic mechanism by which decoherence arises from coupling to unobserved environmental degrees of freedom, a process ubiquitous in open quantum systems. The derivation shows that, whenever the resulting semi-Wigner operator remains positive semidefinite, the reduced dynamics take the form of (generally non-Markovian) CQ evolution. We do not claim that every conceivable decoherence channel yields a valid CQ interpretation; rather, the model demonstrates a concrete and physically motivated route by which CQ dynamics emerge from fully quantum dynamics. To address the concern, we will revise the abstract and §1 to qualify the term 'generically' as applying to this broad class of hidden-environment models, and we will add a brief discussion of how the framework can be applied to gravity-mediated entanglement proposals by checking the positivity condition on the relevant kernels. revision: partial
Referee: [§3] The positivity condition on the semi-Wigner operator is derived from the chosen hidden model rather than imposed externally. While this avoids circularity, the manuscript must still show that the condition is satisfied for the decoherence processes of physical interest; otherwise the 'valid CQ interpretation' criterion remains formal and the emergence result applies only to a restricted class of environments.

Authors: The positivity condition is not an external imposition but follows directly from requiring that the reduced dynamics admit a consistent CQ interpretation (i.e., that the mediator sector can be treated classically while preserving the probabilistic structure). Because the condition is expressed in terms of the nonlocal kernels that appear in the master equation, it provides a concrete, model-independent test that can be applied to any candidate decoherence process. The manuscript already derives the general form of these kernels; we will expand §3 to emphasize that, for any specific physical environment (including those relevant to gravity experiments), one simply evaluates whether the resulting kernels keep the semi-Wigner operator positive semidefinite. This turns the criterion into a practical diagnostic rather than a purely formal restriction. revision: partial

Circularity Check

0 steps flagged

No circularity; derivation proceeds from independent hidden model

full rationale

The paper constructs an explicit hidden model (mediator coupled to unobserved environment) and derives reduced non-Markovian dynamics plus the semi-Wigner positivity condition directly from tracing out that environment. No step reduces by construction to its own inputs, renames a fit as a prediction, or relies on self-citation for a uniqueness theorem. The genericity claim rests on the model's representativeness (an external-validity question), not on any definitional equivalence or tautological reduction within the derivation chain itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on standard quantum mechanics plus the assumption that the mediator couples to unobserved environmental degrees of freedom whose tracing-out produces the reduced dynamics; the semi-Wigner operator is introduced as the object whose positivity guarantees a valid classical-quantum interpretation.

axioms (1)

standard math Standard quantum mechanics and the validity of tracing out environmental degrees of freedom to obtain reduced dynamics
Invoked to derive the effective non-Markovian evolution from the fully quantum hidden model.

invented entities (1)

semi-Wigner operator no independent evidence
purpose: To furnish a positivity condition that validates the classical-quantum interpretation of the reduced dynamics
Defined in the paper as the object whose positive semidefiniteness must be checked; no independent evidence outside the model is provided.

pith-pipeline@v0.9.0 · 5514 in / 1418 out tokens · 45518 ms · 2026-05-10T18:47:17.601341+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We derive the reduced dynamics... using an explicit hidden model... semi-Wigner operator... positivity condition on nonlocal kernels... short-memory limit reproduces Markovian classical-quantum dynamics of Oppenheim
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the semi-Wigner operator associated with the mediator sector must remain positive semidefinite

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

33 extracted references · 24 canonical work pages · 2 internal anchors

[1]

− 1 2 Z dt Z d3x a+B +L+ +B −L− T Q a+B +L+ +B −L− # ×exp

The functional integral over ˜h∆ then becomes linear and can be carried out explicitly. Up to an overall normalization, one obtains exp i ℏ SW eff[ψ+, ψ−, ˜hc; ˜πc i ,˜πc f] ∝ Z Dξexp −1 2 ξ·(N R 33)−1 ·ξ δ h E+ξ i δ h ˜Πc f −˜πc f i δ h ˜Πc i −˜πc i i exp i ℏ Srest[ψ+, ψ−, ˜hc] , (2.33) where the bulk delta functionalδ[E+ξ] arises because, after the Hubb...
[2]

S. Bose, A. Mazumdar, G. W. Morley, H. Ulbricht, M. Toroˇ s, M. Paternostro, A. Geraci, P. Barker, M. S. Kim, and G. Milburn, Phys. Rev. Lett.119, 240401 (2017), arXiv:1707.06050 [quant-ph]

work page Pith review arXiv 2017
[3]

Gravitationally-induced entanglement between two massive particles is sufficient evidence of quantum effects in gravity

C. Marletto and V. Vedral, Phys. Rev. Lett.119, 240402 (2017), arXiv:1707.06036 [quant-ph]

work page Pith review arXiv 2017
[4]

L. Lami, J. S. Pedernales, and M. B. Plenio, Phys. Rev. X14, 021022 (2024), arXiv:2302.03075 [quant-ph]

work page arXiv 2024
[5]

Newton, entanglement, and the graviton,

D. Carney, Phys. Rev. D105, 024029 (2022), arXiv:2108.06320 [quant-ph]

work page arXiv 2022
[6]

Mart´ ın-Mart´ ınez and T

E. Mart´ ın-Mart´ ınez and T. R. Perche, Phys. Rev. D108, L101702 (2023), arXiv:2208.09489 [quant-ph]

work page arXiv 2023
[7]

Kent and D

A. Kent and D. Pital´ ua-Garc´ ıa, Phys. Rev. D104, 126030 (2021), arXiv:2109.02616 [quant-ph]

work page arXiv 2021
[8]

Aziz and R

J. Aziz and R. Howl, Nature646, 813 (2025), arXiv:2510.19714 [quant-ph]

work page arXiv 2025
[9]

S. L. Ludescher, L. D. Loveridge, T. D. Galley, and M. P. M¨ uller, arXiv:2507.13201 [quant-ph] (2025)

work page arXiv 2025
[10]

T. D. Galley, F. Giacomini, and J. H. Selby, Quantum6, 779 (2022), arXiv:2012.01441 [quant-ph]

work page arXiv 2022
[11]

D. L. Danielson, G. Satishchandran, and R. M. Wald, Phys. Rev. D105, 086001 (2022), arXiv:2112.10798 [quant-ph]

work page arXiv 2022
[12]

Christodoulou, A

M. Christodoulou, A. Di Biagio, M. Aspelmeyer, ˇC. Brukner, C. Rovelli, and R. Howl, Phys. Rev. Lett.130, 100202 (2023), arXiv:2202.03368 [quant-ph]

work page arXiv 2023
[13]

Diosi, Phys

L. Diosi, Phys. Lett. A120, 377 (1987)

1987
[14]

Penrose, Gen

R. Penrose, Gen. Rel. Grav.28, 581 (1996)

1996
[15]

A Postquantum Theory of Classical Gravity?,

J. Oppenheim, Phys. Rev. X13, 041040 (2023), arXiv:1811.03116 [hep-th]

work page arXiv 2023
[16]

Oppenheim, C

J. Oppenheim, C. Sparaciari, B. ˇSoda, and Z. Weller-Davies, arXiv:2203.01332 [quant-ph] (2022)

work page arXiv 2022
[17]

Oppenheim and Z

J. Oppenheim and Z. Weller-Davies, arXiv:2301.04677 [quant-ph] (2023)

work page arXiv 2023
[18]

A healthier semi-classical dynamics,

I. Layton, J. Oppenheim, and Z. Weller-Davies, Quantum8, 1565 (2024), arXiv:2208.11722 [quant-ph]

work page arXiv 2024
[19]

A classical channel model for gravitational decoherence

D. Kafri, J. M. Taylor, and G. J. Milburn, New J. Phys.16, 065020 (2014), arXiv:1401.0946 [quant-ph]

work page Pith review arXiv 2014
[20]

Di Bartolomeo, M

G. Di Bartolomeo, M. Carlesso, and A. Bassi, Phys. Rev. D104, 104027 (2021), arXiv:2106.13305 [quant-ph]

work page arXiv 2021
[21]

Eppley and E

K. Eppley and E. Hannah, Found. Phys.7, 51 (1977)

1977
[22]

T. D. Galley, F. Giacomini, and J. H. Selby, Quantum7, 1142 (2023), arXiv:2301.10261 [quant-ph]

work page arXiv 2023
[23]

Calzetta and B

E. Calzetta and B. L. Hu, Phys. Rev. D52, 6770 (1995), arXiv:gr-qc/9505046

work page arXiv 1995
[24]

Martin and E

R. Martin and E. Verdaguer, Phys. Rev. D60, 084008 (1999), arXiv:gr-qc/9904021

work page arXiv 1999
[25]

Takeda and T

H. Takeda and T. Tanaka, Phys. Rev. D111, 104080 (2025), arXiv:2502.18560 [gr-qc]

work page arXiv 2025
[26]

E. A. Calzetta and B.-L. B. Hu,Nonequilibrium Quantum Field Theory(Oxford University Press, 2009)

2009
[27]

R. P. Feynman and F. L. Vernon, Jr., Annals Phys.24, 118 (1963)

1963
[28]

H. F. Trotter, Proc. Am. Math. Soc.10, 545 (1959)

1959
[29]

Suzuki, Commun

M. Suzuki, Commun. Math. Phys.51, 183 (1976)

1976
[30]

Classical-quantum gravity as quantum gravity in disguise

M. Hotta, S. Murk, and D. R. Terno, arXiv:2506.15291 [quant-ph] (2025)

work page internal anchor Pith review Pith/arXiv arXiv 2025
[31]

Carney and A

D. Carney and A. Matsumura, Classical and Quantum Gravity42, 135010 (2025)

2025
[32]

D. Miki, Y. Kaku, Y. Liu, Y. Ma, and Y. Chen, Phys. Rev. D111, 104084 (2025), arXiv:2503.11882 [quant-ph]

work page arXiv 2025
[33]

Minimal noise in non-quantized gravity,

G. Fabiano, T. Fujita, A. Matsumura, and D. Carney, arXiv:2603.26075 [quant-ph] (2026)

work page internal anchor Pith review arXiv 2026