Enabling Dataflow Optimization for Quantum Programs

by   David Ittah, et al.

We propose an IR for quantum computing that directly exposes quantum and classical data dependencies for the purpose of optimization. Our IR consists of two dialects, one input dialect and one that is specifically tailored to enable quantum-classical co-optimization. While the first employs a perhaps more intuitive memory-semantics (quantum operations act as side-effects), the latter uses value-semantics (operations consume and produce states). Crucially, this encodes the dataflow directly in the IR, allowing for a host of optimizations that leverage dataflow analysis. We discuss how to map existing quantum programming languages to the input dialect and how to lower the resulting IR to the optimization dialect. We present a prototype implementation based on MLIR that includes several quantum-specific optimization passes. Our benchmarks show that significant improvements in resource requirements are possible even through static optimization. In contrast to circuit optimization at runtime, this is achieved while incurring only a small constant overhead in compilation time, making this a compelling approach for quantum program optimization at application scale.



There are no comments yet.


page 2


QSSA: An SSA-based IR for Quantum Computing

Quantum computing hardware has progressed rapidly. Simultaneously, there...

A MLIR Dialect for Quantum Assembly Languages

We demonstrate the utility of the Multi-Level Intermediate Representatio...

Commentary on Quantum-Inspired Information Retrieval

There have been suggestions within the Information Retrieval (IR) commun...

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features

Noisy Intermediate-Scale Quantum (NISQ) technology proposes requirements...

Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

In support of the growing interest in quantum computing experimentation,...

A Formal Semantics of the GraalVM Intermediate Representation

The optimization phase of a compiler is responsible for transforming an ...

Mapping Surface Code to Superconducting Quantum Processors

In this paper, we formally describe the three challenges of mapping surf...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.