Candes and Tao, Dantzig selector

• 証明がかなり technical です。
  • δ_{2S} などに関する条件が必要ですが、これは L_1-norm を L_2-norm で upper bound するために S を引き出す必要がある、ということのようです。δ_{S} だとダメだが δ_{2S} なら 1/S が出てくるので O.K。
  • 部分空間 V を仲介して lemma 3.1 が証明されています。V の意味がよく分かりません。なぜ唐突にこのようなものを考えるのか? Bickelらの論文と比較してみよう。