論文の概要: Quantum Merlin-Arthur proof systems for synthesizing quantum states
- arxiv url: http://arxiv.org/abs/2303.01877v3
- Date: Tue, 27 Jun 2023 12:27:18 GMT
- ステータス: 処理完了
- システム内更新日: 2023-06-28 17:28:22.497869
- Title: Quantum Merlin-Arthur proof systems for synthesizing quantum states
- Title（参考訳）: 量子状態合成のための量子マーリン・アーサー証明系
- Authors: Hugo Delavenne, Fran\c{c}ois Le Gall, Yupan Liu, and Masayuki Miyamoto
- Abstract要約: クラスNP合成における状態合成法について検討した。
我々は、最も自然な候補者の1つであるUQMA目撃者の家族が国家QMAであることを確認した。
状態QCMAが完全性を達成することを実証する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Complexity theory typically focuses on the difficulty of solving
computational problems using classical inputs and outputs, even with a quantum
computer. In the quantum world, it is natural to apply a different notion of
complexity, namely the complexity of synthesizing quantum states. We
investigate a state-synthesizing counterpart of the class NP, referred to as
stateQMA, which is concerned with preparing certain quantum states through a
polynomial-time quantum verifier with the aid of a single quantum message from
an all-powerful but untrusted prover. This is a subclass of the class stateQIP
recently introduced by Rosenthal and Yuen (ITCS 2022), which permits
polynomially many interactions between the prover and the verifier. Our main
result consists of error reduction of this class and its variants with an
exponentially small gap or a bounded space, as well as how this class relates
to other fundamental state synthesizing classes, i.e., states generated by
uniform polynomial-time quantum circuits (stateBQP) and space-uniform
polynomial-space quantum circuits (statePSPACE). Furthermore, we establish that
the family of UQMA witnesses, considered as one of the most natural candidates,
is in stateQMA. Additionally, we demonstrate that stateQCMA achieves perfect
completeness.
- Abstract（参考訳）: 複雑性理論は典型的には古典的な入力と出力を用いて計算問題を解くことの難しさに焦点を当てる。
量子の世界では、異なる複雑性の概念、すなわち量子状態の合成の複雑さを適用することは自然である。
我々は,多項式時間量子検証器を用いて,全能だが信頼できない証明器からの単一量子メッセージの助けを借りて,特定の量子状態を作成することに関心を持つNPクラスである状態QMAについて検討する。
これは最近Rosenthal and Yuen (ITCS 2022)によって導入されたクラス状態QIPのサブクラスであり、証明子と検証子の間の多項式的に多くの相互作用を可能にする。
我々の主な成果は、指数的に小さなギャップや有界空間を持つクラスと、このクラスが他の基本状態合成クラス、すなわち、一様多項式時間量子回路(stateBQP)と空間一様多項式空間量子回路(statePSPACE)によって生成される状態とどのように関連しているかの誤差の低減である。
さらに,UQMAの目撃者の家族は,最も自然な候補の1つであることが確認された。
さらに、状態QCMAが完全な完全性を達成することを示す。
関連論文リスト
- Complexity Theory for Quantum Promise Problems [5.049812996253858]
本稿では,量子暗号と複雑性理論の関係,特にImpagliazzoの5つの世界の枠組みについて考察する。
複雑性クラス p/mBQP, p/mQ(C)MA, $mathrmp/mQSZK_hv$, p/mQIP, p/mPSPACE に注目する。
我々は、このフレームワークを暗号に適用し、一方通行状態生成器、擬似ランダム状態、EFIがmQCMAで束縛されていることを示す。
論文 参考訳（メタデータ） (2024-11-06T07:29:52Z) - The multimode conditional quantum Entropy Power Inequality and the squashed entanglement of the extreme multimode bosonic Gaussian channels [53.253900735220796]
不等式はボゾン量子モードの最も一般的な線形混合の出力の最小条件フォン・ノイマンエントロピーを決定する。
ボソニック量子系は、量子状態における電磁放射の数学的モデルを構成する。
論文 参考訳（メタデータ） (2024-10-18T13:59:50Z) - Efficient Quantum Pseudorandomness from Hamiltonian Phase States [41.94295877935867]
我々は、ハミルトニアン相状態(HPS)問題と呼ばれる量子硬度仮定を導入する。
我々は、我々の仮定が少なくとも完全に量子的であることを示し、すなわち片方向関数を構成するのに使用できない。
仮定とその変形により、多くの擬似ランダム量子プリミティブを効率的に構築できることを示す。
論文 参考訳（メタデータ） (2024-10-10T16:10:10Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳（メタデータ） (2024-02-29T01:35:46Z) - State-Averaged Orbital-Optimized VQE: A quantum algorithm for the
democratic description of ground and excited electronic states [0.0]
SA-OO-VQEパッケージは、典型的な変分量子固有解法に基づくハイブリッド量子古典的概念によって両方の問題を解決することを目的としている。
SA-OO-VQEは、同じ足場上で退化状態(または準退化状態)を処理できるので、回避された交差や円錐交差に関する既知の数値最適化問題を回避することができる。
論文 参考訳（メタデータ） (2024-01-22T12:16:37Z) - Quantum simulation of excited states from parallel contracted quantum
eigensolvers [5.915403570478968]
基底状態の量子固有解法は、任意の数の量子固有状態を同時に計算するために一般化可能であることを示す。
提案アルゴリズムは2つの励起状態CQEを導入し,励起状態の計算を行うとともに,元の基底状態バージョンの特徴の多くを継承する。
論文 参考訳（メタデータ） (2023-11-08T23:52:31Z) - Quantum algorithms: A survey of applications and end-to-end complexities [90.05272647148196]
期待されている量子コンピュータの応用は、科学と産業にまたがる。
本稿では,量子アルゴリズムの応用分野について検討する。
私たちは、各領域における課題と機会を"エンドツーエンド"な方法で概説します。
論文 参考訳（メタデータ） (2023-10-04T17:53:55Z) - Quantum process tomography of continuous-variable gates using coherent
states [49.299443295581064]
ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。
符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
論文 参考訳（メタデータ） (2023-03-02T18:08:08Z) - stateQIP = statePSPACE [0.15229257192293197]
本研究では,SDPPSPACEと状態QIPの2つの状態クラスの関係について検討する。
私たちの主な結果は、リバースインクルージョン、stateQIP $subseteq$ statePSPACEです。
また、一般的な量子対話プロトコルの最適証明戦略を量子空間で実装できることも示している。
論文 参考訳（メタデータ） (2023-01-18T19:00:17Z) - Interactive Proofs for Synthesizing Quantum States and Unitaries [0.15229257192293197]
量子状態の構築やユニタリ変換の実行など、本質的に量子演算の複雑さについて検討する。
量子状態とユニタリの対話的証明のモデルを定義する。
複数の絡み合ったプロバーの設定でも類似した結果が得られる。
論文 参考訳（メタデータ） (2021-08-16T15:59:33Z) - Imaginary Time Propagation on a Quantum Chip [50.591267188664666]
想像時間における進化は、量子多体系の基底状態を見つけるための顕著な技術である。
本稿では,量子コンピュータ上での仮想時間伝搬を実現するアルゴリズムを提案する。
論文 参考訳（メタデータ） (2021-02-24T12:48:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。