Touil, Anzà, Deffner, and Crutchfield (Quantum 8, 1494 (2024)) proved that when a single quantum system decoheres through a single event — the environment learning one pointer basis, with the global state pure — the branching-state structure is the unique global-state organization compatible with zero quantum discord, and an explicit ε-theorem shows that small discord together with a near-saturated mutual-information plateau forces the state close to the branching form. They explicitly left open whether an analogous universal structure exists in the physically generic regimes: mixed global states ρ_SE, and multiple-event decoherence, in which the environment probes several distinct pointer bases (several interacting systems, or many interacting degrees of freedom), where consensus must be quantified through Shannon entropies of local measurement statistics rather than von Neumann entropies. This problem asks for that extension: the definition of candidate multiple-branching (branching-tree) state families and their operational diagnostics, a uniqueness theorem or its refutation, and ε-type proximity bounds with explicit continuity constants. No work in the cited literature formalizes or settles this extension: the 2025 consensus paper (ref. 2) restricts its theorems to pure branching states, and the other cited results treat single-pointer settings.

Background

Why the observed world admits a classical description is the problem of the quantum-to-classical transition. Environment-induced decoherence suppresses superpositions between certain preferred 'pointer' states of a quantum system SS that are selected by the interaction with its environment EE ('einselection'). Quantum Darwinism (QD) adds that the environment acts as a communication channel: many observers, each accessing a different small fragment FF of EE, can independently recover nearly all of the classically accessible information about SS. Operationally, the quantum mutual information I(S:F)=HS+HF−HSFI(S:F)=H_S+H_F-H_{SF}, built from the von Neumann entropies HX=−tr(ρXlog⁡ρX)H_X=-\mathrm{tr}(\rho_X\log\rho_X) of the reduced states, exhibits a 'plateau' I(S:F)≈HSI(S:F)\approx H_S over a wide range of fragment sizes; the classically accessible part is bounded by the Holevo quantity χ(S:F)=HS−HS∣F\chi(S:F)=H_S-H_{S|F}, where HS∣FH_{S|F} is the system entropy conditioned on a measurement on FF; and the difference D(S:F)=I(S:F)−χ(S:F)D(S:F)=I(S:F)-\chi(S:F) is the quantum discord, a standard measure of genuinely quantum correlations. Consensus among independent observers thus corresponds to near-zero discord between SS and many distinct fragments.

For a globally pure state ∣ψSE⟩|\psi_{SE}\rangle in which the environment has learned a single pointer basis — 'single-event decoherence' — the paradigmatic compatible states are the branching states introduced by Blume-Kohout and Zurek: ∣ψ⟩=∑ipi ∣si⟩⨂k=1N∣ϵi(k)⟩|\psi\rangle=\sum_i\sqrt{p_i}\,|s_i\rangle\bigotimes_{k=1}^{N}|\epsilon_i^{(k)}\rangle, a generalization of Greenberger–Horne–Zeilinger (GHZ) states in which each pointer state of SS is correlated with (near-)orthogonal condition states of every environmental subsystem, so that each 'branch' factorizes over the environment. In the mixed-state setting, the analogous structure is the Spectrum Broadcast Structure (SBS), ρ=∑ipi ∣si⟩⟨si∣⊗ρi(1)⊗⋯⊗ρi(N)\rho=\sum_i p_i\,|s_i\rangle\langle s_i|\otimes\rho_i^{(1)}\otimes\cdots\otimes\rho_i^{(N)} with fragment states perfectly distinguishable across ii; a closely related criterion ('strong quantum Darwinism') was proven equivalent to SBS, with a published Comment and Reply delimiting the proof's scope.

Touil, Anzà, Deffner, and Crutchfield analyzed this problem using conditional quantum ensembles — the ensemble of conditional states of SS obtained when the environment is projected onto pure states, representable as a probability measure on the space of pure states of SS, in terms of which decoherence appears as clustering around the pointer states. Within the single-event, globally pure regime they proved: (i) exact uniqueness — with decoherence, zero discord between SS and every fragment holds if and only if the global state has the branching form; and (ii) robustness, their main theorem (an 'ε-theorem'): if D(S:F)≤ϵDD(S:F)\le\epsilon_D and ∣I(S:F)−HS∣≤ϵI|I(S:F)-H_S|\le\epsilon_I, then there exists a branching state ∣GHZ⟩=∑nyn ∣n⟩∣φnF⟩∣φnFˉ⟩|GHZ\rangle=\sum_n\sqrt{y_n}\,|n\rangle|\varphi_n^{F}\rangle|\varphi_n^{\bar F}\rangle (branch index nn; fragment FF and its complement Fˉ\bar F) with ∣⟨ψ∣GHZ⟩∣2≥1−η(ϵD,ϵI)|\langle\psi|GHZ\rangle|^2\ge 1-\eta(\epsilon_D,\epsilon_I), where η∈O(ϵD,ϵI)\eta\in O(\epsilon_D,\epsilon_I); equivalently, the Fubini–Study distance (the natural metric on pure states) between ψ\psi and the branching form is of the same order. Classical phenomenology thus singles out the branching organization, and does so robustly.

