Source author record

Ian R. Petersen

Ian R. Petersen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

108works
13topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

108 published item(s)

preprint2022arXiv

Covariance-analytic performance criteria, Hardy-Schatten norms and Wick-like ordering of cascaded systems

This paper is concerned with linear stochastic systems whose output is a stationary Gaussian random process related by an integral operator to a standard Wiener process at the input. We consider a performance criterion which involves the trace of an analytic function of the spectral density of the output process. This class of "covariance-analytic" cost functionals includes the usual mean square and risk-sensitive criteria as particular cases. Due to the presence of the "cost-shaping" analytic function, the performance criterion is related to higher-order Hardy-Schatten norms of the system transfer function. These norms have links with the asymptotic properties of cumulants of finite-horizon quadratic functionals of the system output and satisfy variational inequalities pertaining to system robustness to statistically uncertain inputs. In the case of strictly proper finite-dimensional systems, governed in state space by linear stochastic differential equations, we develop a method for recursively computing the Hardy-Schatten norms through a recently proposed technique of rearranging cascaded linear systems, which resembles the Wick ordering of annihilation and creation operators in quantum mechanics. The resulting computational procedure involves a recurrence sequence of solutions to algebraic Lyapunov equations and represents the covariance-analytic cost as the squared $\mathcal{H}_2$-norm of an auxiliary cascaded system. These results are also compared with an alternative approach which uses higher-order derivatives of stabilising solutions of parameter-dependent algebraic Riccati equations.

preprint2022arXiv

Decoherence quantification through commutation relations decay for open quantum harmonic oscillators

This paper is concerned with multimode open quantum harmonic oscillators (OQHOs), described by linear quantum stochastic differential equations with multichannel external bosonic fields. We consider the exponentially fast decay in the two-point commutator matrix of the system variables as a manifestation of quantum decoherence. Such dissipative effects are caused by the interaction of the system with its environment and lead to a loss of specific features of the unitary evolution which the system would have in the case of isolated dynamics. These features are exploited as nonclassical resources in quantum computation and quantum information processing technologies. A system-theoretic definition of decoherence time in terms of the commutator matrix decay is discussed, and an upper bound for it is provided using algebraic Lyapunov inequalities. Employing spectrum perturbation techniques, we investigate the asymptotic behaviour of a related Lyapunov exponent for the oscillator when the system-field coupling is specified by a small coupling strength parameter and a given coupling shape matrix. The invariant quantum state of the system, driven by vacuum fields, in the weak-coupling limit is also studied. We illustrate the results for one- and two-mode oscillators with multichannel external fields and outline their application to a decoherence control problem for a feedback interconnection of OQHOs.

preprint2022arXiv

Global convergence and asymptotic optimality of the heavy ball method for a class of non-convex optimization problems

In this letter we revisit the famous heavy ball method and study its global convergence for a class of non-convex problems with sector-bounded gradient. We characterize the parameters that render the method globally convergent and yield the best $R$-convergence factor. We show that for this family of functions, this convergence factor is superior to the factor obtained from the triple momentum method.

preprint2022arXiv

Infinite-horizon risk-sensitive performance criteria for translation invariant networks of linear quantum stochastic systems

This paper is concerned with networks of identical linear quantum stochastic systems which interact with each other and external bosonic fields in a translation invariant fashion. The systems are associated with sites of a multidimensional lattice and are governed by coupled linear quantum stochastic differential equations (QSDEs). The block Toeplitz coefficients of these QSDEs are specified by the energy and coupling matrices which quantify the Hamiltonian and coupling operators for the component systems. We discuss the invariant Gaussian quantum state of the network when it satisfies a stability condition and is driven by statistically independent vacuum fields. A quadratic-exponential functional (QEF) is considered as a risk-sensitive performance criterion for a finite fragment of the network over a bounded time interval. This functional involves a quadratic function of dynamic variables of the component systems with a block Toeplitz weighting matrix. Assuming the invariant state, we study the spatio-temporal asymptotic rate of the QEF per unit time and per lattice site in the thermodynamic limit of unboundedly growing time horizons and fragments of the lattice. A spatio-temporal frequency-domain formula is obtained for the QEF rate in terms of two spectral functions associated with the real and imaginary parts of the invariant quantum covariance kernel of the network variables. A homotopy method and asymptotic expansions for evaluating the QEF rate are also discussed.

preprint2022arXiv

Making Nonlinear Systems Negative Imaginary via State Feedback

This paper provides a state feedback stabilization approach for nonlinear systems of relative degree less than or equal to two by rendering them nonlinear negative imaginary (NI) systems. Conditions are provided under which a nonlinear system can be made a nonlinear NI system or a nonlinear output strictly negative imaginary (OSNI) system. Roughly speaking, an affine nonlinear system that has a normal form with relative degree less than or equal to two, after possible output transformation, can be rendered nonlinear NI and nonlinear OSNI. In addition, if the internal dynamics of the normal form are input-to-state stable, then there exists a state feedback input that stabilizes the system. This stabilization result is then extended to achieve stability for systems with a nonlinear NI uncertainty.

preprint2022arXiv

Negative Imaginary State Feedback Equivalence for a Class of Nonlinear Systems

In this paper, we investigate the necessary and sufficient conditions under which a class of nonlinear systems are state feedback equivalent to nonlinear negative imaginary (NI) systems with positive definite storage functions. The nonlinear systems of interest have a normal form of relative degree less than or equal to two. The nonlinearity of the system is restricted with respect to a subset of the state variables, which are the state variables that have external dynamics. Under mild assumptions, such systems are state feedback equivalent to nonlinear NI systems and nonlinear output strictly negative imaginary (OSNI) systems if and only if they are weakly minimum phase. Such a state feedback control approach can also asymptotically stabilize the systems in question against nonlinear OSNI system uncertainties. A numerical example is provided to show the process of the state feedback equivalence control and stabilization of uncertain systems.

preprint2022arXiv

Negative Imaginary Systems Theory for Nonlinear Systems: A Dissipativity Approach

