3
$\begingroup$

I'm struggling with understanding a bit of basic quantum mechanics math that I was hoping someone could clarify.

If I have two states such as these:

$$\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)$$

and

$$\frac{1}{\sqrt{2}}(|0\rangle-|1\rangle)$$

What is the right way to go about showing whether they're indistinguishable or not? I know that because these two states differ by a relative phase change that they're not the same. Should I substitute in an alternate basis like $|+\rangle$ and $|-\rangle$ for the $|0\rangle$ and $|1\rangle$, and then take measurements? Is showing that they're not orthogonal enough to show that they are either the same state (if they're not orthogonal) or different states (if they are orthogonal)?

Thanks!

$\endgroup$
  • 2
    $\begingroup$ The states can be different without being orthogonal, in which case you can distinguish them with certain probability. Could you please clarify your question? $\endgroup$ – Mariia Mykhailova Sep 22 at 3:53
  • $\begingroup$ In the context of the question and particularly the |+⟩ and |-⟩, the states are distinguishable if you measure in basis |+⟩ and |-⟩, However, if you measure in the basis |0⟩ and |1⟩, then they are indistinguishable as both |+⟩ and |-⟩ have same probability to be in |0⟩ and |1⟩ state after measurement, so the choice of basis for measurement is important for distinguishing between two states. $\endgroup$ – Ashish Sep 22 at 6:06
  • 1
    $\begingroup$ It's not clear to me if you are given two separate qubits $\Psi$ and $\Phi$, and you wish to determine if they are the same, in which case you can do a SWAP test, or if you are given only one single qubit and you need to determine whether the qubit is in $|+\rangle$ or $|-\rangle$... As @MariiaMykhailova mentions can you clarify? $\endgroup$ – Mark S Sep 22 at 13:19
3
$\begingroup$

If you wish to distinguish two states $|\psi\rangle$ and $|\phi\rangle$, you can only guarantee to do this if $\langle\psi|\phi\rangle=0$. You do this by measuring in a basis defined by the two states (alternatively, you apply a unitary $U$ such that $$ U|\psi\rangle=|0\rangle,\qquad U|\phi\rangle=|1\rangle, $$ and then measure in the standard $Z$ basis.

However, provided $|\langle\psi|\phi\rangle|\neq 1$, you can distinguish the states with some non-zero probability. There are a couple of different strategies that you can follow depending on how you want to interpret the result.

For example, to succeed with maximum probability, construct the operator $|\psi\rangle\langle\psi|-|\phi\rangle\langle\phi|$, and construct two projectors $P_+$ and $P_-$ which project onto the positive and negative eigenspaces of that operator. When you measure using the projectors $P_{\pm}$, if you get the + answer, assume you had $|\psi\rangle$, while if you get the - answer, assume you had $|\phi\rangle$. This is known as the Helstrom measurement, and you can show it has the maximum success probability.

Alternatively, if you don't want there to be any ambiguity in the result (thinking it was $|\psi\rangle$ when it was actually $|\phi\rangle$, you can use a POVM. Define $$ E_1=p|\psi^\perp\rangle\langle\psi^\perp|,\qquad E_2=p|\phi^\perp\rangle\langle\phi^\perp|,\qquad E_3=1-E_1-E2. $$ The states $|\psi^\perp\rangle$ and $|\phi^\perp\rangle$ are orthogonal to $|\psi\rangle$ and $|\phi\rangle$ respectively. You must choose the parameter $p$ to be as large as possible, but such that $E_3$ has no negative eigenvalues. When you measure with these, if you get answer $E_1$, you definitely did not have $|\psi\rangle$, hence you definitely had $|\phi\rangle$. Similarly, if you got answer 2, you definitely had $|\psi\rangle$. However, if you get answer 3, this corresponds to a "not sure" answer.

In the case of orthogonal states, such as your example, all these strategies are equivalent and have a probability of success of 1. You can describe the strategy either as "measure in the $X$ basis" or "apply Hadamard and measure in the standard ($Z$) basis".

$\endgroup$
  • $\begingroup$ Thank you for the detailed reply, this helps to clarify things a lot! $\endgroup$ – Yuerno Sep 29 at 23:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.