-
Tight uniform continuity bound for a family of entropies
Authors:
Eric P. Hanson,
Nilanjana Datta
Abstract:
We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed…
▽ More
We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed a state which was majorized by every state in a neighbourhood ($\varepsilon$-ball) of a given state, and thus was the minimal state in majorization order in the $\varepsilon$-ball. This minimal state satisfies a particular semigroup property, which we exploit to prove our bound.
△ Less
Submitted 20 July, 2017; v1 submitted 13 July, 2017;
originally announced July 2017.
-
Maximum and minimum entropy states yielding local continuity bounds
Authors:
Eric P. Hanson,
Nilanjana Datta
Abstract:
Given an arbitrary quantum state ($σ$), we obtain an explicit construction of a state $ρ^*_\varepsilon(σ)$ (resp. $ρ_{*,\varepsilon}(σ)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $σ$. Computing the entropy of these states leads to a local strengthening of the continuity bound of the von Neumann entropy, i.e., the…
▽ More
Given an arbitrary quantum state ($σ$), we obtain an explicit construction of a state $ρ^*_\varepsilon(σ)$ (resp. $ρ_{*,\varepsilon}(σ)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $σ$. Computing the entropy of these states leads to a local strengthening of the continuity bound of the von Neumann entropy, i.e., the Audenaert-Fannes inequality. Our bound is local in the sense that it depends on the spectrum of $σ$. The states $ρ^*_\varepsilon(σ)$ and $ρ_{*,\varepsilon}(σ)$ depend only on the geometry of the $\varepsilon$-ball and are in fact optimizers for a larger class of entropies. These include the Rényi entropy and the min- and max- entropies. This allows us to obtain local continuity bounds for these quantities as well. In obtaining this bound, we first derive a more general result which may be of independent interest, namely a necessary and sufficient condition under which a state maximizes a concave and Gâteaux-differentiable function in an $\varepsilon$-ball around a given state $σ$. Examples of such a function include the von Neumann entropy, and the conditional entropy of bipartite states. Our proofs employ tools from the theory of convex optimization under non-differentiable constraints, in particular Fermat's Rule, and majorization theory.
△ Less
Submitted 21 September, 2017; v1 submitted 7 June, 2017;
originally announced June 2017.
-
Landauer's Principle for Trajectories of Repeated Interaction Systems
Authors:
Eric P. Hanson,
Alain Joye,
Yan Pautrat,
Renaud Raquépas
Abstract:
We analyze Landauer's principle for repeated interaction systems consisting of a reference quantum system $\mathcal{S}$ in contact with an environment $\mathcal{E}$ which is a chain of independent quantum probes. The system $\mathcal{S}$ interacts with each probe sequentially, for a given duration, and the Landauer principle relates the energy variation of $\mathcal{E}$ and the decrease of entropy…
▽ More
We analyze Landauer's principle for repeated interaction systems consisting of a reference quantum system $\mathcal{S}$ in contact with an environment $\mathcal{E}$ which is a chain of independent quantum probes. The system $\mathcal{S}$ interacts with each probe sequentially, for a given duration, and the Landauer principle relates the energy variation of $\mathcal{E}$ and the decrease of entropy of $\mathcal{S}$ by the entropy production of the dynamical process. We consider refinements of the Landauer bound at the level of the full statistics (FS) associated to a two-time measurement protocol of, essentially, the energy of $\mathcal{E}$. The emphasis is put on the adiabatic regime where the environment, consisting of $T \gg 1$ probes, displays variations of order $T^{-1}$ between the successive probes, and the measurements take place initially and after $T$ interactions. We prove a large deviation principle and a central limit theorem as $T \to \infty$ for the classical random variable describing the entropy production of the process, with respect to the FS measure. In a special case, related to a detailed balance condition, we obtain an explicit limiting distribution of this random variable without rescaling. At the technical level, we obtain a non-unitary adiabatic theorem generalizing that of [Commun. Math. Phys. (2017) 349: 285] and analyze the spectrum of complex deformations of families of irreducible completely positive trace-preserving maps.
△ Less
Submitted 13 March, 2018; v1 submitted 23 May, 2017;
originally announced May 2017.
-
Landauer's Principle in Repeated Interaction Systems
Authors:
Eric Hanson,
Alain Joye,
Yan Pautrat,
Renaud Raquépas
Abstract:
We study Landauer's Principle for Repeated Interaction Systems (RIS) consisting of a reference quantum system $\mathcal{S}$ in contact with a structured environment $\mathcal{E}$ made of a chain of independent quantum probes; $\mathcal{S}$ interacts with each probe, for a fixed duration, in sequence. We first adapt Landauer's lower bound, which relates the energy variation of the environment…
▽ More
We study Landauer's Principle for Repeated Interaction Systems (RIS) consisting of a reference quantum system $\mathcal{S}$ in contact with a structured environment $\mathcal{E}$ made of a chain of independent quantum probes; $\mathcal{S}$ interacts with each probe, for a fixed duration, in sequence. We first adapt Landauer's lower bound, which relates the energy variation of the environment $\mathcal{E}$ to a decrease of entropy of the system $\mathcal{S}$ during the evolution, to the peculiar discrete time dynamics of RIS. Then we consider RIS with a structured environment $\mathcal{E}$ displaying small variations of order $T^{-1}$ between the successive probes encountered by $\mathcal{S}$, after $n\simeq T$ interactions, in keeping with adiabatic scaling. We establish a discrete time non-unitary adiabatic theorem to approximate the reduced dynamics of $\mathcal{S}$ in this regime, in order to tackle the adiabatic limit of Landauer's bound. We find that saturation of Landauer's bound is equivalent to a detailed balance condition on the repeated interaction system, reflecting the non-equilibrium nature of the repeated interaction system dynamics. This is to be contrasted with the generic saturation of Landauer's bound known to hold for continuous time evolution of an open quantum system interacting with a single thermal reservoir in the adiabatic regime.
△ Less
Submitted 6 July, 2016; v1 submitted 2 October, 2015;
originally announced October 2015.
