7
$\begingroup$

I would like to represent the state of a qubit on a Bloch sphere from the measurements made with Q#.

According the documentation, it is possible to measure a qubit in the different Pauli bases (PauliX, PauliY, PauliZ). This returns Zero if the +1 eigenvalue is observed, and One if the −1 eigenvalue is observed.

I can repeat this several times to find the probabilities for each base. Unfortunately, from there, I don't know how to calculate the density matrix or the X, Y, Z coordinates needed to use the jQuery plugin to create the Bloch sphere.

Is it possible to find the density matrix or the X, Y, Z coordinates from these measurements? If yes, how ?

$\endgroup$
4
$\begingroup$

The problem you are describing (i.e. finding an approximation of some state given some number of identical copies of it and some set of measurements) is known as quantum state tomography or state tomography for short.

In practise, the most efficient schemes for state tomography will depend on a specific experiment's setup and limitations, for which different protocols exist (see the wikipedia page for an overview). Because the efficiency scaling of state tomography is notoriously bad in general, finding optimal tomography schemes for particular scenarios is an active area of research.

That being said, for the rest of this answer I will assume that efficiency scalings are not important for what you want to do and describe the general theory behind state tomography on a single qubit.

It can be shown that any density matrix can be written out as a linear combination of Pauli matrices, such that $$ \rho = \frac{1}{2}(I + x\sigma_x + y\sigma_y + z\sigma_z) = \frac{1}{2} (I + \vec{r} \cdot \vec{\sigma}) $$ where $\vec{\sigma} = (\sigma_x, \sigma_y, \sigma_z)$ and $\vec{r} = (x, y, z)$ is the so-called Bloch vector representing the coordinates on the Bloch sphere you reference above. To find these, we observe that $$ x = \textrm{Tr}(\rho \sigma_x) = \langle \sigma_x \rangle_\rho, \quad y = \textrm{Tr}(\rho \sigma_y) = \langle \sigma_y \rangle_\rho, \quad z = \textrm{Tr}(\rho \sigma_z) = \langle \sigma_z \rangle_\rho. $$ and so each the amplitude of each component of the Bloch vector is given by the expectation value of it's associated Pauli operator on $\rho$. Recall that the expectation value $\langle A \rangle_\rho$ is given by the average over all eigenvalues returned by measurement of $A$ on $\rho$.

So, to find the state's Bloch vector, just perform each Pauli measurements many times to find the respective expectation value.

Finally, to retrieve the matrix representation of $\rho$, simply recall that $$ I = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}, \quad \sigma_x = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \quad \sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} \quad \sigma_z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}, $$

and so

$$ \rho = \frac{1}{2} \begin{pmatrix} 1 + z & x - iy \\ x + iy & 1 - z \end{pmatrix}. $$

Useful links and further reading:

Afterword:

By extending this protocol to two qubits we can flavour of why state tomography is not scalable in general. For two qubits $\rho_1$ and $\rho_2$ the combined state $\rho_{1,2} = \rho_1 \otimes \rho_2$ is given by \begin{align} \rho_{1,2} = \frac{1}{2} (I + \vec{r}_1 \cdot \vec{\sigma}_1) \otimes \frac{1}{2} (I + \vec{r}_2 \cdot \vec{\sigma}_2) \end{align} which is going to contain $4^2 = 16$ components, one for each $2$-fold Pauli operator. Clearly a strategy that requires $4^n$ different expectation values to be estimated to recover an $n$-qubit state is unfeasible for even small systems of qubits. So this is where the aforementioned research comes in.

$\endgroup$
  • $\begingroup$ Thank you for your answer ! Your last formula for the density matrix is very useful. It helped me find my mistake. In fact, my biggest problem was the misunderstanding of the return value of the Q# measurement function. $\endgroup$ – JRial95 Jun 28 '18 at 14:28
1
$\begingroup$

SLesslyTall's answer is correct and very well explained. Let me add a little explanation on the interpretation of the return value of the Q# measurement function.

When you measure many times a qubit with the state $|1\rangle$, here are the results you get :

  • Measurements in the Pauli $X$ basis : 50% of Zero and 50% of One
  • Measurements in the Pauli $Y$ basis : 50% of Zero and 50% of One
  • Measurements in the Pauli $Z$ basis : 0% of Zero and 100% of One

As explained in the documentation, the function returns Zero for the $+1$ eigenvalue and One for the $-1$ eigenvalue. So to find $x$, $y$, $z$ you have to perform the following calculations:

  • $x = 0.5 \cdot 1 + 0.5 \cdot (-1) = 0.5 - 0.5 = 0$
  • $y = 0.5 \cdot 1 + 0.5 \cdot (-1) = 0.5 - 0.5 = 0$
  • $z = 0 \cdot 1 + 1 \cdot (-1) = 0 - 1 = -1$

Then to get the density matrix, you can use the formula given by SLesslyTall:

$\rho = \frac{1}{2}\begin{pmatrix}1+z&x-iy\\x+iy&1-z\end{pmatrix} = \frac{1}{2}\begin{pmatrix}1+(-1)&0-i0\\0+i0&1-(-1)\end{pmatrix} = \frac{1}{2}\begin{pmatrix}0&0\\0&2\end{pmatrix} = \begin{pmatrix}0&0\\0&1\end{pmatrix}$

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.