¿Cuál es la conexión exacta entre el espacio bosónico de Fock y el oscilador armónico cuántico?

Supongamos que tengo un espacio de Hilbert k = L 2 ( X ) equipado con un hamiltoniano H tal que la ecuación de Schrödinger con respecto a H en k describe un bosón que me interesa, y quiero crear y aniquilar un montón de estos bosones. Entonces construyo el espacio bosónico de Fock

S ( k ) = i 0 S i ( k )

dónde S i denota el i t h poder simétrico. (¿Es esta "segunda cuantización"?) Siéntase libre de asumir que H tiene espectro discreto.

¿En qué consiste el nuevo hamiltoniano? S ( k ) (asumiendo que los bosones no interactúan)? ¿Cómo funcionan los observables en k traducir a S ( k ) ?

No estoy completamente seguro de que esta sea una pregunta significativa para hacer, así que siéntete libre de decirme que no lo es y que tengo que postular algún mecanismo por el cual la creación y/o la aniquilación realmente sucedan. En ese caso, me encantaría ser iluminado acerca de cómo hacer esto.

Ahora, varias fuentes (Wikipedia, las conferencias de Feynman) me informan que S ( k ) está de alguna manera estrechamente relacionado con el espacio de estados de Hilbert de un oscilador armónico cuántico. Es decir, los operadores de creación y aniquilación que uno define en ese contexto son de alguna manera los mismos que los operadores de creación y aniquilación que uno puede definir en S ( k ) , y tal vez los hamiltonianos incluso se vean iguales de alguna manera.

¿Por qué es esto? ¿Que está pasando aqui?

Supongamos que sé un poquito de mecánica cuántica ordinaria pero nada de teoría cuántica de campos.

Hola Qiaochu, ¡bienvenido a physics.SE! Buena pregunta y espero que podamos esperar muchas más :-)
Que es S i ( k ) @Qiaochu?
@space_cadet: la i^{ésima} potencia simétrica, es decir, el espacio de Hilbert de estados de i bosones idénticos.
Está bien. En la literatura de física H , casi siempre, denota el hamiltoniano y S la acción.
Sim i ( k ) y Sim C i ( k ) son ambas alternativas de uso común. Los encuentro preferibles a S i ( k ) , ya que son algo menos ambiguas.
H en S y metro 2 ( k ) realmente es H 1 + 1 H y del mismo modo para a y a . Entonces, por ejemplo, la energía es la suma de las energías (desacopladas). Podrías haber esperado H H , por ejemplo, pero H genera una traslación infinitesimal en el tiempo. Exponenciar da el resultado esperado en el propagador tu = mi X pags ( t H ) como tu tu .
@Eric: sí, sé que es H 1 + 1 H en k k . Pronto Sim 2 ( k ) ¿Es solo la restricción de esto?
Sí, H 1 + 1 H ya es simétrico, por lo que se ve igual antes o después de la proyección para S y metro 2 ( k ) .

Respuestas (3)

Referencia: Fetter y Walecka, Teoría cuántica de muchos sistemas de partículas , cap. 1

El hamiltoniano para un SHO es:

H = i = 0 ω ( a i + a i + 1 2 )

dónde { a i + , a i } son los operadores de creación y aniquilación para el i el autoestado (modo impulso). El espacio Fock F consta de estados de la forma:

| norte a 0 , norte a 1 , . . . , norte a norte

que se obtienen actuando repetidamente sobre el vacío | 0 por los operadores de escalera:

Ψ = | norte i 0 , norte i 1 , . . . , norte i norte = ( a 0 + ) i 0 ( a 1 + ) i 1 ( a norte + ) i norte | 0

La interpretación de Ψ es como el estado que contiene i k cuantos de los k el estado propio creado por la aplicación de ( a k + ) i k en el vacío.

El estado anterior no se normaliza hasta que se multiplica por un factor de la forma k = 0 norte 1 k + 1 . Si sus excitaciones son bosónicas, ha terminado, porque el conmutador de los operadores de escalera [ a i + , a j ] = d i j se desvanece por i j . Sin embargo, si las estadísticas de sus partículas no son bosónicas (fermiónicas o anyónicas), entonces importa el orden en el que actúa sobre el vacío con los operadores de escalera.

Por supuesto, para construir un espacio Fock F no es necesario especificar un hamiltoniano. Solo se necesitan los operadores de escalera con sus relaciones de conmutación/anticonmutación. En los problemas habituales de espacio plano, los operadores de escalera corresponden a nuestros modos de Fourier habituales. a k + Exp i k X . Para espaciotiempos curvos, este procedimiento puede generalizarse definiendo nuestros operadores de escalera para que correspondan a soluciones adecuadas de frecuencia positiva (negativa) de un laplaciano en ese espacio. Para más detalles, véase Wald, QFT en espacios-tiempos curvos . Ahora, dado cualquier hamiltoniano de la forma:

