# Improved Simulation of Stabilizer Circuits

@article{Aaronson2004ImprovedSO, title={Improved Simulation of Stabilizer Circuits}, author={Scott Aaronson and Daniel Gottesman}, journal={ArXiv}, year={2004}, volume={quant-ph/0406196} }

The Gottesman-Knill theorem says that a stabilizer circuit\char22{}that is, a quantum circuit consisting solely of controlled-NOT (CNOT), Hadamard, and phase gates\char22{}can be simulated efficiently on a classical computer. This paper improves that theorem in several directions. First, by removing the need for Gaussian elimination, we make the simulation algorithm much faster at the cost of a factor of 2 increase in the number of bits needed to represent a state. We have implemented the…

## 864 Citations

### On The Complexity of Quantum Circuit Manipulation

- 2012

Computer Science

The stabilizer class of circuits, introduced by Daniel Gottesman, consists of quantum circuits in which every gate is a controlled-NOT, Hadamard or phase gate, and a list of transformation rules, each of which involve a constant number of gates, are addressed.

### Simulation of quantum circuits by low-rank stabilizer decompositions

- 2019

Computer Science

Quantum

A comprehensive mathematical theory of the stabilizerRank and the related approximate stabilizer rank is developed and a suite of classical simulation algorithms with broader applicability and significantly improved performance over the previous state-of-the-art are presented.

### Efficient Inner-product Algorithm for Stabilizer States

- 2012

Computer Science

ArXiv

It is proved that each n-qubit stabilizer state has exactly 4(2^n - 1) nearest-neighbor stabilizer states, and is generalized to compute the inner product between two such frames.

### Classical Simulation of Quantum Stabilizer and Clifford Circuits

- 2022

Computer Science

Efficient algorithms for computing quantum circuits classically, as described by Aaronson and Gottesman for stabilizer circuits and Bravyi and Gosset for Clifford+ T circuits are summarized.

### Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions

- 2022

Computer Science

Quantum Science and Technology

We introduce an enhanced technique for strong classical simulation of quantum circuits which combines the ‘sum-of-stabilisers’ method with an automated simplification strategy based on the…

### Fast simulation of stabilizer circuits using a graph-state representation

- 2006

Computer Science

An algorithm for this task, which is based on the graph-state formalism, shows significant improvement in comparison to an existing algorithm, given by Gottesman and Aaronson, in terms of speed and of the number of qubits the simulator can handle.

### Simulation of Quantum Circuits via Stabilizer Frames

- 2015

Computer Science

IEEE Transactions on Computers

This work develops new data structures and algorithms that facilitate parallel simulation of realistic circuits enriched with quantum error-correcting codes and fault-tolerant procedures, and demonstrates that Quipu can be parallelized with a nontrivial computational speedup.

### Quantum Advantage from Conjugated Clifford Circuits

- 2017

Computer Science

ArXiv

This work fully classify the computational power of CCCs by showing that essentially any non-Clifford conjugating unitary U can give rise to sampling tasks which cannot be simulated classically to constant multiplicative error, unless the polynomial hierarchy collapses.

### Reducing the Depth of Linear Reversible Quantum Circuits

- 2021

Computer Science

IEEE Transactions on Quantum Engineering

This article minimize the execution time (the depth) for a class of circuits referred to as linear reversible circuits, which has many applications in quantum computing (e.g., stabilizer circuits, “CNOT+T” circuits, etc.).

### Reduced quantum circuits for stabilizer states and graph states

- 2021

Computer Science

The subgroup structures underlying stabilizer circuits are studied and a new normal form is proposed by induction using simple conjugation rules in the Clifford group to reduce the two-qubit gate count in circuits implementing graph states.

## 63 References

### Improving Gate-Level Simulation of Quantum Circuits

- 2003

Computer Science

Quantum Inf. Process.

The results demonstrate that QuIDDs asymptotically outperform all other known simulation techniques and show that well-known worst-case instances of classical searching can be circumvented in many specific cases by data compression techniques.

### Both Toffoli and controlled-NOT need little help to do universal quantum computing

- 2003

Physics

Quantum Inf. Comput.

It is proved that Controlled-NOT plus any single-qubit real gate that does not preserve the computational basis and is not Hadamard (or its alike) are universal for quantum computing.

### Quantum Circuits That Can Be Simulated Classically in Polynomial Time

- 2002

Computer Science

SIAM J. Comput.

It is shown that two-bit operations characterized by 4 × 4 matrices in which the sixteen entries obey a set of five polynomial relations can be composed according to certain rules to yield a class of circuits that can be simulated classically in polynometric time.

### Transformation rules for designing CNOT-based quantum circuits

- 2002

Computer Science

Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324)

This paper gives a simple but nontrivial set of local transformation rules for control-NOT (CNOT)-based combinatorial circuits. It is shown that this rule set is complete, namely, for any two…

### Efficient Synthesis of Linear Reversible Circuits

- 2003

Computer Science

Simulation results show that even for relatively small n, the proposed algorithm is faster and yields more efficient circuits than the standard method, and can be interpreted as a matrix decomposition algorithm, yielding an asymptotically efficient decomposition of a binary matrix into a product of elementary matrices.

### Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations

- 1999

Physics, Computer Science

Nature

It is shown that single quantum bit operations, Bell-basis measurements and certain entangled quantum states such as Greenberger–Horne–Zeilinger (GHZ) states are sufficient to construct a universal quantum computer.

### Synthesis of reversible logic circuits

- 2003

Computer Science

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

In an application important to quantum computing, the synthesis of oracle circuits for Grover's search algorithm are synthesized, and a significant improvement over a previously proposed synthesis algorithm is shown.

### Classical simulation of noninteracting-fermion quantum circuits

- 2001

Physics

ArXiv

It is shown that a class of quantum computations that was recently shown to be efficiently simulatable on a classical computer by Valiant corresponds to a physical model of noninteracting fermions in one dimension.

### Fault-tolerant quantum computation with constant error

- 1997

Computer Science

STOC '97

This paper shows how to perform fault tolerant quantum computation when the error probability, q, is smaller than some constant threshold, q.. the cost is polylogarithmic in time and space, and no measurements are used during the quantum computation.

### Limitations of quantum advice and one-way communication

- 2004

Computer Science

Proceedings. 19th IEEE Annual Conference on Computational Complexity, 2004.

It is shown in three settings that quantum messages have only limited advantages over classical ones, and the polynomial method is used to give the first correct proof of a direct product theorem for quantum search.