怎么论证lars改动后产生的是lasso路径

LARS给出了一种LAR算法，然后对这个算法稍作改进就生成了LASSO算法的系数路径。然胡论文里给了好几个引理来论证这个路径是lasso路径。但是本人英文不是很好，看起来很费力啊，有没有大神给仔细解释一下。

回复第1楼的 Laplace_Yin：证明这东西只能靠自己。PS:书读百遍其义自现，共勉，最近我也在看[s:13]

回复第2楼的 alma2004：亲们，我现在也在学这方面的东西，可以给我发点文献吗？学习学习，