論文の概要: A General Quantum Duality for Representations of Groups with Applications to Quantum Money, Lightning, and Fire
- arxiv url: http://arxiv.org/abs/2411.00529v1
- Date: Fri, 01 Nov 2024 11:56:11 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-05 14:48:28.541283
- Title: A General Quantum Duality for Representations of Groups with Applications to Quantum Money, Lightning, and Fire
- Title(参考訳): 集団表現のための一般的な量子双対性と量子マネー, 照明, 火災への応用
- Authors: John Bostanci, Barak Nehoran, Mark Zhandry,
- Abstract要約: 1つの基底で量子状態を操作することは、相補的な基底で値を取り出すことと等価であることを示す。
本研究は,有理暗号的仮定に基づく最初のセキュアな量子稲妻構築について述べる。
量子雷セキュリティ、最悪のケースと平均的なクローンセキュリティ、標準状態の準備に対するセキュリティの4つのセキュリティ概念の等価性を示す。
- 参考スコア(独自算出の注目度): 8.714677279673738
- License:
- Abstract: Aaronson, Atia, and Susskind established that swapping quantum states $|\psi\rangle$ and $|\phi\rangle$ is computationally equivalent to distinguishing their superpositions $|\psi\rangle\pm|\phi\rangle$. We extend this to a general duality principle: manipulating quantum states in one basis is equivalent to extracting values in a complementary basis. Formally, for any group, implementing a unitary representation is equivalent to Fourier subspace extraction from its irreducible representations. Building on this duality principle, we present the applications: * Quantum money, representing verifiable but unclonable quantum states, and its stronger variant, quantum lightning, have resisted secure plain-model constructions. While (public-key) quantum money has been constructed securely only from the strong assumption of quantum-secure iO, quantum lightning has lacked such a construction, with past attempts using broken assumptions. We present the first secure quantum lightning construction based on a plausible cryptographic assumption by extending Zhandry's construction from Abelian to non-Abelian group actions, eliminating reliance on a black-box model. Our construction is realizable with symmetric group actions, including those implicit in the McEliece cryptosystem. * We give an alternative quantum lightning construction from one-way homomorphisms, with security holding under certain conditions. This scheme shows equivalence among four security notions: quantum lightning security, worst-case and average-case cloning security, and security against preparing a canonical state. * Quantum fire describes states that are clonable but not telegraphable: they cannot be efficiently encoded classically. These states "spread" like fire, but are viable only in coherent quantum form. The only prior construction required a unitary oracle; we propose the first candidate in the plain model.
- Abstract(参考訳): Aaronson, Atia, Susskind は、量子状態 $|\psi\rangle$ と $|\phi\rangle$ の交換は、それらの重ね合わせを $|\psi\rangle\pm|\phi\rangle$ と区別する計算上等価であることを示した。
これを一般的な双対原理に拡張する: 1つの基底で量子状態を操作することは、相補的な基底で値を取り出すことと等価である。
形式的には、任意の群に対してユニタリ表現を実装することは、その既約表現からフーリエ部分空間を抽出することと同値である。
検証不可能な量子状態を表す量子マネー(quantum money)と、より強力な変種である量子ライニング(quantum lightning)は、セキュアなプレーンモデル構築に抵抗している。
量子マネー(パブリックキー)は、量子セキュアなiOの強い仮定からのみセキュアに構築されているが、量子雷はそのような構造を欠いている。
本研究では,アベリア語群から非アベリア語群への構成を拡大し,ブラックボックスモデルへの依存を排除し,暗号的仮定に基づく最初のセキュアな量子稲妻構成を提案する。
我々の構成は、McEliece暗号系における暗黙的なグループアクションを含む対称群アクションで実現可能である。
※一方向準同型から、特定の条件下でセキュリティを保持する別の量子稲妻構成を与える。
このスキームは、量子雷セキュリティ、最悪のケースと平均ケースのクローンセキュリティ、標準状態の作成に対するセキュリティの4つのセキュリティ概念の等価性を示している。
※量子火火(Quantum fire)とは、クローン可能ではあるが電報不能な状態のこと。
これらの状態は火のように「広がる」が、コヒーレントな量子形式でしか実現できない。
唯一の事前構築ではユニタリなオラクルが必要であり、原モデルで最初の候補を提案する。
関連論文リスト
- Quantum State Group Actions [9.520158869896395]
量子状態の集合に作用する群からなる量子状態群作用を探索する。
特定の設定では、統計的(クエリ境界付きでさえも)セキュリティは不可能であり、量子後古典群アクションと類似している。
我々の量子状態群アクションは、2つの既存の量子マネースキームを統合することができる。
論文 参考訳(メタデータ) (2024-10-11T05:53:38Z) - Oracle Separation Between Quantum Commitments and Quantum One-wayness [0.6882042556551611]
量子コミットメントが存在するが、(効果的に検証可能な)片方向状態生成器が存在しないような、ユニタリな量子オラクルが存在することを示す。
最近の研究は、一方の状態発生器からコミットメントを構築することができることを示したが、他方の方向は未解決のままである。
論文 参考訳(メタデータ) (2024-10-04T12:26:21Z) - Demonstrating anyonic non-Abelian statistics with a minimal $d = 6$ qudit lattice [0.0]
我々は、$d=6$ qudits の格子を$mathbfD(mathbfS_3)$非アベリア随伴体とみなす。
本稿では, ブレイディングおよび融合進化の非可換性を示す手法を提案する。
この研究は、非アベリア量子誤り訂正符号の実現に向けた基本的なステップである。
論文 参考訳(メタデータ) (2024-08-06T18:00:59Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
非負の振幅を持つ非絡み合った量子証明のパワー、つまり $textQMA+(2)$ を表すクラスについて研究する。
特に,小集合拡張,ユニークなゲーム,PCP検証のためのグローバルプロトコルを設計する。
QMA(2) が $textQMA+(2)$ に等しいことを示す。
論文 参考訳(メタデータ) (2024-02-29T01:35:46Z) - Commitments from Quantum One-Wayness [0.0]
本研究は、片方向関数の自然な量子緩和である片方向状態発生器を研究する。
根本的な問題は、このタイプの量子ワンウェイネスが量子暗号を実現するのに十分であるかどうかである。
我々は、純粋な状態出力を持つ一方通行状態生成器が量子ビットのコミットメントを暗示し、セキュアなマルチパーティ計算を行うことを証明した。
論文 参考訳(メタデータ) (2023-10-17T18:48:22Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Another Round of Breaking and Making Quantum Money: How to Not Build It
from Lattices, and More [13.02553999059921]
我々は、公に検証可能な量子マネーに対して、負と正の両方の結果を提供する。
量子マネーと量子ライティングを構築するためのフレームワークを提案する。
フレームワークの潜在的インスタンス化について論じる。
論文 参考訳(メタデータ) (2022-11-22T04:17:32Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-15T17:55:31Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳(メタデータ) (2020-09-29T08:41:53Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。
この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。
標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文 参考訳(メタデータ) (2018-03-10T05:31:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。