§
    ¹³ÙgZ+  ã                  óª   — d Z ddlmZ ddlmZ ddlmZmZ ddlm	Z	 ddl
mZ ddlmZ ddlmZmZ dd	lmZ  G d
„ de	¦  «        Z G d„ de¦  «        ZdS )zRotation around the Z axis.é    )Úannotations)Úexp)ÚOptionalÚUnion)ÚGate)ÚControlledGate)ÚQuantumRegister)ÚParameterValueTypeÚParameterExpression)ÚStandardGatec                  ó|   ‡ — e Zd ZdZej        Z	 ddddœdˆ fd	„Zd
„ Z	 	 	 	 ddˆ fd„Z	d d!d„Z
d"d„Zd d#d„Zd„ Zˆ xZS )$ÚRZGateu  Single-qubit rotation about the Z axis.

    This is a diagonal gate. It can be implemented virtually in hardware
    via framechanges (i.e. at zero error and duration).

    Can be applied to a :class:`~qiskit.circuit.QuantumCircuit`
    with the :meth:`~qiskit.circuit.QuantumCircuit.rz` method.

    **Circuit symbol:**

    .. code-block:: text

             â”Œâ”€â”€â”€â”€â”€â”€â”€â”�
        q_0: â”¤ Rz(Ï†) â”œ
             â””â”€â”€â”€â”€â”€â”€â”€â”˜

    **Matrix Representation:**

    .. math::

        RZ(\phi) = \exp\left(-i\frac{\phi}{2}Z\right) =
            \begin{pmatrix}
                e^{-i\frac{\phi}{2}} & 0 \\
                0 & e^{i\frac{\phi}{2}}
            \end{pmatrix}

    .. seealso::

        :class:`~qiskit.circuit.library.standard_gates.U1Gate`
        This gate is equivalent to U1 up to a phase factor.

            .. math::

                U1(\theta=\phi) = e^{i{\phi}/2}RZ(\phi)

        Reference for virtual Z gate implementation:
        `1612.00858 <https://arxiv.org/abs/1612.00858>`_
    NÚdt)ÚdurationÚunitÚphir
   ÚlabelúOptional[str]c               óX   •— t          ¦   «                              dd|g|||¬¦  «         dS )zCreate new RZ gate.Úrzé   )r   r   r   N)ÚsuperÚ__init__)Úselfr   r   r   r   Ú	__class__s        €ú^/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/library/standard_gates/rz.pyr   zRZGate.__init__D   s2   ø€ õ 	‰Œ×Ò˜˜q 3 %¨u¸xÈdÐÑSÔSÐSÐSÐSó    c                ó   — ddl m} ddlm} t	          dd¦  «        }| j        d         } ||| j        | dz  ¬¦  «        } ||¦  «        |d         gg fg}|D ]\  }}}	|                     |||	¦  «         Œ|| _        dS )	z/
        gate rz(phi) a { u1(phi) a; }
        r   ©ÚQuantumCircuitr   )ÚU1GateÚqé   )ÚnameÚglobal_phaseN)	Úqiskit.circuit.quantumcircuitr    Úu1r!   r	   Úparamsr$   Ú_appendÚ
definition)
r   r    r!   r"   ÚthetaÚqcÚrulesÚinstrÚqargsÚcargss
             r   Ú_definezRZGate._defineJ   s¸   € ð
 	AÐ@Ð@Ð@Ð@Ð@ØÐÐÐÐÐå˜A˜sÑ#Ô#ˆØ”˜A”ˆØˆ^˜A D¤I¸U¸FÀQ¹JÐGÑGÔGˆØ�&˜‘-”- ! A¤$ ¨Ð,Ð-ˆØ#(ð 	,ð 	,ÑˆE�5˜%Ø�JŠJ�u˜e UÑ+Ô+Ð+Ð+àˆŒˆˆr   r   Únum_ctrl_qubitsÚintú
