Questions tagged [traces]

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

Filter by
Sorted by
Tagged with
3
votes
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
5answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
4answers
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
0answers
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
0answers
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
1answer
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
1answer
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}(\...