論文の概要: All graph state verification protocols are composably secure
- arxiv url: http://arxiv.org/abs/2402.01445v1
- Date: Fri, 2 Feb 2024 14:37:26 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-05 14:48:31.492939
- Title: All graph state verification protocols are composably secure
- Title（参考訳）: すべてのグラフ状態検証プロトコルは構成可能安全である
- Authors: L\'eo Colisson and Damian Markham and Raja Yehia
- Abstract要約: グラフ状態検証プロトコルは、悪意のあるパーティの存在下でも、複数のパーティがグラフ状態を共有しながら、状態が誠実に準備されていることをチェックする。
以前の研究は、そのような性質は抽象暗号フレームワークでは証明できないと推測していた。
グラフ状態検証プロトコルはすべて,グラフ状態作成の自然な機能に関して,構成可能なセキュアなプロトコルに変換可能であることを示す。
- 参考スコア（独自算出の注目度）: 1.534667887016089
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Graph state verification protocols allow multiple parties to share a graph
state while checking that the state is honestly prepared, even in the presence
of malicious parties. Since graph states are the starting point of numerous
quantum protocols, it is crucial to ensure that graph state verification
protocols can safely be composed with other protocols, this property being
known as composable security. Previous works [YDK21] conjectured that such a
property could not be proven within the abstract cryptography framework: we
disprove this conjecture by showing that all graph state verification protocols
can be turned into a composably secure protocol with respect to the natural
functionality for graph state preparation. Moreover, we show that any unchanged
graph state verification protocols can also be considered as composably secure
for a slightly different, yet useful, functionality. Finally, we show that
these two results are optimal, in the sense that any such generic result,
considering arbitrary black-box protocols, must either modify the protocol or
consider a different functionality.
Along the way, we show a protocol to generalize entanglement swapping to
arbitrary graph states that might be of independent interest.
- Abstract（参考訳）: グラフ状態検証プロトコルは、悪意のあるパーティの存在下でも、複数のパーティがグラフ状態を共有しながら、状態が誠実に準備されていることをチェックする。
グラフ状態は多数の量子プロトコルの出発点であるため、グラフ状態検証プロトコルが他のプロトコルで安全に構成できることを保証することが重要である。
我々は、すべてのグラフ状態検証プロトコルが、グラフ状態準備の自然な機能に関して、構成可能なセキュアなプロトコルに変換できることを示すことで、この予想を否定する。
さらに, 変更のないグラフ状態検証プロトコルは, わずかに異なるが有用である機能に対して, 構成的に安全なものとみなすこともできる。
最後に、この2つの結果が最適であることを示し、任意のブラックボックスプロトコルを考慮すれば、プロトコルを変更するか、異なる機能を検討する必要がある。
その過程で、独立した関心を持つ可能性のある任意のグラフ状態への絡み合い交換を一般化するプロトコルを示す。
関連論文リスト
- Public verifiable measurement-only blind quantum computation based on
entanglement witnesses [20.207593331052824]
測定専用ブラインド量子計算のための公開検証プロトコルを提案する。
任意の状態と2色グラフのグラフ状態の間の忠実度を推定する。
我々のプロトコルは、他のランダムクライアントが公開検証を実行できるようにすることで、真の意味においてパブリック検証可能である。
論文 参考訳（メタデータ） (2023-10-03T17:16:15Z) - Security of a Continuous-Variable based Quantum Position Verification
Protocol [0.0]
我々は、コヒーレントな状態とその特性を利用するプロトコルを提示し、分析する。
我々は、エントロピーの不確実性関係を通じて、無拘束攻撃者に対するプロトコルの安全性を証明する。
連続変数のEPRペアを事前に共有している攻撃者がプロトコルを破ることができることを示す。
論文 参考訳（メタデータ） (2023-08-08T09:56:38Z) - Robust and efficient verification of graph states in blind
measurement-based quantum computation [52.70359447203418]
Blind Quantum Computing (BQC) は、クライアントのプライバシを保護するセキュアな量子計算手法である。
資源グラフ状態が敵のシナリオで正確に準備されているかどうかを検証することは重要である。
本稿では,任意の局所次元を持つ任意のグラフ状態を検証するための,堅牢で効率的なプロトコルを提案する。
論文 参考訳（メタデータ） (2023-05-18T06:24:45Z) - QuTE: decentralized multiple testing on sensor networks with false
discovery rate control [130.7122910646076]
本稿では、偽発見率(FDR)の証明可能な保証を備えたグラフ上での分散多重仮説検定法を設計する。
異なるエージェントが無向グラフのノードに存在し、各エージェントはそのノードに局所的な1つ以上の仮説に対応するp値を持つ。
各エージェントは、グラフ全体の大域的FDRが予め定義されたレベルで制御されなければならないという共同目的のもと、隣人とのみ通信することで、それぞれのローカル仮説の1つ以上の拒絶を個別に決めなければならない。
論文 参考訳（メタデータ） (2022-10-09T19:48:39Z) - Efficient verification of Affleck-Kennedy-Lieb-Tasaki states [14.158567687044409]
Affleck-Kennedy-Lieb-Tasaki状態(AKLT)は、多体量子状態の重要なクラスである。
任意のグラフ上のAKLT状態に対する効率的な検証プロトコルを構築するための一般的な手法を提案する。
論文 参考訳（メタデータ） (2022-06-30T14:24:37Z) - Collaborative likelihood-ratio estimation over graphs [55.98760097296213]
グラフに基づく相対的制約のない最小二乗重要度フィッティング(GRULSIF)
我々はこの考え方を、グラフベースの相対的非制約最小二乗重要度フィッティング(GRULSIF)と呼ばれる具体的な非パラメトリック手法で開発する。
我々は、ノード当たりの観測回数、グラフのサイズ、およびグラフ構造がタスク間の類似性をどの程度正確にエンコードしているかといった変数が果たす役割を強調する、協調的なアプローチの収束率を導出する。
論文 参考訳（メタデータ） (2022-05-28T15:37:03Z) - Byzantine-Robust Federated Learning with Optimal Statistical Rates and
Privacy Guarantees [123.0401978870009]
ほぼ最適な統計率を持つビザンチン・ロバスト・フェデレーション学習プロトコルを提案する。
競合プロトコルに対してベンチマークを行い、提案プロトコルの実証的な優位性を示す。
我々のバケットプロトコルは、プライバシー保証手順と自然に組み合わせて、半正直なサーバに対するセキュリティを導入することができる。
論文 参考訳（メタデータ） (2022-05-24T04:03:07Z) - Data post-processing for the one-way heterodyne protocol under
composable finite-size security [62.997667081978825]
本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。
ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。
これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
論文 参考訳（メタデータ） (2022-05-20T12:37:09Z) - Entanglement purification by counting and locating errors with
entangling measurements [62.997667081978825]
量子状態の複数コピーに対するエンタングルメント浄化プロトコルについて検討する。
ノイズアンサンブルにおける誤差の数と位置を高次元補助的絡み合いシステムを用いて学習する。
論文 参考訳（メタデータ） (2020-11-13T19:02:33Z) - Verification of graph states in an untrusted network [0.0]
我々は、信頼できない情報源が生成し、おそらく不名誉な関係者のネットワーク間で共有されるグラフ状態の検証について検討する。
これは、様々な分散タスクに対するグラフ状態の適用の証明に影響を及ぼす。
有用なグラフ状態の大規模なファミリに対して,グローバルに効率的なプロトコルを提案する。
論文 参考訳（メタデータ） (2020-07-26T13:17:21Z) - Composable Security for Multipartite Entanglement Verification [3.4806267677524896]
我々は、$n$のパーティが、おそらく不正直なパーティーによって制御される絡み合った生成リソースをテストすることができる構成可能なセキュアなプロトコルを提案する。
このテストは、状態が共有されると、局所的な量子演算と認証された古典的通信でのみ行われる。
我々のプロトコルは一般に、通信や計算プロトコルを実行する前に、ネットワーク間でGHZ状態を安全に共有するために、量子インターネットのサブルーチンとして使用することができる。
論文 参考訳（メタデータ） (2020-04-16T14:33:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。