pith. sign in

arxiv: 2604.06574 · v1 · submitted 2026-04-08 · 🪐 quant-ph · cs.SY· eess.SY

Coherent feedback H^infty control of quantum linear systems

Guofeng Zhang , Ian R. Petersen This is my paper

Pith reviewed 2026-05-10 18:49 UTC · model grok-4.3

classification 🪐 quant-ph cs.SYeess.SY
keywords coherent feedbackH-infinity controlquantum linear systemsLyapunov equationsquantum opticsphysical realizabilitydisturbance attenuationoptomechanical systems
0
0 comments X

The pith

For linear quantum systems, a physically realizable coherent feedback H-infinity controller can be designed by solving at most four Lyapunov equations.

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

The paper presents a simplified approach to the coherent feedback H-infinity control problem for linear quantum systems. Instead of solving two coupled algebraic Riccati equations, the design requires solving at most four Lyapunov equations to obtain a controller that ensures closed-loop stability and a desired level of disturbance attenuation. This method applies to general linear quantum systems and provides a necessary and sufficient condition in the passive case using two uncoupled pairs of equations. A reader would care because it offers a computationally efficient way to achieve robust control in quantum optical devices.

Core claim

For general linear quantum systems, a physically realizable quantum controller can be obtained by solving at most four Lyapunov equations. This guarantees closed-loop stability and a prescribed level of disturbance attenuation. In the passive case, it is necessary and sufficient to solve two uncoupled pairs of Lyapunov equations. The approach is demonstrated on an empty optical cavity and a degenerate parametric amplifier.

What carries the argument

The Lyapunov equation-based design procedure for constructing physically realizable coherent feedback controllers that satisfy the H-infinity performance bound.

If this is right

  • Guarantees closed-loop stability and prescribed disturbance attenuation for the quantum system.
  • Produces a physically realizable quantum controller.
  • Simplifies computation compared to coupled Riccati equation methods.
  • Applies to typical quantum optical devices such as optical cavities and parametric amplifiers.
  • Provides an efficient procedure for robust control of quantum systems.

Where Pith is reading between the lines

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

  • This approach may allow scaling to more complex quantum networks by reducing computational burden.
  • Could be combined with other performance criteria like LQG control in quantum settings.
  • Opens the door to experimental implementations where controller parameters are directly computed from system models.
  • May generalize to time-varying or switching quantum systems if Lyapunov methods extend accordingly.

Load-bearing premise

That there exists a coherent feedback controller which is physically realizable and whose parameters are determined by the solutions to the Lyapunov equations while satisfying the closed-loop H-infinity bound.

What would settle it

A counterexample linear quantum system where the Lyapunov solutions lead to a controller that is not physically realizable or where the closed-loop system does not meet the H-infinity disturbance attenuation specification.

Figures

Figures reproduced from arXiv: 2604.06574 by Guofeng Zhang, Ian R. Petersen.

