# Positive semidefinite cone

(Difference between revisions)
 Revision as of 21:51, 7 July 2011 (edit) (New page: ''"The cone of positive semidefinite matrices studied in this section is arguably the most important of all non-polyhedral cones whose facial structure we completely understand."''  <...)← Previous diff Current revision (22:56, 8 July 2011) (edit) (undo) (8 intermediate revisions not shown.) Line 2: Line 2: [[Image:psdcone.jpg|right|positive semidefinite cone is a circular cone in 3D]] [[Image:psdcone.jpg|right|positive semidefinite cone is a circular cone in 3D]] -
+ The set of all symmetric positive semidefinite matrices of particular dimension is called the positive semidefinite cone: - The set of all symmetric positive semidefinite matrices of particular dimension is called the positive semidefinite cone:
+ - It can be formed by intersection of an infinite number of halfspaces in the vectorized variable matrix from the figure,
+ It can be formed by intersection of an infinite number of halfspaces in the vectorized variable matrix - each halfspace having partial boundary containing the origin in an isomorphic subspace. Hence the positive semidefinite cone is convex. It is a unique immutable proper cone in the ambient space of symmetric matrices. + (as in figure), -
The positive definite (full-rank) matrices comprise the cone interior, while all singular positive semidefinite matrices (having at least one 0 eigenvalue) reside on the cone boundary.
+ each halfspace having partial boundary containing the origin in an isomorphic subspace. -
+ - The only symmetric positive semidefinite matrix having all zero eigenvalues resides at the origin. + Hence the positive semidefinite cone is convex. It is a unique immutable proper cone in the ambient space of symmetric matrices. -
In low dimension the positive semidefinite cone is a circular cone because there is an isometric isomorphism T relating matrix space to vector space: For a 2×2 symmetric matrix, T is obtained by scaling the ß coordinate by v2 (as in figure). This linear bijective transformation T preserves distance between two points in each respective space; i.e., ||x - y||F = ||Tx - Ty||2 (distance between matrices equals distance between vectorized matrices). In one dimension, the nonnegative ray is a circular cone. + -
[http://meboo.convexoptimization.com/access.html Read more]... + The positive definite (full-rank) matrices comprise the cone interior, while all singular positive semidefinite matrices (having at least one [itex]0[/itex] eigenvalue) reside on the cone boundary. + + The only symmetric positive semidefinite matrix having all [itex]0[/itex] eigenvalues resides at the origin. + + In low dimension, the positive semidefinite cone is shown to be a circular cone by way of an isometric isomorphism [itex]T[/itex] relating matrix space to vector space: +
+
• For a 2×2 symmetric matrix, [itex]T[/itex] is obtained by scaling the ß coordinate by √2 (as in figure). This linear bijective transformation [itex]T[/itex] preserves distance between two points in each respective space; i.e., ||[itex]x - y[/itex]||F = ||[itex]Tx - Ty[/itex]||2 + (distance between matrices [itex]=[/itex] distance between vectorized matrices). +
• In one dimension, 1×1 symmetric matrices, the nonnegative ray is a circular cone. +

## Current revision

"The cone of positive semidefinite matrices studied in this section is arguably the most important of all non-polyhedral cones whose facial structure we completely understand."  $LaTeX: -$Alexander Barvinok

The set of all symmetric positive semidefinite matrices of particular dimension is called the positive semidefinite cone:

It can be formed by intersection of an infinite number of halfspaces in the vectorized variable matrix (as in figure), each halfspace having partial boundary containing the origin in an isomorphic subspace.

Hence the positive semidefinite cone is convex. It is a unique immutable proper cone in the ambient space of symmetric matrices.

The positive definite (full-rank) matrices comprise the cone interior, while all singular positive semidefinite matrices (having at least one $LaTeX: 0$ eigenvalue) reside on the cone boundary.

The only symmetric positive semidefinite matrix having all $LaTeX: 0$ eigenvalues resides at the origin.

In low dimension, the positive semidefinite cone is shown to be a circular cone by way of an isometric isomorphism $LaTeX: T$ relating matrix space to vector space:

• For a 2×2 symmetric matrix, $LaTeX: T$ is obtained by scaling the ß coordinate by √2 (as in figure). This linear bijective transformation $LaTeX: T$ preserves distance between two points in each respective space; i.e., ||$LaTeX: x - y$||F = ||$LaTeX: Tx - Ty$||2 (distance between matrices $LaTeX: =$ distance between vectorized matrices).
• In one dimension, 1×1 symmetric matrices, the nonnegative ray is a circular cone.