¿Qué es la teoría de indicadores (intuitivamente)?

La teoría cuántica de campos trata sobre campos. Un campo es algún tipo de cantidad que varía en el espacio-tiempo. Un ejemplo familiar es un campo magnético. En cada punto en el espacio-tiempo hay un vector que da una magnitud y dirección del campo magnético allí. La teoría del campo cuántico trata sobre la dinámica de estos campos.

La teoría del campo cuántico también se trata de ecuaciones diferenciales parciales. Lo que esto significa es que una parte importante de la dinámica está determinada por la velocidad de cambio de los campos a medida que viaja a lo largo de un vector en el espacio-tiempo. Por ejemplo, cerca de un imán, el campo disminuye a medida que te alejas del imán. Este tipo de tasa de cambio juega un papel importante en la teoría cuántica de campos (y también en la teoría clásica de campos).

Pero, ¿qué significa “tasa de cambio”? Básicamente necesitas comparar el campo en dos lugares diferentes en el espacio-tiempo. En el ejemplo anterior, comparé el campo magnético entre dos puntos, uno más cercano que el otro a un imán. Eso parece sencillo, solo mide la magnitud y la dirección en un lugar, la mide en otro lugar y compara los números.

Pero una cosa que Einstein nos enseñó fue que no se pueden comparar cosas separadas en el espacio-tiempo. Ni siquiera se puede decir cuándo dos eventos en el espacio-tiempo son simultáneos. Entonces deberíamos cuestionar qué significa comparar campos magnéticos en diferentes lugares.

Si desea comparar dos cosas separadas, debe arrastrar una o ambas para que ambas terminen en el mismo lugar, o arrastre su instrumento de medición de un lugar a otro. Entonces puedes comparar. Por lo tanto, necesita una regla que diga que si mide X en un extremo de una ruta y luego se mueve hacia el otro extremo, ¿cuál es la medida equivalente en el otro extremo? Tomar diferentes caminos de A a B podría incluso dar resultados diferentes.

Entonces, si tiene una de estas reglas, puede calcular las tasas de cambio a medida que avanza por una ruta. Pero, ¿cuál debería ser la regla? Podría imaginarse que la regla en sí misma puede variar de ruta a ruta y dependiendo de los puntos finales y la ruta tomada entre esos puntos finales. Parece que hay una gran cantidad de tales reglas, pero puede simplificar las cosas hasta el punto en que la regla solo se describe por un grupo de campos (conocidos como campos de indicador) que dicen lo que sucede cuando se mueve por el espacio-tiempo.

Ahora viene lo extraño: considera que la regla en sí misma (o, de manera equivalente, el conjunto de campos de indicador) es solo otra parte del sistema físico con su propia dinámica. Esa es la teoría del calibre. Es una teoría que involucra campos variables y un montón de reglas diferentes sobre cómo deben compararse esos campos en el espacio-tiempo.

Para completar, debo señalar algunas cosas que le permitirán comparar con las descripciones de otras personas. La regla sobre cómo comparar campos en diferentes puntos se conoce como Conexión (paquete de vectores). La regla sobre cómo usar una conexión para obtener tasas de cambio se denomina derivada covariante. Las cantidades que está comparando desde un extremo de una ruta a otra viven en un espacio llamado paquete de vectores.

Mencioné que la regla (es decir, la conexión) puede ser descrita por un grupo de campos conocidos como campos de indicador. Hay un poco de ambigüedad aquí. Diferentes campos de indicadores pueden describir la misma conexión. (Es lo mismo que si decidiéramos redefinir el dólar para que valga el doble. Todo costaría la mitad, pero luego nuestros ahorros e ingresos se reducirían a la mitad y no haría ninguna diferencia). Esto es un verdadero dolor de cabeza. Tienes que hacer todo tipo de cosas complicadas para asegurarte de no “contar dos veces” porque describiste la misma cosa de dos maneras diferentes. Por ejemplo, la cuantización BRST con sus fantasmas Faddeev – Popov. Cuando estudias la teoría de indicadores, pasas mucho tiempo lidiando con esta ambigüedad. De hecho, los físicos a veces pasan tanto tiempo lidiando con este problema que piensan que la ambigüedad es lo que define la teoría del calibre. Pero esto está poniendo el énfasis en el lugar equivocado. La teoría del indicador se trata principalmente de conexiones.

