Families of completely positive maps associated with monotone metrics (Q2435448)

From MaRDI portal
Revision as of 08:35, 7 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Families of completely positive maps associated with monotone metrics
scientific article

    Statements

    Families of completely positive maps associated with monotone metrics (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    19 February 2014
    0 references
    Let \(\mathbb{M}_d,~\mathbb{H}_d\) and \(\mathbb{P}_d\) denote the sets of complex square matrices, complex Hermitian matrices and positive definite matrices of order \(d\), respectively. A real-valued function \(f\) on \((0,\infty)\) is said to be operator monotone if \(A \geq B\) implies that \(f(A) \geq f(B)\), where \(A\geq B\) stands for \(A-B\) being positive semidefinite with \(A,B \in \mathbb{H}_d\). A real-valued function \(k\) on \((0,\infty)\) is called operator convex if \(k(\lambda A + (1-\lambda)B) \leq \lambda k(A) + (1-\lambda) k(B)\) for all \(\lambda \in (0,1)\) and for all \(A,B \in \mathbb{P}_d\) for any positive integer \(d\). \(k\) is called operator concave if \(-k\) is operator convex. Let \(\mathcal K\) denote the class of functions \(k: (0,\infty) \rightarrow (0,\infty)\) which are operator convex, satisfying the symmetry condition \(xk(x)=k(x^{-1})\) and the normalization condition \(k(1)=1\). The authors prove an integral representation for functions that belong to \(\mathcal K\) using which necessary and sufficient conditions for a function to belong to \(\mathcal K\) are given. These statements are given in terms of operator convexity, operator concavity and operator monotonicity. A linear map \(\varPhi:\mathbb{M}_d \rightarrow \mathbb{M}_d\) is called positive if it is positivity preserving, namely \(\varPhi (\mathbb {P}_d) \subseteq \bar {\mathbb{P}_d}\), where \(\bar {\mathbb{P}_d}\) denotes the set of complex positive semidefinite matrices. \(\varPhi\) is called completely positive if \(\varPhi \otimes I\) is positive on \(\mathbb{M}_d \otimes \mathbb{M}_n\) for all positive integers \(n\). Given \(k \in \mathcal K\), consider the function \(\phi^k(x,y):=(1/y)k(x/y)\) for \(x,y >0\). Let \(D\) be unitarily diagonalizable so that there is a unitary matrix \(U\) such that \(D=U \operatorname{diag}(\lambda_1,\dots, \lambda_d) U^*\). Define \(\varOmega^k_D(X)=U([\phi(\lambda_i,\lambda_j)] \circ [U^*XU])U^*\), where \(\circ\) denotes the Hadamard entrywise product. The authors also study the problem of when these operators are completely positive. A complete analysis of the behaviour of one-parameter families for which either the map or its inverse is completely positive is presented.
    0 references
    monotone Riemannian metric
    0 references
    operator convex function
    0 references
    operator monotone function
    0 references
    completely positive map
    0 references
    positive definite kernel
    0 references
    infinite divisibility
    0 references
    quasi-entropy
    0 references
    geometric bridge
    0 references
    complex Hermitian matrices
    0 references
    positive definite matrices
    0 references
    integral representation
    0 references
    positivity preserving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references