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

learn more… | top users | synonyms

1
vote
0answers
44 views

unbounded solution, lim inf of trace,

Show that if $\lim \inf_{t\rightarrow \infty} \int_{t_0}^t \operatorname{tr}\left(A(s)\right)ds= \infty $ then the linear first-order system $x'(t)=A(t)x(t)$ where $A \in C\left(I, \mathbb{R}^{n\times ...
2
votes
1answer
44 views

Generalized Poincaré Inequality on H1 proof.

let's see if someone can help me with this proof. Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. And let $L^2\left(\Omega\right)$ be the space of equivalence classes of square integrable ...
2
votes
0answers
32 views

Evaluate the product $\DeclareMathOperator{tr}{tr}\tr(AB)\tr(CB^{-1})$

Let $A,C$ be given positive semidefinite matrices, $B$ be an arbitrary positive definite matrix. How can I estimate the value of $\tr(AB)\tr(CB^{-1})$ ? Is that true $\tr(AB)\tr(CB^{-1}) \geq \tr(AC)$ ...
0
votes
0answers
19 views

Showing Left Side to Right Side.

Let $\mathbf x$ is a $(p\times 1)$ vector, $\mathbf\mu_1$ is a $(p\times 1)$ vector, $\mathbf\mu_2$ is a $(p\times 1)$ vector, and $\Sigma$ is a $(p\times p)$ matrix. Now I have to show ...
3
votes
3answers
66 views

$\operatorname{trace}(AB) = 0$ and $\operatorname{rank} (A)=1$. Prove: $ABA=0$

I know that $AB-BA=A \iff$ $A$ is singular. $A$ and $B$ can be complex. Any hints?
0
votes
0answers
8 views

Trace of the heat operator $Z(t)=\sum_{m,n=1}^{\infty}e^{-\frac{\alpha_{m,n}^2}{r_0^2}t}$

I know that the spectrum of the disk of radius $r_0$ is $\lambda_{m,n}=\frac{\alpha_{m,n}^2}{r_0^2}$, where $\alpha_{m,n}$ is the n-th root of the Bessel's function of order $m$. I have to find the ...
1
vote
1answer
33 views

The property that det(A) = prod of A's eigenvalues, and tr(A) = sum of A's eigenvalues

Do these two properties fail to be true, if A's characteristic polynomial fails to split? If so, then do we usually work in a vector space with the ground field = $\mathbb{C}$, when we want to use ...
2
votes
1answer
52 views

How can we prove that the space of trace class operators on a Hilbert space $H$ is the closure of $H\otimes H$ with respect to the trace norm?

Let $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a separable Hilbert space over $\mathbb R$ $\mathfrak L^1(H)$ be the space of trace class operators on $H$ and $$\operatorname{tr}L:=\sum_{n\in\mathbb ...
0
votes
0answers
20 views

Demonstration involving inequality of traces of product of psd matrix

Let, $ \forall i \in [1, N]: P_i \in \mathbb{R}^{n \times n}, P_i \succ 0, w_i \in \mathbb{R}, \bar{P} = \sum_{i=1}^N w_i P_i$. Then, I want to demonstrate that $ \sum_{i=1}^N w_i ...
6
votes
0answers
69 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. ...
1
vote
0answers
29 views

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)$ ...
0
votes
1answer
32 views

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 ...
2
votes
1answer
50 views

How can I solve for a , b , c , d?

Let's say I fix a list of two real numbers $\sigma = (\sigma_1, \sigma_2)$, and I want to show that there exists a real, entrywise-nonnegative matrix $A$ with $\sigma$ as its spectrum. How could I ...
0
votes
2answers
53 views

With these two equations, how do I show that either a,b,c,d must be negative, if v is not 0?

If I have the equations $$ad-bc = u^2 +v^2$$ $$a+d = 2u$$ and I want $a, b, c, d \ge 0$, then how I can show that this is impossible, if $v \ne 0$? I.e., if $v \ne 0$, then one of $a,b,c,d$ must ...
0
votes
1answer
39 views

Traces inequalities for projectors and reflections