Resumen: La teoría de indicadores es cualquier teoría de campo en física en la que se promueve una simetría global y continua de la teoría a una simetría local . Al hacerlo, se introduce un nuevo campo (el campo de indicador ) que tiene su propia dinámica y se acopla a las partículas / campos que tienen la simetría. Luego se dice que esas partículas se cargan debajo del campo de calibración.

Para obtener más detalles y tratar de explicar lo anterior, el campo escalar complejo es un ejemplo útil. El complejo campo escalar tiene una acción.
[matemáticas]
S = \ int d ^ 4 x (\ partial_ \ mu \ phi ^ *) (\ partial ^ \ mu \ phi) – V (| \ phi |).
[/matemáticas]
Hay una simetría global y continua para esta acción, una fase general. Es decir, si uno reemplaza [math] \ phi \ to e ^ {i \ alpha} \ phi [/ math], entonces la acción no cambia. Este tipo de cambio se llama transformación de indicador. El grupo de simetría de esta transformación es el grupo de Lie U (1).

Ahora considere si se desea no solo hacer cambios globales de fase sino también transformaciones de calibre local. Entonces la fase [math] \ alpha [/ math] debería convertirse en una función espacial, [math] \ alpha (x) [/ math]. Tenga en cuenta ahora que el término cinético recogería derivados de [math] \ alpha (x) [/ math], por lo que la acción no es automáticamente invariable bajo este cambio. Para hacerla invariable y hacer cumplir tal simetría, uno debe reescribir la ley de transformación para que haya un nuevo tipo de derivada [matemática] D_ \ mu \ phi [/ matemática], que bajo el cambio de fase en [matemática] \ phi [/ math] se transforma de la misma manera,
[matemáticas]
D_ \ mu \ phi \ to e ^ {i \ alpha (x)} D_ \ mu \ phi.
[/matemáticas]
Se dice que esta derivada es una derivada covariante de indicador, ya que varía en la forma en que lo hace el campo cuando se realiza una transformación de indicador. Para construir tal derivada, uno introduce un nuevo campo en el espacio llamado campo de indicador cuya ley de transformación bajo la transformación de indicador se prescribirá para dar la ley anterior. La derivada del medidor se convierte en
[matemáticas]
D_ \ mu \ phi = \ partial_ \ mu \ phi + ig A_ \ mu \ phi.
[/matemáticas]
(Tenga en cuenta que la derivada de calibre que actúa sobre [matemáticas] \ phi ^ * [/ matemáticas] tiene el signo opuesto delante de i, del complejo conjugado de esta ecuación). El campo de indicador está desempeñando el papel de un campo de conexión . Para que la derivada sea covariante de indicador, el campo de indicador debe transformarse como
[matemáticas]
A_ \ mu \ a A_ \ mu + \ frac {1} {g} \ partial_ \ mu \ alpha.
[/matemáticas]
Al ver que esta transformación requiere que [math] A_ \ mu [/ math] tenga derivadas del grupo, podemos ver que la conexión es un vector (o mejor aún una forma) con componentes que tienen valores en el álgebra de Lie asociados con El grupo de simetría. Para U (1), el álgebra es solo un círculo de números reales. Esto es más complicado para otros grupos, pero básicamente ahora hay un vector de elementos de álgebra de mentira que viven en todas partes en el espacio.