Negative imaginary (NI) systems theory is a well-established system theoretic framework for analysis and design of linear-time-invariant (LTI) control systems. In this paper, we aim to generalize negative imaginary systems theory to a class of nonlinear systems. Based on the time domain interpretation of the NI property for LTI systems, a formal definition in terms of a dissipativity with an appropriate work rate will be used to define the nonlinear negative imaginary (NNI) property for a general nonlinear system. Mechanical systems with force actuators and position sensors are nonlinear negative imaginary according to this new definition. Using Lyapunov stability theory, we seek to establish a nonlinear generalization of the NI robust stability result for positive feedback interconnections of NNI systems. An example of a nonlinear mass-spring-damper system with force as input and displacement of the mass as output will be presented to illustrate the applicability of the NNI stability result. Furthermore, the case of NI systems with free motion will be investigated in the nonlinear domain based on the dissipativity framework of NNI systems.

preprint2022arXiv

Robust Fuzzy Q-Learning-Based Strictly Negative Imaginary Tracking Controllers for the Uncertain Quadrotor Systems

Quadrotors are one of the popular unmanned aerial vehicles (UAVs) due to their versatility and simple design. However, the tuning of gains for quadrotor flight controllers can be laborious, and accurately stable control of trajectories can be difficult to maintain under exogenous disturbances and uncertain system parameters. This paper introduces a novel robust and adaptive control synthesis methodology for a quadrotor robot's attitude and altitude stabilization. The developed method is based on the fuzzy reinforcement learning and Strictly Negative Imaginary (SNI) property. The first stage of our control approach is to transform a nonlinear quadrotor system into an equivalent Negative-Imaginary (NI) linear model by means of the feedback linearization (FL) technique. The second phase is to design a control scheme that adapts online the Strictly Negative Imaginary (SNI) controller gains via fuzzy Q-learning, inspired by biological learning. The proposed controller does not require any prior training. The performance of the designed controller is compared with that of a fixed-gain SNI controller, a fuzzy-SNI controller, and a conventional PID controller in a series of numerical simulations. Furthermore, the stability of the proposed controller and the adaptive laws are proofed using the NI theorem.

preprint2022arXiv

Social Shaping of Dynamic Multi-Agent Systems over a Finite Horizon

This paper studies self-sustained dynamic multiagent systems (MAS) for decentralized resource allocation operating at a competitive equilibrium over a finite horizon. The utility of resource consumption, along with the income from resource exchange, forms each agent's payoff which is aimed to be maximized. Each utility function is parameterized by individual preferences which can be designed by agents independently. By shaping these preferences and proposing a set of utility functions, we can guarantee that the optimal resource price at the competitive equilibrium always remains socially acceptable, i.e., it never violates a given threshold that indicates affordability. First, we show this problem is solvable at the conceptual level under some convexity assumptions. Then, as a benchmark case, we consider quadratic MAS and formulate the associated social shaping problem as a multi-agent LQR problem which enables us to propose explicit utility sets using quadratic programming and dynamic programming. Finally, a numerical algorithm is presented for calculating the range of the preference function parameters which guarantee a socially accepted price. Some illustrative examples are given to examine the effectiveness of the proposed methods.

preprint2022arXiv

State-space computation of quadratic-exponential functional rates for linear quantum stochastic systems

This paper is concerned with infinite-horizon growth rates of quadratic-exponential functionals (QEFs) for linear quantum stochastic systems driven by multichannel bosonic fields. Such risk-sensitive performance criteria impose an exponential penalty on the integral of a quadratic function of the system variables, and their minimization improves robustness properties of the system with respect to quantum statistical uncertainties and makes its behaviour more conservative in terms of tail distributions. We use a frequency-domain representation of the QEF growth rate for the invariant Gaussian quantum state of the system with vacuum input fields in order to compute it in state space. The QEF rate is related to a similar functional for a classical stationary Gaussian random process generated by an infinite cascade of linear systems. A truncation of this shaping filter allows the QEF rate to be computed with any accuracy by solving a recurrent sequence of algebraic Lyapunov equations together with an algebraic Riccati equation. The state-space computation of the QEF rate and its comparison with the frequency-domain results are demonstrated by a numerical example for an open quantum harmonic oscillator.

preprint2021arXiv

Velocity-free Attitude Control of Quadrotors: A Nonlinear Negative Imaginary Approach

In this paper, we propose a new approach to the attitude control of quadrotors, by which angular velocity measurements or a model-based observer reconstructing the angular velocity are not needed. The proposed approach is based on recent stability results obtained for nonlinear negative imaginary systems. In specific, by constructing the respective storage functions, we establish the nonlinear negative imaginary properties of the whole quadrotor system and the quadrotor rotational subsystem. Then, an inner-outer loop method will be implemented to synthesize a strictly negative imaginary controller. This guarantees the robust asymptotic stability of the attitude of the quadrotor about its reference signal in the face of modeling uncertainties and external disturbances.

preprint2020arXiv

A homotopy approach to coherent quantum LQG control synthesis using discounted performance criteria

This paper is concerned with linear-quadratic-Gaussian (LQG) control for a field-mediated feedback connection of a plant and a coherent (measurement-free) controller. Both the plant and the controller are multimode open quantum harmonic oscillators governed by linear quantum stochastic differential equations. The control objective is to make the closed-loop system internally stable and to minimize the infinite-horizon quadratic cost involving the plant variables and the controller output subject to quantum physical realizability (PR) constraints. This coherent quantum LQG (CQLQG) control problem, which has been of active research interest for over ten years, does not admit a solution in the form of separation principle and independent Riccati equations known for its classical counterpart. We apply variational techniques to a family of discounted CQLQG control problems parameterized by an effective time horizon. This gives rise to a homotopy algorithm, which is initialized with a PR (but not necessarily stabilizing) controller and aims at a locally optimal stabilizing controller for the original problem in the limit.

preprint2020arXiv

Controllability and Accessibility on Graphs for Bilinear Systems over Lie Groups

This paper presents graph theoretic conditions for the controllability and accessibility of bilinear systems over the special orthogonal group, the special linear group and the general linear group, respectively, in the presence of drift terms. Such bilinear systems naturally induce two interaction graphs: one graph from the drift, and another from the controlled dynamics. As a result, the system controllability or accessibility becomes a property of the two graphs in view of the classical Lie algebra rank condition. We establish a systemic way of transforming the Lie bracket operations in the underlying Lie algebra, into specific operations of removing or creating links over the drift and controlled interaction graphs. As a result, we establish a series of graphical conditions for the controllability and accessibility of such bilinear systems, which rely only on the connectivity of the union of the drift and controlled interaction graphs. We present examples to illustrate the validity of the established results, and show that the proposed conditions are in fact considerably tight.

preprint2020arXiv

