Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

On stability of discrete-time quantum filters

Pierre Rouchon

Published May 18, 2010• 0 citations
OpenAlex

Abstract

Fidelity is known to increase through a Kraus map: the fidelity between two density matrices is less than the fidelity between their images via a Kraus map. We prove here that, in average, the square of the fidelity is also increasing for a quantum filter: the square of the fidelity between the density matrix of the underlying Markov chain and the density matrix of its associated quantum filter is a super-martingale. Thus discrete-time quantum filters are stable processes and tend to forget their initial conditions.

Related papers

Fidelity is a Sub-Martingale for Discrete-Time Quantum Filters

Pierre Rouchon

Fidelity is known to increase through any Kraus map: the fidelity between two density matrices is less than the fidelity between their images via a Kraus map. We prove here that, in average, fidelity is also increasing for discrete-time quantum filters attached to an arbitrary Kraus map: fidelity between the density matrix of the underlying Markov chain and the density matrix of the associated quantum filter is a sub-martingale. This result is not restricted to pure states. It also holds true for mixed states.

arXiv:1005.3119•IEEE Transactions on Automatic Control•Jul 20, 2011•23 citations

Design and stability of discrete-time quantum filters with measurement imperfections

Abhinav Somaraju, I. Dotsenko, C. Sayrin +1 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 the 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.

Proceedings of the ... American Control Conference/Proceedings of the American Control Conference•Jun 1, 2012•11 citations

On stability of continuous-time quantum filters

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.

arXiv:1103.2706•IEEE Conference on Decision and Control (CDC)•Dec 1, 2011•23 citations

Some properties of quantum fidelity in infinite-dimensional quantum systems

Zhoubo Duan, Lifang Niu

In this paper, we review the infinite-dimensional version of Uhlmann’s theorem of quantum fidelity. Based on this important theorem, we derive some useful properties of quantum fidelity for infinite-dimensional quantum systems. Next, we study the fidelity in the infinite-dimensional discrete-time quantum filters associated Markov chain, and prove that it is a sub-martingale.

International Journal of Quantum Information•Apr 1, 2018•2 citations

Design and Stability of Discrete-Time Quantum Filters with Measurement Imperfections

Somaraju, Abhinav, I. Dotsenko, C. Sayrin +1 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.

arXiv:1109.5344•Sep 25, 2011•0 citations

Stability of continuous-time quantum filters with measurement imperfections

H. Amini, Clément Pellegrini, Pierre Rouchon

The fidelity between the state of a continuously observed quantum system and the state of its associated quantum filter, is shown to be always a submartingale. The observed system is assumed to be governed by a continuous-time Stochastic Master Equation (SME), driven simultaneously by Wiener and Poisson processes and that takes into account incompleteness and errors in measurements. This stability result is the continuous-time counterpart of a similar stability result already established for discrete-time quantum systems and where the measurement imperfections are modelled by a left stochastic matrix.

arXiv:1312.0418•Russian Journal of Mathematical Physics•Jul 1, 2014•21 citations
Fidelity is known to increase through a Kraus map: the fidelity between two density matrices is less than the fidelity between their images via a Kraus map. We prove here that, in average, the square of the fidelity is also increasing for a quantum filter: the square of the fidelity between the density matrix of the underlying Markov chain and the density matrix of its associated quantum filter is a super-martingale. Thus discrete-time quantum filters are stable processes and tend to forget their initial conditions.
Fidelity is known to increase through any Kraus map: the fidelity between two density matrices is less than the fidelity between their images via a Kraus map. We prove here that, in average, fidelity is also increasing for discrete-time quantum filters attached to an arbitrary Kraus map: fidelity between the density matrix of the underlying Markov chain and the density matrix of the associated quantum filter is a sub-martingale. This result is not restricted to pure states. It also holds true for mixed states.
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 the 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.
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.
The fidelity between the state of a continuously observed quantum system and the state of its associated quantum filter, is shown to be always a submartingale. The observed system is assumed to be governed by a continuous-time Stochastic Master Equation (SME), driven simultaneously by Wiener and Poisson processes and that takes into account incompleteness and errors in measurements. This stability result is the continuous-time counterpart of a similar stability result already established for discrete-time quantum systems and where the measurement imperfections are modelled by a left stochastic matrix.