**0**

votes

**0**answers

57 views

### Generalized Poincaré Inequality on H1 proof

let's see if someone can help me with this proof.
Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. And let $L^2\left(\Omega\right)$ be the space of equivalence classes of square integrable ...

**1**

vote

**0**answers

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

**4**

votes

**1**answer

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

**1**

vote

**0**answers

168 views

### Minimization of nonlinear integral operator

See also on MSE.
For non-negative self-adjoint traceclass operators $0\leq T \leq 1$ with $\mathrm{tr}T^\alpha=N$ on the Hilbert space $L^2(\mathbb{R}^3)$ s.t. $\operatorname{tr}(-\Delta ...

**8**

votes

**1**answer

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

**0**

votes

**2**answers

85 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

52 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

313 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:
$$ ...

**2**

votes

**0**answers

38 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

171 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

117 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

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

**5**

votes

**1**answer

79 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

134 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 :
...

**2**

votes

**0**answers

145 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

105 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

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

**7**

votes

**1**answer

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

**2**

votes

**1**answer

243 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

**0**answers

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

**0**

votes

**1**answer

181 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

533 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

402 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

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

**3**

votes

**1**answer

209 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) ...

**1**

vote

**0**answers

885 views

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

**1**

vote

**1**answer

276 views

### reference request: trace/lifting operator for $L^{\infty}$ data in bounded $\Omega\subset R^d$

I know the answer to my question must be somewhere in the literature. Probably in [Adams-Fournier], [Dautray-Lions] or something alike, but I don't have access to a library right now so I'll ask ...

**0**

votes

**0**answers

132 views

### Bound on integral of elliptic theta function

I need to prove that the following bound is true. I thought this might follow from the inversion property of the theta function, as the infinite sum in the integrand is precisely ...

**3**

votes

**2**answers

586 views

### Trace of n-th root of unity in cyclotomic extension of p-adic rationals

Let $n\in\mathbb N$ and $p$ be any prime. Denote by $\mathbb Q_p$ the $p$-adic numbers. For a field extension $L/K$ denote by $Tr_{L/K}$ the corresponding trace function.
Let $\zeta_n$ be a primitve ...

**4**

votes

**0**answers

223 views

### Trace Theorem for $p=\infty$

I am considering the Sobolev space $W^{1,\infty}(\Omega)$ on a bounded Lipschitz domain $\Omega \subseteq \mathbb{R}^2$. I am wondering whether the trace theorem holds in this case with constant one ...

**2**

votes

**1**answer

382 views

### Trace of finitely generated projective module

Let $k$ be a field and $A$ a $k$-algebra with unit. The trace module is
$$
T(A)=A/[A,A],
$$
where $[A,A]$ is the left $A$-module generated by all elements of the form $ab-ba$ for $a,b\in A$. The ...

**4**

votes

**1**answer

110 views

### Does trace handle composition in a traced symmetric monoidal category?

Suppose that $(C,\otimes,I)$ is a traced symmetric monoidal category (TSMC) with symmetrizor $\sigma$ and trace $Tr$. Given two morphisms $f\colon A\to B$ and $g\colon B\to C$, I can tensor them to ...

**5**

votes

**1**answer

401 views

### traces of sobolev spaces under additional assumptions

Let $p\in [1,\infty]$, $\Omega$ an open bounded domain with (smooth, if necessary) boundary $\partial \Omega$.
Is there a subspace $X\subset L^p(\Omega)$ - a simply describable space, ideally a ...

**4**

votes

**0**answers

351 views

### Probability distribution function for singular value sum of Gaussian random matrix

Let $\mathbf{X}$ be an $N \times N$ random matrix with IID Gaussian entries. They can be standard normal, but $N$ is not large: that is $N$ $<$ 6, typically. Call its singular value decomposition ...

**1**

vote

**0**answers

188 views

### Estimate the diagonal of a Cholesky factor…?

I'm computing several hundred Cholesky factorizations of large, sparse matrices, and I'm really only doing Cholesky factorization because I need to know the diagonal elements of the Cholesky factor L. ...

**0**

votes

**1**answer

359 views

### solving trace norm equality [closed]

Problem Formulation
under what conditions can we solve $\mathrm{trace}(\mathbf{AB})=0$ ? or more specifically, when will $\mathrm{trace}(\mathbf{AB})=0$ implies that $\mathrm{trace}(\mathbf{B})=0$.
...

**3**

votes

**1**answer

648 views

### Expected value of trace of matrix inverse

Given a $N\times K$ matrix $A$ of full rank with $ K < N $, a diagonal matrix $D$ and knowing that $E[D]=bI_N$, where $E[\cdot]$ is the expected value and $I_N$ is the $N\times N$ identity matrix ...

**4**

votes

**2**answers

265 views

### tracial triples

Say that a triple of real numbers $(a,b,c)$ is a realizable triple if there are matrices $A,B\in SL_2(\mathbb{R})$ such that $tr (A)=a$, $tr (B)=b$, and $tr (AB)=c$. Question: what is the shape of the ...

**3**

votes

**2**answers

303 views

### An expression with an alternating trilinear form, written in terms of the determinant and a symmetric bilinear form

I am trying to understand a line from MacLachlan/Reid's The Arithmetic of Hyperbolic 3-Manifolds (it's in 3.4 if you have the book), that seems it should be elementary but I can't seem to find where ...

**9**

votes

**3**answers

466 views

### Boundedness of the derivative of the trace of an H^1 function

As a research preface, this question is linked to a problem of increasing magnetism in Ginzburg-Landau equations that I have distilled for the purpose of getting to the bottom of this technical ...

**2**

votes

**1**answer

659 views

### Trace inequality for matrices with determinant 1

Let $A$ and $B$ be two matrices with $\det(A)=\det(B)=1$. Does it follow that
$\sqrt{\mathrm{tr}(A^TB^TBA-I)}\le\sqrt{\mathrm{tr}(A^TA-I)}+\sqrt{\mathrm{tr}(B^TB-I)}$
I suspect that this can be ...

**1**

vote

**1**answer

51 views

### Is the trace of a Lyaponov 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
$\text{trace}{A^{T}P+PA} ...

**5**

votes

**1**answer

320 views

### Trace over the zeros with real part 1/2 Only

If RH is not true, we have that Weil's explicit formula still holds:
$$ \sum_{\gamma} h(\gamma) = h(i/2)+h(-i/2)-2 \sum_{n=1}^{\infty} \frac{ \Lambda(n)}{ \sqrt n}g(logn)+\frac{1}{2\pi} ...

**1**

vote

**1**answer

1k views

### Trace in an Infinite dimensional space [closed]

How do we define trace of an infinite dimensional space? How one can compute the trace of an infinite dimensional matrix?

**32**

votes

**2**answers

4k views

### tr(ab) = tr(ba)?

It is well known that given two Hilbert-Schmidt operators $a$ and $b$ on a Hilbert space $H$, their product is trace class and $tr(ab)=tr(ba)$. A similar result holds for $a$ bounded and $b$ trace ...

**5**

votes

**1**answer

268 views

### Ends as a “cotrace” operation on profunctors

As mentioned here, there is a trace operation on the monoidal category of profunctors given by taking coends: for any profunctor $F : A\times X \nrightarrow B \times X$, there is a profunctor $Tr^X(F) ...

**11**

votes

**3**answers

2k views

### When is an integral transfrom 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 ...

**11**

votes

**1**answer

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

**4**

votes

**2**answers

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

**3**

votes

**1**answer

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