Add Clifford+T decomposition to transpiler

pyproject.toml

@@ -70,10 +70,11 @@ pytest-cov = "^4.0.0"
 pylint = "^3.3.5"
 matplotlib = "^3.7.0"
 qibojit = { git = "https://github.com/qiboteam/qibojit.git" }
-stim = "^1.12.0"
+stim = "^1.15.0"
 qulacs = { version = "^0.6.4", python = "<3.13" }
 qiskit = "^2.2.3"
 qbraid = { version = "^0.10.0", extras = ["cudaq", "qir"] }
+pygridsynth = "^2.0.0"
 
 [tool.poe.tasks]
 test = "pytest"

src/qibo/backends/__init__.py

@@ -147,8 +147,8 @@ def _default_transpiler(cls):
         from qibo.transpiler.router import Sabre
         from qibo.transpiler.unroller import NativeGates, Unroller
 
-        qubits = cls._backend.qubits
-        natives = cls._backend.natives
+        qubits = cls.backend().qubits
+        natives = cls.backend().natives
         connectivity_edges = cls._backend.connectivity
         if qubits is not None and natives is not None:
             connectivity = (
@@ -189,9 +189,11 @@ def create(self, dtype):
         if dtype in ("complex64", "complex128"):
             self.Y = self.matrices.Y
             self.SX = self.matrices.SX
+            self.SXDG = self.matrices.SXDG
             self.S = self.matrices.S
-            self.T = self.matrices.T
             self.SDG = self.matrices.SDG
+            self.T = self.matrices.T
+            self.TDG = self.matrices.TDG
             self.CY = self.matrices.CY
             self.CSX = self.matrices.CSX
             self.CSXDG = self.matrices.CSXDG

src/qibo/backends/clifford.py

@@ -18,11 +18,15 @@
 
 
 class CliffordBackend(Backend):
-    """Backend for the simulation of Clifford circuits following
+    """Backend for the simulation of Clifford circuits following  Ref. [1].
     `Aaronson & Gottesman (2004) <https://arxiv.org/abs/quant-ph/0406196>`_.
 
     Args:
         :class:`qibo.backends.abstract.Backend`: Backend used for the calculation.
+
+    References:
+        1. S. Aaronson and D. Gottesman, *Improved Simulation of Stabilizer Circuits*,
+        `Phys. Rev. A 70, 052328 (2004) <https://doi.org/10.1103/PhysRevA.70.052328>`_.
     """
 
     def __init__(self, platform: Optional[str] = None):