La segunda cuantificación , también conocida como representación del número de ocupación , es un formalismo utilizado para describir y analizar sistemas cuánticos de muchos cuerpos . En la teoría cuántica de campos , se conoce como cuantificación canónica , en la que los campos (típicamente como funciones de onda de la materia) se consideran operadores de campo , de una manera similar a cómo son las cantidades físicas (posición, momento, etc.) pensados como operadores en la primera cuantificación . Las ideas clave de este método fueron introducidas en 1927 por Paul Dirac , [1] y fueron desarrolladas, sobre todo, por Vladimir Fock yPascual Jordan después. [2] [3]
En este enfoque, los estados cuánticos de muchos cuerpos se representan en la base del estado de Fock , que se construye llenando cada estado de una sola partícula con un cierto número de partículas idénticas. El segundo formalismo de cuantificación introduce los operadores de creación y aniquilación para construir y manejar los estados de Fock, proporcionando herramientas útiles para el estudio de la teoría cuántica de muchos cuerpos.
Estados cuánticos de muchos cuerpos
El punto de partida del segundo formalismo de cuantificación es la noción de indistinguibilidad de partículas en la mecánica cuántica. A diferencia de la mecánica clásica, donde cada partícula está etiquetada por un vector de posición distinto y diferentes configuraciones del conjunto de s corresponden a diferentes estados de muchos cuerpos, en la mecánica cuántica, las partículas son idénticas, de modo que intercambiando dos partículas, es decir,, no conduce a un estado cuántico de muchos cuerpos diferente . Esto implica que la función de onda cuántica de muchos cuerpos debe ser invariante (hasta un factor de fase) bajo el intercambio de dos partículas. Según las estadísticas de las partículas, la función de onda de muchos cuerpos puede ser simétrica o antisimétrica bajo el intercambio de partículas:
Esta propiedad de simetría de intercambio impone una restricción a la función de onda de muchos cuerpos. Cada vez que se agrega o quita una partícula del sistema de muchos cuerpos, la función de onda debe estar adecuadamente simetrizada o antisimetrizada para satisfacer la restricción de simetría. En el primer formalismo de cuantificación, esta restricción está garantizada al representar la función de onda como una combinación lineal de permanentes (para bosones) o determinantes (para fermiones) de estados de una sola partícula. En el segundo formalismo de cuantificación, los operadores de creación y aniquilación se encargan automáticamente de la cuestión de la simetrización, de modo que su notación puede ser mucho más sencilla.
Función de onda de muchos cuerpos cuantificada por primera vez
Considere un conjunto completo de funciones de onda de una sola partícula etiquetado por (que puede ser un índice combinado de varios números cuánticos). La siguiente función de onda
representa un estado de N -partícula con la i- ésima partícula ocupando el estado de una sola partícula. En la notación abreviada, el argumento de posición de la función de onda puede omitirse, y se supone que la i- ésima función de onda de una sola partícula describe el estado de la i- ésima partícula. La función de ondano se ha simétrizado ni antisimetrizado, por lo que, en general, no se ha calificado como función de onda de muchos cuerpos para partículas idénticas. Sin embargo, los operadores pueden llevarlo a la forma simétrica (antisimetrizada) para simetrizador, y para antisimetrizador .
Para los bosones, la función de onda de muchos cuerpos debe estar simétrizada,
mientras que para los fermiones, la función de onda de muchos cuerpos debe ser antisimetrizada,
Aquí es un elemento en el grupo de permutación N -cuerpo (o grupo simétrico ), que realiza una permutación entre las etiquetas de estado, y denota el signo de permutación correspondiente .es el operador de normalización que normaliza la función de onda. (Es el operador el que aplica un factor de normalización numérico adecuado a los tensores simétricos de grado n ; consulte la siguiente sección para conocer su valor).
Si uno organiza las funciones de onda de una sola partícula en una matriz , tal que el elemento de matriz fila- i columna- j es, A continuación, la función de onda de muchos cuerpos de Higgs puede ser simplemente escrito como una permanente , y la función de onda fermiónica de muchos cuerpos como determinante (también conocido como determinante de Slater ).
Estados Fock de segundo cuantificado
Las primeras funciones de onda cuantificadas implican complicados procedimientos de simetrización para describir estados de muchos cuerpos físicamente realizables porque el lenguaje de la primera cuantificación es redundante para partículas indistinguibles. En el primer lenguaje de cuantificación, el estado de muchos cuerpos se describe respondiendo a una serie de preguntas como "¿Qué partícula está en qué estado?" . Sin embargo, estas no son cuestiones físicas, porque las partículas son idénticas y es imposible saber qué partícula es cuál en primer lugar. Los estados aparentemente diferentes y son en realidad nombres redundantes del mismo estado cuántico de muchos cuerpos. Por tanto, la simetrización (o antisimetrización) debe introducirse para eliminar esta redundancia en la primera descripción de cuantificación.
En el segundo lenguaje de cuantificación, en lugar de preguntar "cada partícula en qué estado", uno pregunta "¿Cuántas partículas hay en cada estado?" . Debido a que esta descripción no se refiere al etiquetado de partículas, no contiene información redundante y, por lo tanto, conduce a una descripción precisa y más simple del estado cuántico de muchos cuerpos. En este enfoque, el estado de muchos cuerpos se representa en la base del número de ocupación, y el estado de base está etiquetado por el conjunto de números de ocupación, denotado
lo que significa que hay partículas en el estado de una sola partícula (o como ). Los números de ocupación suman el número total de partículas, es decir. Para fermiones , el número de ocupaciónsolo puede ser 0 o 1, debido al principio de exclusión de Pauli ; mientras que para los bosones puede ser cualquier número entero no negativo
El número de ocupación dice también se conocen como estados de Fock. Todos los estados de Fock forman una base completa del espacio de Hilbert de muchos cuerpos, o espacio de Fock . Cualquier estado cuántico genérico de muchos cuerpos se puede expresar como una combinación lineal de estados de Fock.
Tenga en cuenta que además de proporcionar un lenguaje más eficiente, el espacio Fock permite un número variable de partículas. Como espacio de Hilbert , es isomorfo a la suma de los espacios tensoriales fermiónicos o bosónicos de n partículas descritos en la sección anterior, incluido un espacio unidimensional de partículas cero ℂ.
El estado de Fock con todos los números de ocupación iguales a cero se llama estado de vacío , denotado. El estado de Fock con solo un número de ocupación distinto de cero es un estado de Fock monomodo, denotado. En términos de la primera función de onda cuantificada, el estado de vacío es el producto del tensor unitario y se puede denotar. El estado de una sola partícula se reduce a su función de onda.. Otros estados monomodo de muchos cuerpos (bosones) son solo el producto tensorial de la función de onda de ese modo, como y . Para estados Fock multimodo (es decir, más de un estado de una sola partícula está involucrado), la función de onda correspondiente en la primera cuantificación requerirá una simetrización adecuada de acuerdo con las estadísticas de partículas, por ejemplo para un estado de bosón, y para un estado de fermión (el símbolo Entre y se omite por simplicidad). En general, se encuentra que la normalización es, donde N es el número total de partículas. Para el fermión, esta expresión se reduce a como solo puede ser cero o uno. Entonces, la primera función de onda cuantificada correspondiente al estado de Fock dice
para bosones y
para fermiones. Tenga en cuenta que para los fermiones, solo, por lo que el producto tensorial anterior es efectivamente solo un producto sobre todos los estados ocupados de una sola partícula.
Operadores de creación y aniquilación
Los operadores de creación y aniquilación se introducen para agregar o eliminar una partícula del sistema de muchos cuerpos. Estos operadores se encuentran en el núcleo del segundo formalismo de cuantificación, cerrando la brecha entre el primer y el segundo estado cuantificado. Al aplicar el operador de creación (aniquilación) a una función de onda de muchos cuerpos cuantificada por primera vez, se insertará (eliminará) un estado de una sola partícula de la función de onda de forma simétrica según las estadísticas de las partículas. Por otro lado, todos los estados de Fock cuantificados en segundo lugar se pueden construir aplicando los operadores de creación al estado de vacío repetidamente.
Los operadores de creación y aniquilación (para bosones) se construyen originalmente en el contexto del oscilador armónico cuántico como los operadores de subida y bajada, que luego se generalizan a los operadores de campo en la teoría cuántica de campos. [4] Son fundamentales para la teoría cuántica de muchos cuerpos, en el sentido de que cada operador de muchos cuerpos (incluido el hamiltoniano del sistema de muchos cuerpos y todos los observables físicos) puede expresarse en términos de ellos.
Operación de inserción y eliminación
La creación y aniquilación de una partícula se implementa mediante la inserción y eliminación del estado de una sola partícula de la primera función de onda cuantificada de manera simétrica o antisimétrica. Dejar ser un estado de partícula única, sea 1 la identidad del tensor (es el generador del espacio de partícula cero ℂ y satisface en el álgebra tensorial sobre el espacio fundamental de Hilbert), y dejeser un estado de producto tensorial genérico. La inserción y la eliminación Los operadores son operadores lineales definidos por las siguientes ecuaciones recursivas
Aquí es el símbolo delta de Kronecker , que da 1 siy 0 en caso contrario. El subíndice de los operadores de inserción o supresión indica si se implementa la simetrización (para bosones) o antisimetrización (para fermiones).
Operadores de creación y aniquilación de bosones
El operador de creación de bosones (resp. Aniquilación) generalmente se denota como (resp. ). El operador de creación agrega un bosón al estado de una sola partícula , y el operador de aniquilación elimina un bosón del estado de una sola partícula . Los operadores de creación y aniquilación son hermitianos conjugados entre sí, pero ninguno de ellos es operador hermitiano ().
Definición
El operador de creación de bosones (aniquilación) es un operador lineal, cuya acción sobre una función de onda cuantificada de primera partícula de N Se define como
dónde inserta el estado de una sola partícula en Posibles posiciones de inserción simétricamente, y elimina el estado de una sola partícula de Posibles posiciones de eliminación simétricamente.
En adelante, el símbolo del tensor entre estados de una sola partícula se omite por simplicidad. Toma el estado, crea un bosón más en el estado ,
Luego aniquila un bosón del estado ,
Acción en los estados de Fock
Comenzando desde el estado de vacío monomodo , aplicando el operador de creación repetidamente, uno encuentra
El operador de creación eleva el número de ocupación del bosón en 1. Por lo tanto, el operador de creación del bosón puede construir todos los estados del número de ocupación a partir del estado de vacío.
Por otro lado, el operador de aniquilación reduce el número de ocupación del bosón en 1
También apagará el estado de vacío. ya que no ha quedado ningún bosón en el estado de vacío para ser aniquilado. Usando las fórmulas anteriores, se puede demostrar que
significa que define el operador del número de bosones.
El resultado anterior se puede generalizar a cualquier estado de bosones de Fock.
Estas dos ecuaciones pueden considerarse como las propiedades definitorias de los operadores de creación y aniquilación de bosones en el formalismo de segunda cuantificación. Los operadores de creación y aniquilación (cuando actúan sobre la primera función de onda cuantificada) se encargan automáticamente de la complicada simetrización de la función de onda subyacente de la primera cuantificación, de modo que la complejidad no se revela en el segundo nivel cuantificado, y el Las fórmulas de segunda cuantificación son simples y ordenadas.
Identidades del operador
Las siguientes identidades de operador se derivan de la acción de los operadores de creación y aniquilación de bosones en el estado de Fock,
Estas relaciones de conmutación pueden considerarse como la definición algebraica de los operadores de creación y aniquilación de bosones. El hecho de que la función de onda de muchos cuerpos del bosón sea simétrica bajo el intercambio de partículas también se manifiesta por la conmutación de los operadores del bosón.
Los operadores de subida y bajada del oscilador armónico cuántico también satisfacen el mismo conjunto de relaciones de conmutación, lo que implica que los bosones pueden interpretarse como cuantos de energía (fonones) de un oscilador. Los operadores de posición y momento de un oscilador armónico (o una colección de modos oscilantes armónicos) vienen dados por combinaciones hermitianas de operadores de creación y aniquilación de fonones,
que reproducen la relación de conmutación canónica entre los operadores de posición y momento (con $ \ hbar = 1 $)
Esta idea se generaliza en la teoría cuántica del campo , que considera cada modo del campo de materia como un oscilador sujeto a fluctuaciones cuánticas, y los bosones se tratan como las excitaciones (o cuantos de energía) del campo.
Operadores de creación y aniquilación de fermiones
El operador de creación (aniquilación) del fermión generalmente se denota como (). El operador de creación agrega un fermión al estado de una sola partícula , y el operador de aniquilación elimina un fermión del estado de una sola partícula .
Definición
El operador de creación (aniquilación) de fermiones es un operador lineal, cuya acción sobre una función de onda cuantificada de primera partícula de N Se define como
dónde inserta el estado de una sola partícula en Posibles posiciones de inserción de forma antisimétrica, y elimina el estado de una sola partícula de Posibles posiciones de deleción antisimétricamente.
En adelante, el símbolo del tensor entre estados de una sola partícula se omite por simplicidad. Toma el estado, intente crear un fermión más en el ocupado El estado apagará toda la función de onda de muchos cuerpos,
Aniquilar un fermión en el estado, toma el estado ,
El signo menos (conocido como el signo del fermión) aparece debido a la propiedad antisimétrica de la función de onda del fermión.
Acción en los estados de Fock
Comenzando desde el estado de vacío monomodo , aplicando el operador de creación de fermiones ,
Si el estado de una sola partícula está vacío, el operador de creación llenará el estado con un fermión. Sin embargo, si el estado ya está ocupado por un fermión, la aplicación adicional del operador de creación apagará el estado, demostrando el principio de exclusión de Pauli de que dos fermiones idénticos no pueden ocupar el mismo estado simultáneamente. Sin embargo, el fermión puede ser eliminado del estado ocupado por el operador de aniquilación del fermión.,
El estado de vacío se apaga mediante la acción del operador de aniquilación.
Al igual que en el caso del bosón, el estado de Fock del fermión se puede construir a partir del estado de vacío utilizando el operador de creación de fermiones.
Es fácil comprobar (por enumeración) que
significa que define el operador del número de fermiones.
El resultado anterior se puede generalizar a cualquier estado de fermiones de Fock.
Recuerde que el número de ocupación solo puede tomar 0 o 1 para fermiones. Estas dos ecuaciones pueden considerarse como las propiedades definitorias de los operadores de creación y aniquilación de fermiones en el segundo formalismo de cuantificación. Tenga en cuenta que la estructura del signo del fermión, también conocida como la cadena Jordan-Wigner , requiere que exista un orden predefinido de los estados de una sola partícula (la estructura de giro ) [ aclaración necesaria ] e implica un recuento de los números de ocupación del fermión de todos los estados anteriores; por lo tanto, los operadores de creación y aniquilación de fermiones se consideran no locales en cierto sentido. Esta observación lleva a la idea de que los fermiones son partículas emergentes en el sistema de qubit locales entrelazados de largo alcance . [5]
Identidades del operador
Las siguientes identidades de operador se derivan de la acción de los operadores de creación y aniquilación de fermiones en el estado de Fock,
Estas relaciones anti-conmutación pueden considerarse como la definición algebraica de los operadores de creación y aniquilación de fermiones. El hecho de que la función de onda de muchos cuerpos del fermión sea antisimétrica bajo el intercambio de partículas también se manifiesta por la anti-conmutación de los operadores del fermión.
Los operadores de creación y aniquilación son hermitianos conjugados entre sí, pero ninguno de ellos es operador hermitiano (). La combinación hermitiana de los operadores de creación y aniquilación de fermiones
se denominan operadores de fermiones de Majorana . Pueden verse como el análogo fermiónico de los operadores de posición y momento de un oscilador armónico "fermiónico". Satisfacen la relación de anticonmutación.
donde $ i, j $ etiqueta cualquier operador de fermiones de Majorana en pie de igualdad (independientemente de su origen de la combinación Re o Im de operadores de fermiones complejos $ c _ {\ alpha} $). La relación de anticonmutación indica que los operadores de fermiones de Majorana generan un álgebra de Clifford , que se puede representar sistemáticamente como operadores de Pauli en el espacio de Hilbert de muchos cuerpos.
Operadores de campo cuántico
Definiendo como un operador general de aniquilación (creación) para un estado de una sola partícula que podría ser fermiónico o bosónico , la representación del espacio real de los operadores define los operadores de campo cuántico y por
Estos son segundos operadores de cuantificación, con coeficientes y que son funciones de onda ordinarias de primera cuantificación . Así, por ejemplo, los valores esperados serán funciones de onda ordinarias de primera cuantificación. Hablando libremente,es la suma de todas las formas posibles de agregar una partícula al sistema en la posición r a través de cualquiera de los estados básicos, no necesariamente ondas planas, como se muestra a continuación.
Desde y son segundos operadores de cuantificación definidos en cada punto del espacio, se les llama operadores de campo cuántico . Obedecen las siguientes relaciones fundamentales de conmutador y anticonmutador,
- campos de bosones,
- campos de fermiones.
Para sistemas homogéneos, a menudo es deseable transformar entre el espacio real y las representaciones de momento, por lo tanto, los operadores de campos cuánticos en base de Fourier dan como resultado:
Comentar la nomenclatura
El término "segunda cuantificación", introducido por Jordan, [6] es un nombre inapropiado que ha persistido por razones históricas. En el origen de la teoría cuántica de campos, se pensó erróneamente que la ecuación de Dirac describía una función de onda relativista (de ahí la obsoleta interpretación del "mar de Dirac"), en lugar de un campo de espinor clásico que, cuando se cuantifica (como el campo escalar), produce campo cuántico fermiónico (frente a un campo cuántico bosónico).
Uno no está cuantificando "de nuevo", como podría sugerir el término "segundo"; el campo que se cuantifica no es una función de onda de Schrödinger que se produjo como resultado de la cuantificación de una partícula, sino un campo clásico (como el campo electromagnético o el campo espinor de Dirac ), esencialmente un conjunto de osciladores acoplados, que no fue previamente cuantificado. Uno simplemente está cuantificando cada oscilador en este ensamblaje, pasando de un tratamiento semiclásico del sistema a uno completamente mecánico-cuántico.
Ver también
- Cuantización canónica
- Primera cuantificación
- Cuantización geométrica
- Cuantización (física)
- Schrödinger funcional
Referencias
- ^ Dirac, PAM (1927). "La teoría cuántica de la emisión y absorción de radiación" . Actas de la Royal Society A: Ciencias Matemáticas, Físicas e Ingeniería . 114 (767): 243. Código Bibliográfico : 1927RSPSA.114..243D . doi : 10.1098 / rspa.1927.0039 .
- ^ Fock, V. (1932). "Konfigurationsraum und zweite Quantelung". Zeitschrift für Physik (en alemán). Springer Science and Business Media LLC. 75 (9-10): 622-647. doi : 10.1007 / bf01344458 . ISSN 1434-6001 .
- ^ MC Reed , B. Simon , "Métodos de física matemática moderna, volumen II", Academic Press 1975. p. 328.
- ^ Mahan, GD (1981). Muchas Físicas de Partículas . Nueva York: Springer. ISBN 0306463385.
- ^ Levin, M .; Wen, XG (2003). "Fermiones, cuerdas y campos de calibre en modelos de rotación de celosía". Physical Review B . 67 (24). arXiv : cond-mat / 0302460 . Código Bibliográfico : 2003PhRvB..67x5316L . doi : 10.1103 / PhysRevB.67.245316 .
- ^ Todorov, Ivan (2012). "La cuantificación es un misterio", Bulg. J. Phys. 39 (2012) 107-149, arXiv: 1206.3116 [math-ph]
Otras lecturas
- Segunda cuantificación Carlo Maria Becchi, Scholarpedia , 5 (6): 7902. doi: 10.4249 / scholarpedia.7902
enlaces externos
- Estados de muchos electrones en E. Pavarini, E. Koch y U. Schollwöck: fenómenos emergentes en materia correlacionada, Jülich 2013, ISBN 978-3-89336-884-6