Fault-tolerant Coherent H-infinity Control for Linear Quantum Systems

Robustness and reliability are two key requirements for developing practical quantum control systems. The purpose of this paper is to design a coherent feedback controller for a class of linear quantum systems suffering from Markovian jumping faults so that the closed-loop quantum system has both fault tolerance and H-infinity disturbance attenuation performance. This paper first extends the physical realization conditions from the time-invariant case to the time-varying case for linear stochastic quantum systems. By relating the fault tolerant H-infinity control problem to the dissipation properties and the solutions of Riccati differential equations, an H-infinity controller for the quantum system is then designed by solving a set of linear matrix inequalities (LMIs). In particular, an algorithm is employed to introduce additional noises and to construct the corresponding input matrices to ensure the physical realizability of the quantum controller. For real applications of the developed fault-tolerant control strategy, we present a linear quantum system example from quantum optics, where the amplitude of the pumping field randomly jumps among different values. It is demonstrated that a quantum H-infinity controller can be designed and implemented using some basic optical components to achieve the desired control goal.

preprint2020arXiv

Generation of accessible sets in the dynamical modelling of quantum network systems

In this paper, we consider the dynamical modeling of a class of quantum network systems consisting of qubits. Qubit probes are employed to measure a set of selected nodes of the quantum network systems. For a variety of applications, a state space model is a useful way to model the system dynamics. To construct a state space model for a quantum network system, the major task is to find an accessible set containing all of the operators coupled to the measurement operators. This paper focuses on the generation of a proper accessible set for a given system and measurement scheme. We provide analytic results on simplifying the process of generating accessible sets for systems with a time-independent Hamiltonian. Since the order of elements in the accessible set determines the form of state space matrices, guidance is provided to effectively arrange the ordering of elements in the state vector. Defining a system state according to the accessible set, one can develop a state space model with a special pattern inherited from the system structure. As a demonstration, we specifically consider a typical 1D-chain system with several common measurements, and employ the proposed method to determine its accessible set.

preprint2020arXiv

Hybrid filtering for a class of nonlinear quantum systems subject to classical stochastic disturbances

A hybrid quantum-classical filtering problem, where a qubit system is disturbed by a classical stochastic process, is investigated. The strategy is to model the classical disturbance by using an optical cavity. Relations between classical disturbances and the cavity analog system are analyzed. The dynamics of the enlarged quantum network system, which includes a qubit system and a cavity system, are derived. A stochastic master equation for the qubit-cavity hybrid system is given, based on which estimates for the state of the cavity system and the classical signal are obtained. The quantum extended Kalman filter is employed to achieve efficient computation. Numerical results are presented to illustrate the effectiveness of our methods.

preprint2020arXiv

Mean Square Optimal Control by Interconnection for Linear Stochastic Hamiltonian Systems

This paper is concerned with linear stochastic Hamiltonian (LSH) systems subject to random external forces. Their dynamics are modelled by linear stochastic differential equations, parameterised by stiffness, mass, damping and coupling matrices. A class of physical couplings is discussed for such systems using inerters, springs and dampers. We consider a problem of minimising a steady-state quadratic cost functional over the coupling parameters for the interconnection of two LSH systems, one of which plays the role of an analog controller. For this mean square optimal control-by-interconnection setting, we outline first-order necessary conditions of optimality which employ variational methods developed previously for constrained linear quadratic Gaussian control problems.

preprint2020arXiv

On the capability of a class of quantum sensors

Quantum sensors may provide extremely high sensitivity and precision to extract key information in a quantum or classical physical system. A fundamental question is whether a quantum sensor is capable of uniquely inferring unknown parameters in a system for a given structure of the quantum sensor and admissible measurement on the sensor. In this paper, we investigate the capability of a class of quantum sensors which consist of either a single qubit or two qubits. A quantum sensor is coupled to a spin chain system to extract information of unknown parameters in the system. With given initialisation and measurement schemes, we employ the similarity transformation approach and the Grobner basis method to prove that a single-qubit quantum sensor cannot effectively estimate the unknown parameters in the spin chain system while the two-qubit quantum sensor can. The work demonstrates that it is a feasible method to enhance the capability of quantum sensors by increasing the number of qubits in the quantum sensors for some practical applications.

preprint2020arXiv

Stability Analysis of Quantum Systems: a Lyapunov Criterion and an Invariance Principle

In this article, we propose a Lyapunov stability approach to analyze the convergence of the density operator of a quantum system. In analog to the classical probability measure for Markovian processes, we show that the set of invariant density operators is both closed and convex. We then show how to analyze the stability of this set via a candidate Lyapunov operator. We complete our analysis of the set of invariant density operators by introducing an analog of the Barbashin-Krasovskii-La Salle theorem on the dynamics of quantum systems.

preprint2018arXiv

Optimal identification of non-Markovian environments for spin chains

Correlations of an environment are crucial for the dynamics of non-Markovian quantum systems, which may not be known in advance. In this paper, we propose a gradient algorithm for identifying the correlations in terms of time-varying damping rate functions in a time-convolution-less master equation for spin chains. By measuring time trace observables of the system, the identification procedure can be formulated as an optimization problem. The gradient algorithm is designed based on a calculation of the derivative of an objective function with respect to the damping rate functions, whose effectiveness is shown in a comparison to a differential approach for a two-qubit spin chain.

preprint2016arXiv

A Modified Frequency Domain Condition for the Physical Realizability of Linear Quantum Stochastic Systems

This note is concerned with a modified version of the frequency domain physical realizability (PR) condition for linear quantum systems. We consider open quantum systems whose dynamic variables satisfy the canonical commutation relations of an open quantum harmonic oscillator and are governed by linear quantum stochastic differential equations (QSDEs). In order to correspond to physical quantum systems, these QSDEs must satisfy PR conditions. We provide a relatively simple proof that the PR condition is equivalent to the frequency domain $(J,J)$-unitarity of the input-output transfer function and orthogonality of the feedthrough matrix of the system without the technical spectral assumptions required in previous work. We also show that the poles and transmission zeros associated with the transfer function of PR linear quantum systems are the mirror reflections of each other about the imaginary axis. An example is provided to illustrate the results.

preprint2016arXiv

A Numerical Approach to Optimal Coherent Quantum LQG Controller Design Using Gradient Descent

