Related papers: On Araki-Type Trace Inequalities

Let A= (a_{ij}) be a symmetric non-negative integer 2k x 2k matrix. A is homogeneous if a_{ij} + a_{kl}=a_{il} + a_{kj} for any choice of the four indexes. Let A be a homogeneous matrix and let F be a general form in C[x_1, \dots x_n] with…

The goal of this short note is to prove qualitative stability for a family of trace Sobolev inequalities first proven by Carlen \& Loss for $p=2$ and by Maggi and the author for $p\in (1,n)$. This answers an open problem raised in a recent…

Despite their popularity, many questions about the algebraic constraints imposed by linear structural equation models remain open problems. For causal discovery, two of these problems are especially important: the enumeration of the…

The purpose of this paper is to present the critical cases of the trace theorems for the restriction of functions to closed surfaces, and to give the asymptotics for the norms of the traces under dilations of the surface. We also discuss…

In this paper we consider a generalized version of Carleman's inequality. An equivalent version of it states that $\|f\|_{A_\alpha^{2\alpha}}\leq\|f\|_{H^2}$, where $f$ is a holomorphic function and $\alpha>1$. If the norms…

For the functions $f$, which can be represented in the form of the convolution $f(x)=\frac{a_{0}}{2}+\frac{1}{\pi}\int\limits_{-\pi}^{\pi}\sum\limits_{k=1}^{\infty}e^{-\alpha k^{r}}\cos(kt-\frac{\beta\pi}{2})\varphi(x-t)dt$,…

Relating to finding possible upper bounds for the probability of error for discriminating between two quantum states, it is well-known that \begin{align*} \mathrm{tr}(A+B) - \mathrm{tr}|A-B|\leq 2\, \mathrm{tr}\big(f(A)g(B)\big)…

We introduce a general approach to traces that we consider as linear continuous functionals on some function space where we focus on some special choices for that space. This leads to an integral calculus for the computation of the precise…

Suppose a map $\phi$ on the set of positive definite matrices satisfies $\det(A+B)=\det(\phi(A)+\phi(B))$. Then we have $${\rm tr}(AB^{-1}) = {\rm tr}(\phi(A){\phi(B)}^{-1}).$$ Through this viewpoint, we show that $\phi$ is of the form…

Let G be a finite abelian group of order n. For a complex valued function f on G, let \fht denote the Fourier transform of f. The uncertainty inequality asserts that if f \neq 0 then |supp(f)| |supp(\fht)| \geq n. Answering a question of…

The partial transpose map is a linear map widely used quantum information theory. We study the equality condition for a matrix inequality generated by partial transpose, namely $\rank(\sum^K_{j=1} A_j^T \otimes B_j)\le K \cdot…

Let $H$ be a positive semi-definite matrix partitioned in $\beta\times \beta$ Hermitian blocks, $H=[A_{s,t}]$, $1\le s,t,\le \beta$. Then, for all symmetric norms, {equation*} \| H \| \le \| \sum_{s=1}^{\beta} A_{s,s} \|. {equation*} The…

Borg-type uniqueness theorems for matrix-valued Jacobi operators H and supersymmetric Dirac difference operators D are proved. More precisely, assuming reflectionless matrix coefficients A, B in the self-adjoint Jacobi operator H=AS^+ +…

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible…

We prove a functional extension of an exponential inequality originally proposed by Bin Zhao and proved by Xiaosheng Mou. The main result asserts that if $\alpha_1\leq \cdots\leq \alpha_n$ and $\sum_{k=1}^n \alpha_k=0$, then \[ \sum_{k=1}^n…

Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For every real $\alpha\in\left[ 0,1\right] $, write $A_{\alpha}\left( G\right) $ for the matrix \[ A_{\alpha}\left( G\right)…

For a nonsingular matrix $A$, we propose the form $Tr(^t\!A A^{-1})$, the trace of the product of its transpose and inverse, as a new invariant under congruence of nonsingular matrices.

For fixed $s\geq 1$ and $t_{1},t_{2}\in(0,1/2)$ we prove that the inequalities $G^{s}(t_{1}a+(1-t_{1})b,t_{1}b+(1-t_{1})a)A^{1-s}(a,b)>AG(a,b)$ and $G^{s}(t_{2}a+(1-t_{2})b,t_{2}b+(1-t_{2})a)A^{1-s}(a,b)>L(a,b)$ hold for all $a,b>0$ with…

For a Jacobi matrix J on l^2(Z_+) with Ju(n)=a_{n-1} u(n-1) + b_n u(n) + a_n u(n+1), we prove that \sum_{|E|>2} (E^2 -4)^{1/2} \leq \sum_n |b_n| + 4\sum_n |a_n -1|. We also prove bounds on higher moments and some related results in higher…

In $\mathbb{R}^3$ we consider the vector fields \[ X_1 =\frac{ \partial }{\partial x},\qquad X_2 =\frac{ \partial }{\partial y}+ |x|^\alpha \frac{ \partial }{\partial z}, \] where $\alpha\in\left[1,+\infty\right[$. Let $\mathbb{R}^3_+…