str | NoneÚ
ctrl_stateústr | int | NoneÚ	annotatedúbool | Nonec                ó   •— |s5|dk    r/t          | j        d         ||¬¦  «        }| j        |j        _        nE|€t	          d„ | j        D ¦   «         ¦  «        }t          ¦   «                              ||||¬¦  «        }|S )aä  Return a (multi-)controlled-RZ 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 set to ``True`` if
                the gate contains free parameters and more than one control qubit, in which
                case it cannot yet be synthesized. Otherwise it is set to ``False``.

        Returns:
            ControlledGate: controlled version of this gate.
        r   r   )r   r5   Nc              3  ó@   K  — | ]}t          |t          ¦  «        V — Œd S ©N)Ú
isinstancer   )Ú.0Úps     r   ú	<genexpr>z!RZGate.control.<locals>.<genexpr>y   s-   è è € ÐXÐXÀq¥
¨1Õ.AÑ BÔ BÐXÐXÐXÐXÐXÐXr   )r2   r   r5   r7   )ÚCRZGater(   r   Ú	base_gateÚanyr   Úcontrol)r   r2   r   r5   r7   Úgater   s         €r   rC   zRZGate.control[   s•   ø€ ð. ð 	˜_°Ò1Ð1Ý˜4œ; qœ>°À:ÐNÑNÔNˆDØ#'¤:ˆDŒNÔ Ð ð Ð ÝÐXÐXÈDÌKÐXÑXÔXÑXÔX�	å‘7”7—?’?Ø /ØØ%Ø#ð	 #ñ ô ˆDð ˆr   FÚboolc                ó8   — t          | j        d          ¦  «        S )a  Return inverted RZ gate

        :math:`RZ(\lambda)^{\dagger} = RZ(-\lambda)`

        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 the inverse
                of this gate is always a :class:`.RZGate` with an inverted parameter value.

        Returns:
            RZGate: inverse gate.
        r   )r   r(   ©r   r7   s     r   ÚinversezRZGate.inverseƒ   s   € õ �t”{ 1”~�oÑ&Ô&Ð&r   c                óÚ   — ddl }|du rt          d¦  «        ‚dt          | j        d         ¦  «        z  }|                     t          | ¦  «        dgdt          |¦  «        gg|¬¦  «        S )z%Return a numpy.array for the RZ gate.r   NFú9unable to avoid copy while creating an array as requestedy              à?©Údtype)ÚnumpyÚ
ValueErrorÚfloatr(   Úarrayr   )r   rL   ÚcopyÚnpÚilam2s        r   Ú	__array__zRZGate.__array__“   sp   € àÐÐÐà�5ˆ=ˆ=ÝÐXÑYÔYÐYØ•u˜Tœ[¨œ^Ñ,Ô,Ñ,ˆØ�xŠx�#˜u˜f™+œ+ qÐ)¨A­s°5©z¬z¨?Ð;À5ˆxÑIÔIÐIr   ÚexponentrO   c                ó8   — | j         \  }t          ||z  ¦  «        S r;   )r(   r   )r   rU   r7   r+   s       r   ÚpowerzRZGate.powerœ   s   € Ø”;‰ˆÝ�h Ñ&Ñ'Ô'Ð'r   c                óZ   — t          |t          ¦  «        r|                      |¦  «        S dS ©NF)r<   r   Ú_compare_parameters©r   Úothers     r   Ú__eq__zRZGate.__eq__    s-   € Ý�e�VÑ$Ô$ð 	3Ø×+Ò+¨EÑ2Ô2Ð2Øˆur   r;   )r   r
   r   r   )r   NNN)r2   r3   r   r4   r5   r6   r7   r8   ©F©r7   rE   ©NN)rU   rO   r7   rE   )Ú__name__Ú
__module__Ú__qualname__Ú__doc__r   r   Ú_standard_gater   r1   rC   rH   rT   rW   r]   Ú__classcell__©r   s   @r   r   r      s  ø€ € € € € ð%ð %ðN "Ô(€Nð ?CðTØPTÐ[_ðTð Tð Tð Tð Tð Tð Tð Tðð ð ð&  !Ø Ø'+Ø!%ð&ð &ð &ð &ð &ð &ð &ðP'ð 'ð 'ð 'ð 'ð Jð Jð Jð Jð(ð (ð (ð (ð (ðð ð ð ð ð ð r   r   c                  ó`   ‡ — e Zd ZdZej        Z	 	 dddddœdˆ fd„Zd„ Zddd„Z	dd„Z
d„ Zˆ xZS )r@   u  Controlled-RZ gate.

    This is a diagonal but non-symmetric gate that induces a
    phase on the state of the target qubit, depending on the control state.

    Can be applied to a :class:`~qiskit.circuit.QuantumCircuit`
    with the :meth:`~qiskit.circuit.QuantumCircuit.crz` method.

    **Circuit symbol:**

    .. code-block:: text

        q_0: â”€â”€â”€â”€â– â”€â”€â”€â”€
             â”Œâ”€â”€â”€â”´â”€â”€â”€â”�
        q_1: â”¤ Rz(Î¸) â”œ
             â””â”€â”€â”€â”€â”€â”€â”€â”˜

    **Matrix representation:**

    .. math::

        CRZ(\theta)\ q_0, q_1 =
            I \otimes |0\rangle\langle 0| + RZ(\phi=\theta) \otimes |1\rangle\langle 1| =
            \begin{pmatrix}
                1 & 0 & 0 & 0 \\
                0 & e^{-i\frac{\theta}{2}} & 0 & 0 \\
                0 & 0 & 1 & 0 \\
                0 & 0 & 0 & e^{i\frac{\theta}{2}}
            \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_1. Thus a textbook matrix for this
        gate will be:

        .. code-block:: text

                 â”Œâ”€â”€â”€â”€â”€â”€â”€â”�
            q_0: â”¤ Rz(Î¸) â”œ
                 â””â”€â”€â”€â”¬â”€â”€â”€â”˜
            q_1: â”€â”€â”€â”€â– â”€â”€â”€â”€

        .. math::

            CRZ(\theta)\ q_1, q_0 =
                |0\rangle\langle 0| \otimes I + |1\rangle\langle 1| \otimes RZ(\theta) =
                \begin{pmatrix}
                    1 & 0 & 0 & 0 \\
                    0 & 1 & 0 & 0 \\
                    0 & 0 & e^{-i\frac{\theta}{2}} & 0 \\
                    0 & 0 & 0 & e^{i\frac{\theta}{2}}
                \end{pmatrix}

    .. seealso::

        :class:`~qiskit.circuit.library.standard_gates.CU1Gate`:
        Due to the global phase difference in the matrix definitions
        of U1 and RZ, CU1 and CRZ are different gates with a relative
        phase difference.
    Nr   )r   r   Ú_base_labelr+   r
   r   r   r5   úOptional[Union[str, int]]c               ó|   •— t          ¦   «                              dd|gd||t          ||¬¦  «        ||¬¦	  «	         dS )zCreate new CRZ gate.Úcrzr#   r   )r   )r2   r   r5   rA   r   r   N)r   r   r   )r   r+   r   r5   r   r   ri   r   s          €r   r   zCRZGate.__init__é   sZ   ø€ õ 	‰Œ×ÒØØØˆGØØØ!Ý˜U¨+Ð6Ñ6Ô6ØØð 	ñ 
	
ô 
	
ð 
	
ð 
	
ð 
	
r   c                ó¶  — ddl m} ddlm} t	          dd¦  «        } ||| j        ¬¦  «        }t          | j        d         dz  ¦  «        |d         gg f |¦   «         |d         |d         gg ft          | j        d          dz  ¦  «        |d         gg f |¦   «         |d         |d         gg fg}|D ]\  }}}|                     |||¦  «         Œ|| _	        dS )	zu
        gate crz(lambda) a,b
        { rz(lambda/2) b; cx a,b;
          rz(-lambda/2) b; cx a,b;
        }
        r   r   r   )ÚCXGater#   r"   )r$   N)
