-
Convergence of bipartite open quantum systems stabilized by reservoir engineering
Authors:
Rémi Robin,
Pierre Rouchon,
Lev-Arcady Sellem
Abstract:
We study a generic family of Lindblad master equations modeling bipartite open quantum systems, where one tries to stabilize a quantum system by carefully designing its interaction with another, dissipative, quantum system-a strategy known as quantum reservoir engineering. We provide sufficient conditions for convergence of the considered Lindblad equations; our setting accommodates the case where…
▽ More
We study a generic family of Lindblad master equations modeling bipartite open quantum systems, where one tries to stabilize a quantum system by carefully designing its interaction with another, dissipative, quantum system-a strategy known as quantum reservoir engineering. We provide sufficient conditions for convergence of the considered Lindblad equations; our setting accommodates the case where steady-states are not unique but rather supported on a given subspace of the underlying Hilbert space. We apply our result to a Lindblad master equation modeling engineered multi-photon emission and absorption processes, a setting that received considerable attention in recent years due to its potential applications for the stabilization of so-called cat qubits.
△ Less
Submitted 28 November, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
Asymptotic expansions of Laplace integrals for quantum state tomography
Authors:
Pierre Six,
Pierre Rouchon
Abstract:
Bayesian estimation of a mixed quantum state can be approximated via maximum likelihood (MaxLike) estimation when the likelihood function is sharp around its maximum. Such approximations rely on asymptotic expansions of multi-dimensional Laplace integrals. When this maximum is on the boundary of the integration domain, as it is the case when the MaxLike quantum state is not full rank, such expansi…
▽ More
Bayesian estimation of a mixed quantum state can be approximated via maximum likelihood (MaxLike) estimation when the likelihood function is sharp around its maximum. Such approximations rely on asymptotic expansions of multi-dimensional Laplace integrals. When this maximum is on the boundary of the integration domain, as it is the case when the MaxLike quantum state is not full rank, such expansions are not standard. We provide here such expansions, even when this maximum does not belong to the smooth part of the boundary, as it is the case when the rank deficiency exceeds two. These expansions provide, aside the MaxLike estimate of the quantum state, confidence intervals for any observable. They confirm the formula proposed and used without precise mathematical justifications by the authors in an article recently published in Physical Review A.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Well-posedness and convergence of the Lindblad master equation for a quantum harmonic oscillator with multi-photon drive and damping
Authors:
Remi Azouit,
Alain Sarlette,
Pierre Rouchon
Abstract:
We consider the model of a quantum harmonic oscillator governed by a Lindblad master equation where the typical drive and loss channels are multi-photon processes instead of single-photon ones; this implies a dissipation operator of order 2k with integer k>1 for a k-photon process. We prove that the corresponding PDE makes the state converge, for large time, to an invariant subspace spanned by a s…
▽ More
We consider the model of a quantum harmonic oscillator governed by a Lindblad master equation where the typical drive and loss channels are multi-photon processes instead of single-photon ones; this implies a dissipation operator of order 2k with integer k>1 for a k-photon process. We prove that the corresponding PDE makes the state converge, for large time, to an invariant subspace spanned by a set of k selected basis vectors; the latter physically correspond to so-called coherent states with the same amplitude and uniformly distributed phases. We also show that this convergence features a finite set of bounded invariant functionals of the state (physical observables), such that the final state in the invariant subspace can be directly predicted from the initial state. The proof includes the full arguments towards the well-posedness of the corresponding dynamics in proper Banach spaces of Hermitian trace-class operators equipped with adapted nuclear norms. It relies on the Hille-Yosida theorem and Lyapunov convergence analysis.
△ Less
Submitted 17 June, 2016; v1 submitted 12 November, 2015;
originally announced November 2015.
-
Design and Stability of Discrete-Time Quantum Filters with Measurement Imperfections
Authors:
Abhinav Somaraju,
Igor Dotsenko,
Clement Sayrin,
Pierre Rouchon
Abstract:
This work considers the theory underlying a discrete-time quantum filter recently used in a quantum feedback experiment. It proves that this filter taking into account decoherence and measurement errors is optimal and stable. We present the general framework underlying this filter and show that it corresponds to a recursive expression of the least-square optimal estimation of the density operator…
▽ More
This work considers the theory underlying a discrete-time quantum filter recently used in a quantum feedback experiment. It proves that this filter taking into account decoherence and measurement errors is optimal and stable. We present the general framework underlying this filter and show that it corresponds to a recursive expression of the least-square optimal estimation of the density operator in the presence of measurement imperfections. By measurement imperfections, we mean in a very general sense unread measurement performed by the environment (decoherence) and active measurement performed by non-ideal detectors. However, we assume to know precisely all the Kraus operators and also the detection error rates. Such recursive expressions combine well known methods from quantum filtering theory and classical probability theory (Bayes' law). We then demonstrate that such a recursive filter is always stable with respect to its initial condition: the fidelity between the optimal filter state (when the initial filter state coincides with the real quantum state) and the filter state (when the initial filter state is arbitrary) is a sub-martingale.
△ Less
Submitted 27 September, 2011; v1 submitted 25 September, 2011;
originally announced September 2011.
-
Semi-Global Approximate stabilization of an infinite dimensional quantum stochastic system
Authors:
Ram Somaraju,
Mazyar Mirrahimi,
Pierre Rouchon
Abstract:
In this paper we study the semi-global (approximate) state feedback stabilization of an infinite dimensional quantum stochastic system towards a target state. A discrete-time Markov chain on an infinite-dimensional Hilbert space is used to model the dynamics of a quantum optical cavity. We can choose an (unbounded) strict Lyapunov function that is minimized at each time-step in order to prove (wea…
▽ More
In this paper we study the semi-global (approximate) state feedback stabilization of an infinite dimensional quantum stochastic system towards a target state. A discrete-time Markov chain on an infinite-dimensional Hilbert space is used to model the dynamics of a quantum optical cavity. We can choose an (unbounded) strict Lyapunov function that is minimized at each time-step in order to prove (weak-$\ast$) convergence of probability measures to a final state that is concentrated on the target state with (a pre-specified) probability that may be made arbitrarily close to 1. The feedback parameters and the Lyapunov function are chosen so that the stochastic flow that describes the Markov process may be shown to be tight (concentrated on a compact set with probability arbitrarily close to 1). We then use Prohorov's theorem and properties of the Lyapunov function to prove the desired convergence result.
△ Less
Submitted 21 March, 2011; v1 submitted 9 March, 2011;
originally announced March 2011.
-
Real-time synchronization feedbacks for single-atom frequency standards
Authors:
Mazyar Mirrahimi,
Pierre Rouchon
Abstract:
Simple feedback loops, inspired from extremum-seeking, are proposed to lock a probe-frequency to the transition frequency of a single quantum system following quantum Monte-Carlo trajectories. Two specific quantum systems are addressed, a 2-level one and a 3-level one that appears in coherence population trapping and optical pumping. For both systems, the feedback algorithm is shown to be conver…
▽ More
Simple feedback loops, inspired from extremum-seeking, are proposed to lock a probe-frequency to the transition frequency of a single quantum system following quantum Monte-Carlo trajectories. Two specific quantum systems are addressed, a 2-level one and a 3-level one that appears in coherence population trapping and optical pumping. For both systems, the feedback algorithm is shown to be convergent in the following sense: the probe frequency converges in average towards the system-transition one and its standard deviation can be made arbitrarily small. Closed-loop simulations illustrate robustness versus jump-detection efficiency and modeling errors.
△ Less
Submitted 9 September, 2009; v1 submitted 9 June, 2008;
originally announced June 2008.
-
Singular perturbations and Lindblad-Kossakowski differential equations
Authors:
Mazyar Mirrahimi,
Pierre Rouchon
Abstract:
We consider an ensemble of quantum systems whose average evolution is described by a density matrix, solution of a Lindblad-Kossakowski differential equation. We focus on the special case where the decoherence is only due to a highly unstable excited state and where the spontaneously emitted photons are measured by a photo-detector. We propose a systematic method to eliminate the fast and asympt…
▽ More
We consider an ensemble of quantum systems whose average evolution is described by a density matrix, solution of a Lindblad-Kossakowski differential equation. We focus on the special case where the decoherence is only due to a highly unstable excited state and where the spontaneously emitted photons are measured by a photo-detector. We propose a systematic method to eliminate the fast and asymptotically stable dynamics associated to the excited state in order to obtain another differential equation for the slow part. We show that this slow differential equation is still of Lindblad-Kossakowski type, that the decoherence terms and the measured output depend explicitly on the amplitudes of quasi-resonant applied field, i.e., the control. Beside a rigorous proof of the slow/fast (adiabatic) reduction based on singular perturbation theory, we also provide a physical interpretation of the result in the context of coherence population trapping via dark states and decoherence-free subspaces. Numerical simulations illustrate the accuracy of the proposed approximation for a 5-level systems.
△ Less
Submitted 10 January, 2008;
originally announced January 2008.
-
Observer-based Hamiltonian identification for quantum systems
Authors:
Mazyar Mirrahimi,
Pierre Rouchon
Abstract:
An observer-based Hamiltonian identification algorithm for quantum systems is proposed. For the 2-level case an exponential convergence result based on averaging arguments and some relevant transformations is provided. The convergence for multi-level cases is discussed using some heuristic arguments and the relevance of the method is tested via simulations. Finally, the robustness issue with res…
▽ More
An observer-based Hamiltonian identification algorithm for quantum systems is proposed. For the 2-level case an exponential convergence result based on averaging arguments and some relevant transformations is provided. The convergence for multi-level cases is discussed using some heuristic arguments and the relevance of the method is tested via simulations. Finally, the robustness issue with respect to non-negligible uncertainties and experimental noises is also addressed on simulations.
△ Less
Submitted 7 March, 2007;
originally announced March 2007.
