1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Quantum Computation Probabilities

  1. Sep 16, 2012 #1
    1. The problem statement, all variables and given/known data

    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?

    3. 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.
  2. jcsd
  3. Sep 16, 2012 #2
    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: Sep 16, 2012
  4. Sep 16, 2012 #3
    Thanks for the reply. So in this instance, I would take the dot product of the two states and square the absolute value?
  5. Sep 16, 2012 #4
    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.
  6. Sep 16, 2012 #5
    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?
  7. Sep 16, 2012 #6
    Yep. You've got it.
  8. Sep 16, 2012 #7


    User Avatar
    Homework Helper
    Gold Member

    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]
  9. Sep 16, 2012 #8
    Good catch gabbagabbahey. For some reason, I entirely glossed over that.
  10. Sep 16, 2012 #9
    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...
  11. Sep 16, 2012 #10
    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?
  12. Sep 16, 2012 #11
    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.)
  13. Sep 16, 2012 #12
    [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: Sep 16, 2012
  14. Sep 16, 2012 #13
    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.
  15. Sep 17, 2012 #14
    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?
  16. Sep 17, 2012 #15
    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?
  17. Sep 17, 2012 #16
    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?
  18. Sep 17, 2012 #17
    Looks correct! Good work.
  19. Sep 17, 2012 #18
    Thanks so much! I really appreciate all the help.
  20. Sep 18, 2012 #19


    User Avatar
    Homework Helper
    Gold Member

    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.
  21. Sep 18, 2012 #20
    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]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook