Ian R. Petersen

Daoyi Dong, Ian R. Petersen

This paper proposes a robust control method based on sliding mode design for two-level quantum systems with bounded uncertainties. An eigenstate of the two-level quantum system is identified as a sliding mode. The objective is to design a control law to steer the system's state into the sliding mode domain and then maintain it in that domain when bounded uncertainties exist in the system Hamiltonian. We propose a controller design method using the Lyapunov methodology and periodic projective measurements. In particular, we give conditions for designing such a control law, which can guarantee the desired robustness in the presence of the uncertainties. The sliding mode control method has potential applications to quantum information processing with uncertainties.

Ian R. Petersen

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-spitters, 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. 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.

Sen Kuang, Daoyi Dong, Ian R. Petersen

Rapid state control of quantum systems is significant in reducing the influence of relaxation or decoherence caused by the environment and enhancing the capability in dealing with uncertainties in the model and control process. Bang-bang Lyapunov control can speed up the control process, but cannot guarantee convergence to a target state. This paper proposes two classes of new Lyapunov control methods that can achieve rapidly convergent control for quantum states. One class is switching Lyapunov control where the control law is designed by switching between bang-bang Lyapunov control and standard Lyapunov control. The other class is approximate bang-bang Lyapunov control where we propose two special control functions which are continuously differentiable and yet have a bang-bang type property. Related stability results are given and a construction method for the degrees of freedom in the Lyapunov function is presented to guarantee rapid convergence to a target eigenstate being isolated in the invariant set. Several numerical examples demonstrate that the proposed methods can achieve improved performance for rapid state control of quantum systems.

Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with constructing an optimal controller in the coherent quantum Linear Quadratic Gaussian problem. A coherent quantum controller is itself a quantum system and is required to be physically realizable. The use of coherent control avoids the need for classical measurements, which inherently entail the loss of quantum information. Physical realizability corresponds to the equivalence of the controller to an open quantum harmonic oscillator and relates its state-space matrices to the Hamiltonian, coupling and scattering operators of the oscillator. The Hamiltonian parameterization of the controller is combined with Frechet differentiation of the LQG cost with respect to the state-space matrices to obtain equations for the optimal controller. A quasi-separation principle for the gain matrices of the quantum controller is established, and a Newton-like iterative scheme for numerical solution of the equations is outlined.

Ian R. Petersen, Valery Ugrinovskii, Matthew R. James

This paper considers the problem of robust stability for a class of uncertain quantum systems subject to unknown perturbations in the system Hamiltonian. Some general stability results are given for different classes of perturbations to the system Hamiltonian. Then, the special case of a nominal linear quantum system is considered with either quadratic or non-quadratic perturbations to the system Hamiltonian. In this case, robust stability conditions are given in terms of strict bounded real conditions.

Daoyi Dong, Ian R. Petersen, Herschel Rabitz

This paper presents a sampled-data approach for the robust control of a single qubit (quantum bit). The required robustness is defined using a sliding mode domain and the control law is designed offline and then utilized online with a single qubit having bounded uncertainties. Two classes of uncertainties are considered involving the system Hamiltonian and the coupling strength of the system-environment interaction. Four cases are analyzed in detail including without decoherence, with amplitude damping decoherence, phase damping decoherence and depolarizing decoherence. Sampling periods are specifically designed for these cases to guarantee the required robustness. Two sufficient conditions are presented for guiding the design of unitary control for the cases without decoherence and with amplitude damping decoherence. The proposed approach has potential applications in quantum error-correction and in constructing robust quantum gates.

Igor G. Vladimirov, Ian R. Petersen

