OpenQudit: Extensible and Accelerated Numerical Quantum Compilation via a JIT-Compiled DSL

TL;DR

OpenQudit is a flexible quantum compilation framework that uses a symbolic DSL and JIT compilation to significantly accelerate quantum circuit synthesis tasks, making extension and optimization more accessible.

Contribution

It introduces a novel symbolic DSL and a JIT compilation approach that enhances extensibility and performance in quantum compilation.

Findings

Achieves up to ~20x speedup in quantum circuit synthesis tasks.

Enables easier extension with new instructions for domain experts.

Demonstrates effective symbolic simplification and high-performance code generation.

Abstract

High-performance numerical quantum compilers rely on classical optimization, but are limited by slow numerical evaluations and a design that makes extending them with new instructions a difficult, error-prone task for domain experts. This paper introduces OpenQudit, a compilation framework that solves these problems by allowing users to define quantum operations symbolically in the Qudit Gate Language (QGL), a mathematically natural DSL. OpenQudit's ahead-of-time compiler uses a tensor network representation and an e-graph-based pass for symbolic simplification before a runtime tensor network virtual machine (TNVM) JIT-compiles the expressions into high-performance native code. The evaluation shows that this symbolic approach is highly effective, accelerating the core instantiation task by up to $\mathtt{\sim}20\times$ on common quantum circuit synthesis problems compared to state-of-the-art tools.