Related papers: Characterizing Schwarz maps by tracial inequalitie…

We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are…

In $\mathbb R^n$, we parametrize Kakeya sets using Kakeya maps. A Kakeya map is defined to be a map $$\phi:B^{n-1}(0,1)\times [0,1]\rightarrow \mathbb{R}^{n}, (v,t)\mapsto (c(v)+tv,t),$$ where $ c:B^{n-1}(0,1)\rightarrow \mathbb{R}^{n-1}$.…

We revisit and improve joint concavity/convexity and monotonicity properties of quasi-entropies due to Petz in a new fashion. Then we characterize equality cases in the monotonicity inequalities (the data-processing inequalities) of…

The following theorem is proved: Suppose $M = (a_{i,j})$ be a $k \times k$ matrix with positive entries and $a_{i,j}a_{i+1,j+1} > 4\cos ^2 \frac{\pi}{k+1} a_{i,j+1}a_{i+1,j} \quad (1 \leq i \leq k-1, 1 \leq j \leq k-1).$ Then $\det M > 0 .$…

We study k Kadison Schwarz (k KS) mappings on matrix algebras and derive explicit conditions ensuring the k KS property for two classes of maps parameterized by a single k-positive map.

It is well-known that two locally univalent analytic functions $\varphi$ and $\psi$ have equal Schwarzian derivative if and only if there exists a non-constant M\"obius transformation $T$ such that $\varphi=T\circ \psi$. In this paper, we…

Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\Phi: \mathscr{A} \to {\mathbb B}({\mathscr H})$ be a unital $n$-positive linear map between $C^*$-algebras for some $n \geq 3$. We show that $$\|\Phi(AB)-\Phi(A)\Phi(B)\| \leq…

For any positive invertible matrix $A$ and any normal matrix $B$ in $M_{n}({\Bbb C})$, we investigate whether the inequality $ ||A\sharp (B^{*}A^{-1}B)||\geq ||B|| $ is true or not, where $\sharp$ denotes the geometric mean and $||\cdot||$…

Let f be a function defined on positive numbers. The subject is the trace inequality $Tr f(A) + Tr f(P_2AP_2) \le Tr f(P_{12}AP_{12}) + \Tr f(P_{23}AP_{23})$, where $A$ is a positive operator, $P_1,P_2,P_3$ are orthogonal projections such…

Let $M_n(\mathbb{F})$ denote the algebra of $n \times n$ matrices over an algebraically closed field $\mathbb{F}$ of characteristic different from $2$. For $n \ge 2$, we classify all maps $\phi : M_n(\mathbb{F}) \to M_n(\mathbb{F})$…

Let $\phi: A\to A$ be a (not necessarily linear, additive or continuous) map of a standard operator algebra. Suppose for any $a,b\in A$ there is an algebra automorphism $\theta_{a,b}$ of $ A$ such that \begin{align*} \phi(a)\phi(b) =…

We give a useful new characterization of the set of all completely positive, trace-preserving (i.e., stochastic) maps from 2x2 matrices to 2x2 matrices. These conditions allow one to easily check any trace-preserving map for complete…

We show that each positive map from B(K) to B(H) with K and H finite dimensional Hilbert spaces is a scalar multiple of a map of the form $Tr - \psi$ with $\psi$ completely positive. This is used to give necessary and sufficient conditions…

A linear map between real symmetric matrix spaces is positive if all positive semidefinite matrices are mapped to positive semidefinite ones. A real symmetric matrix is separable if it can be written as a summation of Kronecker products of…

In this short paper, we give a complete and affirmative answer to a conjecture on matrix trace inequalities for the sum of positive semidefinite matrices. We also apply the obtained inequality to derive a kind of generalized Golden-Thompson…

Let $K$ be a number field, which is tame and non totally real. In this article we give a numerical criterion, depending only on the ramification behavior of ramified primes in $K$, to decide whether or not the integral trace of $K$ is…

The Fourier coefficients of a Maass form $\phi$ for SL$(n,\mathbb Z)$ are complex numbers $A_\phi(M)$, where $M=(m_1,m_2,\ldots,m_{n-1})$ and $m_1,m_2,\ldots ,m_{n-1}$ are nonzero integers. It is well known that coefficients of the form…

We consider biharmonic maps $\phi:(M,g)\rightarrow (N,h)$ from a complete Riemannian manifold into a Riemannian manifold with non-positive sectional curvature. Assume that $\alpha$ satisfies $1<\alpha<\infty$. If for such an $\alpha$,…

Following an idea of Lin, we prove that if $A$ and $B$ be two positive operators such that $0<mI\le A\le m'I\le M'I\le B\le MI$, then \begin{equation*} {{\Phi }^{2}}\left( \frac{A+B}{2} \right)\le \frac{{{K}^{2}}\left( h \right)}{{{\left(…

We study the complexity of computing the mixed Schatten $\|\Phi\|_{q\to p}$ norms of linear maps $\Phi$ between matrix spaces. When $\Phi$ is completely positive, we show that $\| \Phi \|_{q \to p}$ can be computed efficiently when $q \geq…