The paper is concerned with a problem of coherent (measurement-free) filtering for physically realizable (PR) linear quantum plants. The state variables of such systems satisfy canonical commutation relations and are governed by linear quantum stochastic differential equations, dynamically equivalent to those of an open quantum harmonic oscillator. The problem is to design another PR quantum system, connected unilaterally to the output of the plant and playing the role of a quantum filter, so as to minimize a mean square discrepancy between the dynamic variables of the plant and the output of the filter. This coherent quantum filtering (CQF) formulation is a simplified feedback-free version of the coherent quantum LQG control problem which remains open despite recent studies. The CQF problem is transformed into a constrained covariance control problem which is treated by using the Frechet differentiation of an appropriate Lagrange function with respect to the matrices of the filter.

Ian R. Petersen

This paper considers the problem of constructing a direct coupling quantum observer for a closed linear quantum system. The proposed observer is shown to be able to estimate some but not all of the plant variables in a time averaged sense. A simple example and simulations are included to illustrate the properties of the observer.

Yuanlong Wang, Shota Yokoyama, Daoyi Dong et al.

Quantum detector tomography is a fundamental technique for calibrating quantum devices and performing quantum engineering tasks. In this paper, a novel quantum detector tomography method is proposed. First, a series of different probe states are used to generate measurement data. Then, using constrained linear regression estimation, a stage-1 estimation of the detector is obtained. Finally, the positive semidefinite requirement is added to guarantee a physical stage-2 estimation. This Two-stage Estimation (TSE) method has computational complexity $O(nd^2M)$, where $n$ is the number of $d$-dimensional detector matrices and $M$ is the number of different probe states. An error upper bound is established, and optimization on the coherent probe states is investigated. We perform simulation and a quantum optical experiment to testify the effectiveness of the TSE method.

Ian R. Petersen

This paper presents some physical interpretations of recent stability results on the feedback interconnection of negative imaginary systems. These interpretations involve spring mass damper systems coupled together by springs or RLC electrical networks coupled together via inductors or capacitors.

Chengdi Xiang, Ian R. Petersen, Daoyi Dong

This paper extends applications of the quantum small gain and Popov methods from existing results on robust stability to performance analysis results for a class of uncertain quantum systems. This class of systems involves a nominal linear quantum system and is subject to quadratic perturbations in the system Hamiltonian. Based on these two methods, coherent guaranteed cost controllers are designed for a given quantum system to achieve improved control performance. An illustrative example also shows that the quantum Popov approach can obtain less conservative results than the quantum small gain approach for the same uncertain quantum system.

Ian R. Petersen

This paper covers recent developments in the theory of negative imaginary systems and their application to the control of highly resonant flexible structures. The theory of negative imaginary systems arose out of a desire to unify a number of classical methods for the control of lightly damped structures with collocated force actuators and position sensors including positive position feedback and integral force feedback. The key result is a stability result which shows why these methods are guaranteed to yield robust closed loop stability in the face of unmodelled spillover dynamics. Related results to be presented connect the theory of negative imaginary systems to positive real systems theory and a negative imaginary lemma has been established which is analogous to the positive real lemma. The paper also presents recent controller synthesis results based on the theory of negative imaginary systems.

Shan Ma, Matthew J. Woolley, Ian R. Petersen et al.

We study the preparation of entangled pure Gaussian states via reservoir engineering. In particular, we consider a chain consisting of $(2\aleph+1)$ quantum harmonic oscillators where the central oscillator of the chain is coupled to a single reservoir. We then completely parametrize the class of $(2\aleph+1)$-mode pure Gaussian states that can be prepared by this type of quantum harmonic oscillator chain. This parametrization allows us to determine the steady-state entanglement properties of such quantum harmonic oscillator chains.

Igor G. Vladimirov, Ian R. Petersen

