5.4.3 Activity

This activity is in two parts. In the first, you are given a quantum circuit and input qubits. Your task is to work out the output qubits and to determine whether the final output states, before measurements are taken, are entangled. In the second task you will design your own circuit for given input and output qubits.

Part 1

Consider the quantum circuit shown in Figure 14. The input qubits are both vertical line zero mathematical right angle bracket. Determine if the output two-qubit state, before measurements are taken, is entangled. Calculate the possible measurements and the probability of each possibility.

Figure 14 A circuit to be analysed for the Activity

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 x hat sub one times times times CX hat sub one comma two times cap h hat sub two times cap h hat sub one times zero times zero mathematical right angle bracket full stop

cap h hat sub one acts on q sub one and cap h hat sub two acts on q sub two. So looking first at q sub one comma

cap h hat sub one times absolute value of zero mathematical right angle bracket sub one equals one divided by Square root of two times left parenthesis vertical line zero mathematical right angle bracket sub one postfix plus times one mathematical right angle bracket sub one right parenthesis

So q sub one is now in a superposition state. The effect on q sub two is similar,

cap h hat sub two times absolute value of zero mathematical right angle bracket sub two equals one divided by Square root of two times left parenthesis vertical line zero mathematical right angle bracket sub two postfix plus times one mathematical right angle bracket sub two right parenthesis

and q sub two is also in a superposition state. So now we have

multiline equation row 1 vertical line q sub one times q sub two mathematical right angle bracket sub final equals times times CX hat sub two comma one times cap x hat sub one times times times CX hat sub one comma two times one divided by Square root of two times left parenthesis vertical line zero mathematical right angle bracket sub one plus absolute value of one mathematical right angle bracket sub one right parenthesis one divided by Square root of two times left parenthesis vertical line zero mathematical right angle bracket sub two postfix plus times one mathematical right angle bracket sub two right parenthesis row 2 equals times times CX hat sub two comma one times cap x hat sub one times times times CX hat sub one comma two times one divided by two times left parenthesis vertical line zero mathematical right angle bracket sub one times absolute value of zero mathematical right angle bracket sub two plus times zero mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one absolute value of zero mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one vertical line one mathematical right angle bracket sub two right parenthesis

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

times times CX hat sub one comma two times left parenthesis vertical line zero mathematical right angle bracket sub one times absolute value of zero mathematical right angle bracket sub two plus times zero mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one absolute value of zero mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two right parenthesis equals left parenthesis vertical line zero mathematical right angle bracket sub one times zero mathematical right angle bracket sub two prefix plus of absolute value of zero mathematical right angle bracket sub one times one mathematical right angle bracket sub two prefix plus of absolute value of one mathematical right angle bracket sub one times one mathematical right angle bracket sub two prefix plus of absolute value of one mathematical right angle bracket sub one times zero mathematical right angle bracket sub two right parenthesis

The result is an entangled state. Next the NOT gate acts on qubit q sub one to give

cap x hat sub one times left parenthesis vertical line zero mathematical right angle bracket sub one times absolute value of zero mathematical right angle bracket sub two plus times zero mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one absolute value of zero mathematical right angle bracket sub two right parenthesis equals left parenthesis vertical line one mathematical right angle bracket sub one times zero mathematical right angle bracket sub two prefix plus of absolute value of one mathematical right angle bracket sub one times one mathematical right angle bracket sub two prefix plus of absolute value of zero mathematical right angle bracket sub one times one mathematical right angle bracket sub two prefix plus of absolute value of zero mathematical right angle bracket sub one times zero mathematical right angle bracket sub two right parenthesis

So we now have

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

The second CNOT gate acts on q sub two as the control qubit and q sub one as the target qubit, so this time 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.

times times CX hat sub two comma one times left parenthesis vertical line one mathematical right angle bracket sub one times absolute value of zero mathematical right angle bracket sub two plus times one mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two plus times zero mathematical right angle bracket sub one absolute value of one mathematical right angle bracket sub two plus times zero mathematical right angle bracket sub one absolute value of zero mathematical right angle bracket sub two right parenthesis equals left parenthesis vertical line one mathematical right angle bracket sub one times zero mathematical right angle bracket sub two prefix plus of absolute value of zero mathematical right angle bracket sub one times one mathematical right angle bracket sub two prefix plus of absolute value of one mathematical right angle bracket sub one times one mathematical right angle bracket sub two prefix plus of absolute value of zero mathematical right angle bracket sub one times zero mathematical right angle bracket sub two right parenthesis

So we finally have the following,

absolute value of q sub one times q sub two mathematical right angle bracket sub final equals one divided by two times left parenthesis vertical line one times zero mathematical right angle bracket postfix plus times zero times one mathematical right angle bracket prefix plus of absolute value of one times one mathematical right angle bracket plus times zero times zero mathematical right angle bracket right parenthesis

This is the final state which is measured. It is an entangled state. There are four possible outcomes; either q sub one is measured as vertical line zero 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 or 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 one mathematical right angle bracket and q sub two is measured as vertical line one mathematical right angle bracket. From the one solidus two coefficients, the conclusion is that each outcome has a probability of 1/4.

Part 2

Design a circuit to convert the two-qubit input state vertical line 00 mathematical right angle bracket into the (non-entangled) superposition two qubit output state comprising vertical line 01 mathematical right angle bracket and vertical line 11 mathematical right angle bracket with equal probability.

Answer

There are various ways to achieve this. Once such circuit is shown in Figure 15.

Figure 15 A circuit to convert the two-qubit input state vertical line 00 mathematical right angle bracket into the two qubit output state vertical line 01 mathematical right angle bracket or vertical line 11 mathematical right angle bracket with equal probability

The circuit can be described as

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

Starting with input vertical line 00 mathematical right angle bracket the circuit applies a NOT gate to qubit q sub two, resulting in vertical line 01 mathematical right angle bracket, so we have

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

A Hadamard gate is then applied to qubit q sub one to create a superposition for this qubit,

cap h hat sub one times absolute value of zero mathematical right angle bracket sub one equals one divided by Square root of two times left parenthesis vertical line zero mathematical right angle bracket sub one postfix plus times one mathematical right angle bracket sub one right parenthesis

This gives

absolute value of q sub one times q sub two mathematical right angle bracket sub final equals one divided by Square root of two times left parenthesis vertical line 01 mathematical right angle bracket postfix plus times 11 mathematical right angle bracket right parenthesis

The output state is therefore a state whose non-entangled two qubit output state is a superposition of vertical line 01 mathematical right angle bracket and vertical line 11 mathematical right angle bracket with equal probability, as required.