皆さんは「トロピカル幾何」とか「トロピカル演算」とか「トロピカル代数」というものをご存じでしょうか。
名前からして面白そうだなぁ~とは思いつつ、何に使うかさっぱり分かりませんでした。ですが、先日面白い記事を見つけまして、トロピカル演算を使うとグラフの最短経路問題が解けるみたいで、
qiita.com
これができるのなら、「最短経路問題のアルゴリズムが開発されてるなら機械学習もあるやろwww」とも思うわけですよ。
で、調べたところやっぱりありまして、最近の研究*1によると、どうやらトロピカル演算を用いた
- 深層学習
- 確率グラフィカルモデル
- 線形回帰
というのはもうすでに開発されているらしい*2。
というわけで、我々はトロピカル線形回帰の奥地へと進むのであった…
この記事の方針
厳密な数学的議論というよりは、「数学的に理解する」ことを優先します。
途中、論証がガバい箇所があるかもしれませんが、赦してください。
忙しい人向け
普通の単回帰(最小二乗法)
復習ということで、通常の演算による通常の単回帰をおさらいします。
個の入力データ があるとします。
このデータを直線 に単回帰したいとします。ここで、実際にはデータがきれいに直線に乗ることはあり得ず幾らかノイズ(誤差)が入るはずなので、各データの回帰値と観測値の誤差を とすると、
\begin{align}
y_i = (ax_i+b)+\varepsilon_i
\end{align}
という関係になっているはずです。最小二乗法では、データ全体で、この誤差の2乗の和が最小になってほしいので、
\begin{align}
\|\varepsilon\|_2=\|ax_i+b-y_i\|_2=\sum_i^N(ax_i+b-y_i)^2
\end{align}
を最小化すればよいということでした(別に二乗じゃなくても何でもいいのですが、微分しやすいので二乗です)。
最終的には でそれぞれ偏微分して になるところが の最小値なので、頑張って解くと解けます*3。
単回帰の場合、行列で書くと
\begin{align}
\label{eq:vecdef}
\boldsymbol{X} =
\begin{bmatrix}
x_1 & 1 \\
\vdots & \vdots \\
x_N & 1
\end{bmatrix}
, \quad
\boldsymbol{w} =
\begin{bmatrix}
a \\
b
\end{bmatrix}
, \quad
\boldsymbol{y} =
\begin{bmatrix}
y_1 \\
\vdots \\
y_N
\end{bmatrix}
\end{align}
から、誤差
\begin{align}
\|\boldsymbol{X}\boldsymbol{w}-\boldsymbol{y}\|_2
\end{align}
を最小にする を導出すればよく、 で偏微分してよしなにやると、推定値 は結局
\begin{align}
\hat{\boldsymbol{w}}=(\boldsymbol{X}^\top \boldsymbol{X})^{-1} \boldsymbol{X}^\top \boldsymbol{y}
\end{align}
を計算すればよいということになります。
トロピカルな単回帰
さて、トロピカル版の線形単回帰をやるわけですが、その前にトロピカル半環における演算をおさらいします。
トロピカル半環とは、実数に無限小を加えた集合 に対して、加法をmax関数、乗法を + (通常の加法)で定義した代数構造(Max-plus 代数)です*4。以降、トロピカル加法を 、トロピカル乗法を と表記することにすると、トロピカル半環における加法と乗法は に対して
\begin{align}
a \oplus b & := \max(a,b) \\
a \otimes b & := a + b
\end{align}
と定義されます(半環とは何ぞや?とか、本当に半環になるのかとかまで話すとすごく長くなるのでここでは割愛します)。
ちなみに実数に無限小 を加えているのは、これが加法零元(「ゼロ」)だからです。つまり、どんな数 に対しても、トロピカル加法で を足しても のままです(計算してみてください)。
というわけで、今回回帰したい(一変数)トロピカル直線は
\begin{align}
y=a \otimes x \oplus b = \max (a+x, b)
\end{align}
となります。
さて、 個の入力データ が上記のトロピカル直線に乗っているとします。行列 、ベクトル を
\begin{align}
\boldsymbol{X} =
\begin{bmatrix}
x_1 & 0 \\
\vdots & \vdots \\
x_N & 0
\end{bmatrix}
, \quad
\boldsymbol{w} =
\begin{bmatrix}
a \\
b
\end{bmatrix}
, \quad
\boldsymbol{y} =
\begin{bmatrix}
y_1 \\
\vdots \\
y_N
\end{bmatrix}
\end{align}
とします。式\eqref{eq:vecdef}と違って の2行目が なのは、トロピカル乗法の単位元が であることに依ります(任意の元 にトロピカル乗法で を掛けても 、つまり、 だし が成り立つ)。したがって、連立方程式としては行列形式で
\begin{align}
\label{eq:tpprob}
\boldsymbol{X} \circledcirc \boldsymbol{w} = \boldsymbol{y}
\end{align}
と表すことができます。新たな記号 が出現しましたが、これはトロピカル版の行列積で*5、例えば、行列 の積の 要素は
\begin{align}
[\boldsymbol{A}\circledcirc\boldsymbol{B}]_{ij}=\oplus_{k=1}^N (a_{ik} \otimes b_{kj})=\max_k(a_{ik} + b_{kj})
\end{align}
と計算されます。これだけを見ると何だかよく分からない気もしますが、実は通常の行列積の計算方法の加法と乗法をトロピカル化しただけで、具体例で言えば、式\eqref{eq:tpprob}を計算すると、
\begin{align}
\boldsymbol{X} \circledcirc \boldsymbol{w} =
\begin{bmatrix}
x_1 & 0 \\
\vdots & \vdots \\
x_N & 0
\end{bmatrix}
\circledcirc
\begin{bmatrix}
a \\ b
\end{bmatrix}
=
\begin{bmatrix}
(x_1 \otimes a) \oplus b \\
\vdots \\
(x_N \otimes a) \oplus b
\end{bmatrix}
=
\begin{bmatrix}
y_1 \\
\vdots \\
y_N
\end{bmatrix}
= \boldsymbol{y}
\end{align}
のように式変形することができます。
本題に戻りまして、我々が何をしたかったかというと、トロピカル回帰係数 の推定でした。というわけで何か適当な -ノルムで
\begin{align}
\|\boldsymbol{X} \circledcirc \boldsymbol{w} - \boldsymbol{y}\|_p
\end{align}
を最小化するような を計算すればよいわけです。
…と言いたいところですが、残念なことに、通常の線形回帰のようには計算できません。何故かというと、トロピカル半環には逆元が存在しないからです。どういうことかというと、 に何か足したら (=トロピカル演算におけるゼロ)になるような都合のいい みたいなものが無いということです。もしあるなら
\begin{align}
a \oplus (-a) = \max(a, -a) = -\infty
\end{align}
が成り立つはずですが、そんな はどうやら無さそうです。従って微分したり逆行列を定義することができません。解けません。さあ困りましたね。
拡張
今まで に対する加法()と乗法()のMax-plus演算を考えてきたわけですが、逆元がないなら逆元っぽいのを作ってしまえばよいわけです。
Max-plus代数は、実数に無限小を加えた集合 に対して、加法をmax関数、乗法を + (通常の加法)で定義した代数構造でした。また、加法零元は 、乗法単位元は でした。まとめると、
\begin{align}
\mathbb{R}\cup\{-\infty\},\quad a \oplus b := \max(a,b), \quad a \otimes b := a + b, \quad \epsilon:=-\infty, \quad e:=0
\end{align}
ところで、 と似ている関数がありますよね。そうですね、 ですね。
Max-plus代数の集合を に、加法と加法零元を に換え、乗法、乗法単位元はそのまま()にすると、Max-plusと同様*6の体系、Min-plus代数を構成することができます。まとめると、
\begin{align}
\mathbb{R}\cup\{\infty\},\quad a \ominus b := \min(a,b), \quad a \oslash b := a + b, \quad \epsilon':=\infty, \quad e':=0
\end{align}
です。
Max-plus代数とMin-minus代数を合体させることで、あたかも加減乗除が揃ったような体系を構築することができるのですが、これらを一体の体系として扱うにはもう少し工夫が必要になります。特に、今回逆元が無くて困ってたので、これを解決したい。というわけで、例えば、 を を使って表すとどうなるでしょうか。 とすると、
\begin{align}
\max(a,b)=-\min(-a,-b)
\end{align}
が成り立ちます。マイナスを取る操作を のように表記して、これを共役元ということにすると、
\begin{align}
a \oplus b=(a^* \ominus b^*)^*
\end{align}
と書き直せます。また、通常の加法に対して
\begin{align}
a+b = -( (-a)+(-b) )
\end{align}
なので
\begin{align}
a \otimes b=(a^* \oslash b^*)^*
\end{align}
が成り立ちます。 についても成り立ちます。
今回はMax-plus代数をベースに構築したので、Min-plus代数の方を「双対」なものとします。ここまでに出てきた要素を一覧にしたものが以下の表です。
項目 | 記号 | 意味 |
---|---|---|
集合 | ||
加法 | ||
零元 | ||
双対加法 | ||
双対零元 | ||
乗法 | ||
単位元 | ||
双対乗法 | ||
双対単位元 | ||
共役元 |
最適解
ここまでくると、双対行列積(=Min-plus側の行列積)も定義することができまして、
\begin{align}
[\boldsymbol{A}\circledast\boldsymbol{B}]_{ij}:=\ominus_{k=1}^N (a_{ik} \oslash b_{kj}) = \min_k(a_{ik}+b_{kj})
\end{align}
と定義することにします。で、
\begin{align}
\boldsymbol{X} \circledcirc \boldsymbol{w} = \boldsymbol{y}
\end{align}
が解をもつなら、最大元 は
\begin{align}
\hat{\boldsymbol{w}}=\boldsymbol{X}^* \circledast \boldsymbol{y} = \left[\ominus_{i=1}^N(x_{ij}^* \oslash y_i)\right] = \left[\min_{i}(y_i - x_{ij})\right]
\end{align}
で計算することができるらしいです。イメージとしては擬逆行列 と思ってしまってもいいとは思いますが、厳密には、行列積 がガロア接続という関係にあることから導き出されます。
ガロア接続
2つの半順序集合 があったとします。
また、写像 を単調増加写像*7とします。
は
このとき、任意の や に対し、
\begin{align}
F(a) \leq b \Leftrightarrow a \leq G(b)
\end{align}
が成り立つとすれば、これをガロア接続と呼びます。
ガロア接続には激ヤバ性質がありまして、 の最大元は です*8。
で、実は行列積 は互いにガロア接続の関係にあるため*9、この性質を使えます。ここで、それぞれの作用を
\begin{align}
\delta(\boldsymbol{w}) & :=\boldsymbol{X}\circledcirc\boldsymbol{w} \\
\varepsilon(\boldsymbol{y}) & :=\boldsymbol{X}^* \circledast\boldsymbol{y}
\end{align}
と定義します。そうすると、 はガロア接続なので、
\begin{align}
\boldsymbol{X}\circledcirc\boldsymbol{w} = \delta(\boldsymbol{w}) \leq \boldsymbol{y} \Leftrightarrow \boldsymbol{w} \leq \varepsilon(\boldsymbol{y}) =\boldsymbol{X}^* \circledast\boldsymbol{y}
\end{align}
が成り立ちます。
GLE (greatest lower estimate)
を最小化しますが、 としても状況は変わらないので、この仮定を入れます。先ほどの がガロア接続なので、
\begin{align}
\boldsymbol{w} \leq \boldsymbol{X}^* \circledast\boldsymbol{y}
\end{align}
ですが、 を小さくするには なので をできるだけ大きめに取りたい。
というわけで、 の最大元は で計算できるので、最小 誤差に関する最適値 は、
\begin{align}
\hat{\boldsymbol{w}} =
\begin{bmatrix}
\hat{a} \\ \hat{b}
\end{bmatrix}
&= \boldsymbol{X}^* \circledast \boldsymbol{y} \\
&=
\begin{bmatrix}
-x_1 & \cdots & -x_N \\
0 & \cdots & 0
\end{bmatrix}
\circledast
\begin{bmatrix}
y_1 \\
\vdots \\
y_N
\end{bmatrix} \\
& =
\begin{bmatrix}
\min_i (y_i-x_i) \\
\min_i (y_i)
\end{bmatrix}
\end{align}
となります。幾何的には、データの下限にfitします。
MMAE (minimum max absolute error)
GLEによるトロピカル回帰ではデータの下限にfitしますが、もうちょいいい感じに回帰させたいわけですね。
じゃあどうするかということですが、最小 誤差の下でより良い近似解を得ます。 の最大元 に対する 誤差を
\begin{align}
\|\boldsymbol{X} \circledcirc \hat{\boldsymbol{w}} - \boldsymbol{y}\|_\infty=\|\boldsymbol{X} \circledcirc (\boldsymbol{X}^* \circledast \boldsymbol{y}) - \boldsymbol{y}\|_\infty
\end{align}
で評価できます。これは、GLE回帰直線と観測された との差の中で最大のものを計算していることになります*10。これを と置くと、
\begin{align}
\mu = \frac{1}{2}\|\boldsymbol{X}\circledcirc\hat{\boldsymbol{w}}-\boldsymbol{y}\|
\end{align}
は、GLE回帰直線からデータの中心線あたりまでの距離に相当します。この考え方をMMAE (minimum max absolute error)と呼び、MMAEによる回帰係数の推定値 は
\begin{align}
\tilde{\boldsymbol{w}} &= \hat{\boldsymbol{w}} + \mu \\
&= \boldsymbol{X}^* \circledast \boldsymbol{y} + \mu
\end{align}
で計算されます。結局、トロピカル直線 への単回帰であれば、
\begin{align}
\tilde{\boldsymbol{w}} =
\begin{bmatrix}
\tilde{a} \\ \tilde{b}
\end{bmatrix}
&= \boldsymbol{X}^* \circledast \boldsymbol{y} + \mu \\
&=
\begin{bmatrix}
-x_1 & \cdots & -x_N \\
0 & \cdots & 0
\end{bmatrix}
\circledast
\begin{bmatrix}
y_1 \\
\vdots \\
y_N
\end{bmatrix} + \mu \\
& =
\begin{bmatrix}
\min_i (y_i-x_i) + \mu \\
\min_i (y_i) + \mu
\end{bmatrix}
\end{align}
を計算すればよいわけです。
実際これで回帰を実行すると下の図のようになります。
通常の回帰直線(青)に対して、MMAEによるトロピカル回帰(緑)の方がよりデータにfitしていることがわかります。そういうデータを使ったので当然といえば当然ですが。
実装編へ続く
【理論編】ではトロピカル単回帰をどう実現するか、数学的観点から追っていきました。でもやっぱりこういうのは理論と実装の両輪が必要なんですよね。というわけで、実装や回帰結果の評価に関する具体的な話は【実装編】で述べます。
*1:P. Maragos, V. Charisopoulos and E. Theodosis, "Tropical Geometry and Machine Learning," in Proceedings of the IEEE, vol. 109, no. 5, pp. 728-755, May 2021, doi: 10.1109/JPROC.2021.3065238.
*2:ぶっちゃけトロピカルであることが何の役に立つのかはさっぱりわからない。
*3:小泉構文ではない
*4:加法をmin関数にした Min-plus代数というのもあり、これをトロピカル半環として定義する場合もあります。使用用途によって好きな方を定義すれば良いと思います。
*5:元論文では で表記されていますが、乗法なのに加法っぽい記号を使うのがなんか気持ち悪いので、本記事では で表します。
*6:つまり、双対
*7:つまり、写像 は順序を保存する。例えば、 とすると によって順序が保存されて 。 も同様。
*8:Butkovic, Peter. “Max-linear Systems: Theory and Algorithms.” (2010).
*9:なんでそうなるかはよくわからなかった
*10: ノルムを計算すると、 なので。