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.

Star-Convex structures as prototypes of Lagrangian coherent structures

An extended transfer operator approach for time-consistent coherent set analysis

Hyperbolic Covariant Coherent Structures in two dimensional flows

Coherent structure coloring: identification of coherent structures from sparse data using graph theory

Lagrangian Ocean Analysis: Fundamentals and Practices

Coherent structure detection and the inverse cascade mechanism in two-dimensional Navier-Stokes turbulence

Free Descriptions of Convex Sets

Dissipative inertial transport patterns near coherent Lagrangian eddies in the ocean

On the evidence of helico-spiralling recirculation within coherent cores of eddies using Lagrangian approach

The Lagrangian Deformation Structure of Three-Dimensional Steady Flow

Sensitivity and robustness of Lagrangian coherent structures in coastal water systems

Extraction of Lagrangian Coherent Structures in the framework of the Lagrangian–Eulerian Stabilized Collocation Method (LESCM)

Detecting coherent structures using braids

Lagrangian Flow Networks for Conservation Laws

An inflated dynamic Laplacian to track the emergence and disappearance of semi-material coherent sets

Lagrangian Covector Fluid with Free Surface

Lagrangian coherent structures from approximate velocity data

Lagrangian structures for the Stokes, Navier-Stokes and Euler equations

Port-Hamiltonian formulations of the incompressible Euler equations with a free surface

The Convex Geometry of Network Flows