Felix, qui, quod amat, defendere fortiter audet
Home -> Publications
Home
  Publications
    
edited volumes
  Awards
  Research
  Teaching
  Miscellaneous
  Full CV [pdf]
  BLOG






  Events








  Past Events





Publications of Torsten Hoefler
David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler:

 QIRO: A Static Single Assignment-Based Quantum Program Representation for Optimization

(In ACM Transactions on Quantum Computing, Association for Computing Machinery, ISSN: 2643-6809, Aug. 2021)

Publisher Reference

Abstract

We propose an IR for quantum computing that directly exposes quantum and classical data dependencies for the purpose of optimization. The Quantum Intermediate Representation for Optimization (QIRO) 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 on qubits via side-effects), the latter uses value-semantics (operations consume and produce states) to integrate quantum dataflow in the IR’s Static Single Assignment (SSA) graph. Crucially, this allows 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 run time, 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.

Documents

Publisher URL: https://doi.org/10.1145/3491247download article:     


Recorded talk (best effort)

 

BibTeX

@article{,
  author={David Ittah and Thomas Häner and Vadym Kliuchnikov and Torsten Hoefler},
  title={{QIRO: A Static Single Assignment-Based Quantum Program Representation for Optimization}},
  year={2021},
  month={Aug.},
  booktitle={ACM Transactions on Quantum Computing},
  publisher={Association for Computing Machinery},
  issn={2643-6809},
  source={http://www.unixer.de/~htor/publications/},
}


serving: 18.221.160.29:19436© Torsten Hoefler