pith. sign in

arxiv: 1212.0248 · v2 · pith:LJAM3YEUnew · submitted 2012-12-02 · 🪐 quant-ph · cs.IT· math-ph· math.IT· math.MP

The structure of Renyi entropic inequalities

classification 🪐 quant-ph cs.ITmath-phmath.ITmath.MP
keywords inequalitiesalphaotherquantumstatealpha-entropiesentropieshomogeneous
0
0 comments X
read the original abstract

We investigate the universal inequalities relating the alpha-Renyi entropies of the marginals of a multi-partite quantum state. This is in analogy to the same question for the Shannon and von Neumann entropy (alpha=1) which are known to satisfy several non-trivial inequalities such as strong subadditivity. Somewhat surprisingly, we find for 0<alpha<1, that the only inequality is non-negativity: In other words, any collection of non-negative numbers assigned to the nonempty subsets of n parties can be arbitrarily well approximated by the alpha-entropies of the 2^n-1 marginals of a quantum state. For alpha>1 we show analogously that there are no non-trivial homogeneous (in particular no linear) inequalities. On the other hand, it is known that there are further, non-linear and indeed non-homogeneous, inequalities delimiting the alpha-entropies of a general quantum state. Finally, we also treat the case of Renyi entropies restricted to classical states (i.e. probability distributions), which in addition to non-negativity are also subject to monotonicity. For alpha different from 0 and 1 we show that this is the only other homogeneous relation.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Channel-State duality with centers

    quant-ph 2024-04 unverdicted novelty 5.0

    Generalizes channel-state duality to algebras with centers, establishing a link between state non-separability and channel isometry, plus extension to infinite-dimensional trace-class operators.