Is My SDP Formulation to Minimize trace((G^TG)^-1) Correct?

  • Context: Graduate 
  • Thread starter Thread starter perplexabot
  • Start date Start date
  • Tags Tags
    Optimization
Click For Summary
SUMMARY

The objective function for minimizing trace((GTG)-1) using CVX is correctly formulated through the Schur complement method. The formulation involves introducing auxiliary variables t, G, X, and Z, with constraints ensuring that t is greater than or equal to trace((GTG)-1) and that specific matrix inequalities are satisfied. The discussion confirms the validity of this approach for optimization problems involving matrix inverses.

PREREQUISITES
  • Understanding of convex optimization principles
  • Familiarity with CVX (version used not specified)
  • Knowledge of Schur complement and its applications
  • Basic linear algebra, particularly matrix operations and properties
NEXT STEPS
  • Study the implementation of CVX for convex optimization problems
  • Learn about the Schur complement and its role in matrix inequalities
  • Explore advanced topics in matrix calculus related to optimization
  • Investigate other optimization techniques for minimizing trace functions
USEFUL FOR

Researchers, mathematicians, and engineers involved in optimization, particularly those working with convex problems and matrix analysis.

perplexabot
Gold Member
Messages
328
Reaction score
5
Hey all. Let me get right to it!

I have the following objective function: \mathbf{minimize} \ \ trace((G^TG)^{-1})
I am trying to minimize it with CVX.

I used schur complement to do the following:
<br /> \begin{equation*}<br /> \begin{aligned}<br /> &amp; \underset{G}{\text{minimize}}<br /> &amp; &amp; \mathrm{trace}((G^TG)^{-1}) \\<br /> \end{aligned}<br /> \end{equation*}<br />
which is equivalent to
<br /> \begin{equation*}<br /> \begin{aligned}<br /> &amp; \underset{t, G}{\text{minimize}}<br /> &amp; &amp; \mathrm{t} \\<br /> &amp; \text{subject to}<br /> &amp;&amp; t \geq\mathrm{trace}((G^TG)^{-1})<br /> \end{aligned}<br /> \end{equation*}<br />
which is equivalent to
<br /> \begin{equation*}<br /> \begin{aligned}<br /> &amp; \underset{t, G, X, Z}{\text{minimize}}<br /> &amp; &amp; \mathrm{t} \\<br /> &amp; \text{subject to}<br /> &amp;&amp; t \geq\mathrm{trace}(Z) \\<br /> &amp;&amp;&amp;\begin{bmatrix} X &amp; G^T \\G &amp; I \end{bmatrix} \succeq 0 \qquad \\<br /> &amp;&amp;&amp;\begin{bmatrix} Z &amp; I \\ I &amp; X \end{bmatrix} \succeq 0 \qquad<br /> \end{aligned}<br /> \end{equation*}<br />

Those two matrices introduced by schur complement achieve the following two inequalities: X \geq G^TG and Z \geq X^{-1}

My question is, is this formulation correct?

Here are some links that may be worth the read if you are interested:
The work I did is based on the following similar example.
I have had some help at the official cvx forums.

Thank you for reading : ) Any comments, pointers or advice is much appreciated!

EDIT: Apologies if this is in the wrong category.
 
Last edited:

Similar threads

  • · Replies 16 ·
Replies
16
Views
2K
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K