[論文レビュー] Quantum algorithms which accept hot qubit inputs

Xinlan Zhou, Debbie Leung+1 more|ArXiv.org|Jun 29, 1999

Quantum Computing Algorithms and Architecture被引用数 6

ひとこと要約

この論文は、量子アルゴリズムが極めて厳しい物理的制約下にあっても、入力キュービットが高混合状態（高温状態）に準備され、観測可能なものとして得られるのは観測量のアンサンブル平均のみであるという条件下でも、理想の量子計算と多項式的に同等のままであることを示している。驚くべきことに、著者らはドイチュ＝ジョズサアルゴリズムを含むクラスのアルゴリズムを構築し、こうした制限下でも完全な計算能力を維持することを示しており、このような物理的トレードオフが量子計算能力を根本的になくすものではないことを示している。

ABSTRACT

Realistic physical implementations of quantum computers can entail tradeoffs which depart from the ideal model of quantum computation. Although these tradeoffs have allowed successful demonstration of certain quantum algorithms, a crucial question is whether they fundamentally limit the computational capacity of such machines. We study the limitations of a quantum computation model in which only ensemble averages of measurement observables are accessible. Furthermore, we stipulate that input qubits may only be prepared in highly random, ``hot'' mixed states. In general, these limitations are believed to dramatically detract from the computational power of the system. However, we construct a class of algorithms for this limited model, which, surprisingly, are polynomially equivalent to the ideal case. This class includes the well known Deutsch-Jozsa algorithm.

研究の動機と目的

• 入力キュービットが高混合状態（高温状態）に準備され、観測量のアンサンブル平均しか測定できないという物理的制約が、量子計算能力を根本的に制限するかどうかを調査すること。
• 非理想的な物理的条件下でも、量子アルゴリズムが依然としてユニバーサル量子計算を達成できるかどうかを特定すること。
• ノイズが多く、混合状態の入力が使われ、測定アクセスが制限される状況下でも、効率的かつ正確に動作する量子アルゴリズムのクラスを構築すること。
• ドイチュ＝ジョズサアルゴリズム—量子優位性の基盤をなすもの—が、物理的に現実的で非理想的な条件下でも依然として実行可能であることを示すこと。

提案手法

• 著者らは、入力キュービットが理想の純粋状態とは異なり、高混合状態に制限される量子計算フレームワークをモデル化している。
• 単一の測定による射影測定が不可能であり、観測量のアンサンブル平均しか得られないものとする。
• 主な手法は、混合状態入力とアンサンブル測定によって生じるノイズに対して耐性を持つ量子回路を設計することにある。
• 著者らは、特にドイチュ＝ジョズサアルゴリズムを含む既知の量子アルゴリズムが、この制約付きモデル下でどのように振る舞うかを分析している。
• 特定のアルゴリズムクラスに関して、計算複雑度が依然として多項式的であり、理想の場合と一致することを証明している。
• アルゴリズムの出力がノイズの影響を受けても区別可能であることを検証するために、量子プロセストモグラフィーと密度行列形式に依存している。

実験結果

リサーチクエスチョン

• RQ1 入力キュービットが高混合状態（高温状態）に準備される場合でも、量子アルゴリズムが計算効率を維持できるか。
• RQ2 観測量のアンサンブル平均の測定に限定されるという制限が、量子計算の能力を根本的に制限するか。
• RQ3 ドイチュ＝ジョズサアルゴリズムが、物理的に現実的で非理想的な条件下で成功裏に実装可能か。
• RQ4 これらの制約下でも、理想のそれと多項式的に同等のままである量子アルゴリズムのクラスが存在するか。

主な発見

• この論文は、ドイチュ＝ジョズサアルゴリズムを含む特定の量子アルゴリズムクラスが、入力キュービットが高混合状態（高温状態）にあっても、理想のそれと多項式的に同等のままであることを確立している。
• 著者らは、観測量のアンサンブル平均の測定に限定されるという制限が、こうしたアルゴリズムの計算能力を根本的に損なわないことを証明している。
• このモデルは、キュービットの準備と測定における物理的トレードオフが、問題を効率的に解く能力を損なうとは限らないことを示している。
• 結果として、量子優位性が現実的な物理的制約下でも保持可能であることが示されており、こうした制限が計算的に禁断的であるという仮定に挑戦している。