Support for PauliRot and PauliMeasure in Catalyst #2145
Merged
Conversation
This file contains hidden or 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
paul0403
reviewed
Oct 23, 2025
lazypanda10117
changed the title
lazypanda10117
changed the title
paul0403
reviewed
Oct 28, 2025
isaacdevlugt
approved these changes
Nov 20, 2025
Contributor
isaacdevlugt
left a comment
isaacdevlugt
left a comment
There was a problem hiding this comment.
Thanks @lazypanda10117 🚀 !!
I'll make another PR to Catalyst for more docs changes once other adjacent features are merged to PennyLane :). This looks great!
paul0403
reviewed
Nov 21, 2025
paul0403
reviewed
Nov 21, 2025
lazypanda10117
commented
Nov 21, 2025
lazypanda10117
commented
Nov 21, 2025
paul0403
added a commit
that referenced
this pull request
Nov 24, 2025
**Context:** When a user places a PPR op in an adjoint qfunc (see #2145 ), the `--adjoint-lowering` pass will not correctly distribute the adjoint into the region onto PPRs, because the pass does not recognize PPRs. **Description of the Change:** Add pattern for PPR ops in adjoint lowering pass. **Benefits:** Correct behavior **Possible Drawbacks:** None
Contributor
|
Does any work need to be done in this PR? |
Member
|
Member
Author
The code is all done, but we are waiting for a few things to be merged first so that it is actually consistent with the documented usage. In particular, we need the following PRs:
|
Contributor
|
Are there any ways to make it less dependent on its blockers? 🤔 |
Member
Author
This is a blocker from the documentation side, so @isaacdevlugt would probably have a better idea on how to proceed. |
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:
There is currently no way for users to write PPRs and PPMs in the Pennylane frontend and have it lowered to the QEC dialect directly. Note that this feature is only supported when
qml.capture.enabled()is true.Description of the Change:
qml.PauliRotandqml.pauli_measurewill be converted into the appropriateqec.pprandqec.ppmoperations in the MLIR, allowing us to use the existing ppr/ppm compilation passes directly, as well as writing custom decomposition rules in terms of them.Benefits:
This allows researchers to test PPR/PPM compilation passes easily by writing circuits in terms of PPRs and PPMs and directly integrate with the Catalyst's
ppm_compilationpass (and sub-passes).Related GitHub PRs:
PennyLaneAI/pennylane#8544
[sc-101578]
[sc-102095]