This paper is concerned with coherent quantum linear quadratic Gaussian (CQLQG) control. The problem is to find a stabilizing measurement-free quantum controller for a quantum plant so as to minimize a mean square cost for the fully quantum closed-loop system. The plant and controller are open quantum systems interconnected through bosonic quantum fields. In comparison with the observation-actuation structure of classical controllers, coherent quantum feedback is less invasive to the quantum dynamics. The plant and controller 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 in the form of quadratic constraints on the state-space matrices, reflecting the CCR preservation in time. The symmetry of the problem is taken into account by introducing equivalence classes of coherent quantum controllers generated by symplectic similarity transformations. We discuss a modified gradient flow, which is concerned with norm-balanced realizations of controllers. A line-search gradient descent algorithm with adaptive stepsize selection is proposed for the numerical solution of the CQLQG control problem. The algorithm finds a local minimum of the LQG cost over the parameters of the Hamiltonian and coupling operators of a stabilizing coherent quantum controller, thus taking the PR constraints into account. A convergence analysis of the algorithm is presented. Numerical examples of designing locally optimal CQLQG controllers are provided in order to demonstrate the algorithm performance.

preprint2016arXiv

A Reduced Order Direct Coupling Coherent Quantum Observer for a Complex Quantum Plant

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.

preprint2016arXiv

Directly Coupled Observers for Quantum Harmonic Oscillators with Discounted Mean Square Cost Functionals and Penalized Back-action

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.

preprint2016arXiv

Implementation of Bilinear Hamiltonian Interactions between Linear Quantum Stochastic Systems via Feedback

A number of recent works employ bilinear Hamiltonian interactions between Linear Quantum Stochastic Systems (LQSSs). Contrary to naturally occurring Hamiltonian interactions between physical systems, such interactions must be engineered. In this work, we propose a simple model for the implementation of an arbitrary bilinear interaction between two given LQSSs via a feedback interconnection.

preprint2016arXiv

Learning robust control for generating universal quantum gates

Constructing a set of universal quantum gates is a fundamental task for quantum computation. The existence of noises, disturbances and fluctuations is unavoidable during the process of implementing quantum gates for most practical quantum systems. This paper employs a sampling-based learning method to find robust control pulses for generating a set of universal quantum gates. Numerical results show that the learned robust control fields are insensitive to disturbances, uncertainties and fluctuations during the process of realizing universal quantum gates.

preprint2016arXiv

On Transfer Function Realizations for Linear Quantum Stochastic Systems

The realization of transfer functions of Linear Quantum Stochastic Systems (LQSSs) is an issue of fundamental importance for the practical applications of such systems, especially as coherent controllers for other quantum systems. In this paper, we review two realization methods proposed by the authors in [1], [2], [3], [4]. The first one uses a cascade of a static linear quantum-optical network and single-mode optical cavities, while the second uses a feedback network of such cavities, along with static linear quantum-optical networks that pre- and post-process the cavity network inputs and outputs.

preprint2016arXiv

Performance Analysis and Coherent Guaranteed Cost Control for Uncertain Quantum Systems Using Small Gain and Popov Methods

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.

preprint2016arXiv

Pure Gaussian quantum states from passive Hamiltonians and an active local dissipative process

We investigate the problem of preparing a pure Gaussian state via reservoir engineering. In particular, we consider a linear quantum system with a passive Hamiltonian and with a single reservoir which acts only on a single site of the system. We then give a full parametrization of the pure Gaussian states that can be prepared by this type of quantum system.

preprint2016arXiv

Quantum Linear Systems Theory

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.

preprint2016arXiv

Robust manipulation of superconducting qubits in the presence of fluctuations

Superconducting quantum systems are promising candidates for quantum information processing due to their scalability and design flexibility. However, the existence of defects, fluctuations, and inaccuracies is unavoidable for practical superconducting quantum circuits. In this paper, a sampling-based learning control (SLC) method is used to guide the design of control fields for manipulating superconducting quantum systems. Numerical results for one-qubit systems and coupled two-qubit systems show that the "smart" fields learned using the SLC method can achieve robust manipulation of superconducting qubits, even in the presence of large fluctuations and inaccuracies.

preprint2015arXiv

A Gradient Descent Approach to Optimal Coherent Quantum LQG Controller Design

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.

preprint2015arXiv

A Possible Implementation of a Direct Coupling Coherent Quantum Observer

This paper considers the problem of implementing a previously proposed direct coupling quantum observer for a closed linear quantum system. This observer is shown to be able to estimate some but not all of the plant variables in a time averaged sense. The paper proposes a possible experimental implementation of the observer plant system using a non-degenerate parametric amplifier.

preprint2015arXiv

Coherent Robust H-Infinity Control of Uncertain Linear Quantum Stochastic Systems

This paper considers a class of uncertain linear quantum systems subject to uncertain perturbations in the system Hamiltonian. We present a method to design a coherent robust H-infinity controller so that the closed loop system is robustly stable and achieves a prescribed level of disturbance attenuation with all the admissible uncertainties. An illustrative example shows that for the given system, the method presented in this paper has improved performance over the existing quantum H-infinity control results without considering uncertainty.

preprint2015arXiv

Covariance Dynamics and Entanglement in Translation Invariant Linear Quantum Stochastic Networks

This paper is concerned with a translation invariant network of identical quantum stochastic systems subjected to external quantum noise. Each node of the network is directly coupled to a finite number of its neighbours. This network is modelled as an open quantum harmonic oscillator and is governed by a set of linear quantum stochastic differential equations. The dynamic variables of the network satisfy the canonical commutation relations. Similar large-scale networks can be found, for example, in quantum metamaterials and optical lattices. Using spatial Fourier transform techniques, we obtain a sufficient condition for stability of the network in the case of finite interaction range, and consider a mean square performance index for the stable network in the thermodynamic limit. The Peres-Horodecki-Simon separability criterion is employed in order to obtain sufficient and necessary conditions for quantum entanglement of bipartite systems of nodes of the network in the Gaussian invariant state. The results on stability and entanglement are extended to the infinite chain of the linear quantum systems by letting the number of nodes go to infinity. A numerical example is provided to illustrate the results.

preprint2015arXiv

Decentralized Coherent Quantum Control Design for Translation Invariant Linear Quantum Stochastic Networks with Direct Coupling

