All Questions
139 questions
1
vote
0
answers
111
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,399
0
votes
0
answers
66
views
Taking trace of a tensor product of matrix-valued smooth functions on the thin diagonal
Let $V$ be a finite dimensional real / complex vector space and consider the space $L(V,V)$ of linear operators on $V$.
Fix $n \in \mathbb{N}$ and let $\mathcal{M}$ be the real / complex vector space ...
- 3,477
3
votes
0
answers
109
views
Faithful traces on reduced $C^*$-algebra of a measured groupoid
Let $G$ be a measured étale groupoid with quasi-invariant measure $\mu$ (that induces the reduced $C^* $-algebra, meaning it has full support) with associated equivalent measures $\nu,\nu^{-1}$.
Is ...
- 35.5k
10
votes
0
answers
225
views
Can the trace be computed in any Schauder basis?
I'm cross-posting this question from Math.SE, as it didn't get much attention there.
Let $H$ be a separable Hilbert space and $T \in L(H)$ a trace-class operator. It is well known that the trace of $T$...
- 12.9k
0
votes
2
answers
3k
views
Convexity of the Frobenius norm of the product of two matrices
I have the following function for two matrices ${\bf A}$ and ${\bf B}$:
$f({\bf A}, {\bf B}) = \| {\bf Y - XAB} \|_F^2 = trace\{({\bf Y - XAB)}^T({\bf Y - XAB)}\}$
where matrices ${\bf X}_{n \times ...
- 3,741
2
votes
1
answer
239
views
Geometric interpretation of trace of a linear operator
This question is really an addendum to Geometric interpretation of trace
There is a nice account of the trace in Chris Doran's thesis here: http://geometry.mrao.cam.ac.uk/wp-content/uploads/2015/02/...
- 118k
368
votes
31
answers
80k
views
Geometric interpretation of trace
This afternoon I was speaking with some graduate students in the department and we came to the following quandary;
Is there a geometric interpretation of the trace of a matrix?
This question ...
- 869
2
votes
0
answers
160
views
An "almost" true inequality for Hermitian matrices
Let $A$ be an $N\times N$ Hermitian matrix. For $p+q$ even, consider the following inequality:
$$\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} (A^q)_{ii} \geq \Big(\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} \Big) \Big(\...
- 5,215
2
votes
1
answer
426
views
Does there always exist a matrix satisfying certain tracial conditions
Given odd integers $0<a<b$, I want to know if there exists an $n$ by $n$ real valued square matrix $M$ such that
$$ M_{ij} = M_{ji} \quad \forall i,j \in \{1,2\dots n\}$$
$$ \sum_{i=1}^n M_{ij} =...
CommunityBot
- 1
1
vote
0
answers
511
views
How to show that the trace of a regularized Laplacian defined on two sphere with radius $h\geq 1$ is diverging logarithmically?
Let $h,m\in[1,\infty)$. I would like to verify that the following sum diverges logarithmically
\begin{equation}
\sum_{d=0}^{\infty} \frac{2d+1}{2h^2(1+\frac{d(d+1)}{h^2})(1+\frac{d(d+1)}{h^2m ^2})^{2}}...
- 1
10
votes
3
answers
3k
views
Trace inequality for non-reversible Markov chain
Let $P \in \mathbb{R}^{d \times d}$ be the transition kernel for a Markov chain with stationary measure $\pi$ and define $P^\ast$ to be the time-reversed transition kernel defined by $P^\ast_{ij} := ...
1
vote
0
answers
74
views
Trace map for universal bundle of Grassmannian
Let $G := G(k,V)$ denote the Grassmannian of $k$-linear subspaces in a $\mathbb{C}$-vector space $V$ of dimension $n$. Let $S$ denote the tautological bundle over $G$. There is a canonical map on ...
- 129
4
votes
1
answer
302
views
Hattori-Stallings trace
Let $R$ be a (possibly non-commutative) unital ring and $M$ be a left $R$-module. If $M$ is finitely generated and projective, the natural map $$\iota:\mathrm{Hom}_R(M,R)\otimes_R M\to \mathrm{Hom}_R(...
2
votes
1
answer
200
views
An inequality related to matrix trace
$$Tr(A|A^T U \Sigma U^T|) \leq Tr(AA^T U \Sigma U^T)$$ where $A \in \mathbb{R}^{m\times n}$ is a real rectangular matrix, $U \in \mathbb{R}^{n \times n}$ is a orthonormal matrix and $\Sigma$ is a ...
CommunityBot
- 1
2
votes
0
answers
51
views
What conclusions can I derive from this family of trace inequalities?
Problem. Let $n_1,\ldots,n_s,m_1,\ldots,m_s\ge 0$ be nonnegative integers and set $m := \sum_{i=1}^s m_i$ and $n := \sum_{i=1}^s n_i$. Let $\oplus$ be an operation on matrices which stacks them in a ...
- 283
1
vote
1
answer
169
views
[M,N]≅ [M,R] ⊗ N for E-infinity modules
Let $\texttt{R}$ be an $\texttt{E}$-infinity ring and let $\texttt{M,N}$ be $\texttt{E}$-infinity modules. Under what conditions do we have
$$ \texttt{[M, N] ≅ [M,R] ⊗ N}$$
Under ordinary ...
- 5,839
4
votes
0
answers
164
views
Dimensionality reduction preserving cyclic traces
Suppose that I have $n$ matrices $A_1, \ldots, A_n \in \mathbb{R}^{m \times m}$ with $m \gg n$. Can I find $n$ new matrices $B_1, \ldots, B_n \in \mathbb{R}^{n \times n}$ that have the same 3-way ...
7
votes
2
answers
788
views
An extension of the Golden-Thompson inequality
For three symmetric positive semidefinite matrices $A, B,C$, I am trying to figure out if the following inequality holds, at least in some cases:
$$ \operatorname{tr} \left( A e^{B+C} \right) \leq \...
5
votes
2
answers
393
views
Trace identity for $2 \times 2$ reflections [closed]
Let $A, B, C \in \mathrm{GL}(2,\mathbb{C})$ be reflections (i.e., their eigenvalues are $\pm 1$). Please show that
$$ \DeclareMathOperator\Tr{Tr}\{\Tr(AB)\}^2+\{\Tr(BC)\}^2 + \{\Tr(CA)\}^2 - \{\Tr(AB)\...
1
vote
1
answer
1k
views
Bound on the trace of inverse matrix
Suppose $A$ is a positive semi-definite matrix and we can bound its trace as $l \le tr(A) \le L$. I am wondering if it is possible to find the upper and lower bounds on the trace of $A^{-1}$ based on $...
- 111
1
vote
0
answers
178
views
Relationship between singular values, traces and Hermitian conjugate
I am working on a following problem in my free time (which is a simplified version of a problem described here - arxiv.org/abs/0711.2613):
Let $A$, $B$ be zero-trace $4 \times 4$ matrices that meet ...
1
vote
1
answer
155
views
Spectrum invariant under (generalised) transpose as operator on trace class operators
For matrices $A$ it is well known that the spectrum is invariant under transpose $\sigma(A^T) = \sigma(A)$. Furthermore, the spectrum of the adjoint matrix $\sigma(A^*) = \overline{ \sigma(A)}$ the ...
- 1,054
1
vote
0
answers
75
views
Mixed moments of traces
I've seen a host of results concerning computations for $$\mathbb{E} \left[ \operatorname{tr} A^{i_1}\cdots \operatorname{tr} A^{i_j} \,\overline{\operatorname{tr} A^{k_1} \cdots \operatorname{tr} A^{...
- 63.9k
6
votes
2
answers
372
views
Inner products on super vector spaces
Let $V=V^0\oplus V^1$ be a super vector space (https://en.wikipedia.org/wiki/Super_vector_space)
Is there a special definition of an inner product on $V$ other than just an inner product on the ...
- 171
2
votes
1
answer
195
views
Another formula for the Schwinger term — problems with a calculation
$\DeclareMathOperator\Tr{Tr}$I have a problem with understanding the proof of Proposition 6.8 in the book ,,Elements of Noncommutative Geometry''. One can find the formulation of this proposition here ...
- 63.9k
3
votes
1
answer
285
views
Extreme points of the set of all traces
Let $G$ be a finitely generated group with a bound on its complex unitary irreducible representations: That is assume all complex unitary irreducibles of $G$ have degrees at most $k$ for some integer $...
- 2,605
0
votes
0
answers
104
views
Necessary and sufficient conditions for $\mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}) \ge 0$ for all $t$
Let $A$ and $B$ be positive-definite matrices of the same size. For any $t \ge 0$, define
$$
u(t) := \mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}).
$$
Question. What are necessary and ...
- 6,853
3
votes
0
answers
43
views
Different generating sets for conjugation invariants of several matrices
There is a theorem of Procesi that the ring of polynomial functions on tuples $(A_1,A_2, \dots, A_m)$ of $n \times n$ matrices, which are invariant under simultaneous conjugation, is generated by ...
- 63.9k
15
votes
1
answer
4k
views
trace(xy)=trace(yx) in full generality
It is well known that, for square matrix $x$ and $y$, we have $\operatorname{tr}(xy)=\operatorname{tr}(yx)$. Here of course the trace of a matrix is just the sum of the elements of the diagonal.
The ...
- 53.3k
0
votes
5
answers
9k
views
Trace of six gamma matrices
I need to calculate this expression:
$$Tr(\gamma^{\mu}\gamma^{\nu}\gamma^{\rho}\gamma^{\sigma}\gamma^{\alpha}\gamma^{\beta}\gamma^{5}) $$
I know that I can express this as:
$$ Tr(\gamma^{\mu}\gamma^{\...
- 12.9k
1
vote
0
answers
97
views
Show that for all $\delta$, we have $\|u\|^2_{\Gamma}\le c_\delta(\|u\|^2_{\omega(\delta)}+\|u\|_{\omega(\delta)}\|\nabla u\|_{\omega(\delta)})$
I am reading the article On existence of weak solutions of the Navier-Stokes equations in regions with moving boundaries from Fujita and Kato and at some point they use an argument I have some trouble ...
- 452
-2
votes
1
answer
262
views
Proving 2 matrices have the same trace [closed]
I found a problem in my textbook and I have tried solving it, but I had no succes. The problem is:
Let $A$ and $B$ be $n \times n$ matrices with complex number entries. Given that $AB−BA$ is ...
- 5,186
6
votes
0
answers
167
views
Hölder inequality inside trace
$\DeclareMathOperator\tr{tr}$Suppose we have positive semidefinite matrices $A_1, \dotsc, A_n$ and $B_1, \dotsc, B_n$ of the same dimension. Do we have a Hölder inequality for the trace of the ...
- 12.9k
3
votes
0
answers
261
views
Inequalities involving traces of products of hermitian positive semidefinite matrices
$\DeclareMathOperator{\tr}{tr}$
Fix an integer $n \geq 2$. Let $A_1, \dotsc, A_n$ be hermitian positive semidefinite matrices, with each $A_i$ being $m$ by $m$.
Consider the symmetric group $S_n$ on $...
- 5,215
3
votes
1
answer
162
views
Algorithm to minimize $\operatorname{tr}(PAP^TB)$?
Let say I have two $n$ x $n$ matrices $A$ and $B$ where all elements are real positive values. I want to find some $n$ x $n$ permutation matrix $P$ such that $\operatorname{tr}(P A P ^T B)$ is ...
2
votes
1
answer
388
views
Singular value of Hadamard product
Let $A$ be an $n \times n$ random symmetric matrix with $E(A_{i j}) = 0$, $Var(A_{i j}) = 1/n$ for any $i,j$. $B$ is an $n \times n$ symmetric matrix with $B_{ii} = 0$.
I need to find a upper bound of ...
- 105k
5
votes
0
answers
231
views
Two Hattori-Stallings trace questions
$\DeclareMathOperator\THH{THH}\DeclareMathOperator\Perf{Perf}\DeclareMathOperator\map{map}\DeclareMathOperator\tr{tr}\DeclareMathOperator\HH{HH}\DeclareMathOperator\fib{fib}\DeclareMathOperator\id{id}\...
- 858
3
votes
0
answers
160
views
Tensor product of operator subalgebras and properties of the trace
Note that this question was already posted on MSE: https://math.stackexchange.com/questions/4290741/tensor-product-of-operator-subalgebras-and-properties-of-the-trace
Let $V$ be a vector space and let ...
- 139
7
votes
2
answers
647
views
If I multiply the coefficients of a trace-class operator with bounded complex numbers is it still trace class?
Suppose that $T \in TC(l^2( \mathbb{Z}))$ is trace class.
Consider its kernel $ T(i,j) = \langle e_i, T e_j \rangle $ where $ \{e_i\}_{i \in \mathbb{Z}}$ is an ONB for $l^2( \mathbb{Z})$. Now, ...
- 42.8k
3
votes
0
answers
250
views
For which representations of a Lie algebra is the induced trace form basic?
Let $\mathfrak{g}$ be a simple Lie algebra. Let $\rho$ be a representation of $\mathfrak{g}$ on a finite-dimensional vector space $E$.
Consider now the bilinear form on $\mathfrak{g}$:
\begin{equation}...
- 556
1
vote
0
answers
105
views
Is it possible to define the trace of a function over a rectifiable set?
Let $\Omega$ be a bounded open set with smooth boundary and $E$ a set of finite perimeter in $\Omega$, i.e. $$P(E;\Omega)=\left\{\int_E\text{div}\: T\:dx:T\in C^\infty_c(\Omega;\mathbb{R}^n), |T|\leq1\...
- 13.2k
0
votes
0
answers
61
views
An inequality regarding operator concave function
Crossposted from math.SE
Let $\mathbb P_n$ be the space of all $n \times n$ self-adjoint positive definite matrices. Consider the function $\varphi: \mathbb P_n \longrightarrow \mathbb R$ defined by $...
- 141
4
votes
1
answer
303
views
Which operators on the trace-class operators extend to operators on Hilbert-Schmidt operators?
Let $\mathcal{H}$ be a separable Hilbert space and let $TC( \mathcal{H})$, $HS(\mathcal{H})$ be the space of trace-class operators and Hilbert-Schmidt operators on $\mathcal{H}$. Recall that these ...
- 42.8k
2
votes
0
answers
267
views
Necessary and sufficient conditions on kernels of trace-class operators
Question: Let $K \in L^2(R^n\times R^n)$. Are "explicit" necessary and sufficient conditions known such that $K$ is the kernel of some trace-class operator $A \in TC(L^2(R^n))$?
We know that ...
- 143
3
votes
1
answer
346
views
Frobenius algebras and traces of modules
$\newcommand{\Hom}{\mathscr{Hom}}$
Let $C$ be a cocomplete closed symmetric monoidal category, and the tensor product preserves colimits in each variable;
Let $A$ be a commutative algebra in $C$, ...
- 15.9k
2
votes
1
answer
582
views
Why trace is more natural than (preferred to) determinant for smooth map $f:M\to N$?
Cross-post from MSE.
For a continuous map $f:(M,g)\to (N,h)$, between Riemannian manifolds $(M,g)$ and $(N,h)$ we can pullback $h$ by $f$. Most experts take the trace from this new tensor and work ...
- 34.7k
3
votes
0
answers
145
views
Is the secondary Euler characteristic a categorical trace?
Context: The ordinary Euler characteristic of a complex (satisfying appropriate finiteness conditions so that all cohomology groups are finite-dimensional over some field ''k'', say, and only finitely ...
- 2,040
2
votes
1
answer
810
views
On matrices that almost have the same eigenvalues
Let $A$ and $B$ be two $4\times 4$ matrices. Using Newton's identities, one can prove that if
$$\det(A) = \det(B)\quad \text{and}\quad \mathrm{tr}(A^i) = \mathrm{tr}(B^i)$$ for $i=1,2,3$, then $A$ and ...
- 4,195
5
votes
0
answers
112
views
Closed paths, closed trails and traces
Let $A$ be the adjacency matrix of a (non-oriented) graph $\Gamma$. Then $\textrm{Tr} A^k$ equals both the sum $\sum_i \lambda_i^k$ of $k$th powers of eigenvalues of $A$, on the one hand, and the ...
- 20.2k
5
votes
1
answer
241
views
Trace inequality under consideration of definiteness
Let $G \in \mathbb{R}^{3 \times 3}$ a symmetric, but indefinite matrix and $U \in \mathbb{R}^{3\times 3}$ a symmetric and positive definite matrix. I would like to prove the inequality
$$ \text{Tr} \...