• Support PF! Buy your school textbooks, materials and every day products Here!

Quantum Computation Probabilities

  • #1
28
0

Homework Statement



Let a one-qubit system be in the state [itex]\left|ψ\right\rangle[/itex] = [itex]\frac{\sqrt{15}\left|0\right\rangle + i\left|1\right\rangle}{4}[/itex]. If we perform a measurement to see whether the qubit is in the state [itex]\left|x_{+}\right\rangle[/itex] = [itex]\frac{\left|0\right\rangle + \left|1\right\rangle}{\sqrt{2}}[/itex] or in the orthogonal state [itex]\left|x_{-}\right\rangle[/itex] = [itex]\frac{\left|0\right\rangle - \left|1\right\rangle}{\sqrt{2}}[/itex], what is the probability of each of these two outcomes?

The Attempt at a Solution



I know the given state can be written as [itex]\left|ψ\right\rangle[/itex] = [itex]\frac{\sqrt{15}}{4}[/itex][itex]\left|0\right\rangle[/itex] + [itex]\frac{i}{4}[/itex][itex]\left|1\right\rangle[/itex]

So therefore α = [itex]\sqrt{15}[/itex]/4, and β = i/4. And [itex]\left|α^{2}\right|[/itex] + [itex]\left|β^{2}\right|[/itex] = 1 (right?). But those are only for states |0> or |1>, right?

So I basically have no idea how to do this.

Can anybody help me or put me in the right direction?

Thanks in advance.
 

Answers and Replies

  • #2
52
0
Hi jumi,

To determine the probability of finding a system described by [itex] | \psi \rangle [/itex] in the state [itex] |x_{\alpha} \rangle [/itex], we use [itex] P(\alpha) = | \langle x_{\alpha}| \psi \rangle |^2 [/itex]. I hope that helps!
 
Last edited:
  • #3
28
0
Hi jumi,

To determine the probability of finding a system described by [itex] | \psi \rangle [/itex] in the state [itex] |x_{\alpha} \rangle [/itex], we use [itex] P(\alpha) = | \langle x_{\alpha}| \psi \rangle |^2 [/itex]. I hope that helps!
Thanks for the reply. So in this instance, I would take the dot product of the two states and square the absolute value?
 
  • #4
52
0
Thanks for the reply. So in this instance, I would take the dot product of the two states and square the absolute value?
Right. But just to make sure we're on the same page: you're taking the inner product of the two states with [itex] \psi [/itex] - not with each other. So you're making two calculations.
 
  • #5
28
0
Right, [itex]\left|x_{+}\right\rangle[/itex][itex]\cdot[/itex][itex]\left|ψ\right\rangle[/itex] and [itex]\left|x_{-}\right\rangle[/itex][itex]\cdot[/itex][itex]\left|ψ\right\rangle[/itex], correct?
 
  • #6
52
0
Yep. You've got it.
 
  • #7
