Efficient Verification of Arbitrary Entangled States with Homogeneous Local Measurements

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. This study presents a systematic strategy to tackle this problem by considering the locality of what it initiates as the choice-independent measurement protocols, whose operators can be directly achieved when they are homogeneous. Taking several typical entangled states as examples, this study shows the explicit procedures of the protocol design using standard Pauli projections, demonstrating the superiority of the method for attaining better QSV strategies. Moreover, the framework can be naturally extended to other tasks such as the construction of entanglement witnesses, and even parameter estimation.