/angel

C++ Library for Quantum State Preparation (QSP)

Primary LanguageC++MIT LicenseMIT

Actions Status Actions Status Coverage Status Documentation Status License: MIT

angel

angel is a C++-17 Quantum State Preparation (QSP) library. It provides several algorithms to enable a scalable QSP and reduce the number of CNOTs.

Read the full documentation here.

Example

The following code shows the uniform quantum state preparation for the GHZ(3) state. To prepare the state, variable reordering and dependency analysis methods are utilized. The number of CNOTs and the number of single-qubit gates are reported.

#include <angel/dependency_analysis/esop_based_dependency_analysis.hpp>
#include <angel/quantum_state_preparation/qsp_deps.hpp>
#include <angel/reordering/no_reordering.hpp>
#include <tweedledum/IR/Circuit.h>
#include <tweedledum/IR/Instruction.h>
#include <tweedledum/Utils/Visualization/string_utf8.h>
#include <kitty/constructors.hpp>

/* representing uniform quantum state as a truth table */
kitty::dynamic_truth_table tt( 3 );
kitty::create_from_binary_string( tt, "10000001" );

/* reordering strategy */
angel::no_reordering no_reorder;

/* dependency analysis method */
angel::esop_deps_analysis::parameter_type esop_ps;
angel::esop_deps_analysis::statistics_type esop_st;
angel::esop_deps_analysis esop( esop_ps, esop_st );

/* initialize the uniform quantum state preparation method */
angel::state_preparation_parameters qsp_ps;
angel::state_preparation_statistics qsp_st;
tweedledum::Circuit network;

/* run the uniform quantum state preparation */
angel::qsp_deps<decltype(network), decltype( esop ), decltype( random )>( network, esop, random, tt, qsp_ps, qsp_st);
qsp_st.report();
tweedledum::print(network);

Installation requirements

A modern compiler is required to build angel. We are continously testing with Clang 6.0.1, GCC 7.3.0, and GCC 8.2.0. More information can be found in the documentation.

EPFL logic sythesis libraries

angel is part of the EPFL logic synthesis libraries. The other libraries and several examples on how to use and integrate the libraries can be found in the logic synthesis tool showcase.

Note that angel does not work on windows currently.