Draft: Integrate PSGS for Pauli Polynomial synthesis#34

Open

keefehuang wants to merge 29 commits intomainfrom

Commits on Oct 29, 2025

Add helper function in PauliString to calculate hamming weight
Keefe Huang
committed
Update connectivity to fix unintended behavior
Keefe Huang
committed
Correct pivot selection for custom callback
Keefe Huang
committed
Add helper functions for PermRowCol
Keefe Huang
committed
Implement PermRowCol for CliffordTableau
Keefe Huang
committed
Add tests for PermRowCol for CliffordTableau
Keefe Huang
committed
Update benchmark code
Keefe Huang
committed
Remove unused import
Keefe Huang
committed
Remove println statement
Keefe Huang
committed
Remove unused imports and print statements
Keefe Huang
committed
Add more PauliString and PauliPolynomial helper functions
Keefe Huang
committed
Shift pauli checks up one folder level to allow all synthesis methods to access them
Keefe Huang
committed
Implement PSGS strategy for PauliPolynomials
Keefe Huang
committed
Add tests for PSGS implementation, extend synthesis method enum to include PSGS
Keefe Huang
committed
Update Cargo.lock
Keefe Huang
committed
Remove uneeded references, return calls and imports
Keefe Huang
committed
Reformat docs
Keefe Huang
committed
Add helper function in PauliString to calculate hamming weight
Keefe Huang
committed
Correct pivot selection for custom callback
Keefe Huang
committed
Add tests for PermRowCol for CliffordTableau
Keefe Huang
committed
Remove unused import
Keefe Huang
committed
Rename edge_ and node_bound to edge_ and node_count
Keefe Huang
committed
Replace clean_naive_pivot with clean_pivot
Keefe Huang
committed
Add PermRowCol as strategy in pauli_exponential.rs
Keefe Huang
committed
Add ability to modify row and column selection strategy for PermRowColCliffordSynthesizer
Keefe Huang
committed
test refactor

Aerylia
authored and
Keefe Huang
committed
Rebase on main
Keefe Huang
committed

Commits on Nov 4, 2025

Implement tests from Cowtan, fix sign flip error
Keefe Huang
committed
Remove CliffordTableau from PauliPolynomialSynthesizers
Keefe Huang
committed