Completing the spectrum-broadcast-structure theory of quantum objectivity: approximate conditions, partial objectivization, and experimental certification

Horodecki, Korbicz, and Horodecki [Phys. Rev. A 91, 032122 (2015)] proved that, under full decoherence into a one-dimensional pointer basis and strong independence of environmental fragments, objectivity — many observers independently and non-disturbingly agreeing on the state of a system — is equivalent to the spectrum broadcast structure (SBS) of the system–environment state. They left open when the quantum-Darwinism mutual-information plateau implies this structure, how much environmental independence is required, how to go beyond one-dimensional pointer sectors, how the structure forms dynamically outside idealized models, and how to verify it experimentally. Subsequent work through 2026 closed the exact versions of the first two questions: the plateau alone is insufficient, SBS is equivalent to strong quantum Darwinism (Holevo equality plus accessible-information saturation per fragment) together with total conditional factorization, and strong independence is unnecessary for objectivity per se; dynamical formation has been verified in many open-system models. The surviving open core is the robust completion of the theory: (1) quantitative approximate conditions, with error bounds and a general approach theorem, for ε-closeness to SBS in terms of operationally measurable quantities; (2) the extension to partial decoherence and higher-dimensional pointer (superselection) sectors; (3) laboratory protocols that certify approximate SBS rather than mere mutual-information plateaus. The problem is to turn the exact idealized characterization of objectivity into a measurable, structurally general, experimentally executable criterion.

Background

Within quantum mechanics, macroscopic objects appear to have definite, observer-independent values even though the theory assigns superpositions. Decoherence explains part of this: when a system S interacts with an environment E, certain basis states — the pointer basis, selected by the form of the interaction — are stable under monitoring while superpositions between them are rapidly suppressed. What decoherence alone does not explain is why many observers, acting independently and without disturbing the system, agree on the value. Quantum Darwinism (Zurek) studies this through information encoding: a plot of the quantum mutual information $I(\rho_{S:fE})$ between S and a fraction $f$ of the environment against $f$ typically exhibits a plateau at $I \approx H_S$, where $H_S$ is the entropy of the decohered system state, indicating that many disjoint fragments independently carry nearly all the classical information about S. Whether this entropic plateau is itself a criterion of objectivity was, however, unclear.

Horodecki, Korbicz, and Horodecki (2015) approached the question operationally. Their definition of objectivity requires that many observers can simultaneously find out the state of S, independently (no correlations between their observations), and without disturbing it — where 'non-disturbing' uses Bohr's notion: each observer's measurement leaves the whole joint system–environment state unchanged once the outcome is forgotten. Under two idealizing assumptions — full decoherence into a one-dimensional pointer basis, and strong independence (conditioned on the pointer value of S, the observed environmental fragments are uncorrelated) — they proved that objectivity is equivalent to a canonical state structure, the spectrum broadcast structure (SBS):

$$\rho_{S:E} = \sum_i p_i\,|i\rangle\langle i| \otimes \rho_i^{(1)} \otimes \cdots \otimes \rho_i^{(N)},$$

where $\{|i\rangle\}$ is the pointer basis, $\{p_i\}$ are the eigenvalues (the spectrum, hence the name) of the decohered system state, and the conditional environmental states $\rho_i^{(k)}$ have mutually orthogonal supports — they are perfectly distinguishable by a measurement, so each observer can determine $i$ without disturbing the state. SBS implies the quantum-Darwinism plateau, but the converse was left open: the paper exhibits a two-qubit entangled state with $I(\rho_{S:E}) = H_S$ (a plateau with a single environment) yet no broadcast structure, and explicitly leaves the general question open. The theorem was also restricted to one-dimensional pointer sectors (the paper considers full objectivization of a degree of freedom 'rather than a partial one', explicitly setting aside higher-dimensional pointer superselection sectors — orthogonal subspaces of the system's state space that decohere as blocks rather than into individual basis states), the dynamical formation was demonstrated only in the illuminated-sphere model — a dielectric sphere monitored by photons — with pure environments, in the thermodynamic and deep-decoherence limits, under controlled-unitary dynamics (the system's pointer value selects which unitary each environmental fragment undergoes), and laboratory verification was noted to be possible 'in principle' via quantum state tomography.

