La cuantificación del frente de luz [1] [2] [3] de las teorías cuánticas de campos proporciona una alternativa útil a la cuantificación ordinaria de tiempos iguales . En particular, puede conducir a una descripción relativista de sistemas ligados en términos de funciones de onda mecánico-cuánticas . La cuantificación se basa en la elección de las coordenadas del frente de luz, [4] donde desempeña el papel del tiempo y la coordenada espacial correspondiente es . Aquí, es el tiempo ordinario, es una coordenada cartesiana , y es la velocidad de la luz. Las otras dos coordenadas cartesianas, y , no se tocan y a menudo se denominan transversales o perpendiculares, denotadas por símbolos del tipo . La elección del marco de referencia donde se definen el tiempo y el eje puede dejarse sin especificar en una teoría relativista exactamente soluble, pero en los cálculos prácticos algunas elecciones pueden ser más adecuadas que otras.
En la práctica, prácticamente todas las mediciones se realizan en un tiempo de frente de luz fijo. Por ejemplo, cuando un electrón se dispersa en un protón como en los famosos experimentos SLAC que descubrieron la estructura de quarks de los hadrones , la interacción con los constituyentes ocurre en un solo tiempo de frente de luz. Cuando uno toma una fotografía con flash, la imagen registrada muestra el objeto cuando el frente de la onda de luz del flash cruza el objeto. Por eso Dirac usó la terminología "frente de luz" y "forma frontal" en contraste con el tiempo instantáneo ordinario y la "forma instantánea". [4] Las ondas de luz que viajan en la dirección negativa continúan propagándose en un solo tiempo de frente de luz .
Como lo enfatizó Dirac, los impulsos de Lorentz de estados en un tiempo de frente de luz fijo son transformaciones cinemáticas simples . La descripción de los sistemas físicos en coordenadas de frente de luz no se modifica por los impulsos de frente de luz a sistemas que se mueven con respecto al especificado inicialmente. Esto también significa que hay una separación de coordenadas internas y externas (al igual que en los sistemas no relativistas), y las funciones de onda internas son independientes de las coordenadas externas, si no hay fuerza o campo externo. En contraste, es un problema dinámico difícil calcular los efectos de los impulsos de estados definidos en un tiempo instantáneo fijo .
La descripción de un estado ligado en una teoría cuántica de campos, como un átomo en la electrodinámica cuántica (EDQ) o un hadrón en la cromodinámica cuántica (CDQ), generalmente requiere múltiples funciones de onda, porque las teorías cuánticas de campos incluyen procesos que crean y aniquilan partículas. El estado del sistema no tiene entonces un número definido de partículas, sino que es una combinación lineal mecánico-cuántica de estados de Fock , cada uno con un número definido de partículas. Cualquier medición individual del número de partículas devolverá un valor con una probabilidad determinada por la amplitud del estado de Fock con ese número de partículas. Estas amplitudes son las funciones de onda del frente de luz. Las funciones de onda del frente de luz son independientes del marco de referencia e independientes del momento total .
Las funciones de onda son la solución de un análogo teórico de campo de la ecuación de Schrödinger de la mecánica cuántica no relativista. En la teoría no relativista, el operador hamiltoniano es solo una parte cinética y una parte potencial . La función de onda es una función de la coordenada , y es la energía . En la cuantificación del frente de luz, la formulación se escribe generalmente en términos de momentos del frente de luz , con un índice de partícula, , , y la masa de la partícula , y las energías del frente de luz . Satisfacen la condición de capa de masa
El análogo del hamiltoniano no relativista es el operador de frente de luz , que genera traslaciones en el tiempo del frente de luz. Se construye a partir del lagrangiano para la teoría cuántica de campos elegida. El momento total del frente de luz del sistema, , es la suma de los momentos del frente de luz de una sola partícula. La energía total del frente de luz está fijada por la condición de capa de masa como , donde es la masa invariante del sistema. La ecuación similar a Schrödinger de cuantificación del frente de luz es entonces . Esto proporciona una base para un análisis no perturbativo de las teorías cuánticas de campos que es bastante distinto del enfoque reticular . [5] [6] [7]
La cuantificación en el frente de luz proporciona la realización rigurosa de la teoría de campos de las ideas intuitivas del modelo de partones que se formula en fijo en el marco de momento infinito. [8] [9] (ver #Marco de momento infinito). Los mismos resultados se obtienen en la forma frontal para cualquier marco; por ejemplo, las funciones de estructura y otras distribuciones probabilísticas de partones medidas en dispersión inelástica profunda se obtienen a partir de los cuadrados de las funciones de onda del frente de luz invariantes de impulso, [10] la autosolución del hamiltoniano del frente de luz. La variable cinemática de Bjorken de dispersión inelástica profunda se identifica con la fracción del frente de luz en pequeño . El comportamiento de Balitsky–Fadin–Kuraev–Lipatov (BFKL) [11] Regge de las funciones de estructura se puede demostrar a partir del comportamiento de las funciones de onda del frente de luz en pequeño . La evolución Dokshitzer–Gribov–Lipatov–Altarelli–Parisi ( DGLAP ) [12] de las funciones de estructura y la evolución Efremov–Radyushkin–Brodsky–Lepage (ERBL) [13] [14] de las amplitudes de distribución son propiedades de las funciones de onda del frente de luz en alto momento transversal.
El cálculo de los elementos de la matriz hadrónica de las corrientes es particularmente sencillo en el frente de luz, ya que se pueden obtener rigurosamente como superposiciones de funciones de onda del frente de luz como en la fórmula Drell–Yan–West. [15] [16] [17]
Las amplitudes de distribución de mesones y bariones invariantes de calibre que controlan las reacciones exclusivas y directas duras son las funciones de onda de frente de luz de valencia integradas sobre el momento transversal en fijo . La evolución "ERBL" [13] [14] de las amplitudes de distribución y los teoremas de factorización para procesos exclusivos duros se pueden derivar más fácilmente utilizando métodos de frente de luz. Dadas las funciones de onda de frente de luz independientes del marco, se puede calcular una amplia gama de observables hadrónicos, incluidas distribuciones de partones generalizadas, distribuciones de Wigner, etc. Por ejemplo, la contribución de "bolso" a las distribuciones de partones generalizadas para la dispersión Compton profundamente virtual , que se puede calcular a partir de la superposición de funciones de onda de frente de luz, satisface automáticamente las reglas de suma conocidas .
Las funciones de onda del frente de luz contienen información sobre características novedosas de la QCD, entre ellas efectos sugeridos a partir de otros enfoques, como la transparencia del color , el color oculto, el encanto intrínseco , las simetrías de los quarks marinos , la difracción de dijet, los procesos duros directos y la dinámica del espín hadrónico .
También se pueden demostrar teoremas fundamentales para las teorías cuánticas de campos relativistas usando la forma frontal, incluyendo: (a) el teorema de descomposición de cúmulos [18] y (b) la desaparición del momento gravitomagnético anómalo para cualquier estado de Fock de un hadrón; [19] también se puede demostrar que un momento magnético anómalo distinto de cero de un estado ligado requiere un momento angular distinto de cero de los constituyentes. Las propiedades de cúmulos [20] de la teoría de perturbación ordenada en el tiempo del frente de luz , junto con la conservación, se pueden usar para derivar elegantemente las reglas de Parke-Taylor para amplitudes de dispersión de múltiples gluones . [21] El comportamiento de la regla de conteo [22] de las funciones de estructura en general y la dualidad de Bloom-Gilman [23] [24] también se han derivado en QCD de frente de luz (LFQCD). La existencia de "efectos de lente" en el giro principal, como el extraño "efecto Sivers" en la dispersión inelástica profunda semiinclusiva dependiente del espín, se demostró por primera vez utilizando métodos de frente de luz. [25]
La cuantificación del frente de luz es, por lo tanto, el marco natural para la descripción de la estructura relativista no perturbativa del estado límite de los hadrones en la cromodinámica cuántica. El formalismo es riguroso, relativista e independiente del marco. Sin embargo, existen problemas sutiles en la LFQCD que requieren una investigación exhaustiva. Por ejemplo, las complejidades del vacío en la formulación habitual de tiempo instantáneo, como el mecanismo de Higgs y los condensados en teoría, tienen sus contrapartes en los modos cero o, posiblemente, en términos adicionales en el hamiltoniano de la LFQCD que se permiten mediante el conteo de potencias. [26] Las consideraciones del frente de luz del vacío, así como el problema de lograr la covarianza total en la LFQCD, requieren una atención minuciosa a las singularidades del frente de luz y las contribuciones del modo cero. [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] El truncamiento del espacio de Fock del frente de luz requiere la introducción de grados de libertad efectivos de quarks y gluones para superar los efectos de truncamiento. La introducción de tales grados de libertad efectivos es lo que se desea al buscar la conexión dinámica entre los quarks canónicos (o actuales) y los quarks efectivos (o constituyentes) que Melosh buscaba y Gell-Mann defendía como método para truncar la QCD.
La formulación hamiltoniana del frente de luz abre así el acceso a la QCD a nivel de amplitud y está lista para convertirse en la base para un tratamiento común de la espectroscopia y la estructura partónica de los hadrones en un único formalismo covariante, proporcionando una conexión unificadora entre datos experimentales de baja y alta energía que hasta ahora permanecen en gran medida desconectados.
La mecánica cuántica relativista de forma frontal fue introducida por Paul Dirac en un artículo de 1949 publicado en Reviews of Modern Physics. [4] La teoría cuántica de campos de frente de luz es la representación de forma frontal de la teoría cuántica de campos relativista local.
La invariancia relativista de una teoría cuántica significa que los observables (probabilidades, valores esperados y promedios de conjunto) tienen los mismos valores en todos los sistemas de coordenadas inerciales . Dado que los diferentes sistemas de coordenadas inerciales están relacionados por transformaciones de Lorentz no homogéneas ( transformaciones de Poincaré ), esto requiere que el grupo de Poincaré sea un grupo de simetría de la teoría. Wigner [38] y Bargmann [39] demostraron que esta simetría debe realizarse mediante una representación unitaria del componente conectado del grupo de Poincaré en el espacio de Hilbert de la teoría cuántica. La simetría de Poincaré es una simetría dinámica porque las transformaciones de Poincaré mezclan variables tanto espaciales como temporales. La naturaleza dinámica de esta simetría se ve más fácilmente al notar que el hamiltoniano aparece en el lado derecho de tres de los conmutadores de los generadores de Poincaré, , donde son componentes del momento lineal y son componentes de generadores de impulso sin rotación. Si el hamiltoniano incluye interacciones, es decir , entonces las relaciones de conmutación no pueden satisfacerse a menos que al menos tres de los generadores de Poincaré también incluyan interacciones.
El artículo de Dirac [4] introdujo tres formas distintas de incluir interacciones mínimas en el álgebra de Lie de Poincaré . Se refirió a las diferentes opciones mínimas como la "forma instantánea", la "forma puntual" y el "frente desde" de la dinámica. Cada "forma de dinámica" se caracteriza por un subgrupo libre de interacción (cinemático) diferente del grupo de Poincaré. En la dinámica de forma instantánea de Dirac, el subgrupo cinemático es el subgrupo euclidiano tridimensional generado por rotaciones y traslaciones espaciales; en la dinámica de forma puntual de Dirac, el subgrupo cinemático es el grupo de Lorentz; y en la "dinámica de frente de luz" de Dirac, el subgrupo cinemático es el grupo de transformaciones que dejan invariante un hiperplano tridimensional tangente al cono de luz .
Un frente de luz es un hiperplano tridimensional definido por la condición:
con , donde la convención habitual es elegir . Las coordenadas de los puntos en el hiperplano del frente de luz son
El producto interno invariante de Lorentz de dos cuatro vectores , y , se puede expresar en términos de sus componentes de frente de luz como
En una teoría cuántica relativista en forma frontal, los tres generadores interactuantes del grupo de Poincaré son , el generador de traslaciones normales al frente de luz, y , los generadores de rotaciones transversales al frente de luz. se denomina hamiltoniano de "frente de luz".
Los generadores cinemáticos, que generan transformaciones tangentes al frente de luz, están libres de interacción. Entre ellos se encuentran y , que generan traslaciones tangentes al frente de luz, lo que genera rotaciones sobre el eje, y los generadores , y de impulsos que preservan el frente de luz,
que forman una subálgebra cerrada .
Las teorías cuánticas de frentes de luz tienen las siguientes propiedades distintivas:
Estas propiedades tienen consecuencias que son útiles en las aplicaciones.
No hay pérdida de generalidad en el uso de teorías cuánticas relativistas de frente de luz. Para sistemas con un número finito de grados de libertad, existen transformaciones unitarias explícitas que preservan la matriz y que transforman teorías con subgrupos cinemáticos de frente de luz en teorías equivalentes con subgrupos cinemáticos de forma instantánea o puntual. Se espera que esto sea cierto en la teoría cuántica de campos, aunque establecer la equivalencia requiere una definición no perturbativa de las teorías en diferentes formas de dinámica.
Las relaciones de conmutación canónicas en tiempos iguales son la pieza central del método de cuantificación canónica para campos cuantificados. En el método de cuantificación estándar (la "forma instantánea" en la clasificación de la dinámica relativista de Dirac [4] ), las relaciones son, por ejemplo aquí para un campo de espín 0 y su conjugado canónico :
donde las relaciones se toman en tiempos iguales , y y son las variables espaciales. El requisito de tiempos iguales impone que es una cantidad espacial . El valor distinto de cero del conmutador expresa el hecho de que cuando y están separados por una distancia espacial, no pueden comunicarse entre sí y, por lo tanto, conmutar, excepto cuando su separación es . [40]
Sin embargo, en la forma Light-Front, los campos en el mismo tiempo están causalmente vinculados (es decir, pueden comunicarse) ya que el tiempo Light-Front está a lo largo del cono de luz. En consecuencia, las relaciones de conmutación canónicas Light-Front son diferentes. Por ejemplo: [41]
donde es la función escalón de Heaviside antisimétrica .
Por otra parte, las relaciones de conmutación para los operadores de creación y aniquilación son similares para las formas Instantánea y de Frente de Luz:
donde y son los vectores de onda de los campos, y .
En general, si se multiplica un boost de Lorentz a la derecha por una rotación dependiente del momento, que deja el vector en reposo sin cambios, el resultado es un tipo diferente de boost. En principio, hay tantos tipos diferentes de boosts como rotaciones dependientes del momento. Las opciones más comunes son boosts sin rotación, boosts de helicidad y boosts de frente ligero. El boost de frente ligero ( 4 ) es un boost de Lorentz que deja el frente ligero invariante.
Los impulsos de frente de luz no sólo son miembros del subgrupo cinemático de frente de luz, sino que también forman un subgrupo cerrado de tres parámetros. Esto tiene dos consecuencias. En primer lugar, debido a que los impulsos no implican interacciones, las representaciones unitarias de impulsos de frente de luz de un sistema de partículas en interacción son productos tensoriales de representaciones de impulsos de frente de luz de partículas individuales. En segundo lugar, debido a que estos impulsos forman un subgrupo, las secuencias arbitrarias de impulsos de frente de luz que regresan al marco de partida no generan rotaciones de Wigner.
El espín de una partícula en una teoría cuántica relativista es el momento angular de la partícula en su sistema de referencia en reposo . Los observables de espín se definen elevando el tensor de momento angular de la partícula al sistema de referencia en reposo de la partícula .
¿Dónde está un boost de Lorentz que se transforma en ?
Los componentes del vector de espín resultante, , siempre satisfacen las relaciones de conmutación, pero los componentes individuales dependerán de la elección del impulso . Los componentes del frente de luz del espín se obtienen eligiendo que sean el inverso del impulso que preserva el frente de luz, ( 4 ).
Los componentes del frente de luz del espín son los componentes del espín medidos en el marco de reposo de la partícula después de transformar la partícula a su marco de reposo con el refuerzo que preserva el frente de luz ( 4 ). El espín del frente de luz es invariante con respecto a los refuerzos que preservan el frente de luz porque estos refuerzos no generan rotaciones de Wigner. El componente de este espín a lo largo de la dirección se llama helicidad del frente de luz. Además de ser invariante, también es un observable cinemático, es decir, libre de interacciones. Se llama helicidad porque el eje de cuantificación del espín está determinado por la orientación del frente de luz. Se diferencia de la helicidad de Jacob-Wick, donde el eje de cuantificación está determinado por la dirección del momento.
Estas propiedades simplifican el cálculo de los elementos de la matriz de corriente porque (1) los estados inicial y final en diferentes marcos están relacionados por transformaciones cinemáticas de Lorentz, (2) las contribuciones de un cuerpo a la matriz de corriente, que son importantes para la dispersión dura, no se mezclan con las partes dependientes de la interacción de la corriente bajo los impulsos del frente de luz y (3) las helicidades del frente de luz permanecen invariantes con respecto a los impulsos del frente de luz. Por lo tanto, la helicidad del frente de luz se conserva por cada interacción en cada vértice.
Debido a estas propiedades, la teoría cuántica de forma frontal es la única forma de dinámica relativista que tiene aproximaciones de impulso "independientes del marco" verdaderas, en el sentido de que los operadores de corriente de un cuerpo siguen siendo operadores de un cuerpo en todos los marcos relacionados por impulsos de frente de luz y el momento transferido al sistema es idéntico al momento transferido a las partículas constituyentes. Las restricciones dinámicas, que se derivan de la covarianza rotacional y la covarianza de corriente, relacionan elementos de matriz con diferentes números cuánticos magnéticos . Esto significa que las aproximaciones de impulso consistentes solo se pueden aplicar a elementos de matriz de corriente linealmente independientes.
Una segunda característica única de la teoría cuántica de frentes de luz se desprende de que el operador no es negativo y es cinemático. La característica cinemática significa que el generador es la suma de los generadores no negativos de partículas individuales , ( . De ello se deduce que si es cero en un estado, entonces cada uno de los individuos también debe desaparecer en el estado.
En la teoría cuántica de campos de frente de luz perturbativa, esta propiedad conduce a la supresión de una gran clase de diagramas, incluidos todos los diagramas de vacío, que tienen un valor interno cero . La condición corresponde a un momento infinito . Muchas de las simplificaciones de la teoría cuántica de campos de frente de luz se realizan en el límite de momento infinito [42] [43] de la teoría de campos canónica ordinaria (véase #Marco de momento infinito).
Una consecuencia importante de la condición espectral y la posterior supresión de los diagramas de vacío en la teoría de campos perturbativa es que el vacío perturbativo es el mismo que el vacío de campo libre. Esto da como resultado una de las grandes simplificaciones de la teoría cuántica de campos de frente de luz, pero también conduce a algunos enigmas con respecto a la formulación de teorías con simetrías rotas espontáneamente .
Sokolov [44] [45] demostró que las teorías cuánticas relativistas basadas en diferentes formas de dinámica están relacionadas por transformaciones unitarias que preservan la matriz β. La equivalencia en las teorías de campo es más complicada porque la definición de la teoría de campo requiere una redefinición de los productos de operadores locales mal definidos que aparecen en los generadores dinámicos. Esto se logra a través de la renormalización. En el nivel perturbativo, las divergencias ultravioletas de una teoría de campo canónica se reemplazan por una mezcla de divergencias ultravioletas e infrarrojas en la teoría de campo de frente de luz. Estas deben renormalizarse de una manera que recupere la covarianza rotacional completa y mantenga la equivalencia de la matriz β. La renormalización de las teorías de campo de frente de luz se analiza en Métodos computacionales de frente de luz#Grupo de renormalización .
Una de las propiedades de la ecuación de onda clásica es que el frente de luz es una superficie característica del problema del valor inicial. Esto significa que los datos sobre el frente de luz son insuficientes para generar una evolución única a partir del frente de luz. Si pensamos en términos puramente clásicos, podríamos anticipar que este problema podría conducir a una teoría cuántica mal definida tras la cuantización.
En el caso cuántico, el problema consiste en encontrar un conjunto de diez operadores autoadjuntos que satisfagan el álgebra de Lie de Poincaré. En ausencia de interacciones, el teorema de Stone aplicado a productos tensoriales de representaciones irreducibles unitarias conocidas del grupo de Poincaré proporciona un conjunto de generadores de frentes de luz autoadjuntos con todas las propiedades requeridas. El problema de añadir interacciones no es diferente [46] de lo que es en la mecánica cuántica no relativista, excepto que las interacciones añadidas también deben preservar las relaciones de conmutación.
Sin embargo, existen algunas observaciones relacionadas. Una de ellas es que si se toma en serio la imagen clásica de la evolución a partir de superficies con diferentes valores de , se descubre que las superficies con son invariantes solo bajo un subgrupo de seis parámetros. Esto significa que si se elige una superficie de cuantificación con un valor fijo distinto de cero de , la teoría cuántica resultante requeriría un cuarto generador interactuante. Esto no sucede en la mecánica cuántica de frentes de luz; los siete generadores cinemáticos siguen siendo cinemáticos. La razón es que la elección del frente de luz está más relacionada con la elección del subgrupo cinemático que con la elección de una superficie de valor inicial.
En la teoría cuántica de campos, el valor esperado de vacío de dos campos restringidos al frente de luz no son distribuciones bien definidas en funciones de prueba restringidas al frente de luz. Solo se convierten en distribuciones bien definidas en funciones de cuatro variables espacio-temporales. [47] [48]
La naturaleza dinámica de las rotaciones en la teoría cuántica de frentes de luz significa que preservar la invariancia rotacional completa no es trivial. En la teoría de campos, el teorema de Noether proporciona expresiones explícitas para los generadores de rotación, pero los truncamientos a un número finito de grados de libertad pueden conducir a violaciones de la invariancia rotacional. El problema general es cómo construir generadores de rotación dinámicos que satisfagan las relaciones de conmutación de Poincaré con y el resto de los generadores cinemáticos. Un problema relacionado es que, dado que la elección de la orientación del frente de luz rompe manifiestamente la simetría rotacional de la teoría, ¿cómo se recupera la simetría rotacional de la teoría?
Dada una representación unitaria dinámica de rotaciones, , el producto de una rotación cinemática con la inversa de la rotación dinámica correspondiente es un operador unitario que (1) preserva la matriz y (2) cambia el subgrupo cinemático a un subgrupo cinemático con un frente de luz rotado, . Por el contrario, si la matriz es invariante con respecto al cambio de orientación del frente de luz, entonces la representación unitaria dinámica de rotaciones, , se puede construir utilizando los operadores de onda generalizados para diferentes orientaciones del frente de luz [49] [50] [51] [52] [53] y la representación cinemática de rotaciones
Debido a que la entrada dinámica a la matriz es , la invariancia de la matriz con respecto al cambio de orientación del frente de luz implica la existencia de un generador de rotación dinámico consistente sin la necesidad de construir explícitamente ese generador. El éxito o el fracaso de este enfoque está relacionado con asegurar las propiedades rotacionales correctas de los estados asintóticos utilizados para construir los operadores de onda, lo que a su vez requiere que los estados ligados del subsistema se transformen irreduciblemente con respecto a .
Estas observaciones dejan en claro que la covarianza rotacional de la teoría está codificada en la elección del hamiltoniano del frente de luz. Karmanov [54] [55] [56] introdujo una formulación covariante de la teoría cuántica del frente de luz, donde la orientación del frente de luz se trata como un grado de libertad. Este formalismo se puede utilizar para identificar observables que no dependen de la orientación, , del frente de luz (ver #Formulación covariante).
Mientras que los componentes del frente de luz del espín son invariantes bajo los impulsos del frente de luz, rotan Wigner bajo impulsos sin rotación y rotaciones ordinarias. Bajo rotaciones, los componentes del frente de luz de los espines de partículas individuales de diferentes partículas experimentan diferentes rotaciones de Wigner. Esto significa que los componentes del espín del frente de luz no se pueden acoplar directamente utilizando las reglas estándar de adición de momento angular. En cambio, primero deben transformarse en los componentes de espín canónicos más estándar, que tienen la propiedad de que la rotación de Wigner de una rotación es la rotación. Luego, los espines se pueden sumar utilizando las reglas estándar de adición de momento angular y los componentes de espín canónicos compuestos resultantes se pueden transformar nuevamente en los componentes de espín compuestos del frente de luz. Las transformaciones entre los diferentes tipos de componentes de espín se denominan rotaciones de Melosh. [57] [58] Son las rotaciones dependientes del momento construidas multiplicando un impulso del frente de luz seguido por el inverso del impulso sin rotación correspondiente. Para poder agregar también los momentos angulares orbitales relativos, los momentos angulares orbitales relativos de cada partícula también deben convertirse a una representación donde giran Wigner con los espines.
Si bien el problema de sumar espines y momentos angulares orbitales internos es más complicado, [59] es solo el momento angular total el que requiere interacciones; el espín total no necesariamente requiere una dependencia de interacción. Donde la dependencia de interacción aparece explícitamente es en la relación entre el espín total y el momento angular total [58] [60]
donde aquí y contienen interacciones. Los componentes transversales del espín del frente de luz pueden o no tener una dependencia de interacción; sin embargo, si uno también exige propiedades de cúmulo, [61] entonces los componentes transversales del espín total necesariamente tienen una dependencia de interacción. El resultado es que al elegir que los componentes del frente de luz del espín sean cinemáticos es posible lograr una invariancia rotacional completa a expensas de las propiedades de cúmulo. Alternativamente, es fácil lograr propiedades de cúmulo a expensas de una simetría rotacional completa. Para modelos de un número finito de grados de libertad hay construcciones que logran tanto la covarianza rotacional completa como las propiedades de cúmulo; [62] todas estas realizaciones tienen interacciones adicionales de muchos cuerpos en los generadores que son funciones de interacciones de menos cuerpos.
La naturaleza dinámica de los generadores de rotación significa que los operadores tensoriales y espinorales, cuyas relaciones de conmutación con los generadores de rotación son lineales en los componentes de estos operadores, imponen restricciones dinámicas que relacionan diferentes componentes de estos operadores.
La estrategia para realizar cálculos no perturbativos en la teoría de campos de frente de luz es similar a la estrategia utilizada en los cálculos de red. En ambos casos se utiliza una regularización y renormalización no perturbativas para intentar construir teorías efectivas de un número finito de grados de libertad que sean insensibles a los grados de libertad eliminados. En ambos casos, el éxito del programa de renormalización requiere que la teoría tenga un punto fijo del grupo de renormalización; sin embargo, los detalles de los dos enfoques difieren. Los métodos de renormalización utilizados en la teoría de campos de frente de luz se analizan en Métodos computacionales de frente de luz#Grupo de renormalización . En el caso de la red, el cálculo de observables en la teoría efectiva implica la evaluación de integrales de gran dimensión, mientras que en el caso de la teoría de campos de frente de luz, las soluciones de la teoría efectiva implican la resolución de grandes sistemas de ecuaciones lineales. En ambos casos, las integrales multidimensionales y los sistemas lineales se entienden lo suficientemente bien como para estimar formalmente los errores numéricos. En la práctica, tales cálculos solo se pueden realizar para los sistemas más simples. Los cálculos del frente de luz tienen la ventaja especial de que todos los cálculos se realizan en el espacio de Minkowski y los resultados son funciones de onda y amplitudes de dispersión.
Si bien la mayoría de las aplicaciones de la mecánica cuántica de frentes de luz se refieren a la formulación de frentes de luz de la teoría cuántica de campos, también es posible formular la mecánica cuántica relativista de sistemas finitos de partículas que interactúan directamente con un subgrupo cinemático de frentes de luz. La mecánica cuántica relativista de frentes de luz se formula sobre la suma directa de productos tensoriales de espacios de Hilbert de partículas individuales. La representación cinemática del grupo de Poincaré en este espacio es la suma directa de productos tensoriales de las representaciones irreducibles unitarias de partículas individuales del grupo de Poincaré. Una dinámica de forma frontal en este espacio se define mediante una representación dinámica del grupo de Poincaré en este espacio donde cuando está en el subgrupo cinemático del grupo de Poincaré.
Una de las ventajas de la mecánica cuántica de frentes de luz es que es posible realizar una covarianza rotacional exacta para sistemas de un número finito de grados de libertad. La forma de hacerlo es comenzar con los generadores no interactuantes del grupo de Poincaré completo, que son sumas de generadores de partículas individuales, construir el operador de masa invariante cinemático, los tres generadores cinemáticos de traslaciones tangentes al frente de luz, los tres generadores cinemáticos de impulso del frente de luz y los tres componentes del operador de espín del frente de luz. Los generadores son funciones bien definidas de estos operadores [60] [63] dadas por ( 1 ) y . Las interacciones que conmutan con todos estos operadores excepto la masa cinemática se agregan al operador de masa cinemático para construir un operador de masa dinámico. Usando este operador de masa en ( 1 ) y la expresión para se obtiene un conjunto de generadores de Poincaré dinámicos con un subgrupo cinemático de frente de luz. [62]
Se puede encontrar un conjunto completo de estados propios irreducibles diagonalizando el operador de masa interactuante en una base de estados propios simultáneos de los componentes del frente de luz de los momentos cinemáticos, la masa cinemática, el espín cinemático y la proyección del espín cinemático sobre el eje. Esto es equivalente a resolver la ecuación de Schrödinger del centro de masas en mecánica cuántica no relativista. Los estados propios de masa resultantes se transforman irreduciblemente bajo la acción del grupo de Poincaré. Estas representaciones irreducibles definen la representación dinámica del grupo de Poincaré en el espacio de Hilbert.
Esta representación no satisface las propiedades del clúster, [61] pero esto se puede restaurar utilizando una generalización de forma frontal [58] [62] de la construcción recursiva dada por Sokolov. [44]
El marco de momento infinito (IMF) se introdujo originalmente [42] [43] para proporcionar una interpretación física de la variable de Bjorken medida en la dispersión inelástica profunda leptón -protón en el modelo de partones de Feynman. (Aquí está el cuadrado de la transferencia de momento espacial impartida por el leptón y es la energía transferida en el marco de reposo del protón). Si uno considera un marco de Lorentz hipotético donde el observador se está moviendo con un momento infinito, , en la dirección negativa , entonces puede interpretarse como la fracción de momento longitudinal transportada por el quark golpeado (o "partón") en el protón entrante de rápido movimiento. La función de estructura del protón medida en el experimento está dada entonces por el cuadrado de su función de onda de forma instantánea impulsada a un momento infinito.
Formalmente, existe una conexión simple entre la formulación hamiltoniana de las teorías cuánticas de campos cuantificadas en un tiempo fijo (la "forma instantánea"), donde el observador se mueve con un momento infinito, y la teoría hamiltoniana de frente de luz cuantificada en un tiempo de frente de luz fijo (la "forma frontal"). Un denominador de energía típico en la forma instantánea es donde es la suma de las energías de las partículas en el estado intermedio. En el FMI, donde el observador se mueve con un momento alto en la dirección negativa , los términos principales en se cancelan y el denominador de energía se convierte en donde es la masa invariante al cuadrado del estado inicial. Por lo tanto, al mantener los términos en en la forma instantánea, se recupera el denominador de energía que aparece en la teoría hamiltoniana de frente de luz. Esta correspondencia tiene un significado físico: las mediciones realizadas por un observador que se mueve con un momento infinito son análogas a realizar observaciones que se acercan a la velocidad de la luz, por lo que coinciden con la forma frontal, donde las mediciones se realizan a lo largo del frente de una onda de luz. Un ejemplo de una aplicación a la electrodinámica cuántica se puede encontrar en el trabajo de Brodsky, Roskies y Suaya. [64]
El estado de vacío en la forma instantánea definida en fixed es acausal e infinitamente complicado. Por ejemplo, en la electrodinámica cuántica, los gráficos de burbujas de todos los órdenes, comenzando con el estado intermedio, aparecen en el vacío del estado fundamental; sin embargo, como lo muestra Weinberg, [43] dichos gráficos de vacío dependen del marco y se desvanecen formalmente por potencias de a medida que el observador se mueve en . Por lo tanto, uno puede hacer coincidir nuevamente la forma instantánea con la formulación de forma frontal donde dichos diagramas de bucle de vacío no aparecen en el estado fundamental de QED. Esto se debe a que el momento de cada constituyente es positivo, pero debe sumar cero en el estado de vacío ya que los momentos se conservan. Sin embargo, a diferencia de la forma instantánea, no se requieren refuerzos dinámicos, y la formulación de forma frontal es causal e independiente del marco. El formalismo del marco de momento infinito es útil como una herramienta intuitiva; sin embargo, el límite no es un límite riguroso, y la necesidad de reforzar la función de onda de forma instantánea introduce complejidades.
En las coordenadas del frente de luz, , , las coordenadas espaciales no entran simétricamente: la coordenada se distingue, mientras que y no aparecen en absoluto. Esta definición no covariante destruye la simetría espacial que, a su vez, da lugar a algunas dificultades relacionadas con el hecho de que alguna transformación del sistema de referencia puede cambiar la orientación del plano del frente de luz. Es decir, las transformaciones del sistema de referencia y la variación de la orientación del plano del frente de luz no están desacopladas entre sí. Dado que la función de onda depende dinámicamente de la orientación del plano en el que se define, bajo estas transformaciones la función de onda del frente de luz se transforma mediante operadores dinámicos (dependiendo de la interacción). Por lo tanto, en general, uno debe conocer la interacción para pasar del sistema de referencia dado al nuevo. La pérdida de simetría entre las coordenadas y complica también la construcción de los estados con momento angular definido ya que este último es simplemente una propiedad de la función de onda relativa a las rotaciones que afecta a todas las coordenadas .
Para superar este inconveniente, se desarrolló la versión explícitamente covariante [54] [55] [56] de la cuantificación del frente de luz (revisada por Carbonell et al. [65] ), en la que el vector de estado se define en el plano del frente de luz de orientación general: (en lugar de ), donde es un vector de cuatro dimensiones en el espacio-tiempo de cuatro dimensiones y es también un vector de cuatro dimensiones con la propiedad . En el caso particular volvemos a la construcción estándar. En la formulación explícitamente covariante, la transformación del marco de referencia y el cambio de orientación del plano del frente de luz están desacoplados. Todas las rotaciones y las transformaciones de Lorentz son puramente cinemáticas (no requieren conocimiento de la interacción), mientras que la dependencia (dinámica) de la orientación del plano del frente de luz está parametrizada covariantemente por la dependencia de la función de onda del cuatro-vector .
Se formularon las reglas de las técnicas de grafos que, para un Lagrangiano dado, permiten calcular la descomposición perturbativa del vector de estado que evoluciona en el tiempo del frente de luz (en contraste con la evolución en la dirección o ). Para la forma instantánea de la dinámica, estas reglas fueron desarrolladas por primera vez por Kadyshevsky. [66] [67] Mediante estas reglas, las amplitudes del frente de luz se representan como las integrales sobre los momentos de las partículas en estados intermedios. Estas integrales son tridimensionales, y todos los cuatro momentos están en las capas de masa correspondientes , en contraste con las reglas de Feynman que contienen integrales tetradimensionales sobre los momentos fuera de la capa de masa. Sin embargo, las amplitudes calculadas del frente de luz, al estar en la capa de masa, son en general las amplitudes fuera de la capa de energía. Esto significa que los cuatro momentos en la capa de masa, de los que dependen estas amplitudes, no se conservan en la dirección (o, en general, en la dirección ). Las amplitudes de las capas fuera de energía no coinciden con las amplitudes de Feynman, y dependen de la orientación del plano del frente de luz. En la formulación covariante, esta dependencia es explícita: las amplitudes son funciones de . Esto permite aplicarles en su totalidad las conocidas técnicas desarrolladas para las amplitudes de Feynman covariantes (construcción de las variables invariantes, similares a las variables de Mandelstam, de las que dependen las amplitudes; las descomposiciones, en el caso de partículas con espines, en amplitudes invariantes; extracción de factores de forma electromagnéticos; etc.). Las amplitudes irreducibles de las capas fuera de energía sirven como núcleos de ecuaciones para las funciones de onda del frente de luz. Estas últimas se encuentran a partir de estas ecuaciones y se utilizan para analizar hadrones y núcleos.
Para partículas sin espín, y en el caso particular de , las amplitudes halladas por las reglas de las técnicas de grafos covariantes, después del reemplazo de variables, se reducen a las amplitudes dadas por las reglas de Weinberg [43] en el marco de momento infinito. La dependencia de la orientación del plano del frente de luz se manifiesta en la dependencia de las amplitudes de Weinberg fuera de la capa de energía de las variables tomadas por separado pero no en algunas combinaciones particulares como las variables de Mandelstam .
En la capa de energía, las amplitudes no dependen de la orientación que determinan los cuatro vectores del plano del frente de luz correspondiente. Estas amplitudes en la capa de energía coinciden con las amplitudes en la capa de masa dadas por las reglas de Feynman. Sin embargo, la dependencia puede subsistir gracias a las aproximaciones.
La formulación covariante es especialmente útil para construir los estados con momento angular definido. En esta construcción, el cuatrivector participa en igualdad de condiciones con otros cuatrimomentos y, por lo tanto, la parte principal de este problema se reduce a la conocida. Por ejemplo, como es bien sabido, la función de onda de un sistema no relativista, que consta de dos partículas sin espín con momento relativo y con momento angular total , es proporcional a la función esférica : , donde y es una función que depende del módulo . El operador de momento angular se lee: . Entonces, la función de onda de un sistema relativista en la formulación covariante de la dinámica de frentes de luz obtiene la forma similar:
donde y son funciones que dependen, además de , del producto escalar . Las variables , son invariantes no sólo bajo rotaciones de los vectores , sino también bajo rotaciones y las transformaciones de Lorentz de los cuatro vectores iniciales , . La segunda contribución significa que el operador del momento angular total en dinámicas de frentes de luz explícitamente covariantes obtiene un término adicional: . Para partículas de espín distinto de cero, este operador obtiene la contribución de los operadores de espín: [49] [50] [51] [52] [68] [69]
El hecho de que las transformaciones que modifican la orientación del plano del frente de luz sean dinámicas (los generadores correspondientes del grupo de Poincaré contienen interacción) se manifiesta en la dependencia de los coeficientes con respecto al producto escalar que varía cuando cambia la orientación del vector unitario (para ). Esta dependencia (junto con la dependencia de ) se obtiene a partir de la ecuación dinámica de la función de onda.
Una peculiaridad de esta construcción es que existe el operador que conmuta tanto con el hamiltoniano como con . Entonces los estados se etiquetan también por el valor propio del operador : . Para un momento angular dado , existen tales estados. Todos ellos son degenerados, es decir, pertenecen a la misma masa (si no hacemos una aproximación). Sin embargo, la función de onda también debe satisfacer la llamada condición angular [55] [56] [70] [71] [72] Después de satisfacerla, la solución obtiene la forma de una superposición única de los estados con diferentes valores propios . [56] [65]
La contribución adicional en el operador de momento angular del frente de luz aumenta el número de componentes de espín en la función de onda del frente de luz. Por ejemplo, la función de onda de deuterón no relativista está determinada por dos componentes ( ondas - y -). Mientras que la función de onda de deuterón relativista del frente de luz está determinada por seis componentes. [68] [69] Estos componentes se calcularon en el modelo de intercambio de un bosón. [73]
La cuestión central de la cuantificación de frentes de luz es la descripción rigurosa de hadrones, núcleos y sistemas de los mismos a partir de los primeros principios de la QCD. Los principales objetivos de la investigación que utiliza dinámica de frentes de luz son:
El análisis no perturbativo de QCD de frente de luz requiere lo siguiente:
[89] elementos finitos, expansiones de funciones, [90] y las funciones de onda ortonormales completas obtenidas de AdS/QCD. Esto se basará en el código MPI basado en Lanczos desarrollado para aplicaciones de física nuclear no relativista y códigos similares para la teoría de Yukawa y las teorías supersimétricas de Yang-Mills de dimensión inferior.
Comprender el papel de los métodos del grupo de renormalización, la libertad asintótica y las propiedades espectrales en la cuantificación de errores de truncamiento.
y son dinámicos. Para resolver el problema de clasificación del momento angular, se deben construir los estados propios y los espectros de la suma de los cuadrados de estos generadores. Este es el precio a pagar por tener más generadores cinemáticos que en la cuantificación de tiempo igual, donde los tres impulsos son dinámicos. En la cuantificación del frente de luz, el impulso a lo largo es cinemático, y esto simplifica enormemente el cálculo de elementos de matriz que involucran impulsos, como los necesarios para calcular los factores de forma. La relación con los enfoques covariantes de Bethe-Salpeter proyectados en el frente de luz puede ayudar a comprender el problema del momento angular y su relación con el truncamiento del espacio de Fock del hamiltoniano del frente de luz. También se deben explorar las restricciones independientes del modelo de la condición angular general, que deben satisfacer las amplitudes de helicidad del frente de luz. La contribución del modo cero parece necesaria para que los factores de forma de hadrones satisfagan la conservación del momento angular, como se expresa por la condición angular. También debería investigarse la relación con la mecánica cuántica de frentes de luz, donde es posible realizar con exactitud la covarianza rotacional completa y construir representaciones explícitas de los generadores de rotación dinámicos.
La dualidad aproximada en el límite de los quarks sin masa motiva análisis de pocos cuerpos de espectros de mesones y bariones basados en una ecuación de Schrödinger de frente de luz unidimensional en términos de la coordenada transversal modificada . Se han propuesto modelos que extienden el enfoque a los quarks masivos, pero se necesita una comprensión más fundamental dentro de QCD. Las masas de quarks distintas de cero introducen una dependencia no trivial del momento longitudinal y, por lo tanto, resaltan la necesidad de comprender la representación de la simetría rotacional dentro del formalismo. Explorar las funciones de onda AdS/QCD como parte de un conjunto de base de espacio de Fock motivado físicamente para diagonalizar el hamiltoniano LFQCD debería arrojar luz sobre ambas cuestiones. La interpretación complementaria de Ehrenfest [97] se puede utilizar para introducir grados de libertad efectivos como diquarks en bariones.
{{cite book}}
: |journal=
ignorado ( ayuda ) ; faltante o vacío |title=
( ayuda ){{cite journal}}
: Falta o está vacío |title=
( ayuda ){{cite journal}}
: Falta o está vacío |title=
( ayuda )