Boundary of quantum-Darwinism-supporting Hamiltonians beyond the two-body finite-dimensional asymptotic classification

Doucet and Deffner [Phys. Rev. X 14, 041064 (2024)] classified which finite-dimensional system-environment Hamiltonians with at most two-body interaction terms support asymptotic quantum Darwinism: a pointer observable must commute with all system operators entering the Hamiltonian, the interaction must not induce effective mixing among environment degrees of freedom, coupling coefficients must be drawn from continuous-support distributions, and the initial state must carry no quantum correlations within the environment. The generalizations the authors themselves posed remain open in 2026: quantitative thresholds for how strong, numerous, or dense intra-environment interactions (and initial environment correlations) can be while still permitting approximate or long-lived Darwinism; extension of the classification to infinite-dimensional discrete and continuous-variable systems, where operator algebras and domains differ; genuine three-or-more-body interaction terms; an epsilon-delta formalization of approximate Darwinism under weak or sparse mixing and discrete-support coupling distributions; and the existence of thermodynamically functional quantum Maxwell-demon or micromaser-like collision models compatible with the Darwinism constraints. Later literature (2025-2026) supplies adjacent partial results - redundancy surviving thermalizing environment dynamics, relaxed pointer-state definitions for non-commuting evolutions, and spectrum broadcast structures for a restricted continuous-spectrum interaction class - but closes none of these strands.

Background

Quantum Darwinism (QD) is a proposal for how classical objectivity emerges from quantum dynamics: many observers can independently infer the state of a system S by measuring small fragments F of its environment E, because information about certain preferred system observables is copied redundantly into many environment degrees of freedom. Operationally, one plots the quantum mutual information $I(S:F)$ against the fraction of the environment measured; QD is signaled by a plateau at the full system entropy $S(\rho_S)$ already for small fragments. The observables whose values are proliferated define pointer observables, and their eigenstates are the pointer states - the states left effectively unperturbed by the interaction. Horodecki, Korbicz, and Horodecki showed that the states compatible with such objectivity are exactly the singly-branching (spectrum broadcast) states, $|\psi\rangle = \sum_n c_n |n\rangle \otimes_j |\phi_{nj}\rangle$, where $|n\rangle$ are pointer states and the conditional environment states $|\phi_{nj}\rangle$ are perfectly distinguishable across $n$ for each fragment; equivalently, the system-environment quantum discord (the part of the mutual information not attributable to classical correlation) vanishes.

Against this background, Doucet and Deffner asked a dynamical question: what properties must a Hamiltonian have for QD to emerge? They considered an arbitrary finite-dimensional system interacting with an arbitrary collection of finite-dimensional environment degrees of freedom via an unspecified, possibly time-dependent Hamiltonian containing at most two-body terms, $H(t) = H_S(t) + \sum_{j,k} S_{jk}(t) \otimes E_{jk}(t)$, with traceless interaction operators weighted by random coefficients. Their classification states that asymptotic QD arises precisely when (i) there exists a pointer observable $A$ commuting with the system Hamiltonian and with every system operator $S_{jk}$ entering the interaction, $[A, H_S] = [A, S_{jk}] = 0$; (ii) the operators $S_{jk}$ satisfy mutual commutation constraints ensuring the interaction never mixes different environment degrees of freedom, so that states of singly-branching form are preserved (no effective environment scrambling, which would otherwise disperse the recorded information); (iii) the coefficient distributions have continuous support, so that the decoherence factor (the overlap of conditional environment states) decays irreversibly rather than recurring periodically; and (iv) the initial state carries no quantum correlations within the environment, since Darwinism-supporting Hamiltonians can never destroy such correlations. They demonstrated the scope of the result on a qutrit-qubit model, time-alternating interactions, and collision models (sequential interactions of the system with fresh environment units), including a minimal quantum Maxwell demon - an autonomous information-processing model - and the micromaser (atoms passing through a microwave cavity via a Jaynes-Cummings-type interaction $V \propto a^\dagger O + a O^\dagger$ between field operators $a, a^\dagger$ and unit operators $O$). For both of the latter, the classification proves that no pointer observable exists, so these archetypal thermodynamic models cannot exhibit QD in their standard form.

The classification distills earlier evidence: Riedel, Zurek, and Zwolak showed that redundancy established by a decoherence event decays when the environment has subsequent internal dynamics, and Duruisseau, Touil, and Deffner had proven the qubit-only version (parallel decoherent interactions). Touil, Anza, Deffner, and Crutchfield supplied the structural backbone: branching states are the only pure states with exactly zero discord, and states with small nonzero discord must lie arbitrarily close to branching form - an epsilon-delta-type stability statement that anchors what 'approximate' Darwinism should mean.

