English

Convexity of a certain operator trace functional

Quantum Physics 2021-09-24 v1 Functional Analysis

Abstract

In this article the operator trace function Λr,s(A)[K,M]:=tr(KArMArK)s \Lambda_{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\Lambda_ {r,s} and the well-known operator functions Γp,s\Gamma_{p,s} and Ψp,q,s\Psi_{p,q,s} is used to study the stability of their convexity (concavity) properties. This interplay may be used to ensure that Λr,s\Lambda_{r,s} is convex (concave) in certain parameter ranges when M=IM=I or K=I.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 Λ\Lambda itself is examined. The final result states that Λr,s\Lambda_{r,s} is never concave and it is convex if and only if r=1r=1 and s1/2.s\geq 1/2.

Cite

@article{arxiv.2109.11528,
  title  = {Convexity of a certain operator trace functional},
  author = {Eric Evert and Scott McCullough and Tea Štrekelj and Anna Vershynina},
  journal= {arXiv preprint arXiv:2109.11528},
  year   = {2021}
}

Comments

15 pages

R2 v1 2026-06-24T06:16:14.320Z