私の研究は連想記憶の高次元化が中心で、Hopfield Network またはその亜種を高次元化して使います。Hopfield Network の主な用途は最適化問題と連想記憶です。Hopfield Network の高次元化は連想記憶では成功していますが、最適化問題では成功した例を知りません。Hopfield Network の解説は他に多く見つかると思いますので、ここでは高次元化に向けてのポイントに焦点を当てます。また、今回触れるのは Hopfield Network の構造のみで連想記憶には触れません。
Hopfield Network の基礎理論
Hopfield Network はニューロンとその間を繋ぐ結合荷重から構成されます。各ニューロンは のいずれかの状態を取ります。個のニューロンがあり、 で 番目のニューロンを表す。また、ニューロンの状態も と記す。 から への結合荷重を で表す。Hopfield Network には結合に対称性制約 が課されます。このため、 を 間の結合と呼んでも良いことになります。 の場合は自己結合を表すが、自己結合はないものとする。すなわち となります。対称性制約のおかげで、Hopfield Network は収束性(安定状態に到達すること)が保証されます。
Hopfield Network の動作を定義します。あるニューロン1つを選び、これをあるルールで更新します。 が選ばれたとしましょう。 への入力和を で定義します。これは、 の情報を への結合荷重 で増幅して伝えていると解釈できます。 は入力和 を受け取り、次の活性化関数を使って状態を更新します。
の場合は元の状態を維持するものとします。 の更新後の状態を とすると となります。この操作によって状態が変更されることもあるし、変更されないこともあります。繰り返していくと、いずれ全く変化しなくなる、すなわち収束することが Hopfield Network の利点です。収束性を示すためにエネルギーが導入されます。 とし、状態ベクトルと呼ぶことにします。エネルギーは次の式で定義されます。
和の前についている 符号は更新の度にエネルギーが減少するようにするためで、物理学の習慣に合わせたものです。 符号が無くてもエネルギーが増大するだけで、証明には差し支えありません。 は計算するときに係数が消えるようにするためで、これも本質的な意味はありません。どの を選んでも が変化しないのなら、既にその状態ベクトルは安定していると言えます。Hopfield Network の状態数は 通りです。状態に変更がある度にエネルギーが減少するならば、無限に状態の変更は生じませんので、いつかはエネルギーが極小値に到達して安定状態となります。 に状態変更があったとすると、新しい状態は となります。 更新があったのは だけですので、更新の前後で入力和 に変化はありません。したがって、 となることに注意しましょう。 をそれぞれ Hopfield Network の更新前、更新後の状態とします。 と の違いは 番目の要素のみです。 を示せば、Hopfield Network が安定状態に到達することが証明されます。 と の違いは の部分だけですので、エネルギー差を計算する上で異なる部分だけを残せばよいことになります。
に注意すると、次のようになります。
\
これで Hopfield Network が安定状態に達することが証明されました。
Hopfield Network の高次元化に向けて
上記の手順を書き換えることで Hopfield Network の高次元化を実現できます。高次元化のためにどのように書き換えれば良いかを意識しながら、Hopfield Network の理論を検証しましょう。以下、古典的な Hopfield Network を実Hopfield Network と呼びます。まず、高次元化とは何かということを考えましょう。それはニューロンの入出力を拡張することです。最初のモデルは実数から複素数への拡張でした。一般的には 次元ベクトルと見なせる集合を考えれば良いでしょう。集合と書きましたが、ここでは積が定義されている代数系をイメージしておきましょう。複素数の場合は積が定義された2次元ベクトルになります。実Hopfield Network の活性化関数の出力は2値でしたが、高次元の場合は有限個の値を選びます。複素 Hopfield Network の場合は単位円周上に等間隔に値を選びますが、これは応用上の理由で、理論構成上では有限個の値であれば十分です。連続値も可能でしょうが、構成は難しくなります。活性化関数の出力値の集合を としましょう。実Hopfield Network は2値のため出力値を から選びますが、高次元ではより多くの値から出力値を選ばなければなりません。実Hopfield Network は が正になるように を更新しています。 を1次元の内積と解釈し、双線型実数値関数 を考えて一般化します。Hopfield Network の場合は となります。Hopfield Network の更新則を入力和 に対して を最大化するように から を選んでいると解釈して、高次元化では から を最大化するように を選ぶよう定義します。活性化関数を数式で表せば、 となります。
エネルギーは と書き直せます。 を定めるとエネルギーが決まるとも言えます。活性化関数は の最大化です。エネルギーはネットワーク全体としての最大化の度合いを表すことを意図されています。 が更新されて となるときのエネルギーの変化 を考えましょう。変更のあった項だけを考慮すればよいので、次のようになります。
第1項は活性化関数の定義から負になります。 問題は第2項で、負になるように結合荷重を制限しなければなりません。 とできれば負になります。実際、次のように計算すれば負と分かります。
実Hopfield Network の場合は、 より なので、条件を満たします。結合荷重の制限については、ヘブ則を上手く定義できるような制限を考えると見つかることがしばしばあります。今回は学習については扱いませんのでヘブ則自体は解説しませんが、考え方だけ述べておきます。 を にするためには何を掛けると良いかという視点で考え、 となる を求めると となります。同様に となる を求めると となります。得られた関係から が結合荷重の制限の有力な候補となります。
おわりに
Hopfield Network の構成を高次元化に向けての視点で概観しました。次回は具体例を使って理解を深めます。