論文の概要: Geometry of Banach spaces: a new route towards Position Based
Cryptography
- arxiv url: http://arxiv.org/abs/2103.16357v3
- Date: Fri, 15 Apr 2022 18:13:06 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-06 03:40:14.922677
- Title: Geometry of Banach spaces: a new route towards Position Based
Cryptography
- Title(参考訳): バナッハ空間の幾何学 : 位置ベース暗号への新たな道
- Authors: Marius Junge, Aleksander M. Kubicki, Carlos Palazuelos and David
P\'erez-Garc\'ia
- Abstract要約: 我々は幾何学的機能解析の観点から位置ベース量子暗号(PBQC)について検討し,その量子ゲームとの関係について考察した。
私たちが関心を持っている主な質問は、PBQCプロトコルのセキュリティを損なうために、攻撃者の連合が共有しなければならない、最適な絡み合いの量を求めることです。
より複雑なバナッハ空間の型プロパティの理解は、仮定を捨て、我々のプロトコルを攻撃するのに使用されるリソースに条件のない低い境界をもたらすことを示します。
- 参考スコア(独自算出の注目度): 65.51757376525798
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this work we initiate the study of Position Based Quantum Cryptography
(PBQC) from the perspective of geometric functional analysis and its
connections with quantum games. The main question we are interested in asks for
the optimal amount of entanglement that a coalition of attackers have to share
in order to compromise the security of any PBQC protocol. Known upper bounds
for that quantity are exponential in the size of the quantum systems
manipulated in the honest implementation of the protocol. However, known lower
bounds are only linear.
In order to deepen the understanding of this question, here we propose a
Position Verification (PV) protocol and find lower bounds on the resources
needed to break it. The main idea behind the proof of these bounds is the
understanding of cheating strategies as vector valued assignments on the
Boolean hypercube. Then, the bounds follow from the understanding of some
geometric properties of particular Banach spaces, their type constants. Under
some regularity assumptions on the former assignment, these bounds lead to
exponential lower bounds on the quantum resources employed, clarifying the
question in this restricted case. Known attacks indeed satisfy the assumption
we make, although we do not know how universal this feature is. Furthermore, we
show that the understanding of the type properties of some more involved Banach
spaces would allow to drop out the assumptions and lead to unconditional lower
bounds on the resources used to attack our protocol. Unfortunately, we were not
able to estimate the relevant type constant. Despite that, we conjecture an
upper bound for this quantity and show some evidence supporting it. A positive
solution of the conjecture would lead to stronger security guarantees for the
proposed PV protocol providing a better understanding of the question asked
above.
- Abstract(参考訳): 本研究では,幾何学的関数解析と量子ゲームとの関連の観点から,位置に基づく量子暗号(pbqc)の研究を開始する。
私たちが関心を持っている主な質問は、PBQCプロトコルのセキュリティを損なうために、攻撃者の連合が共有しなければならない最適な絡み合いの量を求めることです。
その量の上限は、プロトコルの正直な実装で操作される量子システムのサイズにおいて指数関数的である。
しかし、既知の下限は線型である。
本稿では,この問題の理解を深めるために,位置検証(PV)プロトコルを提案する。
これらの境界の証明の背後にある主要なアイデアは、ブール超キューブ上のベクトル値の割り当てとしてカンニング戦略を理解することである。
次に、境界は特定のバナッハ空間、それらの型定数の幾何的性質の理解から従う。
前者の割り当てに対するいくつかの正規性仮定の下では、これらの境界は、採用される量子資源の指数関数的な下限につながり、この制限された場合の問題を明確化する。
既知の攻撃は、私たちの仮定を本当に満たしていますが、この機能がどの程度普遍的であるかは分かりません。
さらに,より関連するバナッハ空間の型特性を理解することで,仮定を取り除き,プロトコル攻撃に使用するリソースの無条件下限を導くことができることを示した。
残念ながら、関連する型定数を見積もることはできなかった。
それにもかかわらず、この量に対する上限を推測し、それを支持するいくつかの証拠を示す。
この推測に対する肯定的な解決策は、提案されたPVプロトコルに対するより強力なセキュリティ保証をもたらすだろう。
関連論文リスト
- Classical Commitments to Quantum States [5.6739502570965765]
量子状態に対する古典的なコミットメントスキームの概念を定義する。
量子証明器は量子状態に対する古典的なコミットメントを計算し、後に各量子ビットを標準またはアダマール基底で開くことができる。
論文 参考訳(メタデータ) (2024-04-19T22:31:18Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Entropy Accumulation under Post-Quantum Cryptographic Assumptions [4.416484585765028]
デバイス非依存(DI)量子プロトコルでは、セキュリティステートメントは量子装置の特性を損なう。
本稿では,量子情報理論のツールの組み合わせを利用して,そのようなプロトコルの安全性を証明するフレキシブルなフレームワークを提案する。
論文 参考訳(メタデータ) (2023-07-02T12:52:54Z) - Single-qubit loss-tolerant quantum position verification protocol secure
against entangled attackers [0.0]
本稿では,BB84状態に基づくQPVプロトコルの損失耐性について検討する。
これらの結果が,古典的情報の$n$ビットと単一キュービットを組み合わせた変分プロトコルにどのように変換されるかを示す。
論文 参考訳(メタデータ) (2022-12-07T14:39:56Z) - Commitments to Quantum States [11.217084610985674]
コミットフェーズの後、コミットした状態が送信者の視点から隠されている場合、量子メッセージへのコミットが結合される。
量子状態コミットメント(QSC)の隠蔽は、古典的なメッセージに対するコミットメントスキームによってもたらされることを示す。
量子状態へのコミットは多くの新しい暗号可能性への扉を開く。
論文 参考訳(メタデータ) (2022-10-11T04:34:36Z) - Is Vertical Logistic Regression Privacy-Preserving? A Comprehensive
Privacy Analysis and Beyond [57.10914865054868]
垂直ロジスティック回帰(VLR)をミニバッチ降下勾配で訓練した。
我々は、オープンソースのフェデレーション学習フレームワークのクラスにおいて、VLRの包括的で厳密なプライバシー分析を提供する。
論文 参考訳(メタデータ) (2022-07-19T05:47:30Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳(メタデータ) (2022-06-29T22:19:12Z) - Tight Exponential Analysis for Smoothing the Max-Relative Entropy and
for Quantum Privacy Amplification [56.61325554836984]
最大相対エントロピーとその滑らかなバージョンは、量子情報理論の基本的な道具である。
我々は、精製された距離に基づいて最大相対エントロピーを滑らかにする量子状態の小さな変化の崩壊の正確な指数を導出する。
論文 参考訳(メタデータ) (2021-11-01T16:35:41Z) - Shannon theory for quantum systems and beyond: information compression
for fermions [68.8204255655161]
フェミオン症例における絡み合いの忠実度は相関関係の保存性を評価することができることを示す。
原符号定理のフェルミオン版を導入し、量子の場合と同様に、フォン・ノイマンエントロピーはフェルミオン圧縮スキームが存在する最小の速度であることを示す。
論文 参考訳(メタデータ) (2021-06-09T10:19:18Z) - Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's
Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。
本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。
我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文 参考訳(メタデータ) (2020-12-30T18:03:56Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。