Related papers: Characterizing Schwarz maps by tracial inequalitie…

The purpose of this short note is to clarify and present a general version of an interesting observation by Piani and Mora (Physic. Rev. A 75, 012305 (2007)), linking complete positivity of linear maps on matrix algebras to decomposability…

In order to compute the Schmidt decomposition of $A\in M_k\otimes M_m$, we must consider an associated self-adjoint map. Here, we show that if $A$ is positive under partial transposition (PPT) or symmetric with positive coefficients (SPC)…

For any closed $K\subseteq\mathbb{R}^n$, in [P.\ J.\ di\,Dio, K.\ Schm\"udgen: $K$-Positivity Preserver and their Generators, SIAM J.\ Appl.\ Algebra Geom.\ 9 (2025), 794--824] all $K$-positivity preserver have been characterized, i.e., all…

We prove that the known sufficient conditions on the real parameters $(p,q)$ for which the matrix power mean inequality $((A^p+B^p)/2)^{1/p}\le((A^q+B^q)/2)^{1/q}$ holds for every pair of matrices $A,B>0$ are indeed best possible. The proof…

Let $\mathcal{A}$ and $\mathcal{B}$ be two unital $C^*$-algebras and let for $C\in\mathcal{A},\ \Gamma_C=\{\gamma \in \mathbb{C} : \|C-\gamma I\|=\inf_{\alpha\in \mathbb{C}} \|C-\alpha I\|\}$. We prove that if $\Phi :\mathcal{A}…

We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of the extended Lieb type $Tr{\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2}}^s$, where $\Phi$ and $\Psi$ are positive linear maps. By the same method combined…

We prove that the $k$-th Gaussian map $\gamma^k_{H}$ is surjective on a polarized unnodal Enriques surface $(S, H)$ with $\phi(H)>2k+4$. In particular, as a consequence, when $\phi(H)>4(k+2)$, we obtain the surjectivity of the $k$-th…

We prove a Schoenberg-type correspondence for non-unital semigroups which generalizes an analogous result for unital semigroup proved by Michael Sch\"urmann. It characterizes the generators of semigroups of linear maps on $M_n(C)$ which are…

We generalise various theorems for finding indiscernible trees and arrays to positive logic: based on an existing modelling theorem for s-trees, we prove modelling theorems for str-trees, str$_0$-trees (the reduct of str-trees that forgets…

We will give an abstract characterization of an arbitrary self-adjoint weak$^*$-closed subspace of $\mathcal{L}(H)$ (equipped with the induced matrix norm, the induced matrix cone and the induced weak$^*$-topology). In order to do this, we…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

We study $k$-positive linear maps on matrix algebras and address two problems, (i) characterizations of $k$-positivity and (ii) generation of non-decomposable $k$-positive maps. On the characterization side, we derive optimization-based…

For linear operators $L, T$ and nonlinear maps $P$, we describe classes of simple maps $F = I - P T$, $F = L - P$ between Banach and Hilbert spaces, for which no point has more than two preimages. The classes encompass known examples…

We analyze positivity of a tensor product of two linear qubit maps, $\Phi_1 \otimes \Phi_2$. Positivity of maps $\Phi_1$ and $\Phi_2$ is a necessary but not a sufficient condition for positivity of $\Phi_1 \otimes \Phi_2$. We find a…

King and Ruskai asked whether the $p\to q$ norm of a completely positive map $\Phi$, acting between Schatten $p$ and $q$ classes of self-adjoint operators, $||\Phi||_{p\to q} = \max_{A=A^*} \frac{||\Phi(A)||_q}{||A||_p}$, is equal to the…

Let $\Phi$ be a unital positive linear map and let $A$ be a positive invertible operator. We prove that there exist partial isometries $U$ and $V$ such that \[ |\Phi(f(A))\Phi(A)\Phi(g(A))|\leq U^*\Phi(f(A)Ag(A))U \] and…

Positive maps which are not completely positive are used in quantum information theory as witnesses for convex sets of states, in particular as entanglement witnesses and more generally as witnesses for states having Schmidt number not…

Let $\phi$ be a positive unital normal map of a von Neumann algebra $M$ into itself, and assume there is a family of normal $\phi$-invariant states which is faithful on the von Neumann algebra generated by the image of $\phi$. It is shown…

With techniques borrowed from quantum information theory, we develop a method to systematically obtain operator inequalities and identities in several matrix variables. These take the form of trace polynomials: polynomial-like expressions…

We prove several trace inequalities that extend the Golden-Thompson and the Araki-Lieb-Thirring inequality to arbitrarily many matrices. In particular, we strengthen Lieb's triple matrix inequality. As an example application of our four…