Efficient verification of arbitrary entangled states with homogeneous local measurements

Abstract

Quantum state verification (QSV) is the task of relying on local measurements only to verify that a given quantum device does produce the desired target state. Up to now, certain types of entangled states can be verified efficiently or even optimally by QSV. However, given an arbitrary entangled state, how to design its verification protocol remains an open problem. In this work, we present a systematic strategy to tackle this problem by considering the locality of what we initiate as the choice-independent measurement protocols, whose operators can be directly achieved when they are homogeneous. Taking several typical entangled states as examples, we show the explicit procedures of the protocol design using standard Pauli projections, demonstrating the superiority of our method for attaining better QSV strategies. Moreover, our framework can be naturally extended to other tasks such as the construction of entanglement witness, and even parameter estimation.

6+10 pages, 2 figures; close to the published version

References in corpus (15)

• Supplementary information for "Quantum supremacy using a programmable superconducting processor"
• Entanglement detection
• Quantum computational advantage using photons
• Scalable multi-particle entanglement of trapped ions
• Strong quantum computational advantage using a superconducting quantum processor
• Experimental Quantum State Tomography of Optical Fields and Ultrafast Statistical Sampling
• Direct Fidelity Estimation from Few Pauli Measurements
• High-dimensional quantum communication: benefits, progress, and future challenges
• Detecting Genuine Multipartite Entanglement with Two Local Measurements
• Quantifying Entanglement with Witness Operators
• Statistical Methods for Quantum State Verification and Fidelity Estimation
• Efficient verification of Affleck-Kennedy-Lieb-Tasaki states
• Efficient verification of entangled continuous-variable quantum states with local measurements
• Efficient Experimental Verification of Quantum Gates with Local Operations
• Optimal Verification of the Bell State and Greenberger-Horne-Zeilinger States in Untrusted Quantum Networks

Cited by in corpus (4)

• Robust and efficient verification of graph states in blind measurement-based quantum computation
• Prescriptive preparation and verification of nonstabilizer states
• Universal and Efficient Quantum State Verification via Schmidt Decomposition and Mutually Unbiased Bases
• Beating the Optimal Verification of Entangled States via Collective Strategies