Quantum Darwinism (QD) and spectrum broadcast structure (SBS) are two criteria for when a decohering quantum system acquires an objective classical record, and Le and Olaya-Castro [Phys. Rev. A 98, 032103 (2018)] showed they can disagree: in a random-matrix model of a qubit coupled to a monolithic N-level environment, the mutual-information plateau of QD can be carried substantially by quantum discord while the underlying states lack SBS. The exact state-level version of their equivalence question was subsequently settled — strong quantum Darwinism with corrected strong independence is equivalent to SBS — but the 2018 paper's broader question remains open: the general conditions under which quantum Darwinism (or a modified version of it) would be exactly equivalent to spectrum broadcast structure in physically realizable situations. The same paper notes two related open directions: its negative SBS finding rests on a random-search minimization that "could, in future, be done via more sophisticated methods", and the spirit of its staircase trace "can be applied to other types of structured environments".

Background

Quantum Darwinism (QD) is a proposal for how the classical, observer-independent appearance of a quantum system emerges through decoherence [W. H. Zurek, Nature Physics 5, 181 (2009)]. When a system S\mathcal{S} interacts with a large environment, information about certain preferred pointer observables is redundantly copied into many small fragments F\mathcal{F} of the environment, so that independent observers can each learn the same value without perturbing it and without comparing notes. The standard diagnostic is the quantum mutual information I(S:F)I(\mathcal{S}:\mathcal{F}) (a measure of total correlation): objectivity is declared when I(S:F)I(\mathcal{S}:\mathcal{F}) reaches the system entropy H(S)H(\mathcal{S}) already for small fragments, the mutual-information plateau.

Spectrum broadcast structure (SBS) is a stronger, state-level criterion [J. K. Korbicz, P. Horodecki, and R. Horodecki, Phys. Rev. Lett. 112, 120402 (2014)]. A system-environment state has SBS when it can be written as

ρ=∑ipi ∣i⟩⟨i∣S⊗ρiE1⊗⋯⊗ρiEN,\rho = \sum_i p_i\, |i\rangle\langle i|_{\mathcal{S}} \otimes \rho_i^{E_1} \otimes \cdots \otimes \rho_i^{E_N},

where the conditional states ρiEk\rho_i^{E_k} of every subenvironment are perfectly distinguishable by measurement. Any observer measuring any subenvironment then necessarily obtains the same outcome label ii: agreement is enforced by the state structure itself rather than by an averaging argument. R. Horodecki, J. K. Korbicz, and P. Horodecki [Phys. Rev. A 91, 032122 (2015)] proved that such states arise dynamically, and are stable, for a central system coupled through von-Neumann-type (pure-dephasing) interactions, in which each pointer state drives a different environment operator.

The mutual information indiscriminately sums two different commodities: the classical accessible information, upper-bounded by the Holevo quantity χ\chi (the largest mutual information about S\mathcal{S} that any single measurement on F\mathcal{F} can reveal), and quantum discord, the genuinely quantum part of the correlation that no fragment measurement can access. Le and Olaya-Castro [Phys. Rev. A 98, 032103 (2018)] — the source of the present problem — compared the two frameworks in a model of a two-level system coupled to an effective N-level environment through a random-matrix interaction, a toy model for a monolithic photonic environment whose many degrees of freedom do not come with a preferred subsystem split. To define fragments at all, they introduced the staircase partial trace, which assumes the environment behaves as N−1N-1 two-level subsystems whose excitation ladder encodes successive levels, and compared it with the earlier level-partitioning trace of A. Pérez [Phys. Rev. A 81, 052326 (2010)]. Their findings: the system-fragment states failed an SBS test (a numerically minimized upper bound η[ρSF]\eta[\rho_{S\mathcal{F}}] on the distance to the nearest SBS state stayed bounded away from zero), yet the mutual information under the Pérez trace showed a Darwinism plateau, I(S:F)≈H(S)I(\mathcal{S}:\mathcal{F}) \approx H(\mathcal{S}), carried in comparable parts by accessible information and by discord. The plateau alone can therefore produce false positives for objectivity.

