TheoremBase

Rank-One Lower Bound for the Inverse of a Positive Definite Matrix

Statement

Let k≥1k\ge1 be a natural number and let JJ be a positive definite real matrix with kk rows and kk columns. Throughout, Rk\mathbb{R}^{k} is Euclidean space, x⋅yx\cdot y denotes the dot product, AxAx the matrix-vector product, ABAB the matrix product and A⊤A^{\top} the transpose. For y∈Rky\in\mathbb{R}^{k} let y⊗yy\otimes y be the real matrix with kk rows and kk columns and entries (y⊗y)γδ=yγyδ(y\otimes y)_{\gamma\delta}=y^{\gamma}y^{\delta}, which is symmetric because yγyδ=yδyγy^{\gamma}y^{\delta}=y^{\delta}y^{\gamma}. By Invertibility of Symmetric Positive Definite Matrices the inverse J−1J^{-1} exists and is symmetric positive definite. Let z∈Rkz\in\mathbb{R}^{k} be nonzero.

Then the following hold.

1. (Positivity of the direction.) z⋅(Jz)>0z\cdot(Jz)>0.

2. (Scalar form.) For every x∈Rkx\in\mathbb{R}^{k},

(x⋅z)2 ≤ (z⋅(Jz)) (x⋅(J−1x)).(x\cdot z)^{2}\ \le\ \bigl(z\cdot(Jz)\bigr)\,\bigl(x\cdot(J^{-1}x)\bigr).

3. (Matrix form.) In the semidefinite order,

J−1 ⪰ 1z⋅(Jz) (z⊗z).J^{-1}\ \succeq\ \frac{1}{z\cdot(Jz)}\,(z\otimes z).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…