stringtranslate.com

Fijación del calibre

En la física de las teorías de gauge , la fijación de gauge (también llamada elección de un gauge ) denota un procedimiento matemático para lidiar con grados de libertad redundantes en variables de campo . Por definición, una teoría de gauge representa cada configuración físicamente distinta del sistema como una clase de equivalencia de configuraciones de campo locales detalladas. Dos configuraciones detalladas cualesquiera en la misma clase de equivalencia están relacionadas por una cierta transformación, equivalente a una cizalladura a lo largo de ejes no físicos en el espacio de configuración. La mayoría de las predicciones físicas cuantitativas de una teoría de gauge solo se pueden obtener bajo una prescripción coherente para suprimir o ignorar estos grados de libertad no físicos.

Aunque los ejes no físicos en el espacio de configuraciones detalladas son una propiedad fundamental del modelo físico, no existe un conjunto especial de direcciones "perpendiculares" a ellos. Por lo tanto, hay una enorme cantidad de libertad involucrada en tomar una "sección transversal" que represente cada configuración física mediante una configuración detallada particular (o incluso una distribución ponderada de ellas). La fijación juiciosa de los parámetros de calibración puede simplificar enormemente los cálculos, pero se vuelve progresivamente más difícil a medida que el modelo físico se vuelve más realista; su aplicación a la teoría cuántica de campos está plagada de complicaciones relacionadas con la renormalización , especialmente cuando el cálculo se continúa a órdenes superiores . Históricamente, la búsqueda de procedimientos de fijación de parámetros de calibración lógicamente consistentes y computacionalmente manejables, y los esfuerzos por demostrar su equivalencia frente a una desconcertante variedad de dificultades técnicas, ha sido un importante impulsor de la física matemática desde fines del siglo XIX hasta la actualidad. [ cita requerida ]

Libertad de medición

La teoría de gauge arquetípica es la formulación de Heaviside - Gibbs de la electrodinámica del continuo en términos de un potencial electromagnético de cuatro polos , que se presenta aquí en notación de Heaviside asimétrica espacio/temporal. El campo eléctrico E y el campo magnético B de las ecuaciones de Maxwell contienen sólo grados de libertad "físicos", en el sentido de que cada grado de libertad matemático en una configuración de campo electromagnético tiene un efecto medible por separado sobre los movimientos de las cargas de prueba en las proximidades. Estas variables de "intensidad de campo" se pueden expresar en términos del potencial escalar eléctrico y del potencial vectorial magnético A mediante las relaciones:

Si la transformación

se hace, entonces B permanece inalterado, ya que (con la identidad )

Sin embargo, esta transformación cambia E según

Si otro cambio

se hace entonces E también permanece igual. Por lo tanto, los campos E y B no cambian si uno toma cualquier función ψ ( r , t ) y transforma simultáneamente A y φ a través de las transformaciones ( 1 ) y ( 2 ).

Una elección particular de los potenciales escalares y vectoriales es un calibre (más precisamente, potencial de calibre ) y una función escalar ψ utilizada para cambiar el calibre se llama función de calibre . [ cita requerida ] La existencia de un número arbitrario de funciones de calibre ψ ( r , t ) corresponde a la libertad de calibre U(1) de esta teoría. La fijación del calibre se puede hacer de muchas maneras, algunas de las cuales mostramos a continuación.

Aunque ahora se habla a menudo del electromagnetismo clásico como una teoría de gauge, no se concibió originalmente en estos términos. El movimiento de una carga puntual clásica se ve afectado únicamente por las intensidades de los campos eléctrico y magnético en ese punto, y los potenciales pueden tratarse como un mero dispositivo matemático para simplificar algunas pruebas y cálculos. No fue hasta la llegada de la teoría cuántica de campos que se pudo decir que los propios potenciales forman parte de la configuración física de un sistema. La primera consecuencia que se predijo con precisión y se verificó experimentalmente fue el efecto Aharonov-Bohm , que no tiene una contraparte clásica. Sin embargo, la libertad de gauge sigue siendo válida en estas teorías. Por ejemplo, el efecto Aharonov-Bohm depende de una integral de línea de A alrededor de un bucle cerrado, y esta integral no cambia por

La fijación de calibre en teorías de calibre no abelianas , como la teoría de Yang-Mills y la relatividad general , es un tema bastante más complicado; para más detalles, véase ambigüedad de Gribov , fantasma de Faddeev-Popov y fibrado de marcos .

Una ilustración

Fijación del calibre de un cilindro torcido . (Nota: la línea está en la superficie del cilindro, no en su interior).

Como ilustración de la fijación de calibre, se puede observar una varilla cilíndrica e intentar determinar si está torcida. Si la varilla es perfectamente cilíndrica, entonces la simetría circular de la sección transversal hace imposible determinar si está torcida o no. Sin embargo, si hubiera una línea recta dibujada a lo largo de la varilla, entonces se podría decir fácilmente si hay o no una torsión observando el estado de la línea. Dibujar una línea es una fijación de calibre . Dibujar la línea estropea la simetría de calibre, es decir, la simetría circular U(1) de la sección transversal en cada punto de la varilla. La línea es el equivalente de una función de calibre ; no necesita ser recta. Casi cualquier línea es una fijación de calibre válida, es decir, hay una gran libertad de calibre . En resumen, para determinar si la varilla está torcida, se debe conocer el calibre. Las cantidades físicas, como la energía de la torsión, no dependen del calibre, es decir, son invariantes de calibre .

Calibre de Coulomb

El calibre de Coulomb (también conocido como calibre transversal ) se utiliza en química cuántica y física de la materia condensada y se define por la condición de calibre (más precisamente, condición de fijación del calibre).

Es particularmente útil para cálculos "semiclásicos" en mecánica cuántica, en los que el potencial vectorial está cuantificado pero la interacción de Coulomb no.

El calibre de Coulomb tiene una serie de propiedades:

  1. Los potenciales pueden expresarse en términos de valores instantáneos de los campos y densidades (en el Sistema Internacional de Unidades ) [1]

    donde ρ ( r , t ) es la densidad de carga eléctrica, y (donde r es cualquier vector de posición en el espacio y r ′ es un punto en la distribución de carga o corriente), opera sobre r y d r es el elemento de volumen en r .

    La naturaleza instantánea de estos potenciales parece, a primera vista, violar la causalidad , ya que los movimientos de carga eléctrica o campo magnético aparecen en todas partes instantáneamente como cambios en los potenciales. Esto se justifica al notar que los potenciales escalares y vectoriales en sí mismos no afectan los movimientos de cargas, solo las combinaciones de sus derivadas que forman la intensidad del campo electromagnético. Aunque uno puede calcular las intensidades de campo explícitamente en el calibre de Coulomb y demostrar que los cambios en ellas se propagan a la velocidad de la luz, es mucho más simple observar que las intensidades de campo no cambian bajo transformaciones de calibre y demostrar la causalidad en el calibre de Lorenz manifiestamente covariante de Lorentz descrito a continuación.

    Se ha obtenido otra expresión para el potencial vectorial, en términos de la densidad de corriente eléctrica retardada en el tiempo J ( r , t ) , que es: [2]

  2. Se podrían realizar transformaciones de calibre adicionales que mantengan la condición de calibre de Coulomb con funciones de calibre que satisfagan 2 ψ = 0 , pero como la única solución a esta ecuación que se anula en el infinito (donde se requiere que todos los campos se anulen) es ψ ( r , t ) = 0 , no queda arbitrariedad de calibre. Debido a esto, se dice que el calibre de Coulomb es un calibre completo, en contraste con los calibres donde queda cierta arbitrariedad de calibre, como el calibre de Lorenz a continuación.
  3. El calibre de Coulomb es un calibre mínimo en el sentido de que la integral de A 2 en todo el espacio es mínima para este calibre: Todos los demás calibres dan una integral mayor. [3] El valor mínimo dado por el calibre de Coulomb es
  4. En regiones alejadas de la carga eléctrica, el potencial escalar se vuelve cero. Esto se conoce como calibre de radiación . La radiación electromagnética se cuantizó por primera vez en este calibre.
  5. El calibre de Coulomb admite una formulación hamiltoniana natural de las ecuaciones de evolución del campo electromagnético que interactúa con una corriente conservada, [ cita requerida ] lo que es una ventaja para la cuantificación de la teoría. Sin embargo, el calibre de Coulomb no es covariante de Lorentz. Si se lleva a cabo una transformación de Lorentz a un nuevo marco inercial, se debe realizar una transformación de calibre adicional para conservar la condición de calibre de Coulomb. Debido a esto, el calibre de Coulomb no se utiliza en la teoría de perturbación covariante, que se ha convertido en estándar para el tratamiento de las teorías de campos cuánticos relativistas como la electrodinámica cuántica (QED). Los calibres covariantes de Lorentz como el calibre de Lorenz se utilizan habitualmente en estas teorías. Las amplitudes de los procesos físicos en QED en el calibre de Coulomb no covariante coinciden con las del calibre de Lorenz covariante. [4]
  6. Para un campo magnético uniforme y constante B, el potencial vectorial en el calibre de Coulomb se puede expresar en el llamado calibre simétrico como más el gradiente de cualquier campo escalar (la función de calibre), lo que se puede confirmar calculando la div y el rizo de A . La divergencia de A en el infinito es una consecuencia de la suposición no física de que el campo magnético es uniforme en todo el espacio. Aunque este potencial vectorial es poco realista en general, puede proporcionar una buena aproximación al potencial en un volumen finito de espacio en el que el campo magnético es uniforme. Otra opción común para campos constantes homogéneos es el calibre de Landau (que no debe confundirse con el calibre de Landau R ξ de la siguiente sección), donde y donde son vectores unitarios del sistema de coordenadas cartesianas (eje z alineado con el campo magnético).
  7. Como consecuencia de las consideraciones anteriores, los potenciales electromagnéticos pueden expresarse en sus formas más generales en términos de los campos electromagnéticos como donde ψ ( r , t ) es un campo escalar arbitrario llamado función de calibre. Los campos que son las derivadas de la función de calibre se conocen como campos de calibre puros y la arbitrariedad asociada con la función de calibre se conoce como libertad de calibre. En un cálculo que se lleva a cabo correctamente, los términos de calibre puros no tienen efecto sobre ningún observable físico. Una cantidad o expresión que no depende de la función de calibre se dice que es invariante de calibre: Se requiere que todos los observables físicos sean invariantes de calibre. Una transformación de calibre del calibre de Coulomb a otro calibre se realiza tomando la función de calibre como la suma de una función específica que dará la transformación de calibre deseada y la función arbitraria. Si la función arbitraria se establece a cero, se dice que el calibre es fijo. Los cálculos se pueden realizar en un calibre fijo pero deben hacerse de una manera que sea invariante de calibre.

