Abstract:Stabilizer states are fundamental families of quantum states with crucial applications such as error correction and simulation of quantum circuits. In this paper, we study the problem of testing how close or far a quantum state is to a stabilizer state. We make two contributions: First, we improve the state-of-the-art parameters for the tolerant testing of stabilizer states. In particular, we show that there is an efficient quantum primitive to distinguish if the maximum fidelity of a quantum state with a stabilizer state is $\geq \epsilon_1$ or $\leq \epsilon_2$, given one of them is the case, provided that $\epsilon_2 \leq \epsilon_1^{O(1)}$. Previously, the best bound known for this problem assumed $\epsilon_2 \leq e^{- 1/\epsilon^{O(1)}_1}$ \cite{arunachalam2024tolerant} and assumed a conjecture in additive combinatorics; improved bounds only existed for phase states. Our result does not rely on any conjectures. Our proof technique extends the toolsets developed in \cite{arunachalam2024tolerant} by applying a random Clifford map which balances the characteristic function of a quantum state, enabling the use of standard proof techniques from higher-order Fourier analysis for Boolean functions \cite{hatami2019higher, Samorodnitsky2007}, where improved testing bounds are available. Second, we study the problem of testing low stabilizer rank states. We show that if for an infinite family of quantum states stabilizer rank is lower than a constant independent of system size, then stabilizer fidelity is lower bounded by an absolute constant. Using a result of \cite{grewal2022low}, one of the implications of this result is that low approximate stabilizer rank states are not pseudo-random.

Improving stabilizer approximation with quantum strategy

Improved Stabilizer Estimation via Bell Difference Sampling

Approximate stabilizer rank and improved weak simulation of Clifford-dominated circuits for qudits

Simulating quantum error mitigation in fermionic encodings

Strategy for Quantum Image Stabilization

Improved Graph Formalism for Quantum Circuit Simulation

Stabilizer ground states for simulating quantum many-body physics: theory, algorithms, and applications

Quantifying the advantages of applying quantum approximate algorithms to portfolio optimisation

Improved bounds for testing low stabilizer complexity states

Stabilizer configuration interaction: Finding molecular subspaces with error detection properties

Quantum Subspace Correction for Constraints

Quantum Control Strategy Based on State Distance

Bases for optimising stabiliser decompositions of quantum states

Stabilization of approximate GHZ state with quasi-local couplings

Quantum approximate optimization of the long-range Ising model with a trapped-ion quantum simulator

Quantum stabilizer formalism for any composite system

Efficient Verification of Stabilizer Code Subspaces with Local Measurements

Parameters Fixing Strategy for Quantum Approximate Optimization Algorithm

Quantum Strategy Without Entanglement

Quantum Monte Carlo and Stabilizer States