What the theorem does not cover is precisely the physically generic situation. Real global states are mixed, ρSE\rho_{SE}; and environments typically probe several distinct pointer bases — either the environment interacts with several systems, or the system itself has many interacting degrees of freedom — so that decoherence proceeds through multiple events, building a branching tree rather than a single layer of branches. In this regime the von Neumann entropy of a global pure state, the backbone of the single-event proof, is not the operative quantity: the emergence of consensus must be quantified through Shannon entropies of the statistics of local measurements on environmental fragments. Whether some universal structure of 'multiple-branching states' or 'branching trees' exists that is uniquely compatible with these Shannon-entropy-based Quantum-Darwinian diagnostics, and what information-theoretic bounds force proximity to such structures, is the open question.

Problem Statement

The problem, as explicitly left open by the source, is to extend this uniqueness-and-robustness theory beyond the regime in which it has been proved: a globally pure state ∣ψSE⟩|\psi_{SE}\rangle of a single system and its environment, decohered through a single event so that the environment learns a single pointer basis (a singly-branching structure). The target regimes are mixed global states ρSE\rho_{SE} and 'multiple-event' decoherence, in which the environment interacts with several systems, or the system comprises many interacting degrees of freedom, so that several distinct pointer bases are probed and a branching tree (rather than a single layer of branches) is built up. In these regimes the von Neumann entropy of the global pure state is no longer the operative bookkeeping quantity; the emergence of consensus must instead be quantified through Shannon entropies of the statistics of local measurements on environmental fragments. The question has three jointly necessary parts, forming one coherent objective:

(1) Construct the candidate universal structures — the families of multiple-branching states and branching trees generalizing the singly-branching form ∣ψ⟩=∑ipi ∣si⟩⨂k=1N∣ϵi(k)⟩|\psi\rangle=\sum_i\sqrt{p_i}\,|s_i\rangle\bigotimes_{k=1}^{N}|\epsilon_i^{(k)}\rangle — together with the corresponding operational Quantum-Darwinian diagnostics: functions of the local measurement statistics that reduce, in the single-event pure limit, to the discord D(S:F)D(S:F) and the mutual-information plateau I(S:F)≈HSI(S:F)\approx H_S. Each family must be specified by an explicit structural normal form — pointer bases together with branch/tree tensor-product and (near-)distinguishability conditions, as in the branching and Spectrum-Broadcast-Structure forms — that is defined independently of the diagnostics: the diagnostics are quantities tested against the family, not a definition of it. The family must be nondegenerate — a genuine structural class with free data (pointer bases, branch/tree structure), so that parts (2) and (3) are substantive rather than true by definition.

(2) Prove or disprove exact uniqueness: determine whether the multiple-branching family is the only global-state structure compatible with exactly vanishing values of those diagnostics; the approximate (near-vanishing) case is the subject of part (3).

(3) Prove or disprove the analog of the ε-theorem: explicit information-theoretic conditions of the same character as D(S:F)≤ϵDD(S:F)\le\epsilon_D and ∣I(S:F)−HS∣≤ϵI|I(S:F)-H_S|\le\epsilon_I that force the state within a controlled, explicitly bounded distance of some multiple-branching or branching-tree state.

An answer establishing the positive statements must verify the correct reduction to the known single-event results; an answer refuting them must exhibit and certify compatible states that remain far from every structure in the proposed family.

