[論文レビュー] Computational Distinguishability of Quantum Channels

Bill Rosgen|ArXiv.org|Sep 22, 2009

Quantum Computing Algorithms and Architecture参考文献 131被引用数 6

ひとこと要約

この論文は、量子チャネルの計算的区別可能性がQIP完全であることを確立しており、これは、量子インタラクティブプローフシステムで解ける最も難しい問題と同等であることを意味する。研究では、この難易度が混合ユニタリ、可解性、反可解性、または対数的深さの量子チャネルに制限されても保たれることを示しており、物理的に関連のある複数のチャネルクラスにわたり、問題の強固な不解決性を示している。

ABSTRACT

The computational problem of distinguishing two quantum channels is central to quantum computing. It is a generalization of the well-known satisfiability problem from classical to quantum computation. This problem is shown to be surprisingly hard: it is complete for the class QIP of problems that have quantum interactive proof systems, which implies that it is hard for the class PSPACE of problems solvable by a classical computation in polynomial space. Several restrictions of distinguishability are also shown to be hard. It is no easier when restricted to quantum computations of logarithmic depth, to mixed-unitary channels, to degradable channels, or to antidegradable channels. These hardness results are demonstrated by finding reductions between these classes of quantum channels. These techniques have applications outside the distinguishability problem, as the construction for mixed-unitary channels is used to prove that the additivity problem for the classical capacity of quantum channels can be equivalently restricted to the mixed unitary channels.

研究の動機と目的

• 量子チャネルの区別可能性の計算的複雑性を同定すること。これは、量子コンピューティングにおける中心的問題である。
• 低深さ回路や特定のチャネル型といった物理的に妥当な制限のもとでも、チャネル区別可能性の難易度が維持されるかどうかを調査すること。
• これらの難易度結果が、量子情報の基礎的問題、特に量子チャネル容量の加法性に関する意味を明らかにすること。
• 一般の量子チャネルを制限されたクラス（例：混合ユニタリ）に還元するシミュレーション技術の開発により、複雑性の低減を実現すること。
• 混合ユニタリチャネルは数学的に洗練された性質を有するが、それでも区別可能性問題の完全な複雑性を保持するのに十分な計算的パワーを有することを示す証拠を提供すること。

提案手法

• 一般のQIP問題を制限されたチャネルクラスに還元することで、量子回路区別可能性（QCD）問題のQIP完全性を示す還元に基づく証明技術。
• 制御操作とアーキバ・キュービットを用いて計算パワーを保持する対数的深さの量子回路の構築。
• スティンペリン拡張とアーキバ状態の準備に依存し、任意の量子チャネルを混合ユニタリチャネルで近似するシミュレーションプロトコルの設計。
• 定数深さの設定で量子回路の出力状態を比較するために、スワップテストと制御スワップ構造の応用。
• 区別可能性を定量化し、チャネル出力差の境界を確立するために、ダイヤモンドノルムと忠実度測度の使用。
• シュターン・pノルムと最小出力エントロピーの乗法性および加法性の性質を活用し、一般チャネルの複雑性とそれらの混合ユニタリ類似物との関係を確立。

実験結果

リサーチクエスチョン

• RQ1 混合ユニタリチャネルに制限された場合でも、2つの量子チャネルを区別する問題が計算的に困難であるか？
• RQ2 対数的深さの量子回路で実装可能なチャネルに制限された場合でも、QCD問題はQIP完全のままか？
• RQ3 可解性および反可解性チャネルの区別可能性問題もまたQIP完全であると示せるか？
• RQ4 一般の量子チャネルの古典的容量または最大出力pノルムの加法性を、混合ユニタリチャネルのケースにどの程度まで還元できるか？
• RQ5 混合初期状態を伴う自然な量子計算モデル（例：）では、区別可能性問題が依然として困難であるか？

主な発見

• 量子回路区別可能性（QCD）問題はQIP完全であり、これは、量子インタラクティブプローフシステムで解けるあらゆる問題と同等に難しいことを意味する。
• QCD問題は、対数的深さの量子回路に制限されても依然QIP完全であり、低深さ計算でもすでに完全な計算的困難性が達成されることを示している。
• 可解性および反可解性チャネルに対してもQCD問題はQIP完全であることが示され、これらの物理的に妥当なクラスが問題を単純化しないことを示している。
• 混合ユニタリチャネルに対してもQCD問題はQIPハードのままであり、数学的に洗練された構造を有するにもかかわらず、これらのチャネルがこのタスクにおいて計算的にユニバーサルであることを示している。
• 一般チャネルを混合ユニタリチャネルに還元するためのシミュレーション技術は、ホーロー容量や最大出力pノルムの加法性を、混合ユニタリクラス内で同等に研究できることを示唆している。
• 本論文で提示された還元は、一般の量子チャネルを制限されたクラスでシミュレートする一般フレームワークを提供しており、複雑性理論を超えた応用可能性を有する。