論文の概要: 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仮定の下で)を定義し、構築する。 -*状態回復を伴うデュアルモードのトラップドア関数。

関連論文リスト

• 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)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。