How a block-norm penalty selects predefined predictor groups, with exact group soft thresholding, a Lasso comparison and the limits of orthogonal-design arithmetic.
Group lasso
Group lasso is a regression penalty that can set predefined groups of coefficients to zero together. For a quant modelling a return series with several lags of each economic signal, it offers a way to retain or discard a whole signal family. Ordinary Lasso regression selects individual coefficients instead.
The unit of selection is a block
Partition the predictors into non-overlapping groups g=1,…,G. For centred responses and predictors, one convention is
Here n is the number of observations, y the response vector and X the predictor matrix. The vector βg contains the coefficients assigned to group g; an intercept, if fitted separately, is normally unpenalised. The penalty sums Euclidean norms, not squared norms. Its kink when a whole block reaches zero creates group sparsity. Single-coefficient groups recover the L1 penalty. Yuan and Lin, §2.
Weights matter: wg=pg, where pg is group size, is a common convention. Unit weights are another choice. Changing weights changes the fit. So does changing the loss normalisation without adjusting λ: replacing 1/(2n) by 1/2 requires multiplying λ by n to preserve this objective's minimiser.
Two groups, one exact calculation
Consider the following synthetic, dimensionless proximal problem, with unit weights:
This is the orthogonal-design calculation, rather than a general correlated regression fit. With loss 21∥y−Xβ∥22, it follows when X⊤X=I and z=X⊤y, after dropping a constant. It also appears as a proximal-gradient update, with the step size incorporated into the penalty parameter.
For any block, the exact rule is block soft thresholding, applied separately because the groups do not overlap:
The first branch includes zg=0, even when λ=0; never divide by a zero norm. To see the mechanism, fix the output norm r. The closest vector of norm r points along zg, leaving the scalar problem 21(∥zg∥2−r)2+λwgr for r≥0. Its minimiser is r=max(∥zg∥2−λwg,0).
Block
Input norm
Calculation
Output
Group 1
5
(1−2/5)(3,4)
(1.8,2.4)
Group 2
0.5≈0.707
Norm is below 2
(0,0)
Group 1's output norm is 3; both its coordinates shrink by the same factor, 0.6. With the same quadratic loss and λ=2, coordinatewise Lasso instead returns (1,2) for its first two coefficients. These are different penalties; the common numerical λ does not make their regularisation strengths universally equivalent.
Group 1 moves from input (3,4) to (1.8,2.4) along the same ray, while coordinatewise Lasso gives (1,2). Group 1 input norm 5 exceeds threshold 2; Group 2 input norm approximately 0.707 is below 2 and gives the zero vector.
Original synthetic illustration with unit group weights and dimensionless coefficients. The left panel compares directions; the right compares input group norms with the threshold.
What the grouping commits you to
Groups must be supplied before fitting; the method does not discover economic families. A lag block, categorical encoding or spline basis can be a sensible unit, but a nonzero group does not establish that every component is informative. Ordinary group lasso does not encourage sparsity within a surviving group. Sparse-group lasso adds an L1 term for that separate task. Simon et al., §§1–2.
The norm is unchanged by an orthogonal rotation within a group, so a corresponding rotation of the design and coefficients preserves the criterion. Arbitrary rescaling does not. Choose a scaling convention, estimate standardisation from training data only, and preserve it in validation. Standardising columns does not make them orthogonal: the one-shot formula above cannot simply be applied to marginal coefficients from a correlated design.
For the ordinary-penalty foundations and a worked example of training-only scaling, see Ridge, Lasso, and Elastic Net (public preview; full lesson requires membership).