論文の概要: Exponential Quantum One-Wayness and EFI Pairs
- arxiv url: http://arxiv.org/abs/2404.13699v1
- Date: Sun, 21 Apr 2024 15:55:00 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-23 17:52:05.977159
- Title: Exponential Quantum One-Wayness and EFI Pairs
- Title(参考訳): 指数量子ワンウェイネスとEFIペア
- Authors: Giulio Malavolta, Tomoyuki Morimae, Michael Walter, Takashi Yamakawa,
- Abstract要約: 古典暗号では、一方通行関数は最小の計算仮定であると広く考えられている。
片方向関数の探索量子一般化は片方向状態発生器(OWSG)である。
その結果,IV-OWSGs は EFI 対と正確に等価であり,比例的に減少することがわかった。
- 参考スコア(独自算出の注目度): 18.481934628015004
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In classical cryptography, one-way functions are widely considered to be the minimal computational assumption. However, when taking quantum information into account, the situation is more nuanced. There are currently two major candidates for the minimal assumption: the search quantum generalization of one-way functions are one-way state generators (OWSG), whereas the decisional variant are EFI pairs. A well-known open problem in quantum cryptography is to understand how these two primitives are related. A recent breakthrough result of Khurana and Tomer (STOC'24) shows that OWSGs imply EFI pairs, for the restricted case of pure states. In this work, we make progress towards understanding the general case. To this end, we define the notion of inefficiently-verifiable one-way state generators (IV-OWSGs), where the verification algorithm is not required to be efficient, and show that these are precisely equivalent to EFI pairs, with an exponential loss in the reduction. Significantly, this equivalence holds also for mixed states. Thus our work establishes the following relations among these fundamental primitives of quantum cryptography: (mixed) OWSGs => (mixed) IV-OWSGs $\equiv_{\rm exp}$ EFI pairs, where $\equiv_{\rm exp}$ denotes equivalence up to exponential security of the primitives.
- Abstract(参考訳): 古典暗号では、一方通行関数は最小の計算仮定であると広く考えられている。
しかし、量子情報を考慮に入れると、状況はより微妙になる。
片方向関数の探索量子一般化は片方向状態発生器(OWSG)であり、決定的変種はEFI対である。
量子暗号におけるよく知られたオープン問題は、これらの2つのプリミティブがどのように関連しているかを理解することである。
Khurana と Tomer (STOC'24) の最近のブレークスルーの結果は、純粋な状態の制限された場合、OWSG が EFI 対を意味することを示している。
本研究は,一般事例の理解に向けて進展する。
この目的のために、検証アルゴリズムが効率的でなくてもよい非効率な一方向状態生成器(IV-OWSG)の概念を定義し、これらがEFI対と正確に等価であることを示す。
重要なことに、この同値性は混合状態にも当てはまる。
混合) OWSGs => (混合) IV-OWSGs $\equiv_{\rm exp}$ EFI pairs ここで、$\equiv_{\rm exp}$はプリミティブの指数的セキュリティまでの等価性を示す。
関連論文リスト
- A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID [16.5193119873963]
EFI対が存在する量子ユニタリオラクルが存在することを示すが、OWSGは存在しない。
私たちは、オラクル、QEFID、片道パズルを通じて、OWSGや他のMicrocryptプリミティブから切り離しています。
論文 参考訳(メタデータ) (2024-10-04T14:11:56Z) - Oracle Separation Between Quantum Commitments and Quantum One-wayness [0.6882042556551611]
量子コミットメントが存在するが、(効果的に検証可能な)片方向状態生成器が存在しないような、ユニタリな量子オラクルが存在することを示す。
最近の研究は、一方の状態発生器からコミットメントを構築することができることを示したが、他方の方向は未解決のままである。
論文 参考訳(メタデータ) (2024-10-04T12:26:21Z) - Pseudo-Entanglement is Necessary for EFI Pairs [0.0]
我々は、新しい量子資源、擬似絡み合いを考察し、EFI対の存在が擬似絡み合いの存在を意味することを示す。
この結果は,計算暗号の分野において重要な意味を持つ。
論文 参考訳(メタデータ) (2024-06-11T01:44:16Z) - Gaussian conversion protocol for heralded generation of qunaught states [66.81715281131143]
ボソニック符号は、qubit型量子情報をより大きなボソニックヒルベルト空間にマッピングする。
我々は、これらの符号 GKP qunaught 状態の2つのインスタンスと、ゼロ論理エンコードされた量子ビットに対応する4つの対称二項状態とを変換する。
GKPqunaught状態は98%以上、確率は約3.14%である。
論文 参考訳(メタデータ) (2023-01-24T14:17:07Z) - One-Wayness in Quantum Cryptography [9.09597656634436]
本研究では,一方向関数の量子アナログである一方向状態発生器(OWSG)の特性について検討する。
量子デジタル署名はOWSGと等価であることを示す。
我々は、秘密に検証可能で統計的に可逆なOWSGと呼ばれるOWSGの変種を紹介する。
論文 参考訳(メタデータ) (2022-10-07T08:21:21Z) - On the computational hardness needed for quantum cryptography [10.760579667794476]
大規模な量子暗号アプリケーションにはEFIペアが必要であることを示す。
我々は、最小限のコミットメントスキーム、曖昧な転送、そして一般的なセキュアなマルチパーティ証明からEFIペアを構築する。
これは、量子暗号の多くにおいて、EFIペアが古典的な環境でのOWFと同じような役割を果たすことを示唆している。
論文 参考訳(メタデータ) (2022-09-09T03:22:05Z) - Improved Quantum Algorithms for Fidelity Estimation [77.34726150561087]
証明可能な性能保証を伴う忠実度推定のための新しい,効率的な量子アルゴリズムを開発した。
我々のアルゴリズムは量子特異値変換のような高度な量子線型代数技術を用いる。
任意の非自明な定数加算精度に対する忠実度推定は一般に困難であることを示す。
論文 参考訳(メタデータ) (2022-03-30T02:02:16Z) - Quantum simulation of $\phi^4$ theories in qudit systems [53.122045119395594]
回路量子力学(cQED)システムにおける格子$Phi4$理論の量子アルゴリズムの実装について論じる。
quditシステムの主な利点は、そのマルチレベル特性により、対角的な単一量子ゲートでしかフィールドの相互作用を実装できないことである。
論文 参考訳(メタデータ) (2021-08-30T16:30:33Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
本稿では,最適化問題における短期量子優位性の提案に着想を得た高忠実度ゲートセットを提案する。
3つのトランペット四重項のコヒーレントな多レベル制御を編成することにより、自然な3量子ビット計算ベースで作用する決定論的連続角量子位相ゲートの族を合成する。
論文 参考訳(メタデータ) (2021-08-03T17:49:09Z) - Preparation of excited states for nuclear dynamics on a quantum computer [117.44028458220427]
量子コンピュータ上で励起状態を作成するための2つの異なる方法を研究する。
シミュレーションおよび実量子デバイス上でこれらの手法をベンチマークする。
これらの結果から,フォールトトレラントデバイスに優れたスケーリングを実現するために設計された量子技術が,接続性やゲート忠実性に制限されたデバイスに実用的なメリットをもたらす可能性が示唆された。
論文 参考訳(メタデータ) (2020-09-28T17:21:25Z) - Efficient simulatability of continuous-variable circuits with large
Wigner negativity [62.997667081978825]
ウィグナー負性性は、いくつかの量子計算アーキテクチャにおいて計算上の優位性に必要な資源であることが知られている。
我々は、大きく、おそらくは有界で、ウィグナー負性を示し、しかし古典的に効率的にシミュレートできる回路の広大な族を同定する。
我々は,高次元離散可変量子回路のシミュラビリティとボソニック符号とのリンクを確立することにより,本結果の導出を行う。
論文 参考訳(メタデータ) (2020-05-25T11:03:42Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。