-
Dynamical Coherence Measures
Authors:
Anna Vershynina
Abstract:
We present three measures of the dynamical coherence of channels, which are the generalization of several previous results. The measures are based on the generalized distance function between channels, which for example could be the divergence or a trace-distance. Free operations are considered to be detection-incoherent, creation-incoherent, and detection-creation incoherent. Free superchannels c…
▽ More
We present three measures of the dynamical coherence of channels, which are the generalization of several previous results. The measures are based on the generalized distance function between channels, which for example could be the divergence or a trace-distance. Free operations are considered to be detection-incoherent, creation-incoherent, and detection-creation incoherent. Free superchannels can be expressed using free pre- and post-processing channels. The new measures are monotone under free superchannels and convex.
△ Less
Submitted 30 September, 2024; v1 submitted 13 January, 2024;
originally announced January 2024.
-
Coherence as entropy increment for Tsallis and Renyi entropies
Authors:
Anna Vershynina
Abstract:
Relative entropy of coherence can be written as an entropy difference of the original state and the incoherent state closest to it when measured by relative entropy. The natural question is, if we generalize this situation to Tsallis or Rényi entropies, would it define good coherence measures? In other words, we define a difference between Tsallis entropies of the original state and the incoherent…
▽ More
Relative entropy of coherence can be written as an entropy difference of the original state and the incoherent state closest to it when measured by relative entropy. The natural question is, if we generalize this situation to Tsallis or Rényi entropies, would it define good coherence measures? In other words, we define a difference between Tsallis entropies of the original state and the incoherent state closest to it when measured by Tsallis relative entropy. Taking Rényi entropy instead of the Tsallis entropy, leads to the well-known distance-based Rényi coherence, which means this expression defined a good coherence measure. Interestingly, we show that Tsallis entropy does not generate even a genuine coherence monotone, unless it is under a very restrictive class of operations. Additionally, we provide continuity estimates for both Tsallis and Rényi coherence expressions. Furthermore, we present two coherence measures based on the closest incoherent state when measures by Tsallis or Rényi relative entropy.
△ Less
Submitted 1 August, 2024; v1 submitted 14 August, 2022;
originally announced August 2022.
-
Convexity of a certain operator trace functional
Authors:
Eric Evert,
Scott McCullough,
Tea Štrekelj,
Anna Vershynina
Abstract:
In this article the operator trace function $ Λ_{r,s}(A)[K, M] := {\operatorname{tr}}(K^*A^r M A^r K)^s$ is introduced and its convexity and concavity properties are investigated. This function has a direct connection to several well-studied operator trace functions that appear in quantum information theory, in particular when studying data processing inequalities of various relative entropies. In…
▽ More
In this article the operator trace function $ Λ_{r,s}(A)[K, M] := {\operatorname{tr}}(K^*A^r M A^r K)^s$ is introduced and its convexity and concavity properties are investigated. This function has a direct connection to several well-studied operator trace functions that appear in quantum information theory, in particular when studying data processing inequalities of various relative entropies. In the paper the interplay between $Λ_ {r,s}$ and the well-known operator functions $Γ_{p,s}$ and $Ψ_{p,q,s}$ is used to study the stability of their convexity (concavity) properties. This interplay may be used to ensure that $Λ_{r,s}$ is convex (concave) in certain parameter ranges when $M=I$ or $K=I.$ However, our main result shows that convexity (concavity) is surprisingly lost when perturbing those matrices even a little. To complement the main theorem, the convexity (concavity) domain of $Λ$ itself is examined. The final result states that $Λ_{r,s}$ is never concave and it is convex if and only if $r=1$ and $s\geq 1/2.$
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Measure of genuine coherence based of quasi-relative entropy
Authors:
Anna Vershynina
Abstract:
We present a genuine coherence measure based on a quasi-relative entropy as a difference between quasi-entropies of the dephased and the original states. The measure satisfies non-negativity and monotonicity under genuine incoherent operations (GIO). It is strongly monotone under GIO in two- and three-dimensions, or for pure states in any dimension, making it a genuine coherence monotone. We provi…
▽ More
We present a genuine coherence measure based on a quasi-relative entropy as a difference between quasi-entropies of the dephased and the original states. The measure satisfies non-negativity and monotonicity under genuine incoherent operations (GIO). It is strongly monotone under GIO in two- and three-dimensions, or for pure states in any dimension, making it a genuine coherence monotone. We provide a bound on the error term in the monotonicity relation in terms of the trace distance between the original and the dephased states. Moreover, the lower bound on the coherence measure can also be calculated in terms of this trace distance.
△ Less
Submitted 30 May, 2022; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Closest separable state when measured by a quasi-relative entropy
Authors:
Anna Vershynina
Abstract:
It is well known that for pure states the relative entropy of entanglement is equal to the reduced entropy, and the closest separable state is explicitly known as well. The same holds for Renyi relative entropy per recent results. We ask the same question for a quasi-relative entropy of entanglement, which is an entanglement measure defined as the minimum distance to the set of separable state, wh…
▽ More
It is well known that for pure states the relative entropy of entanglement is equal to the reduced entropy, and the closest separable state is explicitly known as well. The same holds for Renyi relative entropy per recent results. We ask the same question for a quasi-relative entropy of entanglement, which is an entanglement measure defined as the minimum distance to the set of separable state, when the distance is measured by the quasi-relative entropy. First, we consider a maximally entangled state, and show that the closest separable state is the same for any quasi-relative entropy as for the relative entropy of entanglement. Then, we show that this also holds for a certain class of functions and any pure state. And at last, we consider any pure state on two qubit systems and a large class of operator convex function. For these, we find the closest separable state, which may not be the same one as for the relative entropy of entanglement.
△ Less
Submitted 9 February, 2021; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Quantum coherence, discord and correlation measures based on Tsallis relative entropy
Authors:
Anna Vershynina
Abstract:
Several ways have been proposed in the literature to define a coherence measure based on Tsallis relative entropy. One of them is defined as a distance between a state and a set of incoherent states with Tsallis relative entropy taken as a distance measure. Unfortunately, this measure does not satisfy the required strong monotonicity, but a modification of this coherence has been proposed that doe…
▽ More
Several ways have been proposed in the literature to define a coherence measure based on Tsallis relative entropy. One of them is defined as a distance between a state and a set of incoherent states with Tsallis relative entropy taken as a distance measure. Unfortunately, this measure does not satisfy the required strong monotonicity, but a modification of this coherence has been proposed that does. We introduce three new Tsallis coherence measures coming from a more general definition that also satisfy the strong monotonicity, and compare all five definitions between each other. Using three coherence measures that we discuss, one can also define a discord. Two of these have been used in the literature, and another one is new. We also discuss two correlation measures based on Tsallis relative entropy. We provide explicit expressions for all three discord and two correlation measure on pure states. Lastly, we provide tight upper and lower bounds on two discord and correlations measures on any quantum state, with the condition for equality.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Upper continuity bound on the quantum quasi-relative entropy
Authors:
Anna Vershynina
Abstract:
We provide an upper bound on the quasi-relative entropy in terms of the trace distance. The bound is derived for two cases: 1) any operator monotone decreasing function and full rank mixed qubit or classical states; 2) a large class of operator monotone decreasing function and any mixed qubit or classical states. Moreover, we derive an upper bound for the Umegaki and Tsallis relative entropies in…
▽ More
We provide an upper bound on the quasi-relative entropy in terms of the trace distance. The bound is derived for two cases: 1) any operator monotone decreasing function and full rank mixed qubit or classical states; 2) a large class of operator monotone decreasing function and any mixed qubit or classical states. Moreover, we derive an upper bound for the Umegaki and Tsallis relative entropies in the case of any finite-dimensional states. The bound for the relative entropy improves the known bounds for some states in any dimensions larger than four. The bound for the Tsallis entropy improves the known bounds.
△ Less
Submitted 22 December, 2020; v1 submitted 1 April, 2019;
originally announced April 2019.
-
On quantum quasi-relative entropy
Authors:
Anna Vershynina
Abstract:
We consider a quantum quasi-relative entropy $S_f^K$ for an operator $K$ and an operator convex function $f$. We show how to obtain the error bounds for the monotonicity and joint convexity inequalities from the recent results for the $f$-divergences (i.e. $K=I$). We also provide an error term for a class of operator inequalities, that generalize operator strong subadditivity inequality. We apply…
▽ More
We consider a quantum quasi-relative entropy $S_f^K$ for an operator $K$ and an operator convex function $f$. We show how to obtain the error bounds for the monotonicity and joint convexity inequalities from the recent results for the $f$-divergences (i.e. $K=I$). We also provide an error term for a class of operator inequalities, that generalize operator strong subadditivity inequality. We apply those results to demonstrate explicit bounds for the logarithmic function, that leads to the quantum relative entropy, and the power function, which gives, in particular, a Wigner-Yanase-Dyson skew information. In particular, we provide the remainder terms for the strong subadditivity inequality, operator strong subadditivity inequality, WYD-type inequalities, and the Cauchy-Schwartz inequality.
△ Less
Submitted 27 January, 2019; v1 submitted 30 September, 2018;
originally announced October 2018.
-
Recovery and the Data Processing Inequality for quasi-entropies
Authors:
Eric A. Carlen,
Anna Vershynina
Abstract:
We prove number of quantitative stability bounds for the cases of equality in Petz's monotonicity theorem for quasi-relative entropies defined in terms of an operator monotone decreasing functions. Included in our results is a bound in terms of the Petz recovery map, but we obtain more general results. The present treatment is entirely elementary and developed in the context of finite dimensional…
▽ More
We prove number of quantitative stability bounds for the cases of equality in Petz's monotonicity theorem for quasi-relative entropies defined in terms of an operator monotone decreasing functions. Included in our results is a bound in terms of the Petz recovery map, but we obtain more general results. The present treatment is entirely elementary and developed in the context of finite dimensional von Neumann algebras where the results are already non-trivial and of interest in quantum information theory.
△ Less
Submitted 16 May, 2018; v1 submitted 22 October, 2017;
originally announced October 2017.
-
Recovery map stability for the Data Processing Inequality
Authors:
Eric A. Carlen,
Anna Vershynina
Abstract:
The Data Processing Inequality (DPI) says that the Umegaki relative entropy $S(ρ||σ) := {\rm Tr}[ρ(\log ρ- \log σ)]$ is non-increasing under the action of completely positive trace preserving (CPTP) maps. Let ${\mathcal M}$ be a finite dimensional von Neumann algebra and ${\mathcal N}$ a von Neumann subalgebra if it. Let ${\mathcal E}_τ$ be the tracial conditional expectation from ${\mathcal M}$ o…
▽ More
The Data Processing Inequality (DPI) says that the Umegaki relative entropy $S(ρ||σ) := {\rm Tr}[ρ(\log ρ- \log σ)]$ is non-increasing under the action of completely positive trace preserving (CPTP) maps. Let ${\mathcal M}$ be a finite dimensional von Neumann algebra and ${\mathcal N}$ a von Neumann subalgebra if it. Let ${\mathcal E}_τ$ be the tracial conditional expectation from ${\mathcal M}$ onto ${\mathcal N}$. For density matrices $ρ$ and $σ$ in ${\mathcal N}$, let $ρ_{\mathcal N} := {\mathcal E}_τρ$ and $σ_{\mathcal N} := {\mathcal E}_τσ$. Since ${\mathcal E}_τ$ is CPTP, the DPI says that $S(ρ||σ) \geq S(ρ_{\mathcal N}||σ_{\mathcal N})$, and the general case is readily deduced from this. A theorem of Petz says that there is equality if and only if $σ= {\mathcal R}_ρ(σ_{\mathcal N} )$, where ${\mathcal R}_ρ$ is the Petz recovery map, which is dual to the Accardi-Cecchini coarse graining operator ${\mathcal A}_ρ$ from ${\mathcal M} $ to ${\mathcal N} $. In it simplest form, our bound is $$S(ρ||σ) - S(ρ_{\mathcal N} ||σ_{\mathcal N} ) \geq \left(\frac{1}{8π}\right)^{4} \|Δ_{σ,ρ}\|^{-2} \| {\mathcal R}_{ρ_{\mathcal N}} -σ\|_1^4 $$ where $Δ_{σ,ρ}$ is the relative modular operator. We also prove related results for various quasi-relative entropies.
Explicitly describing the solutions set of the Petz equation $σ= {\mathcal R}_ρ(σ_{\mathcal N} )$ amounts to determining the set of fixed points of the Accardi-Cecchini coarse graining map. Building on previous work, we provide a throughly detailed description of the set of solutions of the Petz equation, and obtain all of our results in a simple self, contained manner.
△ Less
Submitted 30 May, 2019; v1 submitted 6 October, 2017;
originally announced October 2017.
-
Geometric inequalities from phase space translations
Authors:
Stefan Huber,
Robert Koenig,
Anna Vershynina
Abstract:
We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution operation: the latter maps a classical probability distribution on phase space and a quantum state to a quantum state. We show that this inequality also…
▽ More
We establish a quantum version of the classical isoperimetric inequality relating the Fisher information and the entropy power of a quantum state. The key tool is a Fisher information inequality for a state which results from a certain convolution operation: the latter maps a classical probability distribution on phase space and a quantum state to a quantum state. We show that this inequality also gives rise to several related inequalities whose counterparts are well-known in the classical setting: in particular, it implies an entropy power inequality for the mentioned convolution operation as well as the isoperimetric inequality, and establishes concavity of the entropy power along trajectories of the quantum heat diffusion semigroup. As an application, we derive a Log-Sobolev inequality for the quantum Ornstein-Uhlenbeck semigroup, and argue that it implies fast convergence towards the fixed point for a large class of initial states.
△ Less
Submitted 15 February, 2017; v1 submitted 28 June, 2016;
originally announced June 2016.
-
Entanglement rates for bipartite open systems
Authors:
Anna Vershynina
Abstract:
We provide upper bound on the maximal rate at which irreversible quantum dynamics can generate entanglement in a bipartite system. The generator of irreversible dynamics consists of a Hamiltonian and dissipative terms in Lindblad form. The relative entropy of entanglement is chosen as a measure of entanglement in an ancilla-free system. We provide an upper bound on the entangling rate which has a…
▽ More
We provide upper bound on the maximal rate at which irreversible quantum dynamics can generate entanglement in a bipartite system. The generator of irreversible dynamics consists of a Hamiltonian and dissipative terms in Lindblad form. The relative entropy of entanglement is chosen as a measure of entanglement in an ancilla-free system. We provide an upper bound on the entangling rate which has a logarithmic dependence on a dimension of a smaller system in a bipartite cut. We also investigate the rate of change of quantum mutual information in an ancilla-assisted system and provide an upper bound independent of dimension of ancillas.
△ Less
Submitted 10 August, 2015; v1 submitted 3 May, 2015;
originally announced May 2015.
-
Complete criterion for convex-Gaussian state detection
Authors:
Anna Vershynina
Abstract:
We present a new criterion that determines whether a fermionic state is a convex combination of pure Gaussian states. This criterion is complete and characterizes the set of convex-Gaussian states from the inside. If a state passes a program it is a convex-Gaussian state and any convex-Gaussian state can be approximated with arbitrary precision by states passing the criterion. The criterion is pre…
▽ More
We present a new criterion that determines whether a fermionic state is a convex combination of pure Gaussian states. This criterion is complete and characterizes the set of convex-Gaussian states from the inside. If a state passes a program it is a convex-Gaussian state and any convex-Gaussian state can be approximated with arbitrary precision by states passing the criterion. The criterion is presented in the form of a sequence of solvable semidefinite programs. It is also complementary to the one developed by de Melo, Cwiklinski and Terhal, which aims at characterizing the set of convex-Gaussian states from the outside. Here we present an explicit proof that criterion by de Melo et al. is complete, by estimating a distance between an n-extendible state, a state that passes the criterion, to the set of convex-Gaussian states.
△ Less
Submitted 1 December, 2014; v1 submitted 30 September, 2014;
originally announced September 2014.
-
Universal adiabatic quantum computation via the space-time circuit-to-Hamiltonian construction
Authors:
David Gosset,
Barbara M. Terhal,
Anna Vershynina
Abstract:
We show how to perform universal adiabatic quantum computation using a Hamiltonian which describes a set of particles with local interactions on a two-dimensional grid. A single parameter in the Hamiltonian is adiabatically changed as a function of time to simulate the quantum circuit. We bound the eigenvalue gap above the unique groundstate by mapping our model onto the ferromagnetic XXZ chain wi…
▽ More
We show how to perform universal adiabatic quantum computation using a Hamiltonian which describes a set of particles with local interactions on a two-dimensional grid. A single parameter in the Hamiltonian is adiabatically changed as a function of time to simulate the quantum circuit. We bound the eigenvalue gap above the unique groundstate by mapping our model onto the ferromagnetic XXZ chain with kink boundary conditions; the gap of this spin chain was computed exactly by Koma and Nachtergaele using its $q$-deformed version of SU(2) symmetry. We also discuss a related time-independent Hamiltonian which was shown by Janzing to be capable of universal computation. We observe that in the limit of large system size, the time evolution is equivalent to the exactly solvable quantum walk on Young's lattice.
△ Less
Submitted 26 September, 2014;
originally announced September 2014.
-
A Gaussian refinement of the Lieb-Robinson bound
Authors:
Elliott H. Lieb,
Anna Vershynina
Abstract:
This paper has been withdrawn by the authors because of an error in the proof. We can, however, prove a weaker spatial fall-off that is still superlinear, namely exp[-x log x].
This paper has been withdrawn by the authors because of an error in the proof. We can, however, prove a weaker spatial fall-off that is still superlinear, namely exp[-x log x].
△ Less
Submitted 26 August, 2013; v1 submitted 3 June, 2013;
originally announced June 2013.
-
Upper bounds on mixing rates
Authors:
Elliott H. Lieb,
Anna Vershynina
Abstract:
We prove upper bounds on the rate, called "mixing rate", at which the von Neumann entropy of the expected density operator of a given ensemble of states changes under non-local unitary evolution. For an ensemble consisting of two states, with probabilities of p and 1-p, we prove that the mixing rate is bounded above by 4\sqrt{p(1-p)} for any Hamiltonian of norm 1. For a general ensemble of states…
▽ More
We prove upper bounds on the rate, called "mixing rate", at which the von Neumann entropy of the expected density operator of a given ensemble of states changes under non-local unitary evolution. For an ensemble consisting of two states, with probabilities of p and 1-p, we prove that the mixing rate is bounded above by 4\sqrt{p(1-p)} for any Hamiltonian of norm 1. For a general ensemble of states with probabilities distributed according to a random variable X and individually evolving according to any set of bounded Hamiltonians, we conjecture that the mixing rate is bounded above by a Shannon entropy of a random variable X. For this general case we prove an upper bound that is independent of the dimension of the Hilbert space on which states in the ensemble act.
△ Less
Submitted 5 November, 2013; v1 submitted 15 February, 2013;
originally announced February 2013.
-
Existence of the thermodynamic limit and asymptotic behavior of some irreversible quantum dynamical systems
Authors:
Anna Vershynina
Abstract:
We discuss the properties of two open quantum systems with a general class of irreversible quantum dynamics. First we study Lieb-Robinson bounds in a quantum lattice systems. The time-dependent generator of the dynamics of the system is of the Lindblad-Kossakowski type. This generator satisfies some suitable decay condition in space. We show that the dynamics with a such generator on a finite syst…
▽ More
We discuss the properties of two open quantum systems with a general class of irreversible quantum dynamics. First we study Lieb-Robinson bounds in a quantum lattice systems. The time-dependent generator of the dynamics of the system is of the Lindblad-Kossakowski type. This generator satisfies some suitable decay condition in space. We show that the dynamics with a such generator on a finite system is a well-defined quantum dynamics in a sense of a norm-continuous cocycle of unit preserving completely positive maps. After proving Lieb-Robinson bounds for a finite lattice systems we also show the existence of the thermodynamic limit of the dynamics. We show that in a strong limit there exits a strongly continuous cocycle of unit preserving completely positive maps. Which means that the dynamics exists in an infinite system, where Lieb-Robinson bounds also holds.
In the second part of the paper we consider a system that consists of a beam of two-level atoms that pass one by one through the microwave cavity. The atoms are randomly excited and there is exactly one atom present in the cavity at any given moment. We consider both the ideal and leaky cavity and study the time asymptotic behavior of the state of the cavity. We show that the number of photons increases indefinitely in the case of the ideal cavity. In case of leaky cavity we prove that the mean photon number in the cavity stabilizes in time. The limiting state of the cavity in this case exists and it is independent of the initial state. We calculate the characteristic functional of this non-quasi-free non-equilibrium state. We also calculate the energy flux in both the ideal and leaky and the entropy production for the ideal cavity.
△ Less
Submitted 14 February, 2013; v1 submitted 24 July, 2012;
originally announced July 2012.
-
Non-equilibrium states of a photon cavity pumped by an atomic beam
Authors:
Bruno Nachtergaele,
Anna Vershynina,
Valentin A. Zagrebnov
Abstract:
We consider a beam of two-level randomly excited atoms that pass one-by-one through a one-mode cavity. We show that in the case of an ideal cavity, i.e. no leaking of photons from the cavity, the pumping by the beam leads to an unlimited increase in the photon number in the cavity. We derive an expression for the mean photon number for all times. Taking into account leaking of the cavity, we prove…
▽ More
We consider a beam of two-level randomly excited atoms that pass one-by-one through a one-mode cavity. We show that in the case of an ideal cavity, i.e. no leaking of photons from the cavity, the pumping by the beam leads to an unlimited increase in the photon number in the cavity. We derive an expression for the mean photon number for all times. Taking into account leaking of the cavity, we prove that the mean photon number in the cavity stabilizes in time. The limiting state of the cavity in this case exists and it is independent of the initial state. We calculate the characteristic functional of this non-quasi-free non-equilibrium state. We also calculate the energy flux in both the ideal and open cavity and the entropy production for the ideal cavity.
△ Less
Submitted 13 February, 2013; v1 submitted 27 June, 2012;
originally announced June 2012.
-
Lieb-Robinson Bounds and Existence of the Thermodynamic Limit for a Class of Irreversible Quantum Dynamics
Authors:
Bruno Nachtergaele,
Anna Vershynina,
Valentin A. Zagrebnov
Abstract:
We prove Lieb-Robinson bounds and the existence of the thermodynamic limit for a general class of irreversible dynamics for quantum lattice systems with time-dependent generators that satisfy a suitable decay condition in space.
We prove Lieb-Robinson bounds and the existence of the thermodynamic limit for a general class of irreversible dynamics for quantum lattice systems with time-dependent generators that satisfy a suitable decay condition in space.
△ Less
Submitted 12 April, 2011; v1 submitted 6 March, 2011;
originally announced March 2011.
