Create pauli.tex

Author: mhjensen

doc/src/week7/Latexfiles/pauli.tex

@@ -0,0 +1,77 @@
+\documentclass{article}
+\usepackage{amsmath}
+\usepackage{physics}
+
+\begin{document}
+
+\section*{Rewriting a String of Pauli Matrices for Measurement}
+
+In quantum mechanics, Pauli matrices are often used to represent spin operators. A string of Pauli matrices can appear in various contexts, such as in the Hamiltonian or in the context of quantum error correction. To perform a measurement, it is often useful to rewrite the string of Pauli matrices in a specific order or to simplify the expression.
+
+\subsection*{Pauli Matrices}
+
+The Pauli matrices are defined as:
+\[
+\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}.
+\]
+
+\subsection*{Rewriting a String of Pauli Matrices}
+
+Consider a string of Pauli matrices of the form:
+\[
+P = \sigma_{i_1} \otimes \sigma_{i_2} \otimes \cdots \otimes \sigma_{i_n},
+\]
+where each $\sigma_{i_k}$ is one of the Pauli matrices $\sigma_x$, $\sigma_y$, $\sigma_z$, or the identity matrix $I$.
+
+To rewrite this string for measurement purposes, follow these steps:
+
+\begin{enumerate}
+   \item \textbf{Commute and reorder}: Use the commutation relations of the Pauli matrices to reorder the string. The commutation relations are:
+   \[
+   [\sigma_i, \sigma_j] = 2i \epsilon_{ijk} \sigma_k,
+   \]
+   where $\epsilon_{ijk}$ is the Levi-Civita symbol. This allows you to move certain Pauli matrices to the left or right in the string.
+
+   \item \textbf{Simplify using identities}: Use the fact that $\sigma_i^2 = I$ and $\sigma_i \sigma_j = -\sigma_j \sigma_i$ for $i \neq j$ to simplify the expression. For example:
+   \[
+   \sigma_x \sigma_y = -\sigma_y \sigma_x = i \sigma_z.
+   \]
+
+   \item \textbf{Group terms}: Group terms that are easier to measure together. For example, if you have a term like $\sigma_x \otimes \sigma_x$, you can measure both qubits in the $X$-basis simultaneously.
+
+   \item \textbf{Diagonalize if necessary}: If the final expression is not diagonal, you may need to apply a unitary transformation to diagonalize it before measurement. For example, to measure $\sigma_x$, you can apply the Hadamard gate $H$ to transform it into $\sigma_z$:
+   \[
+   H \sigma_x H = \sigma_z.
+   \]
+\end{enumerate}
+
+\subsection*{Example}
+
+Consider the following string of Pauli matrices:
+\[
+P = \sigma_x \otimes \sigma_y \otimes \sigma_z.
+\]
+
+To rewrite this for measurement:
+
+\begin{enumerate}
+   \item Use the commutation relations to reorder the terms if needed.
+   \item Simplify using identities:
+   \[
+   \sigma_x \sigma_y = i \sigma_z.
+   \]
+   \item Group terms:
+   \[
+   P = (i \sigma_z) \otimes \sigma_z = i (\sigma_z \otimes \sigma_z).
+   \]
+   \item The term $\sigma_z \otimes \sigma_z$ is already diagonal and can be measured directly in the $Z$-basis.
+\end{enumerate}
+
+Thus, the rewritten string is:
+\[
+P = i (\sigma_z \otimes \sigma_z).
+\]
+
+\end{document}