Monotonicity versions of Epstein's Concavity Theorem and related inequalities

• URL: http://arxiv.org/abs/2205.02342v4
• Date: Sun, 23 Oct 2022 22:34:36 GMT
• Title: Monotonicity versions of Epstein's Concavity Theorem and related inequalities
• Authors: Eric A. Carlen and Haonan Zhang
• Abstract summary: Many trace inequalities can be expressed either as concavity/ entropy theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum entropy is equivalent to the Data Processing Inequality.
• Score: 3.42658286826597
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The latter says that quantum operations can never increase the relative entropy. The monotonicity versions often have many advantages, and often have direct physical application, as in the example just mentioned. Moreover, the monotonicity results are often valid for a larger class of maps than, say, quantum operations (which are completely positive). In this paper we prove several new monotonicity results, the first of which is a monotonicity theorem that has as a simple corollary a celebrated concavity theorem of Epstein. Our starting points are the monotonicity versions of the Lieb Concavity and the Lieb Convexity Theorems. We also give two new proofs of these in their general forms using interpolation. We then prove our new monotonicity theorems by several duality arguments.

Related papers

• On Strong Converse Theorems for Quantum Hypothesis Testing and Channel Coding [16.207627554776916]
  Strong converse theorems refer to the study of impossibility results in information theory. Mosonyi and Ogawa established a one-shot strong converse bound for quantum hypothesis testing. We show that the variational expression of measured R'enyi divergences is a direct consequence of H"older's inequality.
  arXiv  Detail & Related papers  (2024-03-20T13:34:23Z)
• Convergence of Dynamics on Inductive Systems of Banach Spaces [68.8204255655161]
  Examples are phase transitions in the thermodynamic limit, the emergence of classical mechanics from quantum theory at large action, and continuum quantum field theory arising from renormalization group fixed points. We present a flexible modeling tool for the limit of theories: soft inductive limits constituting a generalization of inductive limits of Banach spaces.
  arXiv  Detail & Related papers  (2023-06-28T09:52:20Z)
• Connecting classical finite exchangeability to quantum theory [69.62715388742298]
  Exchangeability is a fundamental concept in probability theory and statistics. We show how a de Finetti-like representation theorem for finitely exchangeable sequences requires a mathematical representation which is formally equivalent to quantum theory.
  arXiv  Detail & Related papers  (2023-06-06T17:15:19Z)
• Sequences of resource monotones from modular Hamiltonian polynomials [0.0]
  We show that entanglement monotones yield infinite sequences of inequalities that must be satisfied in majorizing state transitions. These inequalities give improved lower bounds for the work cost in finite dimensional systems. As an application to thermodynamics, one can use them to derive finite-dimension corrections to the Clausius inequality.
  arXiv  Detail & Related papers  (2023-01-03T11:33:44Z)
• Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality [69.62715388742298]
  We introduce a formulation of quantum theory (QT) as a general probabilistic theory but expressed via quasi-expectation operators (QEOs) We will show that QT for both distinguishable and indistinguishable particles can be formulated in this way. We will show that finitely exchangeable probabilities for a classical dice are as weird as QT.
  arXiv  Detail & Related papers  (2022-03-08T14:47:39Z)
• Optimal bounds on the speed of subspace evolution [77.34726150561087]
  In contrast to the basic Mandelstam-Tamm inequality, we are concerned with a subspace subject to the Schroedinger evolution. By using the concept of maximal angle between subspaces we derive optimal bounds on the speed of such a subspace evolution. These bounds may be viewed as further generalizations of the Mandelstam-Tamm inequality.
  arXiv  Detail & Related papers  (2021-11-10T13:32:15Z)
• Quantifying entanglement in terms of an operational way [0.0]
  We show that any good entanglement quantifier defined on pure states can induce an entanglement monotone for all density matrices. In some particular cases, our proposed entanglement monotones turned to be equivalent to the convex roof construction.
  arXiv  Detail & Related papers  (2021-09-07T06:08:49Z)
• A new parameterized entanglement monotone [3.267240600491982]
  Entanglement concurrence has been widely used for featuring entanglement in quantum experiments. We propose a new parameterized bipartite entanglement monotone named as $q$-concurrence inspired by general Tsallis entropy.
  arXiv  Detail & Related papers  (2021-01-12T01:38:55Z)
• On the complex behaviour of the density in composite quantum systems [62.997667081978825]
  We study how the probability of presence of a particle is distributed between the two parts of a composite fermionic system. We prove that it is a non-perturbative property and we find out a large/small coupling constant duality. Inspired by the proof of KAM theorem, we are able to deal with this problem by introducing a cut-off in energies that eliminates these small denominators.
  arXiv  Detail & Related papers  (2020-04-14T21:41:15Z)
• A refinement of Reznick's Positivstellensatz with applications to quantum information theory [72.8349503901712]
  In Hilbert's 17th problem Artin showed that any positive definite in several variables can be written as the quotient of two sums of squares. Reznick showed that the denominator in Artin's result can always be chosen as an $N$-th power of the squared norm of the variables.
  arXiv  Detail & Related papers  (2019-09-04T11:46:26Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.