Quantum state verification (QSV) is the task of using 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 demonstrate the explicit procedures of the
protocol design using standard Pauli projections. Moreover, our framework can
be naturally extended to other tasks such as the construction of entanglement
witness, and even parameter estimation.Comment: 6+7 pages, 1 figure; Comments are welcome