References

  1. Akram Touil, Fabio Anzà, Sebastian Deffner, James 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; arXiv:2208.05497, https://arxiv.org/abs/2208.05497
  2. Akram Touil, Bin Yan, Wojciech H. Zurek, "Consensus About Classical Reality in a Quantum Universe" (2025). arXiv:2503.14791, https://arxiv.org/abs/2503.14791
  3. Robin Blume-Kohout, Wojciech H. Zurek, "Quantum Darwinism: Entanglement, branches, and the emergent classicality of redundantly stored quantum information", Physical Review A 73, 062310 (2006). DOI: 10.1103/PhysRevA.73.062310, https://doi.org/10.1103/PhysRevA.73.062310; arXiv:quant-ph/0505031, https://arxiv.org/abs/quant-ph/0505031
  4. J. K. Korbicz, P. Horodecki, 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; arXiv:1305.3247, https://arxiv.org/abs/1305.3247
  5. Thao P. Le, 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, https://doi.org/10.1103/PhysRevA.98.032103; arXiv:1803.00765, https://arxiv.org/abs/1803.00765
  6. Thao P. Le, 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, https://doi.org/10.1103/PhysRevLett.122.010403; arXiv:1803.08936, https://arxiv.org/abs/1803.08936
  7. Alexandre Feller, Benjamin Roussel, Irénée Frérot, 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, https://doi.org/10.1103/PhysRevLett.126.188901; arXiv:2101.09186, https://arxiv.org/abs/2101.09186
  8. Thao P. Le, Alexandra Olaya-Castro, "Le and Olaya-Castro Reply:", Physical Review Letters 126, 188902 (2021). DOI: 10.1103/PhysRevLett.126.188902, https://doi.org/10.1103/PhysRevLett.126.188902; arXiv:2101.10756, https://arxiv.org/abs/2101.10756
  9. Jarosław 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, https://doi.org/10.22331/q-2021-11-08-571; arXiv:2007.04276, https://arxiv.org/abs/2007.04276
  10. Carlo Maria Scandolo, Roberto Salazar, Jarosław K. Korbicz, Paweł Horodecki, "Universal structure of objective states in all fundamental causal theories", Physical Review Research 3, 033148 (2021). DOI: 10.1103/PhysRevResearch.3.033148, https://doi.org/10.1103/PhysRevResearch.3.033148; arXiv:1805.12126, https://arxiv.org/abs/1805.12126
  11. Barış Çakmak, Özgür E. Müstecaplıoğlu, Mauro Paternostro, Bassano Vacchini, Steve Campbell, "Quantum Darwinism in a composite system: Objectivity versus classicality", Entropy 23, 995 (2021). DOI: 10.3390/e23080995, https://doi.org/10.3390/e23080995; arXiv:2106.15629, https://arxiv.org/abs/2106.15629
  12. Katarzyna Roszak, Jarosław K. Korbicz, "Glimpse of objectivity in bipartite systems for nonentangling pure dephasing evolutions", Physical Review A 101, 052120 (2020). DOI: 10.1103/PhysRevA.101.052120, https://doi.org/10.1103/PhysRevA.101.052120; arXiv:1911.05558, https://arxiv.org/abs/1911.05558
  13. Zitian Zhu, Kiera Salice, Akram Touil, Zehang Bao, Zixuan Song, Pengfei Zhang, Hekang Li, Zhen Wang, Chao Song, Qiujiang Guo, H. Wang, Rubem Mondaini, "Observation of quantum Darwinism and the origin of classicality with superconducting circuits", Science Advances 11, eadx6857 (2025). DOI: 10.1126/sciadv.adx6857, https://doi.org/10.1126/sciadv.adx6857; arXiv:2504.00781, https://arxiv.org/abs/2504.00781
  14. Anthony Kiely, Diana A. Chisholm, Akram Touil, Sebastian Deffner, Gabriel Landi, Steve 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; arXiv:2510.12313, https://arxiv.org/abs/2510.12313
  15. Benoît Ferté, Davide Farci, Xiangyu Cao, "Decoherent Histories with(out) Objectivity in a (Broken) Apparatus", Physical Review Letters 136, 090404 (2026). DOI: 10.1103/8qzx-xpfz, https://doi.org/10.1103/8qzx-xpfz; arXiv:2508.16482, https://arxiv.org/abs/2508.16482
  16. Philipp Strasberg, Joseph Schindler, Jiaozi Wang, Andreas Winter, "Approximate Decoherence, Recoherence and Records in Isolated Quantum Systems" (2026). arXiv:2601.19703, https://arxiv.org/abs/2601.19703
  17. Irene Valladares Duque, Philipp A. Strasberg, "Toy model challenging prevailing definitions of classicality", EPL 152, 28001 (2025). DOI: 10.1209/0295-5075/ae1639, https://doi.org/10.1209/0295-5075/ae1639; arXiv:2412.08444, https://arxiv.org/abs/2412.08444
  18. Emery Doucet, Sebastian 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; arXiv:2411.10862, https://arxiv.org/abs/2411.10862
  19. Alessandro Candeloro, Tiago Debarba, Felix 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; arXiv:2507.20736, https://arxiv.org/abs/2507.20736
  20. Diana A. Chisholm, Luca Innocenti, G. Massimo Palma, "The meaning of redundancy and consensus in quantum objectivity", Quantum 7, 1074 (2023). DOI: 10.22331/q-2023-08-03-1074, https://doi.org/10.22331/q-2023-08-03-1074; arXiv:2211.09150, https://arxiv.org/abs/2211.09150
  21. Diana A. Chisholm, G. Massimo Palma, Luca Innocenti, "Emergence of quantum Darwinism and pointer states for noncommuting evolutions", APS Open Science 1, 000024 (2026). DOI: 10.1103/75jr-ltct, https://doi.org/10.1103/75jr-ltct; arXiv:2510.06867, https://arxiv.org/abs/2510.06867
  22. Xiao-Kan Guo, Zhiqiang Huang, "On the relation between quantum Darwinism and approximate quantum Markovianity", Physics Letters A 491, 129204 (2023). DOI: 10.1016/j.physleta.2023.129204, https://doi.org/10.1016/j.physleta.2023.129204; arXiv:2207.02470, https://arxiv.org/abs/2207.02470