3

I am referring to the MS Quantum Katas, Measurements, 2.3 Peres/Wooters game I have big problems to understand the solution. The task is defined as:

--begin

**Input:** A qubit which is guaranteed to be in one of the three states:

- $|A\rangle = \frac{1}{\sqrt{2}} \big( |0\rangle + |1\rangle \big)$,
- $|B\rangle = \frac{1}{\sqrt{2}} \big( |0\rangle + \omega |1\rangle \big)$,
- $|C\rangle = \frac{1}{\sqrt{2}} \big( |0\rangle + \omega^2 |1\rangle \big)$,

Here $\omega = e^{2i \pi/ 3}$.

**Output:**

- 1 or 2 if the qubit was in the $|A\rangle$ state,
- 0 or 2 if the qubit was in the $|B\rangle$ state,
- 0 or 1 if the qubit was in the $|C\rangle$ state.

You are never allowed to give an incorrect answer. Your solution will be called multiple times, with one of the states picked with equal probability every time.

The state of the qubit at the end of the operation does not matter.

--end

The solution is described as:

### Solution

The task is a simple game inspired by a quantum detection problem due to Holevo

^{[1]}and Peres/Wootters^{[2]}. In the game, a player A thinks of a number (0,1 or 2) and the opponent, player B, tries to guess any number but the one chosen by player A.Classically, if you just made a guess, you'd have to ask two questions to be right $100\%$ of the time. If instead, player A prepares a qubit with 0, 1, or 2 encoded into three single qubit states that are at an angle of 120 degrees with respect to each other and then hands the state to the opponent, then player B can apply a Positive Operator Valued Measure (POVM) consisting of 3 states that are perpendicular to the states chosen by player A. It can be shown that this allows B to be right $100\%$ of the time with only 1 measurement, which is something that is not achievable with a von Neumann measurement on 1 qubit. See also Peres

^{[3, chapter 9.6]}for a nice description of the optimal POVM.

Next, we address how we can implement the mentioned POVM by way of a von Neumann measurement, and then how to implement said von Neumann measurement in Q#. First, we note that the POVM elements are given by the columns of the following matrix:

$$M = \frac{1}{\sqrt{2}}\left(\begin{array}{rrr} 1 & 1 & 1 \\ 1 & \omega & \omega^2 \end{array} \right)$$

where $\omega = e^{2 \pi i/3}$ denotes a primitive $3$rd root of unity. Our task will be to implement the rank 1 POVM given by the columns of $M$ via a von Neumann measurement. This can be done by "embedding" $M$ into a larger unitary matrix (taking complex conjugates and transposed):

$$M' = \frac{1}{\sqrt{2}}\left(\begin{array}{cccc} 1 & -1 & 1 & 0 \\ 1 & -\omega^2 & \omega & 0 \\ 1 & -\omega & \omega^2 & 0 \\ 0 & 0 & 0 & -i \end{array} \right)$$

Notice that applying $M'$ to input states given by column $i$ of $M$ (padded with two zeros to make it a vector of length $4$), where $i=0, 1, 2$ will never return the label $i$ as the corresponding vectors are perpendicular.

We are therefore left with the problem of implementing $M'$ as a sequence of elementary quantum gates. Notice that

$$M' \cdot {\rm diag}(1,-1,1,-1) = M' \cdot (\mathbf{1}_2 \otimes Z) = \frac{1}{\sqrt{2}}\left(\begin{array}{cccc} 1 & 1 & 1 & 0 \\ 1 & \omega^2 & \omega & 0 \\ 1 & \omega & \omega^2 & 0 \\ 0 & 0 & 0 & i \end{array} \right)$$

...

--end

I have several questions / problems here.

What exactly is a "von-Neumann" measurement? Is it just a measurement in the standard basis?

I understand how to get M:

A POVM M with ${E_0, E_1, E_2}, E_k = |\psi_k\rangle\langle\psi_k|, |\psi_k\rangle=1/sqrt(2)(|0\rangle+\omega^k|1\rangle)$ results in $M=(\psi_0 \psi_1 \psi_2) = \frac{1}{\sqrt{2}}\left(\begin{array}{rrr} 1 & 1 & 1 \\ 1 & \omega & \omega^2 \end{array}\right)$

Next step is

Our task will be to implement the rank 1 POVM given by the columns of M via a von Neumann measurement. This can be done by "embedding" M into a larger unitary matrix (taking complex conjugates and transposed)

What does this embedding mean exactly, what is the math behind? I only found one article about "Emdedded Transforms" (https://books.google.de/books?id=pefvCAAAQBAJ&pg=PA104&lpg=PA104&dq=embedding+matrix+into+larger+unitary+matrix&source=bl&ots=2apFdXFYNd&sig=ACfU3U3JCtj7GgJimx5cgCcKE_FrMUx_4Q&hl=de&sa=X&ved=2ahUKEwjo-K3EipHpAhW8UxUIHVuyDtYQ6AEwCXoECAgQAQ#v=onepage&q=embedding%20matrix%20into%20larger%20unitary%20matrix&f=false), but this is valid only for square matrices.

- The next step in the solution is:

Notice that applying $M'$ to input states given by column $i$ of $M$ (padded with two zeros to make it a vector of length $4$), where $i=0, 1, 2$ will never return the label $i$ as the corresponding vectors are perpendicular. We are therefore left with the problem of implementing $M'$ as a sequence of elementary quantum gates.

What does this mean? I don't understand the sense of this.

Thanks in advance, Markus

This is probably not an official solution because the details have mistakes. For example, $M'$ isn't unitary and $M$ can't be embedded to a unitary because the first row has norm >1. – Danylo Y – 2020-05-04T07:09:39.247

Ah, It looks like this is what you were trying to retype here (problem B2) https://assets.codeforces.com/rounds/1116/contest-editorial.pdf You've missed some essential parts.

– Danylo Y – 2020-05-04T09:22:49.363Actually I was referring to (https://render.githubusercontent.com/view/Workbook_Measurements_Part2.ipynb#peres-wooters-game), but this is very similar to your link (assets.codeforces.com/rounds/1116/contest-editorial.pdf) except for the normalization factor. Can you outline what I missed?

– mbuchberger1967 – 2020-05-04T22:33:56.597Your link isn't working for me. Just read carefully my link. That solution is correct and has all the details. – Danylo Y – 2020-05-04T23:25:21.910