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.

An Optimal Quantum Error-Correcting Procedure Using Quantifier Elimination

Optimizing quantum codes with an application to the loss channel with partial erasure information

The Near-optimal Performance of Quantum Error Correction Codes

Quantum error pre-compensation for quantum noisy channels

Extracting Error Thresholds through the Framework of Approximate Quantum Error Correction Condition

Semi-definite optimization of the measured relative entropies of quantum states and channels

Reliable optimization of arbitrary functions over quantum measurements

Near-Optimal Quantum Algorithm for Minimizing the Maximal Loss

Finding Quantum Codes via Riemannian Optimization

Optimized four-qubit quantum error correcting code for amplitude damping channel

2-Designs and Redundant Syndrome Extraction for Quantum Error Correction

Optimal Error Correcting Code For Ternary Quantum Systems

Achieving metrological limits using ancilla-free quantum error-correcting codes

Quantum subspace verification for error correction codes

Matching and maximum likelihood decoding of a multi-round subsystem quantum error correction experiment

Maximum Likelihood Quantum Error Mitigation for Algorithms with a Single Correct Output

Experimental Quantum Error Detection

Algebraic and information-theoretic conditions for operator quantum error-correction

Quantum Error-Correcting Codes over Mixed Alphabets

Demonstrating multi-round subsystem quantum error correction using matching and maximum likelihood decoders