This is a basic question about regularization term but I have searched for a while and cannot find the answer. My question is: does Lasso regularization always make some coefficients zero?
A famous explanation figure is something like this: https://www.linkedin.com/pulse/intuitive-visual-explanation-differences-between-l1-l2-xiaoli-chen (FIGURE 3.11 on the top of the linked page)
I can understand most of the plot. However, I am wondering what if the minimum of the whole objective function (RSS + L1), where RSS stands for residual sum of squares, does not happen at the corner but at the edge? I can't see why this is not possible. If this is possible, then we don't have zero coefficients in this case, correct?
To be more precise, the contour of the L1 regularization term is a diamond shape square other than a spherical shape circles. Usually, posts explain the sparsity of coefficients is achieved by L1 regularization because the minimum happens at the vertex of the contour, while anywhere on the circle of the L2 contour is symmetric and hence the coefficients need not to be zero. However, I don't see why the minimum of the whole objective function must happen at the vertex of the diamond. So, can someone show that the minimum is not possible at the edge?
Thank you guys!
edit: Thanks for the link from anonymous Why does the Lasso provide Variable Selection? I think this post solves some of my solution. Basically the solution of the $\beta := \hat{\beta} = (y^Tx - \lambda)/(x^Tx)$ indeed possibly nonzero. However, the key is that $\lambda$ is a hyper-parameter and tuning $\lambda$ is possibly to drive $\hat{\beta}$ zero. Changing $\lambda$ changes the shape of the whole objective function and it is by changing the shape of the objective function that we can set the coefficients zero.