Quantum Linear Systems Theory

Abstract

This paper surveys some recent results on the theory of quantum linear systems and presents them within a unified framework. Quantum linear systems are a class of systems whose dynamics, which are described by the laws of quantum mechanics, take the specific form of a set of linear quantum stochastic differential equations (QSDEs). Such sys- tems commonly arise in the area of quantum optics and related disciplines. Systems whose dynamics can be described or ap- proximated by linear QSDEs include interconnections of optical cavities, beam-spitters, phase-shifters, optical parametric am- plifiers, optical squeezers, and cavity quantum electrodynamic systems. With advances in quantum technology, the feedback control of such quantum systems is generating new challenges in the field of control theory. Potential applications of such quantum feedback control systems include quantum computing, quantum error correction, quantum communications, gravity wave detection, metrology, atom lasers, and superconducting quantum circuits. A recently emerging approach to the feedback control of quantum linear systems involves the use of a controller which itself is a quantum linear system. This approach to quantum feedback control, referred to as coherent quantum feedback control, has the advantage that it does not destroy quantum information, is fast, and has the potential for efficient imple- mentation. This paper discusses recent results concerning the synthesis of H-infinity optimal controllers for linear quantum systems in the coherent control case. An important issue which arises both in the modelling of linear quantum systems and in the synthesis of linear coherent quantum controllers is the issue of physical realizability. This issue relates to the property of whether a given set of QSDEs corresponds to a physical quantum system satisfying the laws of quantum mechanics. The paper will cover recent results relating the question of physical realizability to notions occuring in linear systems theory such as lossless bounded real systems and dual J-J unitary systems.