The same authors then settled the exact, state-level version of the discrepancy. Defining strong quantum Darwinism — the accessible information saturates the entropy, χ=I(S:F)=H(S)\chi = I(\mathcal{S}:\mathcal{F}) = H(\mathcal{S}) for the dephased system, with vanishing discord on fragments — combined with a strong-independence condition between fragments, they proved strong QD equivalent to SBS [Phys. Rev. Lett. 122, 010403 (2019)]. A Comment by Feller, Roussel, Frérot, and Degiovanni [Phys. Rev. Lett. 126, 188901 (2021)] exhibited a counterexample to the published (pairwise) strong-independence condition and corrected it to the vanishing of the conditional multipartite mutual information I(E1…EF∣S)=0I(E_1\ldots E_F|\mathcal{S})=0, where the environments are conditioned on the system; the authors conceded the error and retained the theorem in the corrected form [Phys. Rev. Lett. 126, 188902 (2021)]. Korbicz's review [Quantum 5, 571 (2021)] codifies the corrected equivalence.

What the literature has not delivered is threefold; these are the gaps that stand between the settled state-level theorem and the 2018 paper's open question about the general conditions for exact equivalence. First, the equivalence is a static, state-level statement: it does not say which interactions, initial states, and environment structures dynamically generate states satisfying it — for that, only sufficient conditions are known. Second, it is an exact, zero-tolerance statement: real experiments and finite systems would benefit from a quantitative version relating how far a state is from satisfying the strong-QD conditions to how far it is from the SBS set, whereas only a one-directional, optimization-limited distance upper bound exists. Third, the diagnostics themselves presuppose a fragmentation of the environment into subenvironments; for monolithic environments such as photons, whose many degrees of freedom do not come with a preferred subsystem split, and for baths such as central-spin clouds, whose individual spins are not separately addressable by any realistic measurement, the fragment definition is a physical modeling choice — the staircase trace being one — whose justification and domain of applicability are unestablished.

Problem Statement

Determine the general conditions under which quantum Darwinism (or a modified version of it) is exactly equivalent to spectrum broadcast structure in physically realizable situations — that is, settings specified by a physical interaction Hamiltonian, initial states of the system and environment, and an environment size and fragmentation structure, with the fragmentation taken as a modeling choice rather than fixed by what is directly measurable — the question posed by Le and Olaya-Castro [Phys. Rev. A 98, 032103 (2018)], whose exact state-level resolution (strong quantum Darwinism with corrected strong independence, equivalent to SBS) settles the definitional, state-level version but not the general one.

The following open aspects of this question are identified by the source paper and the subsequent literature and indicate where the general conditions are currently unknown. The first is the required deliverable and the second and third are context for it. A resolving answer states conditions on the interaction Hamiltonian, on the initial states of system and environment, and on the environment's size and fragmentation structure that determine when quantum Darwinism, or a modified version of it, is equivalent to spectrum broadcast structure, labelling each stated condition as necessary, sufficient, or both; a one-directional account — only necessary, or only sufficient, conditions — also resolves the question provided the answer states which direction it establishes and how it compares with the known sufficient conditions.

  1. Dynamical conditions. Existing results (von-Neumann-type dephasing interactions, the Gram–Schmidt-based sufficient condition of Acevedo, Wehr, and Korbicz [10], the continuous-spectrum extension) supply only sufficient conditions on the interaction Hamiltonian, on the initial states of system and environment, and on the environment's size and fragmentation structure for the states generated at a given time to satisfy strong quantum Darwinism with corrected strong independence (equivalently, to possess spectrum broadcast structure); the minimal dynamical assumptions, and whether realistic noisy or non-dephasing environments can be included, are uncharacterized.

  2. Distance to the SBS set. The source paper's negative SBS finding rests on a one-directional, random-search-minimized upper bound η[ρSF]\eta[\rho_{S\mathcal{F}}] on the distance to the nearest SBS state, and the paper itself notes that the minimisation "could, in future, be done via more sophisticated methods than the random search employed here". Beyond this one-directional, optimization-limited bound, no quantitative relation is known between the operational deficits of strong quantum Darwinism (the excess of mutual information over accessible information, the saturation gap H(S)−χH(\mathcal{S})-\chi, and the conditional multipartite mutual information I(E1…EF∣S)I(E_1\ldots E_F|\mathcal{S})) and the distance from the SBS set.

  3. Fragment constructions. The source paper suggests that "the spirit of trace construction can be applied to other types of structured environments"; which partial-trace or fragment constructions — generalizing the staircase trace and the Pérez level-partitioning trace — are appropriate for environments without a natural subsystem decomposition (for example, photonic frequency or spatial degrees of freedom) or for environments whose decomposition does not match what observers can actually measure (for example, central-spin clouds), and how the choice of construction affects the Darwinism and SBS diagnostics, remain open.

