[論文レビュー] Quantum Complexity: restrictions on algorithms and architectures

D. J. Shepherd|arXiv (Cornell University)|May 9, 2010

Quantum Computing Algorithms and Architecture参考文献 63被引用数 7

ひとこと要約

この博士論文は、最小限の制御を持つモデル——特に一次元量子セルオートマトンや端末のみにアクセス可能なスピン鎖——を対象として、量子アルゴリズムおよびアーキテクチャの根本的制限と設計原理を調査する。本研究では、これらの制約下でも効率的な普遍的量子計算が達成可能であることを示し、IQPオракルモデルを導入。時間的構造のない量子計算でも、定数深さの回路によりBQPの計算能力を達成できることを示し、量子優位性のテストや古典的シミュレーションの限界に影響を及ぼす。

ABSTRACT

A dissertation submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy (PhD) in the Faculty of Engineering, Department of Computer Science, July 2009.

研究の動機と目的

• 空間的または操作的制限のあるアーキテクチャにおいて、普遍的量子計算を達成するための最小限の制御要件を調査すること。
• 「1つのクリーンキュービット」モデルの計算能力とその複雑性クラス、特に⊕LおよびPとの関係を調査すること。
• 時間的深さのない量子優位性の研究フレームワークとしてのIQP（インスタントリウス・クオンタム・ポリノミアル）オラクルモデルを構築・分析すること。
• 計算深さが限定された量子デバイスのテストに適した実用的プロトコルを提唱し、量子固有の複雑性を活用すること。
• 時間的構造のない状況下で、量子分布の古典的シミュレーション可能性を検討し、本質的な量子優位性を同定すること。

提案手法

• 局所的でノイズのないゲートを用いた一次元量子セルオートマトンに基づく、効率的な普遍的量子計算フレームワークを構築。
• 一方の端のみにアクセス可能なスピン鎖アーキテクチャを設計し、制限された制御下でもユニタリー発展により普遍性を証明。
• クリフォード・ディアゴナル階層に基づくIQPオラクルモデルを導入。順序付けられたゲートの必要性なしに計算を可能にする。
• Shorのアルゴリズムを基底を保存するゲートとハダマード基底の初期化／測定に限定して再定式化し、構造の単純さを強調。
• マトロイド不変量を用いてIQP分布の古典的シミュレーションを分析し、量子分布（X）の古典的近似（Y）を提案。
• 後選択技術を用いて、θ = π/8 で一定の作用を持つXプログラムが、時間的構造がなくてもBQPの計算能力を達成可能であることを示した。

実験結果

リサーチクエスチョン

• RQ1 空間的制約のある系において、普遍的量子計算を達成するために必要な最小限の制御構造は何か？
• RQ2 時間的深さのないIQPモデルでも、普遍的量子計算能力を達成できるか？
• RQ3 「1つのクリーンキュービット」モデルと、⊕L や P などの古典的複雑性クラスとの関係は何か？
• RQ4 IQP回路から生じる量子分布は、どの程度まで古典的にシミュレート可能であり、どのような量子優位性が残存するか？
• RQ5 通信や複数者間相互作用が存在しない2者間プロトコルでも、非自明な量子タスクを達成可能か？

主な発見

• 1つのクリーンキュービットモデルは複雑性クラス⊕L を含み、特定のオラクルに関してPとは比較不能である。
• 局所的でノイズのないゲートを用いた一次元量子セルオートマトンに基づく普遍的量子計算フレームワークが実現された。
• 端末のみにアクセス可能なスピン鎖アーキテクチャは、ユニタリー発展により普遍的量子計算を実現可能であり、最小限の制御で十分であることを示した。
• 定数作用θ = π/8 かつ後選択を伴うIQP回路は、時間的構造がなくてもBQPの計算能力を達成できる。
• Yという確率変数によるIQP分布の古典的近似は、すべての局所的マトロイド情報を捉えており、多項式時間の古典的シミュレーションにおいて漸近的に最適である可能性を示唆している。
• θ = π/8 におけるIQPの平均的・多項式時間制約下で、Yを生成する古典的手法が、最良の可能な古典的シミュレーション戦略であるという予想を提示した。