• Given a linear open quantum system which is described by a Lindblad master equation, we detail the calculation of the moment evolution equations from this master equation. We stress that the moment evolution equations are well-known, but their explicit derivation from the master equation cannot be found in the literature to the best of our knowledge, and so we provide this derivation for the interested reader.
  • An approximate exponential quantum projection filtering scheme is developed for a class of open quantum systems described by Hudson- Parthasarathy quantum stochastic differential equations, aiming to reduce the computational burden associated with online calculation of the quantum filter. By using a differential geometric approach, the quantum trajectory is constrained in a finite-dimensional differentiable manifold consisting of an unnormalized exponential family of quantum density operators, and an exponential quantum projection filter is then formulated as a number of stochastic differential equations satisfied by the finite-dimensional coordinate system of this manifold. A convenient design of the differentiable manifold is also presented through reduction of the local approximation errors, which yields a simplification of the quantum projection filter equations. It is shown that the computational cost can be significantly reduced by using the quantum projection filter instead of the quantum filter. It is also shown that when the quantum projection filtering approach is applied to a class of open quantum systems that asymptotically converge to a pure state, the input-to-state stability of the corresponding exponential quantum projection filter can be established. Simulation results from an atomic ensemble system example are provided to illustrate the performance of the projection filtering scheme. It is expected that the proposed approach can be used in developing more efficient quantum control methods.
  • In this article we study physical realizability for a class of nonlinear quantum stochastic differential equations (QSDEs). Physical realizability is a property in which a QSDE corresponds to the dynamics of an open quantum system. We derive a sufficient and necessary condition for a nonlinear QSDE to be physically realizable.
  • 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 is concerned with networks of interacting linear systems at sites of a multidimensional lattice. The systems are governed by linear ODEs with constant coefficients driven by external inputs, and their internal dynamics and coupling with the other component systems are translation invariant. Such systems occur, for example, in finite-difference models of large-scale flexible structures manufactured from homogeneous materials. Using the spatio-temporal transfer function of this translation invariant network, we establish conditions for its positive realness in the sense of energy dissipation. The latter is formulated in terms of block Toeplitz bilinear forms of the input and output variables of the composite system. We also discuss quadratic stability of the network in isolation from the environment and phonon theoretic dispersion relations.
  • 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.
  • In this article, we propose a Lyapunov stability approach to analyze the convergence of the density operator of a quantum system. In contrast to many previously studied convergence analysis methods for invariant density operators which use weak convergence, in this article we analyze the convergence of density operators by considering the set of density operators as a subset of Banach space. We show that the set of invariant density operators is both closed and convex, which implies the impossibility of having multiple isolated invariant density operators. We then show how to analyze the stability of this set via a candidate Lyapunov operator.
  • Sufficient and necessary conditions for the stability of positive feedback interconnections of negative imaginary systems are derived via an integral quadratic constraint (IQC) approach. The IQC framework accommodates distributed-parameter systems with irrational transfer function representations, while generalising existing results in the literature and allowing exploitation of flexibility at zero and infinite frequencies to reduce conservatism in the analysis. The main results manifest the important property that the negative imaginariness of systems gives rise to a certain form of IQCs on positive frequencies that are bounded away from zero and infinity. Two additional sets of IQCs on the DC and instantaneous gains of the systems are shown to be sufficient and necessary for closed-loop stability along a homotopy of systems.
  • 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.
  • The identification of an unknown quantum gate is a significant issue in quantum technology. In this paper, we propose a quantum gate identification method within the framework of quantum process tomography. In this method, a series of pure states are inputted to the gate and then a fast state tomography on the output states is performed and the data are used to reconstruct the quantum gate. Our algorithm has computational complexity $O(d^3)$ with the system dimension $d$. The algorithm is compared with maximum likelihood estimation method for the running time, which shows the efficiency advantage of our method. An error upper bound is established for the identification algorithm and the robustness of the algorithm against the purity of input states is also tested. We perform quantum optical experiment on single-qubit Hadamard gate to verify the effectiveness of the identification algorithm.
  • A direct coupling coherent observer is constructed for a linear quantum plant which has oscillatory solutions. It is shown that a finite time moving average of the quantum observer output can provide an estimate of the quantum plant output without disturbing this plant signal. By choosing a sufficiently small averaging time and a sufficiently large observer gain, the observer tracking error can be made arbitrarily small.
  • 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 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 absorption of a single photon that excites a quantum system from a low to a high energy level is an elementary process of light-matter interaction, and a route towards realizing pure single-photon absorption has both fundamental and practical implications in quantum technology. Due to nonlinear optical effects, however, the probability of pure single-photon absorption is usually very low, which is particularly pertinent in the case of strong ultrafast laser pulses with broad bandwidth. Here we demonstrate theoretically a counterintuitive coherent single-photon absorption scheme by eliminating nonlinear interactions of ultrafast laser pulses with quantum systems. That is, a completely linear response of the system with respect to the spectral energy density of the incident light at the transition frequency can be obtained for all transition probabilities between 0 and 100% in a multi-level quantum systems. To that end, a new multi-objective optimization algorithm is developed to find an optimal spectral phase of an ultrafast laser pulse, which is capable of eliminating all possible nonlinear optical responses while maximizing the probability of single-photon absorption between quantum states. This work not only deepens our understanding of light-matter interactions, but also offers a new way to study photophysical and photochemical processes in the "absence" of nonlinear optical effects.
  • We study robust $H_\infty$ coherent-classical estimation for a class of physically realizable linear quantum systems with parameter uncertainties. Such a robust coherent-classical estimator, with or without coherent feedback, can yield better disturbance-to-error performance than the corresponding robust purely-classical estimator for an uncertain plant. Moreover, coherent feedback allows for such a robust coherent-classical estimator to be more robust to uncertainty in comparison to the robust classical-only estimator.
  • We consider classical estimators for a class of physically realizable linear quantum systems. Optimal estimation using a complex Kalman filter for this problem has been previously explored. Here, we study robust $H_\infty$ estimation for uncertain linear quantum systems. The estimation problem is solved by converting it to a suitably scaled $H_\infty$ control problem. The solution is obtained in the form of two algebraic Riccati equations. Relevant examples involving dynamic squeezers are presented to illustrate the efficacy of our method.
  • Quantum parameter estimation plays a key role in many fields like quantum computation, communication and metrology. Optimal estimation allows one to achieve the most precise parameter estimates, but requires accurate knowledge of the model. Any inevitable uncertainty in the model parameters may heavily degrade the quality of the estimate. It is therefore desired to make the estimation process robust to such uncertainties. Robust estimation was previously studied for a varying phase, where the goal was to estimate the phase at some time in the past, using the measurement results from both before and after that time within a fixed time interval up to current time. Here, we consider a robust guaranteed-cost filter yielding robust estimates of a varying phase in real time, where the current phase is estimated using only past measurements. Our filter minimizes the largest (worst-case) variance in the allowable range of the uncertain model parameter(s) and this determines its guaranteed cost. It outperforms in the worst case the optimal Kalman filter designed for the model with no uncertainty, that corresponds to the center of the possible range of the uncertain parameter(s). Moreover, unlike the Kalman filter, our filter in the worst case always performs better than the best achievable variance for heterodyne measurements, that we consider as the tolerable threshold for our system. Furthermore, we consider effective quantum efficiency and effective noise power, and show that our filter provides the best results by these measures in the worst case.
  • Given any covariance matrix corresponding to a so-called pure Gaussian state, a linear quantum system can be designed to achieve the assigned covariance matrix. In most cases, however, one might obtain a system that is difficult to realize in practice. In this paper, we restrict our attention to a special class of linear quantum systems, i.e., systems with diagonal passive Hamiltonian and a single dissipative channel. The practical implementation of such a system would be relatively simple. We then parametrize the class of pure Gaussian state covariance matrices that can be achieved by this particular type of linear quantum system.
  • We study a coherent-classical estimation scheme for a class of linear quantum systems, where the estimator is a mixed quantum-classical system that may or may not involve coherent feedback. We show that when the quantum plant or the quantum part of the estimator (coherent controller) is an annihilation operator only system, coherent-classical estimation without coherent feedback can provide no improvement over purely-classical estimation. Otherwise, coherent-classical estimation without feedback can be better than classical-only estimation for certain homodyne detector angles, although the former is inferior to the latter for the best choice of homodyne detector angle. Moreover, we show that coherent-classical estimation with coherent feedback is no better than classical-only estimation, when both the plant and the coherent controller are annihilation operator only systems. Otherwise, coherent-classical estimation with coherent feedback can be superior to purely-classical estimation, and in this case, the former is better than the latter for the optimal choice of homodyne detector angle.
  • 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]
  • This paper presents a survey of some new applications of algebraic Riccati equations. In particular, the paper surveys some recent results on the use of algebraic Riccati equations in testing whether a system is negative imaginary and in synthesizing state feedback controllers which make the closed loop system negative imaginary. The paper also surveys the use of Riccati equation methods in the control of quantum linear systems including coherent $H^\infty$ control.
  • This paper proposes a direct coupling coherent quantum observer for a quantum plant which consists of a two level quantum system. The quantum observer, which is a quantum harmonic oscillator, includes homodyne detection measurements. It is shown that the observer can be designed so that it does not affect the quantum variable of interest in the quantum plant and that measured output converges in a given sense to the plant variable of interest. Also, the plant variable of interest-observer system can be described by a set of linear quantum stochastic differential equations. A minimum variance unbiased estimator form of the Kalman filter is derived for linear quantum systems and applied to the direct coupled coherent quantum observer.
  • A filtering problem for a class of quantum systems disturbed by a classical stochastic process is investigated in this paper. The classical disturbance process, which is assumed to be described by a linear stochastic differential equation, is modeled by a quantum cavity model. Then the hybrid quantum-classical system is described by a combined quantum system consisting of two quantum cavity subsystems. Quantum filtering theory and a quantum extended Kalman filter method are employed to estimate the states of the combined quantum system. An estimate of the classical stochastic process is derived from the estimate of the combined quantum system. The effectiveness and performance of the proposed methods are illustrated by numerical results.
  • 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.