Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add tools for doing accurate resource estimation on circuits #32

Closed
tanujkhattar opened this issue Jul 20, 2022 · 2 comments
Closed

Add tools for doing accurate resource estimation on circuits #32

tanujkhattar opened this issue Jul 20, 2022 · 2 comments

Comments

@tanujkhattar
Copy link
Collaborator

tanujkhattar commented Jul 20, 2022

We have recently added a bunch of primitives for simulating chemistry Hamiltonian's. However, the ultimate goal is to be able to do resource estimation on circuits constructed using these primitives. Write an analogue of QCTraceSimulator in Q# that can consume Cirq circuits and do resource estimation on those circuits.

Some Potential design considerations for accurate resource estimation by compiling the constructed circuits:

  • cirq.estimate_resources(circuit, config = esimation_config, gateset = target_gateset) where target_gateset can be T + Cliffords + Measurement, Toffoli + Cliffords + Measurement etc.
  • Implement (hardcoded + analytical) decompositions of known (and unknown) gates into the target gatesets supported above by resource estimation.
  • Provide support for different resource estimation configurations (for example: control tradeoff between optimizing for depth vs qubit count).
  • Find a way of replacing different implementations of a primitive (eg: AND / Swap / etc.) that have different decompositions optimized for T-count / circuit depth / qubit count etc.
@tanujkhattar tanujkhattar changed the title Add tools / primitives for doing resource estimation on circuits Add tools for doing resource estimation on circuits Jul 20, 2022
@tanujkhattar tanujkhattar changed the title Add tools for doing resource estimation on circuits Add tools for doing accurate resource estimation on circuits Jul 20, 2022
@NoureldinYosri NoureldinYosri self-assigned this Aug 5, 2022
@mpharrigan
Copy link
Collaborator

I'd like to try just shoving in a sympy.Symbol for some of the GateWithRegisters' bitsize arguments and see what the t-count protocol makes of it. We could already have a symbolic/asymptotic protocol without knowing it!

@mpharrigan
Copy link
Collaborator

closing in favor of #539 #735 and other more-specific issues

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants