Skip to content

Fix ElidePermutations pass in the presence of PermutationGates (backport #14603) #14623

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

Merged
merged 1 commit into from
Jun 16, 2025

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Jun 16, 2025

Summary

Fixes #14602.

Details and comments

The ElidePermutations transpiler pass removes swap gates and permutation gates from the circuit, tracking the current permutation of the qubits using the internal variable mapping. Previously, this mapping was not updated correctly in the presence of permutation gates, leading to incorrect output circuits and updates to the pass manager's property set (namely, to "virtual_permutation_layout").

The correct update rule should be $$M [ Q [i] ] \leftarrow M [Q [ P[i] ] ]$$ for $i=1,\dots,k$, where $M$ is the current mapping within the ElidePermutations pass, $Q$ is the set of qubits the permutation gate is defined on, and $P$ is the "permutation pattern" of the permutation gate (stating which qubits get mapped to positions $0$, $1$, etc. when the permutation gate is applied).


This is an automatic backport of pull request #14603 done by Mergify.

…14603)

* fixing ElidePermutations and adding tests

* release notes

(cherry picked from commit 96fda18)
@mergify mergify bot requested a review from a team as a code owner June 16, 2025 16:26
@qiskit-bot
Copy link
Collaborator

Thank you for opening a new pull request.

Before your PR can be merged it will first need to pass continuous integration tests and be reviewed. Sometimes the review process can be slow, so please be patient.

While you're waiting, please feel free to review other open PRs. While only a subset of people are authorized to approve pull requests for merging, everyone is encouraged to review open pull requests. Doing reviews helps reduce the burden on the core team and helps make the project's code better for everyone.

One or more of the following people are relevant to this code:

  • @Qiskit/terra-core

@github-actions github-actions bot added this to the 2.0.3 milestone Jun 16, 2025
@github-actions github-actions bot added the Changelog: Bugfix Include in the "Fixed" section of the changelog label Jun 16, 2025
@coveralls
Copy link

Pull Request Test Coverage Report for Build 15686377268

Details

  • 5 of 5 (100.0%) changed or added relevant lines in 1 file are covered.
  • 29 unchanged lines in 3 files lost coverage.
  • Overall coverage decreased (-0.02%) to 87.965%

Files with Coverage Reduction New Missed Lines %
crates/circuit/src/symbol_expr.rs 1 73.85%
crates/qasm2/src/lex.rs 4 91.73%
crates/qasm2/src/parse.rs 24 96.22%
Totals Coverage Status
Change from base Build 15684255949: -0.02%
Covered Lines: 83011
Relevant Lines: 94368

💛 - Coveralls

@mtreinish mtreinish added this pull request to the merge queue Jun 16, 2025
Merged via the queue into stable/2.1 with commit 5488917 Jun 16, 2025
29 checks passed
@mtreinish mtreinish deleted the mergify/bp/stable/2.1/pr-14603 branch June 16, 2025 17:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Changelog: Bugfix Include in the "Fixed" section of the changelog
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants