# Tagged Questions

For questions about trace, which can concern matrices, operators or functions.

33 views

### When is the following trace inequality valid?

I have $A = A^T$ (and can have any real eigenvalue) and $B = B^T \succeq 0$ and want to know if the following holds $$trace(AB) \leq 0 \iff \lambda_{max} (AB) \leq 0$$ I know that the matrix $AB$ ...
42 views

### Show that the trace of A is less than n

Let $A$ be an $n\times n$ matrix with complex entries such that $A^k=I_n$ for some positive integer $k$. Show that the trace of $A$ satisfies $$|tr(A)| \leq n.$$ I have no idea how to approach this ...
11 views

### Can we write $\text{tr}[Q(x)^*\nabla^2u(x)Q(x)]$ for $u∈C^2(ℝ^d)$ and $Q:ℝ^d→\text{HS}(H,ℝ^d)$ in terms of a differential operator?

Let $H$ be a separable $\mathbb R$-Hilbert space $u\in C^2(\mathbb R^d)$ and $\nabla^2u(x)$ denote the Hessian of $u$ at $x\in\mathbb R^d$ $\operatorname{HS}(H,\mathbb R^d)$ denote the space of ...
16 views
+50

### $ι:U→V$ is an embedding, $Q:=ιι^*$, $L∈𝓛(ℝ^d)$, $Φ∈\text{HS}(U,ℝ^d)$ $⇒$ $\text{tr}LΦ\sqrt Q(Φ\sqrt Q)^*$ doesn't depend on $ι$

Let$^1$ $U$ and $V$ be separable $\mathbb R$-Hilbert spaces $\iota\in\operatorname{HS}(U,V)$ be a Hilbert-Schmidt embedding $Q:=\iota\iota^\ast$ $u:\mathbb R^d\to\mathbb R$ be twice Fréchet ...
25 views

42 views

### Lower bounding the trace of $A^2$ using the trace of $A^T A$

$\DeclareMathOperator{\tr}{tr}$For a real, square matrix $A$, I believe that one has a simple upper bound on the (absolute value of the) trace of its square in terms of the trace of its Gramian-type ...
23 views

### There is no trace on Cuntz algebra

Here is a general explanation why purely infinite $C^*$-algebras admit no tracial states: Non-existence Tracial states. Is my following explanation for non existence of trace on Cuntz algebra $O_n$ (...
98 views

### Prove that $\operatorname{trace}(A) = 0$ if and only if $A^2 = 0$. [duplicate]

Let $A\in M_{n \times n}$ such that rank of $A$ is $1$. Prove that $\operatorname{trace}(A) = 0$ if and only if $A^2 = 0$.
90 views

24 views

74 views

### An equality in the proof of Proposition 3 of Section 2.7 of Pierre Samuel's Algebraic Theory of Numbers

I am reading Pierre Samuel's Algebraic Theory of Numbers. I get stuck at an equality within the proof of Proposition 3 of Section 2.7. The statement of the proposition is as follows: Proposition 3. ...
### Calculate the trace of $T_nL$ where $L\in L(H)$, $T\in L(H,L(H))$ and $T_n:=\langle T,e_n\rangle_H$ for some ONB $(e_n)_n$ of a Hilbert space $H$
Let$^1$ $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space over $\mathbb R$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ $T\in\mathfrak L\left(H,\mathfrak L\left(H\right)\right)$ ...
### Is $\langle A,B\rangle =\operatorname{trace}(AB^T)$ an inner product in $\mathbb R^{n\times m}$?
I don't understand why one should take transpose of $\operatorname{tr}(AB^T)$ and why we use the fact that $\operatorname{tr}(M)=\operatorname{tr}(M^T)$ for any $M$ that is a square matrix to solve ...