-
Characterization of equivariant maps and application to entanglement detection
Authors:
Ivan Bardet,
Benoît Collins,
Gunjan Sapra
Abstract:
We study equivariant linear maps between finite-dimensional matrix algebras, as introduced by Bhat. These maps satisfy an algebraic property which makes it easy to study their positivity or k-positivity. They are therefore particularly suitable for applications to entanglement detection in quantum information theory. We characterize their Choi matrices. In particular, we focus on a subfamily that…
▽ More
We study equivariant linear maps between finite-dimensional matrix algebras, as introduced by Bhat. These maps satisfy an algebraic property which makes it easy to study their positivity or k-positivity. They are therefore particularly suitable for applications to entanglement detection in quantum information theory. We characterize their Choi matrices. In particular, we focus on a subfamily that we call (a, b)-unitarily equivariant. They can be seen as both a generalization of maps invariant under unitary conjugation as studied by Bhat and as a generalization of the equivariant maps studied by Collins et al. Using representation theory, we fully compute them and study their graphical representation, and show that they are basically enough to study all equivariant maps. We finally apply them to the problem of entanglement detection and prove that they form a sufficient (infinite) family of positive maps to detect all k-entangled density matrices.
△ Less
Submitted 8 July, 2019; v1 submitted 20 November, 2018;
originally announced November 2018.
-
Hypercontractivity and logarithmic Sobolev Inequality for non-primitive quantum Markov semigroups and estimation of decoherence rates
Authors:
Ivan Bardet,
Cambyse Rouzé
Abstract:
We generalize the concepts of weak quantum logarithmic Sobolev inequality (LSI) and weak hypercontractivity (HC), introduced in the quantum setting by Olkiewicz and Zegarlinski, to the case of non-primitive quantum Markov semigroups (QMS). The originality of this work resides in that this new notion of hypercontractivity is given in terms of the so-called amalgamated $\mathbb{L}_p$ norms introduce…
▽ More
We generalize the concepts of weak quantum logarithmic Sobolev inequality (LSI) and weak hypercontractivity (HC), introduced in the quantum setting by Olkiewicz and Zegarlinski, to the case of non-primitive quantum Markov semigroups (QMS). The originality of this work resides in that this new notion of hypercontractivity is given in terms of the so-called amalgamated $\mathbb{L}_p$ norms introduced recently by Junge and Parcet in the context of operator spaces theory. We make three main contributions. The first one is a version of Gross' integration lemma: we prove that (weak) HC implies (weak) LSI. Surprisingly, the converse implication differs from the primitive case as we show that LSI implies HC but with a weak constant equal to the cardinal of the center of the decoherence-free algebra. Building on the first implication, our second contribution is the fact that strong LSI and therefore strong HC do not hold for non-trivially primitive QMS. This implies that the amalgamated $\mathbb{L}_p$ norms are not uniformly convex for $1\leq p \leq 2$. As a third contribution, we derive universal bounds on the (weak) logarithmic Sobolev constants for a QMS on a finite dimensional Hilbert space, using a similar method as Diaconis and Saloff-Coste in the case of classical primitive Markov chains, and Temme, Pastawski and Kastoryano in the case of primitive QMS. This leads to new bounds on the decoherence rates of decohering QMS. Additionally, we apply our results to the study of the tensorization of HC in non-commutative spaces in terms of the completely bounded norms (CB norms) recently introduced by Beigi and King for unital and trace preserving QMS. We generalize their results to the case of a general primitive QMS and provide estimates on the (weak) constants.
△ Less
Submitted 12 July, 2018; v1 submitted 14 March, 2018;
originally announced March 2018.
-
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.
-
de Finetti reductions for partially exchangeable probability distributions
Authors:
Ivan Bardet,
Cécilia Lancien,
Ion Nechita
Abstract:
We introduce a general framework for de Finetti reduction results, applicable to various notions of partially exchangeable probability distributions. Explicit statements are derived for the cases of exchangeability, Markov exchangeability, and some generalizations of these. Our techniques are combinatorial and rely on the "BEST" theorem, enumerating the Eulerian cycles of a multigraph.
We introduce a general framework for de Finetti reduction results, applicable to various notions of partially exchangeable probability distributions. Explicit statements are derived for the cases of exchangeability, Markov exchangeability, and some generalizations of these. Our techniques are combinatorial and rely on the "BEST" theorem, enumerating the Eulerian cycles of a multigraph.
△ Less
Submitted 16 January, 2018;
originally announced January 2018.
-
Estimating the decoherence time using non-commutative Functional Inequalities
Authors:
Ivan Bardet
Abstract:
We generalize the notions of the non-commutative Poincaré and modified log-Sobolev inequalities for primitive quantum Markov semigroups (QMS) to not necessarily primitive ones. These two inequalities provide estimates on the decoherence time of the evolution. More precisely, we focus on an algebraic definition of environment-induced decoherence in open quantum systems which happens to be generic o…
▽ More
We generalize the notions of the non-commutative Poincaré and modified log-Sobolev inequalities for primitive quantum Markov semigroups (QMS) to not necessarily primitive ones. These two inequalities provide estimates on the decoherence time of the evolution. More precisely, we focus on an algebraic definition of environment-induced decoherence in open quantum systems which happens to be generic on finite dimensional systems and describes the asymptotic behavior of any QMS. An essential tool in our analysis is the explicit structure of the decoherence-free algebra generated by the QMS, a central object in the study of passive quantum error correction schemes. The Poincaré constant corresponds to the spectral gap of the QMS, which implies its positivity, while we prove that the modified log-Sobolev constant is positive under the $\mathbb L_1$-regularity of the Dirichlet form, a condition that also appears in the primitive case. We furthermore prove that strong $\mathbb L_p$-regularity holds for QMS that satisfy a strong form of detailed balance condition for $p\geq1$. The latter condition includes all known cases where this strong regularity was proved. Finally and to emphasize the mathematical interest of this study compared to the classical case, we focus on two truly quantum scenarios, one exhibiting quantum coherence, and the other, quantum correlations.
△ Less
Submitted 3 October, 2017;
originally announced October 2017.
-
Passage times, exit times and Dirichlet problems for open quantum walks
Authors:
Ivan Bardet,
Denis Bernard,
Yan Pautrat
Abstract:
We consider open quantum walks on a graph, and consider the random variables defined as the passage time and number of visits to a given point of the graph. We study in particular the probability that the passage time is finite, the expectation of that passage time, and the expectation of the number of visits, and discuss the notion of recurrence for open quantum walks. We also study exit times an…
▽ More
We consider open quantum walks on a graph, and consider the random variables defined as the passage time and number of visits to a given point of the graph. We study in particular the probability that the passage time is finite, the expectation of that passage time, and the expectation of the number of visits, and discuss the notion of recurrence for open quantum walks. We also study exit times and exit probabilities from a finite domain, and use them to solve Dirichlet problems and to determine harmonic measures. We consider in particular the case of irreducible open quantum walks. The results we obtain extend those for classical Markov chains.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
-
Classical and Quantum Part of the Environment for Quantum Langevin Equations
Authors:
Stéphane Attal,
Ivan Bardet
Abstract:
Among quantum Langevin equations describing the unitary time evolution of a quantum system in contact with a quantum bath, we completely characterize those equations which are actually driven by classical noises. The characterization is purely algebraic, in terms of the coefficients of the equation. In a second part, we consider general quantum Langevin equations and we prove that they can always…
▽ More
Among quantum Langevin equations describing the unitary time evolution of a quantum system in contact with a quantum bath, we completely characterize those equations which are actually driven by classical noises. The characterization is purely algebraic, in terms of the coefficients of the equation. In a second part, we consider general quantum Langevin equations and we prove that they can always be split into a maximal part driven by classical noises and a purely quantum one.
△ Less
Submitted 10 October, 2016;
originally announced October 2016.
-
Classical and Quantum Parts of the Quantum Dynamics: the Discrete-Time Case
Authors:
Ivan Bardet
Abstract:
In the study of open quantum systems modeled by a unitary evolution of a bipartite Hilbert space, we address the question of which parts of the environment can be said to have a "classical action" on the system, in the sense of acting as a classical stochastic process. Our method relies on the definition of the Environment Algebra, a relevant von Neumann algebra of the environment. With this algeb…
▽ More
In the study of open quantum systems modeled by a unitary evolution of a bipartite Hilbert space, we address the question of which parts of the environment can be said to have a "classical action" on the system, in the sense of acting as a classical stochastic process. Our method relies on the definition of the Environment Algebra, a relevant von Neumann algebra of the environment. With this algebra we define the classical parts of the environment and prove a decomposition between a maximal classical part and a quantum part. Then we investigate what other information can be obtained via this algebra, which leads us to define a more pertinent algebra: the Environment Action Algebra. This second algebra is linked to the minimal Stinespring representations induced by the unitary evolution on the system. Finally in finite dimension we give a characterization of both algebras in terms of the spectrum of a certain completely positive map acting on the states of the environment.
△ Less
Submitted 27 November, 2015;
originally announced November 2015.
-
Quantum extensions of dynamical systems and of Markov semigroups
Authors:
Ivan Bardet
Abstract:
We investigate some particular completely positive maps which admit a stable commutative Von Neumann subalgebra. The restriction of such maps to the stable algebra is then a Markov operator. In the first part of this article, we propose a recipe in order to find a quantum extension of a given Markov operator in the above sense. We show that the existence of such an extension is linked with the exi…
▽ More
We investigate some particular completely positive maps which admit a stable commutative Von Neumann subalgebra. The restriction of such maps to the stable algebra is then a Markov operator. In the first part of this article, we propose a recipe in order to find a quantum extension of a given Markov operator in the above sense. We show that the existence of such an extension is linked with the existence of a special form of dilation for the Markov operator studied by Attal in \cite{Att1}, reducing the problem to the extension of dynamical system. We then apply our method to the same problem in continuous time, proving the existence of a quantum extension for Lévy processes. In the second part of this article, we focus on the case where the commutative algebra is isomorphic to $\Acal=l^\infty(1,...,N)$ with $N$ either finite or infinite. We propose a classification of the CP maps leaving $\Acal$ stable, producing physical examples of each classes.
△ Less
Submitted 16 September, 2015;
originally announced September 2015.