Skip to content

Draft: Integrate PSGS for Pauli Polynomial synthesis #34

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.

Sign up for GitHub

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

Jump to bottom
Open
keefehuang wants to merge 29 commits into
base: main
Choose a base branch
from
Open

Draft: Integrate PSGS for Pauli Polynomial synthesis #34

keefehuang wants to merge 29 commits into from

Conversation

@keefehuang
Copy link
Collaborator

@keefehuang keefehuang commented Jul 4, 2025 •
edited
Loading

Depends on #43.

TODO:

  • Add basic cases for PP synthesis from https://arxiv.org/pdf/1906.01734 (Also for naive case)
  • Remove CliffordTableau from PauliPolynomial Synthesizers (naive + psgs) in favor of starting with identity
  • Method for merging Clifford Tableaus into a single one $C_3=C_2*C_1$.
  • Update the PauliExponential Synthesis to use above changes
  • Update code without interior mutability

@keefehuang keefehuang changed the title Integrate PermRowCol for CliffordTableaus Integrate PSGS for Pauli Polynomial synthesis Aug 14, 2025
@keefehuang keefehuang changed the title Integrate PSGS for Pauli Polynomial synthesis Draft: Integrate PSGS for Pauli Polynomial synthesis Aug 14, 2025
@daehiff daehiff assigned daehiff and unassigned daehiff Aug 14, 2025
Aerylia
Aerylia reviewed Aug 31, 2025
View reviewed changes
Copy link
Contributor

@Aerylia Aerylia left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seems alright. Let's check again after dependencies are resolved

Keefe Huang added 22 commits October 29, 2025 16:10
Add helper function in PauliString to calculate hamming weight
748685d
Update connectivity to fix unintended behavior
80898a7 
Moved to StableGraph, remove iterations from 0..graph_size as graphs no longer compact.
Ensure unweighted edges have a defaulta weight of 1.
Add helper function to find edge and node count of Connectivity.
Remove asserts to check if node index is less than node count as graphs are no longer compact.
Correct pivot selection for custom callback
b9fd2c7 
Mixup between rows and columns fixed.
Added functionality to perform x and z cleanup interchangeably.
Add helper functions for PermRowCol
f1d3cbf 
Add clean_prc for X and Z.
Add pick_column and pick_row.
Implement PermRowCol for CliffordTableau
ce3de00
Add tests for PermRowCol for CliffordTableau
2daa86d
Update benchmark code
cd47a94 
Remove unused imports.
Switch deprecated functions to new names.
Remove uneeded references.
Remove unused import
67c388e
Remove println statement
4004b86
Remove unused imports and print statements
735acfa
Add more PauliString and PauliPolynomial helper functions
220fa3f
Shift pauli checks up one folder level to allow all synthesis methods…
dac6380 
… to access them
Implement PSGS strategy for PauliPolynomials
5793804
Add tests for PSGS implementation, extend synthesis method enum to in…
218d9d8 
…clude PSGS
Update Cargo.lock
5cd6480
Remove uneeded references, return calls and imports
5394668
Reformat docs
a2d0f1d
Add helper function in PauliString to calculate hamming weight
65632e8
Correct pivot selection for custom callback
2738ac0 
Mixup between rows and columns fixed.
Added functionality to perform x and z cleanup interchangeably.
Add tests for PermRowCol for CliffordTableau
b4b2257
Remove unused import
0e57fdc
Rename edge_ and node_bound to edge_ and node_count
6c4fccc
Keefe Huang added 2 commits November 4, 2025 14:53
Implement tests from Cowtan, fix sign flip error
bd26205
Remove CliffordTableau from PauliPolynomialSynthesizers
647fd96 
Each synthesizer should produce a new CliffordTableau as Polynomials should not see them.
The Tableaus can be arbitrarily composed.
@keefehuang keefehuang self-assigned this Nov 18, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Aerylia Aerylia Aerylia left review comments

At least 1 approving review is required to merge this pull request.

Assignees

@keefehuang keefehuang

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@keefehuang @Aerylia @daehiff