The paper is concerned with the coherent quantum Linear Quadratic Gaussian (CQLQG) control problem for time-varying quantum plants governed by linear quantum stochastic differential equations over a bounded time interval. A controller is sought among quantum linear systems satisfying physical realizability (PR) conditions. The latter describe the dynamic equivalence of the system to an open quantum harmonic oscillator and relate its state-space matrices to the free Hamiltonian, coupling and scattering operators of the oscillator. Using the Hamiltonian parameterization of PR controllers, the CQLQG problem is recast into an optimal control problem for a deterministic system governed by a differential Lyapunov equation. The state of this subsidiary system is the symmetric part of the quantum covariance matrix of the plant-controller state vector. The resulting covariance control problem is treated using dynamic programming and Pontryagin's minimum principle. The associated Hamilton-Jacobi-Bellman equation for the minimum cost function involves Frechet differentiation with respect to matrix-valued variables. The gain matrices of the CQLQG optimal controller are shown to satisfy a quasi-separation property as a weaker quantum counterpart of the filtering/control decomposition of classical LQG controllers.

Ian R. Petersen

This paper considers the use of singular perturbation approximations for a class of linear quantum systems arising in the area of linear quantum optics. The paper presents results on the physical realizability properties of the approximate system arising from singular perturbation model reduction.

Matthew R. James, Ian R. Petersen, Valery Ugrinovskii

This paper considers a Popov type approach to the problem of robust stability for a class of uncertain linear quantum systems subject to unknown perturbations in the system Hamiltonian. A general stability result is given for a general class of perturbations to the system Hamiltonian. Then, the special case of a nominal linear quantum system is considered with quadratic perturbations to the system Hamiltonian. In this case, a robust stability condition is given in terms of a frequency domain condition which is of the same form as the standard Popov stability condition.

Ian R. Petersen

This paper presents a method for approximating a class of complex transfer function matrices corresponding to physically realizable complex linear quantum systems. The class of linear quantum systems under consideration includes interconnections of passive optical components such as cavities, beam-splitters, phase-shifters and interferometers. This approximation method builds on a previous result for cascade realization and gives good approximations at low frequencies.

Shan Ma, Matthew J. Woolley, Ian R. Petersen et al.

This paper provides an alternative approach to the problem of preparing pure Gaussian states in a linear quantum system. It is shown that any pure Gaussian state can be generated by a cascade of one-dimensional open quantum harmonic oscillators, without any direct interaction Hamiltonians between these oscillators. This is physically advantageous from an experimental point of view. An example on the preparation of two-mode squeezed states is given to illustrate the theory.

Mohamed A. Mabrok, Abhijit G. Kallapur, Ian R. Petersen et al.

This paper is concerned with stability conditions for the positive feedback interconnection of negative imaginary systems. A generalization of the negative imaginary lemma is derived, which remains true even if the transfer function has poles on the imaginary axis including the origin. A sufficient condition for the internal stability of a feedback interconnection for NI systems including a pole at the origin is given and an illustrative example is presented to support the result.

Igor G. Vladimirov, Ian R. Petersen, Matthew R. James

This paper considers links between the original risk-sensitive performance criterion for quantum control systems and its recent quadratic-exponential counterpart. We discuss a connection between the minimization of these cost functionals and robustness with respect to uncertainty in system-environment quantum states whose deviation from a nominal state is described in terms of the quantum relative entropy. These relations are similar to those in minimax LQG control for classical systems. The results of the paper can be of use in providing a rational choice of the risk-sensitivity parameter in the context of robust quantum control with entropy theoretic quantification of statistical uncertainty in the system-field state.

Ian R. Petersen, Valery Ugrinovskii, Matthew R. James

This paper considers the problem of robust stability for a class of uncertain quantum systems subject to unknown perturbations in the system coupling operator. A general stability result is given for a class of perturbations to the system coupling operator. Then, the special case of a nominal linear quantum system is considered with non-linear perturbations to the system coupling operator. In this case, a robust stability condition is given in terms of a scaled strict bounded real condition.

Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with a dissipativity theory for dynamical systems governed by linear Ito stochastic differential equations driven by random noise with an uncertain drift. The deviation of the noise from a standard Wiener process in the nominal model is quantified by relative entropy. We discuss a dissipation inequality for the noise relative entropy supply. The problem of minimizing the supply required to drive the system between given Gaussian state distributions over a specified time horizon is considered. This problem, known in the literature as the Schroedinger bridge, was treated previously in the context of reciprocal processes. A closed-form smooth solution is obtained for a Hamilton-Jacobi equation for the minimum required relative entropy supply by using nonlinear algebraic techniques.

