Pierre Rouchon

Hadis Amini, Mazyar Mirrahimi, Pierre Rouchon

We prove that the fidelity between the quantum state governed by a continuous time stochastic master equation driven by a Wiener process and its associated quantum-filter state is a sub-martingale. This result is a generalization to non-pure quantum states where fidelity does not coincide in general with a simple Frobenius inner product. This result implies the stability of such filtering process but does not necessarily ensure the asymptotic convergence of such quantum-filters.

Hadis Amini, Pierre Rouchon, Mazyar Mirrahimi

We consider discrete-time quantum systems subject to Quantum Non-Demolition (QND) measurements and controlled by an adjustable unitary evolution between two successive QND measures. In open-loop, such QND measurements provide a non-deterministic preparation tool exploiting the back-action of the measurement on the quantum state. We propose here a systematic method based on elementary graph theory and inversion of Laplacian matrices to construct strict control-Lyapunov functions. This yields an appropriate feedback law that stabilizes globally the system towards a chosen target state among the open-loop stable ones, and that makes in closed-loop this preparation deterministic. We illustrate such feedback laws through simulations corresponding to an experimental setup with QND photon counting.

Pierre Rouchon

At the quantum level, feedback-loops have to take into account measurement back-action. We present here the structure of the Markovian models including such back-action and sketch two stabilization methods: measurement-based feedback where an open quantum system is stabilized by a classical controller; coherent or autonomous feedback where a quantum system is stabilized by a quantum controller with decoherence (reservoir engineering). We begin to explain these models and methods for the photon box experiments realized in the group of Serge Haroche (Nobel Prize 2012). We present then these models and methods for general open quantum systems.

AlKassem Jebai, Francois Malrait, Philippe Martin et al.

We propose a parametric model of the saturated Permanent-Magnet Synchronous Motor (PMSM) together with an estimation method of the magnetic parameters. The model is based on an energy function which simply encompasses the saturation effects. Injection of fast-varying pulsating voltages and measurements of the resulting current ripples then permit to identify the magnetic parameters by linear least squares. Experimental results on a surface-mounted PMSM and an interoir magnet PMSM illustrate the relevance of the approach.

Ram Somaraju, Mazyar Mirrahimi, Pierre Rouchon

We propose a feedback scheme for preparation of photon number states in a microwave cavity. Quantum Non-Demolition (QND) measurements of the cavity field and a control signal consisting of a microwave pulse injected into the cavity are used to drive the system towards a desired target photon number state. Unlike previous work, we do not use the Galerkin approximation of truncating the infinite-dimensional system Hilbert space into a finite-dimensional subspace. We use an (unbounded) strict Lyapunov function and prove that a feedback scheme that minimizes the expectation value of the Lyapunov function at each time step stabilizes the system at the desired photon number state with (a pre-specified) arbitrarily high probability. Simulations of this scheme demonstrate that we improve the performance of the controller by reducing "leakage" to high photon numbers.

Claude Le Bris, Pierre Rouchon, Julien Roussel

We present a twofold contribution to the numerical simulation of Lindblad equations. First, an adaptive numerical approach to approximate Lindblad equations using low-rank dynamics is described: a deterministic low-rank approximation of the density operator is computed, and its rank is adjusted dynamically, using an on-the-fly estimator of the error committed when reducing the dimension. On the other hand, when the intrinsic dimension of the Lindblad equation is too high to allow for such a deterministic approximation, we combine classical ensemble averages of quantum Monte Carlo trajectories and a denoising technique. Specifically, a variance reduction method based upon the consideration of a low-rank dynamics as a control variate is developed. Numerical tests for quantum collapse and revivals show the efficiency of each approach, along with the complementarity of the two approaches.

Pascal Combes, François Malrait, Philippe Martin et al.

This paper proposes a method based on signal injection to obtain the saturated current-flux relations of a PMSM from locked-rotor experiments. With respect to the classical method based on time integration, it has the main advantage of being completely independent of the stator resistance; moreover, it is less sensitive to voltage biases due to the power inverter, as the injected signal may be fairly large.

Ram Somaraju, Mazyar Mirrahimi, Pierre Rouchon

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.

Rémi Robin, Pierre Rouchon

This paper analyzes the numerical approximation of the Lindblad master equation on infinite-dimensional Hilbert spaces. We employ a classical Galerkin approach for spatial discretization and investigate the convergence of the discretized solution to the exact solution. Using \textit{a priori} estimates, we derive explicit convergence rates and demonstrate the effectiveness of our method through examples motivated by autonomous quantum error correction.

Paul-Louis Etienney, Rémi Robin, Pierre Rouchon

We are interested in the simulation of open quantum systems governed by the Lindblad master equation in an infinite-dimensional Hilbert space. To simulate the solution of this equation, the standard approach involves two sequential approximations: first, we truncate the Hilbert space to derive a differential equation in a finite-dimensional subspace. Then, we use discrete time-step to obtain a numerical solution to the finite-dimensional evolution. In this paper, we establish bounds for these two approximations that can be explicitly computed to guarantee the accuracy of the numerical results. Through numerical examples, we demonstrate the efficiency of our method, empirically highlighting the tightness of the upper bound. While adaptive time-stepping is already a common practice in the time discretization of the Lindblad equation, we extend this approach by showing how to dynamically adjust the truncation of the Hilbert space. This enables fully adaptive simulations of the density matrix. For large-scale simulations, this approach can significantly reduce computational time and relieves users of the challenge of selecting an appropriate truncation. Furthermore, as a special case, our method naturally applies to Hamiltonian (unitary) dynamics.

Carlos Eduardo de Brito Novaes, Paulo Sergio Pereira da Silva, Pierre Rouchon

In this paper we exploit some interesting properties of a class of bipedal robots which have an inertial disc. One of this properties is the ability to control every position and speed except for the disc position. The proposed control is designed in two hierarchic levels. The first will drive the robot geometry, while the second will control the speed and also the angular momentum. The exponential stability of this approach is proved around some neighborhood of the nominal trajectory defining the geometry of the step. This control will not spend energy to adjust the disc position and neither to synchronize the trajectory with the time. The proposed control only takes action to correct the essential aspects of the walking gait. Computational simulations are presented for different conditions, serving as a empirical test for the neighborhood of attraction.