arxiv: 2605.08829 · v1 · submitted 2026-05-09 · 🪐 quant-ph · math.FA· math.OA

Recognition: no theorem link

Recoverable states on von-Neumann algebras

Saptak Bhattacharya

Authors on Pith no claims yet

Pith reviewed 2026-05-12 02:45 UTC · model grok-4.3

classification 🪐 quant-ph math.FAmath.OA

keywords recoverable statesPetz recovery maptracial von Neumann algebrascompletely positive trace-preserving mapsL^p convergencestate decompositionquantum information

0 comments

The pith

Iterating the Petz recovery map with a trace-preserving map converges to a limit that maps every state to a recoverable one.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that for any strictly completely positive trace-preserving map φ between tracial von Neumann algebras, together with a fixed positive invertible element B of trace 1, the repeated composition of the associated Petz recovery map R with φ produces a sequence of operators that converges to a new completely positive trace-preserving map ψ. Under this limit map every input state A becomes recoverable, meaning that R applied after φ returns exactly the same A. The convergence holds in the operator norm on the L^p spaces for every p strictly between 1 and infinity, and holds strongly when p equals 1. A reader would care because the construction supplies a uniform procedure that turns arbitrary states into states that are perfectly fixed by the recovery procedure, which is the central object in many quantum reconstruction tasks.

Core claim

There exists a completely positive trace-preserving map ψ:M→M such that ψ(A) is recoverable for every A, i.e., R(φ(ψ(A)))=ψ(A), and the iterates (R∘φ)^n converge to ψ in the operator norm on L^p(M,τ) for all 1<p<∞ while converging strongly in L^1; the paper also proves a decomposition theorem for normal states on M.

What carries the argument

The Petz recovery map R tied to the invertible B and the map φ, whose successive compositions with φ converge in the L^p operator norms to the projection onto the set of recoverable states.

If this is right

Every state on M can be approximated to any desired accuracy by a recoverable state obtained from finitely many applications of R∘φ.
The limit map ψ itself is completely positive and trace-preserving, so it qualifies as a quantum channel.
Convergence in every L^p norm for 1<p<∞ supplies uniform control that can be transferred between different integrability settings.
Normal states on M admit an explicit decomposition whose components interact with the recovery procedure in a controlled way.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction supplies a canonical regularization procedure that could be used to stabilize numerical simulations of quantum channels by projecting onto the recoverable subspace.
Because the limit ψ commutes with the recovery dynamics, it may serve as a natural invariant subspace projector in the study of repeated quantum measurements.
The L^p convergence statements open the possibility of extending the same iteration scheme to non-tracial weights once an appropriate generalization of the Petz map is available.

Load-bearing premise

The map φ must be strictly completely positive and trace-preserving so that the Petz recovery map R is well-defined and its iterates with φ converge in the L^p spaces.

What would settle it

A concrete tracial von Neumann algebra M, a strictly completely positive trace-preserving map φ, and an invertible B of trace 1 such that the sequence of operators (R∘φ)^n fails to converge in the operator norm on L^2(M,τ) for some input A.

read the original abstract

Let $(\mathcal{M},\tau)$ and $(\mathcal{N},\tau^{\prime})$ be tracial von-Neumann algebras and let $\phi:\mathcal{M}\to\mathcal{N}$ be a strictly completely positive, trace preserving map. Given a positive, invertible $B\in\mathcal{M}$ with $\tau(B)=1$, a state on $\mathcal{M}$ given by a positive $A\in L^1(\mathcal{M}, \tau)$ is said to be recoverable if $\mathcal{R}(\phi(A))=A$ where $\mathcal{R}$ is the Petz recovery map corresponding to $B$ and $\phi$. In this paper, we study recoverable states and show how an arbitrary state can be made close to a recoverable state via iterates of $\mathcal{R}\circ\phi$. We show that there exists a completely positive, trace preserving map $\psi:\mathcal{M}\to\mathcal{M}$ such that $\psi(A)$ is recoverable for all $A$ and $(\mathcal{R}\circ\phi)^n\to\psi$ in norm as operators on $L^p(\mathcal{M},\tau)$ for all $1\,\textless p\,\textless\infty$, and discuss potential applications to quantum information theory. We also show that this convergence holds strongly in $L^1$. Finally, we prove an interesting decomposition theorem for normal states on $\mathcal{M}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper proves convergence of Petz recovery iterates to a CPTP map onto recoverable states in noncommutative L^p spaces on tracial von Neumann algebras, plus a decomposition for normal states.

read the letter

