All Questions
63 questions
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
1
answer
264
views
Continuous path of unitary matrices with prescribed first column?
Consider a continuous curve $u \colon [0,1] \to \mathbb{C}^n$ where $u(t)$ is always a unit vector, $u(t)^* u(t) = 1$.
Question 1: Does there exist a continuous curve $U \colon [0,1] \to \mathbb{C}^{n ...
- 637
2
votes
0
answers
57
views
spilt the sum of singular values of matrices
Let $A_{i} \in GL(d, \mathbb{R})$ for $i=1, 2, 3.$ For $q>0$, we denote $t_{3}^{q}=\sum_{i=0}^{3} \sigma_{1}^{q}(A_{i})\sigma_{2}^{q}(A_{i})\sigma_{3}^{q}(A_{i})$, $t_{2}^{q}=\sum_{i=0}^{3} \sigma_{...
- 1,043
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 &...
- 73
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
4
votes
1
answer
204
views
Making Hermitian matrices almost commute
Consider two Hermitian matrices $A, B \in \mathbb{C}^{n \times n}$. I'm interested in finding another Hermitian matrix $A'$ that is close to $A$ and almost commutes with $B$. More precisely, I'd like ...
- 209
1
vote
1
answer
72
views
Weak majorizations for sum of two hermitian matrices
Let $A$ and $B$ be two $n\times n$ hermitian matrices. Does $U^{*}AU+B \prec_{w} A+B$ for any unitary matrix $U$? Here the notation $``\prec_{w}"$ stands for the weak majorization, that is, $x\prec_{...
- 45
7
votes
1
answer
510
views
Is it true that $\lVert A\rVert \leq \lVert A^2\rVert$ for $A\in \operatorname{SL}(2, \mathbb{R})$ when $\operatorname{trace}(A)>2$?
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\trace{trace}$Let $A \in \SL(2,\mathbb{R})$ and $\trace(A)>2$. Is it true that $$\lVert A\rVert \leq \lVert A^2\rVert,$$
where $\lVert \rVert$ is the ...
- 1,043
2
votes
0
answers
81
views
Perturbed Gram matrix
Let $x_t \in \mathbb{S}^{d-1}$, $\forall t\in \mathbb{N}$ and let $e_1$ be the first canonical basis vector of $\mathbb{R}^d$, ie, $e_1 = (1,0,\cdots,0)$. Let us form a Gram Matrix
$$\sum_{t=1}^T(x_t ...
- 215
0
votes
0
answers
90
views
Is a basis that almost diagonalizes a matrix 'close' to its eigenbasis?
Let $A\in\mathbb{R}^{n\times n}$ be diagonalisable (over $\mathbb{C}$) with pairwise distinct eigenvalues $\lambda_1,\ldots,\lambda_n\in\mathbb{C}$, and suppose that
$$\tag{1}S^{-1}\cdot A\cdot S = \...
- 463
2
votes
0
answers
99
views
Lower bound on iterated matrix application
Let $n \in \mathbb Z^2$ such that the non self-adjoint weighted Laplacian is
$$(\Delta u)(n)=u(n_1+1,n_2)-u(n_1-1,n_2) + i( u(n_1,n_2+1)- u(n_1,n_2-1))$$
the adjoint operator is then
$$(\Delta^* u)(n)=...
- 192
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 ...
user140442
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
7
votes
0
answers
107
views
Potential p-norm on tuples of positive operators
This is a follow-up to this question on p-norms of tuples of operators.
Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define
$$
\left\|\left[\begin{...
- 3,984
6
votes
1
answer
236
views
Potential p-norm on tuples of operators
Consider $\left[\begin{matrix}A \\ B\end{matrix}\right] \in B(H)^2$. One can define
$$
\left\|\left[\begin{matrix}A \\ B\end{matrix}\right]\right\|_p = \| |A|^p + |B|^p\|^{1/p}.
$$
Q: Is this a norm?
...
- 3,984
4
votes
0
answers
109
views
Characterization of "PSD-Squared" Matrices
$\DeclareMathOperator\DNN{DNN}\DeclareMathOperator\CP{CP}$This question can be thought of as an offshoot of this MO question from a few months ago. Let $M_n(\mathbb{C})$ denote the set of $n \times n$ ...
- 6,351
1
vote
0
answers
448
views
Smallest eigenvalue for large kernel matrix
I am interested in the the asymptotics of the minimum eigenvalue $\lambda_n^n$ of a class of kernel matrix $P = [ K(x_i - x_j) ]_{i,j}$, with $x_i$ equally spaced in the unit cube of $\mathbb{R}^d$.
...
- 151
8
votes
1
answer
678
views
Inequality involving tensor product of orthonormal unit vectors
Let $e_1,...,e_r$ be the first $r$ standard basis of $\mathbb{R}^n, r<n$. Let $u_1,...,u_n$ be another orthonormal basis of $\mathbb{R}^n$. Let $\otimes$ be the tensor product on $\mathbb{R}^n$ and ...
- 1,495
9
votes
1
answer
953
views
Is there always a complete, orthogonal set of unitary matrices?
The set of size-$n$ unitary matrices span $\Bbb C^{n \times n}$ (this can be proven nicely using polar decomposition). If we select a maximal linear subset of unitary matrices, then we have a basis ...
- 356
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 &...
user136033
8
votes
1
answer
172
views
Distance between subalgebras and positive elements in matrices
I repost here from stackexchange, as I was not given an answer there. (https://math.stackexchange.com/questions/2956530/distance-between-subalgebras-and-commutants-in-matrix-algebras)
This is a ...
26
votes
2
answers
1k
views
Symmetric strengthening of the Cauchy-Schwarz inequality
In this great question by Nathaniel Johnston, and in its answers, we can learn the following remarkable inequality: For all $v,w \in \mathbb{R}^n$ we have
\begin{align*}
\|v^2\| \, \|w^2\| - \langle ...
- 12.5k
2
votes
0
answers
256
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
0
votes
1
answer
269
views
Limit of eigenvalues of a matrix perturbation sequence
Suppose $H$ is an $n\times n$ symmetric positive definite matrix, $M_k$ is a sequence of $n \times n$ matrix (not necessarily symmetric) such that $M_k \to O$ where $O$ is the zero matrix. Let $\...
- 135
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
4
votes
2
answers
670
views
When does this linear matrix equation have a unique symmetric, positive definite solution?
I encountered the following matrix equation for $A, N, Q \in \mathbb{R}^{n \times n}$ and $A^T=-A$ and $N^T=-N$
$$[X,A]+N^TXN+Q = 0$$
where $Q$ is symmetric, positive definite. My final goal is to ...
- 41
4
votes
3
answers
3k
views
Is this inequality involving the Frobenius norm right?
Let $A$ be a generic (or varying) square, real $ n \times n$ matrix. Let $G$ be a fixed $n \times k$ matrix, $k < n.$ Denote by $||.||_F$ the Frobenius norm.
Is it true that $||AG||_F \geq c(G) ||...
- 1,465
2
votes
0
answers
147
views
Is the following inequality true for the norm of Moore-Penrose pseudoinverses?
Let $L$ be a real, positive semi-definite, symmetric, square matrix, with pseudoinverse $L^{+}$. It can be shown for the operator norms $||.||_{op}$ that: if $L$ is invertible and $||I - L||_{op} < ...
- 1,465
1
vote
0
answers
256
views
Significance of Tikhonov matrix
I am looking for a tutorial on Tikhonov matrix, in the sense what it can do or it cannot do. The definition of the matrix can be obtained in the wikipedia link. https://en.wikipedia.org/wiki/...
1
vote
0
answers
174
views
Negative eigenvalue of Toeplitz Hermitian matrix?
I am working on estimation of a covariance matrix and I know that the matrix is Toeplitz. The desired matrix should not produce negative eigenvalues at all. However, sometime my estimation leads to a ...
- 495
1
vote
3
answers
684
views
Norm of an operator formed using a unitary operator
Suppose, $ A $ is a unitary matrix in $ M_n(\mathbb{C}) $ given by $ (a_{i,j})_{1\le i,j\le n} $ which has the property that, for all the basis elements $ e_i $, $ Ae_i\ne |\lambda| e_j $ for all $i,j ...
- 817
3
votes
1
answer
493
views
Two minimization problems using singular value decomposition
Posted here too: https://math.stackexchange.com/questions/1711026/two-minimization-problems-using-singular-value-decomposition
Let $q_0, q_1:[0,1]\to \mathbb{R}^n$ be two maps whose components are $L^...
- 1,465
13
votes
2
answers
1k
views
A matrix norm inequality
Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that
$\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...
- 1,748
13
votes
1
answer
1k
views
An inequality for the spectral radius of matrices used by J. Bochi
I am interested in the history of an inequality for the spectral radius of a $d\times d$ real or complex matrix, which occurs in Jairo Bochi's 2002 article Inequalities for numerical invariants of ...
- 6,206
5
votes
0
answers
216
views
Existence or construction of a sequence of orthogonal matrices with three properties
This is a problem that I encountered during my research, and I have spent a good amount of time on it without success. So I am reaching out for help ....
Any pointers or suggestions are appreicated!
...
- 984
21
votes
1
answer
2k
views
Almost commuting unitary matrices
Suppose that $A_1,\dots, A_k$ are unitary matrices such that any two of them can be approximated by commuting unitary matrices. i.e. for any $i$ and $j$, there are unitary matrices $A_i'$ and $A_j'$ ...
- 901
5
votes
0
answers
376
views
Non-linear positive map
In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...
- 421
12
votes
5
answers
2k
views
Analogue of Cayley Hamilton theorem for operators on Hilbert space
Is there an analogue of Cayley Hamilton theorem which holds for operators on a separable Hilbert space. Obviously the characteristic polynomial will be replaced by something else.
- 2,099
5
votes
0
answers
254
views
A weak Perron-Frobenius property for sets of positive matrices
A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...
- 6,206
5
votes
0
answers
620
views
Is there a method to simultaneously block-diagonalize a set of group matrices?
Assume that you are explicitly given the representation matrices of a group.
How does one go about finding that common basis which will find the irreducible components of all of them simultaneously?
...
- 1,893
1
vote
0
answers
85
views
What are good bounds on ratios of subdeterminants?
Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ?
Using the ...
- 1,893
1
vote
0
answers
270
views
Eigenvalue of product of self adjoint compact operators
Suppose A is a self adjoint $m \times m$ real matrix with eigenpairs $\{e_j, \lambda_j\}$ such that $\lambda_j > \lambda_{j + 1}$. Let $B$ be another self adjoint real $m \times m$ matrix such that ...
- 157
1
vote
1
answer
1k
views
The norm of a Finite Hilbert matrix
Let $H$ be an $n\times n$ Hilbert matrix,
$$h_{ij}=(i+j-1)^{-1}.$$
The matrix $p$-norm corresponding to the p-norm for vectors is:
$\left \| A \right \| _p = \sup \limits _{x \ne 0} \frac{\left \|...
- 1,748
6
votes
1
answer
277
views
Diagonalization of the matrix $(1/(i+j+\rm{const}))_{i,j}$
Consider the following infinite matrix: $A_{i,j}=\frac1{i+j+\gamma}$, $0\leq i,j<\infty$, $\gamma>0$ is a constant. Is it known how to diagonalize $A$, or, say, calculate $(I+tA)^{-1}$ for ...
- 109k
9
votes
0
answers
978
views
Strong convexity of the trace of the square root of a matrix function
Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
- 91
2
votes
1
answer
265
views
How can I prove that the negative biased triangular kernel is positive semidefinite
How can I prove that the following triangular kernel function defined in $[0, 1] \subset R^1$
$k(x, x') = (1 - 2|x-x'|)$
is a positive semidefinite function?
It turns out to be psd function when ...
5
votes
1
answer
3k
views
Operator norm vs spectral radius for positive matrices
I believe the following statement should be true but somehow I don't see an argument:
For every integer $d>1$ there exists a constant $C=C(d)>1$ such that whenever $A$ is a $d \times d$ matrix ...
- 421
2
votes
1
answer
345
views
Alike looking matrices imply convergence of eigenvalues?
This is a question about convergence of eigenvalues which essentially came up in studying the spectrum of St.-Liouville operators.
We want to look at matrices that agree in most of their entries and ...
user54300
3
votes
0
answers
193
views
Method to Generate Random Mutually Orthogonal Unitary Matrices
The title says it all, I'd like to know if such a method exists to generate random mutually orthogonal unitary matrices. If so, any supplementary references would be very much obliged. Thanks again!
- 133
4
votes
1
answer
135
views
Characterization(?) of coersive(?) elements in the special linear group
Take your favorite matrix norm $\|\bullet\|$ (my favorite is the Frobenius norm $\|A\| = \sqrt{\operatorname{tr} A A^t}$). Now consider the set $S_x$ of matrices $A,$ such that
$\|A\| < x$ and $\|...
- 96.4k