I came across the following: $$\begin{bmatrix} -x^TAx-2b^Tx+c &-(Ax+b)^TR\\ -R(Ax+b) & \lambda I -RAR \end{bmatrix}\geq0 \iff \begin{bmatrix} b^TA^{-1}b+c & 0 &(x+A^{-1}b)^T\\ 0 & \lambda I &R\\ (x+A^{-1}b) & R &A^{-1} \end{bmatrix}\geq0$$ where $A\in\mathbb{S}^n_+$ is a positive semidefinite matrix, and R can be either a symmetric matrix or a scalar. This is not obvious to me. Can someone kindly teach me how is this equivalent?
2026-03-25 15:42:26.1774453346
The equivalence of a 2 by 2 positive semidefinite matrix and a 3 by 3 positive semidefinite matrix?
38 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in LINEAR-ALGEBRA
- An underdetermined system derived for rotated coordinate system
- How to prove the following equality with matrix norm?
- Alternate basis for a subspace of $\mathcal P_3(\mathbb R)$?
- Why the derivative of $T(\gamma(s))$ is $T$ if this composition is not a linear transformation?
- Why is necessary ask $F$ to be infinite in order to obtain: $ f(v)=0$ for all $ f\in V^* \implies v=0 $
- I don't understand this $\left(\left[T\right]^B_C\right)^{-1}=\left[T^{-1}\right]^C_B$
- Summation in subsets
- $C=AB-BA$. If $CA=AC$, then $C$ is not invertible.
- Basis of span in $R^4$
- Prove if A is regular skew symmetric, I+A is regular (with obstacles)
Related Questions in POSITIVE-SEMIDEFINITE
- Minimization of a convex quadratic form
- set of positive definite matrices are the interior of set of positive semidefinite matrices
- How to solve for $L$ in $X = LL^T$?
- How the principal submatrix of a PSD matrix could be positive definite?
- Hadamard product of a positive semidefinite matrix with a negative definite matrix
- The square root of a positive semidefinite matrix
- Optimization of the sum of a convex and a non-convex function?
- Proving that a particular set is full dimensional.
- Finding bounds for a subset of the positive semidefinite cone
- Showing a matrix is positive (semi) definite
Related Questions in SEMIDEFINITE-PROGRAMMING
- Transform LMI problem into different SDP form
- Can every semidefinite program be solved in polynomial time?
- In semidefinite programming we don't have a full dimensional convex set to use ellipsoid method
- Transforming a nearest matrix optimization problem to a standard form
- Proving that a particular set is full dimensional.
- Finding bounds for a subset of the positive semidefinite cone
- SOCP to SDP — geometry and intuition
- Why is the feasible set of solutions to an SDP a spectrahedron?
- Conversion of convex QCQP to standard form SDP
- Dual of semidefinite program (SDP)
Related Questions in LINEAR-MATRIX-INEQUALITY
- Transform LMI problem into different SDP form
- Can a linear matrix inequality constraint transform to second-order cone constraint(s)?
- Comparing positive definite matrices and their inverses
- Show LMI $F(x)\succ0$ is feasible if and only if the LMI $F(x) \succeq I_{n \times n}$ is feasible
- Showing a matrix inequality
- Conversion of convex QCQP to standard form SDP
- How is this a linear matrix inequality?
- Transforming matrix inequality into LMI
- Every convex polyhedron is a spectrahedron
- Boyd & Vandenberghe, example 3.4 — question on Schur complements and LMIs
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
This is not a final answer, but the work may be useful regardless. I'll denote the matrices as $M_2,M_3$ respectively. Then the Schur complement of the diagonal element $A^{-1}$ in $M_3$ is given by
\begin{align} M_3\setminus A^{-1}&= \begin{bmatrix} -b^\top A^{-1}b+c & 0\\ 0 & \lambda I\end{bmatrix}-\begin{bmatrix} (x+A^{-1}b)^T \\ R\end{bmatrix}A\begin{bmatrix} x+A^{-1}b & R\end{bmatrix}\\ &=\begin{bmatrix} -b^\top A^{-1}b+c & 0\\ 0 & \lambda I\end{bmatrix} -\begin{bmatrix}(x+A^{-1}b)^T A(x+A^{-1}b) & (x+A^{-1}b)^TAR\\ RA (x+A^{-1}b) & RAR \end{bmatrix}\\ &=\begin{bmatrix} -b^\top A^{-1}b+c-(x^\top Ax +2b^\top x+b^\top A^{-1}b) & -(Ax +b)^TR\\ -R(Ax+b) & \lambda I-RAR\end{bmatrix} \end{align}
This is altogether close to $$M_2=\begin{bmatrix} x^TAx+2b^Tx+c &(Ax+b)^TR\\ R(Ax+b) & \lambda I -RAR \end{bmatrix}.$$
But it isn't identical. One obvious difference is the sign of $R(Ax+b)$ in the corners. However, this may not be a big difference in context: If you're maximizing some $f(R)$ subject to $M_2\geq 0$, then relabeling $R\to -R$ isn't an issue. The more concerning problem is that the upper-left corner doesn't simplify the way one would want. For it to do so, one would first need to have $b^T A^{-1}b$ in the initial statement of $M_3$. But that would still only simplify to $$b^\top A^{-1}b+c-(x^T Ax +2b^\top x+b^\top A^{-1}b)=-x^T Ax-2b^T x+c$$ which is similar but not identical to the upper-left element of $M_2$.