Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2026
|
| Subjects: | |
| Online Access: | https://doi.org/10.5281/zenodo.20222265 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- <div> <div>The artifact is a Rust core (with Python bindings via PyO3) and a set of Python</div> <div>driver scripts that reproduce every experimental table and figure in the paper.</div> <div>It covers six gate sets — `logical`, `clifford`, `clifford-t`,</div> <div>`common-clifford-t`, `clifford-t1/2`, and `clifford-rz(pi/3)` — and includes:</div> <br> <div>- ECC synthesis and pruning (Section 5.1),</div> <div>- a comparison against a naive baseline (Section 5.2.1),</div> <div>- proving identities from existing Quartz ECC sets (Section 5.2.2),</div> <div>- a fixed-point precision study (Section 5.2.3), and</div> <div>- an exportable proof viewer (Section 5.2.4).</div> <br> <div>For evaluation, we recommend a machine with at least 16-core CPU and 32 GB of RAM. A</div> <div>full sweep may take one to two days; you can stop at any point and inspect the</div> <div>partial results, or run a single configuration for a quick check.</div> <div> </div> <div>The most updated documentation is available <a href="https://github.com/YuantianDing/qcel-howmany">here</a>.</div> </div>