2
$\begingroup$

I am writing to double check that if have a hamiltonian of the form $H = I_1 \otimes I_2$, when I seek to find the unitary, $e^{-i\gamma I_1 \otimes I_2}$, there really is no need to convert this into a circuit given that it's just measuring two non-interacting qubits (despite their tensor product)?

I ask this because what throws me off is the $\alpha$ factor which, in the case of $H = \frac{1}{2} (Z_1 \otimes Z_2)$ it becomes a $U \approx e^{-i\frac{\alpha}{2} Z_1 \otimes Z_2}$ which becomes the following circuit:

Circuit resulting from Trotter

Provided this circuit, one question I have is, do I need an Ansatz on top of this unitary, or is this unitary the ansatz I need to represent the Ising coupling?

Thank you.

$\endgroup$
1
  • $\begingroup$ This looks like you are trying to create a circuit for the Ising Hamiltonian with two lattice sites only correct? Is there a straight forward to generalize to $N$ sites? $\endgroup$
    – Marion
    Dec 29, 2021 at 21:48

2 Answers 2

2
$\begingroup$

When $H = I_1 \otimes I_2$, $e^{-i\gamma I_1 \otimes I_2} = I_1 \otimes I_2$. Therefore, you don't have to apply any gates.

Your CNOT RZ CNOT circuit represents the time evolution of Ising coupling. However, if you want to solve the Ising model problem by QAOA, you need "mixing term" like RX rotation. Rigetti grove's document is very good to understanding QAOA.

$\endgroup$
9
  • $\begingroup$ Hi. Thank you for your feedback. I am wondering, does that also apply if I am trying implement VQE using ansatz (this circuit) ? $\endgroup$ Feb 23, 2020 at 5:52
  • $\begingroup$ This circuit is not enough for VQE ansatz because it can rotate only Z axis. It means, it cannot flip the bits. QAOA ansatz is prefer for VQE for Ising model. $\endgroup$
    – gyu-don
    Feb 23, 2020 at 8:03
  • $\begingroup$ So if I want to use VQE I would have to have the ansatz first and then the circuit I showed above ? $\endgroup$ Feb 24, 2020 at 5:32
  • $\begingroup$ Yes. RX(θ) or RY(θ) gate for each qubit is enough. And you may repeat RX, CNOT RZ CNOT, RX, CNOT RZ CNOT, ... $\endgroup$
    – gyu-don
    Feb 25, 2020 at 10:16
  • 1
    $\begingroup$ Rigetti's document is good for beginners. grove-docs.readthedocs.io/en/latest/qaoa.html $\endgroup$
    – gyu-don
    Feb 26, 2020 at 8:28
2
$\begingroup$

Remember that we can expand $$ e^{i\gamma(Z\otimes Z)}=I\cos\gamma+i(Z\otimes Z)\sin(\gamma). $$ Let's call this $U$. If I calculate $$ U|+\rangle|+\rangle=\cos\gamma|+\rangle|+\rangle+i\sin\gamma|-\rangle|-\rangle. $$ For most vales of $\gamma$, this state is entangled (indeed, for $\gamma=\pi/4$, you essentially have a Bell state in the Hadamard basis). So your statement "given that it's just measuring two non-interacting qubits" is false. The qubits are interacting.

For a point of comparison, perhaps you are thinking of a Hamiltonian $H=\gamma(I\otimes Z+Z\otimes I)$, because in this case, you have $$ e^{iH}=e^{i\gamma Z}\otimes e^{i\gamma Z}, $$ which is maybe what you thought was happening above?

The circuit that you show is what you need for an Ising interaction between two qubits. I'm not sure what "Ansatz" you could be referring to?

$\endgroup$
5
  • $\begingroup$ Thanks for replying. To clarify, I stated in regards with the simple case, $I \otimes I$ , not for $Z \otimes Z$. As regard for the "ansatz", I think I might be using the wrong term. I am trying to find the lowest eigenvalue of a hamiltonian that I decomposed into a sum of Pauli products. One of them is this ZZ coupling. At first I applied SGD to the circuit above, but I do not think this is the right approach. $\endgroup$ Feb 24, 2020 at 17:20
  • $\begingroup$ Oh, I see. Then your $I\otimes I$ is trivial. It only adds a phase $e^{-i\gamma}$ to the overall state, and that is irrelevant because it's a global phase. $\endgroup$
    – DaftWullie
    Feb 25, 2020 at 15:34
  • $\begingroup$ Thank you! I am wondering: why cannot I use this circuit to find the lowest eigenvalue? $\endgroup$ Feb 25, 2020 at 16:26
  • $\begingroup$ Let $|\lambda_i\rangle$ be the eigenvectors of $H$. Any state $|\psi\rangle=\sum\alpha_i|\lambda_i\rangle$. Then, under the evolution, $e^{-iHt}|\psi\rangle=\sum_i\alpha_ie^{-i\lambda_it}|\lambda_i\rangle$: the weight in a given eigenvector never changes, so you cannot enhance the weight of the ground state. You probably need a combination of phase estimation and amplitude amplification to help produce the ground state. $\endgroup$
    – DaftWullie
    Feb 26, 2020 at 7:58
  • $\begingroup$ I see! Thank you! $\endgroup$ Feb 26, 2020 at 8:04

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.