Fixing F'd F gates

Author: nealerickson-qtm

python/quantum-pecos/src/pecos/slr/gen_codes/qir_gate_mapping.py

@@ -65,30 +65,7 @@ def __init__(self, gate: QG):
     SZdg = Sdg  # Mapped to itself in qeclib
 
     # Complicated gates that require decomposition, expressed as a lambda:
-    F = QG.decompose(
-        lambda f: [
-            q.SZdg(f.qargs[0]),
-            q.H(f.qargs[0]),
-        ],
-    )
-    Fdg = QG.decompose(
-        lambda fdg: [
-            q.H(fdg.qargs[0]),
-            q.SZ(fdg.qargs[0]),
-        ],
-    )
-    F4 = QG.decompose(
-        lambda f4: [
-            q.H(f4.qargs[0]),
-            q.SZdg(f4.qargs[0]),
-        ],
-    )
-    F4dg = QG.decompose(
-        lambda f4dg: [
-            q.SZ(f4dg.qargs[0]),
-            q.H(f4dg.qargs[0]),
-        ],
-    )
+
     SX = QG.decompose(
         lambda sx: [
             q.RX[np.pi / 2](sx.qargs[0]),
@@ -110,5 +87,33 @@ def __init__(self, gate: QG):
         ],
     )
 
+    # https://github.com/PECOS-packages/PECOS/blob/development/crates/pecos-qsim/src/clifford_gateable.rs#L681
+    F = QG.decompose(
+        lambda f: [
+            q.SX(f.qargs[0]),
+            q.SZ(f.qargs[0]),
+        ],
+    )
+    # https://github.com/PECOS-packages/PECOS/blob/development/crates/pecos-qsim/src/clifford_gateable.rs#L715
+    Fdg = QG.decompose(
+        lambda fdg: [
+            q.SZdg(fdg.qargs[0]),
+            q.SXdg(fdg.qargs[0]),
+        ],
+    )
+    # https://github.com/PECOS-packages/PECOS/blob/development/crates/pecos-qsim/src/clifford_gateable.rs#L885
+    F4 = QG.decompose(
+        lambda f4: [
+            q.SZ(f4.qargs[0]),
+            q.SX(f4.qargs[0]),
+        ],
+    )
+    F4dg = QG.decompose(
+        lambda f4dg: [
+            q.SXdg(f4dg.qargs[0]),
+            q.SZdg(f4dg.qargs[0]),
+        ],
+    )
+
     # Remaining QIR gates seen:
     #     '__quantum__qis__rxxyyzz__body',