論文の概要: Chain rules for conditional entropies in quantum cryptography: limitations and improvements
- arxiv url: http://arxiv.org/abs/2605.29787v1
- Date: Thu, 28 May 2026 11:35:27 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-30 02:45:56.202697
- Title: Chain rules for conditional entropies in quantum cryptography: limitations and improvements
- Title(参考訳): 量子暗号における条件エントロピーの連鎖規則--制限と改善
- Authors: Lewis Wooltorton, Peter Brown, Omar Fawzi,
- Abstract要約: 連鎖規則はエントロピー累積定理(EAT)の鍵となる要素である
信頼されたデバイスの設定における最近の連鎖規則は、有限個のラウンドで厳密な i.d. 還元をもたらす。
我々は,現行のDIセキュリティ証明アプローチの限界を浮き彫りにして,Dupuisらのチェーンルールを自然に厳格化することは不可能であることを示す。
- 参考スコア(独自算出の注目度): 6.983998742574596
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Security proofs in quantum cryptography rely on conditional entropies. In a many-round protocol, their estimation is a challenging task; one must account for the most general attacks by an eavesdropper, including those that are not independently and identically distributed (i.i.d.) across all rounds. Chain rules address this problem by relating the conditional entropy of a structured, but non-i.i.d. process to a sum of entropy contributions from each round. They are a key ingredient in entropy accumulation theorems (EATs), which provide a versatile security proof framework for many protocols in quantum cryptography. Recently, chain rules in the setting of trusted devices have lead to tight i.i.d. reductions at a finite number of rounds, and whether analogous results can be recovered in the device-independent (DI) setting has not been addressed. Surprisingly, we show that a natural tightening of the chain rule of Dupuis et al. [Commun. Math. Phys. 379, 867-913, (2020)] that would answer this question affirmatively cannot hold, highlighting a limitation of the current DI security proof approach. Nonetheless, we show that an intermediate improvement is possible by proving a new chain rule in this setting. Following the framework of Arqand et al. [Phys. Rev. X 15, 041013 (2025)], we use our chain rule to provide a slightly tighter version of the Rényi EAT in certain contexts. In addition, we provide a self-contained framework that unifies existing chain rules and compares their applications, framing our results in a broader context.
- Abstract(参考訳): 量子暗号におけるセキュリティ証明は条件付きエントロピーに依存する。
複数ラウンドのプロトコルでは、それらの推定は難しい作業であり、すべてのラウンドで独立で同一に分散されていないものを含む、盗聴器による最も一般的な攻撃を考慮しなければならない。
連鎖規則は、構造化された、しかし非i.d.過程の条件付きエントロピーを各ラウンドからのエントロピー寄与の和に関連付けることでこの問題に対処する。
これらはエントロピー累積定理(EAT)の重要な要素であり、量子暗号における多くのプロトコルに対する汎用的なセキュリティ証明フレームワークを提供する。
近年、信頼されたデバイスの設定における連鎖規則は、有限ラウンドでの厳密な縮小を導いており、デバイス非依存(DI)設定で類似した結果が得られるかどうかが未解決である。
驚くべきことに、この疑問に肯定的に答えることのできるDupuis et al (Commun. Math. Phys. 379, 867-913, (2020)) の連鎖規則の自然な厳格化が、現在のDIセキュリティ証明アプローチの限界を浮き彫りにしている。
それにもかかわらず、この設定で新しい連鎖則を証明することによって、中間的な改善が可能であることを示す。
Arqand et al [Phys. Rev. X 15, 041013 (2025)] のフレームワークに従って、チェーンルールを使用して、特定のコンテキストにおけるRényi EATのより厳密なバージョンを提供する。
さらに、既存のチェーンルールを統一し、それらのアプリケーションを比較し、その結果をより広いコンテキストでフレーミングする、自己完結型フレームワークも提供します。
関連論文リスト
- Quantile Advantage Estimation for Entropy-Safe Reasoning [44.192277495613695]
RLVRによる強化学習はLLM推論を強化するが、エントロピー崩壊とエントロピー爆発の間のトレーニングはしばしば振動する
いずれのハザードも値のないRLで使われる平均ベースラインに辿り着くが、これは不適切に報酬のアウトリージの下で負のアドバンテージサンプルをペナルティ化する。
本稿では,平均値をグループ単位のK量子基底線に置き換えた量子アドバンテージ推定(QAE)を提案する。
論文 参考訳(メタデータ) (2025-09-26T17:37:52Z) - Quantum Lifting for Invertible Permutations and Ideal Ciphers [47.33103206862089]
量子乱数置換と理想的な暗号モデルにおけるセキュリティを確立するための最初の持ち上げ定理を導出する。
これらの定理は、任意の量子逆数の成功確率と、少数の古典的クエリのみを作る古典的アルゴリズムの成功確率を関連付ける。
論文 参考訳(メタデータ) (2025-04-25T09:07:55Z) - Marginal-constrained entropy accumulation theorem [0.0]
チャネル条件エントロピーはその正規化バージョンに等しく、より一般的にはチャネルのテンソル積にまたがる加法性を示す。
暗号の目的のために、我々の鎖則をチャネルの列に適用すると、R'enyiエントロピーの新たな変種が生成される。
論文 参考訳(メタデータ) (2025-02-04T18:37:34Z) - Efficient Eigenstate Preparation in an Integrable Model with Hilbert Space Fragmentation [39.49473274097833]
量子回路を用いたスピン鎖の固有状態の合成について検討する。
我々は、粒子間の相互作用が十分に単純である相互作用モデルにおいても、成長の成果が得られていることを示す。
論文 参考訳(メタデータ) (2024-11-22T18:57:08Z) - Quantum Rewinding for IOP-Based Succinct Arguments [42.12045681000549]
我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。
その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、その複雑さを最もよく知ることができる。
論文 参考訳(メタデータ) (2024-11-08T06:33:08Z) - Mutual information chain rules for security proofs robust against device imperfections [0.0]
我々は、敵に追加情報を漏らす不完全なデバイスを用いて量子暗号を解析する。
これらの結果は、デバイスに依存しない様々なプロトコルやデバイスに依存しないプロトコルにおいて、デバイス不完全性を扱うために使用できることを示す。
論文 参考訳(メタデータ) (2024-07-29T19:47:47Z) - Security of discrete-modulated continuous-variable quantum key distribution [4.637027109495763]
離散変調を持つ連続変数量子鍵分布は、情報理論のセキュリティを提供する可能性がある。
離散変調量子鍵分布プロトコルにおけるコヒーレント攻撃に対する有限サイズセキュリティを証明した。
論文 参考訳(メタデータ) (2023-03-16T12:14:07Z) - Geometry of Banach spaces: a new route towards Position Based
Cryptography [65.51757376525798]
我々は幾何学的機能解析の観点から位置ベース量子暗号(PBQC)について検討し,その量子ゲームとの関係について考察した。
私たちが関心を持っている主な質問は、PBQCプロトコルのセキュリティを損なうために、攻撃者の連合が共有しなければならない、最適な絡み合いの量を求めることです。
より複雑なバナッハ空間の型プロパティの理解は、仮定を捨て、我々のプロトコルを攻撃するのに使用されるリソースに条件のない低い境界をもたらすことを示します。
論文 参考訳(メタデータ) (2021-03-30T13:55:11Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳(メタデータ) (2021-03-15T05:09:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。