Dual certificates of primal cone membership
We discuss optimization problems over convex cones in which membership is difficult to verify directly. In the standard theory of duality, vectors in the dual cone \(K^*\) are associated with separating hyperplanes and interpreted as certificates of non-membership in the primal cone \(K\). Complementing this perspective, we develop easily verifiable certificates of membership in \(K\) … Read more