Arash Kh. Sichani, Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with open quantum systems whose dynamic variables satisfy canonical commutation relations and are governed by quantum stochastic differential equations. The latter are driven by quantum Wiener processes which represent external boson fields. The system-field coupling operators are linear functions of the system variables. The Hamiltonian consists of a nominal quadratic function of the system variables and an uncertain perturbation which is represented in a Weyl quantization form. Assuming that the nominal linear quantum system is stable, we develop sufficient conditions on the perturbation of the Hamiltonian which guarantee robust mean square stability of the perturbed system. Examples are given to illustrate these results for a class of Hamiltonian perturbations in the form of trigonometric polynomials of the system variables.

Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with linear stochastic control systems in state space. The integral of the squared norm of the system output over a bounded time interval is interpreted as energy. The cumulants of the output energy in the infinite-horizon limit are related to Schatten norms of the system in the Hardy space of transfer functions and the risk-sensitive performance index. We employ a novel performance criterion which seeks to minimize a combination of the average value and the variance of the output energy of the system per unit time. The resulting linear quadro-quartic Gaussian control problem involves the H2 and H4-norms of the closed-loop system. We obtain equations for the optimal controller and outline a homotopy method which reduces the solution of the problem to the numerical integration of a differential equation initialized by the standard linear quadratic Gaussian controller.

Shibdas Roy, Ian R. Petersen, Elanor H. Huntington

We study a coherent-classical estimation scheme for a class of linear quantum systems, where the estimator is a mixed quantum-classical system that may or may not involve coherent feedback. We show that when the quantum plant or the quantum part of the estimator (coherent controller) is an annihilation operator only system, coherent-classical estimation without coherent feedback can provide no improvement over purely-classical estimation. Otherwise, coherent-classical estimation without feedback can be better than classical-only estimation for certain homodyne detector angles, although the former is inferior to the latter for the best choice of homodyne detector angle. Moreover, we show that coherent-classical estimation with coherent feedback is no better than classical-only estimation, when both the plant and the coherent controller are annihilation operator only systems. Otherwise, coherent-classical estimation with coherent feedback can be superior to purely-classical estimation, and in this case, the former is better than the latter for the optimal choice of homodyne detector angle.

Ian R. Petersen

This paper applies recent results on the robust stability of nonlinear quantum systems to the case of a Josephson junction in a resonant cavity. The Josephson junction is characterized by a Hamiltonian operator which contains a non-quadratic term involving a cosine function. This leads to a sector bounded nonlinearity which enables the previously developed theory to be applied to this system in order to analyze its stability.

Ian R. Petersen

This paper considers the problem of constructing a direct coupled quantum observer network for a single qubit quantum system. The proposed observer consists of a network of quantum harmonic oscillators and it is shown that the observer network output converges to a consensus in a time averaged sense in which each component of the observer estimates a specified output of the quantum plant. An example and simulations are included.

Shan Ma, Matthew J. Woolley, Ian R. Petersen et al.

This paper presents two realizations of linear quantum systems for covariance assignment corresponding to pure Gaussian states. The first one is called a cascade realization; given any covariance matrix corresponding to a pure Gaussian state, we can construct a cascaded quantum system generating that state. The second one is called a locally dissipative realization; given a covariance matrix corresponding to a pure Gaussian state, if it satisfies certain conditions, we can construct a linear quantum system that has only local interactions with its environment and achieves the assigned covariance matrix. Both realizations are illustrated by examples from quantum optics.

Ian R. Petersen, Elanor H. Huntington

