# Tagged Questions

**13**

votes

**1**answer

237 views

### A possible extension of a determinant inequality

It is well known that if $A, B$ are positive semidefinite matrices, then $$\det (A+B)\ge \det A+\det B.$$
I am considering a possible extension of this result. Let $\mathbb{M}_m(\mathbb{M}_n)$ ...

**4**

votes

**0**answers

292 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:
...

**2**

votes

**1**answer

197 views

### A similar Cauchy-Schwarz inequality with linear-algebra

Let $A$ be matrix in $M_{n}$ (i.e., $n\times n$ complex matrices), and $\|A\|\le 1$, we call it a contraction.
Assume that $A$ and $B$ are contractions such that
$I-AA^*$ and $I-BB^*$ are ...

**10**

votes

**1**answer

286 views

### Hölder's inequality for matrices

I was wondering if the Hölder's inequality was true for matrix induced norms, i.e. if
$$\|AB\|_1 \leq \|A\|_p\|B\|_q, \quad\forall p,q \in [1,\infty] \text{ s.t. } \tfrac{1}{p}+\tfrac{1}{q} = 1.$$
But ...

**5**

votes

**3**answers

661 views

### Set of Positive Definite matrices with determinant > 1 forms a convex set

While reading a paper An Arithmetic Proof of John’s Ellipsoid Theorem by Gruber and Schuster, I have a question on their proof.
Consider an $n\times n$ real symmetric and positive definite matrix ...

**0**

votes

**1**answer

177 views

### Bounding the positive semi-definite matrix with its block diagonal matrix [closed]

