Quantum Simulation Beyond Stabilizer Formalism

Abstract

This is the final report for a one-year project on Quantum Circuit Simulation Beyond the Stabilizer Formalism. The project included the development of new mathematical and algorithmic concepts for the efficient simulation of quantum circuits and their implementation in software. In particular, the algorithms we develop extend the stabilizer formalism for simulating a restricted set of quantum circuits - the extensions apply to any given quantum circuit, but computational cost may be significant. Our research therefore put special emphasis on ensuring computational efficiency. The software we developed provided infrastructure for compiling quantum programs into quantum circuits, which can then be simulated.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 2011
Accession Number
ADA543711

Entities

People

  • Igor Markov

Organizations

  • University of Michigan

Tags

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Computers
  • Information Processing
  • Quantum Algorithms
  • Quantum Bits
  • Quantum Circuits
  • Quantum Computing
  • Quantum Information
  • Quantum Information Science
  • Quantum Properties
  • Quantum States
  • Simulations

Fields of Study

  • Physics

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computer Science.
  • Quantum Dot Semiconductor Device Photonics and Graphene Optoelectronic Materials and THz Physics.

Technology Areas

  • Quantum Computing