Related papers: Factorization of Linear Quantum Systems with Delay…
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…
The mathematical theory of quantum feedback networks has recently been developed for general open quantum dynamical systems interacting with bosonic input fields. In this article we show, for the special case of linear dynamical systems…
Recently, it has been demonstrated that an arbitrary linear quantum stochastic system can be realized as a cascade connection of simpler one degree of freedom quantum harmonic oscillators together with a direct interaction Hamiltonian which…
The problem of linear equivalence for a general class of nonlinear systems, is examined throughout this paper. A relevant algorithm is developed, based on a factorization procedure. This factorization is based on the star-product, an…
We present an elementary derivation and generalisation of a recently reported method of simulating feedback in open quantum systems. We use our generalised method to simulate systems with multiple delays, as well as cascaded systems with…
Enabled by rapidly developing quantum technologies, it is possible to network quantum systems at a much larger scale in the near future. To deal with non-Markovian dynamics that is prevalent in solid-state devices, we propose a general…
Time-delayed quantum feedback is a fast and efficient method to control and stabilize few and many-body quantum systems. However, a proper understanding of such systems stays opaque due to the non-Markovian nature of the feedback protocol.…
Networks of open quantum systems with feedback have become an active area of research for applications such as quantum control, quantum communication and coherent information processing. A canonical formalism for the interconnection of open…
The issue of realization of the transfer functions of Linear Quantum Stochastic Systems (LQSSs) is of fundamental importance for the practical applications of such systems, especially as coherent controllers for other quantum systems. So…
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of…
We introduce the notion of cascade connection of multiparametric discrete time-invariant linear dynamical systems with unit delay. This allows us to construct the explicit example of conservative realization of a decomposable…
We introduce stochastic and quantum finite-state transducers as computation-theoretic models of classical stochastic and quantum finitary processes. Formal process languages, representing the distribution over a process's behaviors, are…
We consider quantum quenches in integrable systems where complete factorisation of scattering, transmission and particle creation processes is assumed at all times. We show that under this assumption, the simultaneous transmission and…
A quantum network is an open system consisting of several component Markovian input-output subsystems interconnected by boson field channels carrying quantum stochastic signals. Generalizing the work of Chebotarev and Gregoratti, we…
We investigate the feasibility of extracting infinite volume scattering phase shift on quantum computers in a simple one-dimensional quantum mechanical model, using the formalism established in Ref.~\cite{Guo:2023ecc} that relates the…
The realization of transfer functions of Linear Quantum Stochastic Systems (LQSSs) is an issue of fundamental importance for the practical applications of such systems, especially as coherent controllers for other quantum systems. In this…
A theory of time-delayed coherent quantum feedback is developed. More specifically, we consider a quantum system coupled to a bosonic reservoir creating a unidirectional feedback loop. It is shown that the dynamics can be mapped onto a…
Recent theoretical and experimental investigations of coherent feedback control, the feedback control of a quantum system with another quantum system, has raised the important problem of how to synthesize a class of quantum systems, called…
The purpose of this paper is to present simple and general algebraic methods for describing series connections in quantum networks. These methods build on and generalize existing methods for series (or cascade) connections by allowing for…
Feedback is an essential composition operator in many classes of reactive and other systems. This paper studies feedback in the context of compositional theories with refinement. Such theories allow to reason about systems on a…