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.

Characterizing stabilizer states and H-type magic states via uncertainty relations

Entropic characterization of stabilizer states and magic states

Minimum and maximum quantum uncertainty states for qubit systems

Amortized Stabilizer Rényi Entropy of Quantum Dynamics

Extremality of stabilizer states

Stabilizer Testing and Magic Entropy

Magic of quantum hypergraph states

Magic of the Heisenberg Picture

Entropic uncertainty relations and the stabilizer formalism

Entirety of Quantum Uncertainty and Its Experimental Verification

Optimality of T-gate for generating magic resource

Characterizing Nonlocal Correlations Via Universal Uncertainty Relations

Zero Uncertainty States in the Presence of Quantum Memory

Optimality of the Howard-Vala T -gate in stabilizer quantum computation

Improved bounds for testing low stabilizer complexity states

Quantum magic dynamics in random circuits

Enhancement of non-Stabilizerness within Indefinite Causal Order

Quantifying magic resource via quantum Jensen-Shannon divergence

The quantum magic of fermionic Gaussian states

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