論文の概要: Quantum PCPs: on Adaptivity, Multiple Provers and Reductions to Local
Hamiltonians
- arxiv url: http://arxiv.org/abs/2403.04841v1
- Date: Thu, 7 Mar 2024 19:00:06 GMT
- ステータス: 処理完了
- システム内更新日: 2024-03-11 21:55:53.737105
- Title: Quantum PCPs: on Adaptivity, Multiple Provers and Reductions to Local
Hamiltonians
- Title(参考訳): 量子PCP:局所ハミルトニアンへの適応性、多重プローバーおよび還元について
- Authors: Harry Buhrman, Jonas Helsen, Jordi Weggemans
- Abstract要約: 非適応型量子PCPは、証明クエリ数が一定である場合に適応型量子PCPをシミュレートできることを示す。
また、ある量子PCPステートメントが偽であるような(量子)オラクルが存在することも示している。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We define a general formulation of quantum PCPs, which captures adaptivity
and multiple unentangled provers, and give a detailed construction of the
quantum reduction to a local Hamiltonian with a constant promise gap. The
reduction turns out to be a versatile subroutine to prove properties of quantum
PCPs, allowing us to show: (i) Non-adaptive quantum PCPs can simulate adaptive
quantum PCPs when the number of proof queries is constant. In fact, this can
even be shown to hold when the non-adaptive quantum PCP picks the proof indices
simply uniformly at random from a subset of all possible index combinations,
answering an open question by Aharonov, Arad, Landau and Vazirani (STOC '09).
(ii) If the $q$-local Hamiltonian problem with constant promise gap can be
solved in $\mathsf{QCMA}$, then $\mathsf{QPCP}[q] \subseteq \mathsf{QCMA}$ for
any $q \in O(1)$. (iii) If $\mathsf{QMA}(k)$ has a quantum PCP for any $k \leq
\text{poly}(n)$, then $\mathsf{QMA}(2) = \mathsf{QMA}$, connecting two of the
longest-standing open problems in quantum complexity theory. Moreover, we also
show that there exists (quantum) oracles relative to which certain quantum PCP
statements are false. Hence, any attempt to prove the quantum PCP conjecture
requires, just as was the case for the classical PCP theorem, (quantumly)
non-relativizing techniques.
- Abstract(参考訳): 量子PCPの一般的な定式化を定義し、適応性と複数の非絡み合ったプロバーを捕捉し、一定の約束ギャップを持つ局所ハミルトンに量子還元の詳細な構成を与える。
この還元は量子PCPの性質を証明するための多用途サブルーチンであることが判明した。
(i)非適応量子PCPは、証明クエリ数が一定であるときに適応量子PCPをシミュレートすることができる。
実際、非適応量子pcpが証明インデックスを全ての可能なインデックスの組み合わせのサブセットからランダムにランダムに選択し、aharonov、alad、landau、vazirani(stoc '09)によって開かれた質問に答えるときにも、これは成り立つ。
(ii) 一定のpromiseギャップを持つ$q$局所ハミルトン問題は$\mathsf{qcma}$で解くことができるなら、任意の$q \in o(1)$に対して$\mathsf{qpcp}[q] \subseteq \mathsf{qcma}$である。
(iii)$\mathsf{QMA}(k)$ が任意の $k \leq \text{poly}(n)$ に対して量子 PCP を持つなら、$\mathsf{QMA}(2) = \mathsf{QMA}$ が成立し、量子複雑性理論において最長の開問題の2つを接続する。
さらに、ある量子PCPステートメントが偽であるような(量子)オラクルが存在することも示している。
したがって、量子PCP予想を証明しようとする試みは、古典的なPCP定理と同様に、(量子的に)非相対化技術を必要とする。
関連論文リスト
- Extending Quantum Perceptrons: Rydberg Devices, Multi-Class Classification, and Error Tolerance [67.77677387243135]
量子ニューロモーフィックコンピューティング(QNC)は、量子計算とニューラルネットワークを融合して、量子機械学習(QML)のためのスケーラブルで耐雑音性のあるアルゴリズムを作成する
QNCの中核は量子パーセプトロン(QP)であり、相互作用する量子ビットのアナログダイナミクスを利用して普遍的な量子計算を可能にする。
論文 参考訳(メタデータ) (2024-11-13T23:56:20Z) - Classical versus quantum queries in quantum PCPs with classical proofs [0.3004066195320147]
量子古典PCPを一般化し、古典的な証明に$q$の量子クエリを適用できるようにします。
驚くべきことに、このことは、定数量子古典量に対して逆から定数への約束のギャップを増幅できることを示している。
約束のギャップは達成できるが、我々の結果は、$mathsfQCMA$に対する定型クエリ量子古典的PCPが存在しないという強い証拠を与える。
論文 参考訳(メタデータ) (2024-11-01T18:00:56Z) - The status of the quantum PCP conjecture (games version) [0.6144680854063939]
多重対数的に長いメッセージを持つ多目的対話型証明システムはREにおける任意の決定問題を解くことができることを示す。
本稿では,(1)標準AM完全問題に対する効率的なプロバーを用いた簡潔なMIP*プロトコルを新たに構築し,(2)ナタラジャンとヴィディックのエネルギー増幅手順における誤差を説明する。
論文 参考訳(メタデータ) (2024-03-19T18:30:32Z) - The Power of Lorentz Quantum Computer [6.9754404995027794]
本稿では,最近提案されたローレンツ量子コンピュータ(LQC)の,従来の量子コンピュータと比較して優れた性能を示す。
計算複雑性クラス$text Psharp textP$を導入し、複雑性クラス$text Psharp textP$と等価性を実証する。
Aaronsonが提案したポストセレクションによる量子コンピューティングはLQCで効率的にシミュレートできるが、その逆ではない。
論文 参考訳(メタデータ) (2024-03-07T03:00:09Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Guidable Local Hamiltonian Problems with Implications to Heuristic Ansätze State Preparation and the Quantum PCP Conjecture [0.0]
我々は最近定義されたガイドド局所ハミルトン問題における「マーリン化」バージョンについて検討する。
これらの問題には、入力の一部として提供される指針状態はなく、単に存在するという約束が伴うだけである。
誘導状態の両クラスに対する誘導可能な局所ハミルトン問題は、逆多項式の精度設定において$mathsfQCMA$-completeであることを示す。
論文 参考訳(メタデータ) (2023-02-22T19:00:00Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳(メタデータ) (2022-10-12T17:54:02Z) - Efficient Bipartite Entanglement Detection Scheme with a Quantum
Adversarial Solver [89.80359585967642]
パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。
このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
論文 参考訳(メタデータ) (2022-03-15T09:46:45Z) - Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
3次元形状と画像のマッチング問題は、NPハードな置換行列制約を持つ二次代入問題(QAP)としてしばしば定式化される。
本稿では,量子ハードウェア上での効率的な実行に適した制約のない問題として,いくつかのQAPの再構成を提案する。
提案アルゴリズムは、将来の量子コンピューティングアーキテクチャにおいて、より高次元にスケールする可能性がある。
論文 参考訳(メタデータ) (2021-07-08T17:59:55Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。