DeepAI AI Chat
Log In Sign Up

On the Geometry of Stabilizer States

by   Héctor J. García, et al.

Large-scale quantum computation is likely to require massive quantum error correction (QEC). QEC codes and circuits are described via the stabilizer formalism, which represents stabilizer states by keeping track of the operators that preserve them. Such states are obtained by stabilizer circuits (consisting of CNOT, Hadamard and Phase gates) and can be represented compactly on conventional computers using O(n^2) bits, where n is the number of qubits. As an additional application, the work by Aaronson and Gottesman suggests the use of superpositions of stabilizer states to represent arbitrary quantum states. To aid in such applications and improve our understanding of stabilizer states, we characterize and count nearest-neighbor stabilizer states, quantify the distribution of angles between pairs of stabilizer states, study succinct stabilizer superpositions and stabilizer bivectors, explore the approximation of non-stabilizer states by single stabilizer states and short linear combinations of stabilizer states, develop an improved inner-product computation for stabilizer states via synthesis of compact canonical stabilizer circuits, propose an orthogonalization procedure for stabilizer states, and evaluate several of these algorithms empirically.


page 1

page 2

page 3

page 4


Short-Depth Circuits for Dicke State Preparation

We present short-depth circuits to deterministically prepare any Dicke s...

Automatically Differentiable Quantum Circuit for Many-qubit State Preparation

Constructing quantum circuits for efficient state preparation belongs to...

Learning quantum circuits of some T gates

In this paper, we study the problem of learning quantum circuits of a ce...

Quantum Data-Syndrome Codes

Performing active quantum error correction to protect fragile quantum st...

Approximating Unitary Preparations of Orthogonal Black Box States

In this paper, I take a step toward answering the following question: fo...

Semiclassical Quantum Computation Solutions to the Count to Infinity Problem: A Brief Discussion

In this paper we briefly define distance vector routing algorithms, thei...

Kerdock Codes Determine Unitary 2-Designs

The non-linear binary Kerdock codes are known to be Gray images of certa...