Replace a Toffoli gate with an equivalent circuit

Click For Summary
SUMMARY

The discussion focuses on the challenge of replacing a Toffoli gate with an equivalent quantum circuit. The user attempts to demonstrate the equivalence using the gate V, defined as V=(1-i)(I+iX)/2, and applies it to the state |111⟩. The calculations reveal discrepancies, particularly in the transformation of states, leading to confusion about the equivalence to |110⟩. The user also notes potential errors in the problem statement from the referenced paper "Elementary gates for quantum computation" (PhysRevA.52.3457), which describes the equivalent Toffoli gate.

PREREQUISITES
  • Understanding of quantum gates, specifically the Toffoli gate.
  • Familiarity with bra-ket notation and matrix representation of quantum states.
  • Knowledge of controlled gates, particularly CNOT and their operations.
  • Basic principles of quantum mechanics and linear algebra as applied to quantum computing.
NEXT STEPS
  • Study the properties and applications of the Toffoli gate in quantum circuits.
  • Learn about the implementation and equivalence of quantum gates using matrix representations.
  • Explore the significance of bra-ket notation in simplifying quantum calculations.
  • Review the paper "Elementary gates for quantum computation" (PhysRevA.52.3457) for deeper insights into quantum gate equivalences.
USEFUL FOR

Quantum computing researchers, students studying quantum mechanics, and practitioners looking to understand quantum gate equivalences and their applications in circuit design.

Peter_Newman
Messages
155
Reaction score
11
Hello,

I am currently working on this task here. Given is a Toffoli gate. Now it is stated that there is an equivalent quantum circuit. I tried to show the equivalence, for example by looking at case ##|111\rangle##.

246656


However, with what I have calculated so far, I do not come to the conclusion that the circuits are equivalent.
I have rewritten the term V first:

$$V=(1-i)\frac{I+iX}{2}=\begin{pmatrix}0.5-0.5i&0.5+0.5i\\0.5+0.5i&0.5-0.5i\end{pmatrix}$$
Now I just start with the case ##|111\rangle##. This should, because it comes to the equivalence dof the Toffoli gate at the end of ##|110\rangle## come out.

$$|111\rangle\xrightarrow{V} |11\rangle\begin{pmatrix}0.5-0.5i&0.5+0.5i\\0.5+0.5i&0.5-0.5i\end{pmatrix}\begin{pmatrix}0\\1\end{pmatrix}=|11\rangle\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}\xrightarrow{CNOT}|10\rangle\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}$$

$$\left(V^T\right)^{*}=\begin{pmatrix}0.5+0.5i&0.5-0.5i\\0.5-0.5i&0.5+0.5i\end{pmatrix}$$

$$|10\rangle\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}\xrightarrow{\left(V^T\right)^{*}} |10\rangle\begin{pmatrix}0.5+0.5i&0.5-0.5i\\0.5-0.5i&0.5+0.5i\end{pmatrix}\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}=|10\rangle|1\rangle$$

$$|10\rangle|1\rangle\xrightarrow{CNOT} |11\rangle|1\rangle\xrightarrow{V}|11\rangle\begin{pmatrix}0.5-0.5i&0.5+0.5i\\0.5+0.5i&0.5-0.5i\end{pmatrix}\begin{pmatrix}0\\1\end{pmatrix}=|11\rangle\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}\neq |110\rangle$$

It could be that I made a mistake in my calculation. What do you all mean?
 
Physics news on Phys.org
Peter_Newman said:
$$|10\rangle\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}\xrightarrow{\left(V^T\right)^{*}} |10\rangle\begin{pmatrix}0.5+0.5i&0.5-0.5i\\0.5-0.5i&0.5+0.5i\end{pmatrix}\begin{pmatrix}0.5+0.5i\\0.5-0.5i\end{pmatrix}=|10\rangle|1\rangle$$
In this step since the second qubit has a value of ##\left |0\right>##, the ##V^*## gate should not be applied according to your circuit diagram.
 
Last edited:
  • Like
Likes   Reactions: Peter_Newman
tnich said:
In this step since the second qubit has a value of ##\left |0\right>##, the ##V^*## gate should not be applied according to your circuit diagram .
By the way, it seems much easier to keep the bra-ket notation in this case rather than revert to matrices. For example, the first step becomes
$$|111\rangle\xrightarrow{V} |11\rangle\frac 1 2 (1-i)(I+iX)\left|1\right> = \frac 1 2 (1-i)|11\rangle(\left|1\right>+i\left|0\right>)$$
Also, I think there is an error in the problem statement. In paper that described this method, Elementary gates for quantum computation (PhysRevA.52.3457), the equivalent Toffoli gate is given as

246737

where in this case ##U=V^2=X##. Note that the last controlled(V) gate is controlled by a different bit than the first one.
 
Last edited:
  • Like
Likes   Reactions: Peter_Newman

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K