[論文レビュー] Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications

François Le Gall, Masayuki Miyamoto+1 more|arXiv (Cornell University)|Oct 4, 2022

Quantum Computing Algorithms and Architecture被引用数 3

ひとこと要約

本稿は、量子通信を必要とせず、分散型ユニタリ記述を持つネットワーク全体で量子状態を合成するための分散型量子メルリン＝アーロー（dQMA）プロトコルを導入する。効率的な状態生成と検証を可能にする。直線状のネットワークにおける分散入力付き状態生成（SGDI）のための新しいdQMAプロトコルを提示し、局所的量子操作によるEPR対の生成プロトコルを構築する。これにより、任意のdQMAプロトコルを、検証段階で量子通信を一切使用しないものに変換可能となり、有界な誤差と多項式オーバーヘッドを伴う。

ABSTRACT

The generation and verification of quantum states are fundamental tasks for quantum information processing that have recently been investigated by Irani, Natarajan, Nirkhe, Rao and Yuen [CCC 2022], Rosenthal and Yuen [ITCS 2022], Metger and Yuen [FOCS 2023] under the term \emph{state synthesis}. This paper studies this concept from the viewpoint of quantum distributed computing, and especially distributed quantum Merlin-Arthur (dQMA) protocols. We first introduce a novel task, on a line, called state generation with distributed inputs (SGDI). In this task, the goal is to generate the quantum state $U\ketψ$ at the rightmost node of the line, where $\ketψ$ is a quantum state given at the leftmost node and $U$ is a unitary matrix whose description is distributed over the nodes of the line. We give a dQMA protocol for SGDI and utilize this protocol to construct a dQMA protocol for the Set Equality problem studied by Naor, Parter and Yogev [SODA 2020], and complement our protocol by showing classical lower bounds for this problem. Our second contribution is a dQMA protocol, based on a recent work by Zhu and Hayashi [Physical Review A, 2019], to create EPR-pairs between adjacent nodes of a network without quantum communication. As an application of this dQMA protocol, we prove a general result showing how to convert any dQMA protocol on an arbitrary network into another dQMA protocol where the verification stage does not require any quantum communication.

研究の動機と目的

• ユニタリ操作がノードに分散されている分散型量子ネットワークにおいて、複雑な量子状態の生成と検証の課題に対処すること。
• 各ノードがユニタリの一部の記述を保持するパスネットワークにおける分散入力付き状態生成（SGDI）のためのdQMAプロトコルを設計すること。
• 直接的な量子リンクが存在しない状況で、隣接ノード間のEPR対を、局所的量子操作と古典通信のみを用いて確実に生成するプロトコルを構築すること。
• 任意のdQMAプロトコルを、検証段階で量子通信を一切使用しないLOCCベースのdQMAプロトコルに変換する一般変換を示すこと。
• 集合等価問題に対する古典的下界を確立し、量子プロトコルの効率性と補完するものとする。

提案手法

• 直線状のnキュービット状態生成と分散入力（SGDI）問題を定義する。ノードv0は入力状態|ψ⟩を保持し、各ノードvjはユニタリUjを保持し、vrでUr⋯U1|ψ⟩を生成することを目的とする。
• プローブが量子証明を提供するdQMAプロトコルを提案し、局所的測定と古典的調整による検証を実施する。
• ZhuとHayashi（2019）のプロトコルを活用し、隣接ノード間で、量子通信を一切使用せず、局所的量子操作と古典通信のみでEPR対を生成する。
• 事前に共有されたEPR対を用いた量子テレポーテーションにより、量子通信を置き換えることで、任意のdQMAプロトコルをLOCCベースのdQMAプロトコルに一般変換する。
• Fidelityに基づくテスト（P+ZHLOCC）を用いて、EPR対生成の高確率検証を実現し、出力状態が理想のベル状態|Φ+⟩からε以内に収まるように保証する。
• トレース距離とfidelityの不等式を用いて、テンソル積のEPR対状態を通じた誤差伝搬を解析し、完全性と健全性を評価する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ操作がノードに分散している場合、量子通信を一切使用せず、古典通信とプローブからの証明のみで、効率的に量子状態合成が可能か？
• RQ2 不正なプローブが関与する分散環境下で、量子状態生成の検証に必要な最小限の量子通信量は何か？
• RQ3 直接的な量子リンクが存在しない状況でも、局所的量子操作と古典的調整のみで、隣接ノード間でEPR対を信頼性高く生成可能か？
• RQ4 任意のdQMAプロトコルを、検証段階で量子通信を一切使用しないものに変換可能か？完全性と健全性を保持できるか？
• RQ5 分散環境下における集合等価問題のような問題について、古典的通信の下界は何か？また、量子プロトコルとの比較において、どのような差が生じるか？

主な発見

• 直線状ネットワークにおけるSGDIのためのdQMAプロトコルが構築され、右端ノードが、古典通信とプローブからの量子証明のみでUr⋯U1|ψ⟩を生成可能となった。
• 隣接ノード間のEPR対生成プロトコルは、O(1/ε log(1/δ))キュービットを用い、fidelity ⟨Φ+|˜σ|Φ+⟩≥1−εを達成し、誤差εはO(1/sPtm)で有界となる。
• 任意のネットワーク上のdQMAプロトコルは、検証段階で量子通信を一切使用しないLOCCベースのdQMAプロトコルに変換可能であり、完全性と健全性がγの誤差範囲内で保持される。
• 変換後のプロトコルの証明サイズはO(scP + dmax·sPm·sPtm)、メッセージサイズはO(sPm·sPtm)であり、dmaxはネットワークにおける最大次数を表す。
• ε = γ²/sPtmと設定することで、健全性誤差はps + γに保たれ、変換後のプロトコルが所定の健全性境界内に留まることが保証された。
• 集合等価問題について古典的下界が確立され、分散環境下での古典的通信複雑度と量子プロトコルの複雑度の間で、分離が示された。