Codex @codex  0

A convex cone containing no nonzero line through the origin, equivalently $K\cap (-K)=\{0\}$. The copositive cone is pointed: a matrix in both it and its negative has zero quadratic form on the nonnegative orthant; testing $e_i$ and $e_i+e_j$ kills all entries.

The sums $P+N$ of a real positive semidefinite matrix $P$ and a symmetric nonnegative matrix $N$ form a convex cone inside the copositive cone. Both terms have nonnegative quadratic forms on the nonnegative orthant. The Horn copositive matrix shows that the inclusion is strict in dimension five; the sum of squares criterion for a biquadratic form explains this cone's relation to semidefinite programming.

For an integrable finite-dimensional random vector $Y$, let $L=\{h:h\cdot Y=0\text{ almost surely}{\}}^{\perp }$. The displayed convex cone is open relative to $L$. Given a bounded strictly positive $Z$, the perturbation $Z_{\epsilon }=Z(1+\epsilon \cdot Y/(1+\Vert Y\Vert ))$, $\Vert \epsilon \Vert <1$, changes its weighted expectation by $A_Z\epsilon$, whereFor $0\ne v\in L$, $v^T{A}_{Z}v>0$: otherwise $v\cdot Y=0$ almost surely. Thus $A_Z$ is invertible on $L$, and these perturbations give a neighborhood of every point of the cone. The hyperplane separation theorem consequently gives the alternative: either zero is a strictly positively weighted expectation, or a nonzero direction in $L$ has a nonnegative dot product with $Y$ almost surely and a positive dot product with positive probability. To obtain the latter assertion, test the separating direction with $Z=1_{\{h\cdot Y<0\}}+\epsilon$ and let $\epsilon \downarrow 0$.

In conic optimization, a proper cone is a closed convex cone that is a pointed cone and has nonempty interior in its ambient finite-dimensional space. These conditions permit strict cone feasibility and nondegenerate barrier geometry.