5.4.2 Measurements

Measurements are different from gate operations in a very important way, since rather than transforming a qubit from one definite state vertical line normal cap psi mathematical right angle bracket to another definite state vertical line normal cap phi mathematical right angle bracket, the final state after measurement is one of the two eigenstates of the measurement operator, which are obtained with some probability. Therefore, measurements are not reversible. The results of measurements are real numbers, so they can be stored as bits (rather than qubits) in a modern memory cell.

The circuit symbol for the measurement operation is shown in Figure 12.

Figure 12 The symbol for a measurement operation

The probabilistic nature of measurement is a feature of quantum computing that must be accounted for when evaluating the performance of a quantum algorithm.

Example

A circuit is set up as shown in Figure 13 and the input qubits are both vertical line one mathematical right angle bracket. Calculate the output qubits and hence the possible results of the measurements and their probabilities.

Figure 13 A circuit incorporating both a single-qubit and a two-qubit gate

Answer

Writing the sequence of operations applied to the input qubits and using subscripts to label the qubits and the operations to show which qubit the gates are operating on, gives

absolute value of q sub one times q sub two mathematical right angle bracket sub final equals times times CX hat sub two comma one times cap h hat sub two times one times one mathematical right angle bracket full stop

cap h hat sub two acts on q sub two so

multiline equation row 1 cap h hat sub two vertical line one times one mathematical right angle bracket equals cap h hat sub two times absolute value of one mathematical right angle bracket sub one times one mathematical right angle bracket sub two equals absolute value of one mathematical right angle bracket sub one cap h hat sub two times one mathematical right angle bracket sub two row 2 equals absolute value of one mathematical right angle bracket sub one one divided by Square root of two times left parenthesis vertical line zero mathematical right angle bracket sub two postfix minus times one mathematical right angle bracket sub two right parenthesis row 3 equals one divided by Square root of two times absolute value of one mathematical right angle bracket left parenthesis vertical line zero mathematical right angle bracket postfix minus times one mathematical right angle bracket right parenthesis

so now

absolute value of q sub one times q sub two mathematical right angle bracket sub final equals times times CX hat sub two comma one times one divided by Square root of two times one mathematical right angle bracket left parenthesis vertical line zero mathematical right angle bracket postfix minus vertical line one mathematical right angle bracket right parenthesis

Note that q sub two is the control qubit and q sub one is the target qubit. Consequently, when times times CX hat sub two comma one operates on vertical line q sub one times q sub two mathematical right angle bracket, look at vertical line q sub two mathematical right angle bracket to decide whether vertical line q sub one mathematical right angle bracket is flipped. Again, adding subscripts to identify the qubits,

multiline equation row 1 vertical line q sub one times q sub two mathematical right angle bracket sub final equals one divided by Square root of two times times times CX hat sub one comma two times left parenthesis vertical line one mathematical right angle bracket sub one times absolute value of zero mathematical right angle bracket sub two minus times one mathematical right angle bracket sub one vertical line one mathematical right angle bracket sub two right parenthesis row 2 equals one divided by Square root of two times left parenthesis times times CX hat sub one comma two times left parenthesis vertical line one mathematical right angle bracket sub one vertical line zero mathematical right angle bracket sub two minus times times CX hat sub one comma two times absolute value of one mathematical right angle bracket sub one times one mathematical right angle bracket sub two right parenthesis row 3 equals one divided by Square root of two times left parenthesis vertical line one mathematical right angle bracket sub one times absolute value of zero mathematical right angle bracket sub two minus times zero mathematical right angle bracket sub one vertical line one mathematical right angle bracket sub two right parenthesis row 4 equals one divided by Square root of two times absolute value of one mathematical right angle bracket times zero mathematical right angle bracket negative one divided by Square root of two times absolute value of zero mathematical right angle bracket times one mathematical right angle bracket

This is the final state which is measured. It is an entangled state. There are two possible outcomes; either q sub one is measured as vertical line one mathematical right angle bracket and q sub two is measured as vertical line zero mathematical right angle bracket or q sub one is measured as vertical line zero mathematical right angle bracket and q sub two is measured as vertical line one mathematical right angle bracket. From the one solidus Square root of two coefficients, the conclusion is that each outcome has a probability of 1/2.