Abstract:Statistical verification of a quantum state aims to certify whether a given unknown state is close to the target state with confidence. So far, sample-optimal verification protocols based on local measurements have been found only for disparate groups of states: bipartite pure states, GHZ states, and antisymmetric basis states. In this work, we investigate systematically optimal verification of entangled stabilizer states using Pauli measurements. First, we provide a lower bound on the sample complexity of any verification protocol based on separable measurements, which is independent of the number of qubits and the specific stabilizer state. Then we propose a simple algorithm for constructing optimal protocols based on Pauli measurements. Our calculations suggest that optimal protocols based on Pauli measurements can saturate the above bound for all entangled stabilizer states, and this claim is verified explicitly for states up to seven qubits. Similar results are derived when each party can choose only two measurement settings, say X and Z. Furthermore, by virtue of the chromatic number, we provide an upper bound for the minimum number of settings required to verify any graph state, which is expected to be tight. For experimentalists, optimal protocols and protocols with the minimum number of settings are explicitly provided for all equivalent classes of stabilizer states up to seven qubits. For theorists, general results on stabilizer states (including graph states in particular) and related structures derived here may be of independent interest beyond quantum state verification.

Optimal Verification of General Bipartite Pure States

Efficient Verification of Bipartite Pure States

Optimal Verification of Greenberger-Horne-Zeilinger States

Optimal Verification of Stabilizer States

General Framework for Verifying Pure Quantum States in the Adversarial Scenario

Optimal Verification of the Bell State and Greenberger–Horne–Zeilinger States in Untrusted Quantum Networks

Optimal Verification and Fidelity Estimation of Maximally Entangled States

Beating the Optimal Verification of Entangled States via Collective Strategies

Towards the standardization of quantum state verification using optimal strategies

Experimental Optimal Verification of Entangled States Using Local Measurements

Minimum number of experimental settings required to verify bipartite pure states and unitaries

Efficient Verification of Hypergraph States

Optimal Conclusive Discrimination of Two Nonorthogonal Pure Product Multipartite States Through Local Operations

Optimized Detection of High-Dimensional Entanglement

Eigenvalue-based Quantum State Verification of Three-Qubit W Class States

A scheme for remote state preparation of a general pure qubit with optimized classical communication cost

Efficient verification of arbitrary entangled states with homogeneous local measurements

Efficient Verification of Pure Quantum States in the Adversarial Scenario

Efficient Verification of Dicke States

Experimental optimal verification of three-dimensional entanglement on a silicon chip

Classical communication enhanced quantum state verification