Abstract:Fault-tolerant measurement-based quantum computation (MBQC) with recent progress on quantum technologies leads to a promising scalable platform for realizing quantum computation, conducted by preparing a large-scale graph state over many qubits and performing single-qubit measurements on the state. With fault-tolerant MBQC, even if the graph-state preparation suffers from errors occurring at an unknown physical error rate, we can suppress the effect of the errors. Verifying graph states is vital to test whether we can conduct MBQC as desired even with such errors. However, problematically, existing state-of-the-art protocols for graph-state verification by fidelity estimation have required measurements on many copies of the entire graph state and hence have been prohibitively costly in terms of the number of qubits and the runtime. We here construct an efficient alternative framework for testing graph states for fault-tolerant MBQC based on the theory of property testing. Our test protocol accepts with high probability when the physical error rate is small enough to make fault-tolerant MBQC feasible and rejects when the rate is above the threshold of fault-tolerant MBQC. The novelty of our protocol is that we use only a single copy of the $N$-qubit graph state and single-qubit Pauli measurements only on a constant-sized subset of the qubits; thus, the protocol has a constant runtime independently of $N$. Furthermore, we can immediately use the rest of the graph state for fault-tolerant MBQC if the protocol accepts. These results achieve a significant advantage over prior art for graph-state verification in the number of qubits and the total runtime. Consequently, our work offers a new route to a fast and practical framework for benchmarking large-scale quantum state preparation.

Efficient Verification of Two-Colorable Graph States

Efficient Verification of Hypergraph States

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

Verification of colorable hypergraph states with stabilizer test

Efficient Verification of Affleck-Kennedy-Lieb-Tasaki States

Verification of Blind Quantum Computation with Entanglement Witnesses

Improved Resource State for Verifiable Blind Quantum Computation

Optimal Verification of Stabilizer States

Closed-Form Expressions for Two- and Three-Colorable States

Constant-time one-shot testing of large-scale graph states

Efficient Verification of Quantum Processes

Efficient verification of arbitrary entangled states with homogeneous local measurements

Efficient and Practical Verification of Quantum Processes

Demonstration of hypergraph-state quantum information processing

Efficient Verification of Pure Quantum States in the Adversarial Scenario

Optimal Verification of Greenberger-Horne-Zeilinger States

Efficient Verification of Stabilizer Code Subspaces with Local Measurements

Quantum memory assisted entangled state verification with local measurements

Efficient Verification of Quantum Gates with Local Operations

Efficient Verification of Entangled Continuous-Variable Quantum States with Local Measurements

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