SearcharxivSearch

arXiv subjects

I. R. Petersen

Publications and source records attributed to I. R. Petersen.

16 recordsLinked to original sources

$\mathscr{H}_2$ Model Reduction for Linear Quantum Systems

In this paper, an $\mathscr{H}_2$ norm-based model reduction method for linear quantum systems is presented, which can obtain a physically realizable model with a reduced order for closely approximating the original system. The model reduction problem is described as an optimization problem, whose objective is taken as an $\mathscr{H}_2$ norm of the difference between the transfer function of the original system and that of the reduced one. Different from classical model reduction problems, physical realizability conditions for guaranteeing that the reduced-order system is also a quantum system should be taken as nonlinear constraints in the optimization. To solve the optimization problem with such nonlinear constraints, we employ a matrix inequality approach to transform nonlinear inequality constraints into readily solvable linear matrix inequalities (LMIs) and nonlinear equality constraints, so that the optimization problem can be solved by a lifting variables approach. We emphasize that different from existing work, which only introduces a criterion to evaluate the performance after model reduction, we guide our method to obtain an optimal reduced model with respect to the $\mathscr{H}_2$ norm. In addition, the above approach for model reduction is extended to passive linear quantum systems. Finally, examples of active and passive linear quantum systems validate the efficacy of the proposed method.

quant-ph

A Robust Control Approach to Asymptotic Optimality of the Heavy Ball Method for Optimization of Quadratic Functions

Among first order optimization methods, Polyak's heavy ball method has long been known to guarantee the asymptotic rate of convergence matching Nesterov's lower bound for functions defined in an infinite-dimensional space. In this paper, we use results on the robust gain margin of linear uncertain feedback control systems to show that the heavy ball method is provably worst-case asymptotically optimal when applied to quadratic functions in a finite dimensional space.

math.OC

The Transfer Function of Generic Linear Quantum Stochastic Systems Has a Pure Cascade Realization

This paper establishes that generic linear quantum stochastic systems have a pure cascade realization of their transfer function, generalizing an earlier result established only for the special class of completely passive linear quantum stochastic systems. In particular, a cascade realization therefore exists for generic active linear quantum stochastic systems that require an external source of quanta to operate. The results facilitate a simplified realization of generic linear quantum stochastic systems for applications such as coherent feedback control and optical filtering. The key tools that are developed are algorithms for symplectic QR and Schur decompositions. It is shown that generic real square matrices of even dimension can be transformed into a lower $2 \times 2$ block triangular form by a symplectic similarity transformation. The linear algebraic results herein may be of independent interest for applications beyond the problem of transfer function realization for quantum systems. Numerical examples are included to illustrate the main results. In particular, one example describes an equivalent realization of the transfer function of a nondegenerate parametric amplifier as the cascade interconnection of two degenerate parametric amplifiers with an additional outcoupling mirror.

quant-ph

Fast machine-learning online optimization of ultra-cold-atom experiments

Machine-designed control of complex devices or experiments can discover strategies superior to those developed via simplified models. We describe an online optimization algorithm based on Gaussian processes and apply it to optimization of the production of Bose-Einstein condensates (BEC). BEC is typically created with an exponential evaporation ramp that is approximately optimal for s-wave, ergodic dynamics with two-body interactions and no other loss rates, but likely sub-optimal for many real experiments. Machine learning using a Gaussian process, in contrast, develops a statistical model of the relationship between the parameters it controls and the quality of the BEC produced. This is an online process, and an active one, as the Gaussian process model updates on the basis of each subsequent experiment and proposes a new set of parameters as a result. We demonstrate that the Gaussian process machine learner is able to discover a ramp that produces high quality BECs in 10 times fewer iterations than a previously used online optimization technique. Furthermore, we show the internal model developed can be used to determine which parameters are essential in BEC creation and which are unimportant, providing insight into the optimization process.

quant-ph

Stability robustness of a feedback interconnection of systems with negative imaginary frequency response

