Related papers: On Araki-Type Trace Inequalities

In this paper we deal with a class of inequalities which interpolate the Kato's inequality and the Hardy's inequality in the half space. Starting from the classical Hardy's inequality in the half space $\rnpiu =\R^{n-1}\times(0,\infty)$, we…

We consider the task of estimating the trace of a matrix function, ${\rm tr}(f({\bf A}))$, of a large symmetric positive semi-definite matrix ${\bf A}$. This problem arises in multiple applications, including kernel methods and inverse…

We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak…

In this paper, we prove trace-type Poincar\'e and Sobolev inequalities for the space of functions of bounded $\mathbb{A}$-Variation

Let $A,B\in \mathbb{B}(\mathscr{H})$ be such that $0<b_{1}I \leq A \leq a_{1}I$ and $0<b_{2}I \leq B \leq a_{2}I$ for some scalars $0<b_{i}< a_{i},\;\; i=1,2$ and $\Phi:\mathbb{B}(\mathscr{H})\rightarrow\mathbb{B}(\mathscr{K})$ be a…

We prove a weak-type (1,1) inequality for square functions of non-commutative martingales that are simultaneously bounded in $L^2$ and $L^1$. More precisely, the following non-commutative analogue of a classical result of Burkholder holds:…

The absolute value of matrices is used in order to give inequalities for the trace of products. An application gives a very short proof of the tracial matrix Hoelder inequality

For two hermitian matrices $A$ and $B$, Golden-Thompson inequality \cite{golden1965lower, thompson1965inequality} states that $$ \mathrm{tr}\left[ \exp{(A+B)} \right] \leq \mathrm{tr}\left[ \exp{(A)}\exp{(B)} \right]. $$ We elaborate here…

In this paper we show that every $L^1$-integrable function on $\partial\Omega$ can be obtained as the trace of a function of bounded variation in $\Omega$ whenever $\Omega$ is a domain with regular boundary $\partial\Omega$ in a doubling…

In these notes, we present versions of trace theorems for Sobolev spaces over an interval in the real line, and also a one-dimensional version of the well-known Poincare inequality.

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 $\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…

Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity. We prove lower bounds on the second-order, third-order, and higher-order…

In this paper, we study the relations between trace inequalities(Sobolev and Moser-Trudinger type), isocapacitary inequalities and the regularity of the complex Hessian and Monge-Amp\`ere equations with respect to a general positive Borel…

In this work we establish trace Hardy-Sobolev-Maz'ya inequalities with best Hardy constants, for weakly mean convex domains. We accomplish this by obtaining a new weighted Hardy type estimate which is of independent inerest. We then produce…

We introduce the notion of $k$-trace and use interpolation of operators to prove the joint concavity of the function $(A,B)\mapsto\text{Tr}_k\big[(B^\frac{qs}{2}K^*A^{ps}KB^\frac{qs}{2})^{\frac{1}{s}}\big]^\frac{1}{k}$, which generalizes…

Given a function $f:(0,\infty)\rightarrow\RR$ and a positive semidefinite $n\times n$ matrix $P$, one may define a trace functional on positive definite $n\times n$ matrices as $A\mapsto \Tr(Pf(A))$. For differentiable functions $f$, the…

For a pseudodifferential boundary operator A of integer order \nu and class zero (in the Boutet de Monvel calculus) on a compact n-dimensional manifold with boundary, we consider the function Trace(AB^{-s}) where B is an auxiliary system…

Let $\alpha$ be a totally positive algebraic integer, and define its absolute trace to be $\frac{Tr(\alpha)}{\text{deg}(\alpha)}$, the trace of $\alpha$ divided by the degree of $\alpha$. Elementary considerations show that the absolute…

We establish a sharp affine $L^p$ Sobolev trace inequality by using the $L_p$ Busemann-Petty centroid inequality. For $p = 2$, our affine version is stronger than the famous sharp $L^2$ Sobolev trace inequality proved independently by…