This paper is concerned with coherent quantum control design for translation invariant networks of identical quantum stochastic systems subjected to external quantum noise. The network is modelled as an open quantum harmonic oscillator and is governed by a set of linear quantum stochastic differential equations. The dynamic variables of this quantum plant satisfy the canonical commutation relations. Similar large-scale systems can be found, for example, in quantum metamaterials and optical lattices. The problem under consideration is to design a stabilizing decentralized coherent quantum controller in the form of another translation invariant quantum system, directly coupled to the plant, so as to minimize a weighted mean square functional of the dynamic variables of the interconnected networks. We consider this problem in the thermodynamic limit of infinite network size and present first-order necessary conditions for optimality of the controller.

preprint2015arXiv

Forgetting in the Synchronization of Quantum Networks

In this paper, we study the decoherence property of synchronization master equation for networks of qubits interconnected by swapping operators. The network Hamiltonian is assumed to be diagonal with different entries so that it might not be commutative with the swapping operators. We prove a theorem establishing a general condition under which almost complete decohernece is achieved, i.e., all but two of the off-diagonal entries of the network density operator asymptotically tend to zero. This result explicitly shows that quantum dissipation networks tend to forget the information initially encoded when the internal (induced by network Hamiltonian) and external (induced by swapping operators) qubit interactions do not comply with each other.

preprint2015arXiv

Guaranteed Cost Dynamic Coherent Control for Uncertain Linear Quantum Systems

This paper concerns a class of uncertain linear quantum systems subject to quadratic perturbations in the system Hamiltonian. A small gain approach is used to evaluate the performance of the given quantum system. In order to get improved control performance, we propose two methods to design a coherent controller for the system. One is to formulate a static quantum controller by adding a controller Hamiltonian to the given system, and the other is to build a dynamic quantum controller which is directly coupled to the given system. Both controller design methods are given in terms of LMIs and a non-convex equality. Hence, a rank constrained LMI method is used as a numerical procedure. An illustrative example is given to demonstrate the proposed methods and also to make a performance comparison with different controller design methods. Results show that for the same uncertain quantum system, the dynamic quantum controller can offer an improvement in performance over the static quantum controller.

preprint2015arXiv

Improved mirror position estimation using resonant quantum smoothing

Quantum parameter estimation, the ability to precisely obtain a classical value in a quantum system, is very important to many key quantum technologies. Many of these technologies rely on an optical probe, either coherent or squeezed states to make a precise measurement of a parameter ultimately limited by quantum mechanics. We use this technique to theoretically model, simulate and validate by experiment the measurement and precise estimation of the position of a cavity mirror. In non-resonant systems, the achieved estimation enhancement from quantum smoothing over optimal filtering has not exceeded a factor two, even when squeezed state probes were used. Using a coherent state probe, we show that using quantum smoothing on a mechanically resonant structure driven by a resonant forcing function can result significantly greater improvement in parameter estimation than with non-resonant systems. In this work, we show that it is possible to achieve a smoothing improvement by a factor in excess of three times over optimal filtering. By using intra-cavity light as the probe we obtain finer precision than has been achieved with the equivalent quantum resources in free-space.

preprint2015arXiv

Parameterization of Stabilizing Linear Coherent Quantum Controllers

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.

preprint2015arXiv

Quantum Noises, Physical Realizability and Coherent Quantum Feedback Control

Physical Realizability addresses the question of whether it is possible to implement a given linear time invariant (LTI) system as a quantum system. A given synthesized quantum controller described by a set of stochastic differential equations does not necessarily correspond to a physically meaningful quantum system. However, if additional quantum noises are permitted in the implementation, it is always possible to implement an arbitrary LTI system as a quantum system. In this paper, we give an expression for the number of introduced noise channels required to implement a given LTI system as a quantum system. We then consider the special case where only the transfer function to be implemented is of interest. We give results showing when it is possible to implement a transfer function as a quantum system by introducing the same number of quantum noises as there are system outputs. Finally, we demonstrate the utility of these results by providing an algorithm for obtaining a suboptimal solution to a coherent quantum LQG control problem.

preprint2015arXiv

Reaching a Quantum Consensus: Master Equations that Generate Symmetrization and Synchronization

In this paper, we propose and study a master-equation based approach to drive a quantum network with $n$ qubits to a consensus (symmetric) state introduced by Mazzarella et al. The state evolution of the quantum network is described by a Lindblad master equation with the Lindblad terms generated by continuous-time swapping operators, which also introduce an underlying interaction graph. We establish a graphical method that bridges the proposed quantum consensus scheme and classical consensus dynamics by studying an induced graph (with $2^{2n}$ nodes) of the quantum interaction graph (with $n$ qubits). A fundamental connection is then shown that quantum consensus over the quantum graph is equivalent to componentwise classical consensus over the induced graph, which allows various existing works on classical consensus to be applicable to the quantum setting. Some basic scaling and structural properties of the quantum induced graph are established via combinatorial analysis. Necessary and sufficient conditions for exponential and asymptotic quantum consensus are obtained, respectively, for switching quantum interaction graphs. As a quantum analogue of classical synchronization of coupled oscillators, quantum synchronization conditions are also presented, in which the reduced states of all qubits tend to a common trajectory.

preprint2015arXiv

Reaching Quantum Consensus with Directed Links: Missing Symmetry and Switching Interactions

In this paper, we study consensus seeking of quantum networks under directed interactions defined by a set of permutation operators among a network of qubits. The state evolution of the quantum network is described by a continuous-time master equation, for which we establish an unconditional convergence result indicating that the network state always converges with the limit determined by the generating subgroup of the permutations making use of the Perron-Frobenius theory. We also give a tight graphical criterion regarding when such limit admits a reduced-state consensus. Further, we provide a clear description to the missing symmetry in the reduced-state consensus from a graphical point of view, where the information-flow hierarchy in quantum permutation operators is characterized by different layers of information-induced graphs. Finally, we investigate quantum synchronization in the presence of network Hamiltonian, study quantum consensus conditions under switching interactions, and present a few numerical examples illustrating the obtained results.

preprint2015arXiv

Robust Adaptive Quantum Phase Estimation

Quantum parameter estimation is central to many fields such as quantum computation, communications and metrology. Optimal estimation theory has been instrumental in achieving the best accuracy in quantum parameter estimation, which is possible when we have very precise knowledge of and control over the model. However, uncertainties in key parameters underlying the system are unavoidable and may impact the quality of the estimate. We show here how quantum optical phase estimation of a squeezed state of light exhibits improvement when using a robust fixed-interval smoother designed with uncertainties explicitly introduced in parameters underlying the phase noise.

