論文の概要: Information-theoretically-sound non-interactive classical verification
of quantum computing with trusted center
- arxiv url: http://arxiv.org/abs/2003.10712v1
- Date: Tue, 24 Mar 2020 08:18:16 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-28 01:17:59.444380
- Title: Information-theoretically-sound non-interactive classical verification
of quantum computing with trusted center
- Title（参考訳）: 信頼センターを用いた量子コンピューティングにおける情報理論的非対話的量子検証
- Authors: Tomoyuki Morimae
- Abstract要約: マハデフプロトコルは量子部品を除去するが、音質は計算要素となる。
我々は、信頼できる中心を持つ量子コンピューティングのための情報理論に基づく非対話的古典的検証プロトコルを構築した。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The posthoc verification protocol [J. F. Fitzsimons, M. Hajdu{\v s}ek, and T.
Morimae, Physical Review Letters {\bf120}, 040501 (2018)] enables an
information-theoretically-sound non-interactive verification of quantum
computing, but the message from the prover to the verifier is quantum and the
verifier has to do single-qubit measurements. The Mahadev protocol removes
these quantum parts, but the soundness becomes the computational one. In this
paper, we construct an information-theoretically-sound non-interactive
classical verification protocol for quantum computing with a trusted center.
The trusted center sends random BB84 states to the prover, and the classical
descriptions of these BB84 states to the verifier. The messages from the center
to the prover and the verifier are independent of the instance. By slightly
modifying our protocol, we also construct a non-interactive statistical
zero-knowledge proof system for QMA with the trusted center.
- Abstract（参考訳）: ポストホック検証プロトコル [j]。
F. Fitzsimons, M. Hajdu{\v s}ek, T. Morimae, Physical Review Letters {\bf120}, 040501 (2018)] は、量子コンピューティングの情報理論的に正しい非インタラクティブな検証を可能にするが、証明者から検証者へのメッセージは量子であり、検証者は単一量子ビットの測定を行う必要がある。
マハデフプロトコルはこれらの量子部品を除去するが、音質は計算要素となる。
本稿では,信頼センターを用いた量子コンピューティングのための情報理論的に音質非対話的検証プロトコルを構築する。
trusted center はランダムな bb84 状態を証明者に送信し、これらの bb84 状態の古典的な記述は検証者に送信する。
中心から証明者および検証者へのメッセージは、インスタンスとは独立している。
プロトコルを少し修正することで、信頼された中心を持つQMAのための非インタラクティブな統計的ゼロ知識証明システムを構築する。
関連論文リスト
- Unconditional verification of quantum computation with classical light [0.0]
既存の検証プロトコルは、量子コンピュータの悪意ある振る舞いを無条件に検出するために、量子通信を必要とする。
本稿では,検証者が量子コンピュータにコヒーレント光を送信した「物理的に古典的な」検証プロトコルを提案する。
論文 参考訳（メタデータ） (2024-03-21T05:38:09Z) - Measurement-Device-Independent Detection of Beyond-Quantum State [53.64687146666141]
量子外状態検出のための測定デバイス非依存(MDI)テストを提案する。
本稿では,入力集合のトモグラフィ完全性の重要性について論じる。
論文 参考訳（メタデータ） (2023-12-11T06:40:13Z) - 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) - Quantum Semantic Communications for Resource-Efficient Quantum Networking [52.3355619190963]
本稿では、量子機械学習と量子意味表現の進歩を活かした新しい量子意味通信(QSC)フレームワークを提案する。
提案手法は,高い量子セマンティック忠実度を達成しつつ,必要な量子通信資源の約50～75%の削減を実現する。
論文 参考訳（メタデータ） (2022-05-05T03:49:19Z) - Sample-efficient device-independent quantum state verification and
certification [68.8204255655161]
量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。
我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。
デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
論文 参考訳（メタデータ） (2021-05-12T17:48:04Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - Trusted center verification model and classical channel remote state
preparation [0.0]
古典的なチャネル遠隔状態準備(ccRSP)は量子暗号において重要な2要素プリミティブである。
我々は、検証者または信頼できるセンターがまず量子状態を証明者に送信し、次に証明者と検証者が古典的メッセージの一定ラウンドを交換する一般的な検証プロトコルを考える。
我々は,BQP が AM に含まれない限り,情報理論の健全性を維持しながら,最初の量子メッセージ送信を (近似した) ccRSP プロトコルに置き換えることができないことを示す。
論文 参考訳（メタデータ） (2020-08-11T23:16:04Z) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳（メタデータ） (2020-04-24T17:58:10Z) - Self-testing of a single quantum device under computational assumptions [7.716156977428555]
自己検査は、古典的な入出力相関のみに基づいて任意の量子システムを特徴づける手法である。
我々は、実際には実施が難しい複数の非通信当事者の設定を、1つの計算上の有界な当事者によって置き換える。
論文 参考訳（メタデータ） (2020-01-24T19:00:15Z) - Classical Verification of Quantum Computations [2.1756081703276]
本稿では,従来のコンピュータが効率のよい量子計算の結果を対話的に検証できる最初のプロトコルを提案する。
古典的検証器が量子証明器を信頼度測定装置として使用できるような測定プロトコルを構築することでこれを実現できる。
論文 参考訳（メタデータ） (2018-04-03T17:53:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。