[論文レビュー] Experimental Demonstrations of Native Implementation of Boolean Logic Hamiltonian in a Superconducting Quantum Annealer

Daisuke Saida, Yuki Yamanashi+5 more|arXiv (Cornell University)|Jun 16, 2021

Quantum Computing Algorithms and Architecture参考文献 21被引用数 5

ひとこと要約

この論文は、余分なqubitを一切使わず、超伝導量子アニーリング装置にブール論理ハミルトニアン（特にNAND、NOR、6キュービット乗算器）をネイティブに実装することを示した。この手法により、回路充足可能性問題（特に乗算器ハミルトニアンによる因数分解を含む）が効率的かつスケーラブルに解けるようになり、実デバイスでも実験的に検証された。

ABSTRACT

Experimental demonstrations of quantum annealing with native implementation of Boolean logic Hamiltonians are reported. As a superconducting integrated circuit, a problem Hamiltonian whose set of ground states is consistent with a given truth table is implemented for quantum annealing with no redundant qubits. As examples of the truth table, NAND and NOR are successfully fabricated as an identical circuit. Similarly, a native implementation of a multiplier comprising six superconducting flux qubits is also demonstrated. These native implementations of Hamiltonians consistent with Boolean logic provide an efficient and scalable way of applying annealing computation to so-called circuit satisfiability problems that aim to find a set of inputs consistent with a given output over any Boolean logic functions, especially those like factorization through a multiplier Hamiltonian. A proof-of-concept demonstration of a hybrid computing architecture for domain-specific quantum computing is described.

研究の動機と目的

• 超伝導量子アニーリング装置において、ブール論理関数をハミルトニアンとして直接的・ネイティブに実装すること。
• 論理関数を符号化する際のアシスタントqubitや冗長qubitの必要性を排除し、スケーラビリティとリソース効率を向上させること。
• 乗算器ハミルトニアンを通じた因数分解を含む、複雑な問題への実用的応用を示すこと。
• ネイティブ論理符号化を用いたハイブリッド量子古典アーキテクチャの妥当性を検証し、ドメイン特化量子コンputingに応用すること。
• 最小限のオーバーヘッドで回路充足可能性問題を量子アニーリングにより解くための概念実証を提供すること。

提案手法

• 目的のブール関数（例：NAND、NOR）の真理値表と正確に一致する基底状態を持つ問題ハミルトニアンの設計。
• チューナブルな結合子とqubit・結合パラメータの精密制御を用いて、これらのハミルトニアンを超伝導フラックスqubitプロセッサに直接実装。
• アシスタントqubitを一切使わず、最小限のqubitオーバーヘッドでブール論理関数をイジングハミルトニアンにマッピング。
• 量子アニーリングを用いて、構築したハミルトニアンの基底状態（妥当な入出力組合せに対応）を準備。
• 測定による出力状態の確認を通じて、結果が期待される真理値表と整合することを検証。
• より大きな実用的論理回路向けの可能性を示すために、6キュービット乗算器ハミルトニアンへのスケーリングを実施。

実験結果

リサーチクエスチョン

• RQ1 余分なqubitを一切使わず、超伝導量子アニーリング装置にブール論理関数をネイティブに符号化できるか？
• RQ2 量子アニーリングは、NANDやNORのような複雑な論理関数に対応するハミルトニアンの基底状態をどの程度正確に準備できるか？
• RQ3 実際の量子アニーリングデバイス上で、乗算器ハミルトニアンを成功裏に実装・検証できるか？
• RQ4 回路充足可能性問題の文脈において、ネイティブ論理符号化のスケーラビリティと忠実度はいかがなっているか？
• RQ5 qubit効率性とパフォーマンスの観点から、従来の埋め込み手法に比べてネイティブ実装はどのように異なるか？

主な発見

• NANDおよびNOR論理関数が、同じ超伝導量子アニーリングチップ上で成功裏に実装・検証され、異なる論理関数に対しても同一の回路設計が可能であることが示された。
• 6キュービット乗算器ハミルトニアンが実験的に実現・検証され、大規模な論理計算への実現可能性が示された。
• 構築したハミルトニアンの基底状態が、高い忠実度で期待される真理値表出力と一致しており、正しい論理符号化が確認された。
• アシスタントqubitや冗長qubitを一切使用せず、qubit効率が顕著に向上したネイティブ実装が達成された。
• 実験結果は、ドメイン特化量子コンピューティングにおける回路充足可能性問題の解法に、ネイティブ論理ハミルトニアンを用いることが実用的であることを支持している。
• ハイブリッドアーキテクチャは、因数分解を実現する乗算器回路を含む、実用的量子ワークロードへのネイティブ論理ハミルトニアンの統合の概念実証を示した。