-
Connected components of irreducible maps and 1D quantum phases
Authors:
Oleg Szehr,
Michael M. Wolf
Abstract:
We investigate elementary topological properties of sets of completely positive (CP) maps that arise in quantum Perron-Frobenius theory. We prove that the set of primitive CP maps of fixed Kraus rank is path-connected and we provide a complete classification of the connected components of irreducible CP maps at given Kraus rank and fixed peripheral spectrum in terms of a multiplicity index. These…
▽ More
We investigate elementary topological properties of sets of completely positive (CP) maps that arise in quantum Perron-Frobenius theory. We prove that the set of primitive CP maps of fixed Kraus rank is path-connected and we provide a complete classification of the connected components of irreducible CP maps at given Kraus rank and fixed peripheral spectrum in terms of a multiplicity index. These findings are then applied to analyse 1D quantum phases by studying equivalence classes of translational invariant Matrix Product States that correspond to the connected components of the respective CP maps. Our results extend the previously obtained picture in that they do not require blocking of physical sites, they lead to analytic paths and they allow to decompose into ergodic components and to study the breaking of translational symmetry.
△ Less
Submitted 24 June, 2015;
originally announced June 2015.
-
Perturbation Theory for Parent Hamiltonians of Matrix Product States
Authors:
Oleg Szehr,
Michael M. Wolf
Abstract:
This article investigates the stability of the ground state subspace of a canonical parent Hamiltonian of a Matrix product state against local perturbations. We prove that the spectral gap of such a Hamiltonian remains stable under weak local perturbations even in the thermodynamic limit, where the entire perturbation might not be bounded. Our discussion is based on preceding work by D.A. Yarotsky…
▽ More
This article investigates the stability of the ground state subspace of a canonical parent Hamiltonian of a Matrix product state against local perturbations. We prove that the spectral gap of such a Hamiltonian remains stable under weak local perturbations even in the thermodynamic limit, where the entire perturbation might not be bounded. Our discussion is based on preceding work by D.A. Yarotsky that develops a perturbation theory for relatively bounded quantum perturbation of classical Hamiltonians. We exploit a renormalization procedure, which on large scale transforms the parent Hamiltonian of a Matrix product state into a classical Hamiltonian plus some perturbation. We can thus extend D.A. Yarotsky's results to provide a perturbation theory for parent Hamiltonians of Matrix product states and recover some of the findings of independent contributions by S. Michalakis et al. [arXiv:1109.1588] and J. I. Cirac et al. [arXiv:1306.4003].
△ Less
Submitted 18 February, 2015; v1 submitted 17 February, 2014;
originally announced February 2014.
-
On quantum Renyi entropies: a new generalization and some properties
Authors:
Martin Müller-Lennert,
Frédéric Dupuis,
Oleg Szehr,
Serge Fehr,
Marco Tomamichel
Abstract:
The Renyi entropies constitute a family of information measures that generalizes the well-known Shannon entropy, inheriting many of its properties. They appear in the form of unconditional and conditional entropies, relative entropies or mutual information, and have found many applications in information theory and beyond. Various generalizations of Renyi entropies to the quantum setting have been…
▽ More
The Renyi entropies constitute a family of information measures that generalizes the well-known Shannon entropy, inheriting many of its properties. They appear in the form of unconditional and conditional entropies, relative entropies or mutual information, and have found many applications in information theory and beyond. Various generalizations of Renyi entropies to the quantum setting have been proposed, most notably Petz's quasi-entropies and Renner's conditional min-, max- and collision entropy. Here, we argue that previous quantum extensions are incompatible and thus unsatisfactory.
We propose a new quantum generalization of the family of Renyi entropies that contains the von Neumann entropy, min-entropy, collision entropy and the max-entropy as special cases, thus encompassing most quantum entropies in use today. We show several natural properties for this definition, including data-processing inequalities, a duality relation, and an entropic uncertainty relation.
△ Less
Submitted 27 January, 2014; v1 submitted 13 June, 2013;
originally announced June 2013.
-
Eigenvalue estimates for the resolvent of a non-normal matrix
Authors:
Oleg Szehr
Abstract:
We investigate the relation between the spectrum of a non-normal matrix and the norm of its resolvent. We provide spectral estimates for the resolvent of matrices whose largest singular value is bounded by $1$ (so-called Hilbert space contractions) and for power-bounded matrices. In the first case our estimate is optimal and we present explicit matrices that achieve equality in the bound. This res…
▽ More
We investigate the relation between the spectrum of a non-normal matrix and the norm of its resolvent. We provide spectral estimates for the resolvent of matrices whose largest singular value is bounded by $1$ (so-called Hilbert space contractions) and for power-bounded matrices. In the first case our estimate is optimal and we present explicit matrices that achieve equality in the bound. This result recovers and generalizes previous estimates obtained by E.B. Davies and B. Simon in the study of orthogonal polynomials on the unit circle. In case of power-bounded matrices we achieve the strongest estimate so far. Our result unifies previous approaches, where the resolvent was estimated in certain restricted regions of the complex plane. To achieve our estimates we relate the problem of bounding the norm of a function of a matrix to a Nevanlinna-Pick interpolation problem in a corresponding function space. In case of Hilbert space contractions this problem is connected to the theory of compressed shift operators to which we contribute by providing explicit matrix representations for such operators. Finally, we apply our results to study the sensitivity of the stationary states of a classical or quantum Markov chain with respect to perturbations of the transition matrix.
△ Less
Submitted 14 January, 2015; v1 submitted 30 May, 2013;
originally announced May 2013.
-
Spectral convergence bounds for classical and quantum Markov processes
Authors:
Oleg Szehr,
David Reeb,
Michael M. Wolf
Abstract:
We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive conver…
▽ More
We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.
△ Less
Submitted 21 October, 2014; v1 submitted 21 January, 2013;
originally announced January 2013.
-
Perturbation Bounds for Quantum Markov Processes and their Fixed Points
Authors:
Oleg Szehr,
Michael M. Wolf
Abstract:
We investigate the stability of quantum Markov processes with respect to perturbations of their transition maps. In the first part, we introduce a condition number that measures the sensitivity of fixed points of a quantum channel to perturbations. We establish upper and lower bounds on this condition number in terms of subdominant eigenvalues of the transition map.
In the second part, we consid…
▽ More
We investigate the stability of quantum Markov processes with respect to perturbations of their transition maps. In the first part, we introduce a condition number that measures the sensitivity of fixed points of a quantum channel to perturbations. We establish upper and lower bounds on this condition number in terms of subdominant eigenvalues of the transition map.
In the second part, we consider quantum Markov processes that converge to a unique stationary state and we analyze the stability of the evolution at finite times. In this way we obtain a linear relation between the mixing time of a quantum Markov process and the sensitivity of its fixed point with respect to perturbations of the transition map.
△ Less
Submitted 22 March, 2013; v1 submitted 3 October, 2012;
originally announced October 2012.
-
Decoupling with unitary approximate two-designs
Authors:
Oleg Szehr,
Frédéric Dupuis,
Marco Tomamichel,
Renato Renner
Abstract:
Consider a bipartite system, of which one subsystem, A, undergoes a physical evolution separated from the other subsystem, R. One may ask under which conditions this evolution destroys all initial correlations between the subsystems A and R, i.e. decouples the subsystems. A quantitative answer to this question is provided by decoupling theorems, which have been developed recently in the area of qu…
▽ More
Consider a bipartite system, of which one subsystem, A, undergoes a physical evolution separated from the other subsystem, R. One may ask under which conditions this evolution destroys all initial correlations between the subsystems A and R, i.e. decouples the subsystems. A quantitative answer to this question is provided by decoupling theorems, which have been developed recently in the area of quantum information theory. This paper builds on preceding work, which shows that decoupling is achieved if the evolution on A consists of a typical unitary, chosen with respect to the Haar measure, followed by a process that adds sufficient decoherence. Here, we prove a generalized decoupling theorem for the case where the unitary is chosen from an approximate two-design. A main implication of this result is that decoupling is physical, in the sense that it occurs already for short sequences of random two-body interactions, which can be modeled as efficient circuits. Our decoupling result is independent of the dimension of the R system, which shows that approximate 2-designs are appropriate for decoupling even if the dimension of this system is large.
△ Less
Submitted 23 May, 2013; v1 submitted 20 September, 2011;
originally announced September 2011.
