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.

Computable bounds for the reach and $r$-convexity of subsets of $\mathbb{R}^d$

Computable Bounds for the Reach and r-Convexity of Subsets of

Convex polytopes in restricted point sets in $\mathbb{R}^d$

Bounds for the Regularity Radius of Delone Sets

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

A quantitative version of the Steinhaus theorem

Strong Convexity of Sets in Riemannian Manifolds

Uniform bounds for convolution and restricted X-ray transforms along degenerate curves

Reducing the Large Set Threshold for the Basu-Oertel Conjecture

Reverse Euclidean and Gaussian isoperimetric inequalities for parallel sets with applications

On the convex components of a set in $\mathbb{R}^n$

Bounds on Hilbert functions with application to convexity

Free Descriptions of Convex Sets

Evasive Sets, Covering by Subspaces, and Point-Hyperplane Incidences

A sharp quantitative estimate of critical sets

Two bounds for the x-ray transform

Quantitative Steinitz Theorem: A polynomial bound

Lower Bounds for Convexity Testing

Convexity, Elementary Methods, and Distances

A discretized point-hyperplane incidence bound in $\mathbb{R}^d$