All Questions
Tagged with linear-algebra matrix-analysis
364 questions
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(...
4
votes
0
answers
245
views
On the sum of the first row of the inverse of a certain symmetric Toeplitz matrix
(i) Consider a Toeplitz matrix $A_n = (a_{i, j})_{1 \le i, j \le n}$ of size $n$ defined as follows:
$$ a_{i, j} := |i-j|^{-1/2}, \text{ if } i \ne j; \ \ a_{i, j} := 2, \text{ if }i = j. $$
Let $...
3
votes
1
answer
349
views
Inverting (via Taylor expansion) a sum of (rank-deficient) skew-symmetric matrix and (rank-deficient) Diagonal matrix
I have the following problem:
A matrix $C\in \mathbb{R}^{2N}$, where
$C=\epsilon A+D$
$\epsilon A=(C-C')/2$ is skew symmetric with "block" anti-diagonal structure of size 4.
$ D=(C+C')/2$ (Diagonal ...
7
votes
1
answer
304
views
Argument principle for matrices
Let $f,g$ be entire functions, then the argument principle teaches us that
$$\frac{1}{2\pi i}\int_{\mathbb{C}} g(z) \frac{f'(z)}{f(z)} dz$$
is equal to $g$ evaluated at the zeros of $f.$
Now, let ...
11
votes
0
answers
313
views
Jaffard's theorem - finite matrices
For infinite matrices, Jaffard's theorem states that if $(A(k,l))_{k,l\in \mathbb{Z}}$ is invertible and satisfies
$$
A(k,l) \leq C (1+\left|k-l\right|)^{-r},
$$
for some $C>0$,
then
$$
A^{-1}(k,...
6
votes
1
answer
777
views
Is every real matrix conjugate to a semi antisymmetric matrix?
Is it true to say that every matrix $A\in M_n(\mathbb{R})$ is similar (conjugate) to a matrix $B=(b_{ij})$ with $b_{ij}=-b_{ji}$ for all $i\neq j$?(With some abuse of terminology,a matrix $B$ with ...
2
votes
0
answers
275
views
Maximum spectral norm of matrices with given anti-Hermitian part and Hermitian part's spectrum
Let $M\in M_n(\mathbb C)$ be a $n\times n$ matrix over the complex field. It can be written uniquely as $M=H+A$, where $H=H^*$ denotes its Hermitian part and $A=-A^*$ its anti-Hermitian part.
Its ...
1
vote
2
answers
486
views
Closed form for integral of function of a symmetric positive definite matrix
Let $M$ be a real symmetric positive definite matrix of size $n \times n$, and let $\log M$ denote its (principal) matrix logarithm.
Is it possible to evaluate the following integral in closed form?
...
9
votes
2
answers
894
views
Inverse of special upper triangular matrix
Consider the following $n \times n$ upper triangular matrix with a particularly nice structure:
\begin{equation}\mathbf{P} = \begin{pmatrix}
1 & \beta & \alpha+\beta & \dots & (n-3)\...
7
votes
1
answer
433
views
Smallest singular value of $X\mapsto AX^{T}+XA^{T}$
Question: Given the long and skinny matrix $A\in\mathbb{R}^{m\times n}$ with $m\ge n$, define the matrix valued operator
$$\mathcal{A}:X\mapsto AX^{T}+XA^{T}.$$
What is the tightest nontrivial lower-...
6
votes
1
answer
1k
views
Inequality between nuclear norm and operator norm for positive definite matrices
I will use $\|\|_*$ to denote the nuclear norm (sum of singular values) and $\|\|_2$ to denote the operator norm / matrix 2-norm (largest singular value).
Consider two positive definite $n \times n$ ...
2
votes
2
answers
123
views
Behavior of matrix rank under thresholding of its elements
Let $A$ be a $n \times n$ real matrix of, say, rank $r$. Consider the matrix $$\max \{0,A\}$$ whereby each negative element of $A$ is set to $0$ and the non-negative elements are left unchanged. Is ...
14
votes
2
answers
574
views
A simple but curious determinantal inequality
Let $A$ and $B$ be $n\times n$ Hermitian positive definite matrices and $k>0$ real. Then $A^k$ is well-defined and experimentally, we have $$\det(A^k+BABA^{-1})\geqslant \det(A^k+BA^{-1}BA),$$or ...
4
votes
2
answers
311
views
Solving $\text{trace}\left[\left(I + pY\right)^{-1} \left(I - p^{2}Y\right)\right] = 0$ for scalar $p$
For given $n\times n$ real symmetric positive definite matrices $X_{1}, X_{2}$, let $Y := X_{1}^{-1}X_{2}$, and let $I$ be the identity matrix.
I would like to solve the following equation for the ...
3
votes
0
answers
56
views
Equivalence Classes of a Subgroup of Similarity Transformations
Let $X$ be a real, finite-dimensional vector space and $A, B, C,$ and $D$ be matrices on $X$. I'm interested in the similarity classes of the block matrices
$$
\begin{bmatrix}
A & B\\
C & D\\
...
7
votes
1
answer
2k
views
Bound the eigenvalue of product of matrices?
Let $H$ be a $n \times n$ real symmetric matrix that has eigenvalues with absolute value less than 1. Define the matrix $M = \prod_{i=1}^n (I - e_ie_i^{\top}H)$ where $e_i$ denotes the $i^\text{th}$ ...
0
votes
2
answers
160
views
A matrix between vectors, and inequality!
I have an inequality as follows
$$s^T\phi\leq -|s|^TA$$
where $s$, $\phi$ and $A$ are vectors with appropriate dimensions. I want to prove that this inequality holds for the following too
$$s^TM\...
8
votes
1
answer
490
views
Determinants (and traces) of linear maps of matrices
Let $k$ be a field or a commutative ring with unit and let $F:M_n(k)\to M_n(k)$ be a $k$-linear map. Suppose that $F$ is given in the form $F(X) = A_1XB_1 + \cdots + A_m X B_m$ for some $A_i,B_i\in ...
1
vote
1
answer
437
views
Eigenvector of a nonnegative matrix in closed form
Consider $n\times 1$ vector $\alpha = (\alpha_{1}, ..., \alpha_{n})$, where $0<\alpha_{i}<1$, and $\sum_{i=1}^{n}\alpha_i = 1$. Construct the $n\times n$ zero-diagonal matrix $A$ with $(i,j)$-th ...
1
vote
1
answer
622
views
Can I modify the singular values of a matrix in order to get a negative eigenvalue?
Let $A \in \mathbb{R}^{n \times n}$ be a real nonsymmetric matrix with eigenvalues $\left\{\lambda_i : i=1..n\right\}$ with positive real part $\Re(\lambda_i) > 0$ $\forall i=1..n$
Let $A=U\Sigma ...
1
vote
0
answers
76
views
When is $F(X)BF(X)$ operator monotone, if $F(X)$ is operator monotone?
Let $\Omega_{n}$ denote the cone of $n\times n$ real symmetric positive definite matrices, and consider $F:\Omega_{n} \mapsto \Omega_{n}$. For $X,Y \in \Omega_{n}$, the matrix valued function $F(\cdot)...
8
votes
2
answers
362
views
Unitary factor in polar decompositions
Let $A, B$ be $n$-square (Hermitian) positive definite matrices. Let $AB=U|AB|$ be the polar decomposition of $AB$. So $U$ is unitary (called the unitary factor of $AB$). What is the optimal constant $...
4
votes
2
answers
1k
views
Derivative of pseudoinverse with respect to original matrix
I have been trying to find an analytical expression for the following:
$\frac{\partial {X^{+}}}{\partial {X}}$
In my case, $X$ has a constant rank.
I've found the formula for differentiating a ...
6
votes
0
answers
587
views
Lower bound on the sum of singular values for a sum of Hermitian matrices
Denote the eigenvalues of an $n\times n$ matrix $\mathbf{X}$ by $\lambda_i(\mathbf{X})$ and its singular values by $\sigma_i(\mathbf{X})$, $i=1,\ldots,n$. When $\mathbf{X}$ is Hermitian, we know that $...
15
votes
3
answers
3k
views
Determinant of a $k \times k$ block matrix
Consider the $k \times k$ block matrix:
$$C = \left(\begin{array}{ccccc} A & B & B & \cdots & B \\ B & A & B &\cdots & B \\ \vdots & \vdots & \vdots & \...
1
vote
1
answer
82
views
Why $ \langle \mathcal{R}_{\Omega}\,X\,,\mathcal{R}_{\Omega}\,X\rangle \ge \langle X\,,\mathcal{R}_{\Omega}\,X\rangle $?
Let $\{w_{a}\}_{a=1}^{n^2}$ be an orthonormal basis for a matrix. Assume we pick $m$ elements of this basis uniformly at random. $\Omega$ denotes the set of randomly chosen basis. With that, in matrix ...
0
votes
1
answer
61
views
Define a matrix function with a specific property
Let $S$ be the set of all positive semidefinite Hermitian matrices of order $mn$ over $\mathbb{C}$. Any matrix $H$ can be partitioned into blocks $H_{ij}$ of order $n$ that is $H_{mn \times mn} = (H_{...
3
votes
0
answers
298
views
Singular value decomposition of a low rank weak diagonally dominant M-matrix. When is the unitary polar matrix positive semi-definite?
Let $A$ be an $n \times n$, non-symmetric, real, weak diagonally dominant M-Matrix. Its diagonal is strictly positive, its off-diagonal is negative or zero and all its columns sum to zero. $A$ has ...
5
votes
3
answers
2k
views
How to check whether a matrix is completely positive or not?
The definition:
cone of completely positive matrices
$$
\mathcal{C}=\left\{
\sum_{i=1}^kx_ix_i^T : \text{$x_i\in\mathbb{R}^n_+$ for $i=1,2,\ldots,k$}
\right\}.
$$
I just don't know how to check ...
35
votes
3
answers
4k
views
A curious determinantal inequality
In my study, I come across the following curious inequality, which I do not know a proof yet (so I am asking it here).
Let $A, B$ be $n\times n$ (Hermitian) positive definite matrices. It is very ...
1
vote
0
answers
187
views
A question concerning positive definite matrix functions
Let $C(e^{i\theta})$ be an $m\times n$ ($m\ge n$) matrix-valued continuous function of $\theta\in[-\pi,\pi]$. Let $A_1(e^{i\theta})$ and $A_2(e^{i\theta})$ be two $n\times n$ positive definite matrix-...
1
vote
1
answer
1k
views
product of Gaussian random matrix and a deterministic diagonal matrix
Suppose that $G$ is an $n\times n$ Gaussian random matrix of i.i.d. entries $N(0,1/n)$ and $D$ is an $n\times n$ deterministic diagonal elements. I'd like to know if there have been results on the ...
9
votes
3
answers
4k
views
Fast Upper Triangular Matrix Exponentiation
Let $Q_n$ be a $n\times n$ matrix with $Q_n=\begin{pmatrix} -\lambda_1-\mu_1 & \lambda_1 & 0 & \cdots\\ 0 & -\lambda_2-\mu_2 & \lambda_2 & \cdots\\ \vdots & \vdots & \...
2
votes
1
answer
3k
views
The $n$th power of a matrix by Companion matrix
At first, I want to explain why did I say the $n$th power of a matrix by companion matrix. Suppose that $A$ is a matrix
of order $d$ over an ordinary field. There are several methods to obtain a ...
0
votes
1
answer
350
views
The order of companion matrix over various modulo
We consider a positive integer number and call it our modulo and denote it with $m$. We choose a positive integer number like $p$ and
call it the degree of our polynomial. We select $p$ integer ...
6
votes
1
answer
882
views
A question on the smallest singular value
Let $X(r)$ be the set of matrices $A \in M(n \times m)$, $n \leq m$, such that the norm of $A$ (largest singular value) is smaller or equal than $1$ and the smallest singular value of $A$ is smaller ...
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} < ...
9
votes
1
answer
492
views
When are two binary matrices simultaneously equivalent to their transpose?
For any real square matrix $A$ there is an invertible matrix $P$ such that $A^t = P^{-1}AP$. I have two binary ($0,1$) matrices $A$ and $B$. When does there exist a $P$ such that $A^t = P^{-1}AP$ and $...
10
votes
1
answer
3k
views
Reverse Minkowski (and related) Determinant Inequalities
For positive semidefinite matrices $A,B,C \in \mathbb{R}^{n\times n}$, the following inequalities are well known:
$$(\det(A+B))^{1/n} \geq (\det A)^{1/n} + (\det B)^{1/n} $$
and
$$\det(A+B+C) + \...
3
votes
0
answers
70
views
Condition number after some "non standard" transform
Given a positive definite matrix $A$, and a diagonal matrix $B$ with positive diagonal entries, is the following inequality generally true?
$$\kappa((A + B)(I + B)^{-1}) \leq \kappa(A)$$
$I$ is an ...
6
votes
2
answers
236
views
Bounding the non-multiplicativity of isometric projection
Every $A \in \text{GL}_n(\mathbb{R})$ has a unique Polar decomposition:
$A=O_AP_A$, $O \in \operatorname{O}_n, P \in \operatorname{Psym}_n$.
In particular the orthogonal factor is given by $$O_A=A(\...
5
votes
1
answer
2k
views
Upper bound of the largest eigenvalue of a PSD block matrix in terms of blocks
Let $\mathbf A=\left[\begin{matrix}\mathbf A_{11}&\mathbf A_{12}\\ \mathbf A_{21}&\mathbf A_{22}\end{matrix}\right]$ be a positive semi-definite matrix, $\mathbf A_{ij}\in\mathbb C^{n\times n}...
1
vote
0
answers
496
views
Reverse-mode Hessian matrix of the Cholesky factor
Let $ f(L) $ be a scalar function of the lower triangular Cholesky decomposition of the covariance matrix $ \Sigma $ such as $ \Sigma = LL' $.
Let's assume that we know the first and second derivative ...
1
vote
1
answer
607
views
The state-transition-matrix of a physical system,
Here's a simple but potential research problem that I am learning about.
Let's say I am studying a physical system that is governed by N objects. At each time, each object is either "active" and ...
4
votes
0
answers
749
views
When the integral of the product of two matrix exponentials is singular?
Let $A$ and $B$ be two $n \times n$ real matrices. (In my application, $A$ and $B$ are $6\times 6$ traceless singular real matrices) I am interested in finding the smallest $T$ such that the integral $...
1
vote
1
answer
462
views
Is this a full rank matrix? [closed]
According to the answer of znt to the previous version, I revise the question as follows:
Is there a real $(n-1)\times n$ matrix $A$
such that $A$ is not a full rank matrix and satisfy $a_{ii}&...
2
votes
0
answers
125
views
When is an selfadjoint operatorvalued matrix with positive semidefinite diagonal elements positive semidefinite as well?
We have $p \in \mathbb{N}$ and $\mathcal{H}$ is a Hilbert space.
let's consider a matrix $\boldsymbol{\Gamma}_p := (C_{i-j})_{i,j=1, ..., p} \in \mathcal{S_H}^{p\times p}\!\!\,,$ that is a $p\times p$...
1
vote
0
answers
947
views
max min of ratio of quadratic forms
Consider the optimization over two vectors $x$ and $y$
$$\max_{x,y} \min\left(\frac{x^TAx}{y^TAy},\frac{y^TBy}{x^TBx}\right)$$
for two positive definite matrices $A$ and $B$.
This problem can be ...
3
votes
1
answer
451
views
Singular values of the sum of A and A^T
As a part of my research, I need to achieve a lower bound to the smallest singular value, $\sigma_{n}(A+A^{T})$ for a stochastic $A$ (as a function of the singular values of $A$), which is generally ...
1
vote
3
answers
195
views
The functional equation $T(x\otimes y)=T(x)\otimes T(y)$ on the matrix algebra
Is there a non trivial sequence $(T_{n})$ of linear operators $T_{n}$ on $M_{n}(\mathbb{C})$ such that $$T_{nm}(X\otimes Y)=T_{n}(X)
\otimes T_{m}(Y) $$ where $X$ and $Y$ are in $M_{n}(\mathbb{C})$ ...