Let $V$ - finite dimension space, $A : V \to V$ positive semidefinite operator, $P$ - orthoprojector ($P^2 = P = P^*$) $R$ - reflection ($R^2 = 1$, $R^* = R$). Can we say something nontrivial (any ...
0
votes
0answers
31 views

For which $A$ is true: $tr(XAY)=tr(YAX)$

$n \in \mathbb N,\forall X,Y \in \mathbb K^{n \times n},A \in \mathbb K^{n \times n} $ For which A is true: $tr(XAY)=tr(YAX)$ My answer would be if A is the identity matrix, but is there something ...
0
votes
0answers
33 views

When can $Tr(X^TAY)\geq 0$ when $A$ is positive semidefinite and $X,Y \neq 0$? [on hold]

Under what conditions on $X,Y$ is $Tr(X^TAY)\geq 0$ when $A$ is square positive semidefinite but not the Identity matrix and $X,Y \neq \mathbb{0}$ (as in not equal to all matrix of all zeros)? $X,Y$ ...
1
vote
2answers
45 views

$n\cdot tr(AB)=tr(A) \cdot tr(B) $ $A$ is a scalar matrix

Let $A\in M^{n\times n}(\mathbb R)$. prove that if for every other $B\in M^{n\times n}(\mathbb R)$: $n\cdot tr(AB)=tr(A) \cdot tr(B) $, $A$ is a scalar matrix.
-1
votes
1answer
31 views

Prove Or Disprove: $n\cdot tr(AB)=tr(A) \cdot tr(B) $iff $A$ or $B$ is scalar matrix [closed]

Prove/Disprove: $n\cdot tr(AB)=tr(A) \cdot tr(B) $ iff $A$ or $B$ is scalar matrix. A and B are square matrices of size n. So far I managed to prove that one side is right, left to right, that if A, ...
0
votes
0answers
8 views

Derivative of the singular values of the product of two matrices.

If $\mathbf{\Sigma}_{\mathbf{A}^H \mathbf{B}}$ is the diagonal matrix of singular values of $\mathbf{A}^H \mathbf{B}$, what is the derivative of ...
2
votes
1answer
57 views

Solving an equation involving the trace of a field

Let $F$ be a finite field of order $q$ where $q=2^{n}$ and fix $l\in F\setminus{0}$ with $Tr(l)=0$. I want to determine the number of $a$ such that $$Tr(la)=Tr(la^{-1})=1,$$ where $Tr$ denotes the ...
5
votes
1answer
84 views

Prove that trace of a matrix is $0$.

Let $ n\geq 2 $ and $ A,B,C \in M_{n}(\mathbb{C}) $ be three matrices so that $$ A^{2}B+BA^{2}=2ABA $$ and $ C=AB-BA $. Prove that $ \mbox{tr}(C^{k})=0,\forall k\in \mathbb{N}. $ I tried solving it ...
2
votes
1answer
51 views

How is the $H^{1/2}$ norm of function defined on a subset of the boundary?

Let $\Omega\subset \Omega^d$, $d\in \{2,3\}$, be a bounded $d$-polyhedron with $n$ faces. Denote the faces of $\partial\Omega$ as $\{e_i\}_{i=1}^n$. Let $u\in H^{1/2}(\partial\Omega)$ Taking the ...
11
votes
2answers
322 views

A conjecture about traces of projections

Let $M_n$ denote the space of all $n\times n$ complex matrices. Define $\tau:M_n\rightarrow \mathbb{C}$ by $$\tau(X)=\frac{1}{n}\sum_{i=1}^n x_{ii},$$ where of course $X=[x_{ij}]\in M_n$. Recall that ...
2
votes
1answer
53 views

Algebraic Number Theory,Marcus, Chapter 2, Question 16

In question 16 of chapter 2 in Marcus Book, I have to show that $\sqrt{3}\not\in\mathbb{Q}(\alpha)$,where $\alpha=\sqrt[4]{2}$ using the trace idea. the proof starts by assuming that ...
2
votes
1answer
50 views

Evaluate the mininal eigenvalue of positive definite matrix

Let $\{A_n\}$ be a sequence of positive definite matrices. Denote the minimal eigenvalue of matrix A by $\lambda_{min}(A)$. If $tr(A_n) \to +\infty$ when $n \to +\infty$, then what can we say about ...
2
votes
1answer
78 views

Proving existence of an element of trace 1

Let $F=\mathbb{F}_{q}$ be a finite field of order $q=2^{n}$ and let $\beta$ be a primitive element of $F$. I would like to prove that if $q>4$, then for each $1\leq i \leq \frac{q-2}{2}$, there ...
2
votes
2answers
53 views

Evaluate product of trace of two matrices

I have a question. Let A be a positive semi-definite matrix, H be a positive definite matrix. Is the following inequality right: $Tr(AH).Tr(AH^{-1}) \geq (Tr(A))^2$? I tried to take some concrete ...
1
vote
1answer
30 views

Understanding “trace of map” in the definition of harmonic maps

I have difficulty understanding "trace of map" in the definition of harmonic map. Let $\phi: (M,g)\to (N,h)$ is map between two Riemannian manifolds, the energy density is defined as ...
0
votes
1answer
23 views

Trace of Hermitian Positive Semidefinite Matrix

Well, the question I want to ask is as follows. Suppose A and B are Hermitian Positive Semidefinite (PSD) matrices, I wonder if it is possible to prove $Tr(A*(A+B)^{-1})\in (0,1]$ (if it is ...
0
votes
0answers
22 views

How to form a matrix using an endomorphism?

Let $f\in \mathrm{End}_\mathbb{R}(\mathbb{R}[x]_{<4})$ be the endomorphism given by $x^2 \dfrac{\mathrm{d}^2}{\mathrm{d}x^2} + \dfrac{\mathrm{d}}{\mathrm{d}x} + 2\mathrm{i}d$. I'm supposed to be ...
5
votes
2answers
119 views

$Tr(A^2)=Tr(A^3)=Tr(A^4)$ then find $Tr(A)$

Let $A$ be a non singular $n\times n$ matrix with all eigenvalues real and $$Tr(A^2)=Tr(A^3)=Tr(A^4).$$Find $Tr(A)$. I considered $2\times 2$ matrix $\begin{bmatrix}a&b\\c&d\end{bmatrix}$ ...
0
votes
2answers
30 views

Prove that $T_p$ is Self Adjoint

Let $P \in M^{\Bbb C}_{n \times n}$ an invertible matrix. Let $T_p$ be a linear transformation $T_p: M^{\Bbb C}_{n \times n} \to M^{\Bbb C}_{n \times n}$ such that: $$T_p(X)=P^{-1}XP$$. for every ...
1
vote
1answer
46 views

Prove that $\text{trace}(X^T Y)\le \sqrt{\text{trace}(X^T X)\text{trace}(Y^T Y)}$

As the title says, I would like help with proving that: $$ \text{trace}(X^T Y)\le \sqrt{\text{trace}(X^T X)\text{trace}(Y^T Y)} $$ where $X,Y\in\mathbb R^{n\times n}$. Perhaps this has to do with ...
1
vote
0answers
24 views

upper bound on trace

I have a $d \times n$ matrix $X$ consisting of $n$ vectors $x_i \in \mathbb{R}^d$. That is, $X = [x_1 x_2 \ldots x_{n-1} x_n]$. I also know that $\|x_i\|_2 \leq 1$. Let's say I have another matrix ...
0
votes
2answers
17 views

Derivative of trace of product of matrices

How to find the derivative of $$L=trace(A\left( \theta \right)^{-1}B\left( \theta \right))$$ wrt to $\theta \mathbf{}$. Where $A\left( \theta \right) $ and $B\left( \theta \right) $ are square ...
0
votes
1answer
34 views

Cauchy Schwarz inequality for trace

I found the following theorem in wikipedia. If matrices $A$ and $B$ are positive semi-definite of the same size then $trace(AB) \leq trace(A) trace(B)$. I need a reference book having this theorem to ...
0
votes
0answers
32 views

How to minimize the trace of a matrix

I've the following minimization problem: X * A > trace(X) Here X is a n x n matrix and A is a n x 1 matrix. The values in X are a set of real positive numbers R. I've tried to transform these ...
1
vote
1answer
40 views

Trace of a function on an elliptic curve

Let $K/F$ be a Galois extension of number fields with Galois group $G$. Let $E$ be an elliptic curve defined over $F$ and $f \in K(E)^{\times}$ be a function. Define the trace of $f$ to be ...
2
votes
1answer
59 views

What is the derivative of $\mathrm{trace}((S^T S)^{-2})$ w.r.t. $S$

I would like to compute the derivative of $\mathrm{trace}((S^T S)^{-2})$ w.r.t. $S$. I know that $\frac{\partial \mathrm{trace}((S^T S)^{-1})}{\partial S} = -2S(S^T S)^{-2}$ but I have a higher order ...
3
votes
1answer
49 views

Trace of multiplication operator on $L^2(\mathbb{T})$

Let $H=L^2(\mathbb{T})$, where $\mathbb{T}$ is the Torus. Consider a multiplication operator with a sufficiently nice function $f$. Is there somehow a formula like $$\mathrm{tr} M_f = C ...
2
votes
2answers
37 views

Similar matrices of rank 1

I am able to prove that two matrices of rank 1 are similar if and only if they have the same trace. But, my proof is long and complicated. In particular, I use the fact that the union of non-trivial ...
0
votes
1answer
59 views

Trace of matrix is sum of eigenvalues (positive semi-definite case)

Let $A \in \mathbb{R}^{n \times n}$. It is well-known that $\text{tr}(A)$ is equal to the sum of the eigenvalues of $A$. Let us know restrict $A$ to being positive semi-definite. Obviously, it is ...
1
vote
3answers
91 views

Trace of matrix that is a product of 2 others.

We consider that $A,B$ are two square matrices. I would like to know if there is a proof that $$tr(AB)=tr(BA)$$ I seek for special kind of proof without using sigma notation and matrices ...
2
votes
1answer
21 views

Is it true that for all matrices $A$ and all traceless matrices $T$, there exists a traceless matrix $T'$ such that $AT = T'A$?

Fix a real number $n$. By a "matrix", I mean an $n \times n$ real matrix. Now let $A$ denote a matrix. Is it true that for all traceless matrices $T$, there exists a traceless matrix $T'$ such that ...
0
votes
1answer
39 views

Find $\lim_a \frac{Tr^n \left( ({\bf x}-a\cdot{\bf y}) \cdot ({\bf x}-a \cdot{\bf y})^T \right)-Tr^n \left( {\bf x} \cdot {\bf x}^T \right)}{a}$

Let ${\bf x}, {\bf y} \in \mathbb{R}^{ m \times 1}$ and $a \in \mathbb{R}$. How to find the following limit \begin{align} \lim_{a \to 0 } \frac{Tr^n \left( ({\bf x}-a\cdot{\bf y}) \cdot ({\bf x}-a ...
2
votes
1answer
33 views

Trace of an algebraic number

Let $\alpha$ have minimal polynomial $m(x) = x^n + a_{n-1} x^{n-1} + \dots + a_0.$ Show that \begin{equation*} \mathrm{Tr}(\alpha^k) = -k a_{n-k} - \sum_{i=1}^{k-1} a_{n-i} ...
0
votes
0answers
10 views

the numbers Tr$(X^n)$ determine the conjugacy class of semisimple $X \in GL_n(\mathbb{C})$.

L.S., I am reading a paper of D. Blasius, where he states that the numbers Tr$(X^n) $ determine the conjugacy class of a semisimple element $X \in GL_n(\mathbb{C})$. I am having trouble proving this. ...
4
votes
1answer
123 views

Trace of the $k$-th Exterior Power of a Linear Operator

Let $V$ be an $n$ dimensional vector space over a field $F$ and $T$ be a linear operator over $V$. Assume that the characteristic of $F$ is not $2$. Definition. Consider the map $f_1:V^n\to ...
0
votes
3answers
49 views

Dimension of trace-subspace

"Show that V, the set of all square matrices whose trace is 0, form a subspace of $M_{n,n}$ (the set of all square matrices). What is its dimension?" I have shown that $V$ is a subspace, but I do not ...