The classification is deliberately idealized: finite dimensions, two-body terms only, strictly asymptotic and exact singly-branching limits. The authors explicitly flag the boundary of their result as open: how numerous and strong intra-environment interactions can be while still supporting Darwinism with nearly-singly-branching states is 'beyond the scope of the present work'; the arguments 'should apply' to discrete infinite-dimensional or continuous-variable subsystems but 'with differences in the details due to the structure of operators'; genuine three-or-more-body terms, which cannot be reabsorbed as two-body couplings to composite degrees of freedom, are 'at odds' with the no-mixing requirement and would require a 'much larger task'; and no physically meaningful demon- or micromaser-type construction satisfying the Darwinism constraints is known.

Problem Statement

Determine how far each assumption of the Doucet-Deffner classification can be relaxed while quantum Darwinism - asymptotically exact, or approximate/transient in a quantified sense - is preserved. The classification currently holds for finite-dimensional systems and environments, at most two-body interaction terms, strictly no effective environment mixing, continuous-support coupling distributions, and uncorrelated initial states. The problem is to complete the boundary characterization along the following dimensions, each of which relaxes one assumption of the source result and is jointly held together by the single scientific objective of characterizing which microscopic dynamics can make information objective. All four dimensions (a)-(d) are jointly required for a full resolution of the problem, while resolving any single dimension is a well-defined partial result that advances but does not complete the boundary characterization. The dimensions are: (a) Quantitative thresholds: establish how numerous, strong, or dense intra-environment interactions, and how much initial inter-environment quantum correlation, a model can have while still exhibiting Darwinism with states within a fixed, quantified distance of singly-branching form - an epsilon-delta framework in which the deviation from exact Darwinism (e.g., measured by residual discord or by the shortfall of the mutual-information plateau) is bounded as a function of the interaction/correlation parameters and of the observation time, with the bound required to be non-vacuous and tight: it must vanish in the exact-Darwinism limit (as the intra-environment interaction strength and density and the initial inter-environment correlation go to zero) and must be accompanied by an explicit construction or lower bound showing that the stated threshold cannot be extended further, including the weak-mixing, sparse-mixing, and discrete-support regimes where exact asymptotic Darwinism fails but long-lived or near-Darwinism may survive. (b) Infinite-dimensional and continuous-variable systems: extend the necessity-and-sufficiency classification to system-environment Hamiltonians on discrete infinite-dimensional or continuous-variable Hilbert spaces, where the operators entering the interaction may be unbounded, domains become load-bearing, and the commutator-diagonalization arguments of the finite-dimensional proof do not transfer directly; state precisely which parts of the finite-dimensional classification survive and which fail, with worked physical examples (e.g., oscillator environments). (c) Genuine many-body couplings: classify Hamiltonians containing three-or-more-body terms that cannot be reabsorbed as two-body couplings to composite degrees of freedom, i.e., determine whether the intuitive conflict between genuine k-body interactions and the no-environment-mixing requirement is a theorem or admits exceptions, and characterize the mixing channels such terms induce on environment subalgebras. (d) Constructive thermodynamic correspondence: either construct a physically meaningful quantum Maxwell-demon or micromaser-like collision model that simultaneously implements its targeted thermodynamic functionality and satisfies (or provably epsilon-approximates) the operator constraints for Darwinism - resolving the source's own caveat about whether the objectively proliferated information can be related to the model's function - or prove a no-go theorem with explicit assumptions showing no such model exists in a stated class of thermodynamically functional demon- or micromaser-like collision models. In this dimension, a demon- or micromaser-like collision model counts as thermodynamically functional only if it specifies the thermodynamic task it performs (for example, work extraction from a non-equilibrium environment, cooling, or driving transport between reservoirs) and realizes that task through system-environment interaction terms of the Hamiltonian class under study; a unitary collision model that fixes no thermodynamic task does not qualify. Neither branch may be discharged by the standard demon or micromaser models that the source has already shown to be non-Darwinistic: the construction must go beyond those standard forms, and the class named in the no-go branch must not be one already excluded by the cited classification (or must be shown to lie beyond it).

References

