[論文レビュー] Simulating Concordant Computations

Bryan Eastin|arXiv (Cornell University)|Jun 23, 2010

Quantum Computing Algorithms and Architecture被引用数 12

ひとこと要約

この論文は、1量子ビットまたは2量子ビットゲートと積状態で初期化された状態からなる、一致する量子計算（ゼロの量子ディスカードを生成するもの）を、古典的アルゴリズムで効率的にシミュレートする手法を提示している。主な結果は、このような計算が超多項式的加速を達成できるのは、量子ディスカードを生成する場合に限ることであり、これはこの設定において量子優位性を達成するにはディスカードが不可欠であることを示唆している。

ABSTRACT

A quantum state is called concordant if it has zero quantum discord with respect to any part. By extension, a concordant computation is one such that the state of the computer, at each time step, is concordant. In this paper, I describe a classical algorithm that, given a product state as input, permits the efficient simulation of any concordant quantum computation having a conventional form and composed of gates acting on two or fewer qubits. This shows that such a quantum computation must generate quantum discord if it is to efficiently solve a problem that requires super-polynomial time classically. While I employ the restriction to two-qubit gates sparingly, a crucial component of the simulation algorithm appears not to be extensible to gates acting on higher-dimensional systems.

研究の動機と目的

• 混合状態計算における量子加速を可能にする本質的資源が、エンタングルメントではなく量子ディスカードであるかどうかを調査すること。
• 量子ディスカードがゼロである、つまり一致する量子計算—これらは古典的に効率的にシミュレート可能かどうかを特定すること。
• 量子ディスカードの欠如と量子計算における古典的シミュレーション可能性との間の明確な形式的関係を確立すること。
• このシミュレーション手法をキュービットおよび2キュービットゲートを超えて一般化する際の限界を調査すること。

提案手法

• シミュレーションアルゴリズムは、ユニタリゲートと射影測定の下での密度行列の時間発展を追跡し、一致する状態が単純な固有基底構造を保存することを活用する。
• ゲートの作用が現在の状態の固有基底と可換かどうかを判断するための縮退診断技術を用い、効率的な古典的追跡を可能にする。
• 1または2キュービットにおける置換の線形性に依存しており、ゲートの適合性を確認するための小さな基底ベクトルの集合をチェックすることで実現できる。
• 積状態入力の場合、状態は明示的に格納・更新され、測定によってランクが保存または減少するため、計算の扱いやすさが保証される。
• 測定結果の下での縮退診断の適応により、非標準形式へのアルゴリズムの拡張が可能になる。
• 重要な技術的要素として、ゲートが条件 $ \rho^0 \neq P^\dagger Q P \rho^0 P^\dagger Q P $ を満たすかどうかを検証することであり、これが高次元に一般化された場合、3-SAT問題に帰着する。

実験結果

リサーチクエスチョン

• RQ1 量子ディスカードを生成しない一致する量子計算—つまり、古典的コンピュータ上で効率的にシミュレート可能かどうか？
• RQ2 混合状態量子計算における超多項式的加速を達成するため、量子ディスカードは必須の資源であるか？
• RQ3 このシミュレーション手法は、キュービットおよび2キュービットゲートを超えてどの程度一般化可能か？
• RQ4 エンタングルメントが最小限であるが、それでも加速が可能なDQC1モデルにおいて、量子ディスカードの役割は何か？
• RQ5 少数の純粋な積状態の混合状態を入力とする場合、このシミュレーション手法は拡張可能か？

主な発見

• 1キュービットまたは2キュービットゲートで構成され、積状態で初期化された一致する量子計算は、古典的に効率的にシミュレート可能である。
• このシミュレーションアルゴリズムは、キュービット数およびゲート数に対して多項式時間で実行され、ディスカードなしの計算の古典的シミュレーション可能性を示している。
• この手法は、より高次元の系（クーディット）に一般化できない。なぜなら、2段階を超える置換は一般に線形でないため、核心的な縮退チェック機構が破壊されるからである。
• 任意のゲート集合へのアルゴリズムの直接的な拡張は、3-SAT問題の効率的解法を意味し、これはNP完全問題であるため、このような一般化はあり得ない。
• 結果は、混合状態計算における量子優位性の本質的資源が量子ディスカードであるという仮説を支持しており、特にエンタングルメントが存在しない状況において顕著である。
• 少数の純粋な積状態の混合状態を入力とする場合、低ランク状態の追跡により、シミュレーションは依然として効率的である。