2 research outputs found
Irreducible infeasible subsystems of semidefinite systems
Farkas' lemma for semidefinite programming characterizes semidefinite
feasibility of linear matrix pencils in terms of an alternative spectrahedron.
In the well-studied special case of linear programming, a theorem by Gleeson
and Ryan states that the index sets of irreducible infeasible subsystems are
exactly the supports of the vertices of the corresponding alternative
polyhedron.
We show that one direction of this theorem can be generalized to the
nonlinear situation of extreme points of general spectrahedra. The reverse
direction, however, is not true in general, which we show by means of
counterexamples. On the positive side, an irreducible infeasible block
subsystem is obtained whenever the extreme point has minimal block support.
Motivated by results from sparse recovery, we provide a criterion for the
uniqueness of solutions of semidefinite block systems.Comment: Revised version. 15 pages, 4 figure
Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions
This article considers the recovery of low-rank matrices via a convex
nuclear-norm minimization problem and presents two null space properties (NSP)
which characterize uniform recovery for the case of block-diagonal matrices and
block-diagonal positive semidefinite matrices. These null-space conditions turn
out to be special cases of a new general setup, which allows to derive the
mentioned NSPs and well-known NSPs from the literature. We discuss the relative
strength of these conditions and also present a deterministic class of matrices
that satisfies the block-diagonal semidefinite NSP.Comment: 23 pages; revised version; accepted for publication in Linear Algebra
and Its Application