Fugu-MT 論文翻訳(概要): Quantum Merlin-Arthur with an internally separable proof

論文の概要: Quantum Merlin-Arthur with an internally separable proof

arxiv url: http://arxiv.org/abs/2410.19152v1
Date: Thu, 24 Oct 2024 20:44:20 GMT
ステータス: 翻訳完了
システム内更新日: 2024-10-28 13:33:53.413345
Title: Quantum Merlin-Arthur with an internally separable proof
Title（参考訳）: 内部分離可能な証明を持つ量子メルリン・アーサー
Authors: Roozbeh Bassirian, Bill Fefferman, Itai Leigh, Kunal Marwaha, Pei Wu,
Abstract要約: 1つの量子証明を持つことは、EXP$ne$ NEXPと仮定して、2つの無絡証明を持つことよりは、厳密には強力ではない。我々の修正は、各証明に*multipartite* unentanglementという形式を与えている: 1つのレジスタをトレースした後、少数のキュービットが残りの状態から分離可能である。
参考スコア（独自算出の注目度）: 0.5825410941577592
License:
Abstract: We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP $\ne$ NEXP. This gives a new route to prove QMA(2) = NEXP that overcomes the primary drawback of a recent approach [arXiv:2402.18790 , arXiv:2306.13247] (QIP 2024). Our modification endows each proof with a form of *multipartite* unentanglement: after tracing out one register, a small number of qubits are separable from the rest of the state.
Abstract（参考訳）: 1つの量子証明を持つことは、EXP $\ne$ NEXP を仮定して、2つの非絡み合った証明を持つことより、厳密には強力ではない。これは、最近のアプローチ(arXiv:2402.18790 , arXiv:2306.13247] (QIP 2024)の第一の欠点を克服するQMA(2) = NEXPを証明する新しい経路を与える。我々の修正は、各証明に*multipartite* unentanglementという形式を与えている: 1つのレジスタをトレースした後、少数のキュービットが残りの状態から分離可能である。

関連論文リスト

Hidden-State Proofs of Quantumness [1.0878040851638]
量子性の実験的暗号的証明は、量子情報科学の進歩における重要なマイルストーンとなる。このようなテストを実装する上で、エラー寛容は永続的な課題である。本稿では、(Brakerski et al)と同じ回路構造を維持する量子性の証明を示す。
論文参考訳（メタデータ） (2024-10-08T21:04:53Z)
The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。 QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文参考訳（メタデータ） (2024-02-29T01:35:46Z)
Lower Bounds for Unitary Property Testing with Proofs and Advice [0.0]
本稿では,一元性検定における量子クエリの下位境界を証明するための新しい手法を提案する。すべての得られる下限は$mathsfC$-testerで$mathsfC subseteq mathsfQMA(2)/mathsfqpoly$である。我々は、$mathsfQMA(2) notsupset mathsfSBQP$と$mathsfQMA/mathsfqpolyの量子オラクルが存在することを示した。
論文参考訳（メタデータ） (2024-01-15T19:00:36Z)
Quantum Merlin-Arthur and proofs without relative phase [0.0]
定数ギャップのある QMA+ は NEXP に等しいが、ある** の定数ギャップを持つ QMA+ は QMA に等しいことを示す。 1つの解釈は、マーリンの「欺く」能力は、QMA(2)$subseteq$ NEXP であるため、少なくとも絡み合いから生じるものである。
論文参考訳（メタデータ） (2023-06-23T00:04:55Z)
Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文参考訳（メタデータ） (2023-03-02T14:18:17Z)
Quantum Speed Limit for Change of Basis [55.500409696028626]
量子速度制限の概念を量子状態の集合に拡張する。 2量子系に対して、最も高速な変換は2つのアダマールを同時に実装し、キュービットをスワップすることを示した。キュートリット系では、進化時間は偏りのない基底の特定のタイプに依存する。
論文参考訳（メタデータ） (2022-12-23T14:10:13Z)
Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文参考訳（メタデータ） (2022-10-12T17:54:02Z)
Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文参考訳（メタデータ） (2021-07-05T17:45:41Z)
Quantum Proofs of Proximity [6.160793572747927]
近接検定のQMA証明は古典的近接検定や量子検定よりも指数関数的に強いことを示す。この結果には、表現力のある特性のクラスをテストするための量子スピードアップを可能にするアルゴリズムフレームワークが含まれている。また、このファミリーの外部にある特性であるグラフ双分極性をテストするためのQMAアルゴリズムを提案する。
論文参考訳（メタデータ） (2021-05-08T13:15:30Z)
Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文参考訳（メタデータ） (2021-03-15T05:09:17Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。