Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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})$ ...

1
4
5
6 7 8