gjdZddlmZddlmZddlZddlmZddl m Z ddl m Z ddl mZ dddZdS)z Stabilizer to circuit function ) annotations) CollectionN) PauliList) QiskitError)QuantumCircuit)CliffordF stabilizersCollection[str]allow_redundantboolallow_underconstrainedinvertreturnrct|}tj|jdzrt dt ||t |krt d|j}t|}d}t|D]/\}} | t|d} |} | |kr&| | j s | | j rn | dz } | |k&| |kr| j rt d|d | d | jdkrt d|d | d | j r|st d|d | d | | j r| | j rj|| || || || || n|| t!|D]@} | | ks| | j s| | j s$| | j | | j dzz} | dkrA|| || | || | dkr|| | | d kr|| || || || || | || || B| |kr|| || t|d} | jdkr| ||dz }1||kr|st d|r|S|S)aHSynthesis of a circuit that generates a state stabilized by the stabilizers using Gaussian elimination with Clifford gates. If the stabilizers are underconstrained, and ``allow_underconstrained`` is ``True``, the circuit will output one of the states stabilized by the stabilizers. Based on stim implementation. Args: stabilizers: List of stabilizer strings allow_redundant: Allow redundant stabilizers (i.e., some stabilizers can be products of the others) allow_underconstrained: Allow underconstrained set of stabilizers (i.e., the stabilizers do not specify a unique state) invert: Return inverse circuit Returns: A circuit that generates a state stabilized by ``stabilizers``. Raises: QiskitError: if the stabilizers are invalid, do not commute, or contradict each other, if the list is underconstrained and ``allow_underconstrained`` is ``False``, or if the list is redundant and ``allow_redundant`` is ``False``. References: 1. https://github.com/quantumlib/Stim/blob/c0dd0b1c8125b2096cd54b6f72884a459e47fe3e/src/stim/stabilizers/conversions.inl#L469 2. https://quantumcomputing.stackexchange.com/questions/12721/how-to-calculate-destabilizer-group-of-toric-and-other-codes z&Some stabilizers have an invalid phasez Some stabilizers do not commute.rs)framez Stabilizer z (z6) anti-commutes with some of the previous stabilizers.z/) contradicts some of the previous stabilizers.z) is a product of the others and allow_redundant is False. Add allow_redundant=True to the function call if you want to allow redundant stabilizers.zStabilizers are underconstrained and allow_underconstrained is False. Add allow_underconstrained=True to the function call if you want to allow underconstrained stabilizers.)rnpanyphaserlencommutes_with_all num_qubitsr enumerateevolverxzhrrangecxswapinverse)r r r rstabilizer_listrcircuitusedi stabilizer curr_stabpivotjps d/granary/edev/quantum/lib/python3.11/site-packages/qiskit/synthesis/stabilizer/stabilizer_circuit.pysynth_circuit_from_stabilizersr/sD ,,O vo#a'((DBCCC ? , ,_ = =>>_AUAUUU<=== +JZ((G D"?33DD :%%hw&7&7s%CC j  ! Yu%5%7  QJEj  J  {   !0!00z000!##!8!88z888{    !W!WWzWWW  U   !! ! %    %    %    %    %     %   z""  AEzz)A,.zIaLNz! 1!!33AAvv %    5!$$$ %    a 1e$$$$a %    !  !  !  5!$$$ %    !  D== LL % % %%%hw&7&7s%CC ?a   IIdOOO   j!7 A    ??  )FFF) r r r r r r rr rr)__doc__ __future__rcollections.abcrnumpyrqiskit.quantum_inforqiskit.exceptionsrqiskit.circuitr1qiskit.quantum_info.operators.symplectic.cliffordrr/r0r.r:s#"""""&&&&&&))))))))))))))))))FFFFFF "#( zzzzzzzr0