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 Affleck-Kennedy-Lieb-Tasaki States

Efficient Verification of Ground States of Frustration-Free Hamiltonians

Efficient Verification of Hypergraph States

Universal measurement-based quantum computation with spin-2 Affleck-Kennedy-Lieb-Tasaki states

Efficient Verification of Bipartite Pure States

Deterministic Constant-Depth Preparation of the AKLT State on a Quantum Processor Using Fusion Measurements

Efficient preparation of the AKLT State with Measurement-based Imaginary Time Evolution

Optimal Verification of Stabilizer States

General Framework for Verifying Pure Quantum States in the Adversarial Scenario

Optimal Verification of Greenberger-Horne-Zeilinger States

Efficient Verification of Quantum Gates with Local Operations

Efficient verification of arbitrary entangled states with homogeneous local measurements

Efficient Verification of Dicke States

Experimental Optimal Verification of Entangled States Using Local Measurements

Quantum memory assisted entangled state verification with local measurements

Detection of symmetry-protected topological order in AKLT states by exact evaluation of the strange correlator

Efficient Verification of Pure Quantum States in the Adversarial Scenario

Verification of colorable hypergraph states with stabilizer test

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

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