Symmetry and Topology of Successive Quantum Feedback Control
Pith reviewed 2026-05-21 23:13 UTC · model grok-4.3
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.
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
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.
Referee Report
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)
- [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.
- [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)
- [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.
- [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
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
-
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
-
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
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
axioms (2)
- standard math Completely positive trace-preserving maps are generated by Kraus operators satisfying the completeness relation.
- domain assumption Bare measurements correspond to positive Kraus operators in a non-adaptive sequence.
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1: ... the possible BL symmetry classes of E reduce to the ten-fold AZ† subclass listed in Table I.
-
IndisputableMonolith/Foundation/AlphaCoordinateFixation.leanJ_uniquely_calibrated_via_higher_derivative unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Lemma 1: The CPTP map of a bare measurement is contractive for Hilbert-Schmidt norm.
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
-
[1]
Perform the spin-flipping measurement { ˆMj,↑, ˆMj,↓}, and denote the outcome asm 1
-
[2]
Apply a feedback ˆUm1(τ) conditioned onm 1, given by a feedback Hamiltonian via Eq. (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]
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)
work page 2018
-
[5]
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]
-
[7]
N. Okuma and M. Sato, Non-hermitian topological phe- nomena: A review, Annual Review of Condensed Matter Physics14, 83–107 (2023)
work page 2023
-
[8]
E. J. Bergholtz, J. C. Budich, and F. K. Kunst, Ex- ceptional topology of non-hermitian systems, Reviews of Modern Physics93, 015005 (2021)
work page 2021
-
[9]
H. Shen, B. Zhen, and L. Fu, Topological band theory for non-hermitian hamiltonians, Phys. Rev. Lett.120, 146402 (2018)
work page 2018
-
[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)
work page 2018
- [11]
-
[12]
H. Zhou and J. Y. Lee, Periodic table for topological bands with non-hermitian symmetries, Phys. Rev. B99, 235112 (2019)
work page 2019
-
[13]
K. Sone, Y. Ashida, and T. Sagawa, Exceptional non- hermitian topological edge mode and its application to active matter, Nature Communications11, 5745 (2020)
work page 2020
- [14]
-
[15]
J. Liet al., Observation of parity-time symmetry break- ing transitions in a dissipative floquet system of ultracold atoms, Nat. Commun.10, 855 (2019)
work page 2019
-
[16]
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)
work page 2011
-
[17]
M. Ezawa, Non-hermitian boundary and interface states in nonreciprocal higher-order topological metals and elec- trical circuits, Phys. Rev. B99, 121411 (2019)
work page 2019
-
[18]
A. Murugan and S. Vaikuntanathan, Topologically pro- tected modes in non-equilibrium stochastic systems, Nat. Commun.8, 13881 (2017)
work page 2017
-
[19]
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]
-
[21]
D. Bernard and A. LeClair, A classification of non- hermitian random matrices, inStatistical Field Theories (Springer Netherlands, 2002) p. 207–214
work page 2002
-
[22]
M. Nakagawa and M. Ueda, Topology of discrete quantum feedback control, Physical Review X15, 10.1103/physrevx.15.021016 (2025)
-
[23]
H. M. Wiseman and G. J. Milburn,Quantum Measure- ment and Control(Cambridge University Press, 2009)
work page 2009
- [24]
- [25]
-
[26]
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)
work page 2013
-
[27]
H. M. Wiseman and G. J. Milburn, Quantum theory of optical feedback via homodyne detection, Phys. Rev. Lett.70, 548 (1993)
work page 1993
-
[28]
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)
work page 2009
- [29]
-
[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)
work page 2016
-
[31]
H. M. Wiseman, Squashed states of light: Theory and applications to quantum spectroscopy, Journal of Optics B: Quantum and Semiclassical Optics1, 459 (1999)
work page 1999
-
[32]
M. Tsang and C. M. Caves, Coherent quantum-noise can- cellation for optomechanical sensors, Phys. Rev. Lett. 105, 123601 (2010)
work page 2010
-
[33]
P. F. Cohadon, A. Heidmann, and M. Pinard, Cooling of a mirror by radiation pressure, Phys. Rev. Lett.83, 3174 (1999)
work page 1999
- [34]
-
[35]
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)
work page 2025
-
[36]
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]
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)
work page 2016
- [38]
-
[39]
A. of Google Quantum AI Collaboration, Real-time quantum error correction beyond break-even, Nature 618, 500 (2023)
work page 2023
-
[40]
C. Ahn, A. C. Doherty, and A. J. Landahl, Continuous quantum error correction via quantum feedback control, Phys. Rev. A65, 042301 (2002)
work page 2002
-
[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
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[43]
T. Sagawa and M. Ueda, Second law of thermodynamics with discrete quantum feedback control, Phys. Rev. Lett. 100, 080403 (2008)
work page 2008
-
[44]
K. Funo, Y. Watanabe, and M. Ueda, Integral quantum fluctuation theorems under measurement and feedback control, Phys. Rev. E88, 052121 (2013)
work page 2013
-
[45]
K. Ptaszy´ nski and M. Esposito, Thermodynamics of quantum information flows, Phys. Rev. Lett.122, 150603 (2019)
work page 2019
-
[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)
work page 2022
-
[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)
work page 2016
- [48]
-
[49]
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)
-
[50]
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)
work page 2018
-
[51]
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)
work page 2022
-
[52]
K. Jacobs, Simple formula for pooling knowledge about a quantum system, Physical Review A72, 10.1103/phys- reva.72.044101 (2005)
- [53]
-
[54]
T. Sagawa,Entropy, Divergence, and Majorization in Classical and Quantum Thermodynamics, SpringerBriefs in Mathematical Physics, Vol. 16 (Springer Singapore, Singapore, 2022)
work page 2022
-
[55]
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)
- [56]
-
[57]
G. Lindblad, On the generators of quantum dynamical semigroups, Communications in Mathematical Physics 48, 119 (1976)
work page 1976
-
[58]
K. Jacobs and D. A. Steck, A straightforward introduc- tion to continuous quantum measurement, Contempo- rary Physics47, 279–303 (2006). 7
work page 2006
-
[59]
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)
- [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)
work page 2009
-
[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)
work page 2010
- [63]
-
[64]
A. Jamio lkowski, Linear transformations which preserve trace and positive semidefiniteness of operators, Reports on Mathematical Physics3, 275 (1972)
work page 1972
-
[65]
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...
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.