bartiq 0.1.2

Symbolic Quantum Resource Estimation compilation

Bartiq

What is bartiq

Bartiq is a library that allows to analyze a quantum routines and calculate symbolic expressions for quantum resource estimates (QRE).

Installation

To install bartiq run: pip install bartiq.

In order to install it from source clone the repo by running git clone [e-mail]:PsiQ/qref.git and then run pip install . from the main directory.

# Clone bartiq repo (you can use HTTP link as well)
git clone [e-mail]:PsiQ/bartiq.git
cd bartiq
pip install .

Quick start

In bartiq we can take a quantum algorithm expressed as a collection of subroutines, each with it's costs expressed as symbolic expressions, and compile it to get cost expression for the whole algorithm.

As an example we can use Alias Sampling – an algorithm proposed by Babbush et al.. Here's how it's depicted in the paper:

In order to quickly get started with bartiq, you can load Alias Sampling as an example routine and use it as follows (click here to download alias_sampling_basic.json):

import json
from bartiq import Routine, compile_routine, evaluate
from bartiq.integrations import qref_to_bartiq

with open("alias_sampling_basic.json", "r") as f:
    routine_dict = json.load(f)

uncompiled_routine = qref_to_bartiq(routine_dict)
compiled_routine = compile_routine(uncompiled_routine)

assignments = ["L=100", "mu=10"]

evaluated_routine = evaluate(compiled_routine, assignments)

Now in order to inspect the results you can do:

print(compiled_routine.resources["T_gates"].value)
print(evaluated_routine.resources["T_gates"].value)

which returns both symbolic the expression for the T-count as well as result for specific values of L and mu:

4*L + 8*L/multiplicity(2, L) + 4*mu + swap.O(log2(L)) - 8
swap.O(log2(100)) + 832

To go step by step through the process and see how you can use bartiq for your algorithms, please take a look at our tutorials, starting with basic_usage.

Documentation

Documentation for bartiq can be found here.