z i SrSSKJr SSKrSSKJrJr SSKJr SSK J r J r SSK Jr SSKJr SS KJr \R)S S S S S S S .5r"SS\5rg)zHCancel the redundant (self-adjoint) gates through commutation relations.) annotationsN)GateQubit)SessionCommutationChecker) PauliGateZGate) DAGCircuit)TransformationPass)calc_final_opsXYZ)+-lr01cd^\rSrSrSrSS U4Sjjjr\S Sj5rS SjrS Sjr Sr U=r $) LightConezRemove the gates that do not affect the outcome of a measurement on a circuit. Pass for computing the light-cone of an observable or measurement. The Pass can handle either an observable one would like to measure or a measurement on a set of qubits. cD>[TU]5 1SknSUlUb}U(d [S5e[ U5R U5(d[SUS35e[ U5[ U5:wa [S5eUR[5UlX l g)a] Args: bit_terms: If ``None`` the light-cone will be computed for the set of measurements in the circuit. If a string is specified, the light-cone will correspond to the reduced circuit with the same expectation value for the observable. indices: list of non-trivial indices corresponding to the observable in ``bit_terms``. > rrrrr r rrrNz7`indices` must be non-empty when providing `bit_terms`.z.`bit_terms` should contain only characters in .z1`bit_terms` must be the same length as `indices`.) super__init__ bit_terms ValueErrorsetissubsetlen translatetranslation_tableindices)selfrr#valid_characters __class__s j/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/transpiler/passes/optimization/light_cone.pyrLightCone.__init__!s H   !Z[[y>**+;<< DEUDVVWX9~W- !TUU&001BCDN cv[US15n[5nUHnU[UR5-nM U$)Nmeasure)r rqargs)dag final_nodesqubits_measurednodes r'_find_measurement_qubits"LightCone._find_measurement_qubits8s9$S9+6 %D s4:: .O r)cURU5nURcUVs/sHn[5U/4PM nnO[UR5[ UR 5S-:a [S5eU(a [S5eUR Vs/sHoQRUPM nn[UR5U4/n[U5U4$s snfs snf)zReturns the initial light-cone. If observable is `None`, the light-cone is the set of measured qubits. If a `bit_terms` is provided, the qubits corresponding to the non-trivial Paulis define the light-cone. z2`indices` contains values outside the qubit range.znThe circuit contains measurements and an observable has been given: remove the observable or the measurements.) r1rrr qubitsmaxr#rrr)r$r-lightcone_qubits qubit_indexlightcone_operationsis r'_get_initial_lightcone LightCone._get_initial_lightcone@s 88= >> !P`#aP`UW{m$@P$Q#R #$&:::$b Es CCc URU5up#UR5n[[UR 555GH;nUR UR 5(dM&SnUHn[[US5[UR 55nUS:a[R"SUS3[S9 [R"USUS/URUR /US9n U (aMURUR 5 UR!URUR 45 S n O U(aGM UR#URUR UR$5 GM> U$) zRun the LightCone pass on `dag`. Args: dag: The DAG to reduce. Returns: The DAG reduced to the light-cone of the observable. Tr4 z;LightCone pass is checking commutation ofoperators of size z.This operation can be slow.)categoryr)max_num_qubitsF)r;copy_empty_likereversedlisttopological_op_nodes intersectionr,r6r warningswarnRuntimeWarningscccommuteopupdateappendapply_operation_frontcargs) r$r-r7r9new_dagr0 commutes_boolrKr@ commute_bools r'run LightCone.runZsN261L1LS1Q.%%'T#":":"<=>D,,TZZ88 $ .B%(RUS_%EN%* 11?0@A::&4  $';;1r!ub$''4::rR`$L(<(// ;,33TWWdjj4IJ(- #/*%}11$''4::tzzR7?8r))rr#)NN)rz str | Noner#zlist[int] | NonereturnNone)r-r rUz set[Qubit])r-r rUz1tuple[set[Qubit], list[tuple[Gate, list[Qubit]]]])r-r rUr ) __name__ __module__ __qualname____firstlineno____doc__r staticmethodr1r;rS__static_attributes__ __classcell__)r&s@r'rrsE .;; :;4--r)r)r[ __future__rrFqiskit.circuitrr"qiskit.circuit.commutation_libraryrrIqiskit.circuit.libraryrrqiskit.dagcircuitr qiskit.transpiler.basepassesr 8qiskit.transpiler.passes.utils.remove_final_measurementsr str maketransr"rr)r'risPO"&O3(;SMM#CcPSZ]"^_m"mr)