The main takeaway is that this work defines recoverable states via the Petz map on tracial von Neumann algebras and shows that repeated application of R composed with a strictly CPTP map phi converges in operator norm on L^p (1 < p < infinity) to a limit map psi that sends every state to a recoverable one, with strong convergence on L^1. It also gives a decomposition theorem for normal states. That convergence result and the decomposition are the concrete new pieces; they extend the usual finite-dimensional Petz recovery story to the infinite-dimensional setting with explicit limit behavior on the noncommutative L^p spaces. The paper does a clean job laying out the setup with positive invertible B of trace 1 and the strict complete positivity assumption, then stating the existence of psi and the convergence without obvious circularity. The distinction between norm convergence on reflexive L^p spaces and strong convergence on L^1 is handled consistently with standard Banach space facts. Soft spots are minor but real: the abstract gives no proof sketches or rate estimates, so one has to read the full derivations to check how the iterates are controlled and whether the assumptions on phi can be relaxed. Concrete examples in type II_1 factors or simple infinite-dimensional cases would help readers see the scale of the recoverable subspace. No load-bearing gaps jump out from the claims, and the citation pattern looks standard for Petz map literature. This is for people working at the intersection of quantum information and operator algebras who already know the finite-dimensional recovery map and want the infinite-dimensional extension. It is technically grounded enough to deserve a serious referee rather than a desk reject; the convergence statements are specific and falsifiable once the proofs are checked.

Referee Report

0 major / 3 minor

Summary. The manuscript defines recoverable states on tracial von Neumann algebras (M, τ) with respect to a strictly completely positive trace-preserving map φ: M → N and the Petz recovery map R associated to a fixed positive invertible B ∈ M with τ(B) = 1. A state A ∈ L¹(M, τ) is recoverable if R(φ(A)) = A. The central results are the existence of a CPTP map ψ: M → M such that ψ(A) is recoverable for all A, together with norm-convergence of the iterates (R ∘ φ)^n to ψ as operators on L^p(M, τ) for every 1 < p < ∞, strong convergence in L¹, and a decomposition theorem for normal states on M. Potential applications to quantum information are indicated.

Significance. If the stated convergence and decomposition results hold, the work supplies a non-commutative analogue of iterative recovery procedures that identifies the limit map as a projection onto the fixed-point set of recoverable states. The distinction between norm convergence on reflexive L^p spaces (1 < p < ∞) and strong convergence on L¹ is consistent with standard Banach-space arguments and may be useful for analyzing fixed points of Petz-type recovery maps in quantum channel theory.

minor comments (3)

The abstract refers to 'an interesting decomposition theorem for normal states' without indicating its precise statement; a one-sentence description of the decomposition (e.g., direct sum or orthogonal decomposition with respect to recoverable and non-recoverable parts) would improve readability.
Notation for the Petz map R is introduced in the abstract but the dependence on B and φ is not restated when the iterates (R ∘ φ)^n are first written; a brief reminder of the precise definition at the beginning of the convergence section would help.
The claim that ψ is completely positive and trace-preserving is stated for the limit map; it would be useful to confirm whether this follows immediately from the norm limit of CPTP maps or requires a separate argument (e.g., preservation of positivity under strong L¹ convergence).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript, positive assessment of its significance, and recommendation for minor revision. No specific major comments were raised in the report, so we have no individual points to address. We accept the recommendation and will prepare a revised version incorporating any editorial or minor changes as needed.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines recoverable states via the fixed-point condition R(φ(A)) = A for the Petz recovery map R associated to a given strictly CPTP map φ and invertible B. It then proves existence of a CPTP limit map ψ such that (R ∘ φ)^n converges in operator norm on L^p(M, τ) for 1 < p < ∞ (and strongly in L^1) to ψ, with the image of ψ consisting exactly of recoverable states, plus a decomposition theorem for normal states. These results rest on standard functional-analytic facts about non-commutative L^p spaces, reflexivity, and continuity of the Petz map; the convergence implies the fixed-point property for ψ by direct application of the limit, without any definitional loop, fitted-parameter renaming, or load-bearing self-citation. The derivation chain is independent of the target claims and relies on external von Neumann algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, ad-hoc axioms, or invented entities are stated. Relies on background definitions of tracial von Neumann algebras, strictly CPTP maps, and the Petz recovery map.

pith-pipeline@v0.9.0 · 5533 in / 1131 out tokens · 61298 ms · 2026-05-12T02:45:44.046340+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

P. M. Alberti,A note on the transition probability overC ∗-algebras, Lett. Math. Phys. 7 (25-32) (1983)

work page 1983
[2]

P. M. Alberti and A. Uhlmann,Transition probabilities onW ∗- andC ∗-algebras, Conference paper (1984)

work page 1984
[3]

Beigi,Sandwiched R´ enyi Divergence Satisfies Data Processing Inequality, J

