TY - JOUR
T1 - Lifting for simplicity
T2 - concise descriptions of convex sets
AU - Fawzi, Hamza
AU - Gouveia, Joao
AU - Parrilo, Pablo A.
AU - Saunderson, James
AU - Thomas, Rekha R.
N1 - Funding Information:
\ast Received by the editors March 11, 2020; accepted for publication (in revised form) November 17, 2021; published electronically November 3, 2022. https://doi.org/10.1137/20M1324417 Funding: The work of the second author was partially supported by the Centre for Mathematics of the University of Coimbra through grant UIDB/00324/2020, funded by the Portuguese Government through FCT/MCTES. The work of the third author was partially supported by the National Science Foundation (NSF) through grant CCF-1565235. The work of the fourth author was partially supported by an Australian Research Council Discovery Early Career Researcher Award (project DE210101056). The work of the fifth author was partially supported by NSF grant DMS-1719538. \dagger Department of Applied Mathematics and Theoretical Physics, University of Cambridge, Cambridge, CB3 0WA, United Kingdom ([email protected]). \ddagger CMUC, Department of Mathematics, University of Coimbra, 3000-501 Coimbra, Portugal ([email protected]). \S Laboratory for Information and Decision Systems (LIDS), Massachusetts Institute of Technology, Cambridge, MA 02139 USA ([email protected]). \P Department of Electrical and Computer Systems Engineering, Monash University, VIC 3800, Australia ([email protected]). \| Department of Mathematics, University of Washington, Seattle, WA 98195-4350 USA ([email protected]).
Publisher Copyright:
© 2022 Society for Industrial and Applied Mathematics Publications. All rights reserved.
PY - 2022
Y1 - 2022
N2 - This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are dramatically simpler to describe than the original set. Finding such simple lifts has significant algorithmic implications, particularly for optimization problems. We consider both the classical case of polyhedral lifts, described by linear inequalities, as well as that of spectrahedral lifts, defined by linear matrix inequalities, with a focus on recent developments related to spectrahedral lifts. Given a convex set, ideally we would like to either find a (low-complexity) polyhedral or spectrahedral lift or find an obstruction proving that no such lift is possible. To this end, we explain the connection between the existence of lifts of a convex set and certain structured factorizations of its associated slack operator. Based on this characterization, we describe a uniform approach, via sums of squares, to the construction of spectrahedral lifts of convex sets and illustrate the method on several families of examples. Finally, we discuss two flavors of obstruction to the existence of lifts: one related to facial structure, and the other related to algebraic properties of the set in question. Rather than being exhaustive, our aim is to illustrate the richness of the area. We touch on a range of different topics related to the existence of lifts and present many examples of lifts from different areas of mathematics and its applications.
AB - This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are dramatically simpler to describe than the original set. Finding such simple lifts has significant algorithmic implications, particularly for optimization problems. We consider both the classical case of polyhedral lifts, described by linear inequalities, as well as that of spectrahedral lifts, defined by linear matrix inequalities, with a focus on recent developments related to spectrahedral lifts. Given a convex set, ideally we would like to either find a (low-complexity) polyhedral or spectrahedral lift or find an obstruction proving that no such lift is possible. To this end, we explain the connection between the existence of lifts of a convex set and certain structured factorizations of its associated slack operator. Based on this characterization, we describe a uniform approach, via sums of squares, to the construction of spectrahedral lifts of convex sets and illustrate the method on several families of examples. Finally, we discuss two flavors of obstruction to the existence of lifts: one related to facial structure, and the other related to algebraic properties of the set in question. Rather than being exhaustive, our aim is to illustrate the richness of the area. We touch on a range of different topics related to the existence of lifts and present many examples of lifts from different areas of mathematics and its applications.
KW - cone factorization
KW - convex sets
KW - polyhedral lifts
KW - positive semidefinite cone
KW - slack operator
KW - spectrahedral lifts
UR - https://www.scopus.com/pages/publications/85145021151
U2 - 10.1137/20M1324417
DO - 10.1137/20M1324417
M3 - Article
AN - SCOPUS:85145021151
SN - 0036-1445
VL - 64
SP - 866
EP - 918
JO - SIAM Review
JF - SIAM Review
IS - 4
ER -