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.

Characterization of symmetric polyconvexity in higher dimensions

Characterization of polyconvex isotropic functions

Symmetry & Critical Points for Symmetric Tensor Decomposition Problems

Positive definiteness of fourth order three dimensional symmetric tensors

Non-hyperbolic Closed Characteristics on Symmetric Compact Convex Hypersurfaces in R2n

Convex Ternary Quartics Are SOS-Convex

Copositivity criteria of a class of fourth order 3-dimensional symmetric tensors

On certain extremal Banach-Mazur distances in small dimensions

A Generalization of Hadamard's Inequality for Convex Functions

Sylvester's Minorant Criterion, Lagrange-Beltrami Identity, and Nonnegative Definiteness

On the Hilbert Geometry of Convex Polytopes

On Some Characterizations of General s-Convex Functions

Convexity properties of sections of 1-symmetric bodies and Rademacher sums

Maximal perimeters of polytope sections and origin-symmetry

Free Descriptions of Convex Sets

On higher-dimensional symmetric designs

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators

Polyak's convexity theorem, Yuan's lemma and S-lemma: extensions and applications

Symmetric Closed Characteristics on Symmetric Compact Convex Hypersurfaces in $$\mathbf{R}^8$$R8

Bernstein-Kouchnirenko-Khovanskii with a symmetry

Symplectically convex and symplectically star-shaped curves -- a variational problem