Zum Inhalt springen

Schmidt-Zerlegung

aus Wikipedia, der freien Enzyklopädie

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 />