This paper considers the problem of constructing a direct coupling quantum observer for a quantum harmonic oscillator system. The proposed observer is shown to be able to estimate one but not both of the plant variables and produces a measureable output using homodyne detection.

Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with quantum harmonic oscillators consisting of a quantum plant and a directly coupled coherent quantum observer. We employ discounted quadratic performance criteria in the form of exponentially weighted time averages of second-order moments of the system variables. A coherent quantum filtering (CQF) problem is formulated as the minimization of the discounted mean square of an estimation error, with which the dynamic variables of the observer approximate those of the plant. The cost functional also involves a quadratic penalty on the plant-observer coupling matrix in order to mitigate the back-action of the observer on the covariance dynamics of the plant. For the discounted mean square optimal CQF problem with penalized back-action, we establish first-order necessary conditions of optimality in the form of algebraic matrix equations. By using the Hamiltonian structure of the Heisenberg dynamics and related Lie-algebraic techniques, we represent this set of equations in a more explicit form in the case of equally dimensioned plant and observer.

Igor G. Vladimirov, Ian R. Petersen

The paper is concerned with a dissipativity theory and robust performance analysis of discrete-time stochastic systems driven by a statistically uncertain random noise. The uncertainty is quantified by the conditional relative entropy of the actual probability law of the noise with respect to a nominal product measure corresponding to a white noise sequence. We discuss a balance equation, dissipation inequality and superadditivity property for the corresponding conditional relative entropy supply as a function of time. The problem of minimizing the supply required to drive the system between given state distributions over a specified time horizon is considered. Such variational problems, involving entropy and probabilistic boundary conditions, are known in the literature as Schroedinger bridge problems. In application to control systems, this minimum required conditional relative entropy supply characterizes the robustness of the system with respect to an uncertain noise. We obtain a dynamic programming Bellman equation for the minimum required conditional relative entropy supply and establish a Markov property of the worst-case noise with respect to the state of the system. For multivariable linear systems with a Gaussian white noise sequence as the nominal noise model and Gaussian initial and terminal state distributions, the minimum required supply is obtained using an algebraic Riccati equation which admits a closed-form solution. We propose a computable robustness index for such systems in the framework of an entropy theoretic formulation of uncertainty and provide an example to illustrate this approach.

Ian R. Petersen

This paper considers the problem of constructing a distributed direct coupling quantum observer for a closed linear quantum system. The proposed distributed observer consists of a network of quantum harmonic oscillators and it is shown that the distributed observer converges to a consensus in a time averaged sense in which each component of the observer estimates the specified output of the quantum plant. An example and simulations are included to illustrate the properties of the distributed observer.

Arash Kh. Sichani, Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with the Coherent Quantum Linear Quadratic Gaussian (CQLQG) control problem of finding a stabilizing measurement-free quantum controller for a quantum plant so as to minimize an infinite-horizon mean square performance index for the fully quantum closed-loop system. In comparison with the observation-actuation structure of classical controllers, the coherent quantum feedback is less invasive to the quantum dynamics and quantum information. Both the plant and the controller are open quantum systems whose dynamic variables satisfy the canonical commutation relations (CCRs) of a quantum harmonic oscillator and are governed by linear quantum stochastic differential equations (QSDEs). In order to correspond to such oscillators, these QSDEs must satisfy physical realizability (PR) conditions, which are organised as quadratic constraints on the controller matrices and reflect the preservation of CCRs in time. The CQLQG problem is a constrained optimization problem for the steady-state quantum covariance matrix of the plant-controller system satisfying an algebraic Lyapunov equation. We propose a gradient descent algorithm equipped with adaptive stepsize selection for the numerical solution of the problem. The algorithm finds a local minimum of the LQG cost over the parameters of the Hamiltonian and coupling operators of a stabilizing PR quantum controller, thus taking the PR constraints into account. A convergence analysis of the proposed algorithm is presented. A numerical example of a locally optimal CQLQG controller design is provided to demonstrate the algorithm performance.

