mqt.qudits.compiler.compilation_minitools.naive_unitary_verifier

Module Contents

mini_unitary_sim(circuit: QuantumCircuit, list_of_op: list[Gate]) → numpy.typing.NDArray[numpy.complex128]

mini_sim(circuit: QuantumCircuit) → numpy.typing.NDArray[numpy.complex128]

phy_sdit_sim(circuit: QuantumCircuit) → numpy.typing.NDArray[numpy.complex128]

class UnitaryVerifier(sequence: Sequence[Gate | R | Rz | VirtRz], target: Gate, dimensions: list[int], nodes: list[int] | None = None, initial_map: list[int] | None = None, final_map: list[int] | None = None)

Verifies unitary matrices.

sequence is a list of numpy arrays target is a numpy array dimensions is list of ints, equals to the dimensions of the qudits involved in the target operation initial_map is a list representing the mapping of the logic states to the physical ones at the beginning of the computation final_map is a list representing the mapping of the logic states to the physical ones at the end of the computation.

decomposition

target

dimension

permutation_matrix_initial: numpy.typing.NDArray[int_] | None = None

permutation_matrix_final: numpy.typing.NDArray[int_] | None = None

get_perm_matrix(nodes: list[int], mapping: list[int]) → numpy.typing.NDArray[int_]

verify() → bool