A G RADIENT F LOW F RAMEWORK F OR A NALYZING N ETWORK P RUNING
Anonymous authors
Paper under double-blind review
A BSTRACT
Recent network pruning methods focus on pruning models early-on in training.
To estimate the impact of removing a parameter, these methods use importance measures that were originally designed to prune trained models.
Despite lacking justiﬁcation for their use early-on in training, such measures result in surprisingly low accuracy loss.
To better explain this behavior, we develop a general gradient ﬂow based framework that uniﬁes state-of-the-art importance measures through the norm of model parameters.
We use this framework to determine the relationship between pruning measures and evolution of model parameters, establishing several results related to pruning models early-on in training: (i) magnitude-based pruning removes parameters that contribute least to reduction in loss, resulting in models that converge faster than magnitude-agnostic methods; (ii) loss-preservation based pruning preserves ﬁrst-order model evolution dynamics and is therefore appropriate for pruning minimally trained models; and (iii) gradient-norm based pruning affects second-order model evolution dynamics, such that increasing gradient norm via pruning can produce poorly performing models.
We validate our claims on several
VGG-13, MobileNet-V1, and ResNet-56 models trained on CIFAR-10/CIFAR-100.
I NTRODUCTION
The use of Deep Neural Networks (DNNs) in intelligent edge systems has been enabled by extensive research on model compression.
“Pruning” techniques are commonly used to remove “unimportant” ﬁlters to either preserve or promote speciﬁc, desirable model properties.
Most pruning methods were originally designed to compress trained models, with the goal of reducing inference costs only.
For example, Li et al.
; He et al.
(2018) proposed to remove ﬁlters with small (cid:96) 1 / (cid:96)norm, thus ensuring minimal change in model output.
Molchanov et al.
(2017; 2019); Theis et al.
(2018) proposed to preserve the loss of a model, generally using Taylor expansions around a ﬁlter’s parameters to estimate change in loss as a function of its removal.
Recent works focus on pruning models at initialization (Lee et al.
or after minimal training (You et al.
thus enabling reduction in both inference and training costs.
To estimate the impact of removing a parameter, these methods use the same importance measures as designed for pruning trained models.
Since such measures focus on preserving model outputs or loss, Wang et al.
(2020) argue they are not well-motivated for pruning models early-on in training.
However, in this paper, we demonstrate that if the relationship between importance measures used for pruning trained models and the evolution of model parameters is established, their use early-on in training can be better justiﬁed.
In particular, we employ gradient ﬂow 1 to develop a general framework that relates state-of-theart importance measures used in network pruning through the norm of model parameters .
This framework establishes the relationship between regularly used importance measures and the evolution of a model’s parameters, thus demonstrating why measures designed to prune trained models also perform well early-on in training .
More generally, our framework enables better understanding of what properties make a parameter dispensable according to a particular importance measure.
Our ﬁndings follow.
(i) Magnitude-
based
pruning measures
remove
parameters
that contribute least to reduction
in loss
This enables magnitude-based pruned models to achieve faster convergence
than
magnitude-agnostic measures.
(ii) Loss-preservation based measures remove parameters with the least tendency to change, thus preserving ﬁrst-order model evolution dynamics.
This shows that loss-preservation is appropriate for pruning models early-on in training as well.
(iii)
Gradient-norm
based pruning is linearly related to second-order model evolution dynamics.
Increasing gradient norm via pruning for even slightly trained models can permanently damage earlier layers, producing poorly performing architectures.
This behavior is a result of aggressively pruning ﬁlters that maximally increase model loss.
We validate our claims on several VGG-13, MobileNet-V1, and ResNetmodels trained on CIFAR-10 and CIFAR-100.
R ELATED W ORK
Several pruning frameworks deﬁne importance measures to estimate the impact of removing a parameter.
Most popular importance measures are based on parameter magnitude (Li et al.
; He et al.
Liu et al.
or loss preservation (Molchanov et al.
(2019; 2017); Theis et al.
Gao et al.
Recent works show that using these measures, models pruned at initialization (Lee et al.
; Wang et al.
Hayou et al.
or after minimal training (You et al.
achieve ﬁnal performance similar to the original networks.
Since measures for pruning trained models are motivated by output or loss preservation, Wang et al.
(2020) argue they may not be well suited for pruning models early-on in training.
They thus propose GraSP, a measure that promotes preservation of parameters that increase the gradient norm.
Since loss preservation and gradient-norm based measures are designed using ﬁrst-order Taylor series approximations, they are exactly applicable under gradient ﬂow only.
This suggests using gradient ﬂow to analyze the evolution of a model can provide useful insights into regularly used importance measures for network pruning.
Despite its success, the foundations of network pruning are not well understood.
Recent work has shown that good “subnetworks” that achieve similar performance to the original network exist within both trained (Ye et al.
and untrained models (Frankle & Carbin (2019); Malach et al.
These works thus prove networks can be pruned without loss in performance, but do not indicate how a network should be pruned, i.e, which importance measures are preferable.
In fact, Liu et al.
(2019) show reinitializing pruned models before retraining rarely affects their performance, indicating the consequential differences among importance measures are in the properties of architectures they produce.
Since different importance measures perform differently (see Appendix E), analyzing popular measures to determine which model properties they tend to preserve reveal which measures can result in better-performing architectures.
From an implementation standpoint, pruning approaches can be placed in two categories.
The ﬁrst, structured pruning (Li et al.
; He et al.
Liu et al.
; Molchanov et al.
Gao et al.
, removes entire ﬁlters, thus preserving structural regularity and directly improving execution efﬁciency on commodity hardware platforms.
The second, unstructured pruning (Han et al.
(2016b)
; LeCun et al.
(1990); Hassibi & Stork (1993)), is more ﬁne-grained, operating at the level of individual parameters instead of ﬁlters.
Unstructured pruning has recently been used to reduce computational complexity as well, but requires specially designed hardware (Han et al.
(2016a))
or software (Elsen et al.
that are capable of accelerating sparse operations.
By clarifying beneﬁts and pitfalls of popular importance measures, our work aims to ensure practitioners are better able to make informed choices for reducing DNN training/inference expenditure via network pruning.
Thus, while results in this paper are applicable in both structured and unstructured settings, our experimental evaluation primarily focuses on structured pruning early-on in training.
P RELIMINARIES : C LASSES OF S TANDARD I MPORTANCE M EASURES
In this section, we review the most successful classes of importance measures for network pruning.
These measures will be our focus in subsequent sections.
We use bold symbols to denote vectors and italicize scalar variables.
Consider a model that is parameterized as Θ ( t ) at time t .
We denote the gradient of the loss with respect to model parameters at time t as g ( Θ ( t )) , the Hessian as H ( Θ ( t )) , and the model loss as L ( Θ ( t )) .
A general model parameter is denoted as θ ( t ) .
The importance of a set of parameters Θ p ( t ) is denoted as I ( Θ p ( t )) .
Magnitude-based measures: Both (cid:96) 1 norm (Li et al.
and (cid:96) 2 norm (He et al.
(2018)) have been successfully used as magnitude-focused importance measures and generally perform equally well.
Due to its differentiability, (cid:96) 2 norm can be analyzed using gradient ﬂow and will be our focus in the following sections.
[Equation]
Loss-preservation based measures: These measures determine the impact removing a set of parameters has on model loss, generally using a ﬁrst-order Taylor decomposition.
Most recent methods (Molchanov et al.
Ding et al.
; Theis et al.
for pruning trained models are variants of this method, often using additional heuristics to improve their performance.
[Equation]
The equation above implies that the loss of a pruned model is higher (lower) than the original model if parameters with a negative (positive) value for Θ Tp ( t ) g ( Θ ( t )) are removed.
Thus, for preserving model loss, the following importance score should be used.
[Equation]
Increase in gradient-norm based measures: Wang et al.
argue loss-preservation based methods are not well-motivated for pruning models early-on in training.
They thus propose GraSP, an importance measure that prunes parameters whose removal increases the gradient norm and can enable fast convergence for a pruned model.
[Equation]
The above equation implies that the gradient norm of a pruned model is higher than the original model if parameters with a negative value for Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) are removed.
This results in the following importance score.
[Equation]
As mentioned before, these importance measures were introduced for pruning trained models (except for GraSP), but are also used for pruning models early-on in training.
In the following sections, we revisit the original goals for these measures, establish their relationship with evolution of model parameters over time, and provide clear justiﬁcations for their use early-on in training.
G RADIENT F LOW AND N ETWORK P RUNING
Gradient ﬂow, or gradient descent with inﬁnitesimal learning rate, is a continuous-time version of gradient descent.
The evolution over time of model parameters, gradient, and loss under gradient ﬂow can be described as follows.
[Equation]
Recall that standard importance measures based on loss-preservation (Equation 3) or increase in gradient-norm (Equation 5) are derived using a ﬁrst-order Taylor series approximation, making them exactly valid under the continuous scenario of gradient ﬂow.
This indicates analyzing the evolution of model parameters via gradient ﬂow can provide useful insights into the relationships between different importance measures.
To this end, we use gradient ﬂow to develop a general framework that relates different classes of importance measures through the norm of model parameters .
As we develop this framework, we explain the reasons why importance measures deﬁned for pruning trained models are also highly effective when used for pruning early-on in training.
In Appendix B, we further extend this framework to models trained using stochastic gradient descent, showing that up to a ﬁrst-order approximation, the observations developed here are valid under SGD training too.
4. G RADIENT F LOW AND M AGNITUDE -B ASED P RUNING
We ﬁrst analyze the evolution of the (cid:96) 2 norm of model parameters, a magnitude-based pruning measure, as a function of time under gradient ﬂow.
For a model initialized as Θ (0) , with parameters Θ ( T ) at time T , we note the distance from initialization can be related to model loss as follows:
[Equation]
where (a) follows from the triangle inequality for norms and (b) follows from Equation 6.
The inequality above is a modiﬁcation of a previously known result by Nagarajan & Kolter (2017), who show that change in model parameters, as measured by distance from initialization, is bounded by the ratio of loss at initialization to the norm of the gradient at time T .
Frequently used initialization techniques are zero-centered with small variance (Glorot & Bengio (2010)
; He et al.
This reduces the impact of initialization, making (cid:107) Θ ( T ) − Θ (0) (cid:107) 22 ≈ (cid:107) Θ ( T ) (cid:107) 22 .
In fact, calculating the importance of ﬁlters in a model using (cid:96) 2 norm versus using distance from initialization, we ﬁnd the two measures have an average correlation of 0.994 across training epochs, and generally prune identical parameters.
We now use Equation 7 to relate magnitude-based pruning with model loss at any given time.
Speciﬁcally, reorganizing Equation 7, yields
[Equation]
Based on this analysis, we make the following observation.
Observation 1: The larger the magnitude of parameters at a particular instant, the smaller the model loss at that instant will be.
If these large-magnitude parameters are preserved while pruning (instead of smaller ones), the pruned model’s loss decreases faster.
Equation 8 shows that the norm of model parameters bounds model loss at any given time.
Thus, by preserving large-magnitude parameters, magnitude-based pruning enables faster reduction in loss than magnitude-agnostic techniques.
For example, we later show that loss-preservation based pruning removes the most slowly changing parameters, regardless of their magnitude.
Thus magnitude-based pruned models will generally converge faster than loss-preservation based pruned models.
To verify this analysis also holds under the SGD training used in practice, we train several VGG-13,
MobileNet-V1, and ResNet-56 models on CIFAR-10 and CIFAR-100.
Our pruning setup starts with randomly initialized models and uses a prune-and-train framework, where each round of pruning involves an epoch of training followed by pruning.
A target amount of pruning (e.g., 75% ﬁlters) [Table] is divided evenly over a given number of pruning rounds.
Throughout training, we use a small temperature value ( = 5 ) to ensure smooth changes to model parameters.
We provide results for 1, 5, and 25 rounds for all models and datasets.
The results after 1 round, where pruning is single-shot, demonstrate that our claims are general and not an artifact of allowing the model to compensate for its lost parameters; the results after 5 and 25 rounds, where pruning is distributed over a number of rounds, demonstrate that our claims also hold when models compensate for lost parameters.
The results are shown in Table 1.
Magnitude-based pruning consistently performs better than losspreservation based pruning.
Furthermore, train/test convergence for magnitude-based pruned models is faster than that for loss-preservation based pruned models, as shown in Figure 1.
These results validate our claim that magnitude-based pruning results in faster converging, better-performing models when pruning early-on in training.
Extending existing importance measures : A fundamental understanding of existing importance measures can be exploited to extend and design new measures for pruning models early-on in training.
For example, we modify loss-preservation based pruning to remove small-magnitude parameters that do not affect model loss using the following importance measure: (cid:80)
[Equation]
Using | θ i ( t ) g
( θ i ( t )) | to preserve loss, this measure retains training progress up to the current instant; using | θ i ( t ) | , this measure is biased towards removing small-magnitude parameters and should produce a model that converges faster than loss-preservation alone, thus improving accuracy.
These expected properties are demonstrated in Table 1 and Figure 1: the proposed measure consistently outperforms loss-preservation based pruning and often outperforms magnitude-based pruning, especially when more rounds are used (see Table 1); train/test convergence rate for models pruned using this measure are better than those for loss-preservation pruning, and competitive to those of magnitude-based pruning (see Figure 1).
4. G RADIENT F LOW AND L OSS -P RESERVATION B ASED P RUNING
Loss-preservation based pruning methods use ﬁrst-order Taylor decomposition to determine the impact of pruning on model loss (see Equation 3).
We now show that magnitude-based and losspreservation based pruning measures are related by an order of time-derivative.
[Equation]
where (a) follows from Equation 6.
This implies that
[Equation]
[Equation] Based on Equation [Equation] the following observations can be made.
[Figure] Observation 2: Up to a constant, the magnitude of time-derivative of norm of model parameters (the score for magnitude-based pruning) is equal to the importance measure used for loss-preservation (Equation 3).
Further, loss-preservation corresponds to removal of the slowest changing parameters.
Equation 10 implies that loss-preservation based pruning preserves more than model loss.
It also preserves the ﬁrst-order dynamics of a model’s evolution.
This result demonstrates that loss-preservation based importance is in fact a well-motivated measure for pruning models early-on in training, because it preserves a model’s evolution trajectory.
This explains why loss-preservation based pruning has been successfully used for pruning both trained (Molchanov et al.
(2017; 2019)) and untrained (Lee et al.
(2019)) models.
We also draw another important conclusion pertaining to pruning of trained models: preserving parameters that continue to change are more important to preserve model loss, while parameters that have least tendency to change are dispensable.
Observation 3:
Due to their closely related nature, when used with additional heuristics, magnitudebased importance measures preserve loss.
Pruning methods often use additional heuristics with existing importance measures to improve their efﬁcacy.
E.g., You et al.
(2020) recently showed that models become amenable to pruning early-on in training.
To determine how much to train before pruning, they create a binary mask to represent ﬁlters that have low importance and are thus marked for pruning.
A ﬁlter’s importance is deﬁned using the magnitude of its corresponding
BatchNorm-scale parameter.
If change in this binary mask is minimal over a predeﬁned number of consecutive epochs, training is stopped and the model is pruned.
Due to the related nature of magnitude-based and loss-preservation based measures, as shown in
Equation 10, we expect use of additional heuristics can unknowingly extend an importance measure to preserve model properties that it was not intentionally designed to target.
To demonstrate this concretely, we analyze the implications of the “train until minimal change” heuristic by You et al., as explained above.
In particular, consider a certain scale parameter σ that has a small magnitude and is thus marked for pruning.
Its magnitude must continue to remain small to ensure the binary mask does not change.
This implies the change in σ over an epoch, or ∆ σ , must be small.
These two constraints can be assembled in a single measure: | σ ∆ σ | .
The continuous-time, per-iteration version of this product is (cid:12)(cid:12) σ ∂σ∂t (cid:12)(cid:12) .
As shown in Equation 9 and Equation 10, (cid:12)(cid:12) σ ∂σ∂t (cid:12)(cid:12) is the mathematical equivalent of loss-preservation based importance (Equation 3).
Therefore, when applied per iteration, removing parameters with small magnitude, under the additional heuristic of minimal change, converts magnitude-based pruning into a loss-preservation strategy.
If parameters do not change much over several iterations, this argument can further extend to change over an epoch.
To conﬁrm this, we train VGG-13, MobileNet-V1, and ResNet-56 models on CIFAR-100, record the distance between pruning masks for consecutive epochs, and calculate correlation between loss-preservation based importance and | σ ∆ σ | .
As shown in Figure 2, as the mask distance reduces, the correlation between the importance measures increases.
This conﬁrms that due to the intimate relationship directly. We thus call loss-preservation a magnitude-agnostic technique. [Figure] between magnitude-based pruning and loss-preservation based pruning, when used with additional heuristics, magnitude-based pruning extends to preserve model loss as well.
4. G RADIENT F LOW AND G RADIENT -N ORM B ASED P RUNING
Having demonstrated the relationship between the ﬁrst-order time derivative of the norm of model parameters and loss-preservation based pruning, we now consider the second-order time derivative of the norm of model parameters and demonstrate its connection with GraSP (Wang et al.
(2020)), a method designed for use early-on in training to increase gradient-norm using pruning.
[Equation]
where (a) follows from Equation 9 and (b) follows from Equation 6.
This implies that
[Equation]
Equation 12 shows the second-order time derivative of the norm of model parameters is linearly related to the importance measure for increase in gradient-norm (Equation 5).
In particular, parameters with a negative Θ Tp ( t ) H ( Θ ( t )) g ( Θ ( t )) reduce the “acceleration” at which a model approaches its ﬁnal solution.
Thus, removing them can speedup optimization.
We now use the analysis above to demonstrate limitations to increase of gradient-norm using pruning.
Observation 4: Increasing gradient-norm via pruning removes parameters that maximally increase model loss.
Extending the “acceleration” analogy, recall that if an object has increasingly negative velocity, its acceleration will be negative as well.
As shown before in Equation 9, the velocity of norm of model parameters is a constant multiple of the ﬁrst-order Taylor decomposition for model loss around current parameter values.
Thus, the parameter with the most negative value for Θ Tp ( t ) g ( Θ ( t )) is likely to also have a large, negative value for Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) .
From Equation 2, we observe that removing parameters with negative Θ Tp ( t ) g ( Θ ( t )) increases model loss with respect to the original model.
This indicates Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) may in fact increase the gradient norm by removing parameters that maximally increase model loss.
[Table]
To test this claim, we plot Θ T p ( t ) H ( Θ ( t ))
g ( Θ ( t )) alongside Θ T p ( t ) g ( Θ ( t )) for ﬁlters of VGG-13,
MobileNet-V1, and ResNet-56 models trained on CIFAR-100 at various points in training and consistently ﬁnd them to be highly correlated (see Figure 3).
This strong correlation conﬁrms that using Θ Tp ( t ) H ( Θ ( t )) g
( Θ ( t ))
as an importance measure for network pruning increases gradient norm by removing parameters that maximally increase model loss.
Wang et al.
(2020) remark in their work that it is possible that GraSP may increase the gradient-norm by increasing model loss.
We provide evidence and rationale illuminating this remark: we show why preserving loss and increasing gradient-norm are antithetical.
To mitigate this behavior, Wang et al.
propose to use a large temperature value (200) before calculating the Hessian-gradient product.
We now demonstrate the pitfalls of this solution and propose a more robust approach.
Observation 5: Preserving gradient-norm maintains second-order model evolution dynamics and results in better-performing models than increasing gradient-norm.
Equation 12 shows the measure Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) affects a model’s second-order evolution dynamics.
The analysis in Observation 4 shows Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) and Θ Tp ( t ) g ( Θ ( t )) are highly correlated.
These results together imply that preserving gradient-norm (cid:0)(cid:12)(cid:12) Θ Tp ( t ) H ( Θ ( t )
[Equation] Θ
[Equation] t )) [Equation] should preserve both second-order model evolution dynamics and model loss.
Since the correlation with loss-preservation based importance is not perfect, this strategy is only an approximation of loss-preservation.
However, it is capable of reducing increase in model loss due to pruning.
To demonstrate the efﬁcacy of gradient-norm preservation and the effects of increase in model loss on GraSP, we prune VGG-13, MobileNet-V1, and ResNet-56 models trained on CIFAR-10 and
CIFAR-100.
The results are shown in Table 2 and lead to the following conclusions.
(i)
When a single round of pruning is performed, the accuracy of GraSP is essentially independent of temperature.
This implies that using temperature may be unnecessary if the model is close to initialization.
(ii)
In a few epochs of training, when reduction in loss can be attributed to training of earlier layers (Raghu et al.
, GraSP without large temperature chooses to prune earlier layers aggressively (see Section G.2 for layer-wise pruning ratios).
This permanently damages the model and thus the accuracy of low-temperature GraSP decreases substantially with increasing training epochs.
(iii) At high temperatures, the performance of pruned models is more robust to the number of rounds and pruning of earlier layers is reduced.
However, reduction in accuracy is still signiﬁcant.
(iv) These behaviors are mitigated by using the proposed alternative: gradient-norm preservation (cid:0)(cid:12)(cid:12)
Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t ))
(cid:12)(cid:12)(cid:1) .
Since this measure preserves the gradient-norm and is correlated to loss-preservation, it focuses on ensuring the model’s second-order training dynamics and loss remain the same, consistently resulting in the best performance.
C ONCLUSION
In this paper, we revisit importance measures designed for pruning trained models to better justify their use early-on in training.
Developing a general framework that relates these measures through the norm of model parameters, we analyze what properties of a parameter make it more dispensable according to each measure.
This enables us to show that from the lens of model evolution, use of magnitudeand loss-preservation based measures is well-justiﬁed early-on in training.
More speciﬁcally, by preserving parameters that enable fast convergence, magnitude-based pruning generally outperforms magnitude-agnostic methods.
By removing parameters that have the least tendency to change, losspreservation based pruning preserves ﬁrst-order model evolution dynamics and is well-justiﬁed for pruning models early-on in training.
We also explore implications of the intimate relationship between magnitude-based pruning and loss-preservation based pruning, demonstrating that one can evolve into the other as training proceeds.
Finally, we analyze gradient-norm based pruning and show that it is linearly related to second-order model evolution dynamics.
Due to this relationship, we ﬁnd that increasing gradient-norm via pruning corresponds to removing parameters that maximally increase model loss.
Since such parameters are concentrated in the initial layers early-on in training, this method can permanently damage a model’s initial layers and undermine its ability to learn from later training.
To mitigate this problem, we show the most robust approach is to prune parameters that preserve gradient norm, thus preserving a model’s second-order evolution dynamics while pruning.
In conclusion, our work shows the use of an importance measure for pruning models early-on in training is difﬁcult to justify unless the measure’s relationship with the evolution of a model’s parameters over time is established.
More generally, we believe new importance measures that speciﬁcally focus on pruning early-on should be directly motivated by a model’s evolution dynamics.
A O RGANIZATION
The appendix is organized as follows:
• Appendix B: Extends our gradient ﬂow framework towards SGD based training.
• Appendix C: Details the setup for training base models.
• Appendix D: Details the setup for training pruned models.
• Appendix E: Random/Uniform pruning results on CIFAR-100.
• Appendix F: Train/Test curves for magnitude-based and loss-preservation based pruned models.
• Appendix G: More Results on Gradient-norm Based Pruning.
Section G.1:
Scatter plots demonstrating correlation between Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) and Θ Tp ( t ) g ( Θ ( t )) .
Section G.2: Provides layer-wise pruning ratios for models pruned using gradient-norm based pruning variants.
Section G.3: Train/Test curves for gradient-norm based variants used in the main paper.
• Appendix H: Provides empirical veriﬁcation for observations 2–4 in an unstructured pruning setup.
• Appendix I: Provides empirical veriﬁcation for observations 2–4 on Tiny-ImageNet.
B E XTENDING THE F RAMEWORK TO SGD T RAINING
The main paper focuses on using gradient ﬂow to establish the relationship between frequently used importance measures for network pruning and evolution of model parameters.
In practice, however, deep neural networks are trained using SGD (stochastic gradient descent) or its variants (e.g., SGD with momentum).
This section serves to demonstrate that up to a ﬁrst order approximation, our observations based upon gradient ﬂow are theoretically valid for SGD training too.
Our analysis is based on the fact that when an importance measure is employed, most pruning frameworks stop model training and use several mini-batches of training data to determine an approximation for gradient/Hessian.
This enables us to use an expectation operation over mini-batches of data, making a theoretical analysis tractable.
B. N OTATIONS AND SGD U PDATES
Notations: We ﬁrst establish new notations for this section.
For completeness, notations used in the main paper are recapped as well: Θ ( t ) denotes model parameters at time t .
η denotes the learning rate at which stochastic gradient descent trains a model.
d ( Θ ( t ); X i ) denotes the estimate of gradient of loss and H ( Θ ( t ); X i ) denotes the estimate of Hessian of loss with respect to model parameters at time t , as calculated using the i th mini-batch ( X i ).
g ( Θ ( t )) denotes the full-batch gradient of loss and H ( Θ ( t )) denotes
Hessian of loss with respect to model parameters at time t .
SGD Update: Under stochastic gradient descent, a random mini-batch of data is sampled amongst all mini-batches without replacement.
For example, if mini-batch X i is sampled, a gradient approximation based on its data elements will be used to update model parameters at the current iteration.
Therefore, the model parameters evolve as follows:
[Equation]
B. C HANGE IN NORM OF MODEL PARAMETERS : ∆ (cid:107) Θ ( t ) (cid:107)
We ﬁrst use SGD to analyze change in norm of model parameters, denoted as ∆ (cid:107) Θ ( t ) (cid:107) 22 .
Assume mini-batch X i is used to update model parameters at the current iteration.
[Equation]
where we ignored terms with higher order products of learning rate η .
Smaller the learning rate, the better this approximation will be.
As mentioned before
[Equation]
to compute importance estimates for network pruning
[Equation]
most pruning frameworks stop the training process and compute estimates for gradient/Hessian using several mini-batches of data.
To account for this
[Equation]
we can take expectation over the mini-batch sampling process.
For example, if input data is denoted as X , under expectation, Equation 14 changes as follows:
[Equation]
As the main paper shows (see Equation 9), under gradient ﬂow, the norm of model parameters evolves as follows:
[Equation]
Therefore, using Equation 15 and Equation 16, it can be evidently seen that up to a ﬁrst-order approximation, the expected rate at which norm of model parameters evolves under SGD is exactly the same as that under gradient ﬂow.
In the main paper, we use this relationship to conclude
Observations 2 and 3.
Thus, our analysis in this section indicates Observations 2, 3 are in fact valid approximations under SGD training as well.
B. C HANGE IN CHANGE OF NORM OF MODEL PARAMETERS : ∆ 2 (cid:107) Θ ( t ) (cid:107)
We now determine the expected rate at which change in norm of model parameters itself changes under SGD.
To this end, we will calculate ∆ 2 (cid:107) Θ ( t ) (cid:107) 22 = ∆(∆ (cid:107) Θ ( t ) (cid:107) 22 ) .
Equation 14 shows that when mini-batch X i is used to take an optimization step, up to a ﬁrst-order approximation, the change in norm of model parameters ( ∆ (cid:107) Θ ( t ) (cid:107) 22 ) is as follows:
[Equation]
After the optimization step based on mini-batch X i has been completed, the model parameters change from Θ ( t ) to Θ ( t ) − η d ( Θ ( t ); X i ) .
Assume that a new mini-batch X j is sampled for the next optimization step–i.e., the next gradient estimate is d ( Θ ( t ) − η d ( Θ ( t ); X i ) ; X j ) .
To relate this new gradient estimate with the previous one, we use a ﬁrst-order Taylor approximation for model gradient based on mini-batch X j :
[Equation]
Note that in the above equation, the Hessian estimate is based on mini-batch X j only.
Using this relationship, the change in norm of model parameters can be approximated as follows:
[Equation]
where we ignore terms of the order of O ( η 3 ) .
This above result can now be used to calculate ∆
[Equation]
Θ
[Equation]
t )
[Equation]
22 , our desired quantity.
[Equation]
We again use the fact that importance estimates for network pruning are estimated by stopping model training and computing gradient/Hessian estimates over several mini-batches of data.
We denote this through an expectation over input data X , where our random variables are the minibatches X i and X j .
As mini-batches are sampled independently, we use the result that expectation of product of their functions can be independently evaluated: i.e., E X i ,X j ∼ X
[ f ( X i ) g ( X j )] =
E X i ∼ X
[ f ( X i )]
E X j ∼ X
[ g ( X j )] .
= ⇒
[Equation]
As shown in the main paper (see Equation 12)
[Equation]
under gradient ﬂow, the rate at which change in norm of model parameters changes is as follows:
[Equation] [Equation]
As can be evidently seen in Equation 22 and Equation 23, up to a ﬁrst-order approximation, the expected rate at which change of norm of model parameters changes under SGD is exactly the same as that under gradient ﬂow.
In the main paper, we use this relationship to conclude Observationsand 5.
Thus, our analysis in this section indicates Observations 4, 5 are in fact valid approximations under SGD training as well.
Overall, in this section, we showed that the relationships between commonly used measures for network pruning and their expected impact on model parameters is the same for both SGD training and gradient ﬂow, up to a ﬁrst-order approximation.
C T RAINING B ASE M ODELS
We analyze models trained on CIFAR-10 and CIFAR-100 datasets.
All models are trained with the exact same setup.
In all our experiments, we average results across 3 seeds.
Since pruning has a highly practical motivation, we argue analyzing a variety of models that capture different architecture classes is important.
To this end, we use VGG-13 (a vanilla CNN), MobileNetV1 (a low-redundancy CNN designed speciﬁcally for efﬁcient computation), and ResNet-56 (a residual model to analyze effects of pruning under skip connections).
The ﬁnal setup is as follows:
• Optimizer: SGD, • Momentum: 0 . 9 , • Weight decay: 0 . 0001 , • Learning rate schedule: (0 . 1 , 0 . 01 , 0 . 001) , • Number of epochs for each learning rate: (80 , 40 , 40) , • Batch Size: 128 .
D T RAINING P RUNED M ODELS
The general setup for training pruned models is the same as that for training base models.
However, for a fair comparison, if the prune-and-train framework takes n rounds, we subtract n epochs from the number of epochs alloted to the highest learning rate.
This ensures same amount of training budget for all models and pruning strategies.
Note that even if this subtraction is not performed, the results do not vary much, as the model already converges (see Appendix F for train/test curves).
The ﬁnal setup is as follows.
• Optimizer: SGD, • Momentum: 0 . 9 , • Weight decay: 0 . 0001 , • Learning rate schedule: (0 . 1 , 0 . 01 , 0 . 001) , • Number of epochs for each learning rate: (80 − number of pruning rounds , 40 , 40) , • Batch size: 128 .
Since we prune models in a structured manner, our target pruning ratios are chosen in terms of the number of ﬁlters to be pruned.
A rough translation in terms of parameters follows:
• VGG-13: 75% ﬁlters ( ∼ 94% parameters) for CIFAR-10; 65% ﬁlters ( ∼ 89% parameters) for CIFAR-100, • MobileNet-V1: 75% ﬁlters ( ∼ 94% parameters) for CIFAR-10; 65% ﬁlters ( ∼ 89% parameters) for CIFAR-100, • ResNet-56: 60% ﬁlters ( ∼ 88% parameters) for CIFAR-10; 50% ﬁlters ( ∼ 83% parameters) for CIFAR-100.
The percentage of pruned parameters is much larger than the percentage of pruned ﬁlters because generally ﬁlters from deeper layers are pruned more heavily.
These ﬁlters form the bulk of a model’s parameters, thus resulting in high parameter percentages.
E R ANDOM /U NIFORM P RUNING
In this section we compare various pruning measures with random and uniform pruning under the same experimental setup as used in the main paper (see Appendix D).
For random pruning, we assign a random score between 0–1, with equal probability, to each ﬁlter.
For uniform pruning, we decide a target amount of percentage pruning and remove that much percentage ﬁlters from all layers.
For example, if 50% of the model is to be pruned, we remove half the ﬁlters from each layer randomly.
If which importance measure is used for pruning a model in structured pruning settings is not an important choice, both random and uniform pruning schemes should perform competitively with standardly used importance measures for network pruning.
However, as we show in Table 3, random and uniform pruning perform much worse than the standardly used metrics for pruning
[Table]
F
T RAIN /T EST P LOTS
This section further demonstrates that magnitude based pruned models converge faster than losspreservation based pruned models.
For magnitude-based pruning, the importance is deﬁned as (cid:96)norm of a ﬁlter; for loss-preservation, the importance is deﬁned as a variant of SNIP (Lee et al.
(2019)) applied to entire ﬁlter.
The plots show train/test curves for VGG-13, MobileNet-V1, and ResNetmodels for 1, 5, and 25 pruning rounds each.
Also plotted are train/test curves for the proposed extension to loss-preservation which intentionally biases loss-preservation towards removing small magnitude parameters (see Section 4.1 for more details).
[Figure] [Figure]
F. R ES N ET -
G M ORE R ESULTS ON G RADIENT - NORM B ASED P RUNING
This section provides further results on gradient-norm based pruning.
The general implementation of these measures requires the calculation of Hessian-gradient products.
Similar to the implementation by Wang et al.
(2020), we deﬁne a constant amount of memory that stores randomly selected samples for all classes.
For the original GraSP variant that increases gradient norm, we follow the original implementation and use a temperature of 200 during the calculation of Hessian-gradient product.
This involves division of the model output (i.e., the logits vector) by a constant T ( = 200 ) before using softmax for classiﬁcation (see Hinton et al.
(2015) for further details).
For the GraSP variant without large temperature, this temperature value is brought down to 1.
Finally, for the gradient norm preservation measure, the GraSP variant without large temperature is used alongside an absolute value operator to remove parameters that least change gradient norm (i.e., least affect second-order model evolution dynamics).
G.
[Equation]
[Figure]
[Equation]
This subsection provides scatter plots demonstrating the highly correlated nature of Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) and Θ Tp ( t ) g ( Θ ( t )) .
The correlation is averaged over 3 seeds and plots are for 1 seed.
As can be seen in the plots, the measures are highly correlated throughout model training, indicating gradient-norm increase may severely affect model loss if a partially trained or completely trained model is pruned using Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) .
[Figure] [Figure]
[Figure]
G. L AYER - WISE P RUNING R ATIOS
In Table we showed that in a few epochs of training, when reduction in loss can be attributed to training of earlier layers (Raghu et al.
, GraSP without large temperature chooses to prune earlier layers aggressively.
This failure mode is an inherent tendency of GraSP, since GraSP assigns least importance to parameters whose removal maximally increases model loss (see Observation 5 in
Section 4.3).
To further elaborate on this comment we ﬁrst provide layer-wise pruning ratios of models pruned using different variants of gradient-norm based pruning–i e., GraSP with large temperature (GraSP (T=200)), Gradient norm preservation (|GraSP|) and GraSP without large temperature (GraSP (T=1)).
Figure 16 provides results for VGG-13 models; Figure 17 provides results for MobileNet-V models; and Figure 18, Figure 19, and Figure 20 provide results for block-1, block-2, and block-3 of
ResNet-56 models, respectively.
For sequential architectures (VGG-13 and MobileNet-V1), we can vividly see earlier layers are pruned aggressively.
For ResNet-56, we ﬁnd that in any given residual module, the ﬁrst convolutional layer is pruned a lot more.
This holds well with our claim that GraSP removes parameters which maximally increase the model loss, for removing parameters from the ﬁrst convolutional layer in a residual module will completely block signal propagation for that module.
The remaining pruning budget can then be used to remove parameters from the ﬁrst convolutional layer of other residual modules, instead of focusing on the Layer-2 of the same module.
Note that this behavior becomes more explicit as several rounds of pruning are used and invariably earlier Layer-1’s
in earlier blocks are pruned more.
Overall, across all models, GraSP without large temperature prunes earlier layers very aggressively.
This permanently damages the model and thus the accuracy of low-temperature GraSP is much lower than other variants of gradient-norm based pruning.
Even for GraSP with large temperature, when more rounds of pruning are used, use of large temperature is unable to satisfactorily avoid aggressive pruning in earlier layers (e.g., see Figure 17c).
Only Gradient norm preservation is able to avoid this failure mode, and does so across all models and settings.
From a more theoretical standpoint, one can again employ gradient ﬂow to better understand this behavior.
In particular, Equation 6 shows model loss ( L ( t ) ) over time reduces in proportion to negative of the gradient norm.
For example, if a model has N layers and Θ n ( t ) , g ( Θ n ( t )) denote parameters, gradient of the n th layer, then the model loss reduces at the following rate:
[Equation]
This implies, at any given time, if a layer has a higher gradient norm, it contributes more to reduction in loss.
This makes parameters of that layer an appropriate candidate for removal by GraSP.
We plot the layer-wise gradient norm of different models trained on CIFAR-100 over time (see
Figure 21).
As can be evidently seen, gradient norm is highest for the earlier layers in the beginning.
Later in training, especially after the learning rate is dropped ( 80 th epoch), it is difﬁcult to discern which part of the model has a higher gradient norm.
Overall, this experiment provides further evidence that early-on in training, reduction in model loss can be majorly attributed to the optimization of parameters in the earlier layers, as noted by Raghu et al.
(2017) through the use of SVCCA.
This leads to aggressive pruning of earlier layers when GraSP is used as an importance measure.
Gradient norm preservation, however, is able to avoid this failure mode.
[Figure] [Figure]
wise pruning ratios for MobileNet-V1 with a target ratio of 65% pruning.
Results are provided for pruning over (a) 1 round, (b) 5 rounds, and (c) 25 rounds.
When the model is allowed to train even slightly, GraSP without temperature prunes earlier layers very aggressively.
[Figure] [Figure]
[Figure] [Figure]
in Figure
Figure Figure
G. T RAIN /T EST C URVES FOR G RADIENT - NORM B ASED P RUNING V ARIANTS
This subsection provides train/test curves for different variants of gradient-norm based pruning methods considered in this paper.
These curves demonstrate the large temperature GraSP variant does not improve convergence rate substantially, if ever, in comparison to gradient-norm preservation.
On the other hand, it does result in signiﬁcant performance loss when the model is even slightly trained
. G.3. VGG-
[Figure]
[Figure]
H R ESULTS ON U NSTRUCTURED P RUNING
The experiments in this paper focus on structured pruning, which enables acceleration on commodity hardware resources without requirement of specially designed hardware/software.
However, note that our theoretical analysis is independent of the pruning setup used.
Thus, we revisit some of our experiments under an unstructured pruning setup, hence demonstrating the empirical generality of our results.
H. O BSERVATIONS 2/
In Observation 2 (see Section 4.2), we show that loss-preservation based pruning techniques tend to remove ﬁlters with minimal movement in their magnitude.
This leads us to Observation 3 (see
Section 4.2), which shows that with the added heuristic of "train until minimal change" (You et al.
(2020)), where magnitude-based pruning removes parameters with small magnitude and minimal change, magnitude-based pruning implicitly performs loss-preservation as well.
The main paper veriﬁes this claim at a ﬁlter-level granularity (structured pruning) for models trained on CIFAR-
(see Figure 2).
In Figure 31, we show that even when analyzed at a ﬁner granularity of parameters (unstructured pruning) in convolutional ﬁlters, our claim continues to hold well.
In particular, we show that as training continues and change in parameters reduces, | Θ p ∆ Θ p | becomes highly correlated with losspreservation based importance ( | Θ p ( t ) g ( Θ ( t )) | ).
This demonstrates that our observations relating magnitude-based pruning and loss-preservation pruning continue to hold well in an unstructured pruning setup too.
[Figure]
to decide when to prune a model.
In contrast to You et al.
, these masks function on a parameter level granularity, as used in unstructured pruning.
We note that as the distance between pruning masks over consecutive epochs reduces, | Θ p ∆ Θ p | becomes more correlated with loss-preservation importance.
H. O BSERVATION
Observation 4 indicates gradient-norm based pruning (i.e., GraSP Wang et al.
(2020)) removes parameters which maximally increase model loss.
The main paper conﬁrms this claim at a ﬁlter-level granularity (structured pruning) for CIFAR-100 models (see Figure 3), showing that there exists a high correlation between Θ p ( t ) H ( Θ ( t ))
g ( Θ ( t )) and Θ p ( t ) g ( Θ ( t )) for this particular setting.
This subsection generalizes this claim to an unstructured pruning setup by providing scatter plots demonstrating the highly correlated nature of Θ p ( t ) H ( Θ ( t ))
g ( Θ ( t )) and Θ p ( t ) g ( Θ ( t ))
(see Figure 32 for VGG-13 models, Figure 33 for MobileNet-V1 models, and Figure 34 for ResNetmodels).
In contrast with Section G.1, where plots are visualized on a ﬁlter-level granularity, the following plots are visualized on a parameter-level granularity, as expected in an unstructured pruning setup.
As can be seen in the plots, the measures are highly correlated throughout model training, indicating gradient-norm increase may severely affect model loss if a partially trained or completely trained model is pruned using Θ p ( t ) H ( Θ ( t ))
g ( Θ ( t )) .
This demonstrates that our observations for gradient-norm based pruning continue to be valid in an unstructured pruning setup as well.
[Figure] [Figure]
[Figure]
I R ESULTS ON T INY -I MAGE N ET
To further verify our claims we repeat some of our experiments on Tiny-ImageNet and conﬁrm that our claims indeed generalize to the same.
I. O BSERVATIONS 2/
In Observation 2 (see Section 4.2) we show that loss-preservation based pruning techniques tend to remove ﬁlters with minimal movement in their magnitude.
This leads us to Observation 3 (see
Section 4.2), which shows that with the added heuristic of "train until minimal change" (You et al.
(2020)), where magnitude-based pruning removes parameters with small magnitude and minimal change, magnitude-based pruning implicitly performs loss-preservation as well.
While the main paper veriﬁes this claim on CIFAR-100 (see Figure 2), in this section we replicate this behavior on TinyImageNet.
As shown in Figure 35, we indeed ﬁnd that lower the magnitude and movement between
BatchNorm scale parameters over subsequent epochs, the higher the correlation between magnitudebased pruning and loss-preservation based pruning is.
This demonstrates that our observations relating magnitude-based pruning and loss-preservation pruning generalize to a larger scale dataset too.
[Figure]
I. O BSERVATION
Observation 4 indicates gradient-norm based pruning (i e., GraSP Wang et al.
(2020)) removes parameters which maximally increase model loss.
The main paper conﬁrms this claim for CIFARmodels (see Figure 3), showing that there exists a high correlation between Θ Tp ( t ) H ( Θ ( t ))
g ( Θ ( t )) and Θ Tp ( t ) g ( Θ ( t )) for this particular setting.
Here, we replicate this experiment and conﬁrm our observation on Tiny-ImageNet models (see Figure 36 for VGG-13 models, Figure 37 for MobileNetV1 models, and Figure 38 for ResNet-56 models).
[Figure]
[Figure] [Figure]