Articulo de referencia

descomposición de Schmidt

En álgebra lineal , la descomposición de Schmidt (llamada así por su creador, Erhard Schmidt ) se refiere a una forma particular de expresar un vector en el producto tensorial d...

En álgebra lineal , la descomposición de Schmidt (llamada así por su creador, Erhard Schmidt ) se refiere a una forma particular de expresar un vector en el producto tensorial de dos espacios con producto interno . Tiene numerosas aplicaciones en la teoría de la información cuántica , por ejemplo, en la caracterización del entrelazamiento , la purificación de estados y la plasticidad .

Teorema

DejarH1{\displaystyle H_{1}}yH2{\displaystyle H_{2}}Sean espacios de Hilbert de dimensiones n y m respectivamente. Supongamos quenortemetro{\displaystyle n\geq m}. Para cualquier vectorw{\displaystyle w}en el producto tensorialH1H2{\displaystyle H_{1}\otimes H_{2}}Existen conjuntos ortonormales{1,,metro}H1{\displaystyle \{u_{1},\ldots ,u_{m}\}\subset H_{1}}y{v1,,vmetro}H2{\displaystyle \{v_{1},\ldots ,v_{m}\}\subset H_{2}}de tal manera quew=i=1metroαiivi{\textstyle w=\sum _{i=1}^{m}\alpha _{i}u_{i}\otimes v_{i}}donde los escalaresαi{\displaystyle \alpha _{i}}son reales, no negativos y únicos salvo reordenamiento.

Prueba

La descomposición de Schmidt es esencialmente una reformulación de la descomposición en valores singulares en un contexto diferente. Fijemos bases ortonormales.{mi1,,minorte}H1{\displaystyle \{e_{1},\ldots ,e_{n}\}\subset H_{1}}y{F1,,Fmetro}H2{\displaystyle \{f_{1},\ldots ,f_{m}\}\subset H_{2}}Podemos identificar un tensor elementalmiiFj{\displaystyle e_{i}\otimes f_{j}}con la matrizmiiFjT{\displaystyle e_{i}f_{j}^{\mathsf {T}}}, dóndeFjT{\displaystyle f_{j}^{\mathsf {T}}}es la transpuesta deFj{\displaystyle f_{j}}Un elemento general del producto tensorial

w=1inorte,1jmetroβijmiiFj{\displaystyle w=\sum _{1\leq i\leq n,1\leq j\leq m}\beta _{ij}e_{i}\otimes f_{j}}

entonces puede verse como la matriz n × m

METROw=(βij).{\displaystyle \;M_{w}=(\beta _ {ij}).}

Mediante la descomposición en valores singulares , existen una matriz unitaria U de n × n , una matriz unitaria V de m × m y una matriz diagonal semidefinida positiva Σ de m × m tales que

METROw=U[Σ0]V.{\displaystyle M_{w}=U{\begin{bmatrix}\Sigma \\0\end{bmatrix}}V^{*}.}

EscribirU=[U1U2]{\displaystyle U={\begin{bmatrix}U_{1}&U_{2}\end{bmatrix}}}dóndeU1{\displaystyle U_{1}}es n × m y tenemos

METROw=U1ΣV.{\displaystyle \;M_{w}=U_{1}\Sigma V^{*}.}

Dejar{1,,metro}{\displaystyle \{u_{1},\ldots ,u_{m}\}}sean los m vectores columna deU1{\displaystyle U_{1}},{v1,,vmetro}{\displaystyle \{v_{1},\ldots,v_{m}\}}los vectores columna deV¯{\displaystyle {\overline {V}}}, yα1,,αmetro{\displaystyle \alpha _{1},\ldots ,\alpha _{m}}los elementos diagonales de Σ. La expresión anterior es entonces

METROw=k=1metroαkkvkT,{\displaystyle M_{w}=\sum _{k=1}^{m}\alpha _{k}u_{k}v_{k}^{\mathsf {T}},}

Entonces

w=k=1metroαkkvk,{\displaystyle w=\sum _{k=1}^{m}\alpha _{k}u_{k}\otimes v_{k},}

lo cual prueba la afirmación.

Algunas observaciones

Algunas propiedades de la descomposición de Schmidt son de interés físico.

Espectro de estados reducidos

Consideremos un vectorw{\displaystyle w}del producto tensorial

H1H2{\displaystyle H_{1}\otimes H_{2}}

en forma de descomposición de Schmidt

w=i=1metroαiivi.{\displaystyle w=\sum _{i=1}^{m}\alpha _{i}u_{i}\otimes v_{i}.}

Formar la matriz de rango 1ρ=ww{\displaystyle \rho =ww^{*}}. Luego el rastro parcial deρ{\displaystyle \rho }, con respecto al sistema A o B , es una matriz diagonal cuyos elementos diagonales no nulos son|αi|2{\displaystyle |\alpha _ {i}|^{2}}. En otras palabras, la descomposición de Schmidt muestra que los estados reducidos deρ{\displaystyle \rho }En ambos subsistemas tienen el mismo espectro.

Rango de Schmidt y enredo

