Quantum Money from Abelian Group Actions
- URL: http://arxiv.org/abs/2307.12120v4
- Date: Thu, 7 Mar 2024 22:10:07 GMT
- Title: Quantum Money from Abelian Group Actions
- Authors: Mark Zhandry
- Abstract summary: We give a construction of public key quantum money, and even a strengthened version called quantum lightning.
We prove security in the generic group model for group actions under a plausible computational assumption.
- Score: 12.640283469603357
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We give a construction of public key quantum money, and even a strengthened
version called quantum lightning, from abelian group actions, which can in turn
be constructed from suitable isogenies over elliptic curves. We prove security
in the generic group model for group actions under a plausible computational
assumption, and develop a general toolkit for proving quantum security in this
model. Along the way, we explore knowledge assumptions and algebraic group
actions in the quantum setting, finding significant limitations of these
assumptions/models compared to generic group actions.
Related papers
- A generalization of Burmester-Desmedt GKE based on a non-abelian finite group action [0.0]
We propose a generalization of the well known group key exchange protocol.
We prove that the presented protocol is secure in Katz and Yung's model.
arXiv Detail & Related papers (2024-11-30T07:45:06Z) - A General Quantum Duality for Representations of Groups with Applications to Quantum Money, Lightning, and Fire [8.714677279673738]
We show that manipulating quantum states in one basis is equivalent to extracting values in a complementary basis.
We present the first secure quantum lightning construction based on a plausible cryptographic assumption.
We show equivalence among four security notions: quantum lightning security, worst-case and average-case cloning security, and security against preparing a canonical state.
arXiv Detail & Related papers (2024-11-01T11:56:11Z) - Quantum State Group Actions [9.520158869896395]
We explore quantum state group actions, which consist of a group acting on a set of quantum states.
In certain settings, statistical (even query bounded) security is impossible, analogous to post-quantum classical group actions.
Our quantum state group action allows for unifying two existing quantum money schemes.
arXiv Detail & Related papers (2024-10-11T05:53:38Z) - A Universal Kinematical Group for Quantum Mechanics [0.0]
In 1968, Dashen and Sharp obtained a certain singular Lie algebra of local densities and currents from canonical commutation relations in nonrelativistic quantum field theory.
The corresponding Lie group is infinite dimensional: the natural semidirect product of an additive group of scalar functions with a group of diffeomorphisms.
arXiv Detail & Related papers (2024-04-28T18:46:24Z) - Certified Robustness of Quantum Classifiers against Adversarial Examples
through Quantum Noise [68.1992787416233]
We show that adding quantum random rotation noise can improve robustness in quantum classifiers against adversarial attacks.
We derive a certified robustness bound to enable quantum classifiers to defend against adversarial examples.
arXiv Detail & Related papers (2022-11-02T05:17:04Z) - Non-Abelian braiding of graph vertices in a superconducting processor [144.97755321680464]
Indistinguishability of particles is a fundamental principle of quantum mechanics.
braiding of non-Abelian anyons causes rotations in a space of degenerate wavefunctions.
We experimentally verify the fusion rules of the anyons and braid them to realize their statistics.
arXiv Detail & Related papers (2022-10-19T02:28:44Z) - Quantum representation of finite groups [0.0]
The concept of quantum representation of finite groups (QRFG) has been a fundamental aspect of quantum computing for quite some time.
We provide a formal definition of this concept using both group theory and differential geometry.
Our work proves the existence of a quantum representation for any finite group and outlines two methods for translating each generator of the group into a quantum circuit.
arXiv Detail & Related papers (2022-09-29T18:01:03Z) - Theory of Quantum Generative Learning Models with Maximum Mean
Discrepancy [67.02951777522547]
We study learnability of quantum circuit Born machines (QCBMs) and quantum generative adversarial networks (QGANs)
We first analyze the generalization ability of QCBMs and identify their superiorities when the quantum devices can directly access the target distribution.
Next, we prove how the generalization error bound of QGANs depends on the employed Ansatz, the number of qudits, and input states.
arXiv Detail & Related papers (2022-05-10T08:05:59Z) - Generalization Metrics for Practical Quantum Advantage in Generative
Models [68.8204255655161]
Generative modeling is a widely accepted natural use case for quantum computers.
We construct a simple and unambiguous approach to probe practical quantum advantage for generative modeling by measuring the algorithm's generalization performance.
Our simulation results show that our quantum-inspired models have up to a $68 times$ enhancement in generating unseen unique and valid samples.
arXiv Detail & Related papers (2022-01-21T16:35:35Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems.
By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
arXiv Detail & Related papers (2021-08-03T17:49:09Z) - Dissipative evolution of quantum Gaussian states [68.8204255655161]
We derive a new model of dissipative time evolution based on unitary Lindblad operators.
As we demonstrate, the considered evolution proves useful both as a description for random scattering and as a tool in dissipator engineering.
arXiv Detail & Related papers (2021-05-26T16:03:34Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.