Dopracowanie obliczeń + notatka z ćwiczeń

wykład-2022-03-10.tex

@@ -6,6 +6,7 @@
 \usepackage{polski}
 
 \newcommand\CC{\mathbb{C}}
+\newcommand\NN{\mathbb{N}}
 
 \begin{document}
 
@@ -23,10 +24,10 @@ iloczynem tensorowym macierzy $A$ i $B$ nazywamy macierz $ A \otimes B = M_{rt \
 
 $$
 A \otimes B = \begin{bmatrix}
-	a_{11} & B a_{12} & a_{13} B & \dots & a_{1s} B \\
-	a_{21} & B a_{22} & a_{23} B & \dots & a_{2s} B \\
-	\vdots                                          \\
-	a_{r1} & B a_{r2} & a_{r3} B & \dots & a_{rs} B \\
+	a_{11} B & a_{12} B & a_{13} B & \dots & a_{1s} B \\
+	a_{21} B & a_{22} B & a_{23} B & \dots & a_{2s} B \\
+	\vdots   &                                      \\
+	a_{r1} B & a_{r2} B & a_{r3} B & \dots & a_{rs} B \\
 \end{bmatrix}
 $$
 
@@ -80,12 +81,14 @@ Iloczyn tensorowy tworzy półgrupę.
 		(\alpha_1 |0\rangle + \beta_1|1\rangle) \otimes \alpha_2|0\rangle + (\alpha_1 |0\rangle + \beta_1|1\rangle) \otimes \beta_2|1\rangle = \alpha_1\alpha_2|00\rangle + \beta_1\alpha_2|10\rangle + \alpha_1\beta_2|01\rangle + \beta_1\beta_2|11\rangle
 		$$ wynika z tego układ równań (sprzeczny).
 		$$
+		\left\{
 		\begin{aligned}
 			\alpha_1\alpha_2 & = \frac{1}{\sqrt{2}} \\
 			\beta_1\beta_2 & = \frac{1}{\sqrt{2}} \\
 			\beta_1\alpha_2 & = 0 \\
 			\alpha_2\beta_2 & = 0
 		\end{aligned}
+		\right.
 		$$
 
 	\subsection{Postulat 4, postulat pomiaru} Pomiar kwantowy w bazie obliczeniowej jest opisywany przez zbiór $\{ M_m \}$ (macierzy) (hermitowskie operatory projekcji). Operatory te działają w przypisanej przestrzenii stanów mierzonego układu. Indeks $m$ jest wynikiem pomiaru.
@@ -113,12 +116,12 @@ Iloczyn tensorowy tworzy półgrupę.
 
 Przekształcenia unitarne z \ref{postulat2} to bramki algorytmów kwantowych.
 
-\subsection{Bramka hadamarda}
+\subsection{Bramka Hadamarda}
 
-Rysunek
+Dla $ n \in \NN $:
 
-\subsection{Bramka kontrolowanej negacji}
-
-Rysunek
+$$
+	H^{\otimes n} = \underbrace{\left( H \otimes \cdots \otimes H \right)}_{\text{n razy}} = 2^{-n} \sum_{i=0}^{n} |\text{bin}_n(i)\rangle
+$$ gdzie $\text{bin}_n(i)$ to $n$ bitowa reprezentacja dwójkowa liczby $i$
 
 \end{document}