Create a finite state machine analysis pass to propagate Pauli basis states, and use it to disentangle CNOTs and SWAPs #1154
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…states whenever possible. The knowledge of the snapshot midcircuit states can be useful when: - Deducing CNOT effect and decouple them - Replace complicated circuits whose results are |01+-LR> with standard preparation routines - Potentially more
…other passes can query (this is done via the mlir analysis framework) - add a transformation pass --disentangle-CNOT (with test) - both passes are changed to function passes
paul0403
changed the title
|
Note that this is a hackweek project and is not on any roadmaps, so it's not urgent Edit (2024/12/20): this is a P2 item now |
paul0403
commented
Sep 26, 2024
paul0403
commented
Sep 27, 2024
|
Adding do-not-merge label to freeze this branch for assessment |
paul0403
commented
Nov 2, 2024
erick-xanadu
previously requested changes
Dec 17, 2024
…er is now already concise)
paul0403
commented
Dec 20, 2024
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #1154 +/- ##
=======================================
Coverage 96.68% 96.68%
=======================================
Files 75 75
Lines 8266 8266
Branches 867 867
=======================================
Hits 7992 7992
Misses 221 221
Partials 53 53 ☔ View full report in Codecov by Sentry. |
dime10
reviewed
Dec 20, 2024
#1297 but on catalyst instead of on @[ritu-thombre99](https://github.com/ritu-thombre99)'s fork, so I can clean it up : ) --------- Co-authored-by: Ritu Thombre <[email protected]> Co-authored-by: Ritu Thombre <[email protected]>
paul0403
dismissed
erick-xanadu’s stale review
Addressed the comments, but Erick is on vacation : )
paul0403
changed the title
mehrdad2m
approved these changes
Dec 20, 2024
mehrdad2m
pushed a commit
that referenced
this pull request
Jan 6, 2025
…states, and use it to disentangle CNOTs and SWAPs (#1154) **Context:** In circuits that mostly involve the six Pauli eigenstates, the effect of gates can be described by a simple six-state finite state machine. This allows us to deduce their midcircuit state at compile time. The knowledge of the snapshot midcircuit states can be useful when: - Deducing CNOT/Toffoli/SWAP/... effect and decouple them. We decouple CNOT and SWAP in this PR. - Replace complicated circuits whose results are |01+-LR> with standard preparation routines - Potentially more **Description of the Change:** Added an analysis for propagating simple states (and tests). Also added CNOT and SWAP decomposition pass `disentangle-CNOT`, `disentangle-SWAP` (and tests). Credit to [Ritu Thombre](https://github.com/ritu-thombre99) for the work on the SWAP gates! **Benefits:** More compile time circuit information for potential compile time transformation/optimization. **Possible Drawbacks:** This algorithm is from an external paper. We need to properly cite it. https://arxiv.org/abs/2012.07711 (fig.5) **Related GitHub Issues:** closes #1268 [sc-74649] [sc-74650] --------- Co-authored-by: Ritu Thombre <[email protected]> Co-authored-by: Ritu Thombre <[email protected]>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Context:
In circuits that mostly involve the six Pauli eigenstates, the effect of gates can be described by a simple six-state finite state machine. This allows us to deduce their midcircuit state at compile time.
The knowledge of the snapshot midcircuit states can be useful when:
Description of the Change:
Added an analysis for propagating simple states (and tests).
Also added CNOT and SWAP decomposition pass
disentangle-CNOT,disentangle-SWAP(and tests).Credit to Ritu Thombre for the work on the SWAP gates! #1297
Benefits:
More compile time circuit information for potential compile time transformation/optimization.
Possible Drawbacks:
This algorithm is from an external paper. We need to properly cite it.
https://arxiv.org/abs/2012.07711 (fig.5)
Related GitHub Issues: closes #1268
[sc-74649]
[sc-74650]