[論文レビュー] Parallel Quantum Computation and Quantum Codes

Cristopher Moore, Martin Nilsson|arXiv (Cornell University)|Aug 17, 1998

Quantum Computing Algorithms and Architecture参考文献 1被引用数 12

ひとこと要約

本稿では、古典的並列計算クラスNCの量子版であるQNCを導入し、量子誤り訂正符号に一般的に用いられる controlled-not ゲート、制御位相シフト、ハダマードゲートから構成される回路が対数的深さに並列化可能であることを示している。さらに、量子フーリエ変換は線形深さに並列化可能であるが、単純な「階段状」回路は線形深さ未満に短縮できない可能性が高く、QNCとQPの分離の可能性を示唆している。

ABSTRACT

We propose a definition of QNC, the quantum analog of the efficient parallel class NC. We exhibit several useful gadgets and prove that various classes of circuits can be parallelized to logarithmic depth, including circuits for encoding and decoding standard quantum error-correcting codes, or more generally any circuit consisting of controlled-not gates, controlled pi-shifts, and Hadamard gates. Finally, while we note the Quantum Fourier Transform can be parallelized to linear depth, we conjecture that an even simpler `staircase' circuit cannot be parallelized to less than linear depth, and might be used to prove that QNC < QP.

研究の動機と目的

• 古典的並列計算複雑度クラスNCの量子版を定義すること、これをQNCと呼ぶ。
• どの量子回路が対数的深さに効率的に並列化可能かを調査すること。
• 標準的な量子誤り訂正符号と基本的量子アルゴリズムの並列化可能性を分析すること。
• 並列化に抵抗する回路の特定を通じて、QNCとQPの分離の可能性を検討すること。
• 効率的並列量子計算の限界を理解するための枠組みを提供すること。

提案手法

• 多項式対数的深さと多項式サイズを持つ回路に焦点を当て、古典的NCクラスの量子版としてQNCを提案する。
• 特に制御notゲート、制御πシフト、ハダマードゲートといった特定の量子回路ガジェットを導入・分析し、効率的並列化を可能にする。
• 標準的な量子誤り訂正符号の符号化および復号化回路がO(log n)深さに並列化可能であることを示している。
• 量子フーリエ変換を分析し、線形深さに並列化可能であることを示している。これに対して、提案された「階段状」回路を対比的に検討している。
• 回路深さの分析と構造的性質を用いて、「階段状」回路が線形深さ未満に並列化できない可能性を主張している。
• 回路変換技術を用いて、特定の普遍ゲートセットがQNC制約下で効率的に並列化可能であることを示している。

実験結果

リサーチクエスチョン

• RQ1 標準的な量子誤り訂正符号を実装する量子回路は、対数的深さに並列化可能か？
• RQ2 並列量子回路モデルにおいて、量子フーリエ変換を実装するために必要な最小深さは何か？
• RQ3 線形深さ未満に並列化できない量子回路は存在するか？ これによりQNCとQPの分離が示唆されるか？
• RQ4 制御notゲート、制御πシフト、ハダマードゲートは、量子回路の並列化可能性にどのように寄与するか？
• RQ5 量子回路のどの構造的性質が、QNC下での効率的並列化の適性を決定するか？

主な発見

• 制御notゲート、制御πシフト、ハダマードゲートから構成される量子回路は、対数的深さに並列化可能であり、QNC枠組み内での効率性が確立された。
• 量子フーリエ変換は線形深さで実装可能であり、QNCモデル下でも効率的に並列化可能であることが示された。
• 単純な「階段状」回路は、少なくとも線形深さを要すると予想されており、これがQNCに属さない可能性を示唆している。
• このような回路の存在は、QNCがQPに真に含まれることを示す可能性のある候補を提供している。
• これらの結果は、多くの標準的な量子アルゴリズムおよび誤り訂正手順について、効率的並列量子計算が実現可能であることを支持している。