Related papers: On Araki-Type Trace Inequalities

A long-standing conjecture asserts that the polynomial \[p(t) = \text{Tr}[(A+tB)^m]\] has nonnegative coefficients whenever $m$ is a positive integer and $A$ and $B$ are any two $n \times n$ positive semidefinite Hermitian matrices. The…

We study functional inequality of the form $$|T(f,h)-T(f,g)T(g,h)| \leq F(f,g)F(g,h) -F(f,h)$$ where $T$ is a complex-valued functional and $F$ is a real-valued map. Motivation for our studies comes from some generalizations of Gr\"uss…

We establish that trace inequalities $$\|D^{k-1}u\|_{L^{\frac{n-s}{n-1}}(\mathbb{R}^{n},d\mu)} \leq c \|\mu\|_{L^{1,n-s}(\mathbb{R}^{n})}^{\frac{n-1}{n-s}}\|\mathbb{A}[D]u\|_{L^{1}(\mathbb{R}^{n},d\mathscr{L}^{n})}$$ hold for vector fields…

Consider a function $F(X,Y)$ of pairs of positive matrices with values in the positive matrices such that whenever $X$ and $Y$ commute $F(X,Y)= X^pY^q.$ Our first main result gives conditions on $F$ such that ${\rm Tr}[ X \log (F(Z,Y))]…

We consider the following trace function on n-tuples of positive operators: \Phi_p(A_1,A_2,...,A_n) = Trace (\sum_{j=1}^n A_j^p)^{1/p} and prove that it is jointly concave for 0<p\le 1 and convex for p=2. We then derive from this a…

As a follow-up to a paper of D. Petz and J. Zem\'anek [4], a number of equivalent conditions which characterize the trace among linear functionals on matrix algebras, finite rank operators and the socle elements of semisimple Banach…

We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is \Phi_{p,q}(A_1,A_2,...,A_m) = (trace((\sum_{j=1}^m A_j^p)^{q/p}))^{1/q} for m positive definite…

This paper formulates Young-type inequalities for singular values (or $s$-numbers) and traces in the context of von Neumann algebras. In particular, it shown that if $\t(\cdot)$ is a faithful semifinite normal trace on a semifinite von…

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 [P. Renaud, "A matrix formulation of Gr\"uss inequality", Linear Algebra Appl. 335 (2001), 95--100] it was proved an operator inequality involving the usual trace functional. In this article, we give a refinement of such result and we…

We investigate monotone operator functions of several variables under a trace or a trace-like functional. In particular, we prove the inequality \tau(x_1... x_n)\le\tau(y_1... y_n) for a trace \tau on a C^*-algebra and abelian n-tuples…

In this paper, we establish the sharp critical and subcritical trace Trudinger-Moser and Adams inequalities on the half spaces and prove the existence of their extremals through the method based on the Fourier rearrangement, harmonic…

We translate inequalities and conjectures for immanants and generalized matrix functions into inequalities in the L\"owner order. These have the form of trace polynomials and generalize the inequalities from [FH, J. Math. Phys. 62 (2021),…

The trace-dev-div inequality in $H^s$ controls the trace in the norm of $H^s$ by that of the deviatoric part plus the $H^{s-1}$ norm of the divergence of a quadratic tensor field different from the constant unit matrix. This is well known…

In 1971 Fedi\u{i} proved the remarkable theorem that the linear second order partial differential operator in the plane with coefficients 1 and f^2 is hypoelliptic provided that f is smooth, vanishes at the origin and is positive otherwise.…

The reformulation of the Bessis-Moussa-Villani conjecture given by Lieb and Seiringer asserts that the coefficient of t^r in the polynomial Trace[(A+tB)^p], with A and B positive semidefinite matrices, is nonnegative for all p and r. We…

For a positive semidefinite matrix $H= \begin{bmatrix} A&X\\ X^{*}&B \end{bmatrix} $, we consider the norm inequality $ ||H||\leq ||A+B|| $. We show that this inequality holds under certain conditions. Some related topics are also…

We present some new inequalities related to determinant and trace for positive semidefinite block matrices by using symmetric tensor product, which are extensions of Fiedler-Markham's inequality and Thompson's inequality.

The structure of type A and B trace anomalies is reanalyzed in terms of the universal behaviour of dimension -2 invariant amplitudes. Based on it a general argument for trace anomaly matching between the unbroken and broken phases of a CFT…

Using an unambiguous characterization of Trace Anomalies a general proof of matching for Type A and B anomalies in the broken phases of Conformal Field Theories is given. The general constraints on amplitudes of energy-momentum tensors and…