Circuit rewrite optimization notes

[crazy4pi314]

Questions

• Trace simulator examples/documents
  • Want to be able to count resources for qram queries only.
• What optimizations if any have been implemented where?
  • Simulators?
  • Compiler?
• Mathias worked on Boolean optimization, which one should we integrate to a simulator?
  • https://github.com/lsils/lstools-showcase

Wishlist

• Circuit optimization workflows?
• Basic API for "optimization passes"?
  • https://github.com/microsoft/qsharp-runtime/issues/322
    • Cancel duplicates
    • Canonical ordering?
    • Template matching (ex. directionality of CNOTs)
      • user defined templates
    • Configurable optimizations

[crazy4pi314]

Trace simulators

• Sarah: Provide example/source docs we want for trace simulator

Optimizations

• There are not many at the moment, lots of alpha work by Rory that we can check out and test
• Bettina was gonna look into current bug and see if she could get a MWE for us to try out
  • looked at stuff like this: https://github.com/microsoft/qsharp-compiler/blob/959bb4e315c6a2f3a84817decc3b008d899a6988/src/QsCompiler/Optimizations/PureCircuitAPI.fs#L188
  • There is framework for some basic template matching logic in Rory's work
• Optimization that does not need runtime info is much easier
• New resource estimator frameworks that might be helpful, will work with Bettina to test some alphas for
• Olivia can reach out to Mathias directly for which library would make most sense to speed up toffli simulation

[amirebrahimi]

Not in Q#, but one circuit re-writing library I think is stellar is: https://github.com/Quantomatic/pyzx

[AadiPapp]

Here is the link with Simulated Annealing aproach: https://msoeken.github.io/papers/2015_vlsisoc.pdf