All Questions
31 questions
1
vote
1
answer
151
views
Is smoothness preserved under an isometric isomorphism?
Let $(X, \|.\|_1)$ is isometrically isomorphic to $(X, \|.\|_2)$ and $\|.\|_2\leq \|.\|_1$. Assume that $x_0$ is a smooth point of $(X, \|.\|_1)$ and $\|x_0\|_2=1$. According to the definition of a ...
- 113
4
votes
1
answer
54
views
Krein-Rutman for integral transforms: proof of convergence to leading eigenvector
Disclaimer: This is a question in functional analysis, on which I don't have much background. It arose from me trying to prove on my own a folklore result in probability theory.
Consider an integral ...
- 312
2
votes
1
answer
215
views
Forming real positive semidefinite matrices from complex matrices
I have asked this question on the Mathematics Stack Exchange: https://math.stackexchange.com/questions/4924554/forming-real-symmetric-positive-semidefinite-matrices-from-complex-matrices.
Let $Q \in \...
- 31
0
votes
0
answers
64
views
When is a symmetric block Toeplitz matrix invertible?
Let
$$
Q =
\begin{bmatrix}
Q_0 & Q_1 & Q_2 & \cdots\\
Q_{-1} & Q_{0} & Q_1 & \cdots\\
Q_{-2} & Q_{-1} & Q_0 & \cdots\\
\vdots & \vdots & \vdots & \ddots
...
1
vote
0
answers
133
views
Infinite dimensional matrix solvability
In order to solve a boundary problem for a conducting hemisphere, the following matrix equation arises (derived from the boundary condition on the curved part of the surface) where we must solve for ...
- 573
5
votes
2
answers
276
views
Dilation of bounded linear operators
Let $H$ be a Hilbert space, and let $A$ be a contraction (bounded linear operator of norm $\leq 1$) on $H$. I heard in a recent talk that there is a (apparently famous) result due to Sz-Nagy which ...
- 51
3
votes
0
answers
198
views
On a paper of von Neumann
Let $H$ be a Hilbert space and $T: H \to H$ be a contraction. In Eine Spektraltheorie für allgemeine Operatoren eines unitären Raumes, von Neumann proved the inequality
$$
\lVert p(T)\rVert \leq \sup \...
- 31
2
votes
0
answers
81
views
An square root of the multiplicative operator on $\ell^1(\mathbb{Z}_n)$
Let us consider the finite group algebra $\ell^1(\mathbb{Z}_n)$. Let $x=(x_0,\cdots,x_{n-1})$ in $\ell^1(\mathbb{Z}_n)$ and define
$$M_x: \ell^1(\mathbb{Z}_n)\to \ell^1(\mathbb{Z}_n) : M_x(a)=a*x$$
...
- 4,058
3
votes
0
answers
77
views
Unitary with entries $(i,j)$ only on equidistant lattice points $\|i-j\|^2 = c^2 \in \mathbb{N}$
My research needs help in finding examples of unitary matrices $U$ which have entries
\begin{align}
U_{ij} = \begin{cases} \alpha_{ij}, \ \text{ if } \|i-j\|^2 = c^2 \\ 0 , \text{ otherwise} \end{...
- 41
4
votes
0
answers
311
views
Estimates of the Frobenius norm of commutator
Let $A,B$ be two unitary matrices in $U(n)$, and $\|\cdot\|_{F}$ denote the Frobenius norm (or Hilbert Schmidt norm on the finite dimensional $M_n(\mathbb{C})$). I am looking for estimates of the ...
- 949
2
votes
0
answers
267
views
Example of a unital contractive map that is not completely positive on an operator system
I am aware of maps that are positive but not completely positive (for example transpose map). BUT I can not think of an example of the following type.
Does there exist an operator $T$ such that a map $...
- 231
1
vote
0
answers
87
views
Computation of the trace of a convolution operator
I try to understand a particular step on page two from the research paper "A multidimensional analog of a limit theorem of G. Szegö".
https://iopscience.iop.org/article/10.1070/...
- 197
0
votes
1
answer
357
views
Continuity of point evaluation on space of Hölder functions with $L^p$ norm
Let $L>0$ and $\Omega \subset \mathbb{R}^n$ a bounded Lipschitz domain. Define
$$
B_{\frac12,L}:=\{f \in L^2((0,1) \times \Omega) : \|f(t,\cdot)-f(s,\cdot)\|_{L^2(\Omega)} \leq L|t-s|^{\frac12},~ \...
- 319
1
vote
1
answer
220
views
Dimension of commutant
Suppose that $A = M_n(\mathbb{C})$ be the algebra of $n*n$ matrices over $\mathbb{C}$.
If com(A) = {$B \in M_n(\mathbb{C}); AB = BA$}, then what is the $dim(com(A))?$
- 581
4
votes
1
answer
591
views
Derivative of trace
Consider two positive-semi definite matrices $T_1, T_2$ of unit trace.
Let $T(\lambda):=T_1 + \lambda(T_2-T_1)$ be the convex combination of the two.
We then study $f(\lambda) := \operatorname{tr}(T(\...
- 536
7
votes
1
answer
635
views
Convergence of $\exp(tQ)$ in operator norm as $t\rightarrow\infty$
This is not a homework problem, so I am not sure whether this has a "good" answer or not. I came up with this question when I am now learning functional analysis and wonder whether my "...
- 715
0
votes
0
answers
113
views
Error bounds on the expansion of square root of matrix
I'm working on a problem and was lead to trying to find an approximation for the square root of a matrix. I came across a way of doing this using holomorphic functional calculus. However, my first ...
- 427
8
votes
3
answers
691
views
Commutant of the conjugations by unitary matrices
Let $\mathcal{L}(\mathbb{C}^{n \times n})$ denote the algebra of all linear mappings from $\mathbb{C}^{n \times n}$ to $\mathbb{C}^{n \times n}$ and let $\mathcal{C} \subseteq \mathcal{L}(\mathbb{C}^{...
- 12.6k
4
votes
2
answers
159
views
$\sum_{k=1}^dA_k^*A_k$ and $\sum_{k=1}^dA_kA_k^*$ have the same norms if $A_k$ are commuting
Let $E$ be a complex Hilbert space and $\mathcal{L}(E)$ be the algebra of all operators on $E$.
Let $A_1,\cdots,A_d$ be pairwise commuting operators on $E$. Is the equality
$$\left\|\displaystyle\...
- 1,154
2
votes
0
answers
257
views
The nonlinear operator defined as the commutator of a matrix and a nonlinear operator
In my studies of applied analysis and applied linear algebra, this interesting problem and concept came up:
Let us consider the space of all $ m \times n $ real matrices, and define a scalar ...
- 620
11
votes
2
answers
2k
views
Operator that commutes with projections
We investigate the Hilbert space $\ell^2(\mathbb{N}_0)$ with standard orthonormal basis vectors $e_n:=(0,...,0,1,0,...).$
Consider the family of self-adjoint rank $1$ projections $P_n\bullet:= \...
- 536
5
votes
0
answers
330
views
Best Approximation in Operator/non-Frobenius Norm
Since the Frobenius norm on matrices is generated by an inner product, solving the optimization/approximation problem of approximating an operator $X$ with a scalar multiple of another operator $Y$
$$\...
- 153
5
votes
4
answers
839
views
Norm bounds on spectral variation and eigenvalue variation
Let $A$ and $B$ be two matrices of eigenvalues $\lambda_i$ and $\mu_i$, respectively.
The spectral variation of $B$ w.r.t. $A$ and the eigenvalue variation of $B$ and $A$ are, respectively,
\begin{...
- 43.2k
0
votes
0
answers
263
views
Does AX+XA=0 have any non-trivial solutions?
Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
- 305
11
votes
2
answers
714
views
A neat evaluation of an infinite matrix?
Let $M_n$ be an $n\times n$ matrix defined as
$$M_n
=\left[\frac{2i+1}{2(i+j+1)}\binom{i-1/2}i\binom{j-1/2}jx^{i+j+1}\right]_{i,j=0}^n.$$
With $I_n$ the identity matrix, consider $A_n:=I_n-M_n^2$. ...
- 43.2k
3
votes
0
answers
119
views
Increasing sequence of closed subspaces of $L^2$ and error estimate of a product of orthogonal projections
We define an increasing sequence of closed subspaces
\begin{align*}
V_{0} \subset V_{1} \subset V_{\ell} \subset \dots
\end{align*}
of $L^2(I)$ where $I=(0,x_{max})$, and each $V_{\ell}$ is equipped ...
- 131
3
votes
0
answers
261
views
Generalization of trace and associated determinant
The standard relation between the trace and the determinant of matrices is presented in the MO-Q "Cycling through the zeta garden" where the log and exp functions allow one to jump between additive ...
- 10.5k
1
vote
0
answers
127
views
What is the analogue of expansive matrix for automorphisms?
We say an invertible $n \times n$ matrix with entries in $\Bbb R^n$ is expansive if the absolute values of all of its eigenvalues exceed $1$. An easy calculation also shows that if we consider a ball ...
- 41
0
votes
1
answer
307
views
Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators
Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...
- 195
3
votes
2
answers
113
views
Behavior of orbits under small perturbations
Perhaps this question is too easy for mathoverflow, at least this is how it seems, but I got no answer on stackexchange.
Suppose $T$ is a bounded linear operator on $l_2$ and $x\in l_2$ is a ...
- 1,361
12
votes
1
answer
1k
views
Decomposition of positive definite matrices.
It is known that a $n^2 \times n^2$ positive semidefinite matrix $A$ cannot always be written as a finite sum
$$
A=\sum_{j} B_j \otimes C_j
$$
with $B_j$ and $C_j$ positive semidefinite matrices (of ...