Calibre de Lorenz

El calibre de Lorenz se expresa, en unidades del SI , por: y en unidades gaussianas por:

Esto puede reescribirse como: donde es el potencial cuadripolar electromagnético , μ el gradiente cuadripolar [usando la firma métrica (+, −, −, −)].

Es único entre los calibres de restricción en cuanto a que conserva la invariancia manifiesta de Lorentz . Sin embargo, cabe señalar que este calibre recibió originalmente el nombre del físico danés Ludwig Lorenz y no de Hendrik Lorentz ; a menudo se escribe incorrectamente "calibre de Lorentz". (Ninguno de los dos fue el primero en utilizarlo en los cálculos; lo introdujo en 1888 George Francis FitzGerald ).

El calibre de Lorenz conduce a las siguientes ecuaciones de onda no homogéneas para los potenciales:

De estas ecuaciones se desprende que, en ausencia de corriente y carga, las soluciones son potenciales que se propagan a la velocidad de la luz.

El calibre de Lorenz es incompleto en cierto sentido: queda un subespacio de transformaciones de calibre que también pueden conservar la restricción. Estos grados de libertad restantes corresponden a funciones de calibre que satisfacen la ecuación de onda.

Estos grados de libertad restantes se propagan a la velocidad de la luz. Para obtener un calibre totalmente fijo, se deben agregar condiciones de contorno a lo largo del cono de luz de la región experimental.

Las ecuaciones de Maxwell en el calibre de Lorenz se simplifican a donde es la corriente de cuatro .

Dos soluciones de estas ecuaciones para la misma configuración de corriente difieren en una solución de la ecuación de onda de vacío. De esta forma, está claro que los componentes del potencial satisfacen por separado la ecuación de Klein-Gordon y, por lo tanto, que la condición de calibre de Lorenz permite ondas polarizadas transversalmente, longitudinalmente y "temporales" en el potencial cuatrienal. Las polarizaciones transversales corresponden a la radiación clásica, es decir, ondas polarizadas transversalmente en la intensidad de campo. Para suprimir los estados de polarización longitudinal y temporal "no físicos", que no se observan en experimentos a escalas de distancia clásicas, también se deben emplear restricciones auxiliares conocidas como identidades de Ward . Clásicamente, estas identidades son equivalentes a la ecuación de continuidad.

