This thesis makes some theoretical contributions towards mixed quantum feedback network synthesis, quantum optical realization of classical linear stochastic systems and quantum feedback control designs. A mixed quantum-classical feedback network is an interconnected system consisting of a quantum system and a classical system connected by interfaces that convert quantum signals to classical signal (using homodyne detectors), and vice versa (using electro-optic modulators). In the area of mixed quantum-classical feedback networks, we present a network synthesis theory, which provides a natural framework for analysis and design for mixed linear systems. Physical realizability conditions are derived for linear stochastic differential equations to ensure that mixed systems can correspond to physical systems. The mixed network synthesis theory developed based on physical realizability conditions shows that how a classical of mixed quantum-classical systems described by linear stochastic differential equations can be built as a interconnection of linear quantum systems and linear classical systems using quantum optical devices as well as electrical and electric devices. However, an important practical problem for the implementation of mixed quantum-classical systems is the relatively slow speed of classical parts implemented with standard electrical and electronic devices, since a mixed system will not work correctly unless the electronic processing of classical devices is fast enough. Therefore, another interesting work is to show how classical linear stochastic systems build using electrical and electric devices can be physically implemented using quantum optical components. A complete procedure is proposed for a stable quantum linear stochastic system realizing a given stable classical linear stochastic system. The thesis explains how it may be possible to realize certain measurement feedback loops fully at the quantum level. In the area of quantum feedback control design, two numerical procedures based on extended linear matrix inequality (LMI) approach are proposed to design a coherent quantum controller in this thesis. The extended synthesis linear matrix inequalities are, in addition to new analysis tools, less conservative in comparison to the conventional counterparts since the optimization variables related to the system parameters in extended LMIs are independent of the symmetric Lyapunov matrix. These features may be useful in the optimal design of quantum optical networks. Time delays are frequently encountered in linear quantum feedback control systems such as long transmission lines between quantum plants and linear controllers, which may have an effect on the performance of closed-loop plant controller systems. Therefore, this thesis investigates the problem of linear quantum measurement-based feedback control systems subject to feedback-loop time delay described by linear stochastic differential equations. Several numerical procedures are proposed to design classical controllers that make quantum measurement-based feedback control systems with time delay stable and also guarantee that their desired control performance specifications are satisfied.
This thesis makes some theoretical contributions towards mixed quantum feedback network synthesis, quantum optical realization of classical linear stochastic systems and quantum feedback control designs. A mixed quantum-classical feedback network is an interconnected system consisting of a quantum system and a classical system connected by interfaces that convert quantum signals to classical signal (using homodyne detectors), and vice versa (using electro-optic modulators). In the area of mixed quantum-classical feedback networks, we present a network synthesis theory, which provides a natural framework for analysis and design for mixed linear systems. Physical realizability conditions are derived for linear stochastic differential equations to ensure that mixed systems can correspond to physical systems. The mixed network synthesis theory developed based on physical realizability conditions shows that how a classical of mixed quantum-classical systems described by linear stochastic differential equations can be built as a interconnection of linear quantum systems and linear classical systems using quantum optical devices as well as electrical and electric devices. However, an important practical problem for the implementation of mixed quantum-classical systems is the relatively slow speed of classical parts implemented with standard electrical and electronic devices, since a mixed system will not work correctly unless the electronic processing of classical devices is fast enough. Therefore, another interesting work is to show how classical linear stochastic systems build using electrical and electric devices can be physically implemented using quantum optical components. A complete procedure is proposed for a stable quantum linear stochastic system realizing a given stable classical linear stochastic system. The thesis explains how it may be possible to realize certain measurement feedback loops fully at the quantum level. In the area of quantum feedback control design, two numerical procedures based on extended linear matrix inequality (LMI) approach are proposed to design a coherent quantum controller in this thesis. The extended synthesis linear matrix inequalities are, in addition to new analysis tools, less conservative in comparison to the conventional counterparts since the optimization variables related to the system parameters in extended LMIs are independent of the symmetric Lyapunov matrix. These features may be useful in the optimal design of quantum optical networks. Time delays are frequently encountered in linear quantum feedback control systems such as long transmission lines between quantum plants and linear controllers, which may have an effect on the performance of closed-loop plant controller systems. Therefore, this thesis investigates the problem of linear quantum measurement-based feedback control systems subject to feedback-loop time delay described by linear stochastic differential equations. Several numerical procedures are proposed to design classical controllers that make quantum measurement-based feedback control systems with time delay stable and also guarantee that their desired control performance specifications are satisfied.
In the last decade, there has been a growing interest in the integration of photonic components into VLSI circuits that in the long term may drive the need for systematic mixed electronic-photonic circuit design methods. On the other hand, theoretical and experimental investigations of coherent-feedback quantum control, the feedback control of a quantum system with another quantum system, have led to the development of a network synthesis theory for linear quantum stochastic models that are commonly employed in (linear) quantum optics, modelling such devices as optical cavities and optical parametric amplifiers. This paper makes theoretical contributions towards connecting these two independent developments, and anticipates potential future interest in systematic design methods for mixed linear electronic-photonic circuits, by establishing a network synthesis theory for linear stochastic systems with mixed quantum and classical degrees of freedom. It is shown how a physically realizable mixed quantum-classical linear stochastic system can be realized as a circuit composed of a feedback interconnection of a fully quantum linear subsystem, that can be implemented by quantum optical devices, and a classical linear sub-system, that can be implemented with standard electrical and electronic devices, together with appropriate interfaces that convert quantum signals to classical signals, and vice-versa. Two feedback architectures are proposed, and a decomposition lemma is derived that shows the structure of linear transformations of bosonic quantum signals into classical signals.
A coherent quantum controller is itself a quantum system that is required to be physically realizable. Thus, additional non-linear and linear constraints must be imposed on the coefficients of a physically realizable quantum controller, which differs the quantum Linear Quadratic Gaussian (LQG) design from the standard LQG problem. The purpose of this paper is to propose one numerical procedure based on extended linear matrix inequality (LMI) approach and new physical realizability conditions proposed in [14] to design a coherent quantum controller. The extended synthesis linear matrix inequalities are, in addition to new analysis tools, less conservative in comparison to the conventional counterparts since the optimization variables related to the system parameters in extended LMIs are independent of the symmetric Lyapunov matrix. These features may be useful in the optimal design of quantum optical networks. For comparison, we apply our numerical procedure to the same example given in [9].
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 systems commonly arise in the area of quantum optics and related disciplines.Systems whose dynamics can be described or approximated by linear QSDEs include interconnections of optical cavities, beam-splitters, phase-shifters, optical parametric amplifiers, 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 implementation.However, the design of coherent quantum feedback controllers remains a major challenge.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 occurring in linear systems theory such as lossless bounded real systems and dual J-J unitary systems.
The purpose of this paper is to formulate and solve a synthesis problem for a class of linear quantum equations that may describe mixed quantum-classical systems. A general model and a standard model for mixed quantum-classical linear stochastic systems are proposed for our design processes and then we show how the former may be transformed into the latter, which can clearly present the internal structure of a mixed quantum-classical system. Physical realizability conditions are derived separately for the two models to ensure that they can correspond to physical systems. Furthermore, a network synthesis theory is developed for a mixed quantum-classical system of the standard form and an example is given to illustrate the theory. Index Terms — linear stochastic system, mixed quantum-classical linear stochastic system, quantum system, network synthesis theory, physical realizability condition. I.
Recent theoretical and experimental investigations of coherent feedback quantum control, the feedback control of a quantum system with another quantum system, has raised the important problem of how to synthesize a class of quantum systems, called the class of linear quantum stochastic systems, from basic quantum optical components and devices in a systematic way. The synthesis theory sought in this case can be naturally viewed as a quantum analogue of linear electrical network synthesis theory and as such has potential for applications beyond the realization of coherent quantum feedback controllers. In earlier work, Nurdinet al.have established that an arbitrary linear quantum stochastic system can be realized as a cascade connection of simpler one degree of freedom quantum harmonic oscillators, together with a direct interaction Hamiltonian which is bilinear in the canonical operators of the oscillators. However, from an experimental perspective and based on current methods and technologies, direct interaction Hamiltonians are challenging to implement for systems with more than just a few degrees of freedom. In order to facilitate more tractable physical realizations of these systems, this technical note develops a new synthesis algorithm for linear quantum stochastic systems that relies solely on field-mediated interactions, including in implementation of the direct interaction Hamiltonian. Explicit synthesis examples are provided to illustrate the realization of two degrees of freedom linear quantum stochastic systems using the new algorithm.
Quantum engineering has seen rapid growth in the past two decades. Physicists, mathematicians and engineers have been working in unison to control a number of diverse systems in the quantum regime. Quantum control involving feedback has become particularly topical, as using information gained from a system can lead to more stable operation of a control protocol. Quantum feedback can be split into two paradigms: measurement based feedback and coherent feedback. Although it is increasingly evident that retaining the coherence of the feedback signal provides an intrinsic advantage over measurement-based feedback, coherent feedback is still a new paradigm. In particular, there are a limited number of options for coherently estimating a state within a feedback loop. As a step towards better understanding and implementation of quantum feedback, this thesis reports on modelling, estimation and control of quantum systems. The first topic is physical realisability of a variety of quantum systems, especially finite level systems and their outgrowths. Bilinear quantum stochastic differential equations (QSDEs) have to be employed to characterise these systems, which is a significant complement to the previous work on linear QSDEs. In light of the fact that direct and indirect couplings play a vital role in quantum network and control, we also provide state-space models for different classes of coupled open quantum systems incorporating both bidirectional and directional interactions. The second topic is coherent observers and optimal filtering. It is well established that classically estimation using the Kalman filter can provide improved performance over direct feedback schemes, and similar demonstrations have been performed for measurement-based quantum feedback. In this thesis I present coherent observers, including least mean squares estimators, which are driven by the coherent output of a specified quantum plant and designed such that some subset of the observer and plant's expectation values converge in the asymptotic limit. Not only can estimators "observe" mean quantities of quantum plant, but also they can "estimate" quantum correlations such as entanglement. This is of much importance to coherent feedback design in the absence of measurement steps without loss of fidelity. Last but not least, several topics regarding stabilisation and control design of quantum systems are discussed in my thesis. To be specific, tools for quantum stability analysis (e.g. Lyapunov conditions) are provided. Both measurement-based feedback and coherent feedback control design are taken into account. A measurement-based optimal controller for opto-mechanical systems aimed at synchronising different mechanical modes is presented, which is application-oriented. Moreover, A general observer-based coherent feedback control framework is studied, and I demonstrate a pole-placement approach via coherent observers that can be applied to various scenarios.