- #71
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
- 14,983
- 28
We have a definite outcome if the wavefunction of the ________1 is not in a combination2 of states corresponding to different outcomes.ThomasT said:What do you mean by 'definite outcomes'?
1: Fill the blank in with "universe" or "system" or whatever would be appropriate.
2: Either mixed or pure
e.g. if we have a qubit with basis states |0> and |1>, and we decide to call those states 'outcomes', then |0> and |1> are definite, whereas |0> + |1> is indefinite, as is a mixture 50% |0> and 50% |1>.
For a more elaborate example, suppose we had four qubits, three initialized to zero, and the other one an input to our experiment. We use a CNOT gate to add the input state to the first and second qubits (a toy 'measurement'), and then we used two more CNOT gates to add the first and second qubits to the third (a 'compare' 'measurement' -- set the third qubit to 1 if and only if the first and second qubits are different)
If the input qubit is |0> + |1>, then the end result if passing it through the device is the state: (the input qubit is on the fourth line)
A: Start with: |000>(|0> + |1>)
B: After first 'measurement' CNOT gate: |0000> + |1001>
C: After second 'measurement' CNOT gate: |0000> + |1101>
D: After the first 'compare' CNOT gate: |0000> + |1111>
E: After the second 'compare' CNOT gate: |0000> + |1101>
If we look at the (relative) state of the input qubit, it starts off in the pure state |0>+|1>, and after B, it decoheres into the mixture 50% |0> and 50% |1>, and stays there. The 'outcome' of the input qubit is indefinte.
If we look at the first qubit, it starts in the pure state |0>, and after B, it transisitions into the mixture 50% |0> and 50% |1>, and stays there. (It 'splits' into two 'copies': one 'measuring' a 0, and one 'measuring' a 1)
The third qubit, on the other hand, started in |0>, after D split into the mixture, and then at E it recombined into the pure state |0> -- we have the definite outcome that the first two qubits are measured to have the same value. (Despite the fact their actual value is indefinite!)