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.

Quantum Money from Abelian Group Actions

A General Quantum Duality for Representations of Groups with Applications to Quantum Money, Lightning, and Fire

Another Round of Breaking and Making Quantum Money: How to Not Build It from Lattices, and More

Quantum State Group Actions

On the (Im)plausibility of Public-Key Quantum Money from Collision-Resistant Hash Functions

Franchised Quantum Money

Full Quantum Equivalence of Group Action DLog and CDH, and More

Breaking and making quantum money: toward a new quantum cryptographic protocol

Anonymous Public-Key Quantum Money and Quantum Voting

An adaptive attack on Wiesner's quantum money

Quantum Copy-Protection and Quantum Money

Quantum Money with Classical Verification

A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID

Almost Public Quantum Coins

Experimental Preparation and Verification of Quantum Money

Quantum factoring, discrete logarithms and the hidden subgroup problem

Cloud-based Semi-Quantum Money

Pseudorandom States, Non-Cloning Theorems and Quantum Money

Experimental investigation of practical unforgeable quantum money

Quantum Prudent Contracts with Applications to Bitcoin

A quantum approach to homomorphic encryption