Abstract:Benchmarking the performance of quantum error correction codes in physical systems is crucial for achieving fault-tolerant quantum computing. Current methodologies, such as (shadow) tomography or direct fidelity estimation, fall short in efficiency due to the neglect of possible prior knowledge about quantum states. To address the challenge, we introduce a framework of quantum subspace verification, employing the knowledge of quantum error correction code subspaces to reduce the potential measurement budgets. Specifically, we give the sample complexity to estimate the fidelity to the target subspace under some confidence level. Building on the framework, verification operators are developed, which can be implemented with experiment-friendly local measurements for stabilizer codes and quantum low-density parity-check (QLDPC) codes. Our constructions require $O(n-k)$ local measurement settings for both, and the sample complexity of $O(n-k)$ for stabilizer codes and of $O((n-k)^2)$ for generic QLDPC codes, where $n$ and $k$ are the numbers of physical and logical qubits, respectively. Notably, for certain codes like the notable Calderbank-Shor-Steane codes and QLDPC stabilizer codes, the setting number and sample complexity can be significantly reduced and are even independent of $n$. In addition, by combining the proposed subspace verification and direct fidelity estimation, we construct a protocol to verify the fidelity of general magic logical states with exponentially smaller sample complexity than previous methods. Our finding facilitates efficient and feasible verification of quantum error correction codes and also magical states, advancing the realization in practical quantum platforms.

A Remote Quantum Error-correcting Code Preparation Protocol on Cluster State

A Remote Quantum Error-Correcting Code Preparation Protocol on Cluster States

Delegated Preparation of Quantum Error Correction Code for Blind Quantum Computation

Fault-tolerant Quantum Error Correction Code Preparation in UBQC

Remote Blind State Preparation With Weak Coherent Pulses In The Field

Verifiable blind quantum computation over collective-noise

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

Multi-agent blind quantum computation without universal cluster states

Fault-tolerant Blind Quantum Computing Using GHZ States over Depolarization Channel

Blind Quantum Computation with Hybrid Model

Blind quantum computation where a user only performs single-qubit gates

Blind Quantum Computation with Two Decoy States

Fault-tolerant Operations for Universal Blind Quantum Computation

Finite-data-size Study on Practical Universal Blind Quantum Computation.

Blind quantum computation with completely classical client and a trusted center

Improved Resource State for Verifiable Blind Quantum Computation

Quantum subspace verification for error correction codes

Universal blind quantum computation with improved brickwork states

Verifiable Multi-Party Universal Blind Quantum Computing in Distributed Networks

Blind Quantum Machine Learning with Quantum Bipartite Correlator