論文の概要: Classical Verification of Quantum Computations
- arxiv url: http://arxiv.org/abs/1804.01082v3
- Date: Fri, 8 Dec 2023 01:34:18 GMT
- ステータス: 処理完了
- システム内更新日: 2023-12-11 19:44:34.342910
- Title: Classical Verification of Quantum Computations
- Title(参考訳): 量子計算の古典的検証
- Authors: Urmila Mahadev
- Abstract要約: 本稿では,従来のコンピュータが効率のよい量子計算の結果を対話的に検証できる最初のプロトコルを提案する。
古典的検証器が量子証明器を信頼度測定装置として使用できるような測定プロトコルを構築することでこれを実現できる。
- 参考スコア(独自算出の注目度): 2.1756081703276
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We present the first protocol allowing a classical computer to interactively
verify the result of an efficient quantum computation. We achieve this by
constructing a measurement protocol, which enables a classical verifier to use
a quantum prover as a trusted measurement device. The protocol forces the
prover to behave as follows: the prover must construct an n qubit state of his
choice, measure each qubit in the Hadamard or standard basis as directed by the
verifier, and report the measurement results to the verifier. The soundness of
this protocol is enforced based on the assumption that the learning with errors
problem is computationally intractable for efficient quantum machines.
- Abstract(参考訳): 古典的コンピュータが効率的な量子計算の結果を対話的に検証できる最初のプロトコルを提案する。
従来の検証者が信頼できる測定装置として量子証明器を使用できる計測プロトコルを構築してこれを実現する。
証明者は自分の選択した n キュービットの状態を構築し、検証者によって指示されたアダマールまたは標準基底における各キュービットを測定し、測定結果を検証者に報告しなければならない。
このプロトコルの健全性は、エラーのある学習は効率的な量子マシンでは計算が難しいという仮定に基づいている。
関連論文リスト
- On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit [0.5497663232622965]
本稿では、量子コンピューティングの検証とベンチマークのための新しいアプローチを提示し、実験的に実証する。
従来の情報理論的にセキュアな検証プロトコルとは異なり、我々のアプローチは完全にオンチップで実装されている。
我々の結果は、短期量子デバイスにおけるよりアクセスしやすく効率的な検証とベンチマーク戦略の道を開いた。
論文 参考訳(メタデータ) (2024-10-31T16:54:41Z) - Towards a benchmark for quantum computers based on an iterated post-selective protocol [0.0]
本稿では,量子コンピュータのテストとベンチマークを目的とした量子状態マッチングプロトコルを提案する。
測定値と1つの最終選択された量子ビットの理論的条件確率を比較することにより、ベンチマーク計量を定義する。
測定値の慎重な分析は、初期位相への依存が量子デバイスのコヒーレントゲートエラーに関する有用な情報を明らかにすることを示唆している。
論文 参考訳(メタデータ) (2024-10-09T16:54:09Z) - Unconditional verification of quantum computation with classical light [0.0]
既存の検証プロトコルは、量子コンピュータの悪意ある振る舞いを無条件に検出するために、量子通信を必要とする。
本稿では,検証者が量子コンピュータにコヒーレント光を送信した「物理的に古典的な」検証プロトコルを提案する。
論文 参考訳(メタデータ) (2024-03-21T05:38:09Z) - Robust and efficient verification of graph states in blind
measurement-based quantum computation [52.70359447203418]
Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。
資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。
本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
論文 参考訳(メタデータ) (2023-05-18T06:24:45Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Cross-Platform Verification in Quantum Networks [0.7734726150561088]
量子状態に対する効率的なクロスプラットフォーム検証プロトコルを記述・解析する。
計算の検証にどのように使用できるかを示す。
原理の証明として、これらのスキームの基本バージョンを利用可能な量子プロセッサ上で実装する。
論文 参考訳(メタデータ) (2022-12-15T13:07:33Z) - Anticipative measurements in hybrid quantum-classical computation [68.8204255655161]
量子計算を古典的な結果によって補う手法を提案する。
予測の利点を生かして、新しいタイプの量子測度がもたらされる。
予測量子測定では、古典計算と量子計算の結果の組み合わせは最後にのみ起こる。
論文 参考訳(メタデータ) (2022-09-12T15:47:44Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳(メタデータ) (2021-12-09T19:00:00Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳(メタデータ) (2020-04-24T17:58:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。