LitinskiTransformation

class qiskit.transpiler.passes.LitinskiTransformation(*args, **kwargs)

Bases: TransformationPass

Aplica la transformada de Litinski a un circuito.

La transformación se aplica a un circuito que contenga puertas de rotación de un solo qubit de tipo Clifford ( $R_Z$ ), incluyendo $T$ y $T^\dagger$ , así como mediciones estándar de tipo $Z$ , y desplaza las puertas de Clifford al final del circuito. En el proceso, transforma las rotaciones de « $R_Z$ » en rotaciones del producto de Pauli, y las mediciones de « $Z$ » en mediciones del producto de Pauli.

El pase admite todas las puertas Clifford de la lista devuelta por get_clifford_gate_names():

["id", "x", "y", "z", "h", "s", "sdg", "sx", "sxdg", "cx", "cz", "cy", "swap","iswap", "ecr", "dcx"]

La lista de rotaciones de « $R_Z$ » compatibles es la siguiente:

["t", "tdg", "rz"]

Ejemplo:

from qiskit import generate_preset_pass_manager
from qiskit.circuit import QuantumCircuit
from qiskit.transpiler.passes import LitinskiTransformation

litinski = LitinskiTransformation(fix_clifford=False, use_ppr=True)

rz_basis = ["rz", "h", "x", "cx"]
pm = generate_preset_pass_manager(basis_gates=rz_basis)
pm.optimization.append(litinski)

qc = QuantumCircuit(3, 1)
qc.h(0)
qc.rz(1.23, 0)
qc.cx(0, 1)
qc.t(1)
qc.cx(1, 2)
qc.measure(2, 0)

pbc = pm.run(qc)

Referencias:

[1.] Litinski. Un juego de códigos de superficie. Quantum 3, 128 (2019)

Parámetros

fix_clifford – Si False (valor no predeterminado), el circuito devuelto contiene únicamente PauliEvolution puertas, omitiendo las puertas de Clifford finales. Tenga en cuenta que, en este caso, los operadores de los circuitos original y sintetizado no suelen ser equivalentes.
insert_barrier – Si True y fix_clifford=True, inserta una barrera entre el circuito y los cliffords finales. Este argumento no tiene ningún efecto si fix_clifford=False.
use_ppr – Si es así True, utiliza PauliProductRotationGate para representar las puertas de rotación de Pauli. Se recomienda hacerlo para mejorar el rendimiento utilizando una ruta totalmente basada en Rust. Si False o None, utiliza PauliEvolutionGate.

Atributos

is_analysis_pass

Comprueba si el pase es un pase de análisis.

Si el pase es un AnalysisPass, significa que el pase puede analizar el DAG y escribir los resultados de ese análisis en el conjunto de propiedades. Este tipo de paso no permite realizar modificaciones en el DAG.

is_transformation_pass

Comprueba si el pase es un pase de transformación.

Si el pase es un TransformationPass, significa que el pase puede manipular el DAG, pero no puede modificar el conjunto de propiedades (pero se puede leer).

Métodos

execute

execute(passmanager_ir, state, callback=None)

GitHub

Ejecutar la tarea de optimización para la entrada Qiskit IR.

Parámetros

passmanager_ir (Any) – Qiskit IR para optimizar.
state (PassManagerState) – Estado asociado a la ejecución del flujo de trabajo por el propio gestor de pases.
callback (Callable | None) – Una función de devolución de llamada que se invoca cada vez que se ejecuta una tarea de optimización.