What Is the Probability of Measuring a One-Qubit System in Specific States?

In summary, to determine the probability of finding a system described by |ψ⟩ in the state |xα⟩, you need to take the inner product of the bra ⟨ψ| and ket |xα⟩, and then multiply it by its complex conjugate to obtain the probability P(α). This notation may be unfamiliar, but it essentially involves taking the dot product of two vectors and their complex conjugates.
  • #1
jumi
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.
 
Physics news on Phys.org
  • #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:
  • #3
jmcelve said:
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
jumi said:
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
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
Yep. You've got it.
 
  • #7
jumi said:
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
Good catch gabbagabbahey. For some reason, I entirely glossed over that.
 
  • #9
gabbagabbahey said:
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
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
jmcelve said:
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
[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
jmcelve said:
[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
jmcelve said:
[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
jumi said:
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
jmcelve said:
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
Looks correct! Good work.
 
  • #18
Thanks so much! I really appreciate all the help.
 
  • #19
jumi said:
[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
gabbagabbahey said:
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
jumi said:
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.
 

FAQ: What Is the Probability of Measuring a One-Qubit System in Specific States?

What is quantum computation?

Quantum computation is a type of computing that uses quantum-mechanical phenomena, such as superposition and entanglement, to perform operations on data. This allows for the processing of information in ways that are not possible with classical computers.

How do probabilities play a role in quantum computation?

Probabilities play a crucial role in quantum computation as quantum systems are described by a state vector that represents the probability of the system being in a particular state. These probabilities are used to determine the outcome of quantum operations and measurements.

What is the difference between classical and quantum probabilities?

In classical computing, probabilities are based on a system being in a specific state, whereas in quantum computing, probabilities are based on the superposition of multiple states. This means that in quantum computation, probabilities can exist simultaneously for multiple states.

Can probabilities be manipulated in quantum computation?

Yes, probabilities can be manipulated in quantum computation through the use of quantum gates, which are operations that change the state of the system and therefore change the probabilities of the outcomes. This allows for the manipulation of quantum information to perform calculations and solve problems.

What are the challenges of working with quantum probabilities?

One of the main challenges of working with quantum probabilities is the concept of decoherence, which is the loss of quantum information due to interactions with the environment. This can affect the accuracy and reliability of quantum computation results, and researchers are constantly working to find ways to minimize its impact.

Back
Top