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

DOI10.1098/RSTA.2016.0385zbMATH Open1404.81022arXiv1705.08459OpenAlexW2952735011WikidataQ47663536 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)

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.

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

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

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)

Cites Work

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

Cited In (4)

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

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)