論文の概要: On the Cryptographic Foundations of Interactive Quantum Advantage
- arxiv url: http://arxiv.org/abs/2510.05082v1
- Date: Mon, 06 Oct 2025 17:51:22 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-07 16:53:00.039225
- Title: On the Cryptographic Foundations of Interactive Quantum Advantage
- Title(参考訳): インタラクティブ量子アドバンテージの暗号基礎について
- Authors: Kabir Tomer, Mark Zhandry,
- Abstract要約: 量子性の証明を達成するのに必要な硬さ(PoQ)
特に, この結果から, 格子を用いた公開検証PoQ構築の課題が説明できる。
- 参考スコア(独自算出の注目度): 8.438148845727445
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In this work, we study the hardness required to achieve proofs of quantumness (PoQ), which in turn capture (potentially interactive) quantum advantage. A ``trivial'' PoQ is to simply assume an average-case hard problem for classical computers that is easy for quantum computers. However, there is much interest in ``non-trivial'' PoQ that actually rely on quantum hardness assumptions, as these are often a starting point for more sophisticated protocols such as classical verification of quantum computation (CVQC). We show several lower-bounds for the hardness required to achieve non-trivial PoQ, specifically showing that they likely require cryptographic hardness, with different types of cryptographic hardness being required for different variations of non-trivial PoQ. In particular, our results help explain the challenges in using lattices to build publicly verifiable PoQ and its various extensions such as CVQC.
- Abstract(参考訳): 本研究では,量子性(PoQ)の証明に必要な硬さについて検討する。
自明な' PoQ とは、量子コンピュータにとって容易な古典的コンピュータにおいて、単に平均ケースの難しい問題を仮定することである。
しかし、量子計算の古典的検証(CVQC)のようなより洗練されたプロトコルの出発点となることが多いため、実際には量子硬度仮定に依存している「非自明な」PoQには多くの関心がある。
非自明なPoQを実現するのに必要な難易度にはいくつかの低いバウンドを示し、特に、非自明なPoQの異なるバリエーションに対して異なる種類の暗号難易度を必要とすることを示します。
特に,格子を用いたPoQとCVQCなどの様々な拡張を公に検証する上での課題について解説する。
関連論文リスト
- Cryptographic Characterization of Quantum Advantage [8.093227427119325]
古典的な一方向パズル(OWPuzzs)が存在する場合に限って、量子性の非効率検証(IV-PoQ)が存在することを示す。
量子優位性の完全な暗号的特徴が得られたのはこれが初めてである。
論文 参考訳(メタデータ) (2024-10-01T08:29:25Z) - QSETH strikes again: finer quantum lower bounds for lattice problem, strong simulation, hitting set problem, and more [5.306949367777188]
現在の量子ハードウェアでは「簡単な」計算上の優位性がないという問題がある。
量子コンピュータ上でこれらの問題を解くのが難しいという証拠を得たいのですが、その正確な複雑さは何でしょうか?
QSETHフレームワーク [Buhrman-Patro-Speelman 2021] を用いることで、CNFSATのいくつかの自然変種の量子複雑性を理解することができる。
論文 参考訳(メタデータ) (2023-09-28T13:30:20Z) - Quantum Imitation Learning [74.15588381240795]
本稿では、量子優位性を利用してILを高速化する量子模倣学習(QIL)を提案する。
量子行動クローニング(Q-BC)と量子生成逆模倣学習(Q-GAIL)という2つのQILアルゴリズムを開発した。
実験結果から,Q-BCとQ-GAILの両者が,従来のものと同等の性能を達成できることが判明した。
論文 参考訳(メタデータ) (2023-04-04T12:47:35Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。
クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。
量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文 参考訳(メタデータ) (2023-01-25T07:00:13Z) - Universal expressiveness of variational quantum classifiers and quantum
kernels for support vector machines [0.0]
量子カーネルを用いた変分量子分類器(VQC)とサポートベクトルマシン(QSVM)は、k-Forrelation問題に基づく分類問題を解くことができることを示す。
この結果から,任意のBQP問題に対して,VQCとQSVMを効率的に解ける特徴写像と量子カーネルが存在することが示唆された。
論文 参考訳(メタデータ) (2022-07-12T22:03:31Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Efficient measure for the expressivity of variational quantum algorithms [72.59790225766777]
我々は、変分量子アルゴリズムの表現率を研究するために、統計学習理論、すなわち被覆数に関する高度なツールを利用する。
まず、任意のアンサーゼを持つVQAの表現性は、量子ゲートの数と観測可能な測定値によって上限づけられていることを示す。
次に,システムノイズを考慮した量子チップ上でのVQAの表現性について検討する。
論文 参考訳(メタデータ) (2021-04-20T13:51:08Z) - Towards understanding the power of quantum kernels in the NISQ era [79.8341515283403]
量子カーネルの利点は,大規模データセット,計測回数の少ないもの,システムノイズなどにおいて消失することを示した。
我々の研究は、NISQデバイス上で量子優位性を得るための先進量子カーネルの探索に関する理論的ガイダンスを提供する。
論文 参考訳(メタデータ) (2021-03-31T02:41:36Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳(メタデータ) (2020-10-20T12:06:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。