Stabilizer States as a Basis for Density Matrices

TL;DR

This paper demonstrates that stabilizer states form a basis for the space of density matrices in n-qubit systems, enabling applications in automated quantum protocol verification.

Contribution

It introduces a basis of stabilizer states for density matrices, facilitating new methods in quantum information processing.

Findings

Stabilizer states form a basis for the space of density matrices.

Application to automated verification of quantum protocols.

Provides a new mathematical framework for quantum state analysis.

Abstract

We show that the space of density matrices for n-qubit states, considered as a (2^n)^2 dimensional real vector space, has a basis consisting of density matrices of stabilizer states. We describe an application of this result to automated verification of quantum protocols.