Muchas de las diferencias entre la electrodinámica clásica y la cuántica pueden explicarse por el papel que desempeñan las polarizaciones longitudinales y temporales en las interacciones entre partículas cargadas a distancias microscópicas.

Rocalibres

Los calibres R ξ son una generalización del calibre de Lorenz aplicable a teorías expresadas en términos de un principio de acción con densidad lagrangiana . En lugar de fijar el calibre restringiendo el campo de calibre a priori , mediante una ecuación auxiliar, se añade un término de ruptura del calibre al lagrangiano "físico" (invariante del calibre).

La elección del parámetro ξ determina la elección del calibre. El calibre de Landau R ξ es clásicamente equivalente al calibre de Lorenz: se obtiene en el límite ξ  → 0 pero pospone la toma de ese límite hasta después de que la teoría haya sido cuantizada. Mejora el rigor de ciertas pruebas de existencia y equivalencia. La mayoría de los cálculos de la teoría cuántica de campos son más simples en el calibre de Feynman–'t Hooft , en el que ξ = 1 ; algunos son más manejables en otros calibres R ξ , como el calibre de Yennie ξ = 3 .

Una formulación equivalente del calibre R ξ utiliza un campo auxiliar , un campo escalar B sin dinámica independiente:

El campo auxiliar, a veces llamado campo de Nakanishi-Lautrup, se puede eliminar "completando el cuadrado" para obtener la forma anterior. Desde una perspectiva matemática, el campo auxiliar es una variedad del bosón de Goldstone , y su uso tiene ventajas a la hora de identificar los estados asintóticos de la teoría, y especialmente a la hora de generalizar más allá de la QED.

Históricamente, el uso de indicadores R ξ fue un avance técnico significativo en la extensión de los cálculos de electrodinámica cuántica más allá del orden de un bucle . Además de retener la invariancia manifiesta de Lorentz , la prescripción R ξ rompe la simetría bajo transformaciones de indicador locales mientras preserva la relación de medidas funcionales de dos configuraciones de indicador físicamente distintas . Esto permite un cambio de variables en el que las perturbaciones infinitesimales a lo largo de direcciones "físicas" en el espacio de configuración están completamente desacopladas de aquellas a lo largo de direcciones "no físicas", lo que permite que estas últimas sean absorbidas en la normalización físicamente sin sentido de la integral funcional . Cuando ξ es finito, cada configuración física (órbita del grupo de transformaciones de indicador) está representada no por una única solución de una ecuación de restricción sino por una distribución gaussiana centrada en el extremo del término de ruptura de indicador. En términos de las reglas de Feynman de la teoría fija de indicador, esto aparece como una contribución al propagador de fotones para líneas internas de fotones virtuales de polarización no física .

El propagador de fotones, que es el factor multiplicativo correspondiente a un fotón interno en la expansión del diagrama de Feynman de un cálculo QED, contiene un factor g μν correspondiente a la métrica de Minkowski . Una expansión de este factor como una suma sobre polarizaciones de fotones involucra términos que contienen las cuatro polarizaciones posibles. La radiación polarizada transversalmente se puede expresar matemáticamente como una suma sobre una base polarizada lineal o circularmente . De manera similar, se pueden combinar las polarizaciones de calibre longitudinales y temporales para obtener polarizaciones "hacia adelante" y "hacia atrás"; estas son una forma de coordenadas de cono de luz en las que la métrica está fuera de la diagonal. Una expansión del factor g μν en términos de coordenadas de cono de luz y polarizadas circularmente (espín ±1) se denomina suma de espín. Las sumas de espín pueden ser muy útiles tanto para simplificar expresiones como para obtener una comprensión física de los efectos experimentales asociados con diferentes términos en un cálculo teórico.

Richard Feynman utilizó argumentos similares a estos para justificar procedimientos de cálculo que producían resultados consistentes, finitos y de alta precisión para parámetros observables importantes, como el momento magnético anómalo del electrón. Aunque sus argumentos a veces carecían de rigor matemático incluso para los estándares de los físicos y pasaban por alto detalles como la derivación de las identidades de Ward-Takahashi de la teoría cuántica, sus cálculos funcionaron y Freeman Dyson pronto demostró que su método era sustancialmente equivalente a los de Julian Schwinger y Sin-Itiro Tomonaga , con quienes Feynman compartió el Premio Nobel de Física de 1965 .