Con esta definición, la nueva acción
[matemáticas]
S = \ int d ^ 4 x (D_ \ mu \ phi ^ *) (D ^ \ mu \ phi) – V (| \ phi |)
[/matemáticas]
es invariante bajo la transformación de calibre. Sin embargo, el campo de calibre está jugando un papel pasivo aquí, no tiene dinámica. Habiendo introducido un nuevo campo, debería jugar un papel en la física. Para lograr esto, necesitamos agregar un término cinético para el campo de indicador. Un término cinético debe tener derivadas del campo de indicador, pero no todos los términos derivados son posibles, solo aquellas combinaciones particulares que dejarán la acción invariable bajo una transformación de indicador. Para U (1), este término cinético es simplemente proporcional a
[matemáticas] F _ {\ mu \ nu} F ^ {\ mu \ nu} [/ matemáticas]
donde [math] F _ {\ mu \ nu} = \ partial_ \ mu A_ \ nu – \ partial_ \ nu A_ \ mu [/ math]. Esto pasa a ser la curvatura de la conexión del medidor para U (1). Para grupos de simetría más complicados, la curvatura con dos valores de álgebra es [matemática] F = dA + \ frac {1} {2} g \ left [A \ wedge A \ right] [/ math] (ver nota al pie [1 ]).

La acción final para esta teoría es
[matemáticas]
S = \ int d ^ 4 x (D_ \ mu \ phi ^ *) (D ^ \ mu \ phi) – V (| \ phi |) – \ frac {1} {4} F _ {\ mu \ nu} F ^ {\ mu \ nu}.
[/matemáticas]
Al escribir las ecuaciones de movimiento para [math] A_ \ mu [/ math], encontramos las ecuaciones de electromagnetismo con [math] \ phi [/ math] actuando como una partícula / campo cargado con carga [math] g [/ math ], y [math] \ phi ^ * [/ math] el campo con carga opuesta.

Se sigue un procedimiento similar para otros grupos de simetría. Este tipo de teoría de calibre se conoce como teoría de Yang-Mills.

La electrodinámica cuántica es igual que la anterior pero con campos fermiónicos en lugar de campos escalares complejos. La cromodinámica cuántica (QCD) tiene un grupo de simetría de SU (3) en lugar de U (1). Tenga en cuenta que para U (1), la curvatura es lineal en el campo de conexión, ya que [matemática] \ izquierda [A \ cuña A \ derecha] [/ matemática] desaparece cuando el grupo es abeliano. Esto hace que la acción sea cuadrática en el campo del medidor, por lo que el electromagnetismo es una teoría lineal. QCD, por el contrario, tiene una acción cuártica, por lo que se auto interactúa (por lo que QCD es tan difícil).

[1] La notación [matemática] \ izquierda [A \ cuña A \ derecha] [/ matemática] significa el soporte de Lie y el producto de cuña simultáneamente; gracias a Quora User por señalar esto.

More Interesting

Si se cambia una unidad de masa en otros sistemas de unidades, ¿cómo se cambian otras cantidades físicas?

¿Cómo diseñar y construir un puente de espagueti?

¿Por qué los estados de mecánica cuántica están en el espacio de Hilbert?

¿Cuáles son las principales funciones de las cantidades vectoriales?

¿Cuál es la diferencia entre física y matemáticas con respecto a la 'realidad' como lo expresó Einstein?

¿Es posible evaluar una integral múltiple indefinida?

¿Cómo sabemos si una entidad física es un tensor contravariante, covariante o mixto? ¿Qué hace que las cosas sean tensores y cómo las identificamos como tales?

¿Por qué se eliminan los electrones [matemática] 4s [/ matemática] de [matemática] Fe [/ matemática] en formación de [matemática] Fe ^ {2 +} [/ matemática], en lugar de la [matemática] 3d [/ matemática] electrones?

¿Por qué puede un Delta de Dirac tener un solo estado limitado?

Cómo calcular el rizo de un potencial vectorial con [matemáticas] A = \ frac {\ mu_ {0} Ir ^ {2}} {6 \ pi R ^ {2}} [/ matemáticas]

¿Cómo encontraría el ángulo óptimo de un proyectil proyectado hacia una colina con forma de función?

Newton y Leibniz desarrollaron cálculo. ¿Cómo se hicieron las matemáticas y la física antes que ellos?

Si los jugadores juegan Jenga cooperativamente, ¿cuál es la altura de la torre más alta que pueden construir de acuerdo con nuestras leyes de física? Si juegan de forma competitiva?

¿Por qué necesitamos introducir la idea de componentes covariantes y contravariantes cuando se trata de rotación?

¿Por qué necesitamos multiplicar 5/18 para convertir km / h en m / s?