• The purpose of this paper is to present a network realization theory for a class of mixed quantum-classical linear stochastic systems. Two forms, the standard form and the general form, of this class of linear mixed quantum-classical systems are proposed. Necessary and sufficient conditions for their physical realizability are derived. Based on these physical realizability conditions, a network synthesis theory for this class of linear mixed quantum-classical systems is developed, which clearly exhibits the quantum component, the classical component, and their interface. An example is used to illustrate the theory presented in this paper.
  • We present a systems theory approach to the proof of a result bounding the required level of added quantum noise in a phase-insensitive quantum amplifier. We also present a synthesis procedure for constructing a quantum optical phase-insensitive quantum amplifier which adds the minimum level of quantum noise and achieves a required gain and bandwidth. This synthesis procedure is based on a singularly perturbed quantum system and leads to an amplifier involving two squeezers and two beamsplitters.
  • This paper considers links between the original risk-sensitive performance criterion for quantum control systems and its recent quadratic-exponential counterpart. We discuss a connection between the minimization of these cost functionals and robustness with respect to uncertainty in system-environment quantum states whose deviation from a nominal state is described in terms of the quantum relative entropy. These relations are similar to those in minimax LQG control for classical systems. The results of the paper can be of use in providing a rational choice of the risk-sensitivity parameter in the context of robust quantum control with entropy theoretic quantification of statistical uncertainty in the system-field state.
  • A Bell inequality is a fundamental test to rule out local hidden variable model descriptions of correlations between two physically separated systems. There have been a number of experiments in which a Bell inequality has been violated using discrete-variable systems. We demonstrate a violation of Bells inequality using continuous variable quadrature measurements. By creating a four-mode entangled state with homodyne detection, we recorded a clear violation with a Bell value of $B = 2.31 \pm 0.02$. This opens new possibilities for using continuous variable states for device independent quantum protocols.
  • This paper is concerned with risk-sensitive performance analysis for linear quantum stochastic systems interacting with external bosonic fields. We consider a cost functional in the form of the exponential moment of the integral of a quadratic polynomial of the system variables over a bounded time interval. An integro-differential equation is obtained for the time evolution of this quadratic-exponential functional, which is compared with the original quantum risk-sensitive performance criterion employed previously for measurement-based quantum control and filtering problems. Using multi-point Gaussian quantum states for the past history of the system variables and their first four moments, we discuss a quartic approximation of the cost functional and its infinite-horizon asymptotic behaviour. The computation of the asymptotic growth rate of this approximation is reduced to solving two algebraic Lyapunov equations. We also outline further approximations of the cost functional, based on higher-order cumulants and their growth rates, together with large deviations estimates. For comparison, an auxiliary classical Gaussian Markov diffusion process is considered in a complex Euclidean space which reproduces the quantum system variables at the level of covariances but has different higher-order moments relevant to the risk-sensitive criteria. The results of the paper are also demonstrated by a numerical example and may find applications to coherent quantum risk-sensitive control problems, where the plant and controller form a fully quantum closed-loop system, and other settings with nonquadratic cost functionals.
  • This paper is concerned with the generation of Gaussian invariant states in cascades of open quantum harmonic oscillators governed by linear quantum stochastic differential equations. We carry out infinitesimal perturbation analysis of the covariance matrix for the invariant Gaussian state of such a system and the related purity functional subject to inaccuracies in the energy and coupling matrices of the subsystems. This leads to the problem of balancing the state-space realizations of the component oscillators through symplectic similarity transformations in order to minimize the mean square sensitivity of the purity functional to small random perturbations of the parameters. This results in a quadratic optimization problem with an effective solution in the case of cascaded one-mode oscillators, which is demonstrated by a numerical example. We also discuss a connection of the sensitivity index with classical statistical distances and outline infinitesimal perturbation analysis for translation invariant cascades of identical oscillators. The findings of the paper are applicable to robust state generation in quantum stochastic networks.
  • This paper presents an augmented Markovian system model for non-Markovian quantum systems. In this augmented system model, ancillary systems are introduced to play the role of internal modes of the non-Markovian environment converting white noise to colored noise. Consequently, non-Markovian dynamics are represented as resulting from direct interaction of the principal system with the ancillary system. To demonstrate the utility of the proposed augmented system model, it is applied to design whitening quantum filters for non-Markovian quantum systems. Examples are presented to illustrate how whitening quantum filters can be utilized for estimating non-Markovian linear quantum systems and qubit systems. In particular, we showed that the augmented Markovian formulation can be used to theoretically model the environment for an observed non-Markovian behavior in a recent experiment on quantum dots [ Phys. Rev. Lett., 108:046807, 2012]
  • We derive the explicit analytical form of the time-dependent coupling parameter to an external field for perfect absorption of traveling single photon fields with arbitrary temporal profiles by a tunable single input-output open quantum system, which can be realized as either a single qubit or single resonator system. However, the time-dependent coupling parameter for perfect absorption has a singularity at $t=0$ and constraints on real systems prohibit a faithful physical realization of the perfect absorber. A numerical example is included to illustrate the absorber's performance under practical limitations on the coupling strength.
  • Effective state transfer is one of the most important problems in quantum information processing. Typically, a quantum information device is composed of many subsystems with multi-input ports. In this paper, we develop a general theory describing the condition for perfect state transfer from the multi-input ports to the internal system components, for general passive linear quantum systems. The key notion used is the zero of the transfer function matrix. Application to entanglement generation and distribution in a quantum network is also discussed.
  • 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.
  • We consider a basic quantum hybrid network model consisting of a number of nodes each holding a qubit, for which the aim is to drive the network to a consensus in the sense that all qubits reach a common state. Projective measurements are applied serving as control means, and the measurement results are exchanged among the nodes via classical communication channels. We show how to carry out centralized optimal path planning for this network with all-to-all classical communications, in which case the problem becomes a stochastic optimal control problem with a continuous action space. To overcome the computation and communication obstacles facing the centralized solutions, we also develop a distributed Pairwise Qubit Projection (PQP) algorithm, where pairs of nodes meet at a given time and respectively perform measurements at their geometric average. We show that the qubit states are driven to a consensus almost surely along the proposed PQP algorithm, and that the expected qubit density operators converge to the average of the network's initial values.
  • Single-photon states, which carry quantum information and coherently interact with quantum systems, are vital to the realization of all-optical engineered quantum networks. In this paper we derive the analytical form of the output field state for a large class of quantum finite-level systems driven by single-photon input field states using a transfer function approach. Single-photon pulse shaping via coherent feedback is also studied.
  • In this paper we present a linear quadratic Gaussian (LQG) feedback control strategy for a class of linear non-Markovian quantum systems. The feedback control law is designed based on the estimated states of a whitening quantum filter for an augmented Markovian model of the non-Markovian open quantum systems. In this augmented Markovian model, an ancillary system plays the role of internal modes of the environment converting white noise into Lorentzian noise and a principal system obeys non-Markovian dynamics due to the direct interaction with the ancillary system. The simulation results show the LQG controller with the whitening filter obtains a better control performance than that with a Markovian filter in the problem of minimizing the photon numbers of the principal system when the ancillary system is disturbed by thermal noise.
  • In this paper we present a Markovian representation approach to constructing quantum filters for a class of non-Markovian quantum systems disturbed by Lorenztian noise. An ancillary system is introduced to convert white noise into Lorentzian noise which is injected into a principal system via a direct interaction. The resulting dynamics of the principal system are non-Markovian, which are driven by the Lorentzian noise. By probing the principal system, a quantum filter for the augmented system can be derived from standard theory, where the conditional state of the principal system can be obtained by tracing out the ancillary system. An example is provided to illustrate the non-Markovian dynamics of the principal system.
  • Quantum control could be implemented by varying the system Hamiltonian. According to adiabatic theorem, a slowly changing Hamiltonian can approximately keep the system at the ground state during the evolution if the initial state is a ground state. In this paper we consider this process as an interpolation between the initial and final Hamiltonians. We use the mean value of a single operator to measure the distance between the final state and the ideal ground state. This measure could be taken as the error of adiabatic approximation. We prove under certain conditions, this error can be precisely estimated for an arbitrarily given interpolating function. This error estimation could be used as guideline to induce adiabatic evolution. According to our calculation, the adiabatic approximation error is not proportional to the average speed of the variation of the system Hamiltonian and the inverse of the energy gaps in many cases. In particular, we apply this analysis to an example on which the applicability of the adiabatic theorem is questionable.
  • Control by dissipation, or environment engineering, constitutes an important methodology within quantum coherent control which was proposed to improve the robustness and scalability of quantum control systems. The system-environment coupling, often considered to be detrimental to quantum coherence, also provides the means to steer the system to desired states. This paper aims to develop the theory for engineering of the dissipation, based on a ground-state Lyapunov stability analysis of open quantum systems via a Heisenberg-picture approach. Algebraic conditions concerning the ground-state stability and scalability of quantum systems are obtained. In particular, Lyapunov stability conditions expressed as operator inequalities allow a purely algebraic treatment of the environment engineering problem, which facilitates the integration of quantum components into a large-scale quantum system and draws an explicit connection to the classical theory of vector Lyapunov functions and decomposition-aggregation methods for control of complex systems. The implications of the results in relation to dissipative quantum computing and state engineering are also discussed in this paper.
  • We previously extended Luenberger's approach for observer design to the quantum case, and developed a class of coherent observers which tracks linear quantum stochastic systems in the sense of mean values. In light of the fact that the Luenberger observer is commonly and successfully applied in classical control, it is interesting to investigate the role of coherent observers in quantum feedback. As the first step in exploring observer-based coherent control, in this paper we study pole-placement techniques for quantum systems using coherent observers, and in such a fashion, poles of a closed-loop quantum system can be relocated at any desired locations. In comparison to classical feedback control design incorporating the Luenberger observer, here direct coupling between a quantum plant and the observer-based controller are allowed to enable a greater degree of freedom for the design of controller parameters. A separation principle is presented, and we show how to design the observer and feedback independently to be consistent with the laws of quantum mechanics. The proposed scheme is applicable to coherent feedback control of quantum systems, especially when the transient dynamic response is of interest, and this issue is illustrated in an example.
  • In this paper, a quantum filter for estimating the states of a non-Markovian qubit system is presented in an augmented Markovian system framework including both the qubit system of interest and multi-ancillary systems for representing the internal modes of the non-Markovian environment. The colored noise generated by the multi-ancillary systems disturbs the qubit system via a direct interaction. The resulting non-Markovian dynamics of the qubit is determined by a memory kernel function arising from the dynamics of the ancillary system. In principle, colored noise with arbitrary power spectrum can be generated by a combination of Lorentzian noises. Hence, the quantum filter can be constructed for the qubit disturbed by arbitrary colored noise and the conditional state of the qubit system can be obtained by tracing out the multi-ancillary systems. An illustrative example is given to show the non-Markovian dynamics of the qubit system with Lorentzian noise.
  • The purpose of this paper is to study the problem of generalizing the Belavkin-Kalman filter to the case where the classical measurement signal is replaced by a fully quantum non-commutative output signal. We formulate a least mean squares estimation problem that involves a non-commutative system as the filter processing the non-commutative output signal. We solve this estimation problem within the framework of non-commutative probability. Also, we find the necessary and sufficient conditions which make these non-commutative estimators physically realizable. These conditions are restrictive in practice.
  • In quantum optimal control theory, kinematic bounds are the minimum and maximum values of the control objective achievable for any physically realizable system dynamics. For a given initial state of the system, these bounds depend on the nature and state of the controller. We consider a general situation where the controlled quantum system is coupled to both an external classical field (referred to as a classical controller) and an auxiliary quantum system (referred to as a quantum controller). In this general situation, the kinematic bound is between the classical kinematic bound (CKB), corresponding to the case when only the classical controller is available, and the quantum kinematic bound (QKB), corresponding to the ultimate physical limit of the objective's value. Specifically, when the control objective is the expectation value of a quantum observable (a Hermitian operator on the system's Hilbert space), the QKBs are the minimum and maximum eigenvalues of this operator. We present, both qualitatively and quantitatively, the necessary and sufficient conditions for surpassing the CKB and reaching the QKB, through the use of a quantum controller. The general conditions are illustrated by examples in which the system and controller are initially in thermal states. The obtained results provide a basis for the design of quantum controllers capable of maximizing the control yield and reaching the ultimate physical limit.
  • In this paper, we investigate the evolution of the network entropy for consensus dynamics in classical or quantum networks. We show that in the classical case, the network entropy decreases at the consensus limit if the node initial values are i.i.d. Bernoulli random variables, and the network differential entropy is monotonically non-increasing if the node initial values are i.i.d. Gaussian. While for quantum consensus dynamics, the network's von Neumann entropy is in contrast non-decreasing. In light of this inconsistency, we compare several gossiping algorithms with random or deterministic coefficients for classical or quantum networks, and show that quantum gossiping algorithms with deterministic coefficients are physically related to classical gossiping algorithms with random coefficients.
  • In this paper, we propose feedback designs for manipulating a quantum state to a target state by performing sequential measurements. In light of Belavkin's quantum feedback control theory, for a given set of (projective or non-projective) measurements and a given time horizon, we show that finding the measurement selection policy that maximizes the probability of successful state manipulation is an optimal control problem for a controlled Markovian process. The optimal policy is Markovian and can be solved by dynamical programming. Numerical examples indicate that making use of feedback information significantly improves the success probability compared to classical scheme without taking feedback. We also consider other objective functionals including maximizing the expected fidelity to the target state as well as minimizing the expected arrival time. The connections and differences among these objectives are also discussed.
  • In this paper, we study a general linear networked system that contains a tunable memory subsystem; that is, it is decoupled from an optical field for state transportation during the storage process, while it couples to the field during the writing or reading process. The input is given by a single photon state or a coherent state in a pulsed light field. We then completely and explicitly characterize the condition required on the pulse shape achieving the perfect state transfer from the light field to the memory subsystem. The key idea to obtain this result is the use of zero-dynamics principle, which in our case means that, for perfect state transfer, the output field during the writing process must be a vacuum. A useful interpretation of the result in terms of the transfer function is also given. Moreover, a four-nodes network composed of atomic ensembles is studied as an example, demonstrating how the input field state is transferred to the memory subsystem and how the input pulse shape to be engineered for perfect memory looks like.
  • Quantum Markovian systems, modeled as unitary dilations in the quantum stochastic calculus of Hudson and Parthasarathy, have become standard in current quantum technological applications. This paper investigates the stability theory of such systems. Lyapunov-type conditions in the Heisenberg picture are derived in order to stabilize the evolution of system operators as well as the underlying dynamics of the quantum states. In particular, using the quantum Markov semigroup associated with this quantum stochastic differential equation, we derive sufficient conditions for the existence and stability of a unique and faithful invariant quantum state. Furthermore, this paper proves the quantum invariance principle, which extends the LaSalle invariance principle to quantum systems in the Heisenberg picture. These results are formulated in terms of algebraic constraints suitable for engineering quantum systems that are used in coherent feedback networks.
  • 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.