S. Beigi,Sandwiched R´ enyi Divergence Satisfies Data Processing Inequality, J. Math. Phys. 54(12), 12202 (2013)

work page 2013
[4]

Bhattacharya,Approximate recoverability and the quantum data processing inequal- ity, https://arxiv.org/abs/2309.02074 (2025)

S. Bhattacharya,Approximate recoverability and the quantum data processing inequal- ity, https://arxiv.org/abs/2309.02074 (2025)

work page arXiv 2025
[5]

Bhattacharya,Universal recoverability of quantum states in tracial von-Neumann algebras, https://arxiv.org/abs/2512.08418 (2025)

S. Bhattacharya,Universal recoverability of quantum states in tracial von-Neumann algebras, https://arxiv.org/abs/2512.08418 (2025)

work page arXiv 2025
[6]

Correa da Silva,Lecture notes on non-commutativeL p spaces, https://arxiv.org/abs/1803.02390 (2018)

R. Correa da Silva,Lecture notes on non-commutativeL p spaces, https://arxiv.org/abs/1803.02390 (2018)

work page arXiv 2018
[7]

Cree and J

S. Cree and J. Sorce,Approximate Petz recovery from the geometry of density opera- tors, Comm. Math. Phys. 392(3) 907-919 (2022)

work page 2022
[8]

Faulkner, S

T. Faulkner, S. Hollands, B. Swingle and Y. Wang,Approximate recovery and relative entropy I. general von Neumann subalgebras, Comm. Math. Phys. 389 349-397 (2022)

work page 2022
[9]

Faulkner and S

T. Faulkner and S. Hollands,Approximate recoverability and relative entropy II: 2- positive channels of general von Neumann algebras, Lett. Math. Phys. 112 26 (2022)

work page 2022
[10]

L. Gao, H. Li, I. Marvian and C. Rouz´ e,Sufficient statistic and recoverability via Quantum Fisher Information metrics, Comm. Math. Phys. 405:180 (2024)

work page 2024
[11]

Gao and M

L. Gao and M. M. Wilde,Recoverability for optimized quantum f -divergences, J. Phys. A. Math. Theor. 54(38) (2021)

work page 2021
[12]

F. Hiai, M. Mosonyi, D. Petz and C. B´ eny,Quantum f-divergences and error correc- tion, Rev. Math. Phys. 23, 691-747 (2011)

work page 2011
[13]

Jenˇ cov´ a,Preservation of a quantum R´ enyi relative entropy implies existence of a recovery map, J

A. Jenˇ cov´ a,Preservation of a quantum R´ enyi relative entropy implies existence of a recovery map, J. Phys. A: Math. Theor. 50(8), (2017)

work page 2017
[14]

Jenˇ cov´ a,R´ enyi relative entropies and noncommutativeL p-spaces, Ann

A. Jenˇ cov´ a,R´ enyi relative entropies and noncommutativeL p-spaces, Ann. Henri Poincar´ e, 19(8) 2513-2542 (2018)

work page 2018
[15]

Junge, R

M. Junge, R. Renner, D. Sutter, M. M. Wilde and A. Winter,Universal recovery from a decrease of quantum relative entropyAnn. Henri Poincar´ e 19 2955-78 (2018)

work page 2018
[16]

M¨ uller-Lennert, F

M. M¨ uller-Lennert, F. Dupuis, O. Szehr, S. Fehr and M. Tomamichel,On quantum R´ enyi entropies: a new generalization and some properties, J. Math. Phys. 54(12), 12203 (2013)

work page 2013
[17]

Nelson,Notes on non-commutative integration, J

E. Nelson,Notes on non-commutative integration, J. Funct. Anal. 15 (103-116) (1974)

work page 1974
[18]

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(1) 123–131 (1986)

work page 1986
[19]

K. P. Seshadreesan, M. Berta and M. M. Wilde,R´ enyi squashed entanglement, discord and relative entropy differences, J. Phys. A: Math. Theor. 48(39) (2015)

work page 2015
[20]

Uhlmann,The ”transition probability” in the state space of a∗-algebra, Rep

A. Uhlmann,The ”transition probability” in the state space of a∗-algebra, Rep. Math. Phys. 9(2) (1976)

work page 1976
[21]

Uhlmann,Fidelity and concurrence of conjugated states, Phys

A. Uhlmann,Fidelity and concurrence of conjugated states, Phys. Rev. A. 62(3) 032307 (2000)

work page 2000
[22]

M. M. Wilde,Recoverability in quantum information theory, Proc. R. Soc. A. 471: 201503338 (2015) Indian Statistical Institute, New Delhi 110016, India Email address:saptak21r@isid.ac.in

work page 2015