LitinskiTransformation

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

Bases: TransformationPass

Aplica a transformada de Litinski a um circuito.

A transformação aplica-se a um circuito que contenha portas de rotação de Clifford e de rotação de um único qubit $R_Z$ (incluindo $T$ e $T^\dagger$ ), bem como medições padrão $Z$ , e move as portas de Clifford para o final do circuito. Nesse processo, ele transforma as rotações de tipo “ $R_Z$ ” em rotações do produto de Pauli e as medições de tipo “ $Z$ ” em medições do produto de Pauli.

A passagem suporta todas as portas Clifford na lista retornada por get_clifford_gate_names():

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

A lista de rotações $R_Z$ compatíveis é a seguinte:

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

Exemplo:

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)

Referências

[1] Litinski. Um jogo de códigos de superfície. Quantum 3, 128 (2019)

Parâmetros

fix_clifford – Se False (valor diferente do padrão), o circuito retornado contém apenas PauliEvolution portas, com as portas Clifford finais omitidas. Observe que, nesse caso, os operadores dos circuitos original e sintetizado geralmente não serão equivalentes.
insert_barrier – Se True e fix_clifford=True, insira uma barreira entre o circuito e os cliffords finais. Este argumento não tem efeito se fix_clifford=False.
use_ppr – Se for o caso True, use PauliProductRotationGate para representar as portas de rotação de Pauli. Isso é recomendado para melhorar o desempenho utilizando uma abordagem totalmente baseada em Rust. Se False ou None, use PauliEvolutionGate.

Atributos

is_analysis_pass

Verificar se o passe é um passe de análise.

Se a passagem for um AnalysisPass,, isso significa que a passagem pode analisar o DAG e escrever os resultados dessa análise no conjunto de propriedades. As modificações no DAG não são permitidas por esse tipo de passe.

is_transformation_pass

Verifique se o passe é um passe de transformação.

Se a passagem for um TransformationPass,, isso significa que a passagem pode manipular o DAG, mas não pode modificar o conjunto de propriedades (mas pode ser lido).

Métodos

execute

execute(passmanager_ir, state, callback=None)

GitHub

Executar a tarefa de otimização para a entrada Qiskit IR.

Parâmetros

passmanager_ir (Any) – Qiskit IR para otimizar.
state (PassManagerState) – Estado associado à execução do fluxo de trabalho pelo próprio gerenciador de passes.
callback (Callable | None) – Uma função de retorno de chamada que é chamada a cada execução da tarefa de otimização.