論文の概要: Revisiting Remote State Preparation with Verifiability: A New Set of
Notions with Well-behaved Properties
- arxiv url: http://arxiv.org/abs/2310.05246v1
- Date: Sun, 8 Oct 2023 17:38:43 GMT
- ステータス: 処理完了
- システム内更新日: 2023-10-12 09:03:08.914565
- Title: Revisiting Remote State Preparation with Verifiability: A New Set of
Notions with Well-behaved Properties
- Title（参考訳）: 可検証性のあるリモート状態生成の再検討:高い特性を持つ新しい表記セット
- Authors: Jiayu Zhang
- Abstract要約: 検証可能性を備えたリモート状態準備(RSPV)では、クライアントはサーバ側で量子状態(状態ファミリーからサンプリングされた)を準備したい。
近年,シングルサーバの計算安全設定 [MV21] に一般化されているセルフテストという概念は,サーバの動作を認証することを目的としている。
本稿では,自己検査の代替として,検証可能性を備えた遠隔操作アプリケーション(ROAV)を提案する。
- 参考スコア（独自算出の注目度）: 2.3465488122819123
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In remote state preparation with verifiability (RSPV), a client would like to
prepare a quantum state (sampled from a state family) on the server side, such
that ideally the client knows its full description, while the server holds and
only holds the state itself. A closely related notion called self-testing,
which is recently generalized to the single-server computationally-secure
setting [MV21], aims at certifying the server's operation. These notions have
been widely studied in various different settings and have become fundamental
building blocks in many quantum protocols. However, there are many variants of
definitions in existing works, and many of these variants do not have some
desirable properties like sequential composability. In this background, a new
framework that could potentially support more general solutions is desirable.
In this paper, we choose notions or basic ideas from existing works
[BDSSTW01,GV19,Zha22,RY21] and introduce new notions, with the goal of
developing a more general, well-behaved framework for these problems. We choose
RSPV with simulation-based soundness [BDSSTW01,GV19,Zha22], and study its basic
properties like composability. Furthermore, for controlling the server's
operation in a verifiable way, we introduce a new notion named remote operator
application with verifiability (ROAV) as a replacement of self-testing. In this
notion the server is provided with an unknown input state, and is supposed to
perform a specific operator (sampled from an operator family) to the state; the
client knows the operator description, but what server knows in the end is
limited to the output state of the operation applied on the input state.
Finally, we show several basic constructions of protocols under our set of
notions, and discuss why these notions could potentially lead to quantum
cryptographic protocols with new functionalities.
- Abstract（参考訳）: 検証可能性(verifiability:rspv)を備えたリモート状態準備では、クライアントはサーバ側で量子状態(状態ファミリからサンプリング)を作成し、理想的にはクライアントがその完全な記述を知っているが、サーバは状態自身を保持し、保持するだけである。
近年,シングルサーバの計算安全設定 [MV21] に一般化されているセルフテストという概念は,サーバの動作を認証することを目的としている。
これらの概念は様々な異なる設定で広く研究され、多くの量子プロトコルにおいて基本的な構成要素となっている。
しかし、既存の作品には多くの定義の変種があり、これらの変種の多くはシーケンシャルコンポーザビリティのような望ましい性質を持っていない。
この背景には、より一般的なソリューションをサポートする可能性のある新しいフレームワークが望ましい。
本稿では,既存の作品(BDSSTW01,GV19,Zha22,RY21)から概念や基本概念を選択し,これらの問題に対してより汎用的で優れた枠組みを開発することを目的とする。
シミュレーションに基づく音質(BDSSTW01,GV19,Zha22)でRSPVを選択し,構成性などの基本特性について検討する。
さらに,サーバの動作を検証可能な方法で制御するために,検証可能性(roav)を自己テストの代替として,リモートオペレータアプリケーションという新しい概念を導入する。
この概念では、サーバは未知の入力状態を備えており、特定のオペレータ(オペレータファミリーからサンプリングされた)を状態に実行することが求められ、クライアントはオペレータ記述を知っているが、最後にサーバが知るものは、入力状態に適用された操作の出力状態に限られる。
最後に,これらの概念が量子暗号プロトコルに新たな機能性をもたらす可能性について論じる。
関連論文リスト
- The Power of Resets in Online Reinforcement Learning [73.64852266145387]
ローカルシミュレータアクセス(あるいはローカルプランニング)を用いたオンライン強化学習を通してシミュレータのパワーを探求する。
カバー性が低いMPPは,Qstar$-realizabilityのみのサンプル効率で学習可能であることを示す。
ローカルシミュレーターアクセス下では, 悪名高いExogenous Block MDP問題が抽出可能であることを示す。
論文 参考訳（メタデータ） (2024-04-23T18:09:53Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳（メタデータ） (2024-02-29T01:35:46Z) - Unifying (Quantum) Statistical and Parametrized (Quantum) Algorithms [65.268245109828]
我々はカーンズのSQオラクルとヴァリアントの弱い評価オラクルからインスピレーションを得ます。
評価クエリから学習するための非条件の下限を出力する,広範かつ直感的なフレームワークを提案する。
論文 参考訳（メタデータ） (2023-10-26T18:23:21Z) - Bounding the quantum value of compiled nonlocal games: from CHSH to BQP
verification [2.298932494750101]
Kalaiらは、非ローカルゲームに適用されるブラックボックス暗号コンパイル手順を定義した。
単一プロデューサプロトコルの量子値の完全な理解に向けて前進する。
我々は,BQPに対して単一プロプライエタリな古典的検証プロトコルを提供し,CHSH剛性解析を用いてその健全性を証明した。
論文 参考訳（メタデータ） (2023-03-02T19:20:59Z) - Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve
Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum
States [0.0]
従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。
ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。
私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
論文 参考訳（メタデータ） (2023-03-02T18:38:15Z) - Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations [0.5825410941577593]
クラウドベースの量子コンピューティングは、クライアントによって量子サービスプロバイダに委譲された計算が忠実に実行されるという強力な保証を提供するために不可欠である。
現在のプロトコルには、コンポーザビリティ、ノイズ・ロバスト性、モジュール性という3つの要素の少なくとも1つが欠落している。
本稿では,SDQCプロトコルの基本構造,すなわちクライアントがサーバの実行を希望する暗号化と,サーバの悪意のある動作を検出するように設計されたテストの2つのコンポーネントを混合する。
テストの種類を変えたり、クライアントの計算と混同したりすると、セキュリティとノイズの異なる新しいSDQCプロトコルが自動的に生成される。
論文 参考訳（メタデータ） (2022-06-01T17:03:07Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - On the Connection Between Quantum Pseudorandomness and Quantum Hardware
Assumptions [1.4174475093445233]
本稿では,量子擬似ランダム性と量子ハードウェアの仮定との関係について述べる。
我々は、効率的な擬似ランダム量子状態(PRS)は、普遍的に鍛えられないqPUFの挑戦セットを構築するのに十分であることを示す。
その結果,既存のqPUFベースのクライアントサーバ識別プロトコルの効率性は,セキュリティ要件を損なうことなく向上できることを示した。
論文 参考訳（メタデータ） (2021-10-22T11:55:06Z) - Experimentally accessible non-separability criteria for multipartite
entanglement structure detection [0.0]
本研究では,ある分割に関して,非分離性に対する十分な条件を識別する実験的かつスケーラブルな反復手法を提案する。
我々は,4量子ビットのSmolinと8量子のW状態の構造を推定することにより,20量子ビットのIBM量子コンピュータ上で実験を行った。
W状態の場合、非分離状態からシステム内の絡み合いが少なく、断片化された極小パーティションまで、デバイス上での異なる実行で非常に異なる結果が得られる。
論文 参考訳（メタデータ） (2021-10-08T14:58:46Z) - ISTR: End-to-End Instance Segmentation with Transformers [147.14073165997846]
ISTRと呼ばれるインスタンスセグメンテーショントランスフォーマーを提案します。これは、その種類の最初のエンドツーエンドフレームワークです。
ISTRは低次元マスクの埋め込みを予測し、それらのマスクの埋め込みと一致する。
ISTRは、提案されたエンドツーエンドのメカニズムにより、近似ベースのサブオプティマティック埋め込みでも最先端のパフォーマンスを発揮します。
論文 参考訳（メタデータ） (2021-05-03T06:00:09Z) - Security Limitations of Classical-Client Delegated Quantum Computing [54.28005879611532]
クライアントは、古典的なチャネルを使用して量子状態をリモートで準備する。
サブモジュールとして$RSP_CC$を採用することで生じるプライバシ損失は、不明である。
特定の$RSP_CC$プロトコルは、少なくともいくつかのコンテキストにおいて量子チャネルを置き換えることができることを示す。
論文 参考訳（メタデータ） (2020-07-03T13:15:13Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。