Related papers: On Araki-Type Trace Inequalities

The paper studies the problem, for which continuous functions $f$ on the real line ${\Bbb R}$, the difference of the functions $f(B)-f(A)$ of self-adjoint operators $A$ and $B$ with trace class difference must also be of trace class. The…

Several new trace norm inequalities are established for 2n x 2n block matrices, in the special case where the four n x n blocks are diagonal. Some of the inequalities are non-commutative analogs of Hanner's inequality, others describe the…

We describe recent work of Kim in arXiv:1210.5190 to show that operator convex functions associated with quasi-entropies can be used to prove a large class of new matrix inequalities in the tri-partite and bi-partite setting by taking a…

Let $\Omega\subseteq \mathbb{R}^{4}$ be a bounded domain with smooth boundary $\partial\Omega$. In this paper, we establish the following sharp form of the trace Adams' inequality in $W^{2,2}(\Omega)$ with zero mean value and zero Neumann…

We prove the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i:\mathcal{S}\to…

Recently, Bruinier and Ono proved that the coefficients of certain weight -1/2 harmonic weak Maa{\ss} forms are given as "traces" of singular moduli for harmonic weak Maa{\ss} forms. Here, we prove that similar results hold for the…

In this expository paper, various properties of matrix traces, determinants and adjugate matrices are proved, including the *trace Cayley-Hamilton theorem*, which says that \[ kc_k + \sum_{i=1}^k \operatorname{Tr} (A^i) c_{k-i} = 0 \qquad…

We prove that a trace inequality holds for John domains $\Omega$ satisfying $$ \mathcal H^{n-1}(\partial \Omega\setminus \partial_*\Omega)=0,$$ where $\partial_*\Omega$ denotes the measure-theoretic boundary, together with an upper density…

For an upper bidiagonal matrix $B$ where all the diagonal and the upper subdiagonal entries are positive, two subtraction-free formulae for computation of the traces $J_{M} ( B ) = \textrm{Tr} ( ( B^{\top} B )^{- M} ) = \textrm{Tr} ( ( B…

For positive semidefinite matrices $A$ and $B$, Ando and Zhan proved the inequalities $||| f(A)+f(B) ||| \ge ||| f(A+B) |||$ and $||| g(A)+g(B) ||| \le ||| g(A+B) |||$, for any unitarily invariant norm, and for any non-negative operator…

The (chordal) Loewner differential equation encodes certain curves in the half-plane (aka traces) by continuous real-valued driving functions. Not all curves are traces; the latter can be defined via a geometric condition called the local…

By the use of the celebrated Kato's inequality we obtain in this paper some new inequalities for trace class operators on a complex Hilbert space H. Natural applications for functions defined by power series of normal operators are given as…

The asymptotic trace formula of A. Connes is restated in a semi-local form, thus showing that the difficulties in giving a direct proof do not lie in the change of topology when transgressing from finitely many places to infinitely many.

Some Tur\'an type inequalities for Struve functions of the first kind are deduced by using various methods developed in the case of Bessel functions of the first and second kind. New formulas, like Mittag-Leffler expansion, infinite product…

We aim to contribute to the folklore of function spaces on Lipschitz domains. We prove the boundedness of the trace operator for homogeneous Sobolev and Besov spaces on a special Lipschitz domain with sharp regularity. To achieve this, we…

Let $\frac{a_1}{b_1}, \frac{a_2}{b_2}, \ldots$ be the Farey fractions of order $n$. We then prove that the inequality $(a_l - a_k)(b_l - b_k) \ge 0$ holds for all $k$ and $l > k$ with $l-k \le \left(\frac{1}{12} - o(1) \right)n$, sharpening…

There are known trace and extension theorems relating functions in a weighted Sobolev space in a domain U to functions in a Besov space on the boundary bU. We extend these theorems to the case where the Sobolev exponent p is less than one…

Let $J$ denote the interval either $(0,1]$ or $ [1, \infty)$. A positive function $f$ on $J$ with $f(1) =1$ is reffered to as a Weierstrass function if it fulfils the double inequality for $x,y \in J$: $$f(x) + f(y) -1 \leq f(xy) \leq…

We establish three families of Sobolev trace inequalities of orders two and four in the unit ball under higher order moments constraint, and are able to construct \emph{smooth} test functions to show all such inequalities are \emph{almost…

Let $F$ be a number field, $\pi$ either a unitary cuspidal automorphic representation of $\mathrm{GL}(2)/F$ or a unitary Eisenstein series, and $\chi$ a unitary Hecke character of analytic conductor $C(\chi).$ We develop a regularized…