La radiación polarizada hacia adelante y hacia atrás se puede omitir en los estados asintóticos de una teoría cuántica de campos (véase la identidad de Ward–Takahashi ). Por esta razón, y debido a que su aparición en las sumas de espín se puede ver como un mero dispositivo matemático en la QED (de forma muy similar al potencial electromagnético de cuatro potenciales en la electrodinámica clásica), a menudo se habla de ellas como "no físicas". Pero a diferencia de los procedimientos de fijación de calibre basados ​​en restricciones anteriores, el calibre R ξ se generaliza bien a grupos de calibre no abelianos como el SU(3) de QCD . Los acoplamientos entre los ejes de perturbación físicos y no físicos no desaparecen por completo bajo el cambio correspondiente de variables; para obtener resultados correctos, uno debe tener en cuenta el jacobiano no trivial de la incrustación de los ejes de libertad de calibre dentro del espacio de configuraciones detalladas. Esto conduce a la aparición explícita de bosones de calibración polarizados hacia adelante y hacia atrás en los diagramas de Feynman, junto con los fantasmas de Faddeev-Popov , que son aún más "no físicos" en el sentido de que violan el teorema de estadística de espín . La relación entre estas entidades y las razones por las que no aparecen como partículas en el sentido mecánico cuántico se hace más evidente en el formalismo de cuantificación BRST.

Calibre abeliano máximo

En cualquier teoría de calibración no abeliana , cualquier calibración abeliana máxima es una calibración incompleta que fija la libertad de calibración fuera del subgrupo abeliano máximo. Algunos ejemplos son

Esto se aplica regularmente en álgebras superiores (de grupos en las álgebras), por ejemplo, el Álgebra de Clifford y tal como es regularmente.

Calibres menos utilizados

En la literatura han aparecido otros indicadores que pueden resultar beneficiosos en situaciones específicas. [2]

Calibre Weyl

El calibre de Weyl (también conocido como calibre hamiltoniano o temporal ) es un calibre incompleto obtenido por la elección

Recibe su nombre en honor a Hermann Weyl . Elimina el fantasma de la norma negativa , carece de invariancia de Lorentz manifiesta y requiere fotones longitudinales y una restricción en los estados. [5]

Calibre multipolar

La condición del calibre del calibre multipolar (también conocido como calibre de línea , calibre de punto o calibre de Poincaré (llamado así por Henri Poincaré )) es:

Este es otro indicador en el que los potenciales se pueden expresar de forma sencilla en términos de los campos instantáneos.

Calibre Fock-Schwinger

La condición de calibre del calibre de Fock-Schwinger (llamado así por Vladimir Fock y Julian Schwinger ; a veces también llamado calibre de Poincaré relativista ) es: donde x μ es el cuatro-vector de posición .

Calibre de Dirac

La condición de calibre de Dirac no lineal (llamada así en honor a Paul Dirac ) es:

Referencias

  1. ^ Stewart, AM (2003). "Potencial vectorial del calibre de Coulomb". Revista Europea de Física . 24 (5): 519–524. Bibcode :2003EJPh...24..519S. doi :10.1088/0143-0807/24/5/308. S2CID  250880504.
  2. ^ ab Jackson, JD (2002). "De Lorenz a Coulomb y otras transformaciones de calibre explícitas". American Journal of Physics . 70 (9): 917–928. arXiv : physics/0204034 . Código Bibliográfico :2002AmJPh..70..917J. doi :10.1119/1.1491265. S2CID  119652556.
  3. ^ Gubarev, FV; Stodolsky, L.; Zakharov, VI (2001). "Sobre la importancia del potencial vectorial al cuadrado". Phys. Rev. Lett. 86 (11): 2220–2222. arXiv : hep-ph/0010057 . Código Bibliográfico :2001PhRvL..86.2220G. doi :10.1103/PhysRevLett.86.2220. PMID  11289894. S2CID  45172403.
  4. ^ Adkins, Gregory S. (15 de septiembre de 1987). "Reglas de Feynman de la electrodinámica cuántica de calibre de Coulomb y el momento magnético del electrón". Physical Review D . 36 (6). American Physical Society (APS): 1929–1932. Bibcode :1987PhRvD..36.1929A. doi :10.1103/physrevd.36.1929. ISSN  0556-2821. PMID  9958379.
  5. ^ Hatfield, Brian (1992). Teoría cuántica de campos de partículas puntuales y cuerdas . Addison-Wesley. págs. 210-213. ISBN . 0201360799.

Lectura adicional