Recognition: no theorem link
Quantum Darwinism and the quality of Petz recovery
Pith reviewed 2026-05-11 02:31 UTC · model grok-4.3
The pith
The Petz recovery map reconstructs a system's einselected state from environmental fragments with fidelity that plateaus as fragment size increases.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
In system-environment models that exhibit Quantum Darwinism, the fidelity between the system's initial einselected state and the state recovered by applying the Petz map to an environmental fragment grows with fragment size and then levels off at a high value. This behavior is demonstrated analytically for solvable cases and numerically for large but computationally tractable environments.
What carries the argument
The Petz recovery map applied to an environmental fragment, with the resulting fidelity to the initial system state plotted against fragment size.
If this is right
- Redundant encoding in the environment allows reliable recovery even when only a modest fraction of the environment is accessed.
- The quality of recovery can be used to quantify how completely the environment has recorded the system's preferred observables.
- In open quantum systems, the onset of the plateau indicates the minimal fragment size needed for an observer to obtain essentially full information.
- The result holds across different interaction strengths and system sizes in the studied models.
Where Pith is reading between the lines
- The plateau behavior may set a natural scale for how much environmental monitoring is required to maintain classical records in quantum systems.
- Similar recovery maps could be tested in other decoherence models to see whether the same saturation occurs.
- If the plateau is robust, it could inform the design of protocols that deliberately use environmental fragments for state reconstruction.
Load-bearing premise
The Petz recovery map is a suitable model for how an observer would extract and reconstruct the einselected information stored in environmental fragments.
What would settle it
A concrete model or experiment showing Quantum Darwinism redundancy where the fidelity between initial and Petz-recovered states continues to rise or falls instead of forming a plateau as fragment size is increased.
Figures
read the original abstract
According to Quantum Darwinism, system-environment interactions both einselect particular system properties and encode them redundantly in many independent subsets of the environment, called fragments. This redundancy implies that an observer can recover the einselected information by accessing just one such fragment. However, the protocol by which such reconstruction should occur is often left unspecified. Considering a system $\Gamma$ interacting with a multipartite environment $\Xi$, we investigate whether, and under what conditions, the einselected state of $\Gamma$ can be recovered from environmental fragments using the Petz recovery map. We show that the fidelity between the system's initial state and the state reconstructed via Petz recovery develops a plateau as a function of the fragment size. Our results are supported by both analytical arguments and numerical simulations of large but tractable models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that in Quantum Darwinism, where system-environment interactions einselect system properties and redundantly encode them in environmental fragments, the einselected state of the system can be recovered from a single fragment using the Petz recovery map. It reports that the fidelity between the initial system state and the Petz-recovered state develops a plateau as a function of fragment size, with support from both analytical arguments and numerical simulations on large but tractable models.
Significance. If the central claim holds under an operationally valid choice of reference state, the work supplies a concrete, established quantum-information protocol for the recovery step that Quantum Darwinism has often left unspecified. This strengthens the operational content of the theory by linking redundant encoding directly to a recovery map whose properties are already well-studied. The combination of analytical arguments and numerical evidence on sizable models is a positive feature.
major comments (1)
- [Petz recovery map definition and application] The definition and application of the Petz recovery map (abstract and the section describing the protocol): the reference state σ is required for the map, yet the manuscript does not demonstrate that σ can be chosen using only information available to an observer who holds a single environmental fragment. If σ is instead taken to be the initial system state (or any state that already encodes the einselected information), the reported fidelity plateau is a mathematical property of the map rather than evidence of a practical recovery procedure from the fragment alone. This choice is load-bearing for the claim that Petz recovery furnishes a viable protocol under the conditions of Quantum Darwinism.
minor comments (2)
- [Numerical simulations] The numerical simulations section would benefit from explicit statements of the system-environment Hamiltonians, the precise definition of fragment size, the error bars or convergence criteria used to identify the plateau, and any post-selection or averaging procedures.
- [Introduction and notation] Clarify the notation for the system Γ and environment Ξ early in the manuscript to avoid ambiguity when the Petz map is applied to subsystems.
Simulated Author's Rebuttal
We thank the referee for their positive evaluation of our work and for identifying a key point about the operational requirements of the Petz recovery protocol. We address the major comment below and will revise the manuscript to strengthen the presentation.
read point-by-point responses
-
Referee: The definition and application of the Petz recovery map (abstract and the section describing the protocol): the reference state σ is required for the map, yet the manuscript does not demonstrate that σ can be chosen using only information available to an observer who holds a single environmental fragment. If σ is instead taken to be the initial system state (or any state that already encodes the einselected information), the reported fidelity plateau is a mathematical property of the map rather than evidence of a practical recovery procedure from the fragment alone. This choice is load-bearing for the claim that Petz recovery furnishes a viable protocol under the conditions of Quantum Darwinism.
Authors: We agree that the choice of reference state σ is central to whether Petz recovery constitutes a practical protocol accessible from a single fragment. In the submitted manuscript we selected σ as the initial system state in order to obtain clean analytical expressions and to isolate the plateau phenomenon in the fidelity. This choice does limit the direct operational interpretation as a fragment-only recovery procedure. In the revised manuscript we will add an explicit discussion of this distinction together with an alternative construction in which σ is determined exclusively from the fragment (for example, by using the maximally mixed state on the system or a fragment-derived estimate of the einselected state). We will show both analytically and numerically that the fidelity plateau survives under these fragment-only choices of σ, thereby supporting the claim that Petz recovery supplies a viable protocol within the Quantum Darwinism setting. revision: yes
Circularity Check
No significant circularity in the derivation of the fidelity plateau
full rationale
The paper applies the established Petz recovery map to system-environment models in the context of Quantum Darwinism, deriving analytically and verifying numerically that fidelity between the initial system state and the Petz-reconstructed state from environmental fragments develops a plateau with increasing fragment size. This result follows from the standard definition and properties of the Petz map applied to the given interaction Hamiltonians and does not reduce any claimed prediction to a fitted parameter, self-citation chain, or definitional tautology within the paper's own equations. The central claim remains independent of the inputs and is supported by explicit model simulations without the output being forced by construction.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The Petz recovery map is a valid quantum channel for state reconstruction in the given system-environment context.
Reference graph
Works this paper leans on
-
[1]
H.-P. Breuer and F. Peruccione,The theory of open quan- tum systems(Oxford University Press, Oxford, England, 2002)
work page 2002
-
[2]
H. D. Zeh, On the interpretation of measurement in quan- tum theory, Found. Phys.1, 69 (1970)
work page 1970
-
[3]
W. H. Zurek, Decoherence, einselection, and the quan- tum origins of the classical, Rev. Mod. Phys.75(2003)
work page 2003
-
[4]
M. Schlosshauer,Decoherence and the quantum-to- classical transition(Springer, Berlin, Germany; New York,The United States of America, 2007)
work page 2007
-
[5]
W. H. Zurek, Pointer basis of quantum apparatus: Into what mixture does the wave packet collapse?, Phys. Rev. D24, 1516 (1981)
work page 1981
-
[6]
W. H. Zurek, Environment-induced superselection rules, Phys. Rev. D26, 1862 (1982)
work page 1982
-
[7]
W. H. Zurek, Decoherence, einselection and the exis- tential interpretation (the rough guide), Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences356, 1793–1821 (1998)
work page 1998
-
[8]
W. H. Zurek, Quantum Darwinism, Nat. Phys.5, 181–188 (2009)
work page 2009
-
[9]
Schlosshauer, Decoherence, the measurement prob- lem, and interpretations of quantum mechanics, Rev
M. Schlosshauer, Decoherence, the measurement prob- lem, and interpretations of quantum mechanics, Rev. Mod. Phys.76, 1267 (2005)
work page 2005
-
[10]
Zurek, Einselection and decoherence from an informa- tion theory perspective, Ann
W. Zurek, Einselection and decoherence from an informa- tion theory perspective, Ann. Phys.512, 855–864 (2000)
work page 2000
-
[11]
J. K. Korbicz, P. Horodecki, and R. Horodecki, Objectiv- ity in a Noisy Photonic Environment through Quantum State Information Broadcasting, Phys. Rev. Lett.112, 120402 (2014)
work page 2014
-
[12]
R. Horodecki, J. K. Korbicz, and P. Horodecki, Quantum origins of objectivity, Phys. Rev. A91, 032122 (2015)
work page 2015
-
[13]
T. P. Le and A. Olaya-Castro, Strong Quantum Darwin- ism and Strong Independence are Equivalent to Spec- trum Broadcast Structure, Phys. Rev. Lett.122, 010403 (2019)
work page 2019
-
[14]
J. K. Korbicz, Roads to objectivity: Quantum Darwin- ism, Spectrum Broadcast Structures, and Strong quan- tum Darwinism – a review, Quantum5, 571 (2021)
work page 2021
-
[15]
W. H. Zurek, Quantum Theory of the Classical: Einse- lection, Envariance, Quantum Darwinism and Extantons, Entropy24(2022)
work page 2022
-
[16]
G. Chiribella and G. M. D’Ariano, Quantum Informa- tion Becomes Classical When Distributed to Many Users, Phys. Rev. Lett.97(2006)
work page 2006
-
[17]
C. J. Riedel and W. H. Zurek, Quantum Darwinism in an Everyday Environment: Huge Redundancy in Scattered Photons, Phys. Rev. Lett.105, 020404 (2010)
work page 2010
-
[18]
H. Ollivier, D. Poulin, and W. H. Zurek, Objective Prop- erties from Subjective Quantum States: Environment as a Witness, Phys. Rev. Lett.93, 220401 (2004)
work page 2004
-
[19]
F. G. S. L. Brand˜ ao, M. Piani, and P. Horodecki, Generic emergence of classical features in quantum darwinism, Nat. Commun.6(2015)
work page 2015
-
[20]
R. Blume-Kohout and W. H. Zurek, A Simple Example of “Quantum Darwinism”: Redundant Information Stor- age in Many-Spin Environments, Found. Phys.35, 1857 (2005)
work page 2005
-
[21]
R. Blume-Kohout and W. H. Zurek, Quantum Darwin- ism in Quantum Brownian Motion, Phys. Rev. Lett.101, 240405 (2008)
work page 2008
- [22]
-
[23]
P´ erez, Information encoding of a qubit into a multi- level environment, Phys
A. P´ erez, Information encoding of a qubit into a multi- level environment, Phys. Rev. A81, 052326 (2010)
work page 2010
-
[24]
M. M. Wilde, Recoverability in quantum informa- tion theory, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences471, 10.1098/rspa.2015.0338 (2015)
-
[25]
M. M. Wilde,Quantum Information Theory, 2nd ed. (Cambridge University Press, 2017)
work page 2017
-
[26]
O. Fawzi and R. Renner, Quantum Conditional Mutual Information and Approximate Markov Chains, Comm. Math. Phys.340, 575–611 (2015)
work page 2015
-
[27]
L. Lautenbacher, F. de Melo, and N. K. Bernardes, Ap- proximating invertible maps by recovery channels: Op- timality and an application to non-Markovian dynamics, Phys. Rev. A105(2022)
work page 2022
-
[28]
L. Lautenbacher, V. Jagadish, F. Petruccione, and N. K. Bernardes, Petz recovery maps for qudit quantum chan- nels, Phys. Lett. A512(2024)
work page 2024
- [29]
-
[30]
C.-F. Chen, G. Penington, and G. Salton, Entanglement wedge reconstruction using the Petz map, JHEP2020 (1)
-
[31]
A. Almheiri, X. Dong, and D. Harlow, Bulk locality and quantum error correction in AdS/CFT, JHEP2015(4)
-
[32]
E. Bahiru and N. Vardian, Explicit reconstruction of the entanglement wedge via the petz map, JHEP2023(7)
- [33]
-
[34]
H. Barnum and E. Knill, Reversing quantum dynam- ics with near-optimal quantum and classical fidelity, J. Math. Phys.43, 2097–2106 (2002)
work page 2097
- [36]
-
[37]
H. K. Ng and P. Mandayam, Simple approach to approx- imate quantum error correction based on the transpose channel, Phys. Rev. A81(2010)
work page 2010
- [38]
-
[39]
M. Ozawa, Quantum Measurement Theory for Sys- tems with Finite Dimensional State Spaces (2023), arXiv:2110.03219 [quant-ph]
- [40]
-
[41]
T. Heinosaari and M. Ziman,The Mathematical Lan- guage of Quantum Theory: From Uncertainty to Entan- glement(Cambridge University Press, 2011)
work page 2011
-
[42]
N. Pranzini and P. Verrucchi, Premeasurement reliability and accessibility of quantum measurement apparatuses, 11 (a)Z-Hcoupling as in Fig. with initial state of gamma pure and far from any pointer state (r= 1,θ=π/4, and ϕ= 0 on the Bloch sphere). All other details as in Fig. 4. (b)Z-Hcoupling with initial state of gamma a mixture of pointer states (r= 0....
work page 2024
-
[43]
Petz, Sufficient subalgebras and the relative entropy of states of a von neumann algebra, Comm
D. Petz, Sufficient subalgebras and the relative entropy of states of a von neumann algebra, Comm. Math. Phys. 105, 123 (1986)
work page 1986
-
[44]
Petz, Monotonicity of quantum relative entropy revis- ited, Rev
D. Petz, Monotonicity of quantum relative entropy revis- ited, Rev. Math. Phys.15, 79 (2003)
work page 2003
- [45]
-
[46]
N. Lambert, E. Gigu‘ere, P. Menczel, B. Li, P. Hopf, G. Su’arez, M. Gali, J. Lishman, R. Gadhvi, R. Agarwal, A. Galicia, N. Shammah, P. Nation, J. R. Johansson, S. Ahmed, S. Cross, A. Pitchford, and F. Nori, QuTiP 5: The Quantum Toolbox in Python, Physics Reports 1153, 1 (2026)
work page 2026
-
[47]
G. W. Anderson, A. Guionnet, and O. Zeitouni,An Intro- duction to Random Matrices, Cambridge Studies in Ad- vanced Mathematics (Cambridge University Press, 2009)
work page 2009
- [48]
-
[49]
W. Donnelly and A. C. Wall, Entanglement Entropy of Electromagnetic Edge Modes, Phys. Rev. Lett.114, 111603 (2015)
work page 2015
-
[50]
Notes on Entanglement in Abelian Gauge Theories
D. Radicevic, Notes on Entanglement in Abelian Gauge Theories (2014), arXiv:1404.1391 [hep-th]
work page Pith review arXiv 2014
-
[51]
TASI Lectures on the Emergence of the Bulk in AdS/CFT
D. Harlow, TASI Lectures on the Emergence of the Bulk in AdS/CFT (2018), arXiv:hep-th/1802.01040 [hep-th]
work page Pith review arXiv 2018
-
[52]
J. Torvinen, E. Keski-Vakkuri, and N. Pranzini, Quan- tum Darwinism and the quality of Petz recovery, GitHub repository (2026). 12 Appendix A: Support inclusion requirements of relative entropy and their consequences for the Petz map In this section, we briefly review why the quantum relative entropy requires support inclusion and the consequences on the ...
work page 2026
-
[53]
Properties ofM k The fact thatM k is TP is found via TrΓ[Mk(XFk+1)] = TrFk+1[IΞk+1 ⊗Λ k(s)− 1 2 TrΞk+1[XFk+1]Λk(s)− 1 2 Λk+1(s)] = TrFk[Λk(s)− 1 2 TrΞk+1[XFk+1]Λk(s)− 1 2 TrΞk+1[Λk+1(s)]] = TrFk[Λk(s)− 1 2 TrΞk+1[XFk+1]Λk(s)− 1 2 Λk(s)] = TrFk+1[XFk+1]. (B8) and the adjoint ofM k is obtained by inverting the Hilbert-Schmidt product as: (M† k(x), X′ Fk+1)F...
-
[54]
The above has a direct interpretation in terms of the Petz recovery
Proof of Eq.(30) Let us begin by re-expressing the quantum Markov chain (29) via the identity I(A:B) =S(ρ A∪B||ρA ⊗ρ B) (B16) as S(ρΓ∪Fk+1 ||ρΓ ⊗ρ Fk+1) =S(ρ Γ∪Fk ||ρΓ ⊗ρ Fk) (B17) whereρ P = Tr(Γ∪Ξ)\P [ ˆU(xΓ ⊗X Ξ) ˆU †] for allPappearing, and where we used the usual notation with all density operators denoted by lowercase Greek letters for the sake of s...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.