The overarching aim is a predictive, experimentally applicable account of when the mutual-information criterion of quantum Darwinism certifies genuinely broadcast, redundantly accessible objectivity rather than a discord-driven false positive.

References

  1. Wojciech Hubert Zurek, 'Quantum Darwinism', Nature Physics 5, 181–188 (2009). DOI: 10.1038/nphys1202, https://doi.org/10.1038/nphys1202
  2. J. K. Korbicz, P. Horodecki, and R. Horodecki, 'Objectivity in a Noisy Photonic Environment through Quantum State Information Broadcasting', Physical Review Letters 112, 120402 (2014). DOI: 10.1103/PhysRevLett.112.120402, https://doi.org/10.1103/PhysRevLett.112.120402
  3. A. Pérez, 'Information encoding of a qubit into a multilevel environment', Physical Review A 81, 052326 (2010). DOI: 10.1103/PhysRevA.81.052326, https://doi.org/10.1103/PhysRevA.81.052326
  4. 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
  5. Thao P. Le and Alexandra Olaya-Castro, 'Objectivity (or lack thereof): Comparison between predictions of quantum Darwinism and spectrum broadcast structure', Physical Review A 98, 032103 (2018). DOI: 10.1103/PhysRevA.98.032103, arXiv:1803.00765, https://doi.org/10.1103/PhysRevA.98.032103
  6. Thao P. Le and Alexandra Olaya-Castro, 'Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure', Physical Review Letters 122, 010403 (2019). DOI: 10.1103/PhysRevLett.122.010403, arXiv:1803.08936, https://doi.org/10.1103/PhysRevLett.122.010403
  7. Alexandre Feller, Benjamin Roussel, Irénée Frérot, and Pascal Degiovanni, 'Comment on "Strong Quantum Darwinism and Strong Independence Are Equivalent to Spectrum Broadcast Structure"', Physical Review Letters 126, 188901 (2021). DOI: 10.1103/PhysRevLett.126.188901, arXiv:2101.09186, https://doi.org/10.1103/PhysRevLett.126.188901
  8. Thao P. Le and Alexandra Olaya-Castro, 'Le and Olaya-Castro Reply:' (Reply to the Comment on 'Strong Quantum Darwinism and Strong Independence Are Equivalent to Spectrum Broadcast Structure'), Physical Review Letters 126, 188902 (2021). DOI: 10.1103/PhysRevLett.126.188902, arXiv:2101.10756, https://doi.org/10.1103/PhysRevLett.126.188902
  9. J. K. Korbicz, 'Roads to objectivity: Quantum Darwinism, Spectrum Broadcast Structures, and Strong quantum Darwinism – a review', Quantum 5, 571 (2021). DOI: 10.22331/q-2021-11-08-571, arXiv:2007.04276, https://doi.org/10.22331/q-2021-11-08-571
  10. Alberto Acevedo, Janek Wehr, and Jarosław K. Korbicz, 'Spectrum broadcast structures from von Neumann type interaction Hamiltonians', Journal of Mathematical Physics 65, 122102 (2024). DOI: 10.1063/5.0208953, arXiv:2403.01419, https://doi.org/10.1063/5.0208953
  11. Alberto Acevedo, Jarek Korbicz, and Janek Wehr, 'Spectrum broadcast structures from von Neumann type interaction Hamiltonians with continuous variables', Journal of Mathematical Physics 67, 012202 (2026). DOI: 10.1063/5.0244740, arXiv:2409.12372, https://doi.org/10.1063/5.0244740
  12. Piotr Mironowicz, Paweł Horodecki, and Ryszard Horodecki, 'Non-Perfect Propagation of Information to a Noisy Environment with Self-Evolution', Entropy 24, 467 (2022). DOI: 10.3390/e24040467, arXiv:2201.11606, https://doi.org/10.3390/e24040467
  13. Nina Megier, Andrea Smirne, Steve Campbell, and Bassano Vacchini, 'Correlations, Information Backflow, and Objectivity in a Class of Pure Dephasing Models', Entropy 24, 304 (2022). DOI: 10.3390/e24020304, arXiv:2201.10573, https://doi.org/10.3390/e24020304
  14. Emery Doucet and Sebastian Deffner, 'Classifying Two-Body Hamiltonians for Quantum Darwinism', Physical Review X 14, 041064 (2024). DOI: 10.1103/PhysRevX.14.041064, arXiv:2405.00805, https://doi.org/10.1103/PhysRevX.14.041064
  15. Barış Çakmak, Özgür E. Müstecaplıoğlu, Mauro Paternostro, Bassano Vacchini, and Steve Campbell, 'Quantum Darwinism in a Composite System: Objectivity versus Classicality', Entropy 23, 995 (2021). DOI: 10.3390/e23080995, arXiv:2106.15629, https://doi.org/10.3390/e23080995
  16. Diana A. Chisholm, Luca Innocenti, and G. Massimo Palma, 'The meaning of redundancy and consensus in quantum objectivity', Quantum 7, 1074 (2023). DOI: 10.22331/q-2023-08-03-1074, arXiv:2211.09150, https://doi.org/10.22331/q-2023-08-03-1074
  17. Diana A. Chisholm, Luca Innocenti, and G. Massimo Palma, 'The importance of using the averaged mutual information when quantifying quantum objectivity', Physical Review A 110, 012218 (2024). DOI: 10.1103/PhysRevA.110.012218, arXiv:2401.04769, https://doi.org/10.1103/PhysRevA.110.012218
  18. David Rebollo-Martínez and Manuel Rebollo-Salas, 'Hidden Coherence Bursts and Time-Tagged Holevo Fragment Information Under Finite-Resolution Observation in a Central-Spin Environment', Entropy 28, 842 (2026). DOI: 10.3390/e28080842, https://doi.org/10.3390/e28080842
  19. Thao P. Le, Andreas Winter, and Gerardo Adesso, 'Thermality versus Objectivity: Can They Peacefully Coexist?', Entropy 23, 1506 (2021). DOI: 10.3390/e23111506, arXiv:2109.13265, https://doi.org/10.3390/e23111506
  20. Akram Touil, Bin Yan, and Wojciech H. Zurek, 'Consensus About Classical Reality in a Quantum Universe', arXiv:2503.14791 (2025). https://arxiv.org/abs/2503.14791
  21. Emery Doucet and Sebastian Deffner, 'Compatibility of Quantum Measurements and the Emergence of Classical Objectivity', Physical Review A 111, 042217 (2025). DOI: 10.1103/PhysRevA.111.042217, arXiv:2411.10862, https://doi.org/10.1103/PhysRevA.111.042217