qiskit-camp-europe-19 icon indicating copy to clipboard operation
qiskit-camp-europe-19 copied to clipboard

Published 20 hours ago • verified publisher icon qiskit-community

Hoare Logic Optimization Layer in Qiskit-Terra

Open dime10 opened this issue 4 years ago • 0 comments

Abstract

Build an optimization layer in Terra based on Hoare logic. This uses post- and triviality conditions on gates and state assertions to infer information about the qubit state to optimize away superfluous gates. It's a fun project to implement, if you are interested in quantum circuits at all come check it out.

Note I have previous experience with this paper so no worries if that's not your expertise :)

Literature

https://arxiv.org/pdf/1810.00375v1.pdf

Members

  • @dime10
  • @AduOffei
  • Slack: @Marek Lampart
  • IBM Coach:

Deliverable

A Terra module.

GitHub repo

https://github.com/dime10/qiskit-terra

dime10 avatar Sep 13 '19 07:09 dime10