g#"dZddlmZddlmZmZddlZddlmZm Z m Z ddl m Z ddl mZmZddlmZejgd gd gd gd gZeeGd deZeedGdde ZdS)z Swap gate.) annotations)OptionalUnionN) SingletonGateSingletonControlledGatestdlib_singleton_key)QuantumRegister)with_gate_arraywith_controlled_gate_array) StandardGate)rrr)rrr r)rr rr)rrrr c|eZdZdZejZdddddfdZeZ dZ ddfd Z dddZ dZ xZS)SwapGateuThe SWAP gate. This is a symmetric and Clifford gate. Can be applied to a :class:`~qiskit.circuit.QuantumCircuit` with the :meth:`~qiskit.circuit.QuantumCircuit.swap` method. **Circuit symbol:** .. code-block:: text q_0: ─X─ │ q_1: ─X─ **Matrix Representation:** .. math:: SWAP = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix} The gate is equivalent to a state swap and is a classical logic gate. .. math:: |a, b\rangle \rightarrow |b, a\rangle Ndt)durationunitlabel Optional[str]cVtddg|||dS)zCreate new SWAP gate.swap)rrrN)super__init__)selfrrr __class__s `/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/library/standard_gates/swap.pyrzSwapGate.__init__Bs. BehTRRRRRcPddlm}ddlm}t dd}|||j}||d|dggf||d|dggf||d|dggfg}|D]\}}}||||||_dS) z; gate swap a,b { cx a,b; cx b,a; cx a,b; } rQuantumCircuitr )CXGaterqnameN)qiskit.circuit.quantumcircuitr xr!r r$_append definition) rr r!r"qcrulesinstrqargscargss r_definezSwapGate._defineHs A@@@@@ As # # ^ADI . . . VXX!ad|R ( VXX!ad|R ( VXX!ad|R (  $) , , E5% JJueU + + + +rr num_ctrl_qubitsint str | None ctrl_statestr | int | None annotated bool | Nonec|s|dkrt|||j}n%t||||}|S)amReturn a (multi-)controlled-SWAP gate. One control returns a CSWAP (Fredkin) gate. Args: num_ctrl_qubits: number of control qubits. label: An optional label for the gate [Default: ``None``] ctrl_state: control state expressed as integer, string (e.g.``'110'``), or ``None``. If ``None``, use all 1s. annotated: indicates whether the controlled gate should be implemented as an annotated gate. If ``None``, this is handled as ``False``. Returns: ControlledGate: controlled version of this gate. r )rr2 _base_label)r/rr2r4) CSwapGaterrcontrol)rr/rr2r4gaters rr9zSwapGate.control\s^, _115ZTZXXXDD77?? /%# #D  rFboolctS)aReturn inverse Swap gate (itself). Args: annotated: when set to ``True``, this is typically used to return an :class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete :class:`.Gate`. However, for this class this argument is ignored as this gate is self-inverse. Returns: SwapGate: inverse gate (self-inverse). )rrr4s rinversezSwapGate.inverse}szzrc,t|tSN) isinstancerrothers r__eq__zSwapGate.__eq__s%***rr@)rr)r NNN)r/r0rr1r2r3r4r5Fr4r;)__name__ __module__ __qualname____doc__r r_standard_gaterr_singleton_lookup_keyr.r9r>rD __classcell__rs@rrrs  D"*NS4SSSSSSSS1022, ! '+!% B     +++++++rrr r/cpeZdZdZejZ ddddddfd Zed Z d Z dddZ dZ xZ S)r8u Controlled-SWAP gate, also known as the Fredkin gate. Can be applied to a :class:`~qiskit.circuit.QuantumCircuit` with the :meth:`~qiskit.circuit.QuantumCircuit.cswap` and :meth:`~qiskit.circuit.QuantumCircuit.fredkin` methods. **Circuit symbol:** .. code-block:: text q_0: ─■─ │ q_1: ─X─ │ q_2: ─X─ **Matrix representation:** .. math:: CSWAP\ q_0, q_1, q_2 = I \otimes I \otimes |0 \rangle \langle 0| + SWAP \otimes |1 \rangle \langle 1| = \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ \end{pmatrix} .. note:: In Qiskit's convention, higher qubit indices are more significant (little endian convention). In many textbooks, controlled gates are presented with the assumption of more significant qubits as control, which in our case would be q_2. Thus a textbook matrix for this gate will be: .. code-block:: text q_0: ─X─ │ q_1: ─X─ │ q_2: ─■─ .. math:: CSWAP\ q_2, q_1, q_0 = |0 \rangle \langle 0| \otimes I \otimes I + |1 \rangle \langle 1| \otimes SWAP = \begin{pmatrix} 1 & 0 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 \\ \end{pmatrix} In the computational basis, this gate swaps the states of the two target qubits if the control qubit is in the :math:`|1\rangle` state. .. math:: |0, b, c\rangle \rightarrow |0, b, c\rangle |1, b, c\rangle \rightarrow |1, c, b\rangle Nr)rrr7rrr2Optional[Union[str, int]]c |d}tddgd||t||| dS)zCreate new CSWAP gate.Nrcswapr )r)r/rr2 base_gaterr)rrr)rrr2rrr7rs rrzCSwapGate.__init__s` <D   ![111  rr rOcbddlm}ddlm}m}t dd}|||j}||d|dggf||d|d|dggf||d|dggfg}|D]\}}} |||| ||_d S) ze gate cswap a,b,c { cx c,b; ccx a,b,c; cx c,b; } rrr )r!CCXGaterTr"r#rN) r%r r&r!rWr r$r'r() rr r!rWr"r)r*r+r,r-s rr.zCSwapGate._defines A@@@@@&&&&&&&& As # # ^ADI . . . VXX!ad|R ( WYY1qtQqT*B / VXX!ad|R (  $) , , E5% JJueU + + + +rFr4r;c,t|jS)aReturn inverse CSwap gate (itself). Args: annotated: when set to ``True``, this is typically used to return an :class:`.AnnotatedOperation` with an inverse modifier set instead of a concrete :class:`.Gate`. However, for this class this argument is ignored as this gate is self-inverse. Returns: CSwapGate: inverse gate (self-inverse). )r2)r8r2r=s rr>zCSwapGate.inversesDO4444rcLt|to|j|jkSr@)rAr8r2rBs rrDzCSwapGate.__eq__s!%++S5CS0SSr)NN)rrr2rQrErF)rGrHrIrJr r8rKrrrLr.r>rDrMrNs@rr8r8sJJX"+N $04          010CCC0 5 5 5 5 5TTTTTTTrr8)rJ __future__rtypingrrnumpyqiskit.circuit.singletonrrrqiskit.circuit.quantumregisterr qiskit.circuit._utilsr r qiskit._accelerate.circuitr array _SWAP_ARRAYrr8rrrdsv"""""""""""""" aaaaaaaaaa::::::MMMMMMMM333333ek<<<|||\\\RSS o+o+o+o+o+}o+o+o+dK;;;PTPTPTPTPT'PTPT<;PTPTPTr