Enabling Dataflow Optimization for Quantum Programs

01/26/2021
by   David Ittah, et al.
0

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.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 2

09/06/2021

QSSA: An SSA-based IR for Quantum Computing

Quantum computing hardware has progressed rapidly. Simultaneously, there...
01/27/2021

A MLIR Dialect for Quantum Assembly Languages

We demonstrate the utility of the Multi-Level Intermediate Representatio...
09/15/2018

Commentary on Quantum-Inspired Information Retrieval

There have been suggestions within the Information Retrieval (IR) commun...
09/02/2020

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

Noisy Intermediate-Scale Quantum (NISQ) technology proposes requirements...
05/20/2019

Statistical Assertions for Validating Patterns and Finding Bugs in Quantum Programs

In support of the growing interest in quantum computing experimentation,...
07/05/2021

A Formal Semantics of the GraalVM Intermediate Representation

The optimization phase of a compiler is responsible for transforming an ...
11/26/2021

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.