# Generalised Mermin-type non-locality arguments

arXiv: https://arxiv.org/abs/1702.01772 · HTML: https://mlsanity.com/paper/1702.01772/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 6 Feb 2017.

## Built on by (most cited first, 2 of 2)

- [Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)](https://mlsanity.com/paper/2102.10984/) (2021)
- [Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning](https://mlsanity.com/paper/2201.13250/) (2022)

## Abstract (arXiv)

We broadly generalise Mermin-type arguments on GHZ states, and we provide exact group-theoretic conditions for non-locality to be achieved. Our results are of interest in quantum foundations, where they yield a new hierarchy of quantum-realisable All-vs-Nothing arguments. They are also of interest to quantum protocols, where they find immediate application to a non-trivial extension of the hybrid quantum-classical secret sharing scheme of Hillery, Buvzek and Berthiaume (HBB). Our proofs are carried out in the graphical language of string diagrams for dagger compact categories, and their validity extends beyond quantum theory to any theory featuring the relevant algebraic structures.