Ian R. Petersen

This paper considers the problem of constructing a direct coupling quantum observer for a single qubit finite level quantum system plant. The proposed observer is a single mode linear quantum system which is shown to be able to estimate one of the plant variables in a time averaged sense. A numerical example and simulations are included to illustrate the properties of the observer.

Igor G. Vladimirov, Ian R. Petersen, Matthew R. James

This paper is concerned with the original risk-sensitive performance criterion for quantum stochastic systems and its recent quadratic-exponential counterpart. These functionals are of different structure because of the noncommutativity of quantum variables and have their own useful features such as tractability of evolution equations and robustness properties. We discuss a Lie algebraic connection between these two classes of cost functionals for open quantum harmonic oscillators using an apparatus of complex Hamiltonian kernels and symplectic factorizations. These results are aimed to extend useful properties from one of the classes of risk-sensitive costs to the other and develop state-space equations for computation and optimization of these criteria in quantum robust control and filtering problems.

Igor G. Vladimirov, Ian R. Petersen

This paper extends the energy-based version of the stochastic linearization method, known for classical nonlinear systems, to open quantum systems with canonically commuting dynamic variables governed by quantum stochastic differential equations with non-quadratic Hamiltonians. The linearization proceeds by approximating the actual Hamiltonian of the quantum system by a quadratic function of its observables which corresponds to the Hamiltonian of a quantum harmonic oscillator. This approximation is carried out in a mean square optimal sense with respect to a Gaussian reference quantum state and leads to a self-consistent linearization procedure where the mean vector and quantum covariance matrix of the system observables evolve in time according to the effective linear dynamics. We demonstrate the proposed Hamiltonian-based Gaussian linearization for the quantum Duffing oscillator whose Hamiltonian is a quadro-quartic polynomial of the momentum and position operators. The results of the paper are applicable to the design of suboptimal controllers and filters for nonlinear quantum systems.

Shibdas Roy, Ian R. Petersen, Elanor H. Huntington

We consider a coherent-classical estimation scheme for a class of linear quantum systems. It comprises an estimator that is a mixed quantum-classical system without involving coherent feedback. The estimator yields a classical estimate of a variable for the quantum plant. We demonstrate that for a passive plant that can be characterized by annihilation operators only, such coherent-classical estimation provides no improvement over purely-classical estimation. An example is also given which shows that if the plant is not assumed to be an annihilation operator only quantum system, it is possible to get better estimates with such coherent-classical estimation compared with purely-classical estimation.

Shibdas Roy, Ian R. Petersen, Elanor H. Huntington

Recently, it has been demonstrated experimentally that adaptive estimation of a continuously varying optical phase provides superior accuracy in the phase estimate compared to static estimation. Here, we show that the mean-square error in the adaptive phase estimate may be further reduced for the stochastic noise process considered by using an optimal Kalman filter in the feedback loop. Further, the estimation process can be made robust to fluctuations in the underlying parameters of the noise process modulating the system phase to be estimated. This has been done using a guaranteed cost robust filter.

Hongsheng Qi, Biqiang Mu, Ian R. Petersen et al.

In this paper, we study dynamical quantum networks which evolve according to Schrödinger equations but subject to sequential local or global quantum measurements. A network of qubits forms a composite quantum system whose state undergoes unitary evolution in between periodic measurements, leading to hybrid quantum dynamics with random jumps at discrete time instances along a continuous orbit. The measurements either act on the entire network of qubits, or only a subset of qubits. First of all, we reveal that this type of hybrid quantum dynamics induces probabilistic Boolean recursions representing the measurement outcomes. With global measurements, it is shown that such resulting Boolean recursions define Markov chains whose state-transitions are fully determined by the network Hamiltonian and the measurement observables. Particularly, we establish an explicit and algebraic representation of the underlying recursive random mapping driving such induced Markov chains. Next, with local measurements, the resulting probabilistic Boolean dynamics is shown to be no longer Markovian. The state transition probability at any given time becomes dependent on the entire history of the sample path, for which we establish a recursive way of computing such non-Markovian probability transitions. Finally, we adopt the classical bilinear control model for the continuous Schrödinger evolution, and show how the measurements affect the controllability of the quantum networks.

