
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, 1620 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
squaredfield (cometric) 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 MayerWolf 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 GisinPercival
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
decoherencefree modes, quantumnondemolition modes, quantummechanicsfree
subsystems, and backaction 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 multimode 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 inputoutput 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
photoncounting 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 WickStratonovich 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
representationfree.

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 multiphoton 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 filterplussystem 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 multiinputmultioutput quantum
linear passive systems is derived, which is closely related to its
controllability and observability decomposition. Two realizations, namely the
independentoscillator realization and the chainmode realization, are proposed
for singleinputsingleoutput quantum linear passive systems, and it is shown
that under the assumption of minimal realization, the independentoscillator
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 semigroups)
by Baez and Fong. We show how to extend these results to the fully quantum
setting of quantum Markov dynamics. For finitedimensional 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 semigroups, we are able to characterise
the constants of the motion under quantum Markov evolutions in the
infinitedimensional 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 decoherencefree for the purpose of qubit storage. The qubit
memory can then be switched between writing/readout 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 readout 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 optomechanical 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 nontrivial 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 inputoutput 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 unidirectional 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 bidirectional. Mathematically this leads
us to study quantum feedback networks where fields arrive at ports in
inputoutput pairs, which is then just a specially case of the unidirectional
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 matrixvalued. Furthermore, it is shown that
this class of continuous matrix product states include the (continuousmode)
single photon and timeordered multiphoton 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.