論文の概要: How to Classically Verify a Quantum Cat without Killing It
- arxiv url: http://arxiv.org/abs/2602.09282v1
- Date: Mon, 09 Feb 2026 23:47:46 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-11 20:17:43.285249
- Title: How to Classically Verify a Quantum Cat without Killing It
- Title（参考訳）: 量子猫を殺さずに古典的に検証する方法
- Authors: Yael Tauman Kalai, Dakshita Khurana, Justin Raizes,
- Abstract要約: 量子計算の古典的検証のための既存のプロトコルは、証明者の証人の状態を消費する。
QMAの証人は一般的にはクローン化できないため、入力された証人を破壊することは、繰り返しによる健全性と完全性を増幅するには、証人の多くのコピーが必要であることを意味する。
CVQCは,QMA証人の単一コピーを用いて,完全性や音の誤りを無視し,その証人を破壊するものではない。
- 参考スコア（独自算出の注目度）: 10.871503152142731
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Existing protocols for classical verification of quantum computation (CVQC) consume the prover's witness state, requiring a new witness state for each invocation. Because QMA witnesses are not generally clonable, destroying the input witness means that amplifying soundness and completeness via repetition requires many copies of the witness. Building CVQC with low soundness error that uses only *one* copy of the witness has remained an open problem so far. We resolve this problem by constructing a CVQC that uses a single copy of the QMA witness, has negligible completeness and soundness errors, and does *not* destroy its witness. The soundness of our CVQC is based on the post-quantum Learning With Errors (LWE) assumption. To obtain this result, we define and construct two primitives (under the post-quantum LWE assumption) for non-destructively handling superpositions of classical data, which we believe are of independent interest: - A *state preserving* classical argument for NP. - Dual-mode trapdoor functions with *state recovery*.
- Abstract（参考訳）: 量子計算(CVQC)の古典的検証のための既存のプロトコルは、証明者の証人の状態を消費し、各呼び出しに対して新しい証人状態を必要とする。
QMAの証人は一般的にはクローン化できないため、入力された証人を破壊することは、繰り返しによる健全性と完全性を増幅するために、証人の多くのコピーを必要とすることを意味する。
目撃者の*1*コピーのみを使用する低い音質エラーでCVQCを構築することは、これまでも未解決の問題であった。
CVQCは,QMA証人の単一コピーを用いて,完全性や音の誤りを無視し,その証人を破壊するものではない。
CVQCの音質は,LWE(Learning With Errors)の仮定に基づく。
この結果を得るために、古典データの重ね合わせを非破壊的に扱うための2つのプリミティブ(量子後LWE仮定の下で)を定義し、構築する。
-*状態回復を伴うデュアルモードのトラップドア関数。
関連論文リスト
- Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions [11.346579815543075]
マハデフはラーニング・ウィズ・エラー(Learning-with-Errors)の仮定に基づく量子計算の古典的検証のための最初のプロトコルを導入した。
このブレークスルーは、プレーンモデルでメッセージが少ないかどうかという疑問を自然に提起した。
我々は、$textsfQMA$の量子計算の非対話的古典的検証を、どんな偽りの仮定に対しても、量子ブラックボックスによる還元は存在しないことを証明した。
論文 参考訳（メタデータ） (2026-02-20T07:27:25Z) - Quantum Sequential Universal Hypothesis Testing [62.751483592497806]
量子仮説テスト(QHT)は、未知の量子状態の統計的推測に関するものである。
本稿では, 量子シーケンシャルユニバーサルテスト(QSUT)を紹介し, 合成仮説の一般的な場合において, シーケンシャルQHTのための新しいフレームワークを提案する。
QSUTは普遍的推論に基づいて構築され、仮説空間の探索を目的とした適応的局所測定と、最大判別に最適化された共同測定とを交互に行う。
論文 参考訳（メタデータ） (2025-08-29T12:50:04Z) - Toward Separating QMA from QCMA with a Classical Oracle [10.699704508276174]
QMAは効率的な量子検証器によって決定できる言語のクラスであり、QCMAは効率的な量子検証器が古典的な証人しか与えられない言語のクラスである。
量子クエリ複雑性における挑戦的な基本的なゴールは、これらのクラスに対する古典的なオラクル分離を見つけることである。
論文 参考訳（メタデータ） (2024-11-04T00:18:06Z) - Self-testing in the compiled setting via tilted-CHSH inequalities [0.0]
量子時間証明器がベルの不等式を少なくとも2つの非通信量子プローバーによって達成された違反よりも無視できることを示す。
また,コンパイルされた設定に対する部分的自己テストの概念を導入し,二部構成における自己テストの弱い形式に類似する。
論文 参考訳（メタデータ） (2024-06-07T14:49:40Z) - Quantum delegation with an off-the-shelf device [3.3766484312332303]
我々は, OTSモデルを用いて, 時間量子計算の委譲方法を示す。
これはQMAに対する最初の相対論的(1ラウンド)2プロップゼロ知識証明システムを提供する。
証明手法として、定数サイズのパウリ測度のみを用いて、n個のEPR対に対する新しい自己検定を行う。
論文 参考訳（メタデータ） (2023-04-07T02:43:06Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳（メタデータ） (2023-03-02T14:18:17Z) - Witnessing entanglement in trapped-ion quantum error correction under
realistic noise [41.94295877935867]
量子誤り補正(Quantum Error Correction, QEC)は、論理情報を複数の物理量子ビットに符号化することで冗長性を利用する。
トラップイオンプラットフォームで使用される2量子光シフトゲートの平均ゲート不忠実度を推定するために,詳細な顕微鏡誤差モデルを提案する。
次に、この現実的な誤差モデルを適用し、QECビルディングブロックとして機能する回路によって生成されるマルチパーティントの絡み合いを定量化する。
論文 参考訳（メタデータ） (2022-12-14T20:00:36Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳（メタデータ） (2022-06-29T22:19:12Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳（メタデータ） (2021-03-15T05:09:17Z) - Classically Verifiable NIZK for QMA with Preprocessing [9.767030279324038]
各種前処理モデルにおけるQMAに対する古典的に検証可能な非対話的ゼロ知識証明と引数(CV-NIZK)の3つの構成を提案する。
我々は、信頼できる第三者がCRSを生成し、検証者が前処理としてインスタンス非依存の量子メッセージを送信するモデルでQMA用のCV-NIZKを構築する。
これはColadangeloらによって残されているオープンな問題に答える。
論文 参考訳（メタデータ） (2021-02-18T04:10:00Z) - Crosstalk Suppression for Fault-tolerant Quantum Error Correction with
Trapped Ions [62.997667081978825]
本稿では、電波トラップで閉じ込められた1本のイオン列をベースとした量子計算アーキテクチャにおけるクロストーク誤差の研究を行い、個別に調整されたレーザービームで操作する。
この種の誤差は、理想的には、異なるアクティブな量子ビットのセットで処理される単一量子ゲートと2量子ビットの量子ゲートが適用されている間は、未修正のままであるオブザーバー量子ビットに影響を及ぼす。
我々は,第1原理からクロストーク誤りを微視的にモデル化し,コヒーレント対非コヒーレントなエラーモデリングの重要性を示す詳細な研究を行い,ゲートレベルでクロストークを積極的に抑制するための戦略について議論する。
論文 参考訳（メタデータ） (2020-12-21T14:20:40Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。