A complete characterization of all-versus-nothing arguments for stabilizer states

DOI10.1098/RSTA.2016.0385zbMATH Open1404.81022OpenAlexW2952735011WikidataQ47663536 ScholiaQ47663536MaRDI QIDQ4560686FDOQ4560686

Authors Samson Abramsky, Rui Soares Barbosa, Giovanni Carù, Simon Perdrix 

Publication date 12 December 2018

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1705.08459

zbMATH Keywords

graph statescontextualitystabilizer statesall-versus-nothing arguments

Mathematics Subject Classification ID

Quantum computation (81P68) Contextuality in quantum theory (81P13) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)

Abstract: An important class of contextuality arguments in quantum foundations are the All-versus-Nothing (AvN) proofs, generalising a construction originally due to Mermin. We present a general formulation of All-versus-Nothing arguments, and a complete characterisation of all such arguments which arise from stabiliser states. We show that every AvN argument for an n-qubit stabiliser state can be reduced to an AvN proof for a three-qubit state which is local Clifford-equivalent to the tripartite GHZ state. This is achieved through a combinatorial characterisation of AvN arguments, the AvN triple Theorem, whose proof makes use of the theory of graph states. This result enables the development of a computational method to generate all the AvN arguments in $mathbb{Z}_2$ on n-qubit stabiliser states. We also present new insights into the stabiliser formalism and its connections with logic.

Recommendations

• Quantum contextuality with stabilizer states
• Homological invariants of stabilizer states
• Almost all multipartite qubit quantum states have trivial stabilizer
• Generalised Mermin-type non-locality arguments
• Generalized Greenberger-Horne-Zeilinger arguments from quantum logical analysis

Cites work

• scientific article; zbMATH DE number 3249395 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Adjointness in Foundations
• Bell’s theorem without inequalities
• Contextuality, Cohomology and Paradox
• Extreme quantum entanglement in a superposition of macroscopically distinct states
• Logic of Local Inference for Contextuality in Quantum Physics and Beyond
• Minimum entangled state dimension required for pseudo-telepathy
• Minimum quantum resources for strong non-locality
• Multiparty entanglement in graph states
• On the Problem of Hidden Variables in Quantum Mechanics
• Proposed experiment to test local hidden-variable theories
• Quantum \(\alpha\)-entropy inequalities: independent condition for local realism?
• Quantum processes, systems and information
• Recognizing locally equivalent graphs
• Stabilizer codes can be realized as graph codes
• The one-way quantum computer--a non-network model of quantum computation
• The quantum monad on relational structures
• The sheaf-theoretic structure of non-locality and contextuality
• Tight Galois Connections and Complete Distributivity

Cited in

(3)

• Closing Bell boxing black box simulations in the resource theory of contextuality
• Quantum contextuality with stabilizer states
• Non-locality, contextuality and valuation algebras: a general theory of disagreement

Describes a project that uses

Uses Software

• Mathematica
• AvN triples
• GitHub

This page was built for publication: A complete characterization of all-versus-nothing arguments for stabilizer states

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560686)