Merge branch 'main' into phil/new-address-analysis

Author: weinbe58

.github/workflows/ci.yml

@@ -43,7 +43,7 @@ jobs:
           token: ${{ secrets.CODECOV_TOKEN }} # required
       - name: Archive code coverage results
         if: matrix.python-version == '3.12'
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: code-coverage-report
           path: coverage.xml
@@ -55,7 +55,7 @@ jobs:
     steps:
         - uses: actions/checkout@v5
         - name: download covearge
-          uses: actions/download-artifact@v5
+          uses: actions/download-artifact@v6
           with:
             name: code-coverage-report
         - name: check coverage

.github/workflows/release.yml

@@ -19,7 +19,7 @@ jobs:
     - name: Build distribution 📦
       run: uv build
     - name: Store the distribution packages
-      uses: actions/upload-artifact@v4
+      uses: actions/upload-artifact@v5
       with:
         name: python-package-distributions
         path: dist/
@@ -39,7 +39,7 @@ jobs:
 
     steps:
     - name: Download all the dists
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v6
       with:
         name: python-package-distributions
         path: dist/
@@ -60,12 +60,12 @@ jobs:
 
     steps:
     - name: Download all the dists
-      uses: actions/download-artifact@v5
+      uses: actions/download-artifact@v6
       with:
         name: python-package-distributions
         path: dist/
     - name: Sign the dists with Sigstore
-      uses: sigstore/gh-action-sigstore-python@v3.0.1
+      uses: sigstore/gh-action-sigstore-python@v3.1.0
       with:
         inputs: >-
           ./dist/*.tar.gz

src/bloqade/squin/rewrite/U3_to_clifford.py

@@ -15,6 +15,14 @@ class Sdag(ir.Statement):
     pass
 
 
+class SqrtXdag(ir.Statement):
+    pass
+
+
+class SqrtYdag(ir.Statement):
+    pass
+
+
 # (theta, phi, lam)
 U3_HALF_PI_ANGLE_TO_GATES: dict[
     tuple[int, int, int], list[type[ir.Statement]] | list[None]
@@ -27,21 +35,21 @@ class Sdag(ir.Statement):
     (1, 0, 1): [gate.stmts.S, gate.stmts.SqrtY],
     (1, 0, 2): [gate.stmts.H],
     (1, 0, 3): [Sdag, gate.stmts.SqrtY],
-    (1, 1, 0): [gate.stmts.SqrtY, gate.stmts.S],
-    (1, 1, 1): [gate.stmts.S, gate.stmts.SqrtY, gate.stmts.S],
-    (1, 1, 2): [gate.stmts.Z, gate.stmts.SqrtY, gate.stmts.S],
-    (1, 1, 3): [Sdag, gate.stmts.SqrtY, gate.stmts.S],
-    (1, 2, 0): [gate.stmts.SqrtY, gate.stmts.Z],
-    (1, 2, 1): [gate.stmts.S, gate.stmts.SqrtY, gate.stmts.Z],
-    (1, 2, 2): [gate.stmts.Z, gate.stmts.SqrtY, gate.stmts.Z],
-    (1, 2, 3): [Sdag, gate.stmts.SqrtY, gate.stmts.Z],
-    (1, 3, 0): [gate.stmts.SqrtY, Sdag],
-    (1, 3, 1): [gate.stmts.S, gate.stmts.SqrtY, Sdag],
-    (1, 3, 2): [gate.stmts.Z, gate.stmts.SqrtY, Sdag],
-    (1, 3, 3): [Sdag, gate.stmts.SqrtY, Sdag],
+    (1, 1, 0): [gate.stmts.S, SqrtXdag],
+    (1, 1, 1): [gate.stmts.Z, SqrtXdag],
+    (1, 1, 2): [Sdag, SqrtXdag],
+    (1, 1, 3): [SqrtXdag],
+    (1, 2, 0): [gate.stmts.Z, SqrtYdag],
+    (1, 2, 1): [Sdag, SqrtYdag],
+    (1, 2, 2): [SqrtYdag],
+    (1, 2, 3): [gate.stmts.S, SqrtYdag],
+    (1, 3, 0): [Sdag, gate.stmts.SqrtX],
+    (1, 3, 1): [gate.stmts.SqrtX],
+    (1, 3, 2): [gate.stmts.S, gate.stmts.SqrtX],
+    (1, 3, 3): [gate.stmts.Z, gate.stmts.SqrtX],
     (2, 0, 0): [gate.stmts.Y],
     (2, 0, 1): [gate.stmts.S, gate.stmts.Y],
-    (2, 0, 2): [gate.stmts.Z, gate.stmts.Y],
+    (2, 0, 2): [gate.stmts.X],
     (2, 0, 3): [Sdag, gate.stmts.Y],
 }
 
@@ -106,6 +114,10 @@ def rewrite_U3(self, node: gate.stmts.U3) -> RewriteResult:
         for gate_stmt in gates:
             if gate_stmt is Sdag:
                 new_stmt = gate.stmts.S(adjoint=True, qubits=node.qubits)
+            elif gate_stmt is SqrtXdag:
+                new_stmt = gate.stmts.SqrtX(adjoint=True, qubits=node.qubits)
+            elif gate_stmt is SqrtYdag:
+                new_stmt = gate.stmts.SqrtY(adjoint=True, qubits=node.qubits)
             else:
                 new_stmt = gate_stmt(qubits=node.qubits)
             new_stmt.insert_before(node)