All Questions
139 questions
10
votes
2
answers
478
views
Inequality for trace of a symmetric product?
Let $A$ be a real, positive-definite, symmetric operator on an $n$-dimensional space $V$. Write $\odot^k A$ for the action of $A$ on the symmetric power $\odot^k V$. Let $v_1,\dotsc,v_n$ be a basis ...
- 6,224
4
votes
1
answer
604
views
Closed paths, traces and spectra
Let $\Gamma$ be a graph. Write $A$ for its adjacency matrix. It is trivial to show that $\mathrm{Tr} A^k$ equals the number of closed walks of length k, that is, the number of $k$-step walks that ...
3
votes
1
answer
163
views
Traces and closed walks that do not close before their time
Let $A$ be the adjacency matrix of a graph. Then, as is well-known and trivial to show, $\mathrm{Tr} A^k$ equals the number of closed walks of length $k$.
Is there a similar way to express (a) the ...
- 2,803
5
votes
0
answers
101
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 ...
CommunityBot
- 1
4
votes
0
answers
457
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}\...
- 6,351
1
vote
0
answers
1k
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 ...
- 123
3
votes
0
answers
82
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 ...
- 943
3
votes
1
answer
752
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 ...
- 1,714
8
votes
1
answer
249
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,...
- 816
4
votes
0
answers
321
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 ...
- 4,164
0
votes
1
answer
205
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} (\...
- 6,696
1
vote
1
answer
162
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
814
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} \...
- 12.3k
1
vote
0
answers
274
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)
$$
...
- 11
31
votes
3
answers
5k
views
When is an integral transform trace class?
Given a measure space $(X, \mu)$ and a measurable integral kernel $k : X \times X \rightarrow \mathbb{C}$, the operator
$$ K f(\xi) =\int_{X} f(x) k(x,\xi) d \mu(x),$$
the operator $K$ is Hilbert ...
- 1,583
2
votes
0
answers
48
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$ ...
- 1,766
4
votes
2
answers
1k
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 $\...
- 61.9k
66
votes
2
answers
8k
views
Geometric interpretation of characteristic polynomial
The coefficients of lowest and next-highest degree of a linear operator's characteristic polynomial are its determinant and trace. These have well-known geometric interpretations. But what about its ...
- 8,529
2
votes
0
answers
198
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\...
- 583
3
votes
0
answers
128
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 ...
- 9,330
5
votes
1
answer
709
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(\...
4
votes
1
answer
266
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}$ ...
- 28.6k
7
votes
1
answer
349
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 ...
- 31.5k
4
votes
2
answers
222
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{\...
- 28.6k
1
vote
0
answers
60
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$ $$\...
- 167
1
vote
0
answers
148
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{...
- 63.9k
1
vote
1
answer
86
views
Is the trace of a Lyapunov transform of a semistable matrix always nonpositive?
Let $A$ be a semistable real matrix (i.e. the real parts of all the eigenvalues of $A$ are nonnegative). Let $P$ be a positive definite matrix.
Is it always true that $\operatorname{trace}{A^{T}P+PA}...
- 20.2k
14
votes
5
answers
5k
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 ...
- 153
13
votes
1
answer
724
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 ...
- 31.5k
2
votes
2
answers
241
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 \...
5
votes
1
answer
534
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 ...
- 105k
2
votes
1
answer
109
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 ...
- 3,984
4
votes
1
answer
204
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: \...
- 1,444
2
votes
1
answer
184
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 $n \...
CommunityBot
- 1
11
votes
2
answers
777
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(...
- 96.4k
7
votes
1
answer
442
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 $\...
- 3,984
9
votes
0
answers
267
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' ...
- 11.3k
3
votes
1
answer
428
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$
$$
...
2
votes
1
answer
350
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 ...
CommunityBot
- 1
3
votes
1
answer
772
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$, ...
1
vote
1
answer
802
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 $...
- 148k
4
votes
1
answer
4k
views
Numerical trace of inverse matrix from Cholesky
This question was somewhat answered here: Fast trace of inverse of a square matrix. However, I feel like there was no complete answer wrt the Cholesky case.
I have the matrix $\Sigma=LL^T$. Is there ...
CommunityBot
- 1
4
votes
2
answers
3k
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
$$\max \...
CommunityBot
- 1
1
vote
1
answer
321
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$...
CommunityBot
- 1
11
votes
1
answer
433
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|^...
CommunityBot
- 1
2
votes
0
answers
381
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 ...
CommunityBot
- 1
5
votes
0
answers
164
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$. Let $...
CommunityBot
- 1
1
vote
0
answers
72
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.
...
CommunityBot
- 1
6
votes
1
answer
1k
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 ...
CommunityBot
- 1
8
votes
1
answer
1k
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-...
CommunityBot
- 1