Stabilizer entropy is trustworthy for mixed states

Abstract

Quantifying non-stabilizerness in mixed states is provably intractable, as any strict monotone requires superexponential time. We propose a linear Stabilizer Entropy that acts as a proper non-stabilizerness monotone with overwhelming probability when restricted to non-adaptive Clifford channels acting on flat mixed stabilizer states. Analytical and numerical results for Haar-random states, Clifford orbits, and random matrix product states show that monotonicity violation probabilities decay as $\exp-ηN$. We also prove the validity of Stabilizer Entropy in specific many-body systems undergoing partial measurements, where the amount of resource never increases for each measurement outcome as well as when averaged over outcome probabilities. Given the hardness of strict alternatives, Stabilizer Entropy emerges as a practical and theoretically justified resource measure.