How can I show that K is positive-definite?

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving that the matrix \( K = H - \frac{1}{d}uu^{T} \) is positive-definite within the context of the Cholesky decomposition. The participants establish that the matrix \( P = \begin{bmatrix} \sqrt{d} & 0 \\ \frac{u}{\sqrt{d}} & I_{n-1} \end{bmatrix} \) is invertible, leading to the conclusion that since \( A = P \begin{bmatrix} 1 & 0 \\ 0 & K \end{bmatrix} P^* \) is positive definite, \( K \) must also be positive definite as it is a submatrix of a positive definite matrix.

PREREQUISITES
  • Understanding of Cholesky decomposition
  • Familiarity with matrix notation and operations
  • Knowledge of positive-definite matrices
  • Basic linear algebra concepts, including determinants and matrix inverses
NEXT STEPS
  • Study the properties of positive-definite matrices
  • Learn about the Cholesky decomposition and its applications
  • Explore matrix factorization techniques
  • Investigate the implications of matrix invertibility in linear algebra
USEFUL FOR

Mathematicians, data scientists, and engineers who work with linear algebra, particularly those involved in optimization problems and numerical methods requiring matrix decompositions.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hi! :)

I have also an other question about the proof of the Cholesky decomposition.
We write A like that:
$A=\begin{bmatrix}
d & u^{T}\\
u & H
\end{bmatrix}=\begin{bmatrix}
\sqrt d & 0\\
\frac{u}{\sqrt d} & I_{n-1}
\end{bmatrix}\begin{bmatrix}
1 & 0\\
0 & K
\end{bmatrix}\begin{bmatrix}
\sqrt d & \frac{u^{T}}{\sqrt{d}}\\
0 & I_{n-1}
\end{bmatrix}$

where $K=H-\frac{1}{d}uu^{T}$

and then we suppose that $K$ is symmetric and positive-definite,to use the assumption step(that is valid for $(n-1)x(n-1)$ symmetric and positive-definite matrices.
But...then I have to prove that $K$ is positive-definite.How can I do this?
 
Physics news on Phys.org
evinda said:
Hi! :)

I have also an other question about the proof of the Cholesky decomposition.
We write A like that:
$A=\begin{bmatrix}
d & u^{T}\\
u & H
\end{bmatrix}=\begin{bmatrix}
\sqrt d & 0\\
\frac{u}{\sqrt d} & I_{n-1}
\end{bmatrix}\begin{bmatrix}
1 & 0\\
0 & K
\end{bmatrix}\begin{bmatrix}
\sqrt d & \frac{u^{T}}{\sqrt{d}}\\
0 & I_{n-1}
\end{bmatrix}$

where $K=H-\frac{1}{d}uu^{T}$

and then we suppose that $K$ is symmetric and positive-definite,to use the assumption step(that is valid for $(n-1)x(n-1)$ symmetric and positive-definite matrices.
But...then I have to prove that $K$ is positive-definite.How can I do this?

Do I have to use the condition $x^{T}Ax>0$ ?
 
evinda said:
Hi! :)

I have also an other question about the proof of the Cholesky decomposition.
We write A like that:
$A=\begin{bmatrix}
d & u^{T}\\
u & H
\end{bmatrix}=\begin{bmatrix}
\sqrt d & 0\\
\frac{u}{\sqrt d} & I_{n-1}
\end{bmatrix}\begin{bmatrix}
1 & 0\\
0 & K
\end{bmatrix}\begin{bmatrix}
\sqrt d & \frac{u^{T}}{\sqrt{d}}\\
0 & I_{n-1}
\end{bmatrix}$

where $K=H-\frac{1}{d}uu^{T}$

and then we suppose that $K$ is symmetric and positive-definite,to use the assumption step(that is valid for $(n-1)x(n-1)$ symmetric and positive-definite matrices.
But...then I have to prove that $K$ is positive-definite.How can I do this?
The matrix $P = \begin{bmatrix} \sqrt d & 0\\ \frac1{\sqrt d}u & I_{n-1} \end{bmatrix}$ is invertible, because its determinant is the product of its diagonal entries, namely $\sqrt d.$ But $A = P \begin{bmatrix} 1 & 0\\ 0 & K \end{bmatrix}P^*,$ and $A$ is positive definite. Therefore $\begin{bmatrix} 1 & 0\\ 0 & K \end{bmatrix} = P^{-1}A(P^{-1})^*$ is positive definite. Hence $K$, which is a corner of that matrix, is also positive definite.
 

Similar threads

  • · Replies 33 ·
2
Replies
33
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 34 ·
2
Replies
34
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
8
Views
2K