-
Quantum trajectory of the one atom maser
Authors:
Tristan Benoist,
Laurent Bruneau,
Clément Pellegrini
Abstract:
The evolution of a quantum system undergoing repeated indirect measurements naturally leads to a Markov chain on the set of states which is called a quantum trajectory. In this paper we consider a specific model of such a quantum trajectory associated to the one-atom maser model. It describes the evolution of one mode of the quantized electromagnetic field in a cavity interacting with two-level at…
▽ More
The evolution of a quantum system undergoing repeated indirect measurements naturally leads to a Markov chain on the set of states which is called a quantum trajectory. In this paper we consider a specific model of such a quantum trajectory associated to the one-atom maser model. It describes the evolution of one mode of the quantized electromagnetic field in a cavity interacting with two-level atoms. When the system is non-resonant we prove that this Markov chain admits a unique invariant probability measure. We moreover prove convergence in the Wasserstein metric towards this invariant measure. These results rely on a purification theorem: almost surely the state of the system approaches the set of pure states. Compared to similar results in the literature, the system considered here is infinite dimensional. While existence of an invariant measure is a consequence of the compactness of the set of states in finite dimension, in infinite dimension existence of an invariant measure is not free. Furthermore usual purification criterions in finite dimension have no straightforward equivalent in infinite dimension.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
Algebra of Nonlocal Boxes and the Collapse of Communication Complexity
Authors:
Pierre Botteron,
Anne Broadbent,
Reda Chhaibi,
Ion Nechita,
Clément Pellegrini
Abstract:
Communication complexity quantifies how difficult it is for two distant computers to evaluate a function f(X,Y), where the strings X and Y are distributed to the first and second computer respectively, under the constraint of exchanging as few bits as possible. Surprisingly, some nonlocal boxes, which are resources shared by the two computers, are so powerful that they allow to collapse communicat…
▽ More
Communication complexity quantifies how difficult it is for two distant computers to evaluate a function f(X,Y), where the strings X and Y are distributed to the first and second computer respectively, under the constraint of exchanging as few bits as possible. Surprisingly, some nonlocal boxes, which are resources shared by the two computers, are so powerful that they allow to collapse communication complexity, in the sense that any Boolean function f can be correctly estimated with the exchange of only one bit of communication. The Popescu-Rohrlich (PR) box is an example of such a collapsing resource, but a comprehensive description of the set of collapsing nonlocal boxes remains elusive.
In this work, we carry out an algebraic study of the structure of wirings connecting nonlocal boxes, thus defining the notion of the "product of boxes" $P\boxtimes Q$, and we show related associativity and commutativity results. This gives rise to the notion of the "orbit of a box", unveiling surprising geometrical properties about the alignment and parallelism of distilled boxes. The power of this new framework is that it allows us to prove previously-reported numerical observations concerning the best way to wire consecutive boxes, and to numerically and analytically recover recently-identified noisy PR boxes that collapse communication complexity for different types of noise models.
△ Less
Submitted 14 June, 2024; v1 submitted 1 December, 2023;
originally announced December 2023.
-
Exponential Selection and Feedback Stabilization of Invariant Subspaces of Quantum Trajectories
Authors:
Nina H. Amini,
Maël Bompais,
Clément Pellegrini
Abstract:
We show that quantum trajectories become exponentially fast supported by one of their minimal invariant subspaces. Exponential convergence is shown in expectation using Lyapunov techniques. The proof is based on an in-depth study of the identifiability of the probability distributions generated in the different subspaces. We furthermore introduce a feedback control strategy that allows for the tar…
▽ More
We show that quantum trajectories become exponentially fast supported by one of their minimal invariant subspaces. Exponential convergence is shown in expectation using Lyapunov techniques. The proof is based on an in-depth study of the identifiability of the probability distributions generated in the different subspaces. We furthermore introduce a feedback control strategy that allows for the targeted convergence towards a desired subspace. This convergence is also achieved at exponential speed.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
A physical noise model for quantum measurements
Authors:
Faedi Loulidi,
Ion Nechita,
Clément Pellegrini
Abstract:
In this paper we introduce a novel noise model for quantum measurements motivated by an indirect measurement scheme with faulty preparation. Averaging over random dynamics governing the interaction between the quantum system and a probe, a natural, physical noise model emerges. We compare it to existing noise models (uniform and depolarizing) in the framework of incompatibility robustness. We obse…
▽ More
In this paper we introduce a novel noise model for quantum measurements motivated by an indirect measurement scheme with faulty preparation. Averaging over random dynamics governing the interaction between the quantum system and a probe, a natural, physical noise model emerges. We compare it to existing noise models (uniform and depolarizing) in the framework of incompatibility robustness. We observe that our model allows for larger compatibility regions for specific classes of measurements.
△ Less
Submitted 19 May, 2024; v1 submitted 31 May, 2023;
originally announced May 2023.
-
Limit theorems for Quantum Trajectories
Authors:
Tristan Benoist,
Jan-Luka Fatras,
Clément Pellegrini
Abstract:
Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Under purification and irreducibility assumptions, these Markov processes admit a unique invariant measure - see Benoist et al. Probab. Theory Relat. Fields 2019. In this article we prove, finer limit theorems such as Law of Large Numbers (LLN), Functional Central Li…
▽ More
Quantum trajectories are Markov processes modeling the evolution of a quantum system subjected to repeated independent measurements. Under purification and irreducibility assumptions, these Markov processes admit a unique invariant measure - see Benoist et al. Probab. Theory Relat. Fields 2019. In this article we prove, finer limit theorems such as Law of Large Numbers (LLN), Functional Central Limit Theorem, Law of Iterated Logarithm and Moderate Deviation Principle. The proof of the LLN is based on Birkhoff's ergodic theorem and an analysis of harmonic functions. The other theorems are proved using martingale approximation of empirical sums.
△ Less
Submitted 12 July, 2023; v1 submitted 13 February, 2023;
originally announced February 2023.
-
The Asymmetric Quantum Cloning Region
Authors:
Ion Nechita,
Clément Pellegrini,
Denis Rochette
Abstract:
Quantum cloning is a fundamental protocol of quantum information theory. Perfect universal quantum cloning is prohibited by the laws of quantum mechanics, only imperfect copies being reachable. Symmetric quantum cloning is concerned with case when the quality of the clones is identical. In this work, we study the general case of $1 \to N$ asymmetric cloning, where one asks for arbitrary qualities…
▽ More
Quantum cloning is a fundamental protocol of quantum information theory. Perfect universal quantum cloning is prohibited by the laws of quantum mechanics, only imperfect copies being reachable. Symmetric quantum cloning is concerned with case when the quality of the clones is identical. In this work, we study the general case of $1 \to N$ asymmetric cloning, where one asks for arbitrary qualities of the clones. We characterize, for all Hilbert space dimensions and number of clones, the set of all possible clone qualities. This set is realized as the nonnegative part of the unit ball of a newly introduced norm, which we call the $\mathcal{Q}$-norm. We also provide a closed form expression for the quantum cloner achieving a given clone quality vector. Our analysis relies on the Schur-Weyl duality and on the study of the spectral properties of partially transposed permutation operators.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Parameter Estimation for Quantum Trajectories: Convergence Result
Authors:
Maël Bompais,
Nina H. Amini,
Clément Pellegrini
Abstract:
A quantum trajectory describes the evolution of a quantum system undergoing indirect measurement. In the discrete-time setting, the state of the system is updated by applying Kraus operators according to the measurement results. From an experimental perspective, these Kraus operators can depend on unknown physical parameters p. An interesting and powerful method has been proposed in [1] to estimat…
▽ More
A quantum trajectory describes the evolution of a quantum system undergoing indirect measurement. In the discrete-time setting, the state of the system is updated by applying Kraus operators according to the measurement results. From an experimental perspective, these Kraus operators can depend on unknown physical parameters p. An interesting and powerful method has been proposed in [1] to estimate a parameter in a finite set; however, complete results of convergence were lacking. This article fills this gap by rigorously showing the consistency of the method, whereas there was only numerical evidence so far. When the parameter belongs to a continuous set, we propose an algorithm to approach its value and show simulation results.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
A geometrical description of the universal $1 \to 2$ asymmetric quantum cloning region
Authors:
Ion Nechita,
Clément Pellegrini,
Denis Rochette
Abstract:
We consider the problem of determining the achievable region of parameters for universal $1 \to 2$ asymmetric quantum cloning. Measuring the cloning performance with the figure of merit of singlet fraction, we show that the physical region is a union of ellipses in the plane. Equivalently, we characterize the parameter region of quantum state compatibility of two possibly different isotropic state…
▽ More
We consider the problem of determining the achievable region of parameters for universal $1 \to 2$ asymmetric quantum cloning. Measuring the cloning performance with the figure of merit of singlet fraction, we show that the physical region is a union of ellipses in the plane. Equivalently, we characterize the parameter region of quantum state compatibility of two possibly different isotropic states, considering, for the first time, negative singlet fractions.
△ Less
Submitted 17 June, 2021;
originally announced June 2021.
-
On stability of quantum trajectories and their Cesaro mean
Authors:
Nina H. Amini,
Maël Bompais,
Clément Pellegrini
Abstract:
We address the question of stability of quantum trajectories, also referred as quantum filters}. We determine the limit of the quantum fidelity between the true quantum trajectory and the {estimated one}. Under a purification assumption we show that this limit equals to one meaning that quantum filters are stable. In the general case, under an identifiability and a spectral assumption we show that…
▽ More
We address the question of stability of quantum trajectories, also referred as quantum filters}. We determine the limit of the quantum fidelity between the true quantum trajectory and the {estimated one}. Under a purification assumption we show that this limit equals to one meaning that quantum filters are stable. In the general case, under an identifiability and a spectral assumption we show that the limit of the Cesaro mean of the estimated trajectory is the same as the true one.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
Emergence of jumps in quantum trajectories via homogeneization
Authors:
Tristan Benoist,
Cédric Bernardin,
Raphaël Chetrite,
Reda Chhaibi,
Joseph Najnudel,
Clément Pellegrini
Abstract:
In the strong noise regime, we study the homogeneization of quantum trajectories i.e. stochastic processes appearing in the context of quantum measurement.
When the generator of the average semi-group can be separated into three distinct time scales, we start by describing a homogenized limiting semi-group. This result is of independent interest and is formulated outside of the scope of quantum…
▽ More
In the strong noise regime, we study the homogeneization of quantum trajectories i.e. stochastic processes appearing in the context of quantum measurement.
When the generator of the average semi-group can be separated into three distinct time scales, we start by describing a homogenized limiting semi-group. This result is of independent interest and is formulated outside of the scope of quantum trajectories.
Going back to the quantum context, we show that, in the Meyer-Zheng topology, the time-continuous quantum trajectories converge weakly to the discontinuous trajectories of a pure jump Markov process. Notably, this convergence cannot hold in the usual Skorokhod topology.
△ Less
Submitted 25 October, 2021; v1 submitted 2 March, 2021;
originally announced March 2021.
-
Classical Noises Emerging from Quantum Environments
Authors:
Stephane Attal,
Julien Deschamps,
Clement Pellegrini
Abstract:
In the framework of quantum open systems, that is, simple quantum systems coupled to quantum baths, our aim is to characterize those actions of the quantum environment which give rise to dynamics dictated by classical noises. First, we consider the discrete time scheme, through the model of repeated quantum interactions. We explore those unitary interactions which make the environment acting as if…
▽ More
In the framework of quantum open systems, that is, simple quantum systems coupled to quantum baths, our aim is to characterize those actions of the quantum environment which give rise to dynamics dictated by classical noises. First, we consider the discrete time scheme, through the model of repeated quantum interactions. We explore those unitary interactions which make the environment acting as if it were a classical noise, that is, dynamics which ought to random walks on the unitary group of the small system. We show that this characterization is intimately related to the notion of complex obtuse random variables. These particular random variables have an associated 3-tensor whose symmetries make it diagonalizable in some orthonormal basis. We show how this diagonalisation entirely describes the behavior of the random walk associated to the action of the environment. In particular this 3-tensor and its diagonalization characterize the behavior of the continuous-time limits; they characterize the directions along which the limit process is of diffusive or of Poisson nature.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Invariant measure for stochastic Schrödinger equations
Authors:
Tristan Benoist,
Martin Fraas,
Yan Pautrat,
Clément Pellegrini
Abstract:
Quantum trajectories are Markov processes that describe the time-evolution of a quantum system undergoing continuous indirect measurement. Mathematically, they are defined as solutions of the so-called "Stochastic Schrödinger Equations", which are nonlinear stochastic differential equations driven by Poisson and Wiener processes. This paper is devoted to the study of the invariant measures of quan…
▽ More
Quantum trajectories are Markov processes that describe the time-evolution of a quantum system undergoing continuous indirect measurement. Mathematically, they are defined as solutions of the so-called "Stochastic Schrödinger Equations", which are nonlinear stochastic differential equations driven by Poisson and Wiener processes. This paper is devoted to the study of the invariant measures of quantum trajectories. Particularly, we prove that the invariant measure is unique under an ergodicity condition on the mean time evolution, and a "purification" condition on the generator of the evolution. We further show that quantum trajectories converge in law exponentially fast towards this invariant measure. We illustrate our results with examples where we can derive explicit expressions for the invariant measure.
△ Less
Submitted 21 March, 2020; v1 submitted 19 July, 2019;
originally announced July 2019.
-
Recurrence and transience of continuous-time open quantum walks
Authors:
Ivan Bardet,
Hugo Bringuier,
Yan Pautrat,
Clement Pellegrini
Abstract:
This paper is devoted to the study of continuous-time processes known as continuous-time open quantum walks (CTOQWs). A CTOQW represents the evolution of a quantum particle constrained to move on a discrete graph, but also has internal degrees of freedom modeled by a state (in the quantum mechanical sense), and contain as a special case continuous-time Markov chains on graphs. Recurrence and trans…
▽ More
This paper is devoted to the study of continuous-time processes known as continuous-time open quantum walks (CTOQWs). A CTOQW represents the evolution of a quantum particle constrained to move on a discrete graph, but also has internal degrees of freedom modeled by a state (in the quantum mechanical sense), and contain as a special case continuous-time Markov chains on graphs. Recurrence and transience of a vertex are an important notion in the study of Markov chains, and it is known that all vertices must be of the same nature if the Markov chain is irreducible. In the present paper we address the corresponding results in the context of irreducible CTOQWs. Because of the "quantum" internal degrees of freedom, CTOQWs exhibit non standard behavior, and the classification of recurrence and transience properties obeys a "trichotomy" rather than the classical dichotomy. Essential tools in this paper are the so-called "quantum trajectories" which are jump stochastic differential equations which can be associated with CTOQWs.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
Quantum non demolition measurements: parameter estimation for mixtures of multinomials
Authors:
Tristan Benoist,
F Gamboa,
C Pellegrini
Abstract:
In Quantum Non Demolition measurements, the sequence of observations is distributed as a mixture of multinomial random variables. Parameters of the dynamics are naturally encoded into this family of distributions. We show the local asymptotic mixed normality of the underlying statistical model and the consistency of the maximum likelihood estimator. Furthermore, we prove the asymptotic optimality…
▽ More
In Quantum Non Demolition measurements, the sequence of observations is distributed as a mixture of multinomial random variables. Parameters of the dynamics are naturally encoded into this family of distributions. We show the local asymptotic mixed normality of the underlying statistical model and the consistency of the maximum likelihood estimator. Furthermore, we prove the asymptotic optimality of this estimator as it saturates the usual Cramér Rao bound.
△ Less
Submitted 19 July, 2017;
originally announced July 2017.
-
Invariant Measure for Quantum Trajectories
Authors:
Tristan Benoist,
Martin Fraas,
Yan Pautrat,
Clément Pellegrini
Abstract:
We study a class of Markov chains that model the evolution of a quantum system subject to repeated measurements. Each Markov chain in this class is defined by a measure on the space of matrices. It is then given by a random product of correlated matrices taken from the support of the defining measure. We give natural conditions on this support that imply that the Markov chain admits a unique invar…
▽ More
We study a class of Markov chains that model the evolution of a quantum system subject to repeated measurements. Each Markov chain in this class is defined by a measure on the space of matrices. It is then given by a random product of correlated matrices taken from the support of the defining measure. We give natural conditions on this support that imply that the Markov chain admits a unique invariant probability measure. We moreover prove the geometric convergence towards this invariant measure in the Wasserstein metric. Standard techniques from the theory of products of random matrices cannot be applied under our assumptions, and new techniques are developed, such as maximum likelihood-type estimations.
△ Less
Submitted 31 March, 2017;
originally announced March 2017.
-
Exponential Stability of Subspaces for Quantum Stochastic Master Equations
Authors:
Tristan Benoist,
Clément Pellegrini,
Francesco Ticozzi
Abstract:
We study the stability of quantum pure states and, more generally, subspaces for stochastic dynamics that describe continuously--monitored systems. We show that the target subspace is almost surely invariant if and only if it is invariant for the average evolution, and that the same equivalence holds for the global asymptotic stability. Moreover, we prove that a strict linear Lyapunov function for…
▽ More
We study the stability of quantum pure states and, more generally, subspaces for stochastic dynamics that describe continuously--monitored systems. We show that the target subspace is almost surely invariant if and only if it is invariant for the average evolution, and that the same equivalence holds for the global asymptotic stability. Moreover, we prove that a strict linear Lyapunov function for the average evolution always exists, and latter can be used to derive sharp bounds on the Lyapunov exponents of the associated semigroup. Nonetheless, we also show that taking into account the measurements can lead to an improved bound on stability rate for the stochastic, non-averaged dynamics. We discuss explicit examples where the almost sure stability rate can be made arbitrary large while the average one stays constant.
△ Less
Submitted 17 January, 2017; v1 submitted 2 December, 2015;
originally announced December 2015.
-
On some classes of bipartite unitary operators
Authors:
Julien Deschamps,
Ion Nechita,
Clement Pellegrini
Abstract:
We investigate unitary operators acting on a tensor product space, with the property that the quantum channels they generate, via the Stinespring dilation theorem, are of a particular type, independently of the state of the ancilla system in the Stinespring relation. The types of quantum channels we consider are those of interest in quantum information theory: unitary conjugations, constant channe…
▽ More
We investigate unitary operators acting on a tensor product space, with the property that the quantum channels they generate, via the Stinespring dilation theorem, are of a particular type, independently of the state of the ancilla system in the Stinespring relation. The types of quantum channels we consider are those of interest in quantum information theory: unitary conjugations, constant channels, unital channels, mixed unitary channels, PPT channels, and entanglement breaking channels. For some of the classes of bipartite unitary operators corresponding to the above types of channels, we provide explicit characterizations, necessary and/or sufficient conditions for membership, and we compute the dimension of the corresponding algebraic variety. Inclusions between these classes are considered, and we show that for small dimensions, many of these sets are identical.
△ Less
Submitted 7 October, 2015; v1 submitted 22 September, 2015;
originally announced September 2015.
-
Optimized Effective Potential for Quantum Electrodynamical Time-Dependent Density Functional Theory
Authors:
Camilla Pellegrini,
Johannes Flick,
Ilya V. Tokatly,
Heiko Appel,
Angel Rubio
Abstract:
We propose a practical approximation to the exchange-correlation functional of (time-dependent) density functional theory for many-electron systems coupled to photons. The (time non-local) optimized effective potential (OEP) equation for the electron- photon system is derived. We test the new approximation in the Rabi model from weak to strong coupling regimes. It is shown that the OEP (i) improve…
▽ More
We propose a practical approximation to the exchange-correlation functional of (time-dependent) density functional theory for many-electron systems coupled to photons. The (time non-local) optimized effective potential (OEP) equation for the electron- photon system is derived. We test the new approximation in the Rabi model from weak to strong coupling regimes. It is shown that the OEP (i) improves the classical description, (ii) reproduces the quantitative behavior of the exact ground-state properties and (iii) accurately captures the dynamics entering the ultra-strong coupling regime. The present formalism opens the path to a first-principles description of correlated electron-photon systems, bridging the gap between electronic structure methods and quantum optics for real material applications.
△ Less
Submitted 15 December, 2014;
originally announced December 2014.
-
Complex Obtuse Random Walks and their Continuous-Time Limits
Authors:
S. Attal,
J. Deschamps,
C. Pellegrini
Abstract:
We study a particular class of complex-valued random variables and their associated random walks: the complex obtuse random variables. They are the generalization to the complex case of the real-valued obtuse random variables which were introduced in \cite{A-E} in order to understand the structure of normal martingales in $\RR^n$.The extension to the complex case is mainly motivated by considerati…
▽ More
We study a particular class of complex-valued random variables and their associated random walks: the complex obtuse random variables. They are the generalization to the complex case of the real-valued obtuse random variables which were introduced in \cite{A-E} in order to understand the structure of normal martingales in $\RR^n$.The extension to the complex case is mainly motivated by considerations from Quantum Statistical Mechanics, in particular for the seek of a characterization of those quantum baths acting as classical noises. The extension of obtuse random variables to the complex case is far from obvious and hides very interesting algebraical structures. We show that complex obtuse random variables are characterized by a 3-tensor which admits certain symmetries which we show to be the exact 3-tensor analogue of the normal character for 2-tensors (i.e. matrices), that is, a necessary and sufficient condition for being diagonalizable in some orthonormal basis. We discuss the passage to the continuous-time limit for these random walks and show that they converge in distribution to normal martingales in $\CC^N$. We show that the 3-tensor associated to these normal martingales encodes their behavior, in particular the diagonalization directions of the 3-tensor indicate the directions of the space where the martingale behaves like a diffusion and those where it behaves like a Poisson process. We finally prove the convergence, in the continuous-time limit, of the corresponding multiplication operators on the canonical Fock space, with an explicit expression in terms of the associated 3-tensor again.
△ Less
Submitted 27 February, 2014; v1 submitted 13 December, 2013;
originally announced December 2013.
-
Entanglement of Bipartite Quantum Systems driven by Repeated Interactions
Authors:
S. Attal,
J. Deschamps,
C. Pellegrini
Abstract:
We consider a non-interacting bipartite quantum system $\mathcal H_S^A\otimes\mathcal H_S^B$ undergoing repeated quantum interactions with an environment modeled by a chain of independant quantum systems interacting one after the other with the bipartite system. The interactions are made so that the pieces of environment interact first with $\mathcal H_S^A$ and then with $\mathcal H_S^B$. Even tho…
▽ More
We consider a non-interacting bipartite quantum system $\mathcal H_S^A\otimes\mathcal H_S^B$ undergoing repeated quantum interactions with an environment modeled by a chain of independant quantum systems interacting one after the other with the bipartite system. The interactions are made so that the pieces of environment interact first with $\mathcal H_S^A$ and then with $\mathcal H_S^B$. Even though the bipartite systems are not interacting, the interactions with the environment create an entanglement. We show that, in the limit of short interaction times, the environment creates an effective interaction Hamiltonian between the two systems. This interaction Hamiltonian is explicitly computed and we show that it keeps track of the order of the successive interactions with $\mathcal H_S^A$ and $\mathcal H_S^B$. Particular physical models are studied, where the evolution of the entanglement can be explicitly computed. We also show the property of return of equilibrium and thermalization for a family of examples.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Stability of continuous-time quantum filters with measurement imperfections
Authors:
Hadis Amini,
Clement Pellegrini,
Pierre Rouchon
Abstract:
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…
▽ More
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 modeled by a left stochastic matrix.
△ Less
Submitted 2 December, 2013;
originally announced December 2013.
-
Large Time Behaviour and Convergence Rate for Non Demolition Quantum Trajectories
Authors:
Tristan Benoist,
Clement Pellegrini
Abstract:
A quantum system S undergoing continuous time measurement is usually described by a jump-diffusion stochastic differential equation. Such an equation is called a stochastic master equation and its solution is called a quantum trajectory. This solution describes actually the evolution of the state of S. In the context of Quantum Non Demolition measurement, we investigate the large time behavior of…
▽ More
A quantum system S undergoing continuous time measurement is usually described by a jump-diffusion stochastic differential equation. Such an equation is called a stochastic master equation and its solution is called a quantum trajectory. This solution describes actually the evolution of the state of S. In the context of Quantum Non Demolition measurement, we investigate the large time behavior of this solution. It is rigorously shown that, for large time, this solution behaves as if a direct Von Neumann measurement has been performed at time 0. In particular the solution converges to a random pure state which is related to the wave packet reduction postulate. Using theory of Girsanov transformation, we determine precisely the exponential rate of convergence towards this random state. The important problem of state estimation (used in experiment) is also investigated.
△ Less
Submitted 6 June, 2013;
originally announced June 2013.
-
A universal set of qubit quantum channels
Authors:
Daniel Braun,
Olivier Giraud,
Ion Nechita,
Clement Pellegrini,
Marko Znidaric
Abstract:
We investigate the set of quantum channels acting on a single qubit. We provide an alternative, compact generalization of the Fujiwara-Algoet conditions for complete positivity to non-unital qubit channels, which we then use to characterize the possible geometric forms of the pure output of the channel. We provide universal sets of quantum channels for all unital qubit channels as well as for all…
▽ More
We investigate the set of quantum channels acting on a single qubit. We provide an alternative, compact generalization of the Fujiwara-Algoet conditions for complete positivity to non-unital qubit channels, which we then use to characterize the possible geometric forms of the pure output of the channel. We provide universal sets of quantum channels for all unital qubit channels as well as for all extremal (not necessarily unital) qubit channels, in the sense that all qubit channels in these sets can be obtained by concatenation of channels in the corresponding universal set. We also show that our universal sets are essentially minimal.
△ Less
Submitted 6 March, 2014; v1 submitted 3 June, 2013;
originally announced June 2013.
-
Quantum trajectories: memory and continuous observation
Authors:
A. Barchielli,
C. Pellegrini,
F. Petruccione
Abstract:
Starting from a generalization of the quantum trajectory theory (based on the stochastic Schrödinger equation - SSE), non-Markovian models of quantum dynamics are derived. In order to describe non-Markovian effects, the approach used in this article is based on the introduction of random coefficients in the usual linear SSE. A major interest is that this allows to develop a consistent theory of qu…
▽ More
Starting from a generalization of the quantum trajectory theory (based on the stochastic Schrödinger equation - SSE), non-Markovian models of quantum dynamics are derived. In order to describe non-Markovian effects, the approach used in this article is based on the introduction of random coefficients in the usual linear SSE. A major interest is that this allows to develop a consistent theory of quantum measurement in continuous time for these non-Markovian quantum trajectory models. In this context, the notions of instrument, a priori and a posteriori states are rigorously described. The key point is that by starting from a stochastic equation on the Hilbert space of the system, we are able to respect the complete positivity of the mean dynamics for the statistical operator and the requirements of the axioms of quantum measurement theory. The flexibility of the theory is next illustrated by a concrete physical model of a noisy oscillator where non Markovian effects come from random environment, coloured noises, randomness in the stimulating light, delay effects. The statistics of the emitted photons and the heterodyne and homodyne spectra are studied and we show how these quantities are sensible to the non-Markovian features of the system dynamics, so that, in principle, the observation and analysis of the fluorescence light could reveal the presence of non-Markovian effects and allow for a measure of the spectra of the noises affecting the system dynamics.
△ Less
Submitted 23 December, 2012; v1 submitted 6 July, 2012;
originally announced July 2012.
-
Random pure quantum states via unitary Brownian motion
Authors:
Ion Nechita,
Clément Pellegrini
Abstract:
We introduce a new family of probability distributions on the set of pure states of a finite dimensional quantum system. Without any a priori assumptions, the most natural measure on the set of pure state is the uniform (or Haar) measure. Our family of measures is indexed by a time parameter $t$ and interpolates between a deterministic measure ($t=0$) and the uniform measure ($t=\infty$). The meas…
▽ More
We introduce a new family of probability distributions on the set of pure states of a finite dimensional quantum system. Without any a priori assumptions, the most natural measure on the set of pure state is the uniform (or Haar) measure. Our family of measures is indexed by a time parameter $t$ and interpolates between a deterministic measure ($t=0$) and the uniform measure ($t=\infty$). The measures are constructed using a Brownian motion on the unitary group $\mathcal U_N$. Remarkably, these measures have a $\mathcal U_{N-1}$ invariance, whereas the usual uniform measure has a $\mathcal U_N$ invariance. We compute several averages with respect to these measures using as a tool the Laplace transform of the coordinates.
△ Less
Submitted 25 January, 2012;
originally announced January 2012.
-
Jump-diffusion unravelling of a non Markovian generalized Lindblad master equation
Authors:
A. Barchielli,
C. Pellegrini
Abstract:
The "correlated-projection technique" has been successfully applied to derive a large class of highly non Markovian dynamics, the so called non Markovian generalized Lindblad type equations or Lindblad rate equations. In this article, general unravellings are presented for these equations, described in terms of jump-diffusion stochastic differential equations for wave functions. We show also that…
▽ More
The "correlated-projection technique" has been successfully applied to derive a large class of highly non Markovian dynamics, the so called non Markovian generalized Lindblad type equations or Lindblad rate equations. In this article, general unravellings are presented for these equations, described in terms of jump-diffusion stochastic differential equations for wave functions. We show also that the proposed unravelling can be interpreted in terms of measurements continuous in time, but with some conceptual restrictions. The main point in the measurement interpretation is that the structure itself of the underlying mathematical theory poses restrictions on what can be considered as observable and what is not; such restrictions can be seen as the effect of some kind of superselection rule. Finally, we develop a concrete example and we discuss possible effects on the heterodyne spectrum of a two-level system due to a structured thermal-like bath with memory.
△ Less
Submitted 23 June, 2010;
originally announced June 2010.
-
Stochastic Schrödinger equations and memory
Authors:
A. Barchielli,
P. Di Tella,
C. Pellegrini,
F. Petruccione
Abstract:
By starting from the stochastic Schrödinger equation and quantum trajectory theory, we introduce memory effects by considering stochastic adapted coefficients. As an example of a natural non-Markovian extension of the theory of white noise quantum trajectories we use an Ornstein-Uhlenbeck coloured noise as the output driving process. Under certain conditions a random Hamiltonian evolution is recov…
▽ More
By starting from the stochastic Schrödinger equation and quantum trajectory theory, we introduce memory effects by considering stochastic adapted coefficients. As an example of a natural non-Markovian extension of the theory of white noise quantum trajectories we use an Ornstein-Uhlenbeck coloured noise as the output driving process. Under certain conditions a random Hamiltonian evolution is recovered. Moreover, we show that our non-Markovian stochastic Schrödinger equations unravel some master equations with memory kernels.
△ Less
Submitted 18 June, 2010;
originally announced June 2010.
-
Stochastic Schrödinger equations with coloured noise
Authors:
A. Barchielli,
C. Pellegrini,
F. Petruccione
Abstract:
A natural non-Markovian extension of the theory of white noise quantum trajectories is presented. In order to introduce memory effects in the formalism an Ornstein-Uhlenbeck coloured noise is considered as the output driving process. Under certain conditions a random Hamiltonian evolution is recovered. Moreover, non-Markovian stochastic Schrödinger equations which unravel non-Markovian master eq…
▽ More
A natural non-Markovian extension of the theory of white noise quantum trajectories is presented. In order to introduce memory effects in the formalism an Ornstein-Uhlenbeck coloured noise is considered as the output driving process. Under certain conditions a random Hamiltonian evolution is recovered. Moreover, non-Markovian stochastic Schrödinger equations which unravel non-Markovian master equations are derived.
△ Less
Submitted 13 November, 2009;
originally announced November 2009.
-
Quantum Trajectories in Random Environment: the Statistical Model for a Heat Bath
Authors:
Ion Nechita,
Clément Pellegrini
Abstract:
In this article, we derive the stochastic master equations corresponding to the statistical model of a heat bath. These stochastic differential equations are obtained as continuous time limits of discrete models of quantum repeated measurements. Physically, they describe the evolution of a small system in contact with a heat bath undergoing continuous measurement. The equations obtained in the p…
▽ More
In this article, we derive the stochastic master equations corresponding to the statistical model of a heat bath. These stochastic differential equations are obtained as continuous time limits of discrete models of quantum repeated measurements. Physically, they describe the evolution of a small system in contact with a heat bath undergoing continuous measurement. The equations obtained in the present work are qualitatively different from the ones derived in \cite{A1P1}, where the Gibbs model of heat bath has been studied. It is shown that the statistical model of a heat bath provides clear physical interpretation in terms of emissions and absorptions of photons. Our approach yields models of random environment and unravelings of stochastic master equations. The equations are rigorously obtained as solutions of martingale problems using the convergence of Markov generators.
△ Less
Submitted 19 August, 2009;
originally announced August 2009.
-
Diffusion Approximation of Stochastic Master Equations with Jumps
Authors:
Clement Pellegrini,
Francesco Petruccione
Abstract:
In the presence of quantum measurements with direct photon detection the evolution of open quantum systems is usually described by stochastic master equations with jumps. Heuristically, from these equations one can obtain diffusion models as approximation. A necessary condition for a general diffusion approximation for jump master equations is presented. This approximation is rigorously proved b…
▽ More
In the presence of quantum measurements with direct photon detection the evolution of open quantum systems is usually described by stochastic master equations with jumps. Heuristically, from these equations one can obtain diffusion models as approximation. A necessary condition for a general diffusion approximation for jump master equations is presented. This approximation is rigorously proved by using techniques for Markov process which are based upon the convergence of Markov generators and martingale problems. This result is illustrated by rigorously obtaining the diffusion approximation for homodyne and heterodyne detection.
△ Less
Submitted 23 September, 2009; v1 submitted 23 July, 2009;
originally announced July 2009.
-
Non Markovian Quantum Repeated Interactions and Measurements
Authors:
C Pellegrini,
F Petruccione
Abstract:
A non-Markovian model of quantum repeated interactions between a small quantum system and an infinite chain of quantum systems is presented. By adapting and applying usual pro jection operator techniques in this context, discrete versions of the integro-differential and time-convolutioness Master equations for the reduced system are derived. Next, an intuitive and rigorous description of the ind…
▽ More
A non-Markovian model of quantum repeated interactions between a small quantum system and an infinite chain of quantum systems is presented. By adapting and applying usual pro jection operator techniques in this context, discrete versions of the integro-differential and time-convolutioness Master equations for the reduced system are derived. Next, an intuitive and rigorous description of the indirect quantum measurement principle is developed and a discrete non Markovian stochastic Master equation for the open system is obtained. Finally, the question of unravelling in a particular model of non-Markovian quantum interactions is discussed.
△ Less
Submitted 23 March, 2009;
originally announced March 2009.
-
Random repeated quantum interactions and random invariant states
Authors:
Ion Nechita,
Clément Pellegrini
Abstract:
We consider a generalized model of repeated quantum interactions, where a system $\mathcal{H}$ is interacting in a random way with a sequence of independent quantum systems $\mathcal{K}_n, n \geq 1$. Two types of randomness are studied in detail. One is provided by considering Haar-distributed unitaries to describe each interaction between $\mathcal{H}$ and $\mathcal{K}_n$. The other involves ra…
▽ More
We consider a generalized model of repeated quantum interactions, where a system $\mathcal{H}$ is interacting in a random way with a sequence of independent quantum systems $\mathcal{K}_n, n \geq 1$. Two types of randomness are studied in detail. One is provided by considering Haar-distributed unitaries to describe each interaction between $\mathcal{H}$ and $\mathcal{K}_n$. The other involves random quantum states describing each copy $\mathcal{K}_n$. In the limit of a large number of interactions, we present convergence results for the asymptotic state of $\mathcal{H}$. This is achieved by studying spectral properties of (random) quantum channels which guarantee the existence of unique invariant states. Finally this allows to introduce a new physically motivated ensemble of random density matrices called the \emph{asymptotic induced ensemble}.
△ Less
Submitted 16 February, 2009;
originally announced February 2009.
-
Poisson and Diffusion Approximation of Stochastic Schrodinger equations with Control
Authors:
Clement Pellegrini
Abstract:
"Quantum trajectories" are solutions of stochastic differential equations of non-usual type. Such equations are called "Belavkin" or "Stochastic Schrödinger Equations" and describe random phenomena in continuous measurement theory of Open Quantum System. Many recent investigations deal with the control theory in such model. In this article, stochastic models are mathematically and physically jus…
▽ More
"Quantum trajectories" are solutions of stochastic differential equations of non-usual type. Such equations are called "Belavkin" or "Stochastic Schrödinger Equations" and describe random phenomena in continuous measurement theory of Open Quantum System. Many recent investigations deal with the control theory in such model. In this article, stochastic models are mathematically and physically justified as limit of concrete discrete procedures called "Quantum Repeated Measurements". In particular, this gives a rigorous justification of the Poisson and diffusion approximation in quantum measurement theory with control. Furthermore we investigate some examples using control in quantum mechanics.
△ Less
Submitted 6 March, 2009; v1 submitted 18 March, 2008;
originally announced March 2008.
-
Existence, uniqueness and approximation for stochastic Schrodinger equation: the Poisson case
Authors:
Clement Pellegrini
Abstract:
In quantum physics, recent investigations deal with the so-called "quantum trajectory" theory. Heuristic rules are usually used to give rise to "stochastic Schrodinger equations" which are stochastic differential equations of non-usual type describing the physical models. These equations pose tedious problems in terms of mathematical justification: notion of solution, existence, uniqueness, just…
▽ More
In quantum physics, recent investigations deal with the so-called "quantum trajectory" theory. Heuristic rules are usually used to give rise to "stochastic Schrodinger equations" which are stochastic differential equations of non-usual type describing the physical models. These equations pose tedious problems in terms of mathematical justification: notion of solution, existence, uniqueness, justification... In this article, we concentrate on a particular case: the Poisson case. Random measure theory is used in order to give rigorous sense to such equations. We prove existence and uniqueness of a solution for the associated stochastic equation. Furthermore, the stochastic model is physically justified by proving that the solution can be obtained as a limit of a concrete discrete time physical model.
△ Less
Submitted 6 March, 2009; v1 submitted 24 September, 2007;
originally announced September 2007.
-
Existence, uniqueness and approximation of a stochastic Schrödinger equation: the diffusive case
Authors:
Clément Pellegrini
Abstract:
Recent developments in quantum physics make heavy use of so-called "quantum trajectories." Mathematically, this theory gives rise to "stochastic Schrödinger equations", that is, perturbation of Schrödinger-type equations under the form of stochastic differential equations. But such equations are in general not of the usual type as considered in the literature. They pose a serious problem in term…
▽ More
Recent developments in quantum physics make heavy use of so-called "quantum trajectories." Mathematically, this theory gives rise to "stochastic Schrödinger equations", that is, perturbation of Schrödinger-type equations under the form of stochastic differential equations. But such equations are in general not of the usual type as considered in the literature. They pose a serious problem in terms of justifying the existence and uniqueness of a solution, justifying the physical pertinence of the equations. In this article we concentrate on a particular case: the diffusive case, for a two-level system. We prove existence and uniqueness of the associated stochastic Schrödinger equation. We physically justify the equations by proving that they are a continuous-time limit of a concrete physical procedure for obtaining a quantum trajectory.
△ Less
Submitted 21 January, 2009; v1 submitted 11 September, 2007;
originally announced September 2007.