Shibdas Roy, Ian R. Petersen

We consider classical estimators for a class of physically realizable linear quantum systems. Optimal estimation using a complex Kalman filter for this problem has been previously explored. Here, we study robust $H_\infty$ estimation for uncertain linear quantum systems. The estimation problem is solved by converting it to a suitably scaled $H_\infty$ control problem. The solution is obtained in the form of two algebraic Riccati equations. Relevant examples involving dynamic squeezers are presented to illustrate the efficacy of our method.

Ian R. Petersen, Elanor H. Huntington

This paper extends previous results on constructing a direct coupling quantum observer for a quantum harmonic oscillator system. In this case, we consider a complex linear quantum system plant consisting of a network of quantum harmonic oscillators. Conditions are given for which there exists a direct coupling observer which estimates a collection of variables in the quantum plant. It is shown that the order of the observer can be the same as the number of variables to be estimated when this number is even and thus this is a reduced order observer.

Igor G. Vladimirov, Ian R. Petersen

This paper is concerned with a stochastic dissipativity theory using quadratic-exponential storage functions for open quantum systems with canonically commuting dynamic variables governed by quantum stochastic differential equations. The system is linearly coupled to external boson fields and has a quadratic Hamiltonian which is perturbed by nonquadratic functions of linear combinations of system variables. Such perturbations are similar to those in the classical Lur'e systems and make the quantum dynamics nonlinear. We study their effect on the quantum expectation of the exponential of a positive definite quadratic form of the system variables. This allows conditions to be established for the risk-sensitive stochastic storage function of the quantum system to remain bounded, thus securing boundedness for the moments of system variables of arbitrary order. These results employ a noncommutative analogue of the Doleans-Dade exponential and a multivariate partial differential version of the Gronwall-Bellman lemma.

Ian R. Petersen

This paper considers the problem of robust stability for a class of uncertain nonlinear quantum systems subject to unknown perturbations in the system Hamiltonian. The case of a nominal linear quantum system is considered with non-quadratic perturbations to the system Hamiltonian. The paper extends recent results on the robust stability of nonlinear quantum systems to allow for non-quadratic perturbations to the Hamiltonian which depend on multiple parameters. A robust stability condition is given in terms of a strict bounded real condition. This result is then applied to the robust stability analysis of a nonlinear quantum system which is a model of an optical parametric amplifier.

Shibdas Roy, Ian R. Petersen, Elanor H. Huntington

Adaptive homodyne estimation of a continuously evolving optical phase using time-symmetric quantum smoothing has been demonstrated experimentally to provide superior accuracy in the phase estimate compared to adaptive or nonadaptive estimation using filtering alone. Here, we illustrate how the mean-square error in the adaptive phase estimate may be further reduced below the standard quantum limit for the stochastic noise process considered by using a Rauch-Tung-Striebel smoother as the estimator, alongwith an optimal Kalman filter in the feedback loop. Further, the estimation using smoothing can be made robust to uncertainties in the underlying parameters of the noise process modulating the system phase to be estimated. This has been done using a robust fixed-interval smoother designed for uncertain systems satisfying a certain integral quadratic constraint.

Shibdas Roy, Ian R. Petersen, Elanor H. Huntington

Optimal phase estimation of a phase-squeezed quantum state of light has been recently shown to beat the coherent-state limit. Here, the estimation is made robust to uncertainties in underlying parameters using a robust fixed-interval smoother.

Obaid Ur Rehman, Ian R. Petersen, Barış Fidan

