In this post, I wanted to share some of the progress I made on Exercise 11.165 of the book Quantum Computing: An Applied Approach, which in my copy is on page 244, Chapter 11 section 4. This question comes up when you’re working through a section on matrices, and draws on earlier knowledge developed in the previous section. I needed additional resources and help to get through this problem, so this post is meant to share what I learned for anyone else who might be having trouble with it.

This post and my work on this problem are in no way affiliated with the official book, the author, or the publishers. Also, please do not use this to cheat on your homework. I am primarily posting this for other individuals learning through independent study, who might otherwise get stuck on this problem and might not have a professor/TA/mentor/etc. to turn to.

I am also posting it because this particular textbook doesn’t come with an answer key for the problems. From my understanding, this is something that is currently being worked on, but it’s unclear whether independent study students will have access to the answer key when it’s ready.

The Problem

* momentary font switch for readability of problem, but we’re back now *

the solution

Here are some photos of my dog, in case you happened upon this page not expecting to see a solution to this problem, and don’t want spoilers. If you do want the solution, enjoy the puppy photos and keep scrolling.

the Solution FOR real this time

First, let’s do what the text suggests and “recall the Taylor series for cosine and sine”.

Now, let’s isolate just this part of the identity we’re examining:

What we’re looking at is the natural number e to the power of “something”. The “something” is a matrix called A multiplied by two scalars: the imaginary number i and the angle theta. The result of this is a complex matrix, because some elements of the resulting matrix will be complex numbers on account of the i being involved.

It’s helpful now to look at another power series:

Also expressed as:

In our problem though, x is the isolated part of the equation we just looked at, so:

If we expand this out through the first several terms, it looks like this:

Remembering that:

That last one is just true by the way - any matrix to the power of 0 is just the identity operator (with the appropriate dimensions).

Now we can simplify like so:

If you look closely, you’ll see the power series for cos(x) in the first set of parentheses and the power series for sin(x) in the second set. So now we have:

And that’s exactly where we expected to end up.

Plugging in the pauli X MAtrix

The X operator, also known as the Pauli X operator, is a matrix with the following form:

If we plug this in to the power series from above, we get:

Which is in fact the matrix for the identity operator:

So now we know the following is true:

Now we can simplify the above, which gives us:

acknowledgements

I’d like to shout out a big thank you to Hannah Sim for graciously answering my questions about Euler’s formula - her help was instrumental to my understanding of these concepts and I am very grateful!

Also thank you to Jack Hidary for writing the book and the problem, and giving us something to discuss.