Questions tagged [traces]
For questions involving the trace of a square matrix, i.e. the sum of the elements on the main diagonal.
120
questions
0
votes
0
answers
13
views
When is argmin over the trace of inverted positive definite symmetric matrices equal to the argmax of the original pos. def. sym. matrices?
I hope this is the right place for my question.
I am working on an optimization problem and the following question came up regarding the objective function. Since matrix inversion is quite expensive, ...
0
votes
0
answers
80
views
Trace of matrices and cyclotomic fields
Motivated by Myerson's comment, I have found a way to simplify the question.
Let $p$ be a prime, $n\in\mathbb{Z}^+$ not divisible by $p$, and $C$ an $n\times n$ diagonal matrix over $\mathbb{C}$ with $...
0
votes
0
answers
51
views
A matrix of character and trace
Let $q$ be a prime power. Let $g$ be a multiplicative generator of
$F_{q^2}$, the finite field with $q^2$ elements.
Assume that $l$ is a fairly large prime ($>q^4$) dividing $q^{2(q-1)}-1$.
Let $\...
0
votes
0
answers
21
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 ...
-2
votes
1
answer
98
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 ...
0
votes
0
answers
78
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 ...
6
votes
0
answers
76
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 ...
3
votes
0
answers
251
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 $...
3
votes
1
answer
99
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 ...
0
votes
0
answers
55
views
Constrained argmin of a trace
Let $A \in \mathbb{R}^{4 \times 3}$. I am trying to compute
$$\hat{X} = \arg\min_{X \in \mathbb{R}^{3 \times 4}} \frac{\partial\text{Tr}(AX)}{\partial X}$$
with the following equality constraints
$$ ...
2
votes
0
answers
95
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 ...
4
votes
0
answers
159
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}\...
3
votes
0
answers
102
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 ...
2
votes
0
answers
105
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}...
7
votes
2
answers
507
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, ...
1
vote
0
answers
56
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\...
0
votes
0
answers
47
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 $...
2
votes
1
answer
155
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 ...
3
votes
1
answer
165
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 ...
2
votes
0
answers
65
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 ...
3
votes
1
answer
214
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$, ...
3
votes
0
answers
85
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
votes
1
answer
470
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 ...
5
votes
0
answers
98
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 ...
5
votes
1
answer
147
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} \...
10
votes
2
answers
404
views
Inequality for trace of a symmetric product?
Let $A$ be a real, positive-definite, symmetric operator on an $n$-dimensional space $V$. Write $\odot^k A$ for the action of $A$ on the symmetric power $\odot^k V$. Let $v_1,\dotsc,v_n$ be a basis ...
4
votes
1
answer
310
views
Closed paths, traces and spectra
Let $\Gamma$ be a graph. Write $A$ for its adjacency matrix. It is trivial to show that $\mathrm{Tr} A^k$ equals the number of closed walks of length k, that is, the number of $k$-step walks that ...
3
votes
1
answer
132
views
Traces and closed walks that do not close before their time
Let $A$ be the adjacency matrix of a graph. Then, as is well-known and trivial to show, $\mathrm{Tr} A^k$ equals the number of closed walks of length $k$.
Is there a similar way to express (a) the ...
3
votes
1
answer
275
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} =...
5
votes
0
answers
89
views
A bounded extension operator
Let $\Omega\subset\mathbb{R}^n$ be a bounded domain with smooth boundary $\partial\Omega$. Consider the harmonic extension operator $E :L^2(\partial \Omega) \rightarrow H^{1/2}(\Omega)$ which assigns ...
1
vote
0
answers
458
views
Computational complexity of computing the trace of a matrix product under some structure
I have two problems related to computing some trace, and some (possibly suboptimal) answers. My question is about a potential more efficient algorithm for each one. (More interested in an answer to ...
4
votes
0
answers
336
views
Inequalities for trace/eigenvalues of product of multiple 2x2 matrices
Consider the matrix product $\prod_i^n A_i$,
where each $A_i$ is a $2\times2$ matrix having the form $A_i = \left( \begin{smallmatrix} \lambda + \alpha_i & -\beta_i \\ 1 & 0\end{smallmatrix}\...
3
votes
0
answers
77
views
Compatibility between the source and the boundary condition for an Helmholtz-type equation
Let $\Omega$ an open, convex, bounded domain in $\mathbb{R}^3$, and let us fix also $z\in\mathbb{C}\setminus\mathbb{R}$. Given $\phi\in H^{3/2}(\partial\Omega)$, I would like to show the existence of ...
7
votes
1
answer
203
views
Hecke algebra relation versus $\operatorname{SL}_2$ trace relation
The quadratic relation in the (type $A$) Hecke algebra is $(T-t)(T+t^{-1}) =0$, which can be rewritten as
$$
T-T^{-1} = t-t^{-1}$$
Suppose $A \in \operatorname{SL}_2(\mathbb{Q})$ with eigenvalues $a,...
4
votes
0
answers
185
views
Why are traces an analogue to integrals?
In Poincare duality for singular cohomology, one integrates cohomology classes against a fundamental class to get a number $\int_{[M]} \omega$.
In the formulation of Poincare duality in etale ...
0
votes
1
answer
132
views
Trace of a finite hypercubic tensor
Is the trace of a finite hypercubic tensor defined?
Clearly, for the bidimensional case $n \times n$ the trace is defined as the sum of the elements on the main diagonal:
$$\operatorname {tr} (\...
1
vote
1
answer
146
views
Why is the relative trace of Sobolev norms finite?
I am reading the 2009 Paper on Effective Equidistribution by Einsiedler, Margulis and Venkatesh (EMV). I do not understand Section 5.3 on the proof of (3.10). They want to prove that the relative ...
3
votes
1
answer
520
views
Trace and exterior product
Let $V$ be a $2n$-dimensional complex vector space with base $\{e_1,\dotsc,e_n,f_1,\dotsc,f_n]\}$ Let $W \subset \wedge^n V$ be the subspace in the exterior product,
with basis vectors
$$
e_{i_1} \...
1
vote
0
answers
240
views
Direct solution to maximum likelihood computation problem using the derivative of multivariate Gaussian w.r.t. covariance matrix
For an application, I need to compute the maximum loglikelihood of data coming from a $d$-dimensional multivariate Gaussian random variable:
$$
\textbf{x} \sim \mathcal{N}(\boldsymbol{\mu}, \Sigma)
$$
...
2
votes
0
answers
38
views
Nondegenerate linear maps functorially associated to algebras
In the sequel, "$k$-algebra" means "associative unital finite dimensional $k$-algebra.
Apologies for the very long exposition.
If $A$ is a $k$-algebra and $s:A\to k$ is $k$-linear, we say that $s$ ...
4
votes
2
answers
1k
views
Reconstruct a matrix from its traces
In my research I came across the following problem. Let $A$ be a symmetric and $\Gamma$ be a diagonal $n\times n$ matrices. The eigenvalues of $A$ are known $\lambda_1,\ldots\lambda_n$. The traces $\...
2
votes
0
answers
131
views
Equality condition for Araki–Lieb–Thirring inequality
I'd like to have the equality condition in the Araki–Lieb–Thirring inequality
$$\operatorname{Tr} [(BAB)^r]\leq \operatorname{Tr} [(B^{r}A^{r}B^{r})],$$
valid for $A,B$ semidefinite positive and $r\...
3
votes
0
answers
115
views
Dixmier traces, Wodzicki residue and residues of zeta functions
Let $M$ be an $n$ dimensional closed manifold and consider an elliptic, pseudodifferential operator $P$ of order $-n$. Here are some facts which I had learned so far:
1. There exists a density defined ...
4
votes
1
answer
190
views
Norm/trace of product inequality involving skew symmetric matrices
I wonder if the following inequality involving skew symmetric matrices is true:
Suppose that $B,C \in \mathbb{R}^{d \times d}$ are skew-symmetric matrices, and $\Sigma \in \mathbb{R}^{d \times d}$ ...
5
votes
1
answer
506
views
What is the trace of the integral operator $(\mathcal{L}f)(x)=\int_0^\infty (x \wedge y)f(y) \, d \pi(y)$?
Let $\pi$ denote a probability measure on $[0,+\infty)$ and let us assume that
$$m:=\int_0^\infty x \, \mathrm{d} \, \pi(x)<+\infty.$$
Let us consider the integral operator $\mathcal{L}$ on $L_2(\...
7
votes
1
answer
313
views
Is there a converse to the Brauer–Nesbitt theorem?
$\DeclareMathOperator\Tr{Tr}$Say that we have an algebra $R$ over $\mathbb{C}$. If, for two finitely generated (edit: and semisimple) $R$-modules $M, N$ we know that $\Tr_M(r)=\Tr_N(r)$ for all $r\in ...
4
votes
2
answers
188
views
Bound on sum of $n$th super-diagonal entries in a $2n$ by $2n$ PSD matrix
Let $A,B,C\in\mathbb{R}^{n\times n}$ be such that
$\left(\begin{array}{} A & B \\ B^T & C \end{array}\right)\succeq 0$. I would like to prove that
$$\mathrm{trace}\,B \le \sum_{i=1}^n \sqrt{\...
1
vote
0
answers
57
views
Is there a vector-valued trace such that $\text{tr}((L\otimes_π\text{id}_H)T)=LT$ for all $L∈\mathfrak L(H,\mathfrak L(H))$ and $T∈H\hat\otimes_πH$?
Let
$H$ be a separable $\mathbb R$-Hilbert space
$L\in\mathfrak L(H,\mathfrak L(H,\mathbb R))$
$T\in\mathfrak L(H)$ be nonnegative, self-adjoint and nuclear (trace-class)
Note that$^1$ $$\...
1
vote
0
answers
112
views
Traces in associative algebras
Are there some books or papers about the general definition of traces:
If $\mathscr{A}$ is an associative algebra over $K$ then the space of traces is the set of all linear functionals $\tau:\mathscr{...
14
votes
5
answers
3k
views
Matrix trace & norm [closed]
For any nonnegative semidefinite matrix $A$ and any matrix $B$, we have
$$\mbox{tr} (AB) \le \mbox{tr} (A) \, \|B\|$$
where $\mbox{tr}(\cdot)$ is the trace and $\|\cdot\|$ is the operator norm. How ...