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.

Efficient Verification of Hypergraph States

Efficient Verification of Bipartite Pure States

Optimal Verification of Greenberger-Horne-Zeilinger States

General Framework for Verifying Pure Quantum States in the Adversarial Scenario

Efficient Verification of Affleck-Kennedy-Lieb-Tasaki States

Efficient Verification of Pure Quantum States in the Adversarial Scenario

Efficient verification of arbitrary entangled states with homogeneous local measurements

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

Robust and efficient verification of graph states in blind measurement-based quantum computation

Experimental Optimal Verification of Entangled States Using Local Measurements

Demonstration of hypergraph-state quantum information processing

Optimal Verification of Stabilizer States

Efficient Verification of Quantum Gates with Local Operations

Efficient Verification of Dicke States

Beating the Optimal Verification of Entangled States via Collective Strategies

Efficient Verification of Ground States of Frustration-Free Hamiltonians

Verifying Genuine High-Order Entanglement

Quantum Verification for a Class of n ‐Qubit Quantum Entangled States

Optimized Detection of High-Dimensional Entanglement

Optimal Verification and Fidelity Estimation of Maximally Entangled States