Abstract:Convex sets arising in a variety of applications are well-defined for every relevant dimension. Examples include the simplex and the spectraplex that correspond to probability distributions and to quantum states; combinatorial polytopes and their relaxations such as the cut polytope and the elliptope in integer programming; and unit balls of regularizers such as the $\ell_p$ and Schatten norms in inverse problems. Moreover, these sets are often specified using conic descriptions that can be obviously instantiated in any dimension. We develop a systematic framework to study such free descriptions of convex sets. We show that free descriptions arise from a recently-identified phenomenon in algebraic topology called representation stability, which relates invariants across dimensions in a sequence of group representations. Our framework yields structural results for free descriptions pertaining to the relations between the sets they describe across dimensions, extendability of a single set in a given dimension to a freely-described sequence, and continuous limits of such sequences. We also develop a procedure to obtain parametric families of freely-described convex sets whose structure is adapted to a given application; illustrations are provided via examples that arise in the literature as well as new families that are derived using our procedure. We demonstrate the utility of our framework in two contexts. First, we develop an algorithm for a free analog of the convex regression problem, where a convex function is fit to input-output data; by searching over our parametric families, we can fit a function to low-dimensional inputs and extend it to any other dimension. Second, we prove that many sequences of symmetric conic programs can be solved in constant time, which unifies and strengthens several results in the literature.

Visible Points in Convex Sets and Best Approximation

Convex hull properties and algorithms

On Best Approximation by Nonconvex Sets and Perturbation of Nonconvex Inequality Systems in Hilbert Spaces.

On Well Posed Generalized Best Approximation Problems

On Well Posedness of Best Simultaneous Approximation Problems in Banach Spaces

Nearest and Farthest Points in Spaces of Curvature Bounded Below

On mutually nearest and mutually furthest points in reflexive Banach spaces

ON ALMOST WELL-POSED MUTUALLY NEAREST AND MUTUALLY FURTHEST POINT PROBLEMS

The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets

Convexity of Generalized Proximinal Sets in Banach Spaces

Generalized Derivatives of Distance Functions and the Existence of Nearest Points

On Best Simultaneous Approximation

On best restricted range approximation in continuouscomplex-valued function spaces

An extension of the proximal point algorithm beyond convexity

On Best Approximations from RS –sets in Complex Banach Spaces

Approximations of unbounded convex projections and unbounded convex sets

The best approximation pair problem relative to two subsets in a normed space

Free Descriptions of Convex Sets

Convex Sequence and Convex Polygon

Visible points, the separation problem, and applications to MINLP