Subsequent work sharpened the information-theoretic side decisively. Le and Olaya-Castro defined strong quantum Darwinism; with the correction of Feller, Roussel, Frérot, and Degiovanni, the exact statement is: a state has SBS form if and only if (a1) $I(S:E) = \chi(E|S)$, i.e. the mutual information equals the Holevo quantity — the upper bound on the classical information about S extractable from E, whose saturation forces the correlations to be entirely classical (zero discord, the genuinely quantum part of correlations); (a2) the accessible information $I_{\mathrm{acc}}(S:E_k) = H_S$ for every fragment $E_k$, where accessible information is the mutual information maximized over measurements on S (each fragment alone reveals the full pointer value); and (b') the multipartite conditional mutual information $I(E_1,\ldots,E_N|S) = 0$, i.e. total factorization of the environmental state conditioned on S — the exact form of strong independence, after a weaker pairwise version was shown insufficient by a classical three-qutrit counterexample with hidden parity correlations. Korbicz's review further proved a generalized SBS theorem: strong independence is not needed for objectivity per se; objectivity is equivalent to the above classical–quantum state with merely distinguishable, not necessarily product, conditional environmental states. On the dynamical side, SBS formation has been verified model by model — noisy photonic environments, quantum Brownian motion (a particle monitored by a bath of harmonic oscillators), the non-Markovian spin-boson model (a two-level system coupled to a bath with memory effects), quantum electrodynamics (QED), gravitational decoherence, higher-spin environments, and nitrogen-vacancy (NV) centers in diamond — including sufficient conditions for von-Neumann-type measurement interactions (the canonical coupling in which the interaction Hamiltonian is a product of a system observable and a pointer momentum) and a continuous-spectrum extension. In contrast, all laboratory experiments to date (photonic simulators, noisy intermediate-scale quantum (NISQ) processors, NV centers) verify only the plateau of the Holevo quantity $\chi(fE|S)$, which cannot certify the underlying state structure because the discord part of the mutual information is unknown.

Problem Statement

Complete the operational theory of objectivity that Horodecki–Korbicz–Horodecki left open, reduced to the core surviving the exact resolutions of 2018–2026. The single objective is to make spectrum broadcast structure a robust, structurally general, and experimentally executable criterion of objectivity for open quantum systems. Concretely:

(1) Approximate operational conditions. Give necessary and sufficient conditions for a system–environment state to be ε-close in trace distance (the trace distance between two states is one half of the trace norm of their difference) to a spectrum broadcast structure and to its generalized form with distinguishable but non-product conditional states, in terms of operationally measurable quantities, the quantitative approximate versions of which must hold jointly: the Holevo equality $I(S:E)\approx\chi(E|S)$, per-fragment accessible-information saturation ($I_{\mathrm{acc}}(S:E_k)$ within δ of $H_S$ for every fragment), and approximate conditional factorization — the constitutive condition for the strict SBS target, replaced for the generalized target by quantitative distinguishability of the conditional environmental states. Prove the corresponding stability/approach theorem: a bound on the distance to SBS in terms of the errors in these conditions, valid for general dynamics and not only controlled-unitary or pure-dephasing evolutions (dynamics that merely decay the coherences between pointer states), with finite-time and finite-size error control. The exact lineage shows this is non-trivial: pairwise conditional independence already fails (Feller et al. counterexample), so approximate conditions must control genuinely multipartite correlations.

(2) Structural generalization. Extend the SBS theorem beyond full decoherence into a one-dimensional pointer basis: characterize the state structures compatible with objectivity when the system decoheres only into higher-dimensional pointer (superselection) sectors, and when a degree of freedom is only partially objectivized.

(3) Experimental certification. Provide a laboratory protocol — tomographic or witness-based, robust to noise and to imperfect coarse graining of the environment into fragments — that certifies (approximate) spectrum broadcast structure in a physical system, going beyond quantum-Darwinism plateau observations, which provably cannot certify the state structure. The deliverable is the design and analysis of such a protocol, including its certification guarantee in the form of estimators with confidence bounds from finite measurement data, not its experimental execution on a particular platform.

Resolving the task requires all three deliverables, jointly: (1) supplies the theory, (2) its structural scope, and (3) its empirical content; together they establish objectivity as a measurable, error-quantified property of open quantum systems.

References

1. R. Horodecki, J. K. Korbicz, and P. Horodecki, 'Quantum origins of objectivity', Phys. Rev. A 91, 032122 (2015). DOI: 10.1103/PhysRevA.91.032122; arXiv:1312.6588. https://doi.org/10.1103/PhysRevA.91.032122
2. J. K. Korbicz, P. Horodecki, and R. Horodecki, 'Objectivity in a noisy photonic environment through quantum state information broadcasting', Phys. Rev. Lett. 112, 120402 (2014). DOI: 10.1103/PhysRevLett.112.120402. https://doi.org/10.1103/PhysRevLett.112.120402
3. F. G. S. L. Brandão, M. Piani, and P. Horodecki, 'Generic emergence of classical features in quantum Darwinism', Nat. Commun. 6, 8908 (2015). DOI: 10.1038/ncomms8908. https://doi.org/10.1038/ncomms8908
4. T. P. Le and A. Olaya-Castro, 'Objectivity (or lack thereof): Comparison between predictions of quantum Darwinism and spectrum broadcast structure', Phys. Rev. A 98, 032103 (2018). DOI: 10.1103/PhysRevA.98.032103; arXiv:1803.00765. https://doi.org/10.1103/PhysRevA.98.032103
5. T. P. Le and A. Olaya-Castro, 'Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure', Phys. Rev. Lett. 122, 010403 (2019). DOI: 10.1103/PhysRevLett.122.010403; arXiv:1803.08936. https://doi.org/10.1103/PhysRevLett.122.010403
6. A. Feller, B. Roussel, I. Frérot, and P. Degiovanni, 'Comment on "Strong Quantum Darwinism and Strong Independence are Equivalent to Spectrum Broadcast Structure"', Phys. Rev. Lett. 126, 188901 (2021). DOI: 10.1103/PhysRevLett.126.188901; arXiv:2101.09186. https://doi.org/10.1103/PhysRevLett.126.188901
7. T. P. Le and A. Olaya-Castro, 'Le and Olaya-Castro Reply', Phys. Rev. Lett. 126, 188902 (2021). DOI: 10.1103/PhysRevLett.126.188902. https://doi.org/10.1103/PhysRevLett.126.188902
8. 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
9. P. Mironowicz, J. K. Korbicz, and P. Horodecki, 'Monitoring of the process of system information broadcasting in time', Phys. Rev. Lett. 118, 150501 (2017). DOI: 10.1103/PhysRevLett.118.150501. https://doi.org/10.1103/PhysRevLett.118.150501
10. J. Tuziemski and J. K. Korbicz, 'Dynamical objectivity in quantum Brownian motion', EPL 112, 40008 (2015). DOI: 10.1209/0295-5075/112/40008. https://doi.org/10.1209/0295-5075/112/40008
11. J. Tuziemski and J. K. Korbicz, 'Analytical studies of spectrum broadcast structures in quantum Brownian motion', J. Phys. A 49, 445301 (2016). DOI: 10.1088/1751-8113/49/44/445301. https://doi.org/10.1088/1751-8113/49/44/445301
12. A. Lampo, J. Tuziemski, M. Lewenstein, and J. K. Korbicz, 'Objectivity in the non-Markovian spin-boson model', Phys. Rev. A 96, 012120 (2017). DOI: 10.1103/PhysRevA.96.012120. https://doi.org/10.1103/PhysRevA.96.012120
13. J. Tuziemski, P. Witas, and J. K. Korbicz, 'Redundant information encoding in QED during decoherence', Phys. Rev. A 97, 012110 (2018). DOI: 10.1103/PhysRevA.97.012110. https://doi.org/10.1103/PhysRevA.97.012110
14. M. Kiciński and J. K. Korbicz, 'Decoherence and objectivity in higher spin environments', Phys. Rev. A 104, 042216 (2021). DOI: 10.1103/PhysRevA.104.042216. https://doi.org/10.1103/PhysRevA.104.042216
15. D. Kwiatkowski, Ł. Cywiński, and J. K. Korbicz, 'Appearance of objectivity for NV centers interacting with dynamically polarized nuclear environment', New J. Phys. 23, 043036 (2021). DOI: 10.1088/1367-2630/abeffd. https://doi.org/10.1088/1367-2630/abeffd
16. A. Acevedo, J. Wehr, and J. K. Korbicz, 'Spectrum broadcast structures from von Neumann type interaction Hamiltonians', J. Math. Phys. 65, 122102 (2024). DOI: 10.1063/5.0208953; arXiv:2403.01419. https://doi.org/10.1063/5.0208953
17. A. Acevedo, J. Korbicz, and J. Wehr, 'Spectrum broadcast structures from von Neumann type interaction Hamiltonians with continuous variables', J. Math. Phys. 67, 012202 (2026). DOI: 10.1063/5.0244740; arXiv:2409.12372. https://doi.org/10.1063/5.0244740
18. T. P. Le and A. Olaya-Castro, 'Witnessing non-objectivity in the framework of strong quantum Darwinism', Quantum Sci. Technol. 5, 045012 (2020). DOI: 10.1088/2058-9565/abac4e; arXiv:1908.08818. https://doi.org/10.1088/2058-9565/abac4e
19. T. P. Le, A. Winter, and G. 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. M.-C. Chen, H.-S. Zhong, Y. Li, D. Wu, X.-L. Wang, L. Li, N.-L. Liu, C.-Y. Lu, and J.-W. Pan, 'Emergence of classical objectivity of quantum Darwinism in a photonic quantum simulator', Science Bulletin 64, 580-585 (2019). DOI: 10.1016/j.scib.2019.03.032. https://doi.org/10.1016/j.scib.2019.03.032
21. D. A. Chisholm, G. García-Pérez, M. A. C. Rossi, S. Maniscalco, and G. M. Palma, 'Witnessing objectivity on a quantum computer', Quantum Sci. Technol. 7, 015022 (2022). DOI: 10.1088/2058-9565/ac40f3; arXiv:2110.06243. https://doi.org/10.1088/2058-9565/ac40f3
22. R. Ćwiek and J. K. Korbicz, 'Towards objectivity of classical reference frames in quantum mechanics', arXiv:2506.05545 (2025). https://arxiv.org/abs/2506.05545
23. J. Gu, 'Hamiltonian thresholds for objective records', Phys. Rev. A 114, L020201 (2026). DOI: 10.1103/fm9j-m9lh; arXiv:2608.00365. https://doi.org/10.1103/fm9j-m9lh
24. A. B. Tank, 'Functional information in quantum Darwinism: an operational measure of objectivity', arXiv:2509.17775 (2025). https://arxiv.org/abs/2509.17775
25. R. D. Baldijão, R. Wagner, C. Duarte, B. Amaral, and M. T. Cunha, 'Emergence of noncontextuality under quantum Darwinism', PRX Quantum 2, 030351 (2021). DOI: 10.1103/PRXQuantum.2.030351. https://doi.org/10.1103/PRXQuantum.2.030351
26. C. M. Scandolo, R. Salazar, J. K. Korbicz, and P. Horodecki, 'Universal structure of objective states in all fundamental causal theories', Phys. Rev. Research 3, 033148 (2021). DOI: 10.1103/PhysRevResearch.3.033148. https://doi.org/10.1103/PhysRevResearch.3.033148
27. W. H. Zurek, 'Quantum Darwinism', Nature Physics 5, 181 (2009). DOI: 10.1038/nphys1202. https://doi.org/10.1038/nphys1202
28. J. K. Korbicz, E. A. Aguilar, P. Ćwikliński, and P. Horodecki, 'Generic appearance of objective results in quantum measurements', Phys. Rev. A 96, 032124 (2017). DOI: 10.1103/PhysRevA.96.032124. https://doi.org/10.1103/PhysRevA.96.032124
29. A. Wu, 'Observer Quality as a Resource Constraint in Quantum Darwinism: Optimal Decoding, ε-Approximate Spectrum Broadcast Structure, and a Central-Spin Worked Example', SSRN preprint (2026), unrefereed. DOI: 10.2139/ssrn.6386578. https://doi.org/10.2139/ssrn.6386578