# Questions tagged [traces]

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

**3**

votes

**0**answers

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

**2**

votes

**0**answers

53 views

### The space $H_\Delta(\Omega)$

I'm looking for good references for the study of the following space
$$H_\Delta(\Omega)=\{u\in L^2(\Omega) : \Delta u \in L^2(\Omega)\},$$
especially the trace theorems with proofs, where $\Omega \...

**4**

votes

**1**answer

98 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}$ ...

**4**

votes

**1**answer

148 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

247 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

140 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

53 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

82 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

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

**0**

votes

**0**answers

114 views

### Convexity of the Frobenius norm of the product of matrices

I have a question similar to Convexity of the Frobenius norm of the product of two matrices. I am not able to comment on that question as I don't have enough reputation, and that is why I have asked a ...

**13**

votes

**1**answer

446 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

218 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

131 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

94 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

90 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

660 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

160 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

232 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

184 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

164 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

239 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

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

**0**

votes

**0**answers

78 views

### A trace inequality involving matrix pseudo inverse

Does the following trace inequality hold?
$\mathrm{tr}\{[AB^{\dagger}+(A^{\dagger})^{\top}B^{\top}-2AB^{\top}]C\}\geq \mathrm{tr}(2I-A^{\top}A-B^{\top}B)\min c_{i}$,
where $A,B\in \mathbb{R}^{n\...

**2**

votes

**2**answers

447 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

377 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

124 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

277 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

54 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

336 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

544 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

124 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

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

**1**

vote

**3**answers

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

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

**6**

votes

**0**answers

284 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

406 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

100 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}(\...

**5**

votes

**1**answer

104 views

### Trace spaces on convex polyhedra: compatibility conditions at edges

Let $\Omega$ be a convex polyhedron in $\mathbf{R}^3$ with boundary $\partial\Omega$ consisting of $N$ polygons $\{\Gamma_j\}_{j=1}^N$. It's well known that in general
$$ H^s(\partial \Omega) \neq \...

**1**

vote

**0**answers

217 views

### What is the trace of this operator in $L^\infty$ (if this question make sense)?

Let $\Omega$ be a closed domain in $\mathbb{R}^N$, and $\lambda$ the corresponding Lebesgue measure. We define in $(L^\infty(\Omega), \Vert \cdot \Vert_\infty)$ the following operator :
\begin{array}{...

**2**

votes

**0**answers

259 views

### Sobolev trace theorem

Set $Q:=\Omega\times(0,T)\subset\mathbb{R}^{n+1}$,
where $\Omega$ is knows as a bounded domain
with smooth boundary $\partial D$.
We choose any subdomain $D\subset Q$
with smooth boundary $\partial ...

**1**

vote

**1**answer

116 views

### On the equality Tr(Af) = Tr(fA)

Consider the Hilbert space $H = L^2(\mathbb{R})$, and a bounded operator $A \in B(H)$ which satisfies:
$$
\forall f \in H, \quad Af \text{ is trace class and } Tr(Af) < C \| f \|_{H},
$$
where $f$ ...

**3**

votes

**1**answer

226 views

### On conductors, levels and traces on quaternion algebras

I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and $\mathcal{O}...

**11**

votes

**1**answer

343 views

### Best constant for a trace inequality

Having an open, simply connected set $\Omega \subset \Bbb{R}^N$ we may ask what is the best constant $C$ (if it exists) in the inequality
$$ \int_{\partial \Omega} u^2 \leq C\int_{\Omega} |\nabla u|^...

**2**

votes

**1**answer

294 views

### Extensions in parabolic Hölder spaces

Let $\alpha\in ]0,1[,k\in\mathbb{N}.$Let $\Omega$ be a open and bounded subset or $\mathbb{R}^n$ of class $C^{k+\alpha}$.
As one could find in G.M. Troianello "Elliptic Differential Equations and ...

**1**

vote

**1**answer

151 views

### Modified Orthonormal Procrustes Problem

In the general orthonormal Procrustes problem, we want to find an orthonormal matrix $C$ to minimize $\|Y-XC\|_F^2$, where $Y$ is a known $n\times q$ matrix, $X$ is a known $n \times m$ matrix, and $C$...

**0**

votes

**1**answer

342 views

### A distributional normal derivative for functions in $H^1(\Omega)$

Let $\Omega$ be a smooth bounded domain with $\partial\Omega = \Gamma$. I have read this.
For all $u \in H^1(\Omega)$ such that $-\Delta u = g \in L^2(\Omega)$ in distribution, we can define the ...

**0**

votes

**2**answers

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

**11**

votes

**1**answer

468 views

### Categorical interpretation of disjoint cycle notation for tracing permutations

For a natural number $n\in\mathbb{N}$, let $\underline{n}$ denote the finite set $$\underline{n}:=\{1,2,\ldots,n\}.$$
A permutation $\sigma\in Aut(\underline{n})$ can be uniquely written (up to order) ...

**3**

votes

**1**answer

1k views

### Derivative of trace of pseudo inverse

Given three matrices $A$ (broad), $B$ and $C$, I'd like to find the derivative of
\begin{align}
f = \textrm{tr} \{BA^+\} + \textrm{tr} \{B(A^+)^TCA^+B^T\}
\end{align}
with respect to $A$, where $A^+...

**3**

votes

**1**answer

297 views

### Nuclear vs Integral operators on Hilbert spaces

Consider the Hilbert space $L_2=L_2[0,1]$. Is it true that for each nuclear (trace-class) operator on $L_2$ there exists a function $K\in L_1(L_2)$ such that
$$Tf = \int\limits_0^1 K(s) f(s) \,\mu(\...