• The following notes are based on lectures delivered at the research school Modeling and Control of Open Quantum Systems (Mod\'{e}lisation et contr\^{o}le des syst\`{e}mes quantiques ouverts) at CIRM, Marseille, 16-20 April, 2018, as part of the Trimester \textit{Measurement and Control of Quantum Systems: Theory and Experiments} organized at Institut Henri Poincar\'{e}, Paris, France. The aim is to introduce quantum filtering to an audience with a background in either quantum theory or classical filtering.
  • Filtering theory gives an explicit models for the flow of information and thereby quantifies the rates of change of information supplied to and dissipated from the filter's memory. Here we extend the analysis of Mitter and Newton from linear Gaussian models to general nonlinear filters involving Markov diffusions.The rates of entropy production are now generally the average squared-field (co-metric) of various logarithmic probability densities, which may be interpreted as Fisher information associate with Gaussian perturbations (via de Bruijn's identity). We show that the central connection is made through the Mayer-Wolf and Zakai Theorem for the rate of change of the mutual information between the filtered state and the observation history. In particular, we extend this Theorem to cover a Markov diffusion controlled by observations process, which may be interpreted as the filter acting as a Maxwell's Daemon applying feedback to the system.
  • We show that the quantum state diffusion equation of Gisin and Percival, driven by complex Wiener noise, is equivalent up to a global stochastic phase to quantum trajectory models. With an appropriate feedback scheme, we set up an analogue continuous measurement model with exactly simulates the Gisin-Percival quantum state diffusion.
  • This paper studies the Kalman decomposition for linear quantum systems. Contrary to the classical case, the coordinate transformation used for the decomposition must belong to a specific class of transformations as a consequence of the laws of quantum mechanics. We propose a construction method for such transformations that put the system in a Kalman canonical form. Furthermore, we uncover an interesting structure for the obtained decomposition. In the case of passive systems, it is shown that there exist only controllable/observable and uncontrollable/unobservable subsystems. In the general case, controllable/unobservable and uncontrollable/observable subsystems may also be present, but their respective system variables must be conjugate variables of each other. This decomposition naturally exposes decoherence-free modes, quantum-nondemolition modes, quantum-mechanics-free subsystems, and back-action evasion measurements in the quantum system, which are useful resources for quantum information processing, and quantum measurements. The theory developed is applied to physical examples.
  • A scheme making use of an isolated feedback loop was recently proposed in \cite{GP_} for creating an arbitrary bilinear Hamiltonian interaction between two multi-mode Linear Quantum Stochastic Systems (LQSSs). In this work we examine the presence of an isolated feedback loop in a general SLH network, and derive the modified Hamiltonian of the network due to the presence of the loop. In the case of a bipartite network with an isolated loop running through both parts, this results in modified Hamiltonians for each subnetwork, as well as a Hamiltonian interaction between them. As in the LQSS case, by engineering appropriate ports in each subnetwork, we may create desired interactions between them. Examples are provided that illustrate the general theory.
  • The concept of a controlled flow of a dynamical system, especially when the controlling process feeds information back about the system, is of central importance in control engineering. In this paper we build on the ideas presented by Bouten and van Handel (L. Bouten, R. van Handel, "On the separation principle of quantum control", in Quantum Stochastics and Information: Statistics, Filtering and Control, World Scientific, 2008) and develop a general theory of quantum feedback. We elucidate the relationship between the controlling processes $Z$ and the measured process $Y$, and to this end make a distinction between what we call the input picture and the output picture. We should that the input-output relations for the noise fields have additional terms not present in the standard theory, but that the relationship between the control processes and measured processes themselves are internally consistent - we do this for the two main cases of quadrature measurement and photon-counting measurement. The theory is general enough to include a modulating filter which processes the measurement readout $Y$ before returning to the system. This opens up the prospect of applying very general engineering feedback control techniques to open quantum systems in a systematic manner, and we consider a number of specific modulating filter problems. Finally, we give a brief argument as to why most of the rules for making instantaneous feedback connections (J. Gough, M.R. James, "Quantum Feedback Networks: Hamiltonian Formulation", Commun. Math. Phys., 287, 1109, 2009) ought to apply for controlled dynamical networks as well.
  • We give a concrete description of a controlled quantum stochastic dynamical model corresponding to a quantum system (a cavity mode) under going continual quadrature measurements, with a PID controller acting on the filtered estimate for the mode operator. Central use is made of the input and output pictures when constructing the model: these unitarily equivalent pictures are presented in the paper, and used to transfer concepts relating to the controlled internal dynamics to those relating to measurement output, and vice versa. The approach shows the general principle for investigating mathematically and physically consistent models in which standard control theoretic methods are to be extended to the quantum setting.
  • We give an explicit construction for a quantum observer coherently mimicking the dynamics of a cavity mode system and without any disturbance of the system's dynamics. This gives the exact analogue of the Luenberger observer used in controller design in engineering
  • We present the theory for connecting quantum Markov components into a network with quantum input processes in a Gaussian state (including thermal and squeezed), not necessarily vacuum fields.One would expect on physical grounds that the connection rules should be independent of the state of the input to the network. To compute statistical properties, we use a version of Wicks' Theorem involving fictitious vacuum fields (Fock space based representation of the fields) and while this aids computation, and gives a rigorous formulation, the various representations need not be unitarily equivalent. In particular, a naive application of the connection rules would lead to the wrong answer. We establish the correct interconnection rules, and show that while the quantum stochastic differential equations of motion display explicitly the covariances (thermal and squeezing parameters) of the Gaussian input fields We introduce the Wick-Stratonovich form which leads to a way of writing these equations that does not depend on these covariances and so corresponds to the universal equations written in terms of formal quantum input processes. We show that a wholly consistent theory of quantum open systems in series can be developed in this way, and as required physically, is universal and in particular representation-free.
  • The purpose of this paper is to examine stochastic Markovian models for circuits in phase space for which the drift term is equivalent to the standard circuit equations. In particular we include dissipative components corresponding to both a resistor and a memristor in series. We obtain a dilation of the problem for which is canonical in the sense that the underlying Poisson Brackets structure is preserved under the stochastic flow. We do this first of all for standard Wiener noise, but also treat the problem using a new concept of symplectic noise where the Poisson structure is extended to the noise as well as the circuit variables, and in particular where we have canonically conjugate noises. Finally we construct a dilation which describes the quantum mechanical analogue.
  • The behaviour of quantum open systems, and their output response, when driven by quantum input noise in a nonclassical state is of key importance to quantum technology. Here we give explicit constructions of quantum modulating filters which generate desired nonclassical states (coherent states, cat states, shaped single and multi-photon states) of quantum optical fields from vacuum noise input. The nonclassical state features (coherence, entanglement, Fock state, etc.) of the modulating filter, itself a linear passive open system, are transferred to the continuous variable output field state. The filter dynamics may additionally shape the output to obtain specific target states. It is shown that the open dynamics of a general quantum Markov system driven by these nonclassical inputs is equivalent to the cascaded filter-plus-system model with vacuum field inputs.
  • The purpose of this paper is to study the realization theory of quantum linear systems. It is shown that for a general quantum linear system its controllability and observability are equivalent and they can be checked by means of a simple matrix rank condition. Based on controllability and observability a specific realization is proposed for general quantum linear systems in which an uncontrollable and unobservable subspace is identified. When restricted to the passive case, it is found that a realization is minimal if and only if it is Hurwitz stable. Computational methods are proposed to find the cardinality of minimal realizations of a quantum linear passive system. It is found that the transfer function of a quantum linear passive system $G$ can be written as a fractional form in terms of a matrix function $\Sigma$; moreover, $G$ is lossless bounded real if and only if $\Sigma$ is lossless positive real. A type of realization for multi-input-multi-output quantum linear passive systems is derived, which is closely related to its controllability and observability decomposition. Two realizations, namely the independent-oscillator realization and the chain-mode realization, are proposed for single-input-single-output quantum linear passive systems, and it is shown that under the assumption of minimal realization, the independent-oscillator realization is unique, and these two realizations are related to the lossless positive real matrix function $\Sigma$.
  • Noether's Theorem on constants of the motion of dynamical systems has recently been extended to classical dissipative systems (Markovian semi-groups) by Baez and Fong. We show how to extend these results to the fully quantum setting of quantum Markov dynamics. For finite-dimensional Hilbert spaces, we construct a mapping from observables to CP maps that leads to the natural analogue of their criterion of commutativity with the infinitesimal generator of the Markov dynamics. Using standard results on the relaxation of states to equilibrium under quantum dynamical semi-groups, we are able to characterise the constants of the motion under quantum Markov evolutions in the infinite-dimensional setting under the usual assumption of existence of a stationary strictly positive density matrix. In particular, the Noether constants are identified with the fixed point of the Heisenberg picture semigroup.
  • In this paper, we show that quantum memory for qudit states encoded in a single photon pulsed optical field has a conceptually simple modular realization using only passive linear optics and coherent feedback. We exploit the idea that two decaying optical cavities can be coupled in a coherent feedback configuration to create an internal mode of the coupled system which is isolated and decoherence-free for the purpose of qubit storage. The qubit memory can then be switched between writing/read-out mode and storage mode simply by varying the routing of certain freely propagating optical fields in the network. It is then shown that the qubit memories can be interconnected with one another to form a qudit quantum memory. We explain each of the phase of writing, storage, and read-out for this modular quantum memory scheme. The results point a way towards modular architectures for complex compound quantum memories.
  • The aim of this paper is to derive the global Hamiltonian form for a quantum system and bath, or more generally a quantum network with multiple quantum input field connections, based on the local descriptions. We give a new simple argument which shows that the global Hamiltonian for a single Markov component arises as the singular perturbation of the free translation operator. We show that the Fermi analogue takes an equivalent form provided the parity of the coefficients is correctly specified. This allows us to immediately extend the theory of quantum feedback networks to Fermi systems.
  • The derivation of a quantum Markovian model for an opto-mechanical system consisting of a quantum mechanical mirror interacting with quantum optical input fields via radiation pressure is difficult problem which ultimately involves the scattering process of quantum stochastic calculus. We show that while the scattering process may be approximated in a singular limit by regular processes using different schemes, however the limit model is highly sensitive to how the approximation scheme is interpreted mathematically. We find two main types of stochastic limits of regular models, and illustrate the origin of this difference at the level of one particle scattering. As an alternative modelling scheme, we consider models of mirrors as non-trivial dielectric medium with a boundary that is itself quantized. Rather than treating the plane waves for the electromagnetic field, we take the actual physical modes and quantize these. The input-output formalism is then obtained in the far zone where the plane wave approximation is valid. Several examples are considered, and the quantum stochastic model is derived. We also consider the quantum trajectories problem for continual measurement of the reflect output fields, and derive the stochastic master equations for homodyning and photon counting detection to estimate the mirror observables.
  • Quantum feedback networks have been introduced in quantum optics as a set of rules for constructing arbitrary networks of quantum mechanical systems connected by uni-directional quantum optical fields, and has allowed for a system theoretic approach to open quantum optics systems. Our aim here is to establish a network theory for quantum transport systems where typically the mediating fields between systems are bi-directional. Mathematically this leads us to study quantum feedback networks where fields arrive at ports in input-output pairs, which is then just a specially case of the uni-directional theory. However, it is conceptually important to develop this theory in the context of quantum transport theory, and the resulting theory extends traditional approaches which tends to view the components in quantum transport as scatterers for the various fields, in the process allows us to consider emission and absorption of field quanta by these components. The quantum feedback network theory is applicable to both Bose and Fermi fields, moreover it applies to nonlinear dynamics for the component systems. In this first paper on the subject, we advance the general theory, but study the case of linear passive quantum components in some detail.
  • We introduce a new class of continuous matrix product (CMP) states and establish the stochastic master equations (quantum filters) for an arbitrary quantum system probed by a bosonic input field in this class of states. We show that this class of CMP states arise naturally as outputs of a Markovian model, and that input fields in these states lead to master and filtering (quantum trajectory) equations which are matrix-valued. Furthermore, it is shown that this class of continuous matrix product states include the (continuous-mode) single photon and time-ordered multi-photon states.
  • We show that, for arbitrary quantum feedback networks consisting of several quantum mechanical components connected by quantum fields, the limit of adiabatic elimination of fast oscillator modes in the components and the limit of instantaneous transmission along internal quantum field connections commute. The underlying technique is to show that both limits involve a Schur complement procedure. The result shows that the frequently used approximations, for instance to eliminate strongly coupled optical cavities, are mathematically consistent.