Efficient verification of Affleck-Kennedy-Lieb-Tasaki states

Abstract

Affleck-Kennedy-Lieb-Tasaki (AKLT) states are an important class of many-body quantum states that are useful in quantum information processing, including measurement-based quantum computation in particular. Here we propose a general approach for constructing efficient verification protocols for AKLT states on arbitrary graphs with local spin measurements. Our verification protocols build on bond verification protocols and matching covers (including edge coloring) of the underlying graphs, which have a simple geometric and graphic picture. We also provide rigorous performance guarantee that is required for practical applications. With our approach, most AKLT states of wide interest, including those defined on 1D and 2D lattices, can be verified with a constant sample cost, which is independent of the system size and is dramatically more efficient than all previous approaches. As an illustration, we construct concrete verification protocols for AKLT states on various lattices and on arbitrary graphs up to five vertices.

18+7 pages, 15 figures, and 4+1 tables; see also the companion paper on the verification of ground states. Comments and suggestions are very welcome!

References in corpus (31)

• Predicting Many Properties of a Quantum System from Very Few Measurements
• Efficient quantum state tomography
• Direct Fidelity Estimation from Few Pauli Measurements
• Quantum certification and benchmarking
• Theory of quantum system certification: a tutorial
• Quantum computational capability of a 2D valence bond solid phase
• Efficient Verification of Pure Quantum States in the Adversarial Scenario
• Theoretical and Experimental Perspectives of Quantum Verification
• Optical one-way quantum computing with a simulated valence-bond solid
• General framework for verifying pure quantum states in the adversarial scenario
• Three-dimensional entanglement on a silicon chip
• Statistical Methods for Quantum State Verification and Fidelity Estimation
• Group theoretical study of LOCC-detection of maximally entangled state using hypothesis testing
• Optimal Verification of Greenberger-Horne-Zeilinger States
• Demonstrating the AKLT spectral gap on 2D degree-3 lattices
• Existence of a Spectral Gap in the Affleck-Kennedy-Lieb-Tasaki Model on the Hexagonal Lattice
• Towards the standardization of quantum state verification using optimal strategies
• Verification of phased Dicke states
• Efficient verification of quantum processes
• Sample-efficient device-independent quantum state verification and certification
• Efficient verification of quantum gates with local operations
• Quantum verification and estimation with few copies
• Quantum gate verification and its application in property testing
• Universally Optimal Verification of Entangled States with Nondemolition Measurements
• Efficient verification of continuous-variable quantum states and devices without assuming identical and independent operations
• Preparation and verification of tensor network states
• Efficient verification of bosonic quantum channels via benchmarking
• Harnessing symmetry-protected topological order for quantum memories
• Efficient Experimental Verification of Quantum Gates with Local Operations
• Proof-of-principle experimental demonstration of quantum gate verification
• Entanglement of Valence-Bond-Solid on an Arbitrary Graph

Cited by in corpus (8)

• Robust and efficient verification of graph states in blind measurement-based quantum computation
• Efficient Verification of Ground States of Frustration-Free Hamiltonians
• Efficient verification of arbitrary entangled states with homogeneous local measurements
• Experimental Verification of Entangled States in the Adversarial Scenario
• Quantum subspace verification for error correction codes
• Beating the Optimal Verification of Entangled States via Collective Strategies
• Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases
• Prescriptive preparation and verification of nonstabilizer states