[論文レビュー] Instantaneous Non-Local Computation of Low T-Depth Quantum Circuits

Speelman, Florian|arXiv (Cornell University)|Jul 1, 1998

Quantum Computing Algorithms and Architecture参考文献 10被引用数 532

ひとこと要約

この論文は、量子計算のヘイゼンベルク表現を導入し、クリフォード群ゲートとパウリ群測定から構成される量子回路の効率的な古典的シミュレーションを可能にする。状態ベクトルの代わりにパウリ演算子の進化を追跡することで、計算複雑性を指数的から多項式時間に削減し、このような回路が古典コンピュータ上で完全にシミュレート可能であることを証明する。これは、量子優位性が非クリフォードゲートが使用される場合にのみ生じることを示している。

ABSTRACT

Instantaneous non-local quantum computation requires multiple parties to jointly perform a quantum operation, using pre-shared entanglement and a single round of simultaneous communication. We study this task for its close connection to position-based quantum cryptography, but it also has natural applications in the context of foundations of quantum physics and in distributed computing. The best known general construction for instantaneous non-local quantum computation requires a pre-shared state which is exponentially large in the number of qubits involved in the operation, while efficient constructions are known for very specific cases only. We partially close this gap by presenting new schemes for efficient instantaneous non-local computation of several classes of quantum circuits, using the Clifford+T gate set. Our main result is a protocol which uses entanglement exponential in the T-depth of a quantum circuit, able to perform non-local computation of quantum circuits with a (poly-)logarithmic number of layers of T gates with quasi-polynomial entanglement. Our proofs combine ideas from blind and delegated quantum computation with the garden-hose model, a combinatorial model of communication complexity which was recently introduced as a tool for studying certain schemes for quantum position verification. As an application of our results, we also present an efficient attack on a recently-proposed scheme for position verification by Chakraborty and Leverrier.

研究の動機と目的

• 状態の進化の代わりに演算子の進化を追跡することで、量子回路の解析を簡略化する形式を構築すること。
• クリフォード群ゲートとパウリ群測定から構成される回路が、古典コンピュータ上で効率的にシミュレート可能であることを示すこと。
• 古典的にシミュレータブルな量子計算と、ユニバーサル量子優位性を必要とする計算との境界を明確にすること。
• 量子テレポーテーションやエラー訂正などの量子プロトコルを、演算子の進化を用いて体系的に分析する方法を提供すること。

提案手法

• ヘイゼンベルク図式を採用し、ユニタリ変換による演算子の進化（N → UNU†）を追跡する。
• クリフォード群の操作に対して閉じているため、パウリ群を演算子の進化追跡の基底として用いる。
• 各キュービットの進化を、2n 個の X および Z 演算子の追跡によって記述し、それぞれを 2n+1 ビットで符号化する。
• ハダマード、位相、CNOT などのクリフォード群ゲートを、既知の変換則に従ってパウリ演算子を更新する。
• 測定処理では、安定化子群を更新する：演算子 A を測定し、結果が -1 の場合は補正を適用し、非可換な演算子を反可換な安定化子要素との積で更新する。
• 安定化子形式を用いて論理的演算を追跡し、量子テレポーテーションやリモート CNOT のシミュレーションを行う。

実験結果

リサーチクエスチョン

• RQ1 クリフォード群ゲートとパウリ群測定から構成される量子回路は、古典コンピュータ上で効率的にシミュレート可能か？
• RQ2 ヘイゼンベルク表現は、状態ベクトルの進化と比較して、量子回路の解析をどのように簡略化するか？
• RQ3 安定化子形式は、量子エラー訂正コードの効率的シミュレーションを可能にする役割を果たすか？
• RQ4 量子テレポーテーションやリモートゲート操作は、ヘイゼンベルク図式における演算子の進化を用いて完全に分析・検証可能か？
• RQ5 古典的にシミュレータブルな量子回路と、ユニバーサル量子優位性を必要とする回路との計算的境界は何か？

主な発見

• クリフォード群ゲートとパウリ群測定からなる回路は、Knillの定理により、古典コンピュータ上で多項式時間でシミュレート可能であることが証明された。
• ヘイゼンベルク表現により、n ビット回路の解析の複雑性が、パウリ演算子 2n 個の追跡によって、n に関して多項式時間に削減された。
• 安定化子形式により、安定化子コードにおける量子状態の正確な追跡が可能となり、量子エラー訂正の効率的シミュレーションが実現された。
• 量子テレポーテーションやリモート CNOT 操作は、ヘイゼンベルク表現を用いて完全に分析・検証可能であり、測定結果が補正操作を決定する。
• この手法により、量子計算における量子優位性は、非クリフォードゲート（例：T ゲート）が使用される場合にのみ生じることを確認した。クリフォードのみの回路は古典的にシミュレータブルである。