preprint2015arXiv

Robust Mean Square Stability of Open Quantum Stochastic Systems with Hamiltonian Perturbations in a Weyl Quantization Form

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.

preprint2015arXiv

Sampling-based Learning Control for Quantum Systems with Uncertainties

Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with uncertainties. The SLC method includes two steps of "training" and "testing". In the training step, an augmented system is constructed using artificial samples generated by sampling uncertainty parameters according to a given distribution. A gradient flow based learning algorithm is developed to find the control for the augmented system. In the process of testing, a number of additional samples are tested to evaluate the control performance where these samples are obtained through sampling the uncertainty parameters according to a possible distribution. The SLC method is applied to three significant examples of quantum robust control including state preparation in a three-level quantum system, robust entanglement generation in a two-qubit superconducting circuit and quantum entanglement control in a two-atom system interacting with a quantized field in a cavity. Numerical results demonstrate the effectiveness of the SLC approach even when uncertainties are quite large, and show its potential for robust control design of quantum systems.

preprint2015arXiv

The Evolution of Network Entropy in Classical and Quantum Consensus Dynamics

In this paper, we investigate the evolution of the network entropy for consensus dynamics in classical or quantum networks. We show that in the classical case, the network entropy decreases at the consensus limit if the node initial values are i.i.d. Bernoulli random variables, and the network differential entropy is monotonically non-increasing if the node initial values are i.i.d. Gaussian. While for quantum consensus dynamics, the network's von Neumann entropy is in contrast non-decreasing. In light of this inconsistency, we compare several gossiping algorithms with random or deterministic coefficients for classical or quantum networks, and show that quantum gossiping algorithms with deterministic coefficients are physically related to classical gossiping algorithms with random coefficients.

preprint2015arXiv

Time Averaged Consensus in a Direct Coupled Coherent Quantum Observer Network for a Single Qubit Finite Level Quantum System

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.

preprint2015arXiv

Time Averaged Consensus in a Direct Coupled Distributed Coherent Quantum Observer

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.

preprint2014arXiv

A Direct Coupling Coherent Quantum Observer for a Single Qubit Finite Level Quantum System

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.

preprint2014arXiv

Analysis of Linear Quantum Optical Networks

This paper is concerned with the analysis of linear quantum optical networks. It provides a systematic approach to the construction a model for a given quantum network in terms of a system of quantum stochastic differential equations. This corresponds to a classical state space model. The linear quantum optical networks under consideration consist of interconnections between optical cavities, optical squeezers, and beamsplitters. These models can then be used in the design of quantum feedback control systems for these networks.

preprint2014arXiv

Coherent-Classical Estimation versus Purely-Classical Estimation for Linear Quantum Systems

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.

preprint2014arXiv

Guaranteed Non-quadratic Performance for Quantum Systems with Nonlinear Uncertainties

This paper presents a robust performance analysis result for a class of uncertain quantum systems containing sector bounded nonlinearities arising from perturbations to the system Hamiltonian. An LMI condition is given for calculating a guaranteed upper bound on a non-quadratic cost function. This result is illustrated with an example involving a Josephson junction in an electromagnetic cavity.

preprint2014arXiv

Performance Analysis and Coherent Guaranteed Cost Control for Uncertain Quantum Systems

This paper presents several results on performance analysis for a class of uncertain linear quantum systems subject to either quadratic or non-quadratic perturbations in the system Hamiltonian. Also, coherent guaranteed cost controllers are designed for the uncertain quantum systems to achieve improved control performance. The coherent controller is realized by adding a control Hamiltonian to the quantum system and its performance is demonstrated by an example.

preprint2014arXiv

Physical Realizability and Mean Square Performance of Translation Invariant Networks of Interacting Linear Quantum Stochastic Systems

This paper is concerned with translation invariant networks of linear quantum stochastic systems with nearest neighbour interaction mediated by boson fields. The systems are associated with sites of a one-dimensional chain or a multidimensional lattice and are governed by coupled linear quantum stochastic differential equations (QSDEs). Such interconnections of open quantum systems are relevant, for example, to the phonon theory of crystalline solids, atom trapping in optical lattices and quantum metamaterials. In order to represent a large-scale open quantum harmonic oscillator, the coefficients of the coupled QSDEs must satisfy certain physical realizability conditions. These are established in the form of matrix algebraic equations for the parameters of an individual building block of the network and its interaction with the neighbours and external fields. We also discuss the computation of mean square performance functionals with block Toeplitz weighting matrices for such systems in the thermodynamic limit per site for unboundedly increasing fragments of the lattice.

preprint2014arXiv

Preparation of Pure Gaussian States via Cascaded Quantum Systems

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.

preprint2014arXiv

Robust Dynamic State Feedback Guaranteed Cost Control of Nonlinear Systems using Copies of Plant Nonlinearities

This paper presents a systematic approach to the design of a robust dynamic state feedback controller using copies of the plant nonlinearities, which is based on the use of IQCs and minimax LQR control. The approach combines a linear state feedback guaranteed cost controller and copies of the plant nonlinearities to form a robust nonlinear controller.

preprint2014arXiv

Robust Smoothing for Estimating Optical Phase Varying as a Continuous Resonant Process

Continuous phase estimation is known to be superior in accuracy as compared to static estimation. The estimation process is, however, desired to be made robust to uncertainties in the underlying parameters. Here, homodyne phase estimation of coherent and squeezed states of light, evolving continuously under the influence of a second-order resonant noise process, are made robust to parameter uncertainties using a robust fixed-interval smoother, designed for uncertain systems satisfying a certain integral quadratic constraint. We observe that such a robust smoother provides improved worst-case performance over the optimal smoother and also performs better than a robust filter for the uncertain system.

preprint2013arXiv

A Kalman Decomposition for Possibly Controllable Uncertain Linear Systems

This paper considers the structure of uncertain linear systems building on concepts of robust unobservability and possible controllability which were introduced in previous papers. The paper presents a new geometric characterization of the possibly controllable states. When combined with previous geometric results on robust unobservability, the results of this paper lead to a general Kalman type decomposition for uncertain linear systems which can be applied to the problem of obtaining reduced order uncertain system models.

preprint2013arXiv

A Popov Stability Condition for Uncertain Linear Quantum Systems

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.

preprint2013arXiv

A Robust Continuous Time Fixed Lag Smoother for Nonlinear Uncertain Systems

