pith. sign in

arxiv: 2509.12637 · v3 · pith:2NLHG666new · submitted 2025-09-16 · ❄️ cond-mat.mes-hall · quant-ph

Symmetry and Topology of Successive Quantum Feedback Control

Pith reviewed 2026-05-21 23:13 UTC · model grok-4.3

classification ❄️ cond-mat.mes-hall quant-ph
keywords quantum feedback controlsymmetry classificationAZ classesCPTP mapstopological invariantsMaxwell's demonwinding numbersquantum control
0
0 comments X

The pith

Symmetry classification of successive quantum feedback control with bare measurements reduces to the ten AZ† classes

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

The paper establishes a symmetry classification for quantum feedback control processes. For successive non-adaptive bare measurements that use positive Kraus operators, the symmetries of the resulting CPTP maps collapse exactly to the ten AZ dagger classes. This fixes the possible topological invariants that can appear in the feedback maps. A sympathetic reader cares because the result supplies a concrete guide for building quantum control that remains stable under disorder and imperfect measurements.

Core claim

For successive feedback control with a non-adaptive sequence of bare measurements whose Kraus operators are positive, the symmetry classification of the associated CPTP maps collapses to the ten-fold AZ† classes. This determines the allowed topology. A chiral Maxwell's demon with Gaussian measurement errors is shown to realize quantized winding numbers, while a protocol with general non-bare measurements is constructed that lies outside the ten classes.

What carries the argument

Successive non-adaptive bare measurements with positive Kraus operators, which force the symmetry classification of the feedback CPTP maps to reduce to the ten AZ† classes and thereby fix their allowed topological invariants.

Load-bearing premise

The feedback sequence uses only non-adaptive bare measurements whose Kraus operators are positive.

What would settle it

Observation of a CPTP map arising from non-adaptive bare measurements that exhibits a symmetry class or topological invariant outside the ten AZ† classes would falsify the reduction claim.

Figures

