A Karhunen-Loeve expansion for one-mode open quantum harmonic oscillators using the eigenbasis of the two-point commutator kernel

This paper considers one-mode open quantum harmonic oscillators with a pair of conjugate position and momentum variables driven by vacuum bosonic fields according to a linear quantum stochastic differential equation. Such systems model cavity resonators in quantum optical experiments. Assuming that the quadratic Hamiltonian of the oscillator is specified by a positive definite energy matrix, we consider a modified version of the quantum Karhunen-Loeve expansion of the system variables proposed recently. The expansion employs eigenvalues and eigenfunctions of the two-point commutator kernel for linearly transformed system variables. We take advantage of the specific structure of this eigenbasis in the one-mode case (including its connection with the classical Ornstein-Uhlenbeck process). These results are applied to computing quadratic-exponential cost functionals which provide robust performance criteria for risk-sensitive control of open quantum systems.Comment: 9 pages, accepted to the 2019 Australian and New Zealand Control Conference (ANZCC 2019), Auckland University of Technology, Auckland, New Zealand, 27-29 November 201

A Girsanov type representation of quadratic-exponential cost functionals for linear quantum stochastic systems

This paper is concerned with multimode open quantum harmonic oscillators and quadratic-exponential functionals (QEFs) as quantum risk-sensitive performance criteria. Such systems are described by linear quantum stochastic differential equations driven by multichannel bosonic fields. We develop a finite-horizon expansion for the system variables using the eigenbasis of their two-point commutator kernel with noncommuting position-momentum pairs as coefficients. This quantum Karhunen-Loeve expansion is used in order to obtain a Girsanov type representation for the quadratic-exponential functions of the system variables. This representation is valid regardless of a particular system-field state and employs the averaging over an auxiliary classical Gaussian random process whose covariance operator is defined in terms of the quantum commutator kernel. We use this representation in order to relate the QEF to the moment-generating functional of the system variables. This result is also specified for the invariant multipoint Gaussian quantum state when the oscillator is driven by vacuum fields.Comment: 12 pages, submitted to the European Control Conference (ECC 2020), 12-15 May 2020, Saint Petersburg, Russi

Frequency-domain computation of quadratic-exponential cost functionals for linear quantum stochastic systems

This paper is concerned with quadratic-exponential functionals (QEFs) as risk-sensitive performance criteria for linear quantum stochastic systems driven by multichannel bosonic fields. Such costs impose an exponential penalty on quadratic functions of the quantum system variables over a bounded time interval, and their minimization secures a number of robustness properties for the system. We use an integral operator representation of the QEF, obtained recently, in order to compute its asymptotic infinite-horizon growth rate in the invariant Gaussian state when the stable system is driven by vacuum input fields. The resulting frequency-domain formulas express the QEF growth rate in terms of two spectral functions associated with the real and imaginary parts of the quantum covariance kernel of the system variables. We also discuss the computation of the QEF growth rate using homotopy and contour integration techniques and provide two illustrations including a numerical example with a two-mode oscillator.Comment: 8 pages, 3 figures, submitted to the 21st IFAC World Congress, Berlin, Germany, July 12-17, 202

Measurement-based feedback control of linear quantum stochastic systems with quadratic-exponential criteria

This paper is concerned with a risk-sensitive optimal control problem for a feedback connection of a quantum plant with a measurement-based classical controller. The plant is a multimode open quantum harmonic oscillator driven by a multichannel quantum Wiener process, and the controller is a linear time invariant system governed by a stochastic differential equation. The control objective is to stabilize the closed-loop system and minimize the infinite-horizon asymptotic growth rate of a quadratic-exponential functional (QEF) which penalizes the plant variables and the controller output. We combine a frequency-domain representation of the QEF growth rate, obtained recently, with variational techniques and establish first-order necessary conditions of optimality for the state-space matrices of the controller.Comment: 8 pages, 1 figure, submitted to the 21st IFAC World Congress, Berlin, Germany, July 12-17, 202

Quadratic-exponential functionals of Gaussian quantum processes

This paper is concerned with exponential moments of integral-of-quadratic functions of quantum processes with canonical commutation relations of position-momentum type. Such quadratic-exponential functionals (QEFs) arise as robust performance criteria in control problems for open quantum harmonic oscillators (OQHOs) driven by bosonic fields. We develop a randomised representation for the QEF using a Karhunen-Loeve expansion of the quantum process on a bounded time interval over the eigenbasis of its two-point commutator kernel, with noncommuting position-momentum pairs as coefficients. This representation holds regardless of a particular quantum state and employs averaging over an auxiliary classical Gaussian random process whose covariance operator is specified by the commutator kernel. This allows the QEF to be related to the moment-generating functional of the quantum process and computed for multipoint Gaussian states. For stationary Gaussian quantum processes, we establish a frequency-domain formula for the QEF rate in terms of the Fourier transform of the quantum covariance kernel in composition with trigonometric functions. A differential equation is obtained for the QEF rate with respect to the risk sensitivity parameter for its approximation and numerical computation. The QEF is also applied to large deviations and worst-case mean square cost bounds for OQHOs in the presence of statistical uncertainty with a quantum relative entropy description.Comment: 25 pages, submitted to Infinite Dimensional Analysis, Quantum Probability and Related Topic