## 4.12Remarks and exercises

### 4.12.1 Projector?

Consider two unit vectors |a\rangle and |b\rangle. Is |a\rangle\langle a|+|b\rangle\langle b| a projector?

### 4.12.2 Knowing the unknown

1. Suppose you are given a single qubit in some unknown quantum state |\psi\rangle. Can you determine |\psi\rangle?

2. You measure a random qubit in the standard basis and register |0\rangle. What does it tell you about the pre-measurement state |\psi\rangle?

3. How many real parameters do you need to determine |\psi\rangle? Would you be able to reconstruct |\psi\rangle from \langle\psi|X|\psi\rangle, \langle\psi|Y|\psi\rangle, and \langle\psi|Z|\psi\rangle? (It may help you to visualise |\psi\rangle as a Bloch vector).

4. You are given zillions of qubits, all prepared in the same quantum state |\psi\rangle. How would you determine |\psi\rangle?

### 4.12.3 Measurement and idempotents

The Z measurement is defined by the projectors \begin{aligned} P_0 &= \frac12(\mathbf{1}+ Z), \\P_1 &= \frac12(\mathbf{1}- Z). \end{aligned} Consider the measurement associated to some Hermitian operator S that satisfies S^2=\mathbf{1}. Show that the two outcomes \pm 1 correspond to the projectors \frac12(\mathbf{1}\pm S).

### 4.12.4 Unitary transformations of measurements

In our quantum circuits, unless specified otherwise, all measurements are assumed to be performed in the standard basis. This is because any measurement can be reduced to the standard measurement by performing some prior unitary transformation.

1. Show that any two orthonormal bases \{|e_k\rangle\} and \{|d_l\rangle\} are always related by some unitary U (i.e. show that \sum_k |d_k\rangle\langle e_k| is unitary).

2. Suppose that the projectors P_k define the standard measurement. Show that, for any unitary U, the projectors UP_kU^\dagger also define a measurement.

### 4.12.5 Optimal measurement

The optimal measurement to distinguish between the two equally likely non-orthogonal signal states, |s_1\rangle and |s_2\rangle, is described by the two orthogonal vectors |d_1\rangle and |d_2\rangle, placed symmetrically around the signal states. But suppose the states are not equally likely: say |s_1\rangle is chosen with probability p_1 and |s_2\rangle with probability p_2. How would you modify the measurement to maximise the probability of success in this case?

### 4.12.6 Alice knows what Bob did

(This is a simplified version of a beautiful quantum puzzle proposed in 1987 by Lev Vaidman, Yakir Aharonov, and David Z. Albert in a paper with the somewhat provocative title “How to ascertain the values of \sigma_x, \sigma_y, and \sigma_z of a spin-\frac12 particle”. For the original, see Phys. Rev. Lett. 58 (1987), 1385.)

Alice prepares a qubit in any state of her choosing and gives it to Bob, who secretly measures either \sigma_x or \sigma_y. The outcome of the measurement is seen only by Bob. Alice has no clue which measurement was chosen by Bob, but right after his measurement she gets her qubit back and she can measure it as well. Some time later, Bob tells Alice which of the two measurements was chosen, i.e. whether he measured \sigma_x or \sigma_y. Alice then tells him the outcome he obtained in his measurement. Bob is surprised, since the two measurements have mutually unbiased bases and yet Alice always gets it right. How does she do it?

!!!TO-DO!!!