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 contiene puertas de Clifford, rotaciones de un solo qubit , rotaciones y rotaciones (incluidas , y ), rotaciones de producto de Pauli, mediciones de producto de Pauli y mediciones estándar . La transformación desplaza las puertas de Clifford al final del circuito, incluidas las puertas de rotación de un solo qubit, las rotaciones del producto de Pauli y las mediciones del producto de Pauli, cuyo ángulo es un múltiplo de . En el proceso, transforma las rotaciones de , las rotaciones de y las rotaciones de en rotaciones del producto de Pauli, y las mediciones de 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"]
Además, las puertas de rotación mencionadas anteriormente cuyos ángulos sean múltiplos enteros de dentro de la tolerancia establecida también se consideran de tipo Clifford.
Ejemplo:
from qiskit import generate_preset_pass_manager
from qiskit.circuit import QuantumCircuit
from qiskit.circuit.library import PauliProductMeasurement, PauliProductRotationGate
from qiskit.quantum_info import Pauli
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.append(PauliProductRotationGate(Pauli("XY"), 0.456), [1, 2])
qc.cx(1, 2)
qc.append(PauliProductMeasurement(Pauli("ZX")), [0, 1], [0])
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 únicamentePauliEvolutionpuertas, 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
Trueyfix_clifford=True, inserta una barrera entre el circuito y los cliffords finales. Este argumento no tiene ningún efecto sifix_clifford=False. - use_ppr – Si es así
True, utilizaPauliProductRotationGatepara representar las puertas de rotación de Pauli. Se recomienda hacerlo para mejorar el rendimiento utilizando una ruta totalmente basada en Rust. SiFalseoNone, utilizaPauliEvolutionGate. - approximation_degree – Se utiliza en los cálculos de tolerancia para comprobar en qué medida un PPR o una puerta de rotación se aproxima a un Clifford. Esto proporciona el umbral de la fidelidad media de la puerta.
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)
Ejecutar la tarea de optimización para la entrada Qiskit IR.
Parámetros
- passmanager_ir (DAGCircuit) – Qiskit IR para optimizar.
- state (DAGCircuit) – Estado asociado a la ejecución del flujo de trabajo por parte del propio gestor de pasadas.
- callback (Callable[[Task, DAGCircuit, PropertySet, float, int], None] | None) – Una función de devolución de llamada que se invoca cada vez que se ejecuta una tarea de optimización.
Devuelve
Qiskit IR optimizado y estado del flujo de trabajo.
Tipo de retorno
name
run
run(dag)
Ejecuta la prueba « LitinskiTransformation » en dag.
Parámetros
dag (DAGCircuit) – El DAG de entrada.
Devuelve
El DAG de salida.
Eleva
TranspilerError – Si el circuito contiene puertas que no son compatibles con el pase.
Tipo de retorno
update_status
update_status(state, run_state)
Actualizar el estado del flujo de trabajo.
Parámetros
- state (PassManagerState) – Pasar estado de gestor a actualizar.
- run_state (RunState) – Estado de finalización de la tarea actual.
Devuelve
Estado del gestor de pases actualizado.
Tipo de retorno