@@ -8,31 +8,14 @@ DATE: February 5, 2025
88
99!bblock
1010o Reminder and review of density matrices and measurements from last week
11- o Schmidt decomposition and entanglement
11+ # Postpone thiso Schmidt decomposition and entanglement
1212o Discussion of entropies, classical information entropy (Shannon entropy) and von Neumann entropy
13- o Single and two-qubit gates
13+ o Single-qubit and two-qubit gates and codes
1414o "Video of lecture to be added":"https://youtu.be/"
1515#Chapters 3 and 4 of Scherer's text contains useful discussions of several of these topics. More reading suggestions will be added.
1616!eblock
1717
1818
19- !split
20- ===== Motivation =====
21-
22- In order to study entanglement and why it is so important for quantum
23- computing, we need to introduce some basic measures and useful
24- quantities. For these endeavors, we will use our two-qubit system from
25- the second lecture in order to introduce and repeat, through examples, density
26- matrices and entropy. These two quantities, together with
27- technicalities like the Schmidt decomposition define important quantities in analyzing quantum computing examples.
28-
29- The Schmidt decomposition is again a
30- linear decomposition which allows us to express a vector in terms of
31- tensor product of two inner product spaces. In quantum information
32- theory and quantum computing it is widely used as away to define and
33- describe entanglement.
34-
35-
3619
3720!split
3821===== Reminder on density matrices and traces =====
@@ -322,118 +305,6 @@ $\rho_B$, that is we have for a given probability distribution $p_i$
322305\]
323306!et
324307
325- !split
326- ===== Schmidt decomposition =====
327- If we cannot write the density matrix in this form, we say the system
328- $AB$ is entangled. In order to see this, we can use the so-called
329- Schmidt decomposition, which is essentially an application of the
330- singular-value decomposition.
331-
332-
333- !split
334- ===== Pure states and Schmidt decomposition =====
335-
336- The Schmidt decomposition allows us to define a pure state in a
337- bipartite Hilbert space composed of systems $A$ and $B$ as
338-
339- !bt
340- \[
341- \vert\psi\rangle=\sum_{i=0}^{d-1}\sigma_i\vert i\rangle_A\vert i\rangle_B,
342- \]
343- !et
344- where the amplitudes $\sigma_i$ are real and positive and their
345- squared values sum up to one, $\sum_i\sigma_i^2=1$. The states $\vert
346- i\rangle_A$ and $\vert i\rangle_B$ form orthornormal bases for systems
347- $A$ and $B$ respectively, the amplitudes $\lambda_i$ are the so-called
348- Schmidt coefficients and the Schmidt rank $d$ is equal to the number
349- of Schmidt coefficients and is smaller or equal to the minimum
350- dimensionality of system $A$ and system $B$, that is $d\leq
351- \mathrm{min}(\mathrm{dim}(A), \mathrm{dim}(B))$.
352-
353-
354- !split
355- ===== Proof of Schmidt decomposition =====
356-
357- The proof for the above decomposition is based on the singular-value
358- decomposition. To see this, assume that we have two orthonormal bases
359- sets for systems $A$ and $B$, respectively. That is we have two ONBs
360- $\vert i\rangle_A$ and $\vert j\rangle_B$. We can always construct a
361- product state (a pure state) as
362-
363- !bt
364- \[ \vert\psi \rangle = \sum_{ij} c_{ij}\vert i\rangle_A\vert
365- j\rangle_B,
366- \]
367- !et
368- where the coefficients $c_{ij}$ are the overlap coefficients which
369- belong to a matrix $\bm{C}$.
370-
371-
372-
373- !split
374- ===== Further parts of proof =====
375-
376- If we now assume that the
377- dimensionalities of the two subsystems $A$ and $B$ are the same $d$,
378- we can always rewrite the matrix $\bm{C}$ in terms of a singular-value
379- decomposition with unitary/orthogonal matrices $\bm{U}$ and $\bm{V}$
380- of dimension $d\times d$ and a matrix $\bm{\Sigma}$ which contains the
381- (diagonal) singular values $\sigma_0\leq \sigma_1 \leq \dots 0$ as
382-
383- !bt
384- \[
385- \bm{C}=\bm{U}\bm{\Sigma}\bm{V}^{\dagger}.
386- \]
387- !et
388-
389- !split
390- ===== SVD parts in proof =====
391-
392- This means we can rewrite the coefficients $c_{ij}$ in terms of the singular-value decomposition
393- !bt
394- \[
395- c_{ij}=\sum_k u_{ik}\sigma_kv_{kj},
396- \]
397- !et
398- and inserting this in the definition of the pure state $\vert \psi\rangle$ we have
399-
400- !bt
401- \[
402- \vert\psi \rangle = \sum_{ij} \left(\sum_k u_{ik}\sigma_kv_{kj} \right)\vert i\rangle_A\vert j\rangle_B.
403- \]
404- !et
405-
406- !split
407- ===== Slight rewrite =====
408- We rewrite the last equation as
409-
410- !bt
411- \[
412- \vert\psi \rangle = \sum_{k}\sigma_k \left(\sum_i u_{ik}\vert i\rangle_A\right)\otimes\left(\sum_jv_{kj}\vert j\rangle_B\right),
413- \]
414- !et
415- which we identify simply as, since the matrices $\bm{U}$ and $\bm{V}$ represent unitary transformations,
416- !bt
417- \[
418- \vert\psi \rangle = \sum_{k}\sigma_k \vert k\rangle_A\vert k\rangle_B.
419- \]
420- !et
421-
422-
423- !split
424- ===== Different dimensionalities =====
425-
426- It is straight forward to prove this relation in case systems $A$ and
427- $B$ have different dimensionalities. Once we know the Schmidt
428- decomposition of a state, we can immmediately say whether it is
429- entangled or not. If a state $\psi$ has is entangled, then its Schmidt
430- decomposition has more than one term. Stated differently, the state is
431- entangled if the so-called Schmidt rank is is greater than one. There
432- is another important property of the Schmidt decomposition which is
433- related to the properties of the density matrices and their trace
434- operations and the entropies. In order to introduce these concepts let
435- us look at the two-qubit Hamiltonian described here.
436-
437308
438309!split
439310===== Entropies and density matrices =====
@@ -471,8 +342,6 @@ S=-\mathrm{Tr}[\rho\log_2{\rho}].
471342
472343_This part is best seen using the jupyter-notebook_.
473344
474- The system we discuss here is a continuation of the two qubit example from week 2.
475-
476345
477346This system can be thought of as composed of two subsystems
478347$A$ and $B$. Each subsystem has computational basis states
@@ -669,29 +538,3 @@ plt.show
669538!ec
670539
671540
672-
673-
674- !split
675- ===== Exercise: Two-qubit Hamiltonian =====
676-
677- Use the Hamiltonian for the two-qubit example to find the eigenpairs
678- as functions of the interaction strength $\lambda$ and study the final
679- eigenvectors as functions of the admixture of the original basis
680- states. Discuss the results as functions of the parameter $\lambda$ and compute the von Neumann
681- entropy and discuss the results. You will need to calculate the entropy of the subsystems $A$ or $B$.
682-
683-
684-
685-
686- !split
687- ===== The next lecture =====
688-
689- In our next lecture, we will discuss
690- o Reminder and review of entropy and entanglement
691- o Gates and circuits and how to perform operations on states
692-
693- "Reading: Chapters 2.1-2.11 of Hundt's text":"https://github.com/CompPhysics/QuantumComputingMachineLearning/blob/gh-pages/doc/Textbooks/Programming/chapter2.pdf"
694-
695-
696-
697-
0 commit comments