In this paper, a robust nonlinear control scheme is proposed for a nonlinear multi-input multi-output (MIMO) system subject to bounded time varying uncertainty which satisfies a certain integral quadratic constraint condition. The scheme develops a robust feedback linarization approach which uses standard feedback linearization approach to linearize the nominal nonlinear dynamics of the uncertain nonlinear system and linearizes the nonlinear time varying uncertainties at an arbitrary point using the mean value theorem. This approach transforms uncertain nonlinear MIMO systems into an equivalent MIMO linear uncertain system model with unstructured uncertainty. Finally, a robust minimax linear quadratic Gaussian (LQG) control design is proposed for the linearized model. The scheme guarantees the internal stability of the closed loop system and provides robust performance. In order to illustrate the effectiveness of this approach, the proposed method is applied to a tracking control problem for an air-breathing hypersonic flight vehicle (AHFV).

Igor G. Vladimirov, Ian R. Petersen

The paper is concerned with open quantum systems whose Heisenberg dynamics are described by quantum stochastic differential equations driven by external boson fields. The system-field coupling operators are assumed to be quadratic polynomials of the system observables, with the latter satisfying canonical commutation relations. In combination with a cubic system Hamiltonian, this leads to a class of quasilinear quantum stochastic systems which retain algebraic closedness in the evolution of mixed moments of the observables. Although such a system is nonlinear and its quantum state is no longer Gaussian, the dynamics of the moments of any order are amenable to exact analysis, including the computation of their steady-state values. In particular, a generalized criterion is developed for quadratic stability of the quasilinear systems. The results of the paper are applicable to the generation of non-Gaussian quantum states with manageable moments and an optimal design of linear quantum controllers for quasilinear quantum plants.

Hua Ouyang, Ian R. Petersen, Valery Ugrinovskii

This paper studies the Lagrange stabilization of a class of nonlinear systems whose linear part has a singular system matrix and which have multiple periodic (in state) nonlinearities. Both state and output feedback Lagrange stabilization problems are considered. The paper develops a pseudo H-infinity control theory to solve these stabilization problems. In a similar fashion to the Strict Bounded Real Lemma in classic H-infinity control theory, a Pseudo Strict Bounded Real Lemma is established for systems with a single unstable pole. Sufficient conditions for the synthesis of state feedback and output feedback controllers are given to ensure that the closed-loop system is pseudo strict bounded real. The pseudo H-infinity control approach is applied to solve state feedback and output feedback Lagrange stabilization problems for nonlinear systems with multiple nonlinearities. An example is given to illustrate the proposed method.

Arash Kh. Sichani, Ian R. Petersen, Igor G. Vladimirov

This paper is concerned with application of the classical Youla-Kučera parameterization to finding a set of linear coherent quantum controllers that stabilize a linear quantum plant. The plant and controller are assumed to represent open quantum harmonic oscillators modelled by linear quantum stochastic differential equations. The interconnections between the plant and the controller are assumed to be established through quantum bosonic fields. In this framework, conditions for the stabilization of a given linear quantum plant via linear coherent quantum feedback are addressed using a stable factorization approach. The class of stabilizing quantum controllers is parameterized in the frequency domain. Also, this approach is used in order to formulate coherent quantum weighted $H_2$ and $H_\infty$ control problems for linear quantum systems in the frequency domain. Finally, a projected gradient descent scheme is proposed to solve the coherent quantum weighted $H_2$ control problem.

Ian R. Petersen, Matthew R. James, Valery Ugrinovskii et al.

We present a systems theory approach to the proof of a result bounding the required level of added quantum noise in a phase-insensitive quantum amplifier. We also present a synthesis procedure for constructing a quantum optical phase-insensitive quantum amplifier which adds the minimum level of quantum noise and achieves a required gain and bandwidth. This synthesis procedure is based on a singularly perturbed quantum system and leads to an amplifier involving two squeezers and two beamsplitters.