前回はParallel Scanのforwardについてある程度確かめた。今回はParallel Scanの逆伝播と状態空間モデルの離散化について確認する。
Parallel Scanの逆伝播
【2024/05/04】理解に誤りがあった部分の記述を訂正。
mamba.pyにおいてParallel Scanの逆伝播はpscan_revという新たな関数を用いて実装されている。これは「flip the input, call pscan, then flip the output」を行う操作とのことである。これで上手く計算できることを系列長4の場合を手計算して確かめる。
まず順伝播を振り返ると、結局出力する値は長さ4では
となるのだった。これの右半分に相当する部分が次の層に渡される。逆伝播ではそれぞれの要素に相当する勾配がやってくるので、およびについての勾配を求めれば良い。偏微分して
ということになる。右半分のに対応している勾配は綺麗な形をしているので順伝播の形と照らし合わせれば「flip the input, call pscan, then flip the output」であることが見えてくる。(ただしのインデックスを一つずらす必要があることに注意)
左半分のの方はやや複雑だが、順伝播時の結果のと、勾配をpscan_revしたものを上手く要素積を取るということになる。
結局mamba.pyが実装している通りでやれそうだということが確かめられた。もちろんこれを長さに対して一般化してちゃんと定式化する必要はあるが、直観的にはこのような操作でできることがわかった。
状態空間モデルの離散化
参考:zero-order hold | studywolf
(参考というか上記リンクをほぼ写しただけ)
まず微分方程式を整理する。微分方程式の操作としては基礎的なもののような気がするが、自分はこのあたりの理解が浅いので丁寧に式変形をする。
について
とまとめて、眺めていると両辺にをかけたくなる。というのも積の微分で左辺が
と変形できるからである。つまり
であり、両側を積分して
となり、を払って
が得られた。
ここから離散化のためにさらに整理する。以下ではとりあえず等幅の場合としている。本質的に等幅でないと成り立たない式変形はないと理解しているので、Mambaのように可変にすること自体は問題ないはず。タイムステップ幅をとすると個目の時間はであり、これに対応する値をと書くと
となる。のことも並べてみる
右辺第一項が上手く消えるようにすることを考えると
ゼロ次ホールド(Zero Order Hold)というのは要するに各区間で入力を一定値とみなすということだけの話らしい。つまりでが定数ということになる。
ここで、指数を積分の中に組み込んだのは変数変換をしたいからで、を考える。そうするとで、のとき、のときなので
(Aが行列の場合は逆行列が存在するとする)
以上をまとめて
が得られた。