H = k = 1 norte T ( X k ) + 1 2 k yo = 1 norte V ( X k , X yo )

con un término cinético T para una partícula en X k y un término potencial por parejas V ( X k , X yo ) , se puede escribir el hamiltoniano cuántico en términos de elementos de matriz de estos operadores:

H = i j a i + i | T | j a i + 1 2 a i + a j + i j | V | k yo a yo a k

dónde | i es el estado con un solo cuanto excitado correspondiente a la acción de a i + en el vacío. (Para detalles, pasos, ver Fetter & Walecka, Ch. 1).

Espero que esto ayude a resolver algunas de sus dudas. Siendo como eres de matemáticas, seguramente habrá diferencias semánticas entre mi idioma y el tuyo, así que si tienes alguna pregunta, no dudes en preguntar.

¿Puedes explicar la notación en esa última fórmula? ¿Qué son los b_i?
@qiaochu eso fue un error tipográfico. Está arreglado ahora.
Hace tan solo 10 años, Welecka todavía enseñaba como William & Mary. Vale la pena tomar su curso. Cualquier curso. O incluso ir a ver una charla. En realidad.

Analicemos primero el oscilador armónico. En realidad, es un sistema muy especial (uno y único de su tipo en todo el QM), que en cierto sentido ya está cuantificado en segundo lugar (este punto se aclarará más adelante).

Primero, una charla general sobre HO (salte este párrafo si ya los conoce de adentro hacia afuera). Es posible expresar su hamiltoniano como H = ω ( norte + 1 / 2 ) dónde norte = a a y a es una combinación lineal de momento y operador de posición). Usando las relaciones de conmutación [ a , a ] = 1 uno obtiene la base { | norte | norte norte } con norte | norte = norte . Entonces obtenemos una interpretación conveniente de que esta base es, de hecho, el número de partículas en el sistema, cada una con energía. ω y que el vacío | 0 tiene energía ω 2 .

Ahora, la construcción anterior era en realidad la misma que la tuya para X = { 0 } . La construcción de Fock (también conocida como segunda cuantización) puede entenderse como la introducción de partículas, S i correspondiente a i partículas (entonces HO es una segunda cuantización de una partícula con un grado de libertad). En cualquier caso, obtenemos operadores dependientes de la posición a ( X ) , a ( X ) , norte ( X ) y H ( X ) que son para cada X X isomorfos a los operadores HO discutidos previamente y también obtienen base | norte ( X ) (aunque en realidad no estoy seguro de que esto sea base en el sentido estricto de la palabra; estos asuntos no se discuten mucho en la teoría de campos por parte de los físicos). El hamiltoniano total H será entonces una integral H = H ( X ) d X . El estado genérico en este sistema parece un montón de partículas dispersas por todas partes y, de hecho, esta es una descripción de partículas de un campo bosónico libre.

