# Tagged Questions

The tag has no usage guidance, but it has a tag wiki.

172 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 ...
37 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. ...
110 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 ...
172 views

108 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$ ...
168 views

640 views

322 views

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

### In what sense do the categorical trace and coend count fixed points?

According to the nlab, the categorical trace of a 1-endomorphism $F:C\to C$ in a 2-category is the set hom$(1_C, F)$ of global elements of $F$. If $F$ is a functor in the 2-category Cat, the ...
305 views

### Bounds on operator 2-norms on partial traces of linearly related operators

Consider an arbitary positive semidefinite operator ρ, acting on ℂA ⊗ ℂB ⊗ ℂC, for A,B,C finite. Also, let P be an orthogonal projector on &#...