All Questions
Tagged with linear-algebra sp.spectral-theory
128 questions
4
votes
2
answers
871
views
Decay of eigenfunctions for Laplacian
Consider the discrete second derivative with Dirichlet boundary conditions on $\mathbb C^n$.
Its eigendecomposition is fully known:
see wikipedia
It seems like the largest eigenvalue $\lambda_1$ is ...
45
votes
11
answers
23k
views
real symmetric matrix has real eigenvalues - elementary proof
Every real symmetric matrix has at least one real eigenvalue. Does anyone know how to prove this elementary, that is without the notion of complex numbers?
2
votes
0
answers
331
views
What is the spectrum of this differential operator?
My self-adjount differential operator $L$ is defined by $$L f(x) \equiv u(x) \frac{\partial^2}{\partial x^2} \left( u(x) f(x) \right)$$ where $u(x)$ is a known but arbitrary smooth function that ...
1
vote
1
answer
87
views
Where does $V$ from the spectral decomposition $A = VDV^*$ lie, if $A$ has only imaginary entries?
The spectral theorem says that for every Hermitian matrix $A \in \mathbb{C}^{n \times n}$ there is a unitary matrix $V \in U(n)$ and a diagonal matrix $D \in \mathbb{R}^{n \times n}$ such that $A = ...
3
votes
2
answers
392
views
Monotonicity of matrix conjugation
Let $A$ and $B$ be positive-definite matrices such that $A \le B.$
By matrix monotonicity of the root, this also implies that $A^{\alpha} \le B^{\alpha}$ for $\alpha \in [0,1].$
I am now curious under ...
2
votes
0
answers
153
views
Spectrum of an almost Hamiltonian matrix
I have a complex-valued block matrix $N=\begin{bmatrix}
A & B \\
C & -A^*
\end{bmatrix}$, where $A$ is diagonal, $B=B^*$, and $C$ is rank-1 but not Hermitian.
If $C$ were Hermitian, $N$ would ...
0
votes
0
answers
74
views
Computing the eigenvalues of $A+E$ where $A$ is an upper triangular matrix whose diagonal entries are all zero and $E$ is a rank one matrix
Let us consider the backward-shift matrix $B=(b_{ij})\in M_n(\mathbb{R})$ whose entries are given by $b_{k,k+1}=1$ and the other entries are all 0. We also consider $X=(x_{ij})\in M_n(\mathbb{R})$ ...
2
votes
1
answer
456
views
On a theorem of Carlson on the necessary and sufficient condition for a matrix to have $m$ real eigenvalues
Background: In the physics of open quantum systems the Lindbladian $\mathcal{L}$ governs the evolution of quantum states through the Lindblad master equation.
The Lindblad operator usually has ...
7
votes
0
answers
195
views
Hölder continuity of spectrum of matrices
Endow $\mathbb{C}^{d \times d}$ with the norm induced by the Euclidean norm on $\mathbb{C}^d$. It is well-known (to those who know it well, I guess) that the spectrum $\sigma(A)$ of a matrix $A \in \...
3
votes
0
answers
173
views
Where could a paper on a unification of matrix decompositions be published?
I've got a paper which shows that when the spectral theorem (as a statement that every self-adjoint matrix can be unitarily diagonalised) is naively generalised to $*$-algebras other than the complex ...
1
vote
1
answer
155
views
Spectrum invariant under (generalised) transpose as operator on trace class operators
For matrices $A$ it is well known that the spectrum is invariant under transpose $\sigma(A^T) = \sigma(A)$. Furthermore, the spectrum of the adjoint matrix $\sigma(A^*) = \overline{ \sigma(A)}$ the ...
0
votes
0
answers
104
views
Necessary and sufficient conditions for $\mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}) \ge 0$ for all $t$
Let $A$ and $B$ be positive-definite matrices of the same size. For any $t \ge 0$, define
$$
u(t) := \mbox{trace}(A^{-1/2}e^{-tB} (AB+BA) e^{-tB}A^{-1/2}).
$$
Question. What are necessary and ...
1
vote
1
answer
209
views
Eigenvalues invariant under 90° rotation
Consider $N \times N$ matrices
$$A = \begin{bmatrix}
0 & 0 & \cdots & 0 & 1 \\
1 & 0 & 0 & & 0 \\
\vdots & 1 & 0 & \...
5
votes
1
answer
325
views
The discrete Fourier transform's Gaussian-like eigenvector
I have the $N$x$N$ matrix below where $N$ is a power of 2 (usually 64 or 256) and $\omega = 2\pi/N$. What is its largest eigenvalue?
$\begin{bmatrix}
2 & 1 & 0 & 0 & \cdots & 0 &...
22
votes
2
answers
4k
views
Fast Fourier transform for graph Laplacian?
In the case of a regularly-sampled scalar-valued signal $f$ on the real line, we can construct a discrete linear operator $A$ such that $A(f)$ approximates $\partial^2 f / \partial x^2$. One way to ...
4
votes
1
answer
147
views
prove spectral equivalence bounds for inverse fractional power of matrices
The question is an extention to the answered question prove spectral equivalence bounds for fractional power of matrices.
Let $A, D \in \mathbb{R}^{n \times n}$ be two symmetric,positive definite and ...
3
votes
1
answer
80
views
prove spectral equivalence bounds for fractional power of matrices
Let $A, D \in \mathbb{R}^{n \times n}$ be two symmetric,positive definite and tri-diagonal matrices for that we know that they are spectrally equivalent, thus ist holds
$$ c^- x^\top D x \le x^\top A ...
1
vote
1
answer
88
views
Are these $L_2$-spectral radii approximations strictly increasing?
Suppose that $V$ is a finite dimensional complex Hilbert space. Let $L(V)$ denote the collection of all linear mappings from $V$ to $V$. Let $A_1,\dots,A_r:V\rightarrow V$ be linear operators. Then ...
2
votes
0
answers
121
views
Eigenvalues of two positive-definite Toeplitz matrices
Consider two positive-definite Toeplitz matrices $M_1$ and $M_2$ both with dimension $2^j \times 2^j$. Their matrix elements are:
$$M_1[x,y] = \frac{\text{sin}(\pi(x-y)/2^j)}{\pi(x-y)} \qquad M_2[x,y] ...
16
votes
3
answers
2k
views
Why is the set of Hermitian matrices with repeated eigenvalue of measure zero?
The Hermitian matrices form a real vector space where we have a Lebesgue measure. In the set of Hermitian matrices with Lebesgue measure, how does it follow that the set of Hermitian matrices with ...
1
vote
1
answer
241
views
Monotonicity of eigenvalues II
In a previous question here, I asked the question below for block matrices and received an answer showing the question is true if $\mathcal B$ is hermitian and false, in general if $\mathcal B$ is non-...
6
votes
1
answer
601
views
Monotonicity of eigenvalues
We consider block matrices
$$\mathcal A = \begin{pmatrix} 0 & A\\A^* & 0 \end{pmatrix}$$ and
$$\mathcal B = \begin{pmatrix} 0 & B\\C & 0 \end{pmatrix}.$$
Then we define the new matrix
$...
3
votes
4
answers
367
views
Prove that $(v^Tx)^2−(u^Tx)^2\leq \sqrt{1−(u^Tv)^2}$ for any unit vectors $u, v, x$
I believe I found a complicated proof by bounding the spectral norm $||uu^T-vv^T||^2_2:=\max_{||x||=1}|(u^Tx)^2-(v^Tx)^2|$.
Using the fact that $dist(x,y):=\sin|x-y|$ is a distance function over unit ...
5
votes
0
answers
208
views
Perturbation of Neumann Laplacian
Consider the $N \times N$ matrix
$$A_{\alpha}=\begin{pmatrix} \lambda_1 & -1 & -\alpha & 0 & \cdots & 0\\
-1 & \lambda_2 & -1 & -\alpha & \cdots & 0\\
-\alpha &...
2
votes
1
answer
178
views
Expressing the singular values of a 2-by-2 real-valued matrix by the norm of the two columns and the angle between them
I'm looking for an elegant way to show the following claim.
Claim: Let $m_1, m_2 \in \mathbb{R}^2$ be the two columns of matrix $M \in \mathbb{R}^{(2 \times 2)}$. The singular values of the matrix are ...
1
vote
1
answer
195
views
Eigenvalues of operator
In the question here
the author asks for the eigenvalues of an operator
$$A = \begin{pmatrix} x & -\partial_x \\ \partial_x & -x \end{pmatrix}.$$
Here I would like to ask if one can extend ...
5
votes
4
answers
1k
views
Has the largest-to-rest eigenvalue ratio of real symmetric matrices been researched before?
I'm investigating the eigenvalue ratios
$$
\frac{\lambda_1}{\sum_{j=2}^N\lambda_j}
\quad\mbox{and}\quad
\frac{\sum_{j=1}^N\lambda_j}{\sum_{j=2}^N\lambda_j}
$$
of the NxN matrix $B=AA^T$. $\lambda_1$ ...
7
votes
1
answer
204
views
Are $\log(\sigma(A(z))$ subharmonic functions?
Let $A$ be a matrix-valued entire function. It is then well-known that $\log \Vert A(z)\Vert$ is subharmonic. In particular, the operator norm is just the largest singular value of $A$.
Is it ...
11
votes
1
answer
928
views
Imaginary eigenvalues
Consider the matrix
$$A(\mu) = \begin{pmatrix} 0 & 1& 0 & 0 \\ -1 & -i\mu & 0 & i \\ 0 & 0 & 0 & 1 \\ 0 &i & -1 & i\mu \end{pmatrix}.$$
This matrix is ...
13
votes
3
answers
2k
views
Eigenvalue pattern
We consider a matrix
$$M_{\mu} = \begin{pmatrix} 1 & \mu & 1 & 0 \\ -\mu & 1 & 0 & 1 \\ -1 & 0 & 0 & 0 \\ 0 &-1 & 0 & 0 \end{pmatrix}$$
One easily ...
3
votes
2
answers
167
views
Massive dirac operator symmetric spectrum
Consider the Dirac operator
$$ H = \begin{pmatrix} m & -i\partial_z \\ -i\partial_{\bar z} & -m \end{pmatrix},$$
where $\partial_{\bar z}$ is the Cauchy-Riemann operator and $m \ge 0.$
It is ...
6
votes
0
answers
107
views
Eigenvalues of splitting scheme
In numerical analysis it is common to approximate a solution to a PDE
$$u'(t) = (A+B) u(t), \quad u(0)=u_0$$
which is just given by $e^{t(A+B)}u_0$ by the splitting $e^{tB/2} e^{tA} e^{tB/2}u_0.$ Here,...
3
votes
1
answer
791
views
Real part of eigenvalues and Laplacian
I am working on imaging and I am a bit puzzled by the behaviour of this matrix:
$$A:=\left(
\begin{array}{cccccc}
1 & 0 & 0 & -1 & 0 & 0 \\
0 & 0 & 0 & 0 & -1 &...
1
vote
0
answers
70
views
Lower-bounding the eigenvalues of a certain positive-semidefinite kernel matrix, as a function of the norm of the input matrix
Let $\phi:[-1,1] \to \mathbb R$ be a function such that
$\phi$ is $\mathcal C^\infty$ on $(-1,1)$.
$\phi$ is continuous at $\pm 1$.
For concreteness, and if it helps, In my specific problem I have $\...
3
votes
1
answer
151
views
Commutation between integrating and taking the minimal eigenvalue
Let $S = (f_{ij})_{ij}$ be a $n \times n$ real symmetric matrix, with functions $f_{ij} \in L^1(\mathbb{R}^d,\mathbb{R})$ in it. We define $\left(\int u S \right)_{ij} = \int u S_{ij}$ as the ...
16
votes
3
answers
15k
views
Interesting relationships between Cholesky decomposition and diagonalization
Let $\Sigma$ be a hermitian positive definite matrix and $L$ be its Cholesky decomposition so that $LL^\ast=\Sigma$. Furthermore, let's diagonalize $\Sigma$ as $\Sigma = P\Lambda P^\ast$. $\Lambda$ is ...
16
votes
2
answers
1k
views
Spectral symmetry of a certain structured matrix
I have a matrix
$$ A= \begin{pmatrix} 0 & a & d & c\\ \bar a & 0 & b & d \\ \bar d & \bar b & 0 & a \\ \bar c & \bar d & \bar a & 0 \end{pmatrix} $$
As ...
6
votes
1
answer
299
views
Continuity of eigenvectors
Let $\mathbb{C} \ni z \mapsto M(z)$ be a square matrix depending holomorphically on a parameter $z$ with the property that $\operatorname{dim}\ker(M(z)))=1$ for $z $ away from a discrete set $D \...
1
vote
2
answers
877
views
Matrix logarithms are not unique
In my ODE class, we proved that if $\exp(L) = \exp(L')$ then the eigenvalues are congruent mod $2 \pi i$. Here, $L$ and $L'$ are two $n \times n$ matrices. I wanted to know if something more precise ...
5
votes
2
answers
1k
views
Compact operator without eigenvalues?
Consider the operator $M$ on $\ell^2(\mathbb{Z})$ defined by for $u\in \ell^2(\mathbb Z)$
$$Mu(n)=\frac{1}{\vert n \vert+1}u(n).$$ This is a compact operator!
Then, let $l$ be the left-shift and $r$ ...
2
votes
0
answers
79
views
Upper bound for smallest eigenvalue of infinite family of graphs
Let $\left\{G_{n}\right\}_{n=1}^{\infty}$ be a sequence of regular simple connected graphs with at least one edge such that $G_i$ is an induced sub-graph of $G_{i+1}$ and is not equal to $G_{i+1}$.
...
3
votes
1
answer
115
views
Approximation of vectors using self-adjoint operators
Let $T$ be an unbounded self-adjoint operator.
Does there exist, for any $\varphi$ normalized in the Hilbert space, a constant $k(\varphi)>0$ and a sequence of normalized $(\varphi_n)$ such that $$...
12
votes
6
answers
2k
views
Differentiability of eigenvalues of positive-definite symmetric matrices
Let $A\in M(n,\mathbb{R})$ be an invertible matrix. Consider the (real) eigenvalues $\lambda_1,\cdots,\lambda_n$, in increasing order, of the positive-definite symmetric matrix $A^t A$. We shall ...
4
votes
1
answer
353
views
When is rank-1 perturbation to a positive operator still positive?
Let $A : \mathcal{H} \to \mathcal{H}$ and $B : \mathcal{H} \to \mathcal{H}$ be trace-class (hence compact) Hermitian operators on a separable Hilbert space. Assume that $A$ is strictly positive and ...
1
vote
0
answers
67
views
Spectral theorems for generalized Hermitian matrices
Let $k$ be a field, and let $\sigma$ be a nontrivial involutory automorphism of $k$. Let $A$ be a square matrix with entries in $k$, such that $(A^{\sigma})^T = A$; here $A^\sigma$ means the matrix $(...
3
votes
2
answers
307
views
Random matrix is positive
This is a follow up question on my previous question here that was on solved in the deterministic setting by Denis Serre, when the perturbation can be separated. Therefore, I decided to split the ...
6
votes
1
answer
299
views
Phase transition in matrix
Playing around with Matlab I noticed something very peculiar:
Take the symmetric matrix $A \in \mathbb R^{n \times n}$ defined by
$$A_{ij}= i \delta_{ij} - \frac{\varepsilon}{\sqrt{i}\sqrt{j}}\,.$$
...
1
vote
1
answer
2k
views
Positive matrix and diagonally dominant
There is a well-known criterion to check whether a matrix is positive definite which asks to check that a matrix $A$ is
a) hermitian
b) has only positive diagonal entries and
c) is diagonally ...
2
votes
0
answers
75
views
Unimodality of a function of a non-negative matrix
I am taking an interest in the following problem:
Consider a real matrix with non-negative entries $\boldsymbol{A} \in \mathbb{R}_+^{d \times d}$, with $d \in \mathbb{N}$.
For $k \in \mathbb{N}$, ...
2
votes
3
answers
216
views
Equivalence of operators
let $T$ and $S$ be positive definite (thus self-adjoint) operators on a Hilbert space.
I am wondering whether we have equivalence of operators
$$ c(T+S) \le \sqrt{T^2+S^2} \le C(T+S)$$
for some ...