En la física de las teorías de calibre , la fijación de calibre (también llamada elección de calibre ) denota un procedimiento matemático para hacer frente a grados de libertad redundantes en variables de campo . Por definición, una teoría de calibre 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 determinada transformación, equivalente a un corte 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 calibre sólo pueden obtenerse 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, existe una enorme libertad al 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). Una fijación sensata del calibre puede simplificar enormemente los cálculos, pero se vuelve cada vez 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 continúa en órdenes superiores . Históricamente, la búsqueda de procedimientos de fijación de calibres lógicamente consistentes y computacionalmente manejables, y los esfuerzos por demostrar su equivalencia frente a una desconcertante variedad de dificultades técnicas, han sido un importante impulsor de la física matemática desde finales del siglo XIX hasta el presente. [ cita necesaria ]
La teoría de calibre arquetípica es la formulación de Heaviside - Gibbs de la electrodinámica continua en términos de un cuatro potencial electromagnético , que se presenta aquí en notación de Heaviside asimétrica espacio/tiempo. 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 el potencial del vector magnético A mediante las relaciones:
Si la transformación
se hace, entonces B permanece sin cambios, 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 se toma cualquier función ψ ( r , t ) y simultáneamente se transforma A y φ mediante las transformaciones ( 1 ) y ( 2 ).
Una elección particular de los potenciales escalar y vectorial 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 necesaria ] La existencia de números arbitrarios 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 realizar de muchas maneras, algunas de las cuales exhibimos a continuación.
Aunque ahora se suele hablar del electromagnetismo clásico como una teoría de calibre, originalmente no se concibió en estos términos. El movimiento de una carga puntual clásica se ve afectado sólo por las intensidades del campo eléctrico y magnético en ese punto, y los potenciales pueden tratarse como un mero recurso matemático para simplificar algunas pruebas y cálculos. No fue hasta el advenimiento de la teoría cuántica de campos que se pudo decir que los potenciales mismos son parte de la configuración física de un sistema. La primera consecuencia que se pudo predecir con precisión y verificar experimentalmente fue el efecto Aharonov-Bohm , que no tiene contrapartida clásica. Sin embargo, la libertad de medición sigue siendo cierta en estas teorías. Por ejemplo, el efecto Aharonov-Bohm depende de una integral de línea de A alrededor de un circuito cerrado, y esta integral no cambia por
La fijación de calibres en teorías de calibres no abelianos , como la teoría de Yang-Mills y la relatividad general , es un tema bastante más complicado; para obtener más detalles, consulte Ambigüedad de Gribov , Fantasma de Faddeev-Popov y Paquete de marcos .
Como ejemplo de 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 saber si está torcida o no. Sin embargo, si se trazara una línea recta a lo largo de la varilla, entonces se podría decir fácilmente si hay una torsión o no al observar el estado de la línea. Trazar una línea es fijar el calibre . Dibujar la línea arruina la simetría del 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 a una función de calibre ; no es necesario que sea recto. Casi cualquier línea tiene una fijación de ancho válida, es decir, existe una gran libertad de ancho . En resumen, para saber si la varilla está torcida, se debe conocer el calibre. Las cantidades físicas, como la energía de torsión, no dependen del calibre, es decir, son invariantes de calibre .
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 del calibre (más precisamente, la 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 varias propiedades:
La naturaleza instantánea de estos potenciales parece, a primera vista, violar la causalidad , ya que los movimientos de una carga eléctrica o de un campo magnético aparecen en todas partes instantáneamente como cambios en los potenciales. Esto se justifica observando que los potenciales escalares y vectoriales en sí no afectan los movimientos de las cargas, sólo las combinaciones de sus derivadas que forman la intensidad del campo electromagnético. Aunque se pueden calcular las intensidades de campo explícitamente en el calibre de Coulomb y demostrar que los cambios en ellos se propagan a la velocidad de la luz, es mucho más sencillo observar que las intensidades de campo no cambian bajo transformaciones de calibre y demostrar causalidad en la manifiestamente covariante de Lorentz. calibre que se describe a continuación.
Se ha obtenido otra expresión para el potencial vectorial, en términos de la densidad de corriente eléctrica retardada J ( r , t ) , que es: [2]
El calibre de Lorenz viene dado, en unidades del SI , por:
Esto puede reescribirse como:
Es único entre los medidores de restricciones al retener la invariancia manifiesta de Lorentz . Tenga en cuenta, sin embargo, que este medidor recibió originalmente el nombre del físico danés Ludvig Lorenz y no de Hendrik Lorentz ; a menudo se escribe mal "medidor de Lorentz". (Ninguno de los dos fue el primero en utilizarlo en los cálculos; fue introducido en 1888 por 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 algún sentido: queda un subespacio de transformaciones de calibre que también puede preservar 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 completamente 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
Dos soluciones de estas ecuaciones para la misma configuración actual difieren por una solución de la ecuación de la onda de vacío
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.
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 agrega un término de ruptura de calibre al lagrangiano "físico" (invariante de calibre).
La elección del parámetro ξ determina la elección del calibre. El calibre R ξ Landau 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 se haya cuantificado la teoría. Mejora el rigor de determinadas 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 Yennie ξ = 3 .
Una formulación equivalente de R ξ calibre utiliza un campo auxiliar , un campo escalar B sin dinámica independiente:
El campo auxiliar, a veces llamado campo 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 QED.
Históricamente, el uso de medidores 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 calibre locales al tiempo que preserva la relación de medidas funcionales de dos configuraciones de calibre 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", permitiendo 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 calibre) 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 calibre. En términos de las reglas de Feynman de la teoría de calibre fijo, 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 suma de las polarizaciones de fotones implica 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 longitudinal y temporal para obtener polarizaciones "hacia adelante" y "hacia atrás"; se trata de 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 polarización circular (espín ±1) y del cono de luz 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 aproximadamente en este sentido en gran medida para justificar procedimientos de cálculo que producían resultados consistentes, finitos y de alta precisión para importantes parámetros observables, 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 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 quien 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 (ver identidad Ward-Takahashi ). Por esta razón, y porque su aparición en las sumas de espines puede verse como un mero dispositivo matemático en QED (muy parecido al cuatro potencial electromagnético en la electrodinámica clásica), a menudo se habla de ellos como "no físicos". 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 con el correspondiente cambio de variables; Para obtener resultados correctos, se debe tener en cuenta el jacobiano no trivial de la incorporación de ejes de libertad de calibre dentro del espacio de configuraciones detalladas. Esto lleva a la aparición explícita de bosones de calibre polarizados hacia adelante y hacia atrás en los diagramas de Feynman, junto con fantasmas de Faddeev-Popov , que son aún más "antifísicos" porque violan el teorema de la 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 de la mecánica cuántica se vuelve más evidente en el formalismo de cuantificación BRST.
En cualquier teoría de calibre no abeliano , cualquier calibre abeliano máximo es un calibre incompleto que fija la libertad de calibre fuera del subgrupo abeliano máximo. Ejemplos son
Esto se aplica regularmente en álgebras superiores (de grupos de álgebras), por ejemplo, el álgebra de Clifford, y como es habitual.
En la literatura han aparecido otros medidores que pueden ser beneficiosos en situaciones específicas. [2]
El calibre de Weyl (también conocido como calibre hamiltoniano o temporal ) es un calibre incompleto que se obtiene por elección
Lleva el nombre de Hermann Weyl . Elimina el fantasma de la norma negativa , carece de invariancia manifiesta de Lorentz y requiere fotones longitudinales y una restricción de los estados. [5]
La condición de gálibo del gálibo multipolar (también conocido como gálibo de línea , gálibo de punto o gálibo de Poincaré (llamado así en honor a Henri Poincaré )) es:
Este es otro medidor en el que los potenciales se pueden expresar de forma sencilla en términos de campos instantáneos.
La condición de calibre del calibre de Fock-Schwinger (llamado así en honor a Vladimir Fock y Julian Schwinger ; a veces también llamado calibre relativista de Poincaré ) es:
La condición de calibre de Dirac no lineal (llamada así en honor a Paul Dirac ) es: