Pruningには大きなモデルは必要ない?自動的にスパースネットワークを見つける!
3つの要点
✔️ l0l0正則化の新しい近似法による新しいPruning手法の提案
✔️ 大きさや勾配などのヒューリスティックベースのPruningよりも高性能
✔️ サブネットワーク探索を並列で実行した場合、特に効率的
Winning the lottery with continuous sparsification
written by Pedro Savarese, Hugo Silva, Michael Maire
(Submitted on 11 Jan 2021)
Comments: Published as a conference paper at NeurIPS 2020
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
code:![]()
はじめに
Pruningはディープニューラルネットワークの重みを削減し、軽量なモデルを作成するために使用される手法です。従来は、ネットワークの重みや勾配を用いたヒューリスティックな方法で枝を刈る手法が主でしたが、それらの指標が本当に枝刈りの指標として適しているかは明瞭ではありません。
本論文では、ヒューリスティックではない手法としてl0l0正則化を用いて最適な枝刈りを提供します。また、Lottery Ticket Hypothesis(宝くじ仮説)と組み合わせることで、l0l0正則化によるサブネットワーク探索手法を提供します。
実験では宝くじ仮説のIterative Magnitude Pruningと比較してサブネットワークの探索において、よくスパース化されたネットワーク、より精度の良いネットワークを見つけています。
l0l0正則化によるPruning
ネットワークの重みがゼロになる、すなわち疎になるように制約をかける正則化手法が l0l0正則化です。l0l0 をロス関数に追加することで、ネットワークの学習中に適切にネットワークの刈込が可能になります。また、ヒューリスティックな指標ではないため、ネットワークが自動的に削除するべき重みを見つけてくれます。
しかしながら、l0l0正則化は微分不可能です。そのため、対応策として従来の研究では0、1のマスクを生成する確率分布を使用していました。ですが、分布のバイアスや分散によって生成されるマスクが安定しない問題があります。また、宝くじ仮説におけるサブネットワーク探索手法ではヒューリスティックな指標でネットワークを削減していますが、それらの指標が明確に削減すべき重みを示しているかは明らかではありません。
したがって、本論文ではl0l0正則化の数式を見直し、決定論的なl0l0正則化を近似する手法を提案し、その手法をサブネットワーク探索に応用することで、SOTAを達成しています。
提案手法(Continuous Sparsification)
始めにネットワークffのロスを最小化する際にペナルティ項として、重みwwに対してl0l0正則化を使用します。正則化項を含んだロス最小化問題はminw∈RdL(f(⋅;w))+λ⋅‖w‖0minw∈RdL(f(⋅;w))+λ⋅∥w∥0
次に、マスクm∈{0,1}dm∈{0,1}dを導入します。minw∈Rd,m∈{0,1}dL(f(⋅;m⊙w))+λ⋅‖m‖1minw∈Rd,m∈{0,1}dL(f(⋅;m⊙w))+λ⋅∥m∥1
マスクmmはブーリアンのため、|m‖0=|m‖1|m∥0=|m∥1です。そのため、l0l0正則化をl1l1正則化に変えることができます。mmはブーリアンのため、最急降下法で微分不可能です。ペナルティ項を微分可能にするために最初にヘヴィサイド関数を導入します:minw∈Rd,s∈Rd≠0L(f(⋅;H(s)⊙w))+λ⋅‖H(s)‖1。minw∈Rd,s∈Rd≠0L(f(⋅;H(s)⊙w))+λ⋅∥H(s)∥1。
sは新しく最小化するための変数で、ヘヴィサイド関数によってsがプラスであれば、マスクは1、マイナスであればマスクは0になります。次に、さらに式を微分可能に変形します。
微分可能に変形した式は、Lβ(w,s):=L(f(⋅;σ(βs)⊙w))+λ⋅‖σ(βs)‖1です。新たにシグモイド関数σを使用しています。また、β∈[1,∞)は、学習時にユーザが決定するハイパーパラメータになります。
βをinftyに近づけると、limβ→∞σ(βs)=H(s)が成り立ちます。一方、β=1の時はσ(βs)=σ(s)が成り立ちます。したがって、以下の式が成り立ちます。
minw∈Rds∈Rd≠0limβ→∞Lβ(w,s)=minw∈Rds∈Rd≠0L(f(⋅;H(s)⊙w))+λ⋅‖H(s)‖1
βはハイパーパラメータとして、計算の難しさを制御します。学習中にβを徐々に増加させることによって、難解な問題を近似することに成功する可能性があります(数値接続に由来します)。
実験結果
本論文では、主に宝くじ仮説に基づくサブネットワーク生成の性能比較と従来のPruningとの性能比較を行っています。最初に提案手法を大きさベースのプルーニングであるIterative Magnitude Pruningとサブネットワークの生成能力の観点から比較しました。
CIFAR-10で学習したVGG-16とResNet-20でサブネットワークの探索を行っており、どちらにおいても提案手法(CS)が優位な結果になっています。
Iterative Mag.Prは通常の宝くじ仮説で使用された大きさベースのサブネットワーク探索手法です。通常は枝刈りを複数のラウンドに分けて行う際に、一回のラウンドで学習した重みを初期の重みにリセットするのですが、Iterative Mag.Pr (continued)では、ラウンドが切り替わる際にも思いをリセットさせなかった場合です。
CSは提案手法で、CS (all runs)は各実験の結果をまとめて、各点をつなげた結果です。ここで面白いのは、提案手法は枝刈り率を高くしても精度が落ちにくいところです。この効果は極限まで枝刈りをする時に有効に働くと思います。
ベースラインのネットワークと同等の性能を維持したまま、最も疎なネットワークの比較においても、提案手法はVGG-16において、1.7 %、ResNet-20においても、12.3 %とより疎なサブネットワークを見つけることができています。
最も良い性能のサブネットワークの比較においてもVGG-16において、93.45 %、ResNet-20においても、91.54 %と高精度なネットワークを見つけています。また、精度が良いにも関わらず、高い枝刈り率を達成しています。IMPと比較すると学習にかかるラウンド数が圧倒的に少ないです。したがって、素早くサブネットワークを見つけることが可能になっています。次に、従来のヒューリスティックなPruning手法と提案手法との比較結果です。
従来のヒューリスティックな手法と違い、突然の精度の低下がなく、高い精度を維持していることが分かります。また、従来のL0正則化による手法は不安定なため、VGG-16及びResNet-20両者において最も悪い結果ですが、提案手法では決定論的な関数を導入したことで、安定性が向上しています。
まとめ
本論文では、従来のl0正則化によるPruningが不安定である問題とサブネットワーク探索手法においてヒューリスティックな手法しかなく、その正当性を評価できない問題に対処するために、新しいl0正則化近似手法を提案し、サブネットワーク探索に応用することで、サブネットワーク探索及びPruning両者においてSOTAを達成しています。
提案手法は刈込率が高くても、精度を維持しており他の手法より優れている点であるとかんじました。また、並列計算が可能な環境であれば、圧倒的に速くサブネットワークを見つけることができるため、近年の計算環境により適した手法であると思います。
特に興味を引く点は、提案手法は少ないラウンドでスパースかつ高精度のネットワークを見つけていることです。従来のPruningでは、直接小さなモデルを作ることが大変なため、大きなモデルから小さなモデルを作成することが一般的でした。しかし、提案手法では、元のネットワークの学習途中の早い段階で、良いサブネットワークを見つけています。これは、従来のトレーニング後に行うPruningに疑問を投げかけるものであると思います。
本論文でも述べられていますが、サブネットワークは似たような異なるタスク間で移行できることが示されているため、転移学習とPruningの組み合わせも面白いテーマであると思います。
この記事に関するカテゴリー