論文の概要: Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

• arxiv url: http://arxiv.org/abs/2206.00631v2
• Date: Fri, 30 Sep 2022 18:00:22 GMT
• ステータス: 処理完了
• システム内更新日: 2023-02-11 01:04:36.114874
• Title: Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations
• Title（参考訳）: 量子検証と誤り検出の統一:最適化の理論とツール
• Authors: Theodoros Kapourniotis, Elham Kashefi, Dominik Leichtle, Luka Music, Harold Ollivier
• Abstract要約: 検証可能なブラインド量子コンピューティングは、この問題に対処するための重要なアプローチの1つとして登場した。 我々は誤り検出と検証の基本的な対応を確立する。 本稿では、$mathsfBQP$計算のための新しい効率的で堅牢な検証プロトコルの探索を体系化する方法について述べる。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: With the recent availability of cloud quantum computing services, the question of verifying quantum computations delegated by a client to a quantum server is becoming of practical interest. While Verifiable Blind Quantum Computing (VBQC) has emerged as one of the key approaches to address this challenge, current protocols still need to be optimised before they are truly practical. To this end, we establish a fundamental correspondence between error-detection and verification and provide sufficient conditions to both achieve security in the Abstract Cryptography framework and optimise resource overheads of all known VBQC-based protocols. As a direct application, we demonstrate how to systematise the search for new efficient and robust verification protocols for $\mathsf{BQP}$ computations. While we have chosen Measurement-Based Quantum Computing (MBQC) as the working model for the presentation of our results, one could expand the domain of applicability of our framework via direct known translation between the circuit model and MBQC.
• Abstract（参考訳）: クラウド量子コンピューティングサービスが最近利用可能になったことで、クライアントが量子サーバーに委譲する量子計算の検証という問題が現実の関心を集めている。 Verifiable Blind Quantum Computing (VBQC) はこの課題に対処するための重要なアプローチの1つとして登場したが、現在のプロトコルは本当に実用的である前に最適化する必要がある。 この目的のために、エラー検出と検証の基本的な対応を確立し、抽象暗号フレームワークにおけるセキュリティの実現と、既知のVBQCベースのプロトコルのリソースオーバーヘッドの最適化に十分な条件を提供する。 直接アプリケーションとして、$\mathsf{BQP}$計算のための新しい効率的で堅牢な検証プロトコルの探索を体系化する方法を示す。 我々は,実験結果を提示する作業モデルとして,計測ベース量子コンピューティング(MBQC)を選択したが,回路モデルとMBQC間の直接の翻訳により,我々のフレームワークの適用範囲を広げることができた。

関連論文リスト

• Robust and efficient verification of graph states in blind measurement-based quantum computation [52.70359447203418]
  Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。 資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。 本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
  論文  参考訳（メタデータ） (2023-05-18T06:24:45Z)
• Delegated variational quantum algorithms based on quantum homomorphic encryption [69.50567607858659]
  変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。 クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。 量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
  論文  参考訳（メタデータ） (2023-01-25T07:00:13Z)
• Single-photon-memory measurement-device-independent quantum secure direct communication [63.75763893884079]
  量子セキュアダイレクト通信(QSDC)は、量子チャネルを使用して情報を確実かつ安全に送信する。 実用検出器によるセキュリティの抜け穴を取り除くため,測定デバイス非依存(MDI)QSDCプロトコルが提案されている。 高速な量子メモリを不要とする単一光子メモリ MDI QSDC プロトコル (SPMQC) を提案する。
  論文  参考訳（メタデータ） (2022-12-12T02:23:57Z)
• From Auditable Quantum Authentication to Best-of-Both-Worlds Multiparty Quantum Computation with Public Verifiable Identifiable Abort [0.5076419064097734]
  我々は,MPQC-PVIAプロトコルを用いて,最初のセキュアなマルチパーティ量子計算を構築した。 MPQCはBest-of-Both-Worlds(BoBW)セキュリティを提供する最初の量子設定であり、正直なところ完全なセキュリティを実現している。
  論文  参考訳（メタデータ） (2022-11-03T09:12:48Z)
• QSAN: A Near-term Achievable Quantum Self-Attention Network [73.15524926159702]
  SAM(Self-Attention Mechanism)は機能の内部接続を捉えるのに長けている。 短期量子デバイスにおける画像分類タスクに対して,新しい量子自己注意ネットワーク(QSAN)を提案する。
  論文  参考訳（メタデータ） (2022-07-14T12:22:51Z)
• Equivalence in delegated quantum computing [0.7734726150561088]
  デリゲート量子コンピューティング(DQC)は、限られたクライアントが、量子サーバ上でリモートで能力の外部にある操作を実行できるようにする。 DQCでは、クライアント側で完全に異なる操作を要求する2つのアプローチが従う。 本研究では、プロトコルの等価性に関する新しい厳密な定義を提供し、これらの異なるDQC設定がこの意味では同値であることを示す。
  論文  参考訳（メタデータ） (2022-06-15T12:06:25Z)
• Data post-processing for the one-way heterodyne protocol under composable finite-size security [62.997667081978825]
  本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。 ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。 これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
  論文  参考訳（メタデータ） (2022-05-20T12:37:09Z)
• Verifying BQP Computations on Noisy Devices with Minimal Overhead [0.0]
  本稿では,BQP計算を分散化するための最初のブラインドかつ検証可能なプロトコルを,唯一のオーバヘッドとして繰り返し繰り返す強力なサーバに導入する。 指数的に低い境界で構成可能で統計的に安全であり、一定の量の大域的雑音を許容することができる。
  論文  参考訳（メタデータ） (2021-09-09T05:20:56Z)
• Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds [0.0]
  マルチパーティ量子計算(MPQC)は、量子ネットワークのキラーアプリケーションとして多くの注目を集めている。 単一の正直なクライアントであっても、盲目性と妥当性を達成できる構成可能なプロトコルを提案する。
  論文  参考訳（メタデータ） (2021-02-25T15:58:09Z)
• Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
  クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。 サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。 特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
  論文  参考訳（メタデータ） (2020-07-03T13:15:13Z)
• Client-Server Identification Protocols with Quantum PUF [1.4174475093445233]
  本稿では,新たなハードウェアセキュリティソリューションである量子物理不包含関数(qPUF)に基づく2つの識別プロトコルを提案する。 第1のプロトコルでは、低リソースのパーティがそのアイデンティティを高リソースのパーティに証明することができ、第2のプロトコルでは、その逆である。 特定の攻撃群に対するセキュリティに依存した、量子読み取りPUFに基づく既存の識別プロトコルとは異なり、我々のプロトコルは、リソース効率の高い相手を持つ量子多項式時間に対して、証明可能な指数的セキュリティを提供する。
  論文  参考訳（メタデータ） (2020-06-08T12:35:09Z)

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

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