論文の概要: Tight Bounds for Inverting Permutations via Compressed Oracle Arguments
- arxiv url: http://arxiv.org/abs/2103.08975v2
- Date: Thu, 20 Jan 2022 02:39:37 GMT
- ステータス: 処理完了
- システム内更新日: 2023-04-07 23:40:32.752109
- Title: Tight Bounds for Inverting Permutations via Compressed Oracle Arguments
- Title（参考訳）: oracle の圧縮引数による置換の反転に対する厳密な境界
- Authors: Ansis Rosmanis
- Abstract要約: Zhandryは、量子クエリアルゴリズムとランダム関数に対応する量子オラクルの間の相互作用を研究した。
オラクルがランダム関数の代わりにランダムな置換に対応する場合にも同様の解釈を導入する。
乱数関数と乱数置換の両方がセキュリティ証明において極めて重要であるため、本フレームワークが量子暗号に応用されることを期待する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In his seminal work on recording quantum queries [Crypto 2019], Zhandry
studied interactions between quantum query algorithms and the quantum oracle
corresponding to random functions. Zhandry presented a framework for
interpreting various states in the quantum space of the oracle as databases of
the knowledge acquired by the algorithm and used that interpretation to provide
security proofs in post-quantum cryptography.
In this paper, we introduce a similar interpretation for the case when the
oracle corresponds to random permutations instead of random functions. Because
both random functions and random permutations are highly significant in
security proofs, we hope that the present framework will find applications in
quantum cryptography. Additionally, we show how this framework can be used to
prove that the success probability for a k-query quantum algorithm that
attempts to invert a random N-element permutation is at most O(k^2/N).
- Abstract（参考訳）: 量子クエリの記録(Crypto 2019)において、Zhandryは量子クエリアルゴリズムとランダム関数に対応する量子オラクルの間の相互作用を研究した。
zhandry氏は,アルゴリズムが取得した知識のデータベースとして,oracleの量子空間におけるさまざまな状態を解釈するためのフレームワークを提示した。
本稿では、オラクルがランダム関数の代わりにランダムな置換に対応する場合の同様の解釈を紹介する。
乱数関数と乱数置換の両方がセキュリティ証明において極めて重要であるため、このフレームワークが量子暗号に応用されることを期待する。
さらに、このフレームワークを用いて、ランダムなN要素の置換を反転しようとするk-query量子アルゴリズムの成功確率が最も高いO(k^2/N)であることを証明できることを示す。
関連論文リスト
- Efficient Quantum Pseudorandomness from Hamiltonian Phase States [41.94295877935867]
我々は、ハミルトニアン相状態(HPS)問題と呼ばれる量子硬度仮定を導入する。
我々は、我々の仮定が少なくとも完全に量子的であることを示し、すなわち片方向関数を構成するのに使用できない。
仮定とその変形により、多くの擬似ランダム量子プリミティブを効率的に構築できることを示す。
論文 参考訳（メタデータ） (2024-10-10T16:10:10Z) - Founding Quantum Cryptography on Quantum Advantage, or, Towards Cryptography from $\mathsf{\#P}$-Hardness [10.438299411521099]
近年の分離により、階層構造が崩壊しても持続する硬さの源から量子暗号を構築する可能性が高まっている。
量子暗号は、$mathsfP#P notsubseteq mathsf(io)BQP/qpoly$という非常に穏やかな仮定に基づいている。
論文 参考訳（メタデータ） (2024-09-23T17:45:33Z) - A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles [7.454028086083526]
ランダムなオラクルから構築した擬似乱数発生器(PRG)の(量子)セキュリティについて検討する。
我々は、大まかに言えば、そのようなPRGが、ランダムなオラクルに対して無条件に多くのクエリを結び付ける古典的敵に対して無条件に安全であるならば、同じ意味で(無条件で)量子的敵に対して安全であることを示す「持ち上げ定理」を証明している。
論文 参考訳（メタデータ） (2024-01-25T17:13:51Z) - Encryption with Quantum Public Keys [1.7725414095035827]
本稿では,一方の関数とより弱い仮定から量子公開鍵暗号スキームを構築するという課題について考察する。
本研究では,一方の関数からの量子公開鍵暗号,擬似乱数関数様状態と擬似乱数関数様状態との3つのスキームを提案する。
論文 参考訳（メタデータ） (2023-03-09T16:17:19Z) - One-Way Ticket to Las Vegas and the Quantum Adversary [78.33558762484924]
量子ラスベガスのクエリの複雑さは、量子対向境界と全く同じであることを示す。
これは、逆反転問題に対する実現可能な解を量子クエリーアルゴリズムに変換することで達成される。
論文 参考訳（メタデータ） (2023-01-05T11:05:22Z) - Quantum Depth in the Random Oracle Model [57.663890114335736]
浅量子回路の計算能力と古典計算の組合せを包括的に評価する。
いくつかの問題に対して、1つの浅い量子回路で適応的な測定を行う能力は、適応的な測定をせずに多くの浅い量子回路を実行する能力よりも有用である。
論文 参考訳（メタデータ） (2022-10-12T17:54:02Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳（メタデータ） (2022-05-26T20:32:36Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Quantum Error Mitigation Relying on Permutation Filtering [84.66087478797475]
本稿では,既存の置換に基づく手法を特殊なケースとして含む,置換フィルタ(permutation filters)と呼ばれる一般的なフレームワークを提案する。
提案するフィルタ設計アルゴリズムは, 常に大域的最適度に収束し, フィルタが既存の置換法よりも大幅に改善できることを示す。
論文 参考訳（メタデータ） (2021-07-03T16:07:30Z) - Quantum Pseudorandomness and Classical Complexity [0.08158530638728499]
暗号擬似乱数量子状態と擬似乱数ユニタリ変換が存在することを示す。
本稿では、暗号、複雑性理論、量子トモグラフィーにおけるこれらの結果の影響について論じる。
論文 参考訳（メタデータ） (2021-03-16T20:54:12Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳（メタデータ） (2020-07-21T15:36:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。