This paper presents a robust fixed lag smoother for a class of nonlinear uncertain systems. A unified scheme, which combines a nonlinear robust estimator with a stable fixed lag smoother, is presented to improve the error covariance of the estimation. The robust fixed lag smoother is based on the use of Integral Quadratic Constraints and minimax LQG control. The state estimator uses a copy of the system nonlinearity in the estimator and combines an approximate model of the delayed states to produce a smoothed signal. In order to see the effectiveness of the method, it is applied to a quantum optical phase estimation problem. Results show significant improvement in the error covariance of the estimator using fixed lag smoother in the presence of nonlinear uncertainty.

preprint2013arXiv

Adaptive Continuous Homodyne Phase Estimation Using Robust Fixed-Interval Smoothing

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.

preprint2013arXiv

Coherent Quantum Filtering for Physically Realizable Linear Quantum Plants

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.

preprint2013arXiv

Coherent-Classical Estimation for Quantum Linear Systems

This paper introduces a problem of coherent-classical estimation for a class of linear quantum systems. In this problem, the estimator is a mixed quantum-classical system which produces a classical estimate of a system variable. The coherent-classical estimator may also involve coherent feedback. An example involving optical squeezers is given to illustrate the efficacy of this idea.

preprint2013arXiv

Negative Imaginary Systems Theory in the Robust Control of Highly Resonant Flexible Structures

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.

preprint2013arXiv

Optimal Lyapunov quantum control on two-level systems: convergence and extended techniques

Taking a two-level system as an example, we show that a strong control field may enhance the efficiency of optimal Lyapunov quantum control in [Hou et al., Phys. Rev. A \textbf{86}, 022321 (2012)] but could decrease its control fidelity. A relationship between the strength of the control field and the control fidelity is established. An extended technique, which combines free evolution and external control, is proposed to improve the control fidelity. We analytically demonstrate that the extended technique can be used to design a control law for steering a two-level system exactly to the target state. In such a way, the convergence of the extended optimal Lyapunov quantum control can be guaranteed.

preprint2013arXiv

Quantum Implemention of an LTI System with the minimal number of additional quantum noise inputs

Physical Realizability addresses the question of whether it is possible to implement a given LTI system as a quantum system. It is in general not true that a given synthesized quantum controller described by a set of stochastic differential equations is equivalent to some physically meaningful quantum system. However, if additional quantum noises are permitted in the implementation it is always possible to implement an arbitrary LTI system as a quantum system. In this paper we give an expression for the exact number of noises required to implement a given LTI system as a quantum system. Furthermore, we focus our attention on proving that this is a minimum, that is, it is not possible to implement the system as a quantum system with a smaller number of additional quantum noises.

preprint2013arXiv

Quantum Popov robust stability analysis of an optical cavity containing a saturated Kerr medium

This paper applies results on the robust stability of nonlinear quantum systems to a system consisting an optical cavity containing a saturated Kerr medium. The system is characterized by a Hamiltonian operator which contains a non-quadratic term involving a quartic function of the annihilation and creation operators. A saturated version of the Kerr nonlinearity leads to a sector bounded nonlinearity which enables a quantum small gain theorem to be applied to this system in order to analyze its stability. Also, a non-quadratic version of a quantum Popov stability criterion is presented and applied to analyze the stability of this system.

preprint2013arXiv

Quantum Robust Stability of a Small Josephson Junction in a Resonant Cavity

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.

preprint2013arXiv

Robust Decentralized Stabilization of Markovian Jump Large-Scale Systems: A Neighboring Mode Dependent Control Approach

This paper is concerned with the decentralized stabilization problem for a class of uncertain large-scale systems with Markovian jump parameters. The controllers use local subsystem states and neighboring mode information to generate local control inputs. A sufficient condition involving rank constrained linear matrix inequalities is proposed for the design of such controllers. A numerical example is given to illustrate the developed theory.

preprint2013arXiv

Robust Estimation of Optical Phase Varying as a Continuous Resonant Process

It is well-known that adaptive homodyne estimation of continuously varying optical phase provides superior accuracy in the phase estimate as compared to adaptive or non-adaptive static estimation. However, most phase estimation schemes rely on precise knowledge of the underlying parameters of the system under measurement, and performance deteriorates significantly with changes in these parameters; hence it is desired to develop robust estimation techniques immune to such uncertainties. In related works, we have already shown how adaptive homodyne estimation can be made robust to uncertainty in an underlying parameter of the phase varying as a simplistic Ornstein-Uhlenbeck stochastic noise process. Here, we demonstrate robust phase estimation for a more complicated resonant noise process using a guaranteed cost robust filter.

preprint2013arXiv

Robust Smoothing for Discrete-Time Uncertain Nonlinear Systems

This paper derives recursion equations for a robust smoothing problem for a class of nonlinear systems with uncertainties in modeling and exogenous noise sources. The systems considered operate in discrete-time and the uncertainties are modeled in terms of a sum quadratic constraint. The robust smoothing problem is solved in terms of a forward-time and a reverse-time filter. Both these filters are formulated in terms of set-valued state estimators and are recast into subsidiary optimal control problems. These optimal control problems are described in terms of discrete-time Hamilton-Jacobi-Bellman equations, whose approximate solutions lead to recursive Riccati difference equations, filter state equations, and level shift scalar equations for the forward-time and the reverse-time filters.

preprint2013arXiv

Robust Stability Analysis of an Optical Parametric Amplifier Quantum System

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.

preprint2013arXiv

Robust Stability of Quantum Systems with Nonlinear Dynamic Uncertainties

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 nominal system is a linear quantum system defined by a linear vector of coupling operators and a quadratic Hamiltonian. This paper extends previous results on the robust stability of nonlinear quantum systems to allow for quantum systems with dynamic uncertainties. These dynamic uncertainties are required to satisfy a certain quantum stochastic integral quadratic constraint. The robust stability condition is given in terms of a strict bounded real condition. This result is applied to the robust stability analysis of an optical parametric amplifier.

preprint2013arXiv

Sampled-data design for robust control of a single qubit

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.

preprint2013arXiv

Sampling-based Learning Control for Quantum Systems with Hamiltonian Uncertainties