r&   r    Úxrn   r	   r$   r   r(   r)   r*   )	r   r    rn   r"   r,   r-   r.   r/   r0   s	            r   r1   zCRZGate._define   s  € ð 	AÐ@Ð@Ð@Ð@Ð@ØÐÐÐÐÐõ ˜A˜sÑ#Ô#ˆØˆ^˜A D¤IÐ.Ñ.Ô.ˆå�D”K ”N QÑ&Ñ'Ô'¨!¨A¬$¨°Ð4ØˆV‰XŒX˜˜!œ˜a œd�| RÐ(Ý�T”[ ”^�O aÑ'Ñ(Ô(¨1¨Q¬4¨&°"Ð5ØˆV‰XŒX˜˜!œ˜a œd�| RÐ(ð	
ˆð $)ð 	,ð 	,ÑˆE�5˜%Ø�JŠJ�u˜e UÑ+Ô+Ð+Ð+àˆŒˆˆr   Fr7   rE   c                óF   — t          | j        d          | j        ¬¦  «        S )aü  Return inverse CRZ gate (i.e. with the negative rotation angle).

        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 the inverse
                of this gate is always a :class:`.CRZGate` with an inverted parameter value.

         Returns:
            CRZGate: inverse gate.
        r   )r5   )r@   r(   r5   rG   s     r   rH   zCRZGate.inverse  s!   € õ ˜œ Aœ�°4´?ÐCÑCÔCÐCr   c                ó†  — ddl }|du rt          d¦  «        ‚dt          | j        d         ¦  «        z  dz  }| j        rB|                     g d¢dt          | ¦  «        ddgg d¢dddt          |¦  «        gg|¬	¦  «        S |                     t          | ¦  «        dddgg d
¢ddt          |¦  «        dgg d¢g|¬	¦  «        S )z&Return a numpy.array for the CRZ gate.r   NFrJ   y              ð?r#   )r   r   r   r   )r   r   r   r   rK   )r   r   r   r   )r   r   r   r   )rM   rN   rO   r(   r5   rP   r   )r   rL   rQ   rM   Úargs        r   rT   zCRZGate.__array__*  sñ   € àˆˆˆà�5ˆ=ˆ=ÝÐXÑYÔYÐYØ•5˜œ QœÑ(Ô(Ñ(¨1Ñ,ˆØŒ?ð 		Ø—;’;Ø�� ¥3¨ t¡9¤9¨a°Ð3°\°\°\ÀAÀqÈ!ÍSÐQTÉXÌXÐCVÐWØð ñ ô ð ð
 —;’;Ý�s�d‘)”)˜Q  1Ð% | | |°a¸½CÀ¹H¼HÀaÐ5HÈ,È,È,ÐWØð ñ ô ð r   c                óz   — t          |t          ¦  «        r%|                      |¦  «        o| j        |j        k    S dS rY   )r<   r@   rZ   r5   r[   s     r   r]   zCRZGate.__eq__<  s=   € Ý�e�WÑ%Ô%ð 	[Ø×+Ò+¨EÑ2Ô2ÐZ°t´È%ÔJZÒ7ZÐZØˆur   r`   )r+   r
   r   r   r5   rj   r^   r_   )ra   rb   rc   rd   r   r@   re   r   r1   rH   rT   r]   rf   rg   s   @r   r@   r@   ¦   sÄ   ø€ € € € € ð>ð >ð@ "Ô)€Nð
  $Ø04ð	
ð ØØð
ð 
ð 
ð 
ð 
ð 
ð 
ð 
ð.ð ð ð8Dð Dð Dð Dð Dðð ð ð ð$ð ð ð ð ð ð r   r@   N)rd   Ú
__future__r   Úcmathr   Útypingr   r   Úqiskit.circuit.gater   Úqiskit.circuit.controlledgater   Úqiskit.circuit.quantumregisterr	   Ú"qiskit.circuit.parameterexpressionr
   r   Úqiskit._accelerate.circuitr   r   r@   © r   r   ú<module>r}      s  ðð "Ð !à "Ð "Ð "Ð "Ð "Ð "à Ð Ð Ð Ð Ð Ø "Ð "Ð "Ð "Ð "Ð "Ð "Ð "Ø $Ð $Ð $Ð $Ð $Ð $Ø 8Ð 8Ð 8Ð 8Ð 8Ð 8Ø :Ð :Ð :Ð :Ð :Ð :Ø VÐ VÐ VÐ VÐ VÐ VÐ VÐ VØ 3Ð 3Ð 3Ð 3Ð 3Ð 3ðIð Ið Ið Ið IˆTñ Iô Ið IðXYð Yð Yð Yð Yˆnñ Yô Yð Yð Yð Yr   