Me doy cuenta de que dejé tu hamiltoniano original H fuera de la discusión. Agregaré eso a la respuesta más tarde. Por ahora tenga en cuenta que X no es de ninguna manera especial en lo anterior, podríamos haber usado otra "base" de k como el impulso y, en particular, la base de energía de la H . En ese caso, los estados relevantes para S ( k ) convertirse en | norte 0 norte 1 con norte i diciéndonos cuántas partículas hay en el estado con energía mi i .
@Marek: ¡gracias! Definitivamente agradecería algunos consejos sobre qué hacer exactamente con el hamiltoniano original. Algunas preguntas de seguimiento: ¿los operadores de creación y aniquilación son observables? ¿Será que el número es una cantidad conservada en el caso general?
@Marek: y una pregunta más. Dado un observable A en K, ¿cuál es el observable correspondiente en S(K)? Puedo pensar en algunas posibilidades diferentes y no estoy seguro de cuál usan realmente los físicos.
@Qiaochu: Veré qué puedo hacer. Para las preguntas: 1. no, no pueden ser observables porque no son hermíticos; 2. el número se conserva solo mientras no introduzcas interacciones; pero tal teoría no es interesante porque el espacio de Hilbert es solo una suma de partes que no interactúan, cada una de las cuales está descrita por QM. Para introducir una interacción, debe agregar Hamiltonian H yo que tiene elementos de matriz no triviales entre estados con diferentes números de partículas (en otras palabras, no conserva la descomposición de Fock original del espacio total de Hilbert).
@Qiaochu (cont.) tal interacción, por ejemplo, describiría la descomposición de una partícula en otras dos partículas; 3. Bueno, esencialmente solo hay una forma de promover los observables de k a S ( k ) -- resúmelos. Sabes como A mira cada S i ( k ) (por ejemplo, la energía de las dos partículas es solo la suma de las energías de las partículas individuales) y si hace cumplir que el operador respeta la descomposición, entonces conoce su acción en su totalidad S ( k ) . Por supuesto, estos operadores no son terriblemente interesantes. Los que mezclan diferentes S i ( k ) (como el H yo arriba) son.
@Marek: correcto, pero como usted dice, ¿no hay también operadores numéricos N (lambda) para cada valor propio lambda de A que describe cuántas partículas hay en el estado correspondiente a lambda? Estos parecen contener más información. Si tiene tiempo, también me interesaría ver algunas opciones típicas de la interacción hamiltoniana.
@Qiaochu: cierto, pero pensé que estabas preguntando cómo promover los observables de k a S ( k ) . norte ( λ ) son operadores completamente nuevos que necesitan la estructura de S ( k ) por definir En cuanto a las interacciones: bueno, ese es un tema para un curso de un semestre en teoría cuántica de campos, así que te recomiendo que hagas esto como una pregunta separada. Pero en resumen: en general cualquier H yo es posible. Pero los físicos necesitan conservar energía, impulso y, de hecho, completar la simetría de Poincaré. Entonces, uno usa representaciones del grupo de Poincaré para restringir las posibles elecciones de H yo .
@Qiaochu: (cont.) al final resulta que es realmente ineficaz trabajar de esta manera y uno se ve obligado a pasar al lenguaje de los campos. Uno puede cuantizar campos clásicos (nuevamente haciendo cumplir Poincaré y quizás otras simetrías de calibre) por los medios habituales (cuantificación canónica, integral de ruta, etc.) y al final uno puede descomponer el espacio de Hilbert en partículas (en el sentido de Fock) y H yo Desmayo. En cualquier caso, todavía hay mucho espacio para posibles interacciones y para probar, ver, por ejemplo, QED Lagrangian .

Supongamos, como lo haces tú, que k es el espacio de estados de un solo bosón. Entonces el espacio de estados de un sistema combinado de dos bosones no es k k como sería si los dos bosones fueran distinguibles, es el subespacio simétrico el que está denotando como S 2 . Su suma sobre todo i , que denotas S , es entonces un espacio de HIlbert (espacio de estado) de un nuevo sistema cuyos estados contienen los estados de un sistema de un bosón, un sistema de dos bosones, un sistema de tres bosones, etc. excepto no un número infinito de bosones. (que no está incluido en el espacio S ). y tu espacio S incluye superposiciones, por ejemplo si v 1 es un elemento de S (un estado de un bosón) y si v 3 S 3 (un estado de un sistema de tres bosones) entonces 0.707 v 1 .707 v 3 es un estado que tiene un cincuenta por ciento. probabilidad de ser un bosón, si se mide el número de partículas, y un cincuenta por ciento. probabilidad de encontrar tres bosones. Ese es el significado físico del espacio Fock. Es el espacio de estados sobre el que actúan los operadores de un campo cuántico.

Como ya señaló Eric Zaslow, si H es el hamiltoniano de la ho k , entonces por definición, H yo + yo H es el hamiltoniano en S 2 , etc en cada S i . Luego uno los suma a todos para obtener un hamiltoniano en la suma directa S .

A menos que este hamiltoniano sea perturbado, el número de partículas es constante, obviamente, ya que conserva cada subespacio S i de S . Así que no habrá creación ni aniquilación de pares de partículas. Si este campo entra en interacción con una partícula extraña, el hamiltoniano se verá perturbado, por supuesto.

Está conectado con la segunda cuantificación de la siguiente manera: si tiene un ho clásico y lo cuantifica, obtiene k . Si ahora cuantificas en segundo lugar k , usted obtiene S que puede ser considerado como un campo cuántico. Sir James Jeans demostró, antes de la revolución cuántica, que el campo electromagnético clásico podía obtenerse de la mecánica clásica ho como un límite de más y más ho clásicas que no interactúan entre sí, y este procedimiento de segunda cuantización es un análogo cuántico. No es el mismo procedimiento que empezar con un campo clásico y luego cuantificarlo. Pero es notable que se pueda obtener la misma respuesta de cualquier manera, como observó JEans en el caso clásico. Es decir, comenzaste con un sistema cuántico de una partícula y pasaste al espacio de Fock y obtuviste la teoría cuántica de campos correspondiente a ese sistema. Pero podríamos haber comenzado con un campo clásico y cuantizado, y obtener el campo cuántico de esa manera.