論文の概要: Separating Quantum and Classical Advice with Good Codes
- arxiv url: http://arxiv.org/abs/2602.09385v1
- Date: Tue, 10 Feb 2026 03:53:09 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-11 20:17:43.360979
- Title: Separating Quantum and Classical Advice with Good Codes
- Title(参考訳): 良いコードで量子と古典的なアドバイスを分離する
- Authors: John Bostanci, Andrew Huang, Vinod Vaikuntanathan,
- Abstract要約: 検証可能な言語のクラス間で、無条件の古典的なオラクル分離を示す。
Bostanci, Haferkamp, Nirkhe, Zhandryの最近の研究と比較すると、我々の証明は概念的にも技術的にもシンプルである。
- 参考スコア(独自算出の注目度): 7.3825381911537376
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We show an unconditional classical oracle separation between the class of languages that can be verified using a quantum proof ($\mathsf{QMA}$) and the class of languages that can be verified with a classical proof ($\mathsf{QCMA}$). Compared to the recent work of Bostanci, Haferkamp, Nirkhe, and Zhandry (STOC 2026), our proof is conceptually and technically simpler, and readily extends to other oracle separations. In particular, our techniques yield the first unconditional classical oracle separation between the class of languages that can be decided with quantum advice ($\mathsf{BQP}/\mathsf{qpoly}$) and the class of languages that can be decided with classical advice ($\mathsf{BQP}/\mathsf{poly}$), improving on the quantum oracle separation of Aaronson and Kuperberg (CCC 2007) and the classically-accessible classical oracle separation of Li, Liu, Pelecanos and Yamakawa (ITCS 2024). Our oracles are based on the code intersection problem introduced by Yamakawa and Zhandry (FOCS 2022), combined with codes that have extremely good list-recovery properties.
- Abstract(参考訳): 量子証明(英語版)(\mathsf{QMA}$)と古典証明(英語版)(\mathsf{QCMA}$)で検証できる言語の類(英語版)(\mathsf{QCMA}$)の間の非条件の古典的なオラクル分離を示す。
Bostanci, Haferkamp, Nirkhe, Zhandry (STOC 2026) の最近の研究と比較すると、我々の証明は概念的かつ技術的にシンプルであり、容易に他のオラクル分離にまで拡張できる。
特に、我々の手法は、量子アドバイス (\mathsf{BQP}/\mathsf{qpoly}$) で決定できる言語のクラスと、古典アドバイス (\mathsf{BQP}/\mathsf{poly}$) で決定できる言語のクラスと、Aaronson と Kuperberg (CCC 2007) の量子オラクル分離の改善と、Li, Liu, Pelecanos と Yamakawa (ITCS 2024) で古典的アクセス可能な古典オラクル分離(英語版)の間に、最初の非条件の古典オラクル分離をもたらす。
我々のオラクルは、山川とZhandry(FOCS 2022)が導入したコード交差点問題と、非常に優れたリスト復元特性を持つコードの組み合わせに基づいています。
関連論文リスト
- A Cautionary Note on Quantum Oracles [0.0]
量子オラクル問題はQMAクラスに含まれるが、ポリQCPHクラスには含まれないことを示す。
また、同じ分離が、ナタラジャンとニクヘ(2024年)によって導入されたモデルである分布オラクルに対して成り立つことを示す。
論文 参考訳(メタデータ) (2025-04-28T04:20:39Z) - Kochen-Specker for many qubits and the classical limit [55.2480439325792]
量子および古典予測は、量子ビットの数がマクロスケールに増加するにつれて収束することが示されている。
古典的極限を説明するこの方法は、以前にGHZ状態に対して報告された結果と一致し、改善する。
論文 参考訳(メタデータ) (2024-11-26T22:30:58Z) - Classical vs Quantum Advice and Proofs under Classically-Accessible
Oracle [10.063768056247591]
BQP/qpoly $neq$BQP/poly および QMA $neq$QCMA の古典的アクセス可能な古典的オラクルを構築する。
ここでは、古典的アクセス可能な古典的オラクルは、量子アルゴリズムでさえも古典的にのみアクセス可能なオラクルである。
論文 参考訳(メタデータ) (2023-03-08T00:30:07Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳(メタデータ) (2022-10-12T17:54:02Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳(メタデータ) (2022-05-26T20:32:36Z) - An optimal oracle separation of classical and quantum hybrid schemes [0.0]
任意の深さパラメータ$d$に対して、計算時間古典が許されるとき、量子深さ$d$と2d+1$を分離するオラクルが存在することを示す。
これは古典的および量子的ハイブリッドスキームの最適オラクル分離を与える。
論文 参考訳(メタデータ) (2022-05-10T02:31:19Z) - Oracle separations of hybrid quantum-classical circuits [68.96380145211093]
量子計算の2つのモデル: CQ_dとQC_d。
CQ_dは、d-d-deepth量子コンピュータのシナリオを何度も捉え、QC_dは測定ベースの量子計算に類似している。
CQ_dとQC_dの類似性にもかかわらず、2つのモデルは本質的にはCQ_d $nsubseteq$QC_dとQC_d $nsubseteq$CQ_dである。
論文 参考訳(メタデータ) (2022-01-06T03:10:53Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - From a quantum theory to a classical one [117.44028458220427]
量子対古典的交叉を記述するための形式的アプローチを提示し議論する。
この手法は、1982年にL. Yaffeによって、大きな$N$の量子場理論に取り組むために導入された。
論文 参考訳(メタデータ) (2020-04-01T09:16:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。