Schmidt-Zerlegung
In der linearen Algebra bezeichnet die Schmidt-Zerlegung (die nach Erhard Schmidt benannt ist) eine bestimmte Darstellung eines Vektors im Tensorprodukt von zwei Vektorräumen mit Skalarprodukt als Summe von wenigen paarweise orthonormalen Produktvektoren. Die Schmidt-Zerlegung findet zum Beispiel in der Quanteninformatik Anwendung.
Aussage
Seien <math>H_1</math> und <math>H_2</math> Hilberträume der Dimension <math>n</math> beziehungsweise <math>m</math> und sei <math>n \geq m</math>. Dann gibt es für jeden Vektor <math>v\in H_1 \otimes H_2</math> Mengen von paarweise orthonormalen Vektoren <math>\{ u_1, \ldots, u_m \} \subset H_1</math> und <math>\{ v_1, \ldots, v_m \} \subset H_2</math>, so dass
- <math>v = \sum_{i =1} ^m \alpha _i u_i \otimes v_i</math>
gilt, wobei die nicht-negativen Zahlen <math>\alpha_1\geq\alpha_2\geq...\geq\alpha_m\geq0</math> durch <math>v</math> eindeutig bestimmt sind.
Beweis
Die Schmidt-Zerlegung ist im Wesentlichen eine Konsequenz der Singulärwert-Zerlegung. Fixiere Orthonormalbasen <math>\{ e_1, \ldots, e_n \} \subset H_1</math> und <math>\{ f_1, \ldots, f_m \} \subset H_2</math>. Der Elementartensor <math>e_i \otimes f_j</math> kann mit der Matrix <math>e_i f_j ^T</math> (hier bezeichnet <math>f_j ^T</math> die Transposition von <math>f_j</math>) identifiziert werden. Ein beliebiger Vektor <math>v</math> lässt sich in der Basis <math>e_i\otimes f_j</math> schreiben als
- <math>v = \sum _{1 \leq i \leq n, 1 \leq j \leq m} \beta _{ij} e_i \otimes f_j</math>
und kann dann mit der <math>n\times m</math> Matrix
- <math>\; M_v = (\beta_{ij}) </math>
identifiziert werden. Nach der Singulärwertzerlegung gibt es unitäre Matrizen <math>U</math> auf <math>H_1</math> und <math>V</math> auf <math>H_2</math> und eine positiv-semidefinite <math>m\times m</math> Diagonalmatrix <math>\Sigma</math> so dass
- <math>M_v = U \begin{bmatrix} \Sigma \\ 0 \end{bmatrix} V^T .</math>
Schreibt man <math>U =\begin{bmatrix} U_1 & U_2 \end{bmatrix}</math>, wobei <math>U_1</math> eine <math>n\times m</math>-Matrix ist, dann erhält man
- <math>\; M_v = U_1 \Sigma V^T .</math>
Bezeichnet man nun die ersten <math>m</math> Spaltenvektoren von <math>U_1</math> mit <math>\{ u_1, \ldots, u_m \}</math> und mit <math>\{ v_1, \ldots, v_m \}</math> die Spaltenvektoren von V und die Diagonalelemente der Matrix <math>\Sigma</math> mit <math>\alpha_1, \ldots, \alpha_m</math> dann folgt
- <math>M_v = U_1 \Sigma V^T = \sum _{i=1} ^m \alpha_i u_i v_i ^T = \sum _{i=1} ^m \alpha_i u_i \otimes v_i </math>,
was die Behauptung beweist.
Verwendung in der Physik
Die Schmidt-Zerlegung findet z. B. in der Quantenphysik Anwendung.
Spektrum reduzierter Zustände
Betrachte einen Vektor in der Schmidt-Form
- <math>w = \sum_{i =1} ^m \alpha _i u_i \otimes v_i.</math>
Die Matrix <math>\rho = w w^*</math> (<math>w^*</math> bezeichnet den zu <math>w</math> adjungierten Vektor) ist ein eindimensionaler Projektor auf <math>H_1\otimes H_2</math>. Die partielle Spur von <math>\rho</math> bezüglich entweder dem Teilsystem <math>H_1</math> oder <math>H_2</math> ist dann durch eine Diagonalmatrix gegeben, deren nicht-verschwindende Einträge <math>|\alpha_i|^2</math> sind. Anders ausgedrückt zeigt die Schmidt-Zerlegung, dass das Spektrum der beiden partiellen Spuren <math>\text{tr}_1(\rho)</math> und <math>\text{tr}_2(\rho)</math> gleich ist.
In der Quantenmechanik beschreibt <math>\rho</math> (wie jeder eindimensionale Projektor auf <math>H_1\otimes H_2</math>) den reinen Zustand eines aus zwei Teilen zusammengesetzten Systems und <math>\rho_2:=\text{tr}_1(\rho)</math> bzw. <math>\rho_1 := \text{tr}_2(\rho)</math> beschreibt den reduzierten Zustand im Teilsystem 2 bzw. 1. Das Spektrum des reduzierten Zustands bestimmt unter anderem dessen Von-Neumann-Entropie sowie verschiedene Verschränkungsmaße des reinen Zustands <math>\rho</math>.<ref name="Vidal2000">{{#invoke:Vorlage:Literatur|f}}{{#if:
| {{#if: Vorlage:Cite book/ParamBool
| Vorlage:Toter Link/archivebot
| Vorlage:Webarchiv/archiv-bot
}}
}}{{#invoke:TemplatePar|check
|all = title=
|opt = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical= name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx= accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
|errNS = 0
|template = Vorlage:Cite journal
|format =
|preview = 1
}}Vorlage:Cite book/URL{{#if: | Vorlage:Cite book/Meldung }}{{#if: | Vorlage:Cite book/Meldung }}{{#if: J. Mod. Opt.
|| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:Guifre Vidal|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}</ref>
Schmidt-Rang und Verschränkung
Für einen Vektor <math>w\in H_1 \otimes H_2</math> werden die strikt positiven Werte <math>\alpha_i>0</math> in seiner Schmidt-Zerlegung als seine Schmidt-Koeffizienten bezeichnet. Die Anzahl von Schmidt-Koeffizienten heißt Schmidt-Rang von <math>w</math>.
Die folgenden Aussagen sind äquivalent:
- der Schmidt-Rang von <math>w</math> ist größer als eins
- <math>w</math> lässt sich nicht als Produktvektor <math>u \otimes v</math> schreiben
- <math>w</math> ist verschränkt
- die reduzierten Zustände von <math>w</math> sind nicht rein
Aus den Schmidt-Koeffizienten eines reinen Zustands <math>w</math> lassen sich alle seine Verschränkungseigenschaften bestimmen<ref name="Vidal2000" />. Auch das Verhalten von <math>w</math> unter lokalen Quantenoperationen ist durch die Schmidt-Koeffizienten festgelegt, insbesondere, ob sich zwei Zustände lokal ineinander transformieren lassen.<ref name="Nielsen1999">{{#invoke:Vorlage:Literatur|f}}{{#if:
| {{#if: Vorlage:Cite book/ParamBool
| Vorlage:Toter Link/archivebot
| Vorlage:Webarchiv/archiv-bot
}}
}}{{#invoke:TemplatePar|check
|all = title=
|opt = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical= name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx= accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
|errNS = 0
|template = Vorlage:Cite journal
|format =
|preview = 1
}}Vorlage:Cite book/URL{{#if: | Vorlage:Cite book/Meldung }}{{#if: | Vorlage:Cite book/Meldung }}{{#if: Phys. Rev. Lett.
|| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:M. A. Nielsen|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}</ref>
Literatur
- Erhard Schmidt: Zur Theorie der linearen und nichtlinearen Integralgleichungen, Mathematische Annalen 63, 433–476 (1907).
- Asher Peres: Quantum Theory: Concepts and Methods, Kluwer (Dordrecht, 1993), Kapitel 5.
- {{#invoke:Vorlage:Literatur|f}}{{#if:
| {{#if: Vorlage:Cite book/ParamBool
| Vorlage:Toter Link/archivebot
| Vorlage:Webarchiv/archiv-bot
}}
}}{{#invoke:TemplatePar|check
|all = title=
|opt = vauthors= author= author1= authorlink= author-link= author-link1= author1-link= author2= author3= author4= author5= author6= author7= author8= author9= editor= last= first= last1= first1= last2= first2= last3= first3= last4= first4= last5= first5= last6= first6= last7= first7= last8= first8= last9= first9= last10= first10= last11= first11= last12= first12= last13= first13= last14= first14= last15= first15= others= script-title= trans-title= date= year= volume= issue= number= series= page= pages= at= issn= arxiv= bibcode= doi= pmid= pmc= jstor= oclc= id= url= url-status= format= access-date= archive-date= archive-url= archivebot= offline= location= publisher= language= quote= work= journal= newspaper= magazine= periodical= name-list-style= url-access= doi-access= display-authors= via= s2cid= mr= type= citeseerx= accessdate= archivedate= archiveurl= coauthors= month= day= last16= first16= last17= first17= last18= first18= last19= first19= last20= first20= last21= first21= last22= first22= last23= first23= last24= first24= last25= first25= last26= first26= last27= first27= last28= first28= last29= first29= last30= first30= last31= first31=
|cat = Wikipedia:Vorlagenfehler/Vorlage:Cite journal
|errNS = 0
|template = Vorlage:Cite journal
|format =
|preview = 1
}}Vorlage:Cite book/URL{{#if: | Vorlage:Cite book/Meldung }}{{#if: | Vorlage:Cite book/Meldung }}{{#if: American Journal of Physics
|| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}{{#if: Vorlage:Cite book/ParamBool
| Vorlage:Cite book/Meldung
}}Vorlage:Cite book/Meldung2{{#ifexpr: 0{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:Artur Ekert und Peter L. Knight|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
| Vorlage:Cite book/Meldung
}}
Einzelnachweise
<references />