Core Concepts
dQMAプロトコルの力と限界を調査し、様々な意思決定問題に対する包括的な特性を提供します。
Abstract
この論文は、Fraigniaudらによって導入されたdQMA(分散量子マーリン・アーサー)プロトコルのパワーと限界を探求し、様々な意思決定問題に対する包括的な特性を提供しています。
1. はじめに
- 量子分散計算は、古典的な分散計算の主要モデルを探索してきました。
- 分布検証のための効率的なdQMAプロトコルが存在します。
2. 前提条件
- 通信複雑度:双方向および一方向の古典および量子通信複雑度が重要です。
- 等値関数EQn:重要な関数であり、一方向量子プロトコルで効率的に解決可能です。
3. 改善されたEQ用のdQMAプロトコル
- 置換テストの特性と応用。
- パス上でのプロトコル。
- 一般グラフ上でのプロトコル。
4. パス上でのEQに対する堅牢な量子利点
- 古典的下限値と比較した結果。
- プロトコル間通信サイズに関する結果。
5. 入力値比較用プロトコルおよびランキング検証問題用プロトコル
6. 一般グラフ上でのハミング距離およびそれ以上用プロトコル
7. dQMAsepプロトコルから任意のdQMAプロトコルへ
8. dQMAプロトコルの下限値