-
Notifications
You must be signed in to change notification settings - Fork 686
Arithmetic template qfunc decompositions #7779
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
Conversation
- how to account for modifiers?
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #7779 +/- ##
==========================================
- Coverage 99.68% 99.68% -0.01%
==========================================
Files 540 540
Lines 55386 55575 +189
==========================================
+ Hits 55214 55402 +188
- Misses 172 173 +1 ☔ View full report in Codecov by Sentry. 🚀 New features to boost your workflow:
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
These PRs are not "refactors", can you rename them to just say something along the lines of "add qfunc decompositions for ..."?
Yeah when I created them I thought I would be doing refactors but as it turned out we just left the existing tape decompositions as they are... |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is optional, but maybe you can add a decomposition for "C(Adder)"
(controlled Adder
) that works by applying control only on the PhaseAdder
in the middle? It is a nice trick because the QFT
and the Adjoint(QFT)
cancels out nicely when the middle PhaseAdder
isn't applied. This will be significantly more resource efficient than the default, which is to apply control on every single op in the decomposition.
------------------------------------------------------------------------------------------------------------ **Context:** We would like the `ControlledSequence` to have a quantum function based decomposition that is compatible with the new decomposition system. **Description of the Change:** Adds a quantum function based decomposition and resource keys, params. **Benefits:** Makes the template compatible with the new system. **Possible Drawbacks:** **Related ShortCut Stories:** [sc-94491]
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks @comp-phys-marc!
Co-authored-by: Mudit Pandey <[email protected]>
Co-authored-by: Mudit Pandey <[email protected]>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice Work! 🚀
Co-authored-by: Astral Cai <[email protected]>
Co-authored-by: Isaac De Vlugt <[email protected]>
…to feature/template-refactoring
- Debug unrelated failure
- codecov hanging
Context: We would like to refactor our templates to use quantum functions in their decompositions in order to make them compatible with the new decompositions system.
Description of the Change: Base branch for arithmetic template refactoring, starting with Arithmetic templates.
Benefits: Allows us to decompose using decompositions that are program capture compatible. Tape based decompositions are still available as a backwards compatible fallback.
Possible Drawbacks:
Related ShortCut Story: [sc-95395]