How to make unforgeable money in generalised probabilistic theories
arXiv:1803.10279 · doi:10.22331/q-2018-11-02-103
Abstract
We discuss the possibility of creating money that is physically impossible to counterfeit. Of course, "physically impossible" is dependent on the theory that is a faithful description of nature. Currently there are several proposals for quantum money which have their security based on the validity of quantum mechanics. In this work, we examine Wiesner's money scheme in the framework of generalised probabilistic theories. This framework is broad enough to allow for essentially any potential theory of nature, provided that it admits an operational description. We prove that under a quantifiable version of the no-cloning theorem, one can create physical money which has an exponentially small chance of being counterfeited. Our proof relies on cone programming, a natural generalisation of semidefinite programming. Moreover, we discuss some of the difficulties that arise when considering non-quantum theories.
arXiv comment27 pages, many diagrams. Comments welcome
References in corpus (16)
- No Signalling and Quantum Key Distribution
- Quantum Theory From Five Reasonable Axioms
- Probabilistic theories with purification
- A generalized no-broadcasting theorem
- Reformulating and Reconstructing Quantum Theory
- Limitations on separable measurements by convex optimization
- Quantum Money from Hidden Subspaces
- Ultimate data hiding in quantum mechanics and beyond
- Conditions on the existence of maximally incompatible two-outcome measurements in General Probabilistic Theory
- Terminality implies non-signalling
- Structure of Optimal State Discrimination in Generalized Probabilistic Theories
- Simple proof of the impossibility of bit-commitment in generalised probabilistic theories using cone programming
- Linear conic formulations for two-party correlations and values of nonlocal games
- A search for quantum coin-flipping protocols using optimization techniques
- Equivalence of relativistic causal structure and process terminality
- Categorical Quantum Mechanics I: Causal Quantum Processes
Cited by in corpus (15)
- General probabilistic theories: An introduction
- A no-go theorem on the nature of the gravitational field beyond quantum theory
- Accessible fragments of generalized probabilistic theories, cone equivalence, and applications to witnessing nonclassicality
- Post-quantum steering is a stronger-than-quantum resource for information processing
- Semi-Device Independent Quantum Money
- Universal structure of objective states in all fundamental causal theories
- On the impossibility of coin-flipping in generalized probabilistic theories via discretizations of semi-infinite programs
- Correlations constrained by composite measurements
- How dynamics constrains probabilities in general probabilistic theories
- Compositional resource theories of coherence
- Generalized dynamical theories in phase space and the hydrogen atom
- A no-go theorem for theories that decohere to quantum mechanics
- Simulating all multipartite non-signalling channels via quasiprobabilistic mixtures of local channels in generalised probabilistic theories
- Complete extension: the non-signaling analog of quantum purification
- Spacetime symmetries and the qubit Bloch ball: a physical derivation of finite dimensional quantum theory and the number of spatial dimensions