All Questions
Tagged with matrices inequalities
36 questions with no upvoted or accepted answers
21
votes
0
answers
868
views
Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials
While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...
- 28.6k
16
votes
0
answers
488
views
An inequality for matrix norms
Working on a problem in combinatorics I come up with the following inequality on matrix norms, which I checked it also numerically:
Let $A=(a_{ij})$ be a real symmetric $n\times n$ matrix with ...
- 4,484
16
votes
0
answers
808
views
Determinant inequality involving Hermitian, positive definite matrices
Let $A,B,C\in M_{n}(\mathbb C)$ be Hermitian and positive-definite matrices such that $A+B+C=I_{n}$.
Show that
$$\det\left(6(A^3+B^3+C^3)+I_{n}\right)\ge 5^n\det(A^2+B^2+C^2)$$
This question has been ...
- 269
12
votes
0
answers
218
views
Which ordering of factors is needed to obtain this kind of determinantal inequalities?
Let $A$ and $B$ be $n\times n$ Hermitian positive definite matrices. The curious determinantal inequality given here, which can be stated as $$\det (A^{4}+ ABBA+BAAB+B^{4})\ge\det(A^{4}+ AABB+BBAA+B^{...
- 13.4k
8
votes
0
answers
400
views
When do we have $\|X - Y\| = \|\Sigma(X) - \Sigma(Y)\|$?
For any $X \in \mathbb{C}^{m\times n}$, let $\Sigma(X)$ be the "middle factor" in its SVD, so that $X = U\Sigma(X) V^H$ and the diagonal of $\Sigma(X)$ is arranged in descending order.
...
- 269
8
votes
0
answers
576
views
A rank inequality
Suppose
$$M := \begin{bmatrix}
M_{11} & \cdots &M_{1d} \\
\vdots & \ddots & \vdots \\
M_{d1} & \cdots & M_{dd}
\end{bmatrix}$$
is a $d \times d$ block matrix such that
$$M_{...
- 500
8
votes
0
answers
491
views
Strange determinant inequality $\det(C+ xA) \det(C-xA) \le (\det C)^2$
Let $A$ be an all-one $3$-by-$3$ matrix, let $C$ be a $3$-by-$3$ matrix, and let $x$ be a real number. How might one prove the following inequality?
$$\det(C+ xA) \det(C-xA) \le (\det C)^2$$
- 99
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 $...
- 907
5
votes
0
answers
2k
views
A stronger Cauchy-Schwarz inequality for traces of compression matrices
Assume that $A$ and $B$ are contractions, so
$I-AA^T$ and $I-BB^T$ are positive-definite matrices. Let
$C=(I-AB^T)^{-1}(I-AA^{T})(I-BA^{T})^{-1}$, and show that:
$$Tr\left(\frac{1}{1-AA^T}\right)...
- 4,270
4
votes
0
answers
455
views
Inequalities for trace/eigenvalues of product of multiple 2x2 matrices
Consider the matrix product $\prod_i^n A_i$,
where each $A_i$ is a $2\times2$ matrix having the form $A_i = \left( \begin{smallmatrix} \lambda + \alpha_i & -\beta_i \\ 1 & 0\end{smallmatrix}\...
- 695
4
votes
0
answers
676
views
Weyl-type inequality for non-Hermitian matrices?
What is the weakest known condition under which a Weyl-type eigenvalue perturbation inequality holds? Does some analogue hold for normal matrices, for example?
- 6,541
3
votes
0
answers
118
views
A matrix-valued analogue of a classical inequality
Let $p \geq 4$ be an even integer. In the study of variational problems in $W^{1, p}$, it is handy to know that for $a, b \in \mathbb R^d$,
$$|a - b|^p \leq 2^{p - 1} (|a|^{p - 2} + |b|^{p - 2}) |a - ...
- 708
3
votes
1
answer
427
views
Minimum upper bound for sum of the entries of the inverse covariance matrix
Let $x \in \mathbb{R}^n$ and $k$ is RBF kernel
$$k(x, x') := \exp \left(-\frac{\|x-x'\|^2}{2\sigma^2}\right)$$
and let $\mathbf{K}$ be the following $n \times n$ covariance matrix
$$\mathbf{K} = \...
3
votes
0
answers
49
views
Stability of matrix equation
Let $M=I+A\in \mathbb{R}^{n\times n}$ for a skew-symmetric matrix $A$ with $\|A\|<1$ in the spectral norm. Using the $LU$-decomposition of $M$, it is easy to construct a solution $L,U\in \mathbb{R}^...
- 435
3
votes
0
answers
155
views
Frobenius inner product of a zero line-sum matrix and a doubly stochastic matrix
Let $A$, $B$ be two $n\times n$ real matrices.
Let $A$ be a zero line-sum matrix where each row sum and each column sum equals zero, i.e., $$\sum_{i=1}^{n}a_{ij}=\sum_{j=1}^{n}a_{ij}=0 $$ (it seems ...
- 71
2
votes
0
answers
100
views
An inequality related to Problem 10210 AMM 1992 No. 3
Problem. Let $A$ be a $N \times N$ real matrix whose $(i,j)$ entry is $a_{ij} \ge 0, \forall i, j$. Let $1$ denote $N\times 1$ all-ones vector. Prove that
$$N^2 1^\top A^\top A A^\top 1 \ge (1^\top A ...
- 1,053
2
votes
0
answers
160
views
An "almost" true inequality for Hermitian matrices
Let $A$ be an $N\times N$ Hermitian matrix. For $p+q$ even, consider the following inequality:
$$\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} (A^q)_{ii} \geq \Big(\frac{1}{N}\sum_{i=1}^N (A^p)_{ii} \Big) \Big(\...
- 593
2
votes
0
answers
51
views
What conclusions can I derive from this family of trace inequalities?
Problem. Let $n_1,\ldots,n_s,m_1,\ldots,m_s\ge 0$ be nonnegative integers and set $m := \sum_{i=1}^s m_i$ and $n := \sum_{i=1}^s n_i$. Let $\oplus$ be an operation on matrices which stacks them in a ...
- 283
2
votes
0
answers
97
views
Fractional reverse direction Cauchy-Schwarz inequality
If $Z_1,\dots,Z_r$ are complex $m\times m$-matrices, then let $\Phi(A_1,\dots,A_r):M_m(\mathbb{C})\rightarrow M_m(\mathbb{C})$ be the linear mapping defined by $\Phi(A_1,\dots,A_r)(X)=A_1XA_1^*+\dots+...
2
votes
0
answers
106
views
Connections between eigenvalues of $B$ and $A+iB$
Consider two symmetric and real matrices $A,B\in\mathbb{R}^n$ and definie $A+iB$. Note that $A+iB$ is not hermitian in this case. There are many results based on Brendixson and Courant-Fischer, saying,...
- 21
2
votes
0
answers
75
views
Case of equality in entrywise spectral radius bound
Let $A,B$ denote square matrices such that $\lvert A_{ij}\rvert\le B_{ij}$ for all $i,j$, and denote the spectral radius by $\rho$. From the Gelfand spectral radius formula it is easy to see that
$$\...
- 623
2
votes
0
answers
171
views
Bounding the distance between two matrix power sequences
Let $A,B$ be Hermitian matrices so that $0 \le A,B < I$ and also
$(1-\varepsilon)(I-B)\le I - A \le (1+\varepsilon)(I-B)$.
For every $t \in \mathbb{N}$, consider the matrix $A_{t} = \sum_{i=0}^{t}...
- 225
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
216
views
Schatten norm inequality
Let $A,B$ be two $n\times n$ matrices.
Find a lower bound of the $p$-th Schatten norm
$\|(A-B)(A-B)^\ast\|_{S_{p/2}}^{1/2}$ in terms of Schatten norm of $\|(AA^*+BB^*)\|_{S_q}$ for any relation ...
- 97
1
vote
0
answers
103
views
Is the rank preserved when the spectral radius is maximized?
If $A$ is a matrix, then let $\rho(A)$ denote the spectral radius of $A$. If $A=(a_{i,j})_{i,j}$, then let $\overline{A}=(\overline{a_{i,j}})_{i,j}$.
Suppose that $A_1,\dots,A_r\in M_{n}(\mathbb{C})$ ...
1
vote
0
answers
52
views
About means of positive definite matrices
This question is related to this recent one.
Recall that on the cone $SPD_n$ of $n\times n$ symmetric positive definite matrices, there are various notions of means, which extend the same notions ...
- 52.3k
1
vote
0
answers
422
views
Integral of matrix determinant with respect to Lebesgue measure
$\newcommand\norm[1]{\lVert#1\rVert}
\newcommand\opnorm[1]{\norm{#1}_{\text{op}}}
\newcommand\Frnorm[1]{\norm{#1}_{\text F}}$Define
\begin{align*}
S_t=\{
(A,B)\in\mathbb{R}^{n\times n}\times\...
- 1,495
1
vote
0
answers
111
views
Matrix eigenvalues inequality (2)
Suppose that $A$ is a $n\times n$ positive matrix, whose eigenvalues are $a_1\ge a_2\ldots \ge a_n>0;$ $B$ is a $m \times m$ positive matrix, whose eigenvalues are $b_1\ge b_2\ldots \ge b_m>0;$ ...
- 119
1
vote
0
answers
55
views
On the Lowener-Heinz inequality
I know that for two symmetric positive semi-definite (non-diagonal) matrices $A,B$, the inequality asserts that the following does not hold for all $p > 1$
$$A \succeq B \succeq 0 \Rightarrow A^p \...
- 11
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
396
views
Bound of spectral radius of polynomial of a complex matrix
I am trying to prove or disprove the following inequality.
$$ ||P(A)||_2\leq 2 \max_{\alpha\in W(A)}| P(\alpha)|,$$
where $P(\cdot)$ is a complex polynomial, $A\in \mathbb{C}^{n\times n}$ and $W(A)...
- 163
1
vote
0
answers
112
views
Tools to bound the singular values of a finite sum of random matrices from below?
Matrix Chernoff bounds (see also this arXiv paper) are usually used to give upper bounds on the largest eigenvalue of a finite sum of random matrices. Sometimes it can also be used to give a lower ...
- 111
0
votes
0
answers
57
views
Class of covariance matrices invariant under permutations
I am reading a paper on covariance matrix estimation, and in this paper is introduced a class of covariance matrices:
\begin{equation}
U(q, c_0(p),M)=\{\Sigma: \sigma_{ii}\leq M,\quad \max_j\sum_{j=1}^...
- 1
0
votes
0
answers
68
views
Inequality between product of companion matrices and power of Pisot number
Let $d\geqslant 2$ be an integer and consider a convergent sequence of "companion" matrices
$$A_k := \begin{pmatrix}
a_{k,1} & a_{k,2} & \cdots & a_{k,d} \\\
& ...
- 101
0
votes
0
answers
189
views
The algebraic connectivity of $P_n$, the path on $n$ vertices does not exceed $\frac{12}{n^2-1}$
The algebraic connectivity of $P_n$, the path on $n$ vertices does not exceed $\frac{12}{n^2-1}$.
Let algebraic connectivity of $P_n$ be denoted by $\mu$. I have proved a result that if $G$ is a ...
- 199
0
votes
0
answers
89
views
Show that a certain ratio of diagonal entries dominates a certain ratio of singular values
Let $D=[d_{ij}]_{i,j=1,\ldots,4}$ be a $4 \times 4$ “density matrix”, that is, a Hermitian (possibly symmetric) positive definite matrix having trace 1—that is, the (nonnegative) diagonal entries sum ...
- 723