Los valores estrictamente positivosαi{\displaystyle \alpha _{i}}en la descomposición de Schmidt dew{\displaystyle w}son sus coeficientes de Schmidt , o números de Schmidt . El número total de coeficientes de Schmidt dew{\displaystyle w}, contado con multiplicidad, se denomina su rango de Schmidt .

Siw{\displaystyle w}puede expresarse como un producto

v{\displaystyle u\otimes v}

entoncesw{\displaystyle w}se denomina estado separable . De lo contrario,w{\displaystyle w}Se dice que es un estado entrelazado . A partir de la descomposición de Schmidt, podemos ver quew{\displaystyle w}está enredado si y solo siw{\displaystyle w}tiene rango de Schmidt estrictamente mayor que 1. Por lo tanto, dos subsistemas que dividen un estado puro están entrelazados si y solo si sus estados reducidos son estados mixtos.

entropía de Von Neumann

Una consecuencia de los comentarios anteriores es que, para estados puros, la entropía de von Neumann de los estados reducidos es una medida bien definida de entrelazamiento . Para la entropía de von Neumann de ambos estados reducidos deρ{\displaystyle \rho }esi|αi|2registro(|αi|2){\textstyle -\sum _{i}|\alpha _{i}|^{2}\log \left(|\alpha _{i}|^{2}\right)}y esto es cero si y solo siρ{\displaystyle \rho }es un estado producto (no entrelazado).

vector de rango de Schmidt

El rango de Schmidt se define para sistemas bipartitos, es decir, estados cuánticos.

|ψHAHB{\displaystyle |\psi \rangle \in H_{A}\otimes H_{B}}

El concepto de rango de Schmidt puede extenderse a sistemas cuánticos compuestos por más de dos subsistemas. [ 1 ]

Consideremos el sistema cuántico tripartito:

|ψHAHBHdo{\displaystyle |\psi \rangle \in H_{A}\otimes H_{B}\otimes H_{C}}

Hay tres maneras de reducir esto a un sistema bipartito realizando la traza parcial con respecto aHA,HB{\displaystyle H_{A},H_{B}}oHdo{\displaystyle H_{C}}

{ρ^A=TrA(|ψψ|)ρ^B=TrB(|ψψ|)ρ^do=Trdo(|ψψ|){\displaystyle {\begin{casos}{\hat {\rho }}_{A}=Tr_{A}(|\psi \rangle \langle \psi |)\\{\hat {\rho }}_{B}=Tr_{B}(|\psi \rangle \langle \psi |)\\{\hat {\rho }}_{C}=Tr_{C}(|\psi \rangle \langle \psi |)\end{casos}}}

Cada uno de los sistemas obtenidos es un sistema bipartito y, por lo tanto, puede caracterizarse por un número (su rango de Schmidt), respectivamente.rA,rB{\displaystyle r_{A},r_{B}}yrdo{\displaystyle r_{C}}Estos números capturan la "cantidad de entrelazamiento" en el sistema bipartito cuando se descartan respectivamente A, B o C. Por estas razones, el sistema tripartito puede describirse mediante un vector, concretamente el vector de rango de Schmidt.

r=(rA,rB,rdo){\displaystyle {\vec {r}}=(r_{A},r_{B},r_{C})}

El concepto de vector de rango de Schmidt también puede extenderse a sistemas compuestos por más de tres subsistemas mediante el uso de tensores .

Ejemplo

Fuente: [ 2 ]

Consideremos el estado cuántico tripartito.|ψ4,2,2=12(|0,0,0+|1,0,1+|2,1,0+|3,1,1){\displaystyle |\psi _{4,2,2}\rangle ={\frac {1}{2}}{\big (}|0,0,0\rangle +|1,0,1\rangle +|2,1,0\rangle +|3,1,1\rangle {\big )}}

Este tipo de sistema es posible gracias a la codificación del valor de un qudit en el momento angular orbital (OAM) de un fotón en lugar de en su espín , ya que este último solo puede tomar dos valores.

El vector de rango de Schmidt para este estado cuántico es(4,2,2){\displaystyle (4,2,2)}.

Véase también

Referencias

  1. Huber, Marcus; de Vicente, Julio I. (14 de enero de 2013). "Estructura del entrelazamiento multidimensional en sistemas multipartitos" . Physical Review Letters . 110 (3) 030501. arXiv : 1210.6876 . Bibcode : 2013PhRvL.110c0501H . doi : 10.1103/PhysRevLett.110.030501 . ISSN 0031-9007 . PMID 23373906. S2CID 44848143 .   
  2. Krenn, Mario; Malik, Mehul; Fickler, Robert; Lapkiewicz, Radek; Zeilinger, Anton (4 de marzo de 2016). "Búsqueda automatizada de nuevos experimentos cuánticos" . Physical Review Letters . 116 (9) 090405. arXiv : 1509.02749 . Bibcode : 2016PhRvL.116i0405K . doi : 10.1103/PhysRevLett.116.090405 . ISSN 0031-9007 . PMID 26991161. S2CID 20182586 .   

Lecturas adicionales

  • Pathak, Anirban (2013). Elementos de computación cuántica y comunicación cuántica . Londres: Taylor & Francis. pp. 92–98 . ISBN  978-1-4665-1791-2.
Obtenido de " https://en.wikipedia.org/w/index.php?title=Schmidt_decomposition&oldid=1320952175 "