Quantum Protocols within Spekkens' Toy Model

Abstract

Quantum mechanics is known to provide significant improvements in information processing tasks when compared to classical models. These advantages range from computational speeds-up to security improvements. A key question is where these advantages come from. The toy model developed by Spekkens [R. W. Spekkens PRA 75, 032110 (2012)] mimics many of the features of quantum mechanics, such as entanglement and no-cloning, regarded as being important in this regard, despite being a local hidden variable theory. In this work we study several protocols within Spekkens' toy model where we see it can also mimic the advantages and limitations shown in the quantum case. We first provide explicit proofs for the impossibility of toy bit-commitment and the existence of a toy error correction protocol and consequent $k-$threshold secret sharing. Then, defining a toy computational model based on the quantum one-way computer we prove the existence of blind and verified protocols. Importantly, these two last quantum protocols are known to achieve a better-than-classical security. Our results suggest that such quantum improvements need not arise from any Bell-type non locality or contextuality, but rather as a consequence of steering correlations.

25 pages, 3 figures; Several changes from previous version, overall readability and structure improved. Many notation issues and typos fixed

References in corpus (3)

• Introduction to the book "Quantum Theory: Informational Foundations and Foils"
• Generalized Flow and Determinism in Measurement-based Quantum Computation
• Rigidity of quantum steering and one-sided device-independent verifiable quantum computation

Cited by in corpus (14)

• Verification of quantum computation: An overview of existing approaches
• Why interference phenomena do not capture the essence of quantum theory
• Introducing the Qplex: A Novel Arena for Quantum Theory
• Ruling out higher-order interference from purity principles
• Oracles and query lower bounds in generalised probabilistic theories
• Spekkens' toy model in all dimensions and its relationship with stabilizer quantum mechanics
• Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
• Is the SIC Outcome There When Nobody Looks?
• Quantum bit commitment and the reality of the quantum state
• A consolidating review of Spekkens' toy theory
• Categorical Quantum Dynamics
• An optical implementation of quantum bit commitment using infinite-dimensional systems
• A hierarchy in Majorana non-abelian tests and hidden variable models
• A classical groupoid model for quantum networks