A necessary and sufficient condition, expressed simply as the DC loop gain (ie the loop gain at zero frequency) being less than unity, is given in this paper to guarantee the internal stability of a feedback interconnection of Linear Time-Invariant (LTI) Multiple-Input Multiple-Output (MIMO) systems with negative imaginary frequency response. Systems with negative imaginary frequency response arise for example when considering transfer functions from force actuators to co-located position sensors, and are commonly important in for example lightly damped structures. The key result presented here has similar application to the small-gain theorem, which refers to the stability of feedback interconnections of contractive gain systems, and the passivity theorem (or more precisely the positive real theorem in the LTI case), which refers to the stability of feedback interconnections of positive real systems. A complete state-space characterisation of systems with negative imaginary frequency response is also given in this paper and also an example that demonstrates the application of the key result is provided.

math.OC

Generalizing Negative Imaginary Systems Theory to Include Free Body Dynamics: Control of Highly Resonant Structures with Free Body Motion

Negative imaginary (NI) systems play an important role in the robust control of highly resonant flexible structures. In this paper, a generalized NI system framework is presented. A new NI system definition is given, which allows for flexible structure systems with colocated force actuators and position sensors, and with free body motion. This definition extends the existing definitions of NI systems. Also, necessary and sufficient conditions are provided for the stability of positive feedback control systems where the plant is NI according to the new definition and the controller is strictly negative imaginary. The stability conditions in this paper are given purely in terms of properties of the plant and controller transfer function matrices, although the proofs rely on state space techniques. Furthermore, the stability conditions given are independent of the plant and controller system order. As an application of these results, a case study involving the control of a flexible robotic arm with a piezo-electric actuator and sensor is presented.

math.OC

Physical Realizability Conditions for Mixed Bilinear-Linear Quantum Cascades with Pure Field Coupling

This paper aims to provide conditions under which a quantum stochastic differential equation can serve as a model for interconnection of a bilinear system evolving on an operator group SU(2) and a linear quantum system representing a quantum harmonic oscillator. To answer this question we derive algebraic conditions for the preservation of canonical commutation relations (CCRs) of quantum stochastic differential equations (QSDE) having a subset of system variables satisfying the harmonic oscillator CCRs, and the remaining variables obeying the CCRs of SU(2). Then, it is shown that from the physical realizability point of view such QSDEs correspond to bilinear-linear quantum cascades.

math.OC

On the preservation of commutation and anticommutation relations of N-level quantum systems

The goal of this paper is to provide conditions under which a quantum stochastic differential equation (QSDE) preserves the commutation and anticommutation relations of the SU(n) algebra, and thus describes the evolution of an open n-level quantum system. One of the challenges in the approach lies in the handling of the so-called anomaly coefficients of SU(n). Then, it is shown that the physical realizability conditions recently developed by the authors for open n-level quantum systems also imply preservation of commutation and anticommutation relations.

math.OC

Physical Realizability of Multi-Level Quantum Systems

This paper considers the physical realizability condition for multi-level quantum systems having polynomial Hamiltonian and multiplicative coupling with respect to several interacting boson fields. Specifically, it generalizes a recent result the authors developed for two-level quantum systems. For this purpose, the algebra of SU(n) was incorporated. As a consequence, the obtained condition is given in terms of the structure constants of SU(n).

math.OC

Preservation of Commutation Relations and Physical Realizability of Open Two-Level Quantum Systems

Coherent feedback control considers purely quantum controllers in order to overcome disadvantages such as the acquisition of suitable quantum information, quantum error correction, etc. These approaches lack a systematic characterization of quantum realizability. Recently, a condition characterizing when a system described as a linear stochastic differential equation is quantum was developed. Such condition was named physical realizability, and it was developed for linear quantum systems satisfying the quantum harmonic oscillator canonical commutation relations. In this context, open two-level quantum systems escape the realm of the current known condition. When compared to linear quantum system, the challenges in obtaining such condition for such systems radicate in that the evolution equation is now a bilinear quantum stochastic differential equation and that the commutation relations for such systems are dependent on the system variables. The goal of this paper is to provide a necessary and sufficient condition for the preservation of the Pauli commutation relations, as well as to make explicit the relationship between this condition and physical realizability.

math.OC

