Intereting Posts

On which structures does the free group 'naturally' act?
Proof of lack of pure prime producing polynomials.
Irreducible polynomials over the reals
Why should the substitution be injective when integrating by substitution?
finding if two binary quadratic forms represent the same integers
How do the separation axioms follow from the replacement axioms?
When is a tensor product of two commutative rings noetherian?
Do all manifolds have a densely defined chart?
Set of zeroes of the derivative of a pathological function
Weak convergence in $L^{2}(0,T;H^{-1}(\Omega))$
Sum of Bernoulli random variables with different success probabilities
Proof explanation of Stone-Weierstrass theorem
The link between vectors spaces ($L^2(-\pi, \pi$) and fourier series
If $v$ is algebraic over $K(u)$, for some $u\in F$, and $v $ is transcendental over $K$, then $u$ is algebraic over $K(v)$
Computing $\sum _{k=1}^{\infty } \frac{\Gamma \left(\frac{k}{2}+1\right)}{k^2 \Gamma \left(\frac{k}{2}+\frac{3}{2}\right)}$ in closed form

The positive semidefinite cone is generated by all rank one matrices $xx^T$ . They form the extreme raysof the cone. The positive definite matrices lie in the interior of the cone. The positive semidefinite matrices

with at least one eigenvalue zero are on the boundary.

I am unable to justify why above statements are true. Please give some hints.

- Clarification on optimization problem
- Subderivative of $ ||Au||_{L^{\infty}} $ to compute proximal operator
- Minimizing $\sum_{i=1}^n \max(|x_i - x|, |y_i - y|)$ - Sum of Max of Absolute Values
- Simple resource for Lagrangian constrained optimization?
- Optimising $x_1x_2+x_2x_3+\cdots+x_nx_1$ given certain constraints
- Linearization of a product of two decision variables

- Martingale formulation of Bellman's Optimality Principle
- Maximizing a linear function over an ellipsoid
- AM-GM-HM Triplets
- Proving the regular n-gon maximizes area for fixed perimeter.
- Why does finding the $x$ that maximizes $\ln(f(x))$ is the same as finding the $x$ that maximizes $f(x)$?
- Optimum solution to a Linear programming problem
- What is the difference between projected gradient descent and ordinary gradient descent?
- If a nonnegative function of $x_1,\dots,x_n$ can be written as $\sum g_k(x_k)$, then the summands can be taken nonnegative
- Maximizing volume of a rectangular solid, given surface area
- Maximizing $\frac{x(1-f(x))}{3-f(x)}$

$C=\{xx^\top:x\in\mathbb{R}^n\}$ is a cone, because for any $c\in\mathbb{R}^+$ we have $$cxx^\top=(\sqrt{c}x)(\sqrt{c}x)^\top\in C.$$ Also observe that $-cxx^\top\not\in C$, since $\sqrt{-c}\not\in\mathbb{R}$. And $C$ is a pointed cone since $x=0\Rightarrow 0\in C$. (These aren’t necessary, only facts about the cone.)

$xx^\top$ is rank one because each row is a scalar multiple of any other (nonzero) row. (Similarly for columns.)

$xx^\top$ is positive semi-definite for any $x\in\mathbb{R}^n$ because for any $y\in\mathbb{R}^n$ you have $$y^\top xx^\top y=(y^\top x)(y^\top x)^\top=\left(\sum_{k=1}^n y_k x_k\right)^2 \ge 0.$$

For some $xx^\top$ pick any nonzero $y$ such that $y^\top xx^\top y=0$, and any small positive definite matrix $M$. Then $$y^\top(xx^\top+M)y=y^\top xx^\top y+y^\top My=y^\top My>0.$$ Hence also $y^\top (xx^\top-M) y<0$, and $xx^\top-M$ is not positive semidefinite. This shows that $xx^\top$ is on the boundary.

Use the same argument for PSD matrices with one zero eigenvector. (When $M$ has a zero eigenvalue there is always a nonzero $y$ such that $y^\top M y=0$.)

We have that the space is convex: for any two $x_0,x_1\in\mathbb{R}^n$ and $0\le \lambda\le 1$ we know $$y^\top \big(\lambda x_0x_0^\top + (1-\lambda)x_1x_1^\top\big) y = \lambda y^\top x_0x_0^\top y + (1-\lambda) y^\top x_1x_1^\top y \ge 0.$$

Now you need to show how you can create an affine combination of matrices in the form $xx^\top$ to create any positive definite matrix: this will show they are all in the interior.

- $\frac{1}{{1 + {\left\| A \right\|} }} \le {\left\| {{{(I – A)}^{ – 1}}} \right\|}$
- An example of a function uniformly continuous on $\mathbb{R}$ but not Lipschitz continuous
- How to show that $\lim_{n\to \infty} f_n(x) = 0$.
- What comes after $\cos(\tfrac{2\pi}{7})^{1/3}+\cos(\tfrac{4\pi}{7})^{1/3}+\cos(\tfrac{6\pi}{7})^{1/3}$?
- Nearly, but not almost, continuous
- Minimum Sum that cannot be obtained from the 1…n with some missing numbers
- Complex Fourier series
- How to prove Cauchy-Schwarz integral inequality?
- How does a Class group measure the failure of Unique factorization?
- Image of ring homomorphism $\phi : \mathbb{Z} \to \mathbb{Q}$?
- Limit of measurable functions is measurable?
- Square of a second derivative is the fourth derivative
- Contest problem about convergent series
- Every ideal of $K$ has $\leq n$ generators?
- Elementary set theory homework proofs