2016/04/30 by Felix Leditzky, Cambyse Rouzé, Nilanjana Datta · 1 citation
Computer Science · Engineering · Mathematics · Physics and Astronomy · #Algebraic number #Divergence (linguistics) #Monotonic function #Quantum #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum entanglement #Range (aeronautics) #Representation (politics) #TRACE (psycholinguistics) #Upper and lower bounds #Wireless Communication Security Techniques #math-ph #math.MP #quant-ph
paper · pdf · doi:10.1007/s11005-016-0896-9
published as Letters in Mathematical Physics 107 (1), pp. 61-80, 2017 · 17 pages, no figures, comments welcome! v4: published version in Letters in Mathematical Physics
openalex created_date 2016/06/24 · arxiv created 2016/11/15 · openalex publication_date 2016/11/15 · arxiv updated 2017/12/15 · openalex updated_date 2026/08/05
The α -sandwiched Rényi divergence satisfies the data processing inequality, i.e. monotonicity under quantum operations, for α ≥ 1/2 . In this article, we derive a necessary and sufficient algebraic condition for equality in the data processing inequality for the α -sandwiched Rényi divergence for all α ≥ 1/2 . For the range α ∈ [1/2,1) , our result provides the only condition for equality obtained thus far. To prove our result, we first consider the special case of partial trace and derive a condition for equality based on the original proof of the data processing inequality by Frank and Lieb (J Math Phys 54(12):122201, 2013) using a strict convexity/concavity argument. We then generalize to arbitrary quantum operations via the Stinespring Representation Theorem. As applications of our condition for equality in the data processing inequality, we deduce conditions for equality in various entropic inequalities. We formulate a Rényi version of the Araki–Lieb inequality and analyze the case of equality, generalizing a result by Carlen and Lieb (Lett Math Phys 101(1):1–11, 2012) about equality in the original Araki–Lieb inequality. Furthermore, we prove a general lower bound on a Rényi version of the entanglement of formation and observe that it is attained by states saturating the Rényi version of the Araki–Lieb inequality. Finally, we prove that the known upper bound on the entanglement fidelity in terms of the usual fidelity is saturated only by pure states.