Robust control design for quantum systems has been recognized as a key task in the development of practical quantum technology. In this paper, we present a systematic numerical methodology of sampling-based learning control (SLC) for control design of quantum systems with Hamiltonian uncertainties. The SLC method includes two steps of "training" and "testing and evaluation". In the training step, an augmented system is constructed by sampling uncertainties according to possible distributions of uncertainty parameters. A gradient flow based learning and optimization algorithm is adopted to find the control for the augmented system. In the process of testing and evaluation, a number of samples obtained through sampling the uncertainties are tested to evaluate the control performance. Numerical results demonstrate the success of the SLC approach. The SLC method has potential applications for robust control design of quantum systems.

preprint2013arXiv

Sampling-based learning control of inhomogeneous quantum ensembles

Compensation for parameter dispersion is a significant challenge for control of inhomogeneous quantum ensembles. In this paper, we present a systematic methodology of sampling-based learning control (SLC) for simultaneously steering the members of inhomogeneous quantum ensembles to the same desired state. The SLC method is employed for optimal control of the state-to-state transition probability for inhomogeneous quantum ensembles of spins as well as $Λ$ type atomic systems. The procedure involves the steps of (i) training and (ii) testing. In the training step, a generalized system is constructed by sampling members according to the distribution of inhomogeneous parameters drawn from the ensemble. A gradient flow based learning and optimization algorithm is adopted to find the control for the generalized system. In the process of testing, a number of additional ensemble members are randomly selected to evaluate the control performance. Numerical results are presented showing the success of the SLC method.

preprint2012arXiv

A Mean Value Theorem Approach to Robust Control Design for Uncertain Nonlinear Systems

This paper presents a scheme to design a tracking controller for a class of uncertain nonlinear systems using a robust feedback linearization approach. The scheme is composed of two steps. In the first step, a linearized uncertainty model for the corresponding uncertain nonlinear system is developed using a robust feedback linearization approach. In this step, the standard feedback linearization approach is used to linearize the nominal nonlinear dynamics of the uncertain nonlinear system. The remaining nonlinear uncertainties are then linearized at an arbitrary point using the mean value theorem. This approach gives a multi-input multi-output (MIMO) linear uncertain system model with a structured uncertainty representation. In the second step, a minimax linear quadratic regulation (LQR) controller is designed for MIMO linearized uncertain system model. In order to demonstrate the effectiveness of the proposed method, it is applied to a velocity and altitude tracking control problem for an air-breathing hypersonic flight vehicle.

preprint2012arXiv

Characterization and Moment Stability Analysis of Quasilinear Quantum Stochastic Systems with Quadratic Coupling to External Fields

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.

preprint2012arXiv

Gaussian Stochastic Linearization for Open Quantum Systems Using Quadratic Approximation of Hamiltonians

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.

preprint2012arXiv

Hardy-Schatten Norms of Systems, Output Energy Cumulants and Linear Quadro-Quartic Gaussian Control

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.

preprint2012arXiv

Min-Plus Techniques for Set-Valued State Estimation

This article approaches deterministic filtering via an application of the min-plus linearity of the corresponding dynamic programming operator. This filter design method yields a set-valued state estimator for discrete-time nonlinear systems (nonlinear dynamics and output functions). The energy bounds in the process and the measurement disturbances are modeled using a sum quadratic constraint. The filtering problem is recast into an optimal control problem in the form of a Hamilton-Jacobi-Bellman (HJB) equation, the solution to which is obtained by employing the min-plus linearity property of the dynamic programming operator. This approach enables the solution to the HJB equation and the design of the filter without recourse to linearization of the system dynamics/ output equation.

preprint2012arXiv

Minimax Linear Quadratic Gaussian Control of Nonlinear MIMO System with Time Varying Uncertainties

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).

preprint2012arXiv

Minimum Relative Entropy State Transitions in Linear Stochastic Systems: the Continuous Time Case

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.

preprint2012arXiv

Optimal Lyapunov-based quantum control for quantum systems

Quantum Lyapunov control was developed in order to transform a quantum system from arbitrary initial states to a target state. The idea is to find control fields that steer the Lyapunov function to zero as $t\rightarrow \infty$, meanwhile the quantum system is driven to the target state. In order to shorten the time required to reach the target state, we propose two designs to optimize Lyapunov control in this paper. The first design makes the Lyapunov function decrease as fast as possible with a constraint on the total power of control fields, and the second design has the same purpose but with a constraint on each control field. Examples of a three-level system demonstrate that the evolution time for Lyapunov control can be significantly shortened, especially when high control fidelity is required. Besides, this optimal Lyapunov-based quantum control is robust against uncertainties in the free Hamiltonian and decoherence in the system compared to conventional Lyapunov control.

preprint2012arXiv

Risk-sensitive Dissipativity of Linear Quantum Stochastic Systems under Lur'e Type Perturbations of Hamiltonians

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.

preprint2012arXiv

Robust Filtering for Adaptive Homodyne Estimation of Continuously Varying Optical Phase

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.

preprint2012arXiv

Robust Stability of Quantum Systems with a Nonlinear Coupling Operator

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.

preprint2012arXiv

Robust Stability of Uncertain Quantum Systems

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.

preprint2012arXiv

State distributions and minimum relative entropy noise sequences in uncertain stochastic systems: the discrete time case

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.

preprint2011arXiv

A Dynamic Programming Approach to Finite-horizon Coherent Quantum LQG Control

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.

preprint2011arXiv

A Minimax Linear Quadratic Gaussian Method for Antiwindup Control Synthesis

In this paper, a dynamic antiwindup compensator design is proposed which augments the main controller and guarantees robust performance in the event of input saturation. This is a two stage process in which first a robust optimal controller is designed for an uncertain linear system which guarantees the internal stability of the closed loop system and provides robust performance in the absence of input saturation. Then a minimax linear quadratic Gaussian (LQG) compensator is designed to guarantee the performance in certain domain of attraction, in the presence of input saturation. This antiwindup augmentation only comes into action when plant is subject to input saturation. 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).

preprint2011arXiv

A New Stability Result for the Feedback Interconnection of Negative Imaginary Systems with a Pole at the Origin

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.

preprint2011arXiv

A Quasi-separation Principle and Newton-like Scheme for Coherent Quantum LQG Control

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.

preprint2011arXiv

Lagrange Stabilization of Pendulum-like Systems: A Pseudo H-infinity Control Approach

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.

preprint2011arXiv

Low Frequency Approximation for a class of Linear Quantum Systems using Cascade Cavity Realization

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.

preprint2011arXiv

Sliding Mode Control of Two-Level Quantum Systems

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.