Can we bound $\mathbf{A}$ with $\mathbf{A^*}$ as ${\bf{A}} \preceq {{\bf{A}}^*}$ where
\begin{equation}
{\bf{A}} = \left[ {\begin{array}{*{20}{c}}
{{{\bf{A}}_{11}}}&{...}&{{{\bf{A}}_{1N}}}\\
...

**7**

votes

**1**answer

467 views

### A spectral inequality for positive-definite matrices

Question. Given a positive-definite $n \times n$ matrix $A = (a_{ij})$ with eigenvalues
$$
\lambda_1 \leq \cdots \leq \lambda_n ,
$$
is there a sharp upper bound for the product $\lambda_2 \cdots ...

**0**

votes

**1**answer

348 views

### How to solve this optimization with the orthogonal constraint?

Problem
Supposing that $A$ is a symmetric real matrix and $\{\mathbf{w}\_i\}_{i=1}^n$ is any orthogonal basis on $\mathbb{R}^n$ such that $W^\top W=WW^\top=\mathbf{I}_n$ where ...

**11**

votes

**2**answers

514 views

### Quadratic Farkas' Lemma?

The Farkas Lemma says that if a system of linear inequalities implies
yet another linear inequality, then this last inequality can be obtained by
taking a positive linear combination of the ...

**1**

vote

**1**answer

133 views

### inequality for a symmetric nonnegative matrix

Given $A$ symmetric and semidefinite positive, for each $x$
$$ x'Ax \geq \frac{1}{\Vert A\Vert} \Vert Ax \Vert^2 $$
This inequality appears at page 24 of "Introduction to Optimization" from Boris T. ...

**2**

votes

**0**answers

279 views

### Does this inequality of negative relative entropy and quantum relative entropy hold?

Hello, everyone!
Question
I have a question about the relationship between general relative entropy and general quantum relative entropy: Given a unit vector $|i\rangle$ and two Hermitian matrices ...

**4**

votes

**1**answer

310 views

### Is it possible to extend this inequality about Euclidean distance &Frobenius norm to more general Bregman divergence such as relative entropy & von Neumann divergence?

Motivation- A Special Case
Supposing $A,B\in\mathbb{S}^{m\times m}$ are symmetric positive semi-definite (SPD) matrices and $\mathbf{x}\in\mathbb{R}^m$ is a unit vector where $\|\mathbf{x}\|=1$, we ...

**0**

votes

**1**answer

211 views

### Is there relationship between $f\left({\sum_i(\mathbf{v}_i^\top\mathbf{x})^2\lambda_i},\sum_j{(\mathbf{u}_j^\top\mathbf{x})^2\theta_j}\right)$ and $\sum_i\sum_j{(\mathbf{v}_i^\top\mathbf{u}_j)^2f(\lambda_i,\theta_j)}$ if $f$ is jointly convex?

Hello, everyone!
As we know that by Jensen's inequality, for jointly convex function $f$ and $\sum_ix_i^2=1$, we have
...

**1**

vote

**0**answers

168 views

### Given a jointly convex function $f$, what is the bound of $f\left(\sum_ip_i^2x_i,\sum_jq_j^2y_j\right)$if $\mathbf{p},\mathbf{q}$ are constrained in a manifold?

Suppose there is a jointly convex function $f:\mathbb{R}\times\mathbb{R}\rightarrow\mathbb{R}$, $\mathbf{x},\mathbf{y}\in\mathbb{R}^m$ and ...

**4**

votes

**1**answer

2k views

### Determinant of a sum of two matrices (one dominating the other)

Let $A$ and $B$ be two $n \times n$ real matrices such that:
$\forall i, j: a_{ij} \geq 0, b_{ij} \geq 0$
let $a_\max$ be the largest entry of $A$ and $b_\min$ be the smallest nonzero entry of $B$; ...

**3**

votes

**1**answer

699 views

### Ratio sum comparison on operators

It is known by the Lidskii inequality, that $\sum_{i=1}^n \left|s_i(S)-s_i(T)\right|\le\sum_{i=1}^n s_i(S+T)$,
where $s_i(S)$ is the $i$-th singular value of $S$.
How would one prove that
...

**1**

vote

**1**answer

462 views

### A question on gauge functions

In the second paragraph on Page 71 of the book Matrix Analysis by
Bhatia, 1997, it says ``as a consequence of (III.12) we have Theorem
III 4.4''. How can one get the inequality in Theorem III 4.4 from
...

**1**

vote

**1**answer

708 views

### On an eigenvalue inequality

Let $\lambda_1 (\cdot)$ be the larger absolute value
eigenvalue of a $2\times2$ matrix and $\lambda_2 (\cdot)$
the smaller absolute value eigenvalue of a $2\times2$ matrix, i.e.
$|\lambda_1 (\cdot)| ...

**-1**

votes

**1**answer

722 views

### On an eigenvalue inequality [closed]

Let $\lambda_1 (\cdot)$ be the larger absolute value
eigenvalue of a $2\times2$ matrix and $\lambda_2 (\cdot)$
the smaller absolute value eigenvalue of a $2\times2$ matrix, i.e.
$|\lambda_1 (\cdot)| ...

**4**

votes

**2**answers

1k views

### bounding the trace of a matrix product by the operator norms; generalized Hölder inequality?

Let $A_i$ with $i=1,\dots,N$ and $p$ be real $M\times M$ matrices.
Further, let $p$ be positive definite, i.e., $p\succ 0$, with $Tr(p)=1$. Let $0< a_i<1$ and $\sum_{i=1}^N a_i = 1$.
Claim:
...

**7**

votes

**1**answer

871 views

### Multilinear generalization of Cauchy-Schwarz inequality

Let $V$ be a real vector space, and let $(\cdot,\cdot;\cdot,\cdot) : V^4 \to \mathbb{R}$ be a multilinear form with the following properties:
$(x,y;z,w) = (y,x;z,w) = (x,y;w,z)$ (symmetry in the ...

**1**

vote

**1**answer

815 views

### Sufficient and necessary conditions on equality of Cauchy-Schwarz inequality of determinants

Cauchy-Schwarz inequality of determinants:
for $A_{n\times k}$, $B_{n\times k}$, and $B'B$ non-singular, we have
$|A'B|^2\leq |A'A||B'B|$
I was wondering what's the sufficient and necessary ...

**14**

votes

**6**answers

9k views

### Determinant of sum of positive definite matrices

Say $A$ and $B$ are symmetric, positive definite matrices.
I've proved that $\det(A+B) \ge \det(A) + \det(B)$ in the case that $A$ and $B$ are two dimensional.
Is this true in general for ...

**9**

votes

**2**answers

1k views

### Question on eigenvalue square root subadditivity

ORIGINAL QUESTION
Let $\lambda_{1}\left(\cdot\right)$ be the larger eigenvalue of a
$2\times2$ matrix and $\lambda_{2}\left(\cdot\right)$ the smaller
eigenvalue of a $2\times2$ matrix. Is it true ...

**3**

votes

**1**answer

785 views

### Cauchy-like inequality for Kronecker (tensor) product

General question first: upper/lower bound a sum of Kronecker products by its components. More specifically,
how is $$
\Vert\sum_{\alpha}S_{\alpha}\otimes B_{\alpha}\Vert$$
bounded by the operator ...

**2**

votes

**3**answers

670 views

### a “reverse Hadamard inequality”

Is there an inequality of the form $|\det(A)| \geq F(v_1, \ldots, v_n)$ for a real $n\times n$-matrix $A$ with columns $v_i$, $F \geq 0$?

**4**

votes

**3**answers

603 views

### Is the componentwise square-root of a positive-definite matrix also pos.-def.?

Let $A=(a_{ij}) \in \mathbb{R}^{n \times n}$ be a matrix with $a_{ij} = a_{ji} \geq 0$ and
$B=(b_{ij})$ with $b_{ij} = \sqrt{a_{ij}}$.
Is $B$ positive-definite whenever $A$ is?
In other words:
...

**3**

votes

**2**answers

760 views

### Tight bound for sum of entries of the inverse of a nonnegative matrix

While playing around with certain non-negative matrices, I got stuck at the following question.
Let $A$ be a strictly positive-definite $n \times n$ matrix ($n \ge 3$), with ones on the diagonal, and ...

**-1**

votes

**1**answer

407 views

### Little conjecture about sums of reciprocals

Given a finite list $x_i$ of $N$ positive reals, it seems that $\sum_{i=1}^N x_i = \sum_{i=1}^N x_i {}^{-1} \Rightarrow \sum_{i=1}^N x_i \geq N$. Can anyone give me a proof?

**0**

votes

**2**answers

547 views

### Linear algebra inequality

I'm wondering (hoping) if an inequality is true. Please can anyone help me?
Let $V$ be a complex vector space $dim_{\mathbb{C}}(V)=n$
with a hermitian scalar product $h$.
Let $v,a, b \in V$.
Is it ...