1. E. Doucet and S. Deffner, Classifying Two-Body Hamiltonians for Quantum Darwinism, Physical Review X 14, 041064 (2024). DOI: 10.1103/PhysRevX.14.041064, https://doi.org/10.1103/PhysRevX.14.041064 (preprint arXiv:2405.00805, https://arxiv.org/abs/2405.00805)
2. P. Duruisseau, A. Touil, and S. Deffner, Pointer States and Quantum Darwinism with Two-Body Interactions, Entropy 25(12), 12573 (2023). DOI: 10.3390/e25121573, https://doi.org/10.3390/e25121573
3. A. Touil, F. Anza, S. Deffner, and J. P. Crutchfield, Branching States as The Emergent Structure of a Quantum Universe, Quantum 8, 1494 (2024). DOI: 10.22331/q-2024-10-10-1494, https://doi.org/10.22331/q-2024-10-10-1494 (preprint arXiv:2208.05497, https://arxiv.org/abs/2208.05497)
4. C. J. Riedel, W. H. Zurek, and M. Zwolak, The Rise and Fall of Redundancy in Decoherence and Quantum Darwinism, New Journal of Physics 14, 083010 (2012). DOI: 10.1088/1367-2630-14/8/083010, https://doi.org/10.1088/1367-2630-14/8/083010
5. R. Horodecki, J. K. Korbicz, and P. Horodecki, Quantum origins of objectivity, Physical Review A 91, 032122 (2015). DOI: 10.1103/PhysRevA.91.032122, https://doi.org/10.1103/PhysRevA.91.032122 (preprint arXiv:1312.6588, https://arxiv.org/abs/1312.6588)
6. X. Cao and Z. Nussinov, Redundancy from Subsystem Thermalization, arXiv:2603.15743 (2026). https://arxiv.org/abs/2603.15743
7. K. Schneeweiss, T. Rivlin, M. P. E. Lock, M. Huber, and I. Březinová, Modelling quantum measurement dynamics: from decoherence to redundancy with site-hopping indistinguishable particles, arXiv:2608.11319 (2026). https://arxiv.org/abs/2608.11319
8. D. A. Chisholm, G. M. Palma, and L. Innocenti, On the emergence of quantum Darwinism and pointer states for non-commuting evolutions, arXiv:2510.06867 (2025). https://arxiv.org/abs/2510.06867
9. M. V. Churilov, The Locality Gap: A Thermodynamic Law for Objective Facts, arXiv:2608.05753 (2026). https://arxiv.org/abs/2608.05753
10. S.-I. Tang, E. Doucet, A. Touil, S. Deffner, and A. Sone, Information processing in quantum thermodynamic systems: An autonomous Hamiltonian approach, Physical Review E 114, 024144 (2026). DOI: 10.1103/rwkz-dc5z, https://doi.org/10.1103/rwkz-dc5z (preprint arXiv:2511.08858, https://arxiv.org/abs/2511.08858)
11. P. A. Knott, T. Tufarelli, M. Piani, and G. Adesso, Generic emergence of objectivity of observables in infinite dimensions, Physical Review Letters 121, 160401 (2018). DOI: 10.1103/PhysRevLett.121.160401, https://doi.org/10.1103/PhysRevLett.121.160401 (preprint arXiv:1802.05719, https://arxiv.org/abs/1802.05719)
12. A. Acevedo, J. Wehr, and J. Korbicz, Spectrum Broadcast Structures from von Neumann type interaction Hamiltonians with continuous variables, arXiv:2409.12372 (2024). https://arxiv.org/abs/2409.12372
13. A. Candeloro, T. Debarba, and F. C. Binder, Thermodynamic constraints on the emergence of intersubjectivity in quantum systems, Physical Review A 113, 032201 (2026). DOI: 10.1103/3312-b63x, https://doi.org/10.1103/3312-b63x (preprint arXiv:2507.20736, https://arxiv.org/abs/2507.20736)
14. E. Doucet and S. Deffner, Compatibility of quantum measurements and the emergence of classical objectivity, Physical Review A 111, 042217 (2025). DOI: 10.1103/PhysRevA.111.042217, https://doi.org/10.1103/PhysRevA.111.042217 (preprint arXiv:2411.10862, https://arxiv.org/abs/2411.10862)
15. A. Kiely, D. A. Chisholm, A. Touil, S. Deffner, G. Landi, and S. Campbell, Metrological approach to the emergence of classical objectivity, Physical Review A 113, 022403 (2026). DOI: 10.1103/hn78-7xx3, https://doi.org/10.1103/hn78-7xx3 (preprint arXiv:2510.12313, https://arxiv.org/abs/2510.12313)
16. E. Doucet and S. Deffner, From compatibility of measurements to exploring Quantum Darwinism on NISQ, arXiv:2601.05350 (2026). https://arxiv.org/abs/2601.05350
17. D. Rebollo-Martínez and M. Rebollo-Salas, Hidden Coherence Bursts and Time-Tagged Holevo Fragment Information Under Finite-Resolution Observation in a Central-Spin Environment, Entropy 28(8), 842 (2026). DOI: 10.3390/e28080842, https://doi.org/10.3390/e28080842
18. C. Gomes, The quantum measurement problem and the ontological status of the wavefunction: Limits of contemporary physics, Physics Open 27, 100398 (2026). DOI: 10.1016/j.physo.2026.100398, https://doi.org/10.1016/j.physo.2026.100398
19. E. Schwarzhans, F. C. Binder, M. Huber, and M. P. E. Lock, Quantum measurements and equilibration: The emergence of objective outcomes via entropy maximization, Physical Review Research 7, 043279 (2025). DOI: 10.1103/h2yj-25rn, https://doi.org/10.1103/h2yj-25rn (preprint arXiv:2302.11253, https://arxiv.org/abs/2302.11253)