Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
5answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
3answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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(\...