Reconstruction and subgaussian operators in asymptotic geometric analysis

被引:117
作者
Mendelson, Shahar [1 ]
Pajor, Alain
Tomczak-Jaegermann, Nicole
机构
[1] Australian Natl Univ, Ctr Math & Applicat, Canberra, ACT 0200, Australia
[2] Technion Israel Inst Technol, Dept Math, IL-32000 Haifa, Israel
[3] Univ Marne la Vallee, Lab Anal & Math Appl, F-77454 Marne La Vallee 2, France
[4] Univ Alberta, Dept Math & Stat Sci, Edmonton, AB T6G 2G1, Canada
基金
澳大利亚研究理事会;
关键词
approximate reconstruction; exact reconstruction; empirical processes; subgaussian operators; asymptotic geometric analysis;
D O I
10.1007/s00039-007-0618-7
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We present a randomized method to approximate any vector v from a set T subset of R-n. The data one is given is the set T, vectors (X-i)(i=1)(k) where (X-i)(i=1)(k) are i.i.d. isotropic of R-n and k scalar products (< X-i,v >)(i=1)(k) subgaussian random vectors in R-n, and k << n. We show that with high probability, any y epsilon T for which (< X-i, y >)(i=1)(k) is close to the data vector ( Xi, v)) 1 will be a good approximation of v, and that the degree of approximation is determined by a natural geometric parameter associated with the set T. We also investigate a random method to identify exactly any vector which has a relatively short support using linear subgaussian measurements as above. It turns out that our analysis, when applied to {-1,1}-valued vectors with i.i.d. symmetric entries, yields new information on the geometry of faces of a random {-1,1}-polytope; we show that a k-dimensional random {-1,1}-polytope with n vertices is m-neighborly for m <= ck/log(c'n/k). The proofs are based on new estimates on the behavior of the empirical process SUPf epsilon F vertical bar k(-1) Sigma(k)(i=1) f(2)(X-i) - Ef(2)vertical bar when F is a subset of the L-2 sphere. The estimates are given in terms of the gamma(2) functional with respect to the psi(2) metric on F, and hold both in exponential probability and in expectation.
引用
收藏
页码:1248 / 1282
页数:35
相关论文
共 43 条
[1]  
Artstein S, 2004, LECT NOTES MATH, V1850, P31
[2]   On 0-1 polytopes with many facets [J].
Bárány, I ;
Pór, A .
ADVANCES IN MATHEMATICS, 2001, 161 (02) :209-228
[3]  
BOUCHERON S, IN PRESS SURVEY RECE
[4]  
Candes E, 2005, ANN IEEE SYMP FOUND, P295
[5]   Decoding by linear programming [J].
Candes, EJ ;
Tao, T .
IEEE TRANSACTIONS ON INFORMATION THEORY, 2005, 51 (12) :4203-4215
[6]   Near-optimal signal recovery from random projections: Universal encoding strategies? [J].
Candes, Emmanuel J. ;
Tao, Terence .
IEEE TRANSACTIONS ON INFORMATION THEORY, 2006, 52 (12) :5406-5425
[7]   Atomic decomposition by basis pursuit [J].
Chen, SSB ;
Donoho, DL ;
Saunders, MA .
SIAM JOURNAL ON SCIENTIFIC COMPUTING, 1998, 20 (01) :33-61
[8]  
DONOHO D, STABLE RECOVERY SPAR
[9]   For most large underdetermined systems of linear equations the minimal l1-norm solution is also the sparsest solution [J].
Donoho, DL .
COMMUNICATIONS ON PURE AND APPLIED MATHEMATICS, 2006, 59 (06) :797-829
[10]   Compressed sensing [J].
Donoho, DL .
IEEE TRANSACTIONS ON INFORMATION THEORY, 2006, 52 (04) :1289-1306