[論文レビュー] The lambda-q calculus can efficiently simulate quantum computers

Philip Maymin|arXiv (Cornell University)|Feb 26, 1997

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

ひとこと要約

本稿では、lambda-q計算が、量子チューリング機械（QTM）を効率的にシミュレートできることを示している。その根拠として、QTMと計算的に同等であることが知られている1次元分割量子セルオートマトン（1d-PQCA）を模倣することで実現されている。主な貢献は、lambda-qが充足可能性問題を含むNP完全問題を効率的に解けることであり、これはQTMが同様の問題を効率的に解けないという広く信じられている考えに反して、lambda-qが量子コンピュータを上回る能力を有する可能性を示唆している。

ABSTRACT

We show that the lambda-q calculus can efficiently simulate quantum Turing machines by showing how the lambda-q calculus can efficiently simulate a class of quantum cellular automaton that are equivalent to quantum Turing machines. We conclude by noting that the lambda-q calculus may be strictly stronger than quantum computers because NP-complete problems such as satisfiability are efficiently solvable in the lambda-q calculus but there is a widespread doubt that they are efficiently solvable by quantum computers.

研究の動機と目的

• lambda-q計算が量子計算モデルを効率的にシミュレートできることを確立すること。
• lambda-q計算と、量子チューリング機械と同等であることが知られている量子セルオートマトン（1d-PQCA）を結びつけること。
• lambda-qが、特にNP完全性に関して、量子チューリング機械よりも計算上の利点を有するかどうかを調査すること。
• 量子オートマトンの状態と遷移振幅を、重ね合わせと振幅処理を伴うlambda-q項に形式的に翻訳すること。

提案手法

• 比較のためのチャーチ数を用いて、1d-PQCAの状態をlambda-q項に翻訳し、単射符号化を行う。
• 受理状態とセルの位置をlambda-q項として符号化し、オートマトンの構成を再現する。
• 1d-PQCAにおける量子状態の空間的再配置をシミュレートするための置換項Pを構築する。
• 局所的遷移行列Λを、状態値の条件付きチェックによって重ね合わせを計算するlambda-q項Lに翻訳する。
• 符号付きカウント（a_i, b_i, n_i）を用いてlambda-qにおける量子重ね合わせを表現し、振幅を整数重み付き項として符号化する。
• 構文的かつ単射的な関数cを用いて、lambda-qの重ね合わせを1d-PQCAの構成にマッピングし、構造的メタデータを除去して状態データのみを抽出する。

実験結果

リサーチクエスチョン

• RQ1 lambda-q計算は、1次元分割量子セルオートマトン（1d-PQCA）を効率的にシミュレートできるか？
• RQ2 lambda-q計算は、多項式オーバーヘッドで量子チューリング機械（QTM）をシミュレートできるか？
• RQ3 lambda-q計算は、NP完全問題の解決において、量子チューリング機械よりも計算上の優位性を有するか？
• RQ4 lambda-q計算は、純粋関数型で型付きの構成子のみを用いて、重ね合わせとユニタリ遷移を効率的に扱えるか？
• RQ5 量子振幅行列とlambda-q項の間に、計算的同等性を保つ形式的な対応関係が存在するか？

主な発見

• lambda-q計算は、量子チューリング機械と計算的に同等である1d-PQCAを効率的にシミュレートできる。
• 遷移行列をlambda-q項に多項式時間で翻訳することで、重ね合わせと振幅構造が保持される。
• lambda-q計算は、整数重み付き項（a_i, b_i, n_i）を用いて量子重ね合わせを表現でき、有理数振幅の正確な算術シミュレーションが可能である。
• lambda-qの重ね合わせから1d-PQCAの構成へのマッピングは単射であるため、状態間に1対1の対応が保証される。
• lambda-q計算は、充足可能性問題を含むNP完全問題を効率的に解くことができ、これは量子チューリング機械が同様の問題を効率的に解けないという広く信じられている考えに反する。
• 本稿は、lambda-q計算が、NP完全問題を効率的に解ける能力があることから、量子チューリング機械よりも厳密に強力である可能性があると結論づけている。