论文标题
提起简单:凸集的简明描述
Lifting for Simplicity: Concise Descriptions of Convex Sets
论文作者
论文摘要
本文通过凸套装的升降机的理论和应用介绍了选定的巡回演出。凸组的升降是一个高维凸组,该凸组投影到原始套件上。许多凸套装的升降机比原始集合更简单地描述。找到这样的简单升降机具有显着的算法含义,尤其是用于优化问题。我们考虑了由线性不平等所描述的多面体升降机的经典案例,以及线性基质不平等所定义的光谱升降机,重点是与谱系升降机相关的最新发展。 考虑到凸组,理想情况下,我们想找到(低复杂性)多面体或光谱面向升降机,或者找到阻塞,证明没有这种升力是不可能的。为此,我们解释了凸集集合的升力的存在与其相关松弛操作员的某些结构化因素之间的联系。基于这种特征,我们通过广场总和来描述一种统一的方法,用于构建凸组集合的频谱升降机,并在几个示例家族中说明了该方法。最后,我们讨论了对升力的存在的两种口味:一种与面部结构有关,另一个与所讨论的集合的代数性质有关。 我们的目的不是详尽,而是说明该地区的丰富性。我们谈到了与升降机的存在有关的一系列不同的主题,并提供了许多来自不同数学领域及其应用领域的升降机的例子。
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 spectrahedral lifts, defined by linear matrix inequalities, with a focus on recent developments related to spectrahedral lifts. Given a convex set, ideally we would either like to 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.