Figures reproduced from arXiv: 2509.12637 by Junxuan Wen, Takahiro Sagawa, Zongping Gong.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic of successive feedback control with non [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Spectra of the CPTP maps of chiral Maxwell’s de [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. The PBC spectra of the CPTP maps of chiral [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. The dependence of PBC spectra against the Gaus [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
read the original abstract

We establish a symmetry classification for a general class of quantum feedback control. For successive feedback control with a non-adaptive sequence of bare measurements (i.e., with positive Kraus operators), we prove that the symmetry classification collapses to the ten-fold AZ$^\dagger$ classes, specifying the allowed topology of CPTP maps associated with feedback control. We demonstrate that a chiral Maxwell's demon with Gaussian measurement errors exhibits quantized winding numbers. Moreover, for general (non-bare) measurements, we explicitly construct a protocol that falls outside the ten-fold classification. These results broaden and clarify the principles in engineering topological aspects of quantum control robust against disorder and imperfections.

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.

Referee Report

2 major / 2 minor

Summary. The paper develops a symmetry classification for quantum feedback control. For successive non-adaptive feedback using bare measurements (positive Kraus operators), it proves that the symmetry classification of the associated CPTP maps collapses exactly to the ten AZ† classes, thereby determining the allowed topological invariants. An explicit example is given of a chiral Maxwell's demon with Gaussian measurement errors that realizes quantized winding numbers, while a protocol using general (non-bare) measurements is constructed that lies outside the ten classes.

Significance. If the central reduction to the AZ† classes holds, the result supplies a concrete symmetry principle for engineering topological features in open quantum control that remain robust against disorder and imperfections. The explicit construction outside the ten classes and the demonstration of quantized winding numbers under realistic Gaussian errors are concrete strengths that could guide experimental design of feedback protocols in mesoscopic systems.

major comments (2)
  1. [Main classification theorem] The central claim that the classification collapses to the ten AZ† classes for positive Kraus operators is load-bearing; the manuscript must supply the explicit theorem or derivation (likely in the section following the abstract) showing how positivity of the Kraus operators forces the anti-unitary symmetries to match the AZ† table rather than permitting additional classes.
  2. [Chiral Maxwell's demon example] § on the chiral Maxwell's demon: the assertion of quantized winding numbers under Gaussian measurement errors requires an explicit calculation or numerical check of the winding number (including error analysis) to confirm that quantization survives the non-ideal measurement; without this, the topological robustness claim remains unverified.
minor comments (2)
  1. [Introduction] Notation for CPTP maps and Kraus operators should be introduced with a short table or explicit definition early in the text to aid readability for readers outside the immediate subfield.
  2. [General measurements construction] The distinction between 'bare' and 'general' measurements is central; a brief paragraph contrasting the two cases with a simple two-qubit example would clarify the scope of the ten-class reduction.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive evaluation of our work and for the constructive major comments, which help clarify the presentation of our results. We address each point below and have prepared revisions to strengthen the manuscript.

read point-by-point responses
  1. Referee: [Main classification theorem] The central claim that the classification collapses to the ten AZ† classes for positive Kraus operators is load-bearing; the manuscript must supply the explicit theorem or derivation (likely in the section following the abstract) showing how positivity of the Kraus operators forces the anti-unitary symmetries to match the AZ† table rather than permitting additional classes.

    Authors: We agree that an explicit statement of the theorem will improve accessibility. The derivation appears in Section III, where we detail how positivity of the Kraus operators restricts anti-unitary symmetries to the AZ† table. In the revised manuscript we will add a dedicated theorem box immediately after the introduction, followed by a concise proof outline that isolates the steps at which positivity enforces the ten-class restriction. This will make the load-bearing argument self-contained without altering the original logic. revision: yes

  2. Referee: [Chiral Maxwell's demon example] § on the chiral Maxwell's demon: the assertion of quantized winding numbers under Gaussian measurement errors requires an explicit calculation or numerical check of the winding number (including error analysis) to confirm that quantization survives the non-ideal measurement; without this, the topological robustness claim remains unverified.

    Authors: The manuscript contains an analytical argument that symmetry protection preserves integer winding numbers for sufficiently small Gaussian errors. To provide the requested verification, we will add a numerical subsection (or appendix) that computes the winding number explicitly for a range of error variances, together with a quantitative error analysis demonstrating that quantization is maintained within the regime of realistic measurement imperfections. This addition will directly confirm the robustness claim. revision: yes

Circularity Check

0 steps flagged

No significant circularity: mathematical classification derived from symmetry properties of CPTP maps and Kraus operators

full rationale

The central result is a mathematical proof establishing that non-adaptive successive feedback control using bare measurements (positive Kraus operators) forces the symmetry classification of associated CPTP maps to collapse exactly onto the ten AZ† classes. This reduction is presented as following directly from the algebraic properties of the Kraus operators and the structure of the feedback maps, with an explicit contrasting construction provided for the general-measurement case that lies outside the ten classes. No equations or steps in the abstract or described results reduce a claimed prediction or first-principles result to a fitted parameter, self-referential definition, or load-bearing self-citation chain. The derivation remains self-contained against external symmetry benchmarks and does not rely on renaming known results or smuggling ansatzes via prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard properties of CPTP maps and Kraus operators together with the domain assumption that measurements are bare and non-adaptive; no free parameters or new invented entities are introduced in the abstract.

axioms (2)
  • standard math Completely positive trace-preserving maps are generated by Kraus operators satisfying the completeness relation.
    Standard background in quantum information theory invoked for the definition of feedback control maps.
  • domain assumption Bare measurements correspond to positive Kraus operators in a non-adaptive sequence.
    Explicitly stated in the abstract as the condition under which the symmetry classification collapses to the ten AZ† classes.

pith-pipeline@v0.9.0 · 5633 in / 1459 out tokens · 43670 ms · 2026-05-21T23:13:24.352451+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

64 extracted references · 64 canonical work pages · 1 internal anchor

  1. [1]

    Perform the spin-flipping measurement { ˆMj,↑, ˆMj,↓}, and denote the outcome asm 1

  2. [2]

    Apply a feedback ˆUm1(τ) conditioned onm 1, given by a feedback Hamiltonian via Eq. (3)

  3. [3]

    Perform the projective measurement with{|j, σ⟩}. The Kraus operators of the corresponding CPTP map E(ˆρ) =P m1,m2 ˆKm1,m2 ˆρˆK † m1,m2 are given by ˆKm1,m2 =|m 2⟩ ⟨m2| ˆUm1(τ)| m1⟩ ⟨m1|,(15) where m= (j,↑) and (j,↓) are defined form= (j,↓) and (j,↑), respectively. Collecting the non-zero blocks of the Bloch matrices defined in Eq.(4), we get Xtrunc(k) = ξ...

  4. [4]

    Z. Gong, Y. Ashida, K. Kawabata, K. Takasan, S. Hi- gashikawa, and M. Ueda, Topological phases of non- hermitian systems, Phys. Rev. X8, 031079 (2018)

  5. [5]

    Kawabata, K

    K. Kawabata, K. Shiozaki, M. Ueda, and M. Sato, Sym- metry and topology in non-hermitian physics, Physical Review X9, 10.1103/physrevx.9.041015 (2019)

  6. [6]

    Ashida, Z

    Y. Ashida, Z. Gong, and M. Ueda, Non-hermitian physics, Advances in Physics69, 249–435 (2020)

  7. [7]

    Okuma and M

    N. Okuma and M. Sato, Non-hermitian topological phe- nomena: A review, Annual Review of Condensed Matter Physics14, 83–107 (2023)

  8. [8]

    E. J. Bergholtz, J. C. Budich, and F. K. Kunst, Ex- ceptional topology of non-hermitian systems, Reviews of Modern Physics93, 015005 (2021)

  9. [9]

    H. Shen, B. Zhen, and L. Fu, Topological band theory for non-hermitian hamiltonians, Phys. Rev. Lett.120, 146402 (2018)

  10. [10]

    F. K. Kunst, E. Edvardsson, J. C. Budich, and E. J. Bergholtz, Biorthogonal bulk-boundary correspondence in non-hermitian systems, Phys. Rev. Lett.121, 026808 (2018)

  11. [11]

    Yao and Z

    S. Yao and Z. Wang, Edge states and topological invari- ants of non-hermitian systems, Physical Review Letters 121, 086803 (2018)

  12. [12]

    Zhou and J

    H. Zhou and J. Y. Lee, Periodic table for topological bands with non-hermitian symmetries, Phys. Rev. B99, 235112 (2019)

  13. [13]

    K. Sone, Y. Ashida, and T. Sagawa, Exceptional non- hermitian topological edge mode and its application to active matter, Nature Communications11, 5745 (2020)

  14. [14]

    Ashida, S

    Y. Ashida, S. Furukawa, and M. Ueda, Parity-time- symmetric quantum critical phenomena, Nat. Commun. 8, 15791 (2017)

  15. [15]

    Liet al., Observation of parity-time symmetry break- ing transitions in a dissipative floquet system of ultracold atoms, Nat

    J. Liet al., Observation of parity-time symmetry break- ing transitions in a dissipative floquet system of ultracold atoms, Nat. Commun.10, 855 (2019)

  16. [16]

    Schindler, A

    J. Schindler, A. Li, M. C. Zheng, F. M. Ellis, and T. Kot- tos, Experimental study of active lrc circuits with pt sym- metries, Phys. Rev. A84, 040101 (2011)

  17. [17]

    Ezawa, Non-hermitian boundary and interface states in nonreciprocal higher-order topological metals and elec- trical circuits, Phys

    M. Ezawa, Non-hermitian boundary and interface states in nonreciprocal higher-order topological metals and elec- trical circuits, Phys. Rev. B99, 121411 (2019)

  18. [18]

    Murugan and S

    A. Murugan and S. Vaikuntanathan, Topologically pro- tected modes in non-equilibrium stochastic systems, Nat. Commun.8, 13881 (2017)

  19. [19]

    Sawada, K

    T. Sawada, K. Sone, R. Hamazaki, Y. Ashida, and T. Sagawa, Role of topology in relaxation of one- dimensional stochastic processes, Physical Review Let- ters132, 10.1103/physrevlett.132.046602 (2024)

  20. [20]

    Sawada, K

    T. Sawada, K. Sone, K. Yokomizo, Y. Ashida, and T. Sagawa, Bulk-boundary correspondence in ergodic and nonergodic one-dimensional stochastic processes, arXiv preprint (2024), arXiv:2405.00458 [cond-mat.mes- hall]

  21. [21]

    Bernard and A

    D. Bernard and A. LeClair, A classification of non- hermitian random matrices, inStatistical Field Theories (Springer Netherlands, 2002) p. 207–214

  22. [22]

    Nakagawa and M

    M. Nakagawa and M. Ueda, Topology of discrete quantum feedback control, Physical Review X15, 10.1103/physrevx.15.021016 (2025)

  23. [23]

    H. M. Wiseman and G. J. Milburn,Quantum Measure- ment and Control(Cambridge University Press, 2009)

  24. [24]

    Sayrin, I

    C. Sayrin, I. Dotsenko, X. Zhou, B. Peaudecerf, T. Rybarczyk, S. Gleyzes, P. Rouchon, M. Mirrahimi, H. Amini, M. Brune, J.-M. Raimond, and S. Haroche, Real-time quantum feedback prepares and stabilizes pho- 6 ton number states, Nature477, 73 (2011)

  25. [25]

    Vijay, C

    R. Vijay, C. Macklin, D. H. Slichter, S. J. Weber, K. W. Murch, R. Naik, A. N. Korotkov, and I. Siddiqi, Stabi- lizing rabi oscillations in a superconducting qubit using quantum feedback, Nature490, 77 (2012)

  26. [26]

    Campagne-Ibarcq, E

    P. Campagne-Ibarcq, E. Flurin, N. Roch, D. Darson, P. Morfin, M. Mirrahimi, M. H. Devoret, F. Mallet, and B. Huard, Persistent control of a superconducting qubit by stroboscopic measurement feedback, Phys. Rev. X3, 021008 (2013)

  27. [27]

    H. M. Wiseman and G. J. Milburn, Quantum theory of optical feedback via homodyne detection, Phys. Rev. Lett.70, 548 (1993)

  28. [28]

    Dotsenko, M

    I. Dotsenko, M. Mirrahimi, M. Brune, S. Haroche, J.-M. Raimond, and P. Rouchon, Quantum feedback by dis- crete quantum nondemolition measurements: Towards on-demand generation of photon-number states, Phys. Rev. A80, 013805 (2009)

  29. [29]

    Pinard, P

    M. Pinard, P. F. Cohadon, T. Briant, and A. Heidmann, Full mechanical characterization of a cold damped mir- ror, Phys. Rev. A63, 013808 (2000)

  30. [30]

    K. C. Cox, G. P. Greve, J. M. Weiner, and J. K. Thomp- son, Deterministic squeezed states with collective mea- surements and feedback, Phys. Rev. Lett.116, 093602 (2016)

  31. [31]

    H. M. Wiseman, Squashed states of light: Theory and applications to quantum spectroscopy, Journal of Optics B: Quantum and Semiclassical Optics1, 459 (1999)

  32. [32]

    Tsang and C

    M. Tsang and C. M. Caves, Coherent quantum-noise can- cellation for optomechanical sensors, Phys. Rev. Lett. 105, 123601 (2010)

  33. [33]

    P. F. Cohadon, A. Heidmann, and M. Pinard, Cooling of a mirror by radiation pressure, Phys. Rev. Lett.83, 3174 (1999)

  34. [34]

    Poggio, C

    M. Poggio, C. L. Degen, H. J. Mamin, and D. Rugar, Feedback cooling of a cantilever’s fundamental mode be- low 5 mk, Phys. Rev. Lett.99, 017201 (2007)

  35. [35]

    Yada, P.-J

    T. Yada, P.-J. Stas, A. Suleymanzade, E. N. Knall, N. Yoshioka, T. Sagawa, and M. D. Lukin, Experimen- tally probing entropy reduction via iterative quantum in- formation transfer, Phys. Rev. X15, 031054 (2025)

  36. [36]

    Kumasaki, T

    K. Kumasaki, T. Yada, K. Funo, and T. Sagawa, Thermodynamic approach to quantum cooling limit of continuous gaussian feedback, arXiv preprint (2025), arXiv:2503.04270 [quant-ph]

  37. [37]

    N. Ofek, A. Petrenko, R. Heeres, P. Reinhold, Z. Leghtas, B. Vlastakis, Y. Liu, L. Frunzio, S. M. Girvin, L. Jiang, M. Mirrahimi, M. H. Devoret, and R. J. Schoelkopf, Ex- tending the lifetime of a quantum bit with error correc- tion in superconducting circuits, Nature536, 441 (2016)

  38. [38]

    Unden, P

    T. Unden, P. Balasubramanian, Z. Ning,et al., Repeated quantum error correction on a continuously protected logical qubit, Nature Communications7, 11526 (2016)

  39. [39]

    of Google Quantum AI Collaboration, Real-time quantum error correction beyond break-even, Nature 618, 500 (2023)

    A. of Google Quantum AI Collaboration, Real-time quantum error correction beyond break-even, Nature 618, 500 (2023)

  40. [40]

    C. Ahn, A. C. Doherty, and A. J. Landahl, Continuous quantum error correction via quantum feedback control, Phys. Rev. A65, 042301 (2002)

  41. [41]

    Optimal error tracking via quantum coding and continuous syndrome measurement

    R. van Handel and H. Mabuchi, Optimal error tracking via quantum coding and continuous syndrome measure- ment, arXiv preprint (2005), quant-ph/0511221

  42. [43]

    Sagawa and M

    T. Sagawa and M. Ueda, Second law of thermodynamics with discrete quantum feedback control, Phys. Rev. Lett. 100, 080403 (2008)

  43. [44]

    K. Funo, Y. Watanabe, and M. Ueda, Integral quantum fluctuation theorems under measurement and feedback control, Phys. Rev. E88, 052121 (2013)

  44. [45]

    Ptaszy´ nski and M

    K. Ptaszy´ nski and M. Esposito, Thermodynamics of quantum information flows, Phys. Rev. Lett.122, 150603 (2019)

  45. [46]

    T. Yada, N. Yoshioka, and T. Sagawa, Quantum fluc- tuation theorem under quantum jumps with continuous measurement and feedback, Phys. Rev. Lett.128, 170601 (2022)

  46. [47]

    P. A. Camati, J. P. S. Peterson, T. B. Batalh˜ ao, K. Mi- cadei, A. M. Souza, R. S. Sarthour, I. S. Oliveira, and R. M. Serra, Experimental rectification of entropy pro- duction by maxwell’s demon in a quantum system, Phys. Rev. Lett.117, 240502 (2016)

  47. [48]

    Cottet, S

    N. Cottet, S. Jezouin, L. Bretheau, P. Campagne-Ibarcq, Q. Ficheux, J. Anders, A. Auff` eves, R. Azouit, P. Rou- chon, and B. Huard, Observing a quantum maxwell de- mon at work, Proceedings of the National Academy of Sciences114, 7561 (2017)

  48. [49]

    Masuyama, K

    Y. Masuyama, K. Funo, Y. Murashita, A. Noguchi, S. Kono, Y. Tabuchi, R. Yamazaki, M. Ueda, and Y. Nakamura, Information-to-work conversion by maxwell’s demon in a superconducting circuit quan- tum electrodynamical system, Nature Communications 9, 10.1038/s41467-018-03686-y (2018)

  49. [50]

    Naghiloo, J

    M. Naghiloo, J. J. Alonso, A. Romito, E. Lutz, and K. W. Murch, Information gain and loss for a quantum maxwell’s demon, Phys. Rev. Lett.121, 030604 (2018)

  50. [51]

    Hern´ andez-G´ omez, S

    S. Hern´ andez-G´ omez, S. Gherardini, N. Staudenmaier, F. Poggiali, M. Campisi, A. Trombettoni, F. Cataliotti, P. Cappellaro, and N. Fabbri, Autonomous dissipative maxwell’s demon in a diamond spin qutrit, PRX Quan- tum3, 020329 (2022)

  51. [52]

    Schuch, M

    K. Jacobs, Simple formula for pooling knowledge about a quantum system, Physical Review A72, 10.1103/phys- reva.72.044101 (2005)

  52. [53]

    H. Barnum, Information-disturbance tradeoff in quantum measurement on the uniform ensemble and on the mutu- ally unbiased bases, arXiv preprint (2002), arXiv:quant- ph/0205155 [quant-ph]

  53. [54]

    Sagawa,Entropy, Divergence, and Majorization in Classical and Quantum Thermodynamics, SpringerBriefs in Mathematical Physics, Vol

    T. Sagawa,Entropy, Divergence, and Majorization in Classical and Quantum Thermodynamics, SpringerBriefs in Mathematical Physics, Vol. 16 (Springer Singapore, Singapore, 2022)

  54. [55]

    P´ erez-Garc´ ıa, M

    D. P´ erez-Garc´ ıa, M. M. Wolf, D. Petz, and M. B. Ruskai, Contractivity of positive and trace-preserving maps under lp norms, Journal of Mathematical Physics 47, 10.1063/1.2218675 (2006)

  55. [56]

    Gorini, A

    V. Gorini, A. Kossakowski, and E. C. G. Sudarshan, Completely positive dynamical semigroups of n-level sys- tems, Journal of Mathematical Physics17, 821 (1976)

  56. [57]

    Lindblad, On the generators of quantum dynamical semigroups, Communications in Mathematical Physics 48, 119 (1976)

    G. Lindblad, On the generators of quantum dynamical semigroups, Communications in Mathematical Physics 48, 119 (1976)

  57. [58]

    Jacobs and D

    K. Jacobs and D. A. Steck, A straightforward introduc- tion to continuous quantum measurement, Contempo- rary Physics47, 279–303 (2006). 7

  58. [59]

    Okuma, K

    N. Okuma, K. Kawabata, K. Shiozaki, and M. Sato, Topological origin of non-hermitian skin effects, Physi- cal Review Letters124, 10.1103/physrevlett.124.086801 (2020)

  59. [60]

    Zhang, Z

    K. Zhang, Z. Yang, and C. Fang, Correspondence be- tween winding numbers and skin modes in non-hermitian systems, Phys. Rev. Lett.125, 126402 (2020)

  60. [61]

    W. S. Bakr, J. I. Gillen, A. Peng, S. F¨ olling, and M. Greiner, A quantum gas microscope for detecting sin- gle atoms in a hubbard-regime optical lattice, Nature 462, 74 (2009)

  61. [62]

    J. F. Sherson, C. Weitenberg, M. Endres, M. Cheneau, I. Bloch, and S. Kuhr, Single-atom-resolved fluorescence imaging of an atomic mott insulator, Nature467, 68 (2010)

  62. [63]

    Endres, H

    M. Endres, H. Bernien, A. Keesling, H. Levine, E. R. Anschuetz, A. Krajenbrink, C. Senko, V. Vuleti´ c, M. Greiner, and M. D. Lukin, Atom-by-atom assembly of defect-free one-dimensional cold atom arrays, Science 354, 1024 (2016)

  63. [64]

    Jamio lkowski, Linear transformations which preserve trace and positive semidefiniteness of operators, Reports on Mathematical Physics3, 275 (1972)

    A. Jamio lkowski, Linear transformations which preserve trace and positive semidefiniteness of operators, Reports on Mathematical Physics3, 275 (1972)

  64. [65]

    ⇐” is trivial, so we focus on

    J. von Neumann,Mathematical Foundations of Quantum Mechanics: New Edition(Princeton University Press, Princeton, NJ, 2018) translated by Robert T. Beyer; Edited by Nicholas A. Wheeler. END MA TTER Proof of Lemma 1 LetEbe a CPTP map of a bare measurement on Hilbert spaceH. Since the inequality part of the lemma is well-known [51], here we only prove that f...