• ### Quantum Linear Coherent Controller Synthesis: A Linear Fractional Representation Approach(1703.07531)

March 22, 2017 quant-ph, math.OC
This paper is concerned with a linear fractional representation approach to the synthesis of linear coherent quantum controllers for a given linear quantum plant. The plant and controller represent open quantum harmonic oscillators and are modelled by linear quantum stochastic differential equations. The feedback 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 all stabilizing quantum controllers is parameterized in the frequency domain. Coherent quantum weighted H_2 and H_\infty control problems for linear quantum systems are formulated in the frequency domain. Finally, a projected gradient descent scheme is outlined for the coherent quantum weighted H_2 control problem.
• ### A Numerical Approach to Optimal Coherent Quantum LQG Controller Design Using Gradient Descent(1609.07590)

Sept. 24, 2016 quant-ph, math.OC, cs.SY
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.
• ### A Modified Frequency Domain Condition for the Physical Realizability of Linear Quantum Stochastic Systems(1609.07595)

Sept. 24, 2016 quant-ph, math-ph, math.MP
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.
• ### Decentralized Coherent Quantum Control Design for Translation Invariant Linear Quantum Stochastic Networks with Direct Coupling(1509.02228)

Sept. 7, 2015 quant-ph, math-ph, math.MP, math.OC
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.
• ### Covariance Dynamics and Entanglement in Translation Invariant Linear Quantum Stochastic Networks(1505.02286)

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.
• ### Parameterization of Stabilizing Linear Coherent Quantum Controllers(1503.02118)

March 7, 2015 quant-ph, math.OC, cs.SY
This paper is concerned with application of the classical Youla-Ku\v{c}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.
• ### Robust Mean Square Stability of Open Quantum Stochastic Systems with Hamiltonian Perturbations in a Weyl Quantization Form(1503.02122)

March 7, 2015 quant-ph, math.OC, cs.SY
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.
• ### A Gradient Descent Approach to Optimal Coherent Quantum LQG Controller Design(1502.00274)

Feb. 1, 2015 quant-ph, math.OC, cs.CE, cs.SY
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.