[論文レビュー] Oscillator-based Ising Machine

Tianshi Wang, Jaijeet Roychowdhury|arXiv (Cornell University)|Sep 23, 2017

Quantum Computing Algorithms and Architecture参考文献 34被引用数 47

ひとこと要約

本論文は、非線形自己駆動型発振器に基づく新しいイジングマシンアーキテクチャを提案する。ここで二値論理は、準高調波注入ロック（SHIL）を用いた発振子位相に符号化される。これらの発振子を設計された相互作用で結合することで、系はイジングハミルトニアンを最小化し、シミュレーションにおいて2000変数のMAX-CUT問題で最先端の性能を達成した。平均的な解の質は、既存のイジングマシンを上回った。

ABSTRACT

Many combinatorial optimization problems can be mapped to finding the ground states of the corresponding Ising Hamiltonians. The physical systems that can solve optimization problems in this way, namely Ising machines, have been attracting more and more attention recently. Our work shows that Ising machines can be realized using almost any nonlinear self-sustaining oscillators with logic values encoded in their phases. Many types of such oscillators are readily available for large-scale integration, with potentials in high-speed and low-power operation. In this paper, we describe the operation and mechanism of oscillator-based Ising machines. The feasibility of our scheme is demonstrated through several examples in simulation and hardware, among which a simulation study reports average solutions exceeding those from state-of-art Ising machines on a benchmark combinatorial optimization problem of size 2000.

研究の動機と目的

• 非線形発振子を用いたスケーラブルで低消費電力な物理的アーキテクチャを、組合せ最適化問題を解くために開発すること。
• 位相に基づく符号化により、ほぼ任意の自己駆動型非線形発振子が二値論理素子として機能できることを示すこと。
• SHILとラプラウス関数に基づくエネルギー力学を用いて、結合された発振子がイジングハミルトニアンを最小化できることを示すこと。
• ベンチマーク最適化問題における性能を、シミュレーションおよびハードウェアプロトタイプにより検証すること。
• 発振子ネットワークを用いた可逆ブール論理計算の可能性を検討すること。

提案手法

• 準高調波注入ロック（SHIL）を用いて、180°の位相差を持つ二値的安定な位相ロック状態を生成し、発振子位相に二値符号化を実現する。
• 時間変動する駆動力とノイズを含む、カウラモトモデルに基づく位相マクロモデルを用いて、結合発振子系をモデル化する。
• ラプラウス関数を介して、発振子ネットワークのエネルギー関数をイジングハミルトニアンにマッピングし、低エネルギー状態への収束を保証する。
• 局所的最小値から脱出するために、発振子ダイナミクスにおけるノイズ振幅を徐々に減少させることで、シミュレーテッドアニーリングを適用する。
• 特定の最適化問題（例：MAX-CUT やハーフアダー論理）を符号化するために、結合行列（J_ij）と局所的磁場（h_i）を設計する。
• トランスジェントシミュレーションとハードウェアプロトタイプを用いて、ベンチマーク問題における性能を検証する。

実験結果

リサーチクエスチョン

• RQ1 非線形自己駆動型発振子の広いクラスが、位相に基づく論理符号化を用いてイジングマシンを実装できるか？
• RQ2 結合発振子のエネルギー関数とイジングハミルトニアンの関係は何か？また、効果的に最小化可能か？
• RQ3 発振子ベースのイジングマシンは、大規模な組合せ最適化問題において、既存の最先端のイジングマシンを上回る性能を発揮できるか？
• RQ4 発振子の中心周波数におけるプロセス変動が、発振子ベースのイジングマシンの性能に与える影響は何か？
• RQ5 発振子ネットワークを用いて、ハーフアダー計算のような可逆論理問題を、イジングハミルトニアンに符号化することで解けるか？

主な発見

• 発振子ベースのイジングマシンは、シミュレーションにおいて2000変数のMAX-CUTベンチマーク問題で、最先端のイジングマシンを上回る平均的な解の質を達成した。
• 発振子の中心周波数における変動に対しても、性能が著しく影響を受けないという高いロバスト性を示した。
• 問題サイズが増加しても計算時間はほぼ一定であり、主に発振子技術固有の速度に依存してスケーリングする。
• ハーフアダー論理の例では、方程式 a + b = 2c + s がイジングハミルトニアンに正しく符号化され、入力または出力をピン留めした場合に、シミュレーションで正しい解に収束することが確認された。
• 自己駆動型発振子と位相ベースの符号化の使用は、変動耐性とエネルギー効率の面で、CMOSベースの手法に比べて潜在的な利点を提供する。
• 理論的解析により、結合発振子系のラプラウス関数がイジングハミルトニアンに対応することが確認され、アニーリング条件下で低エネルギー状態への収束が保証された。