gabbagabbahey
Homework Helper
Gold Member
5,002
6
Right, [itex]\left|x_{+}\right\rangle[/itex][itex]\cdot[/itex][itex]\left|ψ\right\rangle[/itex] and [itex]\left|x_{-}\right\rangle[/itex][itex]\cdot[/itex][itex]\left|ψ\right\rangle[/itex], correct?
In bra-ket notation, what you've written doesn't make sense (isn't defined). You want to compute the inner products between the kets [itex]\langle x_{\pm} |[/itex] and the bra [itex]|\psi \rangle[/itex]; [itex]\langle x_{\pm} |\psi \rangle[/itex] and their adjoints; (complex conjugates) [itex]\langle \psi | x_{\pm} \rangle = \langle x_{\pm} |\psi \rangle^{ \dagger }[/itex] in order to find the probabilities

[tex]P_{\pm} =\langle x_{\pm} |\psi \rangle \langle \psi | x_{\pm} \rangle = ||\langle x_{\pm} |\psi \rangle||^2[/tex]
 
  • #8
52
0
Good catch gabbagabbahey. For some reason, I entirely glossed over that.
 
  • #9
28
0
In bra-ket notation, what you've written doesn't make sense (isn't defined). You want to compute the inner products between the kets [itex]\langle x_{\pm} |[/itex] and the bra [itex]|\psi \rangle[/itex]; [itex]\langle x_{\pm} |\psi \rangle[/itex] and their adjoints; (complex conjugates) [itex]\langle \psi | x_{\pm} \rangle = \langle x_{\pm} |\psi \rangle^{ \dagger }[/itex] in order to find the probabilities

[tex]P_{\pm} =\langle x_{\pm} |\psi \rangle \langle \psi | x_{\pm} \rangle = ||\langle x_{\pm} |\psi \rangle||^2[/tex]
Ok, you've lost me now...

I know the 'braket' notation thing was wrong; I just wrote it that way for my ease of understanding. However, other than "complex conjugates", I don't really understand your reply, sorry...
 
  • #10
52
0
Which part confuses you in particular?

Remember that [itex] P_{\alpha} = | \langle x_{\alpha} | \psi \rangle |^2 = \langle x_{\alpha} | \psi \rangle^* \langle x_{\alpha} | \psi \rangle = \langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle [/itex]. Does that help?
 
  • #11
28
0
Which part confuses you in particular?

Remember that [itex] P_{\alpha} = | \langle x_{\alpha} | \psi \rangle |^2 = \langle x_{\alpha} | \psi \rangle^* \langle x_{\alpha} | \psi \rangle = \langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle [/itex]. Does that help?
Sort of. How exactly does the operation [itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle [/itex] work?

(P.S. Maybe I should have mentioned in the beginning (and I'm not sure if that's relevant here), but I've never had a full Linear Algebra course.)
 
  • #12
52
0
[itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle [/itex] says mathematically: You're going to multiply two scalars (obtained from inner products) in the following way. To obtain the scalar [itex]\langle \psi | x_{\alpha} \rangle [/itex], you're going to take the bra [itex]\langle \psi |[/itex] and act it on the ket [itex]| x_{\alpha} \rangle [/itex]. Remember that bras are the adjoints of their respective kets -- that is, we take the complex conjugate of the ket [itex]| \psi \rangle [/itex] (a column vector) and then transpose it so that it becomes the bra [itex]\langle \psi | [/itex] (a row vector). We're also going to do the same operation for [itex]\langle x_{\alpha} | \psi \rangle [/itex], except that [itex]\langle x_{\alpha} |[/itex] is now the bra and [itex]| \psi \rangle [/itex] is now the ket for this inner product.

Once we obtain these two inner products, we multiply them together.

However, we can dramatically simplify this process. We notice that [itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle = \langle x_{\alpha} | \psi \rangle^* \langle x_{\alpha} | \psi \rangle [/itex] (in words: the product of the inner products is actually the product of one of the inner products and its complex conjugate). So we really only need to calculate one inner product -- [itex]\langle x_{\alpha} | \psi \rangle[/itex] or [itex]\langle \psi | x_{\alpha} \rangle [/itex] (take your pick) -- and then multiply that by its complex conjugate (which is actually the same process I described in length above, but requires much less thought), thereby obtaining [itex] | \langle x_{\alpha} | \psi \rangle |^2 = P(\alpha) [/itex].

I suspect that, while you may not be familiar with bra-ket notation, your natural inclinations for calculating the inner product were essentially correct. You just need to get the notation straight, since it's important. Bra-ket notation hides a lot of deeper mathematics that you'll eventually have to learn (and that I still don't fully understand either!).
 
Last edited:
  • #13
28
0
[itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle [/itex] says mathematically: You're going to multiply two scalars (obtained from inner products) in the following way. To obtain the scalar [itex]\langle \psi | x_{\alpha} \rangle [/itex], you're going to take the bra [itex]\langle \psi |[/itex] and act it on the ket [itex]| x_{\alpha} \rangle [/itex]. Remember that bras are the adjoints of their respective kets -- that is, we take the complex conjugate of the ket [itex]| \psi \rangle [/itex] (a column vector) and then transpose it so that it becomes the bra [itex]\langle \psi | [/itex] (a row vector). We're also going to do the same operation for [itex]\langle x_{\alpha} | \psi \rangle [/itex], except that [itex]\langle x_{\alpha} |[/itex] is now the bra and [itex]| \psi \rangle [/itex] is now the ket for this inner product.

Once we obtain these two inner products, we multiply them together.

However, we can dramatically simplify this process. We notice that [itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle = \langle x_{\alpha} | \psi \rangle^* \langle x_{\alpha} | \psi \rangle [/itex] (in words: the product of the inner products is actually the product of one of the inner products and its complex conjugate). So we really only need to calculate one inner product -- [itex]\langle x_{\alpha} | \psi \rangle[/itex] or [itex]\langle \psi | x_{\alpha} \rangle [/itex] (take your pick) -- and then multiply that by its complex conjugate (which is actually the same process I described in length above, but requires much less thought), thereby obtaining [itex] | \langle x_{\alpha} | \psi \rangle |^2 = P(\alpha) [/itex].

I suspect that, while you may not be familiar with bra-ket notation, your natural inclinations for calculating the inner product were essentially correct. You just need to get the notation straight, since it's important. Bra-ket notation hides a lot of deeper mathematics that you'll eventually have to learn (and that I still don't fully understand either!).
Awesome reply, thanks. I don't have time to really sit down and mess around with the math tonight, but I'll take a look at it tomorrow and see what I can come up with. I'll make another reply if I'm still having trouble.

Otherwise, I really appreciate the help. Thanks.
 
  • #14
28
0
[itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle [/itex] says mathematically: You're going to multiply two scalars (obtained from inner products) in the following way. To obtain the scalar [itex]\langle \psi | x_{\alpha} \rangle [/itex], you're going to take the bra [itex]\langle \psi |[/itex] and act it on the ket [itex]| x_{\alpha} \rangle [/itex]. Remember that bras are the adjoints of their respective kets -- that is, we take the complex conjugate of the ket [itex]| \psi \rangle [/itex] (a column vector) and then transpose it so that it becomes the bra [itex]\langle \psi | [/itex] (a row vector). We're also going to do the same operation for [itex]\langle x_{\alpha} | \psi \rangle [/itex], except that [itex]\langle x_{\alpha} |[/itex] is now the bra and [itex]| \psi \rangle [/itex] is now the ket for this inner product.

Once we obtain these two inner products, we multiply them together.

However, we can dramatically simplify this process. We notice that [itex]\langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle = \langle x_{\alpha} | \psi \rangle^* \langle x_{\alpha} | \psi \rangle [/itex] (in words: the product of the inner products is actually the product of one of the inner products and its complex conjugate). So we really only need to calculate one inner product -- [itex]\langle x_{\alpha} | \psi \rangle[/itex] or [itex]\langle \psi | x_{\alpha} \rangle [/itex] (take your pick) -- and then multiply that by its complex conjugate (which is actually the same process I described in length above, but requires much less thought), thereby obtaining [itex] | \langle x_{\alpha} | \psi \rangle |^2 = P(\alpha) [/itex].

I suspect that, while you may not be familiar with bra-ket notation, your natural inclinations for calculating the inner product were essentially correct. You just need to get the notation straight, since it's important. Bra-ket notation hides a lot of deeper mathematics that you'll eventually have to learn (and that I still don't fully understand either!).
Ok, I had a chance to review the math a bit.

So knowing, [itex] P(\alpha) = | \langle x_{\alpha} | \psi \rangle |^2 = \langle x_{\alpha} | \psi \rangle ^* \langle x_{\alpha} | \psi \rangle = \langle \psi | x_{\alpha} \rangle \langle x_{\alpha} | \psi \rangle[/itex], I can simply multiply the row vector given by [itex]\left\langle x_{\alpha}\right|[/itex] times the column vector given by [itex]\left| \psi \right\rangle[/itex] and square the absolute value? Or do I need to take the conjugate transpose of both since I'm doing an inner product?
 
  • #15
52
0
I can simply multiply the row vector given by [itex]\left\langle x_{\alpha}\right|[/itex] times the column vector given by [itex]\left| \psi \right\rangle[/itex] and square the absolute value? Or do I need to take the conjugate transpose of both since I'm doing an inner product?
For the underlined portion: This is correct. Remember to take the complex conjugate of the ket once you transpose it into the bra.

For your second statement: Remember, you're effectively multiplying two inner products together when you're calculating the probability, but this is the same process as what you described in your first statement. But when you say "take the conjugate transpose of both since I'm doing an inner product," what do you mean by "take the conjugate transpose of both"? Both of what?
 
  • #16
28
0
For the underlined portion: This is correct. Remember to take the complex conjugate of the ket once you transpose it into the bra.

For your second statement: Remember, you're effectively multiplying two inner products together when you're calculating the probability, but this is the same process as what you described in your first statement. But when you say "take the conjugate transpose of both since I'm doing an inner product," what do you mean by "take the conjugate transpose of both"? Both of what?
Oh, alright, I get it now. Disregard that second statement. I knew the complex conjugate showed up in some capacity, but you answered it in your first sentence.

So all in all (sorry for continually pestering you...), I would take [itex]\left|x_{+}\right\rangle = \frac{\left|0\right\rangle + \left|1\right\rangle}{\sqrt{2}}[/itex], take it's adjoint so it's a row vector, and multiply that by the column vector given by [itex]\left|ψ\right\rangle = \frac{\sqrt{15}\left|0\right\rangle + i\left|1\right\rangle}{4}[/itex]?

So I would have:
[itex]\left\langle x_{+} \right| = ( \frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}}) [/itex] and [itex]\left| \psi \right\rangle = (\stackrel{\frac{\sqrt{15}}{4}}{\frac{i}{4}} )[/itex] (don't know how to write a column vector with this math editor, sorry).

Therefore, [itex]\left\langle x_{+} | \psi \right\rangle = (\frac{1}{\sqrt{2}})(\frac{\sqrt{15}}{4}) + (\frac{1}{\sqrt{2}})(\frac{i}{4}) = \frac{\sqrt{15}}{4 \sqrt{2}} + \frac{i}{4 \sqrt{2}}[/itex]

Then multiply [itex]\frac{\sqrt{15}}{4 \sqrt{2}} + \frac{i}{4 \sqrt{2}}[/itex] by its complex conjugate and get: 15/32 + 1/32 = 0.5?

How's that look?
 
  • #17
52
0
Looks correct! Good work.
 
  • #18
28
0
Thanks so much! I really appreciate all the help.
 
  • #19
gabbagabbahey
Homework Helper
Gold Member
5,002
6
[itex]\left\langle x_{+} \right| = ( \frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}}) [/itex] and [itex]\left| \psi \right\rangle = (\stackrel{\frac{\sqrt{15}}{4}}{\frac{i}{4}} )[/itex] (don't know how to write a column vector with this math editor, sorry).

Therefore, [itex]\left\langle x_{+} | \psi \right\rangle = (\frac{1}{\sqrt{2}})(\frac{\sqrt{15}}{4}) + (\frac{1}{\sqrt{2}})(\frac{i}{4}) = \frac{\sqrt{15}}{4 \sqrt{2}} + \frac{i}{4 \sqrt{2}}[/itex]

Then multiply [itex]\frac{\sqrt{15}}{4 \sqrt{2}} + \frac{i}{4 \sqrt{2}}[/itex] by its complex conjugate and get: 15/32 + 1/32 = 0.5?

How's that look?
It's not incorrect, but it is unnecessary to convert stuff to column and row vectors, when you could do this problem entirely in bra-ket notation:

[tex]\langle x_{\pm} | = | x_{\pm} \rangle^{ \dagger } = \left( \frac{|0\rangle \pm |1\rangle}{\sqrt{2}} \right)^{ \dagger } = \frac{|0\rangle^{ \dagger } \pm |1\rangle^{ \dagger }}{\sqrt{2}} = \frac{\langle 0 | \pm \langle 1 |}{\sqrt{2}}[/tex]

Switching between different types of notation in a problem can introduce some difficult to find errors. Consider, for example, what would happen if the basis states [itex]|0\rangle[/itex] and [itex]|1\rangle[/itex] weren't orthogonal (but still spanned the Hilbert space), and you were given the inner products between them. You would get an incorrect result if you naively represented [itex]\alpha|0\rangle + \beta|1\rangle[/itex] by a column vector [itex]\begin{pmatrix} \alpha \\ \beta \end{pmatrix}[/itex], its adjoint by the conjugate transpose of the column vector, and the inner product of the state with itself as the matrix product of the two.
 
  • #20
28
0
It's not incorrect, but it is unnecessary to convert stuff to column and row vectors, when you could do this problem entirely in bra-ket notation:

[tex]\langle x_{\pm} | = | x_{\pm} \rangle^{ \dagger } = \left( \frac{|0\rangle \pm |1\rangle}{\sqrt{2}} \right)^{ \dagger } = \frac{|0\rangle^{ \dagger } \pm |1\rangle^{ \dagger }}{\sqrt{2}} = \frac{\langle 0 | \pm \langle 1 |}{\sqrt{2}}[/tex]

Switching between different types of notation in a problem can introduce some difficult to find errors. Consider, for example, what would happen if the basis states [itex]|0\rangle[/itex] and [itex]|1\rangle[/itex] weren't orthogonal (but still spanned the Hilbert space), and you were given the inner products between them. You would get an incorrect result if you naively represented [itex]\alpha|0\rangle + \beta|1\rangle[/itex] by a column vector [itex]\begin{pmatrix} \alpha \\ \beta \end{pmatrix}[/itex], its adjoint by the conjugate transpose of the column vector, and the inner product of the state with itself as the matrix product of the two.
I don't follow how this expression makes it easier: [tex]\langle x_{\pm} | = | x_{\pm} \rangle^{ \dagger } = \left( \frac{|0\rangle \pm |1\rangle}{\sqrt{2}} \right)^{ \dagger } = \frac{|0\rangle^{ \dagger } \pm |1\rangle^{ \dagger }}{\sqrt{2}} = \frac{\langle 0 | \pm \langle 1 |}{\sqrt{2}}[/tex]
 
  • #21
gabbagabbahey
Homework Helper
Gold Member
5,002
6
I don't follow how this expression makes it easier: [tex]\langle x_{\pm} | = | x_{\pm} \rangle^{ \dagger } = \left( \frac{|0\rangle \pm |1\rangle}{\sqrt{2}} \right)^{ \dagger } = \frac{|0\rangle^{ \dagger } \pm |1\rangle^{ \dagger }}{\sqrt{2}} = \frac{\langle 0 | \pm \langle 1 |}{\sqrt{2}}[/tex]
Let's say you have something like [itex]\langle v | = v_0 \langle 0 | + v_1 \langle 1 |[/itex] and [itex]| u \rangle = u_0 | 0 \rangle + u_1 | 1 \rangle [/itex], then you can use the distributive and asscoiative properties of bras and kets to easily compute the inner product [itex]\langle v | u \rangle[/itex] as follows:

[tex]\langle v | u \rangle = \left( v_0 \langle 0 | + v_1 \langle 1 | \right) \left( u_0 | 0 \rangle + u_1 | 1 \rangle \right) = v_0u_0\langle 0 |0 \rangle + v_0u_1 \langle 0 |1 \rangle + v_1u_0\langle 1 |0 \rangle + v_1u_1\langle 1 |1 \rangle[/tex]

Now, if the basis states [itex] |0 \rangle[/itex] & [itex] |1 \rangle[/itex] are orthonormal, then you have [itex]\langle 0 |1 \rangle = \langle 1 |0 \rangle = 0[/itex] & [itex]\langle 0 |0 \rangle = \langle 1 |1 \rangle = 1[/itex], so [itex]\langle v | u \rangle = v_0u_0 + v_1u_1[/itex], which is the same as what you would get by representing [itex]\langle v | [/itex] as the row vector [itex]\left( v_0, v_1 \right)[/itex] and [itex]| u \rangle[/itex] as the column vector [itex]\begin{pmatrix} u_0 \\ u_1 \end{pmatrix}[/itex] and computing the inner product using the usual rules of matrix multiplication.

However, if the basis states aren't orthonormal, say, for example [itex]\langle 0 |1 \rangle = \langle 1 |0 \rangle = \frac{1}{2}[/itex] and [itex]\langle 0 |0 \rangle = \langle 1 |1 \rangle = 3[/itex], then using bra-ket notation will give you the correct result [itex]\langle v | u \rangle = 3v_0u_0 + \frac{1}{2} \left( v_0u_1 + v_1u_0\right) + 3v_1u_1[/itex], but naively switching to row and column vectors as before will give you the now incorrect result [itex]\langle v | u \rangle = v_0u_0 + v_1u_1[/itex].

Moreover, later in your studies you will likely deal with many-particle systems, where the system states are given by tensor products of the individual component states. When that happens, even if the basis states are orthonormal, trying to keep track of which row vectors act on which column vectors will become much more difficult than simply sticking to bra-ket notation.
 

Related Threads on Quantum Computation Probabilities

  • Last Post
Replies
0
Views
192
Top