# Questions tagged [traces]

For questions involving the trace of a square matrix, i.e. the sum of the elements on the main diagonal.

93
questions

**3**

votes

**0**answers

35 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 ...

**0**

votes

**0**answers

38 views

### Tensor contraction (vector-valued trace) on $\bigotimes_{i=1}^k\mathcal L(E_{i-1},E_i)$

If $E_i$ is a $\mathbb R$-vector space, then the vector-valued trace $\operatorname{tr}_{E_1}:(E_2\otimes E_1^\ast)\otimes(E_1\otimes E_0)\to E_1\otimes E_0$ (or tensor contraction) is the ...

**0**

votes

**0**answers

37 views

### trace expressions for matrix quadratic forms [migrated]

Let $A$ be a real symmetric $n \times n$ matrix. Which quadratic forms in $A$ can be written in trace form?
Such an expression would naturally generalise some invariant random matrix ensembles. ...

**1**

vote

**0**answers

60 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

215 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

76 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 ...

**0**

votes

**0**answers

41 views

### When a unique solution is found for a matrix of unknown coefficients, A, that have infinite solutions? How to optimise trace(A) s.t. row sum 1?

Let $\boldsymbol{A}_{(n\times n)}=[a_{ij}]$ be a square matrix such that the sum of each row is 1 and $a_{ij}\ge0$$(i=1,2,\dots,n~\text{and}~j=1,2,\dots,n)$ are unknown. Suppose that $\boldsymbol{b}_{...

**7**

votes

**1**answer

183 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

137 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

78 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

124 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

203 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

54 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

34 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

972 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

93 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

102 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

162 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

284 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

268 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

173 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

56 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

98 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

2k 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 ...

**13**

votes

**1**answer

481 views

### Trace-class operator satisfies $\sum |\lambda_n|<\infty$?

Here's an "exercise" which I thought should be easy, but which I find myself unable to do.
Let $V$ be a Banach space.
Recall that an operator $f:V\to V$ is trace-class if it is in the image of the ...

**3**

votes

**1**answer

250 views

### Image of the trace map of ring of integers

Let $L/\mathbb{Q}$ be a finite Galois extension, and let $\mathcal{O}_L$ be the ring of integers of $L$.
We have $tr_{L/\mathbb{Q}}(\mathcal{O}_L)=d\mathbb{Z}$ for some $d\geq 1.$
Fact. $d=1$ if ...

**2**

votes

**2**answers

163 views

### A Characterization of the traces of functions in $W^{1,2}$

I have a question about the traces of functions in $W^{1,2}$.
Let $D$ be a connected open subset of $\mathbb{R}^d$.We denote $W^{1,2}(D)$ by
\begin{align*}
W^{1,2}(D)=\{f \in L^{2}(D,dx) \mid \...

**2**

votes

**1**answer

99 views

### Retractions for completely positive unital maps, and their effect on spectral diameter

Consider a non-singular, completely positive, unital map $\Psi: \mathbf M_k(\mathbb C) \to \mathbf M_h(\mathbb C)$. This map will have one or more retractions $\Phi: \mathbf M_h(\mathbb C) \to \mathbf ...

**2**

votes

**1**answer

112 views

### Condition for non-vanishing trace

Let $A$ and $B$ be two full column rank real matrices of dimension $n \times m$, where $n \ge m$. Let $P$ be an $m\times m$ positive definite matrix.
Question: Does there always exist a symmetric $...

**11**

votes

**2**answers

702 views

### Trace of non-commutable matrices

Let $M_1$ and $M_2$ be two symmetric $d\times d$ matrices. What is the relationship between
$tr(M_1M_2M_1M_2)$ and $tr(M_1^2 M_2^2 )$?
P.S. I tried a few examples and found
$$
tr(M_1M_2M_1M_2) \le tr(...

**4**

votes

**1**answer

165 views

### Retractions for completely positive unital maps, with particularly nice norms

Consider a non-singular, completely positive, unital map $\Psi: \mathbf M_k(\mathbb C) \to \mathbf M_h(\mathbb C)$. This map will have one or more retractions. Does $\Psi$ admit a retraction $\Phi: \...

**6**

votes

**1**answer

264 views

### Completely bounded norm for unital maps with completely positive sections

Consider a completely bounded unital map $\Phi: \mathbf M_h(\mathbb C) \to \mathbf M_k(\mathbb C)$. Suppose that $\Phi$ has right-inverse $\Psi$ which is completely positive. Is the operator norm of $\...

**9**

votes

**0**answers

195 views

### Can we extend c.p. normal maps on a finite von Neumann algebra $M$ to $L_0(M)_+$?

Suppose that $M$ is a von Neumann algebra with a finite, normal, faithful trace $\tau$. Let $T\colon M\to M$ be a completely positive, normal map.
Can $T$ be extended to a `positively linear map' ...

**2**

votes

**1**answer

259 views

### Submodularity property of trace of inverse matrix

$\newcommand{\tr}{\operatorname{tr}}$Does submodularity property hold for the trace of a positive-definite hermitian matrix?
I.e., does given any real symmetric positive-definite matrices $X,A,B$
$$
...

**3**

votes

**1**answer

365 views

### Norm and trace inequalities

If $A$ and $B$ are two positive definite matrices such that $\|A\| \leq \|B\|$ for every unitarily invariant norm $\| \cdot \|$, and $U$ is an $n\times k$ matrix with adjoint $V$ such that $VU = I_k$, ...

**2**

votes

**1**answer

229 views

### Inequality on diagonal entries of a matrix product

Let $A$ and $B$ be two Hermitian matrices and let $D$ be a diagonal matrix.
Does there exist any inequality involving the trace for the diagonal entries $(D A D A D A B)_{i,i}$?
I am looking for ...

**3**

votes

**2**answers

1k views

### Maximizing trace of $\mathrm V^T \mathrm A \mathrm V$ for $\mathrm A$ symmetric (alternate proof with min/max-theorem)

I'm trying to work out a proof for the following proposition:
Let $A \in \mathbb{R}^{n,n}$ a real, symmetric matrix with eigenvalues $\lambda_1 \ge \lambda_2 \ge \cdots \ge \lambda_n$, then
$$\...

**1**

vote

**1**answer

528 views

### Trace 0 and Norm 1 elements in finite fields

Let $\mathbb{F}_{q^\ell}/\mathbb{F}_{q}$ be the extension of finite filed $\mathbb{F}_{q}$, where $\ell$ be a odd prime and $(\neq q)$. Take $\zeta\in\mathbb{F}_{q^\ell}$. Does there exist different $...

**5**

votes

**0**answers

139 views

### Traces in finite extensions of integrally closed domains

$\def\fp{\mathfrak{p}}\def\fq{\mathfrak{q}}$I'm looking for a reference for the following commutative algebra fact.
Let $A$ be an integrally closed integral domain, with field of fractions $K$. ...

**2**

votes

**0**answers

299 views

### Trace of roots of unity has valuation more than 1 in uramified field

Let $F$ be a finite extension of $\mathbb{Q}_p$ (p is prime) and $K/F$ be a unramified extension of prime degree $\ell (\neq p)$. Denote $\mu_K$ be the group of roots of unity in $K.$ Does there exist ...

**1**

vote

**0**answers

60 views

### Trace of $u$ on bottom edge of a square if $u_x=0$ inside the square

I want to show that:
Let $\Omega =(0,1)\times (0,1)$. For $u \in H^1(\Omega)$, if $u_x=0$ a.e. in $\Omega$, then the trace of $u$ on bottom edge $y=0$, i.e., $u\left|_{y=0}\right.$, is a constant.
...

**5**

votes

**1**answer

477 views

### Every self-adjoint trace class operator on $L^2$ has integral kernel

I have asked this question on MSE but did not receive an answer. I thought I could try it here.
Let $T$ be a self-adjoint trace-class operator on $L^2(\mathbb{R})$. Is is true that it can be ...

**8**

votes

**1**answer

673 views

### Efficiently compute the trace of a sparse matrix times the inverse of a sparse matrix?

How can I efficiently compute
$\mathrm{trace}(A(B^{-1}))$
where $A$ and $B$ are both sparse symmetric PSD $n \times n$ matrices, both with $O(n)$ non-zero entries? If it helps, the pattern of non-...

**0**

votes

**2**answers

142 views

### rank 1 projections of finite dimensional von Neumann algebra have the same traces?

Let M be a finite dimensional von Neumann algebras with a normal faithful trace. Let e and f be two projections with rank 1. I want to know if e and f have identical traces. (This is obviously true if ...

**3**

votes

**0**answers

225 views

### Traces of fractional Sobolev spaces $W^{s,p}$ with $0<s<1/p$

I've stumbled upon a problem involving the trace of a function in a fractional Sobolev space of the form $W^{s,2}(H)$, where $H$ is a half-plane in $\mathbb{R}^2$. Would it be possible to define a ...

**0**

votes

**4**answers

4k 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^{\...

**3**

votes

**0**answers

63 views

### Trace space of $\{ t^su \in L^2(0,\infty;X) \mid t^su_t \in L^2(0,\infty;Y)\}$ for $s \in (-\frac 12, \frac 12)$

Let $s \in (-\frac 12,\frac 12)$ and let $X=D(\Lambda)$ be a Hilbert space with $\Lambda$ the infinitesimal generator of a bounded semigroup of class $C^0$ in $Y$ (which is another Hilbert space), and ...

**9**

votes

**0**answers

335 views

### Are Sobolev trace spaces equal from both sides of the boundary?

Let $\Omega\subset\mathbb R^n$ be a bounded open set and $\Omega'$ the complement of its closure.
Assume $\partial\Omega=\partial\Omega'$.
Are the quotient spaces $W^{1,p}(\Omega)/W^{1,p}_0(\Omega)$ ...

**3**

votes

**1**answer

472 views

### Fractional Sobolev spaces and extension by zero

The all-wise Wikipedia suggest (https://en.wikipedia.org/wiki/Sobolev_space#Extension_by_zero) that for $s > 1/2$ any function from $H^s_0(\Omega)$ can be extended by zero
to whole $\mathbb{R}^n$ (...

**0**

votes

**1**answer

105 views

### Does this time-dependent trace space have a name?

This question is a follow up to this question.
Let $\Omega \subset \mathbb{R}^d$ be an open connected set. For each $t\in \mathbb{R}^+$ let $u_d:\partial\Omega \to \mathbb{R}$ be in $H^{1/2}(\...