Parallel Self-Testing of the GHZ State with a Proof by Diagrams

Abstract

Quantum self-testing addresses the following question: is it possible to verify the existence of a multipartite state even when one's measurement devices are completely untrusted? This problem has seen abundant activity in the last few years, particularly with the advent of parallel self-testing (i.e., testing several copies of a state at once), which has applications not only to quantum cryptography but also quantum computing. In this work we give the first error-tolerant parallel self-test in a three-party (rather than two-party) scenario, by showing that an arbitrary number of copies of the GHZ state can be self-tested. In order to handle the additional complexity of a three-party setting, we use a diagrammatic proof based on categorical quantum mechanics, rather than a typical symbolic proof. The diagrammatic approach allows for manipulations of the complicated tensor networks that arise in the proof, and gives a demonstration of the importance of picture-languages in quantum information.

arXiv commentIn Proceedings QPL 2018, arXiv:1901.09476

References in corpus (19)

• Quantum cryptography: Public key distribution and coin tossing
• Quantum secret sharing
• A survey of graphical languages for monoidal categories
• Physics, Topology, Logic and Computation: A Rosetta Stone
• Robust Self Testing of the Singlet
• All Pure Bipartite Entangled States can be Self-Tested
• Self-testing multipartite entangled states through projections onto two systems
• Interactive proofs for BQP via self-tested graph states
• Robust self testing of the 3-qubit $W$ state
• Device-independent tomography of multipartite quantum states
• Robust self-testing of many-qubit states
• Self-testing in parallel
• Low-degree testing for quantum states, and a quantum entangled games PCP for QMA
• Test for a large amount of entanglement, using few measurements
• A generalization of the CHSH inequality self-testing maximally entangled states of any local dimension
• Robust self-testing for linear constraint system games
• The Parallel-Repeated Magic Square Game is Rigid
• Self-testing Dicke states
• Picture-perfect Quantum Key Distribution

Cited by in corpus (11)

• Self-testing of quantum systems: a review
• Experimental robust self-testing of the state generated by a quantum network
• Robust Self-Testing of Multiparticle Entanglement
• Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering
• Device-independent certification of tensor products of quantum states using single-copy self-testing protocols
• Constant-sized correlations are sufficient to robustly self-test maximally entangled states with unbounded dimension
• Categorical composable cryptography
• Scalable & Noise-Robust Communication Advantage of Multipartite Quantum Entanglement
• Categorical composable cryptography: extended version
• Impossibility of adversarial self-testing and secure sampling
• Mathematical methods for resource-based type theories