スパースモデリングでは、本来変数の数最少という L0 正則化が現実的に不可能なので L1 正則化(いわゆる LASSO)で近似されますが、ある条件を満たせば L0 と L1 の解が一致するという話があります。スパースモデリングの新学術がはじまるまで私はあまり知り…