A Triangle Algorithm for Semidefinite Version of Convex Hull Membership Problem
Abstract
Given a subset $\mathbf{S}=\{A_1, \dots, A_m\}$ of $\mathbb{S}^n$, the set of $n \times n$ real symmetric matrices, we define its {\it spectrahull} as the set $SH(\mathbf{S}) = \{p(X) \equiv (Tr(A_1 X), \dots, Tr(A_m X))^T : X \in \mathbf{\Delta}_n\}$, where ${\bf \Delta}_n$ is the {\it spectraplex}, $\{ X \in \mathbb{S}^n : Tr(X)=1, X \succeq 0 \}$. We let {\it spectrahull membership} (SHM) to be the problem of testing if a given $b \in \mathbb{R}^m$ lies in $SH(\mathbf{S})$. On the one hand when $A_i$'s are diagonal matrices, SHM reduces to the {\it convex hull membership} (CHM), a fundamental problem in LP. On the other hand, a bounded SDP feasibility is reducible to SHM. By building on the {\it Triangle Algorithm} (TA) \cite{kalchar,kalsep}, developed for CHM and its generalization, we design a TA for SHM, where given $\varepsilon$, in $O(1/\varepsilon^2)$ iterations it either computes a hyperplane separating $b$ from $SH(\mathbf{S})$, or $X_\varepsilon \in \mathbf{\Delta}_n$ such that $\Vert p(X_\varepsilon) - b \Vert \leq \varepsilon R$, $R$ maximum error over $\mathbf{\Delta}_n$. Under certain conditions iteration complexity improves to $O(1/\varepsilon)$ or even $O(\ln 1/\varepsilon)$. The worst-case complexity of each iteration is $O(mn^2)$, plus testing the existence of a pivot, shown to be equivalent to estimating the least eigenvalue of a symmetric matrix. This together with a semidefinite version of Carathéodory theorem allow implementing TA as if solving a CHM, resorting to the {\it power method} only as needed, thereby improving the complexity of iterations. The proposed Triangle Algorithm for SHM is simple, practical and applicable to general SDP feasibility and optimization. Also, it extends to a spectral analogue of SVM for separation of two spectrahulls.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2019
- DOI:
- 10.48550/arXiv.1904.09854
- arXiv:
- arXiv:1904.09854
- Bibcode:
- 2019arXiv190409854K
- Keywords:
-
- Mathematics - Optimization and Control;
- Computer Science - Computational Complexity;
- 90C05;
- 90C22;
- 90C25;
- 90C27;
- 68W25;
- 52A20;
- 32C37;
- F.2.1;
- G.1.0;
- G.1.6
- E-Print:
- 18 pages