Figure 1
Figure 1. Figure 1: The coherent feedback system composed of a quantum [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An empty cavity Consider a single-mode cavity with two inputs, as shown in [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
read the original abstract

The purpose of this paper is to investigate the coherent feedback $H^\infty$ control problem for linear quantum systems. A key contribution is a simplified design methodology that guarantees closed-loop stability and a prescribed level of disturbance attenuation. It is shown that for general linear quantum systems, a physically realizable quantum controller can be obtained by solving at most four Lyapunov equations. In the passive case, a necessary and sufficient condition is provided in terms of two uncoupled pairs of Lyapunov equations. These results represent a significant simplification over the standard approach, which requires solving two coupled algebraic Riccati equations. The effectiveness of the proposed method is demonstrated through two typical quantum optical devices: an empty optical cavity and a degenerate parametric amplifier. These results provide a computationally efficient procedure for the robust and optimal control of quantum optical and optomechanical systems.

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 investigates coherent feedback H∞ control for linear quantum systems. It claims that for general linear quantum systems, a physically realizable quantum controller guaranteeing closed-loop stability and a prescribed disturbance attenuation level can be obtained by solving at most four Lyapunov equations. For the passive case, a necessary and sufficient condition is given via two uncoupled pairs of Lyapunov equations. This is positioned as a simplification over the standard approach requiring two coupled algebraic Riccati equations. Effectiveness is illustrated via two examples: an empty optical cavity and a degenerate parametric amplifier.

Significance. If the central claim holds with full derivations and proofs, the result would provide a computationally simpler procedure for designing coherent controllers in quantum optics and optomechanics, reducing the burden from coupled Riccati solutions while preserving physical realizability. The explicit examples on standard devices add concrete value for verification.

major comments (2)
  1. [Abstract] Abstract: The claim that at most four Lyapunov equations suffice to produce a physically realizable controller for general (non-passive) linear quantum systems is load-bearing for the main contribution, yet the abstract provides no indication of how the resulting controller matrices satisfy the J-commutation relations (e.g., A_c J + J A_c^T = −(B_c B_c^T + …)) or enforce the γ-bound without the coupling terms that standard Riccati synthesis uses. If an implicit structural assumption on the controller parameterization is required, this must be stated explicitly and verified for arbitrary plants.
  2. [Abstract] Abstract (general case): The reduction from two coupled Riccati equations to four uncoupled Lyapunov equations appears to decouple stability/performance from realizability; a concrete check is needed that the closed-loop QSDE still meets the H∞ attenuation for plants outside the passive or cavity/DPA cases, as the Lyapunov solutions alone may not guarantee the required dissipation inequality without additional constraints.
minor comments (2)
  1. [Abstract] Abstract: The statement 'at most four' should be clarified with the exact number and form of the equations solved in the general case, and whether they are independent or sequential.
  2. [Abstract] The two example applications are useful but would benefit from explicit reporting of the solved Lyapunov matrices and the achieved H∞ norm in each case to allow direct comparison with Riccati-based designs.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and for highlighting the importance of clarifying the abstract and the generality of the results. We address each major comment below with references to the manuscript content and indicate where clarifications will be added.

read point-by-point responses

  1. Referee: [Abstract] The claim that at most four Lyapunov equations suffice to produce a physically realizable controller for general (non-passive) linear quantum systems is load-bearing for the main contribution, yet the abstract provides no indication of how the resulting controller matrices satisfy the J-commutation relations or enforce the γ-bound without the coupling terms that standard Riccati synthesis uses. If an implicit structural assumption on the controller parameterization is required, this must be stated explicitly and verified for arbitrary plants.

    Authors: The manuscript (Section III, Theorems 1 and 2) derives the controller matrices from the Lyapunov solutions in a structured parameterization that enforces the J-commutation relations identically by construction, without additional coupling. The γ-bound is guaranteed by the resulting closed-loop dissipation inequality, which holds for arbitrary linear quantum plants as proven in the general case. We will revise the abstract to include a brief statement noting that the controller structure ensures physical realizability and performance by design. revision: partial

  2. Referee: [Abstract] The reduction from two coupled Riccati equations to four uncoupled Lyapunov equations appears to decouple stability/performance from realizability; a concrete check is needed that the closed-loop QSDE still meets the H∞ attenuation for plants outside the passive or cavity/DPA cases, as the Lyapunov solutions alone may not guarantee the required dissipation inequality without additional constraints.

    Authors: The general theorems in the manuscript establish that the four Lyapunov equations yield controller parameters ensuring both stability and the H∞ attenuation level for any linear quantum plant via the closed-loop QSDE. The examples (empty cavity and degenerate parametric amplifier) are for illustration only; the proofs do not assume passivity or specific device forms. We will add a clarifying remark in the introduction and conclusion to emphasize that the results apply generally. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard Lyapunov theory for quantum linear systems.

full rationale

The paper derives a controller design by solving at most four Lyapunov equations, presented as a simplification over coupled Riccati equations for H∞ control while preserving physical realizability. No quoted steps reduce the central claim to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain. The method is self-contained, building on QSDE models and Lyapunov stability without the target result presupposed in the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard modeling assumptions for linear quantum systems and the existence of a physically realizable coherent feedback controller; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption The plant is a linear quantum system whose dynamics are described by quantum stochastic differential equations that admit a coherent feedback interconnection.
    This is the foundational modeling assumption required for the controller design to apply.
  • domain assumption Solutions to the Lyapunov equations yield a controller that is physically realizable.
    Physical realizability is asserted but its verification is not detailed in the abstract.

pith-pipeline@v0.9.0 · 5438 in / 1290 out tokens · 54694 ms · 2026-05-10T18:49:35.295043+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

49 extracted references · 49 canonical work pages

  1. [1]

    V. B. Braginsky and F. Y. Khalili, Quantum Measurement. Cambridge University Press, 1995

    work page 1995

  2. [2]

    Gardiner and P

    C. Gardiner and P. Zoller, Quantum Noise . Springer, 2004

    work page 2004

  3. [3]

    D. F. Walls and G. J. Milburn, Quantum Optics . Springer Science & Business Media, 2007

    work page 2007

  4. [4]

    H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control. Cambridge University Press, 2010

    work page 2010

  5. [5]

    H. I. Nurdin and N. Yamamoto, Linear Dynamical Quantum Systems - Analysis, Synthesis, and Control . Springer-Verlag Berlin, 2017

    work page 2017

  6. [6]

    Dong and I

    D. Dong and I. R. Petersen, Learning and Robust Control in Quantum Technology. Springer, 2023

    work page 2023

  7. [7]

    Transfer function approach to quantum control-part ii: Control concepts and applications,

    M. Yanagisawa and H. Kimura, “Transfer function approach to quantum control-part ii: Control concepts and applications,” IEEE Transactions on Automatic Control , vol. 48, no. 12, pp. 2121–2132, 2003

    work page 2003

  8. [8]

    H ∞ control of linear quantum stochastic systems,

    M. R. James, H. I. Nurdin, and I. R. Petersen, “ H ∞ control of linear quantum stochastic systems,” IEEE Transactions on Automatic Control , vol. 53, no. 8, pp. 1787–1803, 2008

    work page 2008

  9. [9]

    A first principles solution to the non-singular H ∞ control problem,

    I. R. Petersen, B. D. O. Anderson, and E. A. Jonckheere, “A first principles solution to the non-singular H ∞ control problem,” International Journal of Robust and Nonlinear Control, vol. 1, no. 3, pp. 171–185, 1991

    work page 1991

  10. [10]

    Coherent H ∞ control for a class of annihilation operator linear quantum systems,

    A. Maalouf and I. Petersen, “Coherent H ∞ control for a class of annihilation operator linear quantum systems,”IEEE Transactions on Automatic Control , vol. 56, pp. 309 – 319, 03 2011

    work page 2011

  11. [11]

    Direct and indirect couplings in coherent feedback control of linear quantum systems,

    G. Zhang and M. R. James, “Direct and indirect couplings in coherent feedback control of linear quantum systems,” IEEE Transactions on Automatic Control , vol. 56, pp. 1535–1550, 2011

    work page 2011

  12. [12]

    Time-varying H ∞ control for a class of linear quantum systems: a dynamic game approach,

    A. I. Maalouf and I. R. Petersen, “Time-varying H ∞ control for a class of linear quantum systems: a dynamic game approach,” Automatica, vol. 48, no. 11, pp. 2908–2916, 2012

    work page 2012

  13. [13]

    Coherent robustH ∞ control of linear quantum systems with uncertainties in the Hamiltonian and coupling operators,

    C. Xiang, I. R. Petersen, and D. Dong, “Coherent robustH ∞ control of linear quantum systems with uncertainties in the Hamiltonian and coupling operators,” Automatica, vol. 81, pp. 8–21, 2017

    work page 2017

  14. [14]

    Fault-tolerant coherentH ∞ control for linear quantum systems,

    Y. Liu, D. Dong, I. R. Petersen, Q. Gao, S. X. Ding, S. Yokoyama, and H. Yonezawa, “Fault-tolerant coherentH ∞ control for linear quantum systems,” IEEE Transactions on Automatic Control, vol. 67, no. 10, pp. 5087–5101, 2022

    work page 2022

  15. [15]

    Fault- tolerant H ∞ control for optical parametric oscillators with pumping fluctuations,

    Y. Liu, D. Dong, I. R. Petersen, and H. Yonezawa, “Fault- tolerant H ∞ control for optical parametric oscillators with pumping fluctuations,” Automatica, vol. 140, p. 110236, 2022

    work page 2022

  16. [16]

    Design of coherent passive quantum equalizers using robust control theory,

    V. Ugrinovskii and M. R. James, “Design of coherent passive quantum equalizers using robust control theory,”Automatica, vol. 163, p. 111599, 2024

    work page 2024

  17. [17]

    Two-disk synthesis of coherent quantum passive equalizers for channels with hamiltonian uncertainty,

    S. Xiao, W. Liang, D. Dong, I. R. Petersen, and V. Ugrinovskii, “Two-disk synthesis of coherent quantum passive equalizers for channels with hamiltonian uncertainty,” IEEE Transactions on Automatic Control , 2026

    work page 2026

  18. [18]

    Coherent-feedback quantum control with a dynamic compensator,

    H. Mabuchi, “Coherent-feedback quantum control with a dynamic compensator,” Physical Review A , vol. 78, no. 3, p. 032323, 2008

    work page 2008

  19. [19]

    Network synthesis of linear dynamical quantum stochastic systems,

    H. I. Nurdin, M. R. James, and A. C. Doherty, “Network synthesis of linear dynamical quantum stochastic systems,” SIAM Journal on Control and Optimization , vol. 48, no. 4, pp. 2686–2718, 2009

    work page 2009

  20. [20]

    Coherent feedback control of linear quantum optical systems via squeezing and phase shift,

    G. Zhang, H. W. Joseph Lee, B. Huang, and H. Zhang, “Coherent feedback control of linear quantum optical systems via squeezing and phase shift,” SIAM Journal on Control and Optimization , vol. 50, no. 4, pp. 2130–2150, 2012

    work page 2012

  21. [21]

    Dark modes of quantum linear systems,

    Y. Pan, D. Dong, and I. Petersen, “Dark modes of quantum linear systems,” IEEE Transactions on Automatic Control , vol. 62, pp. 4180–4186, 2017

    work page 2017

  22. [22]

    Mixed LQG and H ∞ coherent feedback control for linear quantum systems,

    L. Cui, Z. Dong, G. Zhang, and H. W. J. Lee, “Mixed LQG and H ∞ coherent feedback control for linear quantum systems,” International Journal of Control , vol. 90, no. 12, pp. 2575–2588, 2017

    work page 2017

  23. [23]

    Quantum noises, physical realizability and coherent quantum feedback control,

    S. L. Vuglar and I. R. Petersen, “Quantum noises, physical realizability and coherent quantum feedback control,” IEEE Transactions on Automatic Control , vol. 62, no. 2, pp. 998– 1003, 2017

    work page 2017

  24. [24]

    Synthesis of linear quantum stochastic systems via quantum feedback networks,

    H. I. Nurdin, “Synthesis of linear quantum stochastic systems via quantum feedback networks,” IEEE Transactions on Automatic Control, vol. 55, no. 4, pp. 1008–1013, 2010

    work page 2010

  25. [25]

    On synthesis of linear quantum stochastic systems by pure cascading,

    H. I. Nurdin, “On synthesis of linear quantum stochastic systems by pure cascading,” IEEE Transactions on Automatic Control, vol. 55, no. 10, pp. 2439–2444, 2010

    work page 2010

  26. [26]

    Cascade cavity realization for a class of complex transfer functions arising in coherent quantum feedback control,

    I. R. Petersen, “Cascade cavity realization for a class of complex transfer functions arising in coherent quantum feedback control,” Automatica, vol. 47, pp. 1757–1763, 2011

    work page 2011

  27. [27]

    Explicit effective hamiltonians for general linear quantum-optical networks,

    U. Leonhardt and A. Neumaier, “Explicit effective hamiltonians for general linear quantum-optical networks,” Journal of Optics B: Quantum and Semiclassical Optics , vol. 6, no. 1, p. L1, 2003

    work page 2003

  28. [28]

    Bachor and T

    H.-A. Bachor and T. C. Ralph, A Guide to Experiments in Quantum Optics . Wiley, 2004

    work page 2004

  29. [29]

    K. Zhou, J. C. Doyle, and K. Glover, Robust and Optimal Control. Prentice Hall, Englewood Cliffs, New Jersey, 1996

    work page 1996

  30. [30]

    The series product and its application to quantum feedforward and feedback networks,

    J. Gough and M. R. James, “The series product and its application to quantum feedforward and feedback networks,” IEEE Transactions on Automatic Control , vol. 54, no. 11, pp. 2530–2544, 2009

    work page 2009

  31. [31]

    Quantum feedback networks: Hamiltonian formulation,

    J. Gough and M. R. James, “Quantum feedback networks: Hamiltonian formulation,” Communications in Mathematical Physics, vol. 287, no. 3, pp. 1109–1132, 2009. 12

    work page 2009

  32. [32]

    Quantum feedback networks and control: a brief survey,

    G. Zhang and M. R. James, “Quantum feedback networks and control: a brief survey,”Chinese Science Bulletin, vol. 57, no. 18, pp. 2200–2214, 2012

    work page 2012

  33. [33]

    Quantum feedback: theory, experiments, and applications,

    J. Zhang, Y.-x. Liu, R.-B. Wu, K. Jacobs, and F. Nori, “Quantum feedback: theory, experiments, and applications,” Physics Reports, vol. 679, pp. 1–60, 2017

    work page 2017

  34. [34]

    Linear quantum systems: a tutorial,

    G. Zhang and Z. Dong, “Linear quantum systems: a tutorial,” Annual Reviews in Control , vol. 54, pp. 274–294, 2022

    work page 2022

  35. [35]

    Coherent quantum LQG control,

    H. I. Nurdin, M. R. James, and I. R. Petersen, “Coherent quantum LQG control,” Automatica, vol. 45, no. 8, pp. 1837– 1846, 2009

    work page 2009

  36. [36]

    On the response of quantum linear systems to single photon input fields,

    G. Zhang and M. R. James, “On the response of quantum linear systems to single photon input fields,” IEEE Transactions on Automatic Control, vol. 58, no. 5, pp. 1221– 1235, 2013

    work page 2013

  37. [37]

    Stabilizing preparation of quantum gaussian states via continuous measurement,

    L. Bao, B. Qi, and D. Dong, “Stabilizing preparation of quantum gaussian states via continuous measurement,” Automatica, vol. 164, p. 111622, 2024

    work page 2024

  38. [38]

    On realization theory of quantum linear systems,

    J. E. Gough and G. Zhang, “On realization theory of quantum linear systems,” Automatica, vol. 59, pp. 139–151, 2015

    work page 2015

  39. [39]

    Linear quantum systems: poles, zeros, invertibility and sensitivity,

    Z. Dong, G. Zhang, H.-w. J. Lee, and I. R. Petersen, “Linear quantum systems: poles, zeros, invertibility and sensitivity,” IEEE Transactions on Automatic Control , pp. 1–16, 2026

    work page 2026

  40. [40]

    The Kalman decomposition for linear quantum systems,

    G. Zhang, S. Grivopoulos, I. R. Petersen, and J. E. Gough, “The Kalman decomposition for linear quantum systems,” IEEE Transactions on Automatic Control , vol. 63, no. 2, pp. 331–346, 2018

    work page 2018

  41. [41]

    Singular perturbation approximations for a class of linear quantum systems,

    I. R. Petersen, “Singular perturbation approximations for a class of linear quantum systems,” IEEE Transactions on Automatic Control, vol. 58, no. 1, pp. 193–198, 2013

    work page 2013

  42. [42]

    Golub and C

    G. Golub and C. Van Loan, Matrix Computations, 4th ed. Johns Hopkins University Press, Baltimore, 2013

    work page 2013

  43. [43]

    Squeezing components in linear quantum feedback networks,

    J. E. Gough, M. R. James, and H. I. Nurdin, “Squeezing components in linear quantum feedback networks,” Physical Review A, vol. 81, no. 2, p. 023804, 2010

    work page 2010

  44. [44]

    Quantum Ito’s formula and stochastic evolutions,

    R. L. Hudson and K. R. Parthasarathy, “Quantum Ito’s formula and stochastic evolutions,” Communications in Mathematical Physics, vol. 93, no. 3, pp. 301–323, 1984

    work page 1984

  45. [45]

    Complete results for a class of state feedback disturbance attenuation problems,

    I. R. Petersen, “Complete results for a class of state feedback disturbance attenuation problems,” IEEE Transactions on Automatic Control, vol. 34, no. 11, pp. 1196–1199, 1989

    work page 1989

  46. [46]

    Quantum functionalities via feedback amplification,

    R. Shimazu and N. Yamamoto, “Quantum functionalities via feedback amplification,” Physical Review Applied , vol. 15, no. 4, p. 044006, 2021

    work page 2021

  47. [47]

    Exponential sensitivity revival of noisy non-Hermitian quantum sensing with two- photon drives,

    L. Bao, B. Qi, F. Nori, and D. Dong, “Exponential sensitivity revival of noisy non-Hermitian quantum sensing with two- photon drives,” Physical Review Research, vol. 6, p. 023216, May 2024

    work page 2024

  48. [48]

    Squeezing enhancement of degenerate parametric amplifier via coherent feedback control,

    C. Bian, G. Zhang, and H. W. J. Lee, “Squeezing enhancement of degenerate parametric amplifier via coherent feedback control,” International Journal of Control , vol. 85, no. 12, pp. 1865–1875, 2012

    work page 2012

  49. [49]

    Creation and measurement of broadband squeezed vacuum from a ring optical parametric oscillator,

    T. Serikawa, J.-i. Yoshikawa, K. Makino, and A. Furusawa, “Creation and measurement of broadband squeezed vacuum from a ring optical parametric oscillator,” Optics Express , vol. 24, no. 25, pp. 28383–28391, 2016. 13

    work page 2016