Let $(\mathcal N,\nu)$ be a finite tracial von Neumann algebra and set $\mathcal{K}_r(P,Q)=\nu((P^{1/2}QP^{1/2})^r)$. We prove that $$ [\mathcal{K}_r(P_i,P_j)]_{i,j=1}^3\ge0, \qquad 1/2\le r\le1. $$ The range $1/2<r<1$ is new even for matrices, and order three is sharp for $1/2\le r<1$. This single mechanism resolves t...
An algebraic–geometric framework is developed that systematically simplifies optimization over separable channels—widely used as approximations of local operations—and strengthens the Doherty–Parrilo–Spedalieri (DPS) hierarchy for solving such problems.
Seiseki Akibue, Jisho Miyazaki, H. Osaka· Letters in Mathematical Phys...· 2 citations
Let $f:(0,\infty)\to(0,\infty)$ be a nontrivial normalized operator monotone function and set $s=f'(1)$. We introduce the alternative-mean trace functional $$ \altPhi_f(A,B) :=\Tr(A\nabla_s B) -\Tr\!\left( f(A^{-1}\sharp B)\,A\,f(A^{-1}\sharp B) \right). $$ on the positive definite cone. We prove that $\altPhi_f$ is a...
T. Vuong, H. Shudo, H. Osaka· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.