Quantum Computing "Not" Operation - Mathematics Steps For Deriving It

Click For Summary
SUMMARY

The discussion focuses on the derivation of the quantum computing "NOT" operation, represented by the matrix $$ U_{Not} = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} $$, as explained in MIT's 8.04 lecture by Dr. Allan Adams. The transformation of this operation into an exponential form involving complex numbers is detailed, specifically $$ U_{Not} = -ie^{i\frac{\pi}{2} \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}} $$. The conversation highlights the series expansion of the exponential function and the relationship between sine and cosine functions in this context, leading to a clearer understanding of Schrödinger evolution in quantum mechanics.

PREREQUISITES
  • Understanding of quantum mechanics concepts, particularly unitary operations.
  • Familiarity with matrix representation in quantum computing.
  • Knowledge of complex numbers and their exponential forms.
  • Ability to perform Taylor series expansions for functions.
NEXT STEPS
  • Study the derivation of quantum gates, focusing on the "NOT" gate and its matrix representation.
  • Learn about the Taylor series expansion of exponential functions, particularly in the context of matrices.
  • Explore the relationship between trigonometric functions and complex exponentials, specifically Euler's formula.
  • Investigate Schrödinger's equation and its implications for quantum state evolution in magnetic fields.
USEFUL FOR

Quantum computing enthusiasts, physics students, and researchers interested in the mathematical foundations of quantum operations and their applications in quantum mechanics.

Sparky_
Messages
227
Reaction score
5
TL;DR
Math steps in deriving Quantum Computing Not Operation MIT 8.04
Hello,

I was watching a video lecture from MIT 8.04 (Allan Adams)– lecture #24 (around the 38 minute mark give or take)

The topic is quantum computing, Dr. Adams is deriving / explaining how to get various computing operations. For the “NOT” operation he explains that the operator

$$ U_{Not} = \begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix} \\
$$
Performs the not operation

Next (and to my question)

He states, “I can write this as
$$ U_{Not} = \begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix} \\ = -ie^{i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix}
}
$$
... I mean you can't stop me"

Next, he says, "expanding this out with the exponential we get 1 plus the thing and then all the other terms"

He writes:
$$ = -i(cos(\frac{\pi}{2}) \mathbb1 + isin(\frac{\pi}{2})
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix})
$$

His point is to get this where one can see Schrödinger evolution with a magnetic field..

My question is I cannot fill in the steps to go from the expansion of the exponential to his result

Is there a little hand-waving?

Just straight series expansion:
$$
-ie^{i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix}} = -i\sum_{n=0}^\infty \frac{i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix}^n
} {n!} = -i(1 +
i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix} + higher terms)
$$

He says this equals
$$
= -i(cos(\frac{\pi}{2}) \mathbb1 + isin(\frac{\pi}{2})
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix})
$$

Notes: The bold "1" is the unitary matrix - he wrote the result with the unit matrix and the other matrix outside of the cos and sin terms

Can you help clarify the step or steps I'm missing?

Is he simply throwing in a "0" for and a "1" with the cos and sin terms? If so, I don't quite see what he is showing?

Thanks
-Sparky_
 
Last edited by a moderator:
Physics news on Phys.org
Sparky_ said:
Just straight series expansion:
$$
-ie^{i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix}} = -i\sum_{n=0}^\infty \frac{i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix}^n
} {n!} = -i(1 +
i\frac{\pi}{2}
\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix} + higher terms)
$$

In order to see the patterns, you have to calculate a few more terms. What is
$$\begin{pmatrix}

0& 1 \\

1 &0 \end{pmatrix}^n$$
for ##n=2,3,4##?
 
  • Like
Likes   Reactions: Sparky_
Thank you so much!

Yep - I (now) see it after writing out a few more terms (and looking up the expansion for sin and cos), and squaring the matrix gives the unit matrix - so some terms have the original matrix while the others have the unit matrix

I see that "half" of the series gives sin and the other "half" gives the cos

I was expecting (assuming) a different path, meaning something like the higher terms not relevant and / or the Euler equation present itself .. (idiot)

Again - thank you for the help
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K