LIMDD A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States

08/02/2021
by   Lieuwe Vinkhuijzen, et al.
0

Efficient methods for the representation of relevant quantum states and quantum operations are crucial for the simulation and optimization of quantum circuits. Decision diagrams (DDs), a well-studied data structure originally used to represent Boolean functions, have proven capable of capturing interesting aspects of quantum systems, but their limits are not well understood. In this work, we investigate and bridge the gap between existing DD-based structures and the stabilizer formalism, a well-studied method for simulating quantum circuits in the tractable regime. We first show that although DDs were suggested to succinctly represent important quantum states, they actually require exponential space for a subset of stabilizer states. To remedy this, we introduce a more powerful decision diagram variant, called Local Invertible Map-DD (LIMDD). We prove that the set of quantum states represented by poly-sized LIMDDs strictly contains the union of stabilizer states and other decision diagram variants. We also provide evidence that LIMDD-based simulation is capable of efficiently simulating some circuits for which both stabilizer-based and other DD-based methods require exponential time. By uniting two successful approaches, LIMDDs thus pave the way for fundamentally more powerful solutions for simulation and analysis of quantum computing.

READ FULL TEXT

page 7

page 11

page 13

page 17

page 23

page 25

page 27

page 39

research
06/17/2022

Efficient Deterministic Preparation of Quantum States Using Decision Diagrams

Loading classical data into quantum registers is one of the most importa...
research
09/06/2020

A Tensor Network based Decision Diagram for Representation of Quantum Circuits

Tensor networks have been successfully applied in simulation of quantum ...
research
02/08/2023

Symbolic Quantum Simulation with Quasimodo

The simulation of quantum circuits on classical computers is an importan...
research
02/18/2022

Circuit Extraction for ZX-diagrams can be #P-hard

The ZX-calculus is a graphical language for reasoning about quantum comp...
research
02/13/2023

Tensor Networks or Decision Diagrams? Guidelines for Classical Quantum Circuit Simulation

Classically simulating quantum circuits is crucial when developing or te...
research
09/06/2021

Gottesman Types for Quantum Programs

The Heisenberg representation of quantum operators provides a powerful t...
research
05/14/2021

Decision Diagrams for Quantum Measurements with Shallow Circuits

We consider the problem of estimating quantum observables on a collectio...

Please sign up or login with your details

Forgot password? Click here to reset