On the infeasibility of entanglement generation in Gaussian quantum systems via classical control

This paper uses a system theoretic approach to show that classical linear time invariant controllers cannot generate steady state entanglement in a bipartite Gaussian quantum system which is initialized in a Gaussian state. The paper also shows that the use of classical linear controllers cannot generate entanglement in a finite time from a bipartite system initialized in a separable Gaussian state. The approach reveals connections between system theoretic concepts and the well known physical principle that local operations and classical communications cannot generate entangled states starting from separable states.

eess.SY

Homodyne locking of a squeezer

We report on the successful implementation of a new approach to locking the frequencies of an OPO-based squeezed-vacuum source and its driving laser. The technique allows the simultaneous measurement of the phase-shifts induced by a cavity, which may be used for the purposes of frequency-locking, as well as the simultaneous measurement of the sub-quantum-noise-limited (sub-QNL) phase quadrature output of the OPO. The homodyne locking technique is cheap, easy to implement and has the distinct advantage that subsequent homodyne measurements are automatically phase-locked. The homodyne locking technique is also unique in that it is a sub-QNL frequency discriminator.

quant-ph

Coherent quantum LQG control

Based on a recently developed notion of physical realizability for quantum linear stochastic systems, we formulate a quantum LQG optimal control problem for quantum linear stochastic systems where the controller itself may also be a quantum system and the plant output signal can be fully quantum. Such a control scheme is often referred to in the quantum control literature as "coherent feedback control.'' It distinguishes the present work from previous works on the quantum LQG problem where measurement is performed on the plant and the measurement signals are used as input to a fully classical controller with no quantum degrees of freedom. The difference in our formulation is the presence of additional non-linear and linear constraints on the coefficients of the sought after controller, rendering the problem as a type of constrained controller design problem. Due to the presence of these constraints our problem is inherently computationally hard and this also distinguishes it in an important way from the standard LQG problem. We propose a numerical procedure for solving this problem based on an alternating projections algorithm and, as initial demonstration of the feasibility of this approach, we provide fully quantum controller design examples in which numerical solutions to the problem were successfully obtained. For comparison, we also consider the case of classical linear controllers that use direct or indirect measurements, and show that there exists a fully quantum linear controller which offers an improvement in performance over the classical ones.

quant-ph

Frequency Locking of an Optical Cavity using LQG Integral Control

This paper considers the application of integral Linear Quadratic Gaussian (LQG) optimal control theory to a problem of cavity locking in quantum optics. The cavity locking problem involves controlling the error between the laser frequency and the resonant frequency of the cavity. A model for the cavity system, which comprises a piezo-electric actuator and an optical cavity is experimentally determined using a subspace identification method. An LQG controller which includes integral action is synthesized to stabilize the frequency of the cavity to the laser frequency and to reject low frequency noise. The controller is successfully implemented in the laboratory using a dSpace DSP board.

quant-ph

Guaranteed Cost LQG Control of Uncertain Linear Quantum Stochastic Systems

In this paper, we formulate and solve a guaranteed cost control problem for a class of uncertain linear stochastic quantum systems. For these quantum systems, a connection with an associated classical (non-quantum) system is first established. Using this connection, the desired guaranteed cost results are established. The theory presented is illustrated using an example from quantum optics.

quant-ph

H-Infinity Control of Linear Quantum Stochastic Systems

The purpose of this paper is to formulate and solve a H-infinity controller synthesis problem for a class of non-commutative linear stochastic systems which includes many examples of interest in quantum technology. The paper includes results on the class of such systems for which the quantum commutation relations are preserved (such a requirement must be satisfied in a physical quantum system). A quantum version of standard (classical) dissipativity results are presented and from this a quantum version of the Strict Bounded Real Lemma is derived. This enables a quantum version of the two Riccati solution to the H-infinity control problem to be presented. This result leads to controllers which may be realized using purely quantum, purely classical or a mixture of quantum and classical elements. This issue of physical realizability of the controller is examined in detail, and necessary and sufficient conditions are given. Our results are constructive in the sense that we provide explicit formulas for the Hamiltonian function and coupling operator corresponding to the controller.

quant-ph