g"dZddlmZddlZddlZddlmZddlm Z ddl m Z ddl m Z ddlmZdd lmZdd lmZdd lmZd d lmZdZGddeZdS)z;Uniformly controlled gates (also called multiplexed gates).) annotationsN)Gate)HGate)is_unitary_matrix)QuantumRegister)QuantumCircuit) CircuitError) QiskitError)uc_gate)Diagonalg|=cheZdZdZddfd Zddfd Zd Zd ZdZdZ e dZ dZ xZ S)UCGateaUniformly controlled gate (also called multiplexed gate). These gates can have several control qubits and a single target qubit. If the k control qubits are in the state :math:`|i\rangle` (in the computational basis), a single-qubit unitary :math:`U_i` is applied to the target qubit. This gate is represented by a block-diagonal matrix, where each block is a :math:`2\times 2` unitary, that is .. math:: \begin{pmatrix} U_0 & 0 & \cdots & 0 \\ 0 & U_1 & \cdots & 0 \\ \vdots & & \ddots & \vdots \\ 0 & 0 & \cdots & U_{2^{k-1}} \end{pmatrix}. The decomposition is based on Ref. [1]. **References:** [1] Bergholm et al., Quantum circuits with uniformly controlled one-qubit gates (2005). `Phys. Rev. A 71, 052330 `__. F gate_listlist[np.ndarray]up_to_diagonalboolc t|tstd|D]}|jdkstd|stdt jt |}|dks|std|D]&}t|tstd't dt|d z|||_ d S) a} Args: gate_list: List of two qubit unitaries :math:`[U_0, ..., U_{2^{k-1}}]`, where each single-qubit unitary :math:`U_i` is given as a :math:`2 \times 2` numpy array. up_to_diagonal: Determines if the gate is implemented up to a diagonal. or if it is decomposed completely (default: False). If the ``UCGate`` :math:`U` is decomposed up to a diagonal :math:`D`, this means that the circuit implements a unitary :math:`U'` such that :math:`D U' = U`. Raises: QiskitError: in case of bad input to the constructor z6The single-qubit unitaries are not provided in a list.)rz9The dimension of a controlled gate is not equal to (2,2).zThe gate list cannot be empty.rzMThe number of controlled single-qubit gates is not a non-negative power of 2.z!A controlled gate is not unitary. multiplexerr N) isinstancelistr shapemathlog2len is_integerr_EPSsuper__init__intr)selfrrgate num_contr __class__s a/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/library/generalized_gates/uc.pyr zUCGate.__init__Fs()T** XVWW W _ _D:''!"]^^^( @>?? ?Ic)nn-- q== 4 4 6 6=_   G GD$T400 G!"EFFF G I(:IFFF, annotatedreturnrc|st|jdz|jg}t|jj}t |jD]D}|| |j |E|jj |_ ||_n"t |}|S)zReturn the inverse. This does not re-compute the decomposition for the multiplexer with the inverse of the gates but simply inverts the existing decomposition. _dg)name num_qubitsparams)r() operation)rr,r-r definitionqregsreversed _definition_appendreplacer/inverse global_phaser)r"r( inverse_gater0instr%s r&r6zUCGate.inversels  @Y&4?2L()>?J !122  ""LL4>+A+AI+A+V+VLWW(,'C&CJ #&0L # # 77??Y???Lr'c4|\}}|SN)_dec_ucg)r"_diags r& _get_diagonalzUCGate._get_diagonals --//4 r'cB|\}}||_dSr;)r<r0)r" ucg_circuitr=s r&_definezUCGate._defines Q%r'c tjd|jz}t |jd}|dd}|d}t |d}|s&||jd|g||fS|\}}t|D]\}}|dkr5t |} n|t|dz krl| ttjdz  t } nt | ttjdz  t } || |gtj|dz} t| t| dz } | } |t|dz ks9||| ||xjd tjzzc_|js%t-|} || |||fS) z Call to create a circuit that implements the uniformly controlled gate. If up_to_diagonal=True, the circuit implements the gate up to a diagonal gate and the diagonal gate is also returned. rqr Nruc)r,0g?)nponesr-tolistrrunitaryr. _dec_ucg_help enumerater to_matrixdotrr_rzpi binary_reprrstripcxr7rr append)r"r>rD q_controlsq_targetcircuitsingle_qubit_gatesir#squ binary_repnum_trailing_zeros q_contr_indexdiagonals r&r<zUCGate._dec_ucgs wq$/)**1133 DOS 1 1qrrU Q4 ... ! OODKNQC 0 0 0D= &*%7%7%9%9" T!!344 5 5GAtAvvgg''))--d33c,--111hhvzz"%!)445599%'':K:K:M:MNNGGY[[S&**RUQY"7"78899S**,,--  OOC( , , ,A..J!$Z3z7H7H7M7M3N3N!N .M.//!333 :m4h???$$ru 4$$" ( ~~H NN8Q ' ' '}r'cXd|jD}tj||jS)z This method finds the single qubit gate arising in the decomposition of UCGates given in https://arxiv.org/pdf/quant-ph/0410066.pdf. cBg|]}|tS)astypecomplex).0r#s r& z(UCGate._dec_ucg_help..s$KKKtdkk'22KKKr')r.r dec_ucg_helpr-)r"rXs r&rKzUCGate._dec_ucg_helps1 LKt{KKK#$6HHHr'ctjtjd|zdz dgdtjd|zdz ggS)Ny?rry)rGarrayexp)alphas r&rOz UCGate._rzsEx"&ea00!4q"&uq:Q:Q6RSTTTr'ct|tjr|Stdt |d|j)z9Uniformly controlled gate parameter has to be an ndarray.zinvalid param type z in gate )rrGndarrayr typer,)r" parameters r&validate_parameterzUCGate.validate_parametersD i , , \ ZT)__ZZtyZZ[[ [r')F)rrrr)r(rr)r)__name__ __module__ __qualname____doc__r r6r?rBr<rK staticmethodrOro __classcell__)r%s@r&rr*s6$-$-$-$-$-$-$-L0&&&222hIIIUU\U\\\\\\\r'r)rs __future__rrnumpyrGqiskit.circuit.gater'qiskit.circuit.library.standard_gates.hr(qiskit.quantum_info.operators.predicatesrqiskit.circuit.quantumregisterrqiskit.circuit.quantumcircuitrqiskit.circuit.exceptionsr qiskit.exceptionsr qiskit._accelerater r^r rrrar'r&rs$(BA"""""" $$$$$$999999FFFFFF::::::888888222222))))))&&&&&& k\k\k\k\k\Tk\k\k\k\k\r'