Published April 27, 2026 | Version v1
Software Open

Artifact for the Paper "How Many Quantum Circuit Identities Are Needed to Generate All Others?"

Authors/Creators

  • 1. EDMO icon Purdue University
  • 2. ROR icon Stony Brook University
  • 3. ROR icon Purdue University West Lafayette

Contributors

Researcher:

  • 1. EDMO icon Purdue University
  • 2. ROR icon Stony Brook University
  • 3. ROR icon Purdue University West Lafayette

Description

The artifact is a Rust core (with Python bindings via PyO3) and a set of Python
driver scripts that reproduce every experimental table and figure in the paper.
It covers six gate sets — `logical`, `clifford`, `clifford-t`,
`common-clifford-t`, `clifford-t1/2`, and `clifford-rz(pi/3)` — and includes:

- ECC synthesis and pruning (Section 5.1),
- a comparison against a naive baseline (Section 5.2.1),
- proving identities from existing Quartz ECC sets (Section 5.2.2),
- a fixed-point precision study (Section 5.2.3), and
- an exportable proof viewer (Section 5.2.4).

For evaluation, we recommend a machine with at least 16-core CPU and 32 GB of RAM. A
full sweep may take one to two days; you can stop at any point and inspect the
partial results, or run a single configuration for a quick check.
 
The most updated documentation is available here.

Files

artifact.zip

Files (1.5 GB)

Name Size Download all
md5:337d633102b73efb456f6030133d40be
1.5 GB Preview Download

Additional details

Dates

Available
2026-04-27

Software

Repository URL
https://github.com/YuantianDing/qcel-howmany
Programming language
Python , Rust
Development Status
Active