論文の概要: Trusted center verification model and classical channel remote state
preparation
- arxiv url: http://arxiv.org/abs/2008.05033v2
- Date: Tue, 1 Sep 2020 02:12:11 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-06 13:41:41.998236
- Title: Trusted center verification model and classical channel remote state
preparation
- Title(参考訳): 信頼された中心検証モデルと古典的チャネル遠隔状態準備
- Authors: Tomoyuki Morimae, Yuki Takeuchi
- Abstract要約: 古典的なチャネル遠隔状態準備(ccRSP)は量子暗号において重要な2要素プリミティブである。
我々は、検証者または信頼できるセンターがまず量子状態を証明者に送信し、次に証明者と検証者が古典的メッセージの一定ラウンドを交換する一般的な検証プロトコルを考える。
我々は,BQP が AM に含まれない限り,情報理論の健全性を維持しながら,最初の量子メッセージ送信を (近似した) ccRSP プロトコルに置き換えることができないことを示す。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The classical channel remote state preparation (ccRSP) is an important
two-party primitive in quantum cryptography. Alice (classical polynomial-time)
and Bob (quantum polynomial-time) exchange polynomial rounds of classical
messages, and Bob finally gets random single-qubit states while Alice finally
gets classical descriptions of the states. In [T. Morimae, arXiv:2003.10712],
an information-theoretically-sound non-interactive protocol for the
verification of quantum computing was proposed. The verifier of the protocol is
classical, but the trusted center is assumed that sends random single-qubit
states to the prover and their classical descriptions to the verifier. If the
trusted center can be replaced with a ccRSP protocol while keeping the
information-theoretical soundness, an information-theoretically-sound classical
verification of quantum computing is possible, which solves the long-standing
open problem. In this paper, we show that it is not the case unless BQP is
contained in MA. We also consider a general verification protocol where the
verifier or the trusted center first sends quantum states to the prover, and
then the prover and the verifier exchange a constant round of classical
messages. We show that the first quantum message transmission cannot be
replaced with an (even approximate) ccRSP protocol while keeping the
information-theoretical soundness unless BQP is contained in AM. We finally
study the verification with the computational soundness. We show that if a
ccRSP protocol satisfies a certain condition even against any quantum
polynomial-time malicious prover, the replacement of the trusted center with
the ccRSP protocol realizes a computationally-sound classical verification of
quantum computing. The condition is weaker than the verifiability of the ccRSP.
- Abstract(参考訳): 古典的なチャネル遠隔状態準備(ccRSP)は量子暗号において重要な2要素プリミティブである。
アリス(古典多項式時間)とボブ(量子多項式時間)は、古典メッセージの多項式ラウンドを交換し、ボブは最終的にランダムな単一量子ビット状態を得る。
T. Morimae, arXiv:2003.10712] では, 量子コンピューティングの検証のための情報理論に基づく非相互作用プロトコルが提案されている。
プロトコルの検証者は古典的であるが、信頼できる中心は証明者とその古典的記述を検証者にランダムな単一量子状態を送信すると仮定する。
情報理論の健全性を保ちながら、信頼されたセンターをccRSPプロトコルに置き換えることができれば、量子コンピューティングの情報理論的に古典的な検証が可能であり、長年のオープン問題を解決することができる。
本稿では、BQP が MA に含まれない限り、そうではないことを示す。
また、検証者または信頼できるセンタがまず量子状態を証明者に送信し、次に証明者と検証者が古典的メッセージの一定ラウンドを交換する一般的な検証プロトコルについても検討する。
我々は,BQP が AM に含まれない限り,情報理論の健全性を維持しながら,最初の量子メッセージ送信を ccRSP プロトコルに置き換えることができないことを示す。
最終的に、その検証を計算精度で研究する。
ccRSPプロトコルが任意の量子多項式時間悪質な証明器に対して一定の条件を満たす場合、信頼されたセンターをccRSPプロトコルに置き換えることにより、量子コンピューティングの古典的検証を実現する。
この条件はccrspの検証可能性よりも弱い。
関連論文リスト
- Classical Commitments to Quantum States [5.6739502570965765]
量子状態に対する古典的なコミットメントスキームの概念を定義する。
量子証明器は量子状態に対する古典的なコミットメントを計算し、後に各量子ビットを標準またはアダマール基底で開くことができる。
論文 参考訳(メタデータ) (2024-04-19T22:31:18Z) - 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) - Probably approximately correct quantum source coding [0.0]
Holevo と Nayak の境界は、量子状態に格納できる古典的な情報の量を推定する。
量子学習理論における2つの新しい応用と、純粋に古典的なクライアントを用いた代入量子計算について述べる。
論文 参考訳(メタデータ) (2021-12-13T17:57:30Z) - Quantum communication complexity beyond Bell nonlocality [87.70068711362255]
効率的な分散コンピューティングは、リソース要求タスクを解決するためのスケーラブルな戦略を提供する。
量子リソースはこのタスクに適しており、古典的手法よりも優れた明確な戦略を提供する。
我々は,ベルのような不等式に,新たなコミュニケーション複雑性タスクのクラスを関連付けることができることを証明した。
論文 参考訳(メタデータ) (2021-06-11T18:00:09Z) - Computation-aided classical-quantum multiple access to boost network
communication speeds [61.12008553173672]
我々は,2次元のcq-MACに対する計算特性を持つ符号の達成可能な量子通信速度を定量化する。
従来の設計では実現不可能な通信速度(シングルユーザ容量)を最大化できることを示す。
論文 参考訳(メタデータ) (2021-05-30T11:19:47Z) - On Information-Theoretic Classical Verification of Quantum Computers [0.38073142980733]
この家族のいかなるプロトコルも、非常に強力な証明を必要とすることを示しています。
我々は、証明者がより弱くなりうるプロトコル、すなわち量子コンピュータを実現しようとする可能性があることを示唆する。
論文 参考訳(メタデータ) (2021-05-12T20:10:35Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。
サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。
特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
論文 参考訳(メタデータ) (2020-07-03T13:15:13Z) - Information-theoretically-sound non-interactive classical verification
of quantum computing with trusted center [0.0]
マハデフプロトコルは量子部品を除去するが、音質は計算要素となる。
我々は、信頼できる中心を持つ量子コンピューティングのための情報理論に基づく非対話的古典的検証プロトコルを構築した。
論文 参考訳(メタデータ) (2020-03-24T08:18:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。