[論文レビュー] A quantum circuit for OR

Howard Barnum, H. J. Bernstein+1 more|ArXiv.org|Jul 16, 1999

Evolutionary Algorithms and Applications参考文献 1被引用数 5

ひとこと要約

本論文では、1回の関数評価で古典的手法よりも高い信頼性で $f(0)$ と $f(1)$ の論理的ORを計算する量子回路を提示している。遺伝的プログラミングを用いて、ORの量子高速化を達成する回路が設計され、XORと同様に、将来的なアルゴリズム的応用に向けた基本的な量子計算サブルーチンとしての役割を果たす可能性を有する。

ABSTRACT

We give the first quantum circuit for computing $f(0)$ OR $f(1)$ more reliably than is classically possible with a single evaluation of the function. OR therefore joins XOR (i.e. parity, $f(0) \oplus f(1)$) to give the full set of logical connectives (up to relabeling of inputs and outputs) for which there is quantum speedup. The XOR algorithm is of fundamental importance in quantum computation; our OR algorithm (found with the aid of genetic programming), may represent a new quantum computational effect, also useful as a ``subroutine''.

研究の動機と目的

• 1回の関数評価で、古典的手法よりも高い信頼性で $f(0)$ と $f(1)$ のORを計算する量子回路を開発すること。
• XORと同様に、ORに関しても量子高速化が可能であり、量子アルゴリズムにおける基本的なサブルーチンとして機能するかを検討すること。
• 進化計算技術を用いたエボリューション型の量子回路設計により、新たな量子計算効果を示すこと。
• 将来的なより大きな量子アルゴリズムにおける構築ブロックとして利用可能な、新規の量子回路を貢献すること。

提案手法

• 著者らは、1回の関数評価で古典的手法よりも高い忠実度で $f(0) \text{ OR } f(1)$ を計算できる量子回路を探索するために遺伝的プログラミングを採用している。
• 回路は2キュービットの入力状態を処理し、関数値 $f(0)$ と $f(1)$ を符号化し、ユニタリ変換を適用してORの結果を計算するように設計されている。
• 重ね合わせともつれを用いて関数をコherentな重ね合わせ状態で評価し、干渉に基づく計算によりOR関数を実現している。
• 誤差を最小限に抑え、正しいOR出力が測定される確率を最大化するように回路が最適化されている。
• 最終的な回路はシミュレーションと解析を通じて検証され、古典的手法の1回評価戦略よりも信頼性が向上していることが示された。
• 設計プロセスでは、量子干渉と制御ユニタリ操作を用いて関数評価からOR結果を抽出することに重点が置かれている。

実験結果

リサーチクエスチョン

• RQ1 1回の関数評価で、古典的手法よりも高い信頼性で2つの関数値のORを計算できる量子回路は存在するか？
• RQ2 XOR（パリティ）関数と同様に、OR関数に対しても量子高速化が可能であるか？
• RQ3 遺伝的プログラミングは、基本論理演算のための新規量子回路を効果的に発見できるか？
• RQ4 量子干渉と重ね合わせを用いてORを計算する量子回路の構造と動作特性は何か？
• RQ5 本回路によるOR計算は、将来的なアルゴリズム再利用が可能な、新たな量子計算効果と見なせるか？

主な発見

• 提案された量子回路は、1回の関数評価で、いかなる古典的手法よりも高い信頼性で $f(0) \text{ OR } f(1)$ を計算する。
• 回路はOR関数に対して量子高速化の一種を示しており、XORと同様に、基礎的な量子計算的有用性を持つという点で同等の位置づけにある。
• 遺伝的プログラミングを用いた手法により、OR用の動作する量子回路が成功裏に生成された。これは、自動化された量子アルゴリズム設計の可能性を示している。
• 回路の性能は、特に誤差を最小限に抑え、正しい出力の確率を最大化する点で、古典的手法の1回評価アプローチを上回っている。
• 設計は、将来の量子アルゴリズムにおける有用なサブルーチンとして機能する可能性を秘めた、新たな量子計算効果を示唆している。
• 回路の構造と動作はシミュレーションにより検証され、正しさと向上した信頼性が確認された。