Living on the edge: Phase transitions in convex programs with random data
Authors:
- Dennis AmelunxenDADennis Amelunxen
- Martin LotzMLMartin Lotz
- Michael B. McCoyMMMichael B. McCoy
- Joel A. TroppJTJoel A. Tropp
Preprint
Abstract
Recent research indicates that many convex optimization problems with random constraints exhibit a phase transition as the number of constraints increases. For example, this phenomenon emerges in the $\ell_1$ minimization method for identifying a sparse vector from random linear measurements. Indeed, the $\ell_1$ approach succeeds with high probability when the number of measurements exceeds a threshold that depends on the sparsity level; otherwise, it fails with high probability. This paper provides the first rigorous analysis that explains why phase transitions are ubiquitous in random convex optimization problems. It also describes tools for making reliable predictions about the quantitative aspects of the transition, including the location and the width of the transition region. These techniques apply to regularized linear inverse problems with random measurements, to demixing problems under a random incoherence model, and also to cone programs with random affine constraints. The applied results depend on foundational research in conic geometry. This paper introduces a summary parameter, called the statistical dimension, that canonically extends the dimension of a linear subspace to the class of convex cones. The main technical result demonstrates that the sequence of intrinsic volumes of a convex cone concentrates sharply around the statistical dimension. This fact leads to accurate bounds on the probability that a randomly rotated cone shares a ray with a fixed cone.
Keywords
All Related Versions
This publication has 45 references indexed in Scilit:
- From Steiner Formulas for Cones to Concentration of Intrinsic VolumesDiscrete & Computational Geometry, 2014
- Projection Volumes of Hyperplane ArrangementsDiscrete & Computational Geometry, 2011
- Counting the Faces of Randomly-Projected Hypercubes and Orthants, with ApplicationsDiscrete & Computational Geometry, 2009
- On sparse reconstruction from Fourier and Gaussian measurementsCommunications on Pure and Applied Mathematics, 2007
- High-Dimensional Centrally Symmetric Polytopes with Neighborliness Proportional to DimensionDiscrete & Computational Geometry, 2005
- Proportional concentration phenomena on the sphereIsrael Journal of Mathematics, 2002
- Bounds for the median of the negative binomial distributionMetrika, 1993
- Random projections of regular simplicesDiscrete & Computational Geometry, 1992
- Some inequalities for Gaussian processes and applicationsIsrael Journal of Mathematics, 1985
- Grassmann angles of convex polytopesActa Mathematica, 1968