Fugu-MT 論文翻訳(概要): A Simple Proof of PreciseQMA = PSPACE

論文の概要: A Simple Proof of PreciseQMA = PSPACE

arxiv url: http://arxiv.org/abs/2206.09230v1
Date: Sat, 18 Jun 2022 16:10:06 GMT
ステータス: 処理完了
システム内更新日: 2023-02-08 23:32:49.808760
Title: A Simple Proof of PreciseQMA = PSPACE
Title（参考訳）: PreciseQMA = PSPACE の簡単な証明
Authors: Yulong Li
Abstract要約: 我々は、Fefferman と Lin が最初に証明した PreciseQMA = PSPACE の別の証明を与える。我々は、PSPACEをPreciseQMAに含めることを証明するために、Quantum Cook-Levin Theoremの証明を適用した。
参考スコア（独自算出の注目度）: 1.5783048362922043
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We give an alternative proof of PreciseQMA = PSPACE, first proved by Fefferman and Lin (Innov. Theor. Comp. Sci. 2018), where PreciseQMA is the class Quantum Merlin-Arthur with inverse exponential completeness-soundness gap. We adapt the proof of Quantum Cook-Levin Theorem to prove the inclusion PSPACE in PreciseQMA.
Abstract（参考訳）: まずferfermanとlin (innov. theor. comp. sci. 2018) によって証明され、精密qmaは逆指数完全性-音質ギャップを持つクラス量子merlin-arthurである。量子クック・レヴィンの定理の証明を精度qmaの包含空間を証明するために適用する。

関連論文リスト

UniqueQMA vs QMA: oracle separation and eigenstate thermalization hypothesis [7.14973523231982]
量子オラクルをUniqueQMAとQMAで分離する。我々のプロトコルは、ハミルトニアンの低エネルギー部分空間における量子膨張器テストと見なすことができる。
論文参考訳（メタデータ） (2024-10-31T10:53:51Z)
The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。 QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文参考訳（メタデータ） (2024-02-29T01:35:46Z)
Quantum Merlin-Arthur and proofs without relative phase [0.0]
定数ギャップのある QMA+ は NEXP に等しいが、ある** の定数ギャップを持つ QMA+ は QMA に等しいことを示す。 1つの解釈は、マーリンの「欺く」能力は、QMA(2)$subseteq$ NEXP であるため、少なくとも絡み合いから生じるものである。
論文参考訳（メタデータ） (2023-06-23T00:04:55Z)
Verifying Quantum Phase Estimation (QPE) using Prove-It [0.0]
Prove-Itと呼ばれる汎用的な対話型定理証明アシスタントは、量子位相推定(QPE)アルゴリズムを検証するために使用された。 Prove-Itは、量子回路に関するステートメントを含む洗練された数学的ステートメントを表現する能力に特有である。
論文参考訳（メタデータ） (2023-04-05T01:21:00Z)
Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文参考訳（メタデータ） (2023-03-02T14:18:17Z)
Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文参考訳（メタデータ） (2022-10-12T17:54:02Z)
Quantum space, ground space traversal, and how to embed multi-prover interactive proofs into unentanglement [0.0]
サビッチの定理は、NPSPACE計算はPSPACEでシミュレートできると述べている。 SQCMASPACE=NEXP のように、サビッチの定理の量子アナログが成り立たないことを示す。 SQCMASPACE を[Chailloux, Sattath, 2012] のスパース分離ハミルトン問題に組み込む方法を示す (QMA(2)-complete for 1/poly promise gap)。
論文参考訳（メタデータ） (2022-06-10T17:35:10Z)
A prescreening method for variational quantum state eigensolver [0.0]
本稿では,変分量子状態固有解法(VQSE)とサブスペース探索VQE(SSVQE)を用いて,全ての状態を高精度に導出する方法を提案する。我々は,VQSEとSSVQEプレスクリーニング法を用いて,水素分子の状態をすべて正しく抽出できることを実証した。
論文参考訳（メタデータ） (2021-11-03T18:13:33Z)
Sampling Overhead Analysis of Quantum Error Mitigation: Uncoded vs. Coded Systems [69.33243249411113]
パウリの誤差は、多数の現実的な量子チャネルの中で最も低いサンプリングオーバーヘッドをもたらすことを示す。我々はQEMと量子チャネル符号化を併用する手法を考案し、純粋なQEMと比較してサンプリングオーバーヘッドの低減を解析する。
論文参考訳（メタデータ） (2020-12-15T15:51:27Z)
Quantum-optimal-control-inspired ansatz for variational quantum algorithms [105.54048699217668]
変分量子アルゴリズム (VQA) の中心成分は状態準備回路(英語版)であり、アンザッツ(英語版)または変分形式(英語版)とも呼ばれる。ここでは、対称性を破るユニタリを組み込んだ「解」を導入することで、このアプローチが必ずしも有利であるとは限らないことを示す。この研究は、より一般的な対称性を破るアンスの開発に向けた第一歩となり、物理学や化学問題への応用に繋がる。
論文参考訳（メタデータ） (2020-08-03T18:00:05Z)
Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文参考訳（メタデータ） (2020-04-24T17:58:10Z)

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