10
votes
1answer
209 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
3answers
536 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
1answer
140 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
1answer
423 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
1answer
260 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
2answers
499 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
1answer
125 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
0answers
264 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
1answer
300 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 ...
1
vote
0answers
166 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
1answer
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
1answer
694 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
1answer
445 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
1answer
694 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
1answer
718 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
2answers
984 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
1answer
843 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
1answer
779 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 ...
11
votes
5answers
8k 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
2answers
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
1answer
733 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
3answers
665 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
3answers
589 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
2answers
713 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
1answer
404 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
2answers
545 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 ...