論文の概要: Improved Quantum Lifting by Coherent Measure-and-Reprogram
- arxiv url: http://arxiv.org/abs/2509.09896v1
- Date: Thu, 11 Sep 2025 23:15:13 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-15 16:03:07.943698
- Title: Improved Quantum Lifting by Coherent Measure-and-Reprogram
- Title（参考訳）: コヒーレントな測定・再プログラムによる量子リフティングの改善
- Authors: Alexandru Cojocaru, Juan Garay, Qipeng Liu, Fang Song,
- Abstract要約: 量子ランダムモデルオラクルにおけるセキュリティゲームに対するより厳密なリフト定理を与える。
私たちの主な成果の中核は、コヒーレント・リプログラミングと呼ばれる新しい測度とリプログラミングのフレームワークです。
- 参考スコア（独自算出の注目度）: 41.17296890645859
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We give a tighter lifting theorem for security games in the quantum random oracle model. At the core of our main result lies a novel measure-and-reprogram framework that we call coherent reprogramming. This framework gives a tighter lifting theorem for query complexity problems, that only requires purely classical reasoning. As direct applications of our lifting theorem, we first provide a quantum direct product theorem in the average case - i.e., an enabling tool to determine the hardness of solving multi-instance security games. This allows us to derive in a straightforward manner the hardness of various security games, for example (i) the non-uniform hardness of salted games, (ii) the hardness of specific cryptographic tasks such as the multiple instance version of one-wayness and collision-resistance, and (iii) uniform or non-uniform hardness of many other games.
- Abstract（参考訳）: 量子ランダムオラクルモデルにおいて、セキュリティゲームに対してより厳密なリフト定理を与える。
私たちの主な成果の中核は、コヒーレント・リプログラミングと呼ばれる新しい測度とリプログラミングのフレームワークです。
このフレームワークはクエリ複雑性問題に対してより厳密なリフト定理を与えるが、これは純粋に古典的な推論を必要とするだけである。
持ち上げ定理の直接的な応用として、まず平均ケースにおいて量子直積定理(つまり、マルチインスタンスセキュリティゲームの解決の難しさを決定するためのツール)を提供する。
これにより、例えば様々なセキュリティゲームの難しさを直接的に引き出すことができます。
(i)ソルトゲームの不均一な硬さ。
二 ワンウェイネスの複数インスタンスバージョン、衝突耐性等の特定の暗号処理の難しさ
(三)他の多くのゲームにおいて一様または一様でない硬さ。
関連論文リスト
- NISQ Security and Complexity via Simple Classical Reasoning [41.17296890645859]
ノイズ中間スケール量子(NISQ)設定における量子ランダムオラクルモデル(QROM)におけるセキュリティゲームに対する新しいリフト定理を提案する。
我々は、量子および古典的クエリの両方を実行できるハイブリッドアルゴリズムに対して、初めてハイブリッドリフト定理を提供する。
平均ケースにおける最初の直接積定理、すなわち、マルチインスタンスセキュリティゲームを解く際のハイブリッドハードネスを決定するためのツールであるハイブリッド設定定理を導出する。
論文 参考訳（メタデータ） (2025-09-11T23:31:39Z) - Quantum Lifting for Invertible Permutations and Ideal Ciphers [47.33103206862089]
量子乱数置換と理想的な暗号モデルにおけるセキュリティを確立するための最初の持ち上げ定理を導出する。
これらの定理は、任意の量子逆数の成功確率と、少数の古典的クエリのみを作る古典的アルゴリズムの成功確率を関連付ける。
論文 参考訳（メタデータ） (2025-04-25T09:07:55Z) - (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。
その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。
本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文 参考訳（メタデータ） (2024-10-22T00:41:47Z) - A Dynamical System View of Langevin-Based Non-Convex Sampling [44.002384711340966]
非サンプリングは機械学習における重要な課題であり、ディープラーニングにおける非レート最適化の中心であり、その重要性を近似する。
既存の保証は通常、より望ましい最終段階の反復よりも平均距離のみを保持する。
我々は、理論システムからいくつかのツールを活用することにより、上記の問題を解消する新しいフレームワークを開発する。
論文 参考訳（メタデータ） (2022-10-25T09:43:36Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs
of Sequential Work [10.43571631715192]
我々は、量子ランダムオラクルモデル(QROM)における量子アルゴリズムの分析のために、Zhandryによって導入されたいわゆる圧縮オラクル手法を再考する。
我々の主な技術的貢献は、クエリ複雑性の結果を証明するために圧縮されたオラクル技法の並列クエリの一般化を単純化するフレームワークである。
本手法の具体的な暗号的応用として,Cohen と Pietrzak が提唱した "Simple Proofs of Sequential Work" が量子攻撃に対して安全であることを示す。
論文 参考訳（メタデータ） (2020-10-22T12:44:08Z) - Post-Quantum Multi-Party Computation [32.75732860329838]
我々は、悪質な時間量子敵に対するセキュリティを備えた古典的機能(平易なモデル)のマルチパーティ計算について研究する。
誤差付き学習における超ポリノミカル量子硬度(LWE)とLWEに基づく円形セキュリティ仮定の量子硬度を仮定する。
その過程で、私たちは独立した関心を持つ可能性のある暗号プリミティブを開発します。
論文 参考訳（メタデータ） (2020-05-23T00:42:52Z) - Simpler Proofs of Quantumness [16.12500804569801]
量子性の証明は、量子デバイスが古典的なデバイスでは不可能な計算タスクを実行できることを示す方法である。
現在、量子性の証明を示すための3つのアプローチがある。
トラップドアの爪のない関数をベースとした量子性の2次元証明(Challenge-Response)を与える。
論文 参考訳（メタデータ） (2020-05-11T01:31:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。