La interpretación de la masa en las teorías cuánticas de campos

Considere una teoría libre con un campo escalar real:

L := 1 2 m ϕ m ϕ 1 2 metro 2 ϕ 2 .
Escribimos este coeficiente positivo delante de ϕ 2 como 1 2 metro 2 y luego empieza a llamar metro la misa (de quién sabe qué a estas alturas) e incluso interpretarla como tal. Pero finja por un momento que nunca antes ha visto ningún tipo de teoría de campo: si alguien simplemente escribiera este Lagrangiano, no sería evidente de inmediato por qué debería ser la masa de algo.

Entonces, en primer lugar, ¿qué es precisamente lo que queremos decir cuando decimos la palabra "masa", y cómo se relaciona nuestra constante con esta noción física de una manera que justifica la interpretación de metro como masa?

Si ayuda a aclarar, así es como lo pienso. Hay dos nociones de masa involucradas: la matemática que es parte de nuestro modelo, y la física que estamos tratando de modelar. La masa física debe definirse mediante un experimento mental idealizado , y luego, si nuestro modelo va a ser bueno, deberíamos poder presentar una 'prueba' de que nuestra definición matemática concuerda con la física.

(Por supuesto, nada de esto tiene nada que ver con esta teoría de campo en particular; fue solo el Lagrangiano más simple de escribir).

"Pero finja por un momento que nunca antes ha visto ningún tipo de teoría de campo: si alguien simplemente escribiera este Lagrangiano, no sería evidente de inmediato por qué esto debería ser la masa de algo". - Es una característica básica de la ciencia que a uno se le permite, y se le anima, a usar el cerebro y aprender cosas que no son obvias al principio. En el QFT anterior, uno analiza la física y encuentra que contiene partículas cuya masa es metro . ¿Cuál es el problema? ¿Hablas en serio de que te gustaría que todas las cosas en la ciencia fueran obvias desde el principio y sin pensar?
@Luboš Creo que Jonathan está tratando de arrojar algo de luz sobre el cuadro negro representado por "uno analiza la física" en su comentario. En mi opinión, es una excelente pregunta.
Estoy de acuerdo con David en que es una excelente pregunta. @LubošMotl Tu pregunta "¿Hablas en serio que te gustaría que todas las cosas en la ciencia fueran obvias desde el principio y sin pensar?" es una manipulación inexacta e improductiva de las declaraciones hechas por el OP.
@LubošMotl "¿Cuál es el problema?" -- El problema está en los detalles de "... encuentra que contiene partículas cuya masa es metro ", es decir, que no los conozco y me gustaría.
@LubošMotl Además, la pregunta pretendía tener el espíritu de "Si algo no es obvio, proporcionemos un argumento para demostrar que es verdad", en lugar de "¿Por qué no puede ser todo obvio?".
Ok, pero la forma en que está expresado "pretende por un momento que nunca antes has visto ningún tipo de teoría de campo" es, lo que creo, la razón de la primera observación. ¿Qué pasa si dices "pretende que nunca has visto ningún tipo de matemáticas antes", entonces ese coeficiente sería tu menor problema?
@MBN Especulo que Jonathan no quiso que el lector tomara esa declaración literalmente; se pensó como una figura retórica para "no dé por sentado que estoy familiarizado con la teoría de campos; finja que nunca he visto la justificación para identificar ese parámetro metro en la densidad lagrangiana con la masa física de una partícula que se supone que describe".
@JonathanGleason ¿Tienes algún texto QFT listo? Hay una presentación estándar en todos ellos, refinada al grado n, generalmente en uno de los primeros capítulos. Pruebe la preimpresión del libro de Srednicki para obtener un buen obsequio. Si todavía se está atascando con la presentación estándar, tal vez debería hacer una pregunta más detallada sobre dónde se está atascando. :) De lo contrario, alguien aquí simplemente reescribirá inútilmente la basura estándar.
@MichaelBrown No sé de qué estás hablando. Me imagino que mi pregunta no está clara ya que nunca he encontrado ninguna "presentación estándar" que responda a mi pregunta (lea P&S y Weinberg). ¿Podría, por ejemplo, dar un número de página en Srednicki para que sepa el argumento al que se refiere?
@JonathanGleason ¿Cuál es la relación energía-impulso para las excitaciones del vacío de una sola partícula (o la energía más baja si no quiere comprometerse con una interpretación de partículas todavía)? La derivación del espacio de Fock y la interpretación en términos de partículas de masa metro es completamente estándar. Si esto no le convence, tal vez debería editar su pregunta para explicar por qué esperaría que la masa signifique algo más.
@JonathanGleason Dicho de otra manera: si solo te sientas y miras a un Lagrangiano, entonces metro no es más que una carta sin sentido que no significa nada. Pero tan pronto como calculas el espectro de la teoría cuántica, está claro que es una tontería llamarlo metro cualquier cosa menos la masa de una partícula. Tenga en cuenta que en una teoría interactiva necesita volver a normalizar el Lagrangiano para hacer esta conexión, es decir, ya no se mantiene que metro es la masa. Es solo la masa hasta un factor que necesita calcular.
Quizás te estés refiriendo al hecho de que PAGS | pags = pags | pags y pags 2 = metro 2 ? ( PAGS es el elemento del álgebra de Lorentz en la representación de la partícula y pags es un 4 -vector). Eso está bien, pero esto solo reduce la pregunta a: si una partícula tiene 4 impulsos pags tal que pags 2 = metro 2 , por qué interpretamos metro como la masa de la partícula?
@JonathanGleason Otra cosa que puede hacer si realmente desea una forma poco ortodoxa (y difícil) de resolver las cosas es agregar un potencial externo a su Lagrangiano, resolver el propagador, preparar un estado de paquete de ondas y ver cómo acelera el paquete de ondas. A partir de esto se puede (eventualmente, tediosa y en una aproximación cuasiclásica no relativista) derivar F = metro a . :D
Si sigue esta ruta, entonces es realmente una pregunta sobre la relatividad especial, no la teoría cuántica de campos, pero estaba pensando que había otras razones más profundas que en realidad requieren el marco de QFT para comprender.
Probablemente elegiría QFT=>Rep of Poincare alg.=>Casimir invariant metro 2 . Interpretación de una sola partícula: PAGS 2 = metro 2 en shell, y sabemos que metro aquí está precisamente la masa invariante. No sé nada más profundo. Los parámetros en QFT reciben sus nombres específicos porque corresponden a las cosas apropiadas en los límites apropiados (clásicos y no relativistas). Sin embargo, creo que la interpretación de las partículas es clave para llamar "masa" a ese parámetro lagrangiano.
Por lo que vale, mezclé las convenciones de signos en mi comentario anterior. debería ser eso pags 2 = metro 2 , con la convención utilizada en el Lagrangiano.

Respuestas (3)

Hay dos respuestas (en última instancia relacionadas).

Para la primera respuesta, simplemente olvídate de (pero di C = 1 ), estamos haciendo una teoría de campo relativista clásica.

La primera es que puede considerar el perfil de campo alrededor de una fuente de masa estática y esféricamente simétrica METRO (necesita agregar un acoplamiento a la acción del formulario gramo ϕ j , dónde j es una fuente externa, para hacer esto).

Entonces escribimos la fuente estática esféricamente simétrica como

j = j 0 d 3 ( r ) .

(si no le gustan las funciones delta, puede convertirlas en un sombrero de copa o un caparazón y encontrará las mismas conclusiones a continuación, este tipo de manipulación debería ser familiar de las clases E/M)

Puedes resolver las ecuaciones de movimiento para ϕ , usted encontrará

2 ϕ + metro 2 ϕ = gramo j 0 d 3 ( r ) .

Esto se ve exactamente como la ecuación de Poisson, excepto con este extra metro 2 término (que aún no he llamado misa). Si lo resuelve (por ejemplo, usando las funciones de Green, o simplemente puede hacer un ansatz explícito), encontrará que la solución es

ϕ = gramo j 0 mi metro r 4 π r .

Este es el famoso potencial yukawa con masa metro . Describe una fuerza con un rango metro 1 , que es posible que hayas escuchado antes es la prueba irrefutable de la partícula portadora de fuerza que tiene masa (las interacciones débiles son tan débiles a distancias humanas porque metro es tan grande)

Ahora, en este punto, todavía está justificado preguntar por qué llamamos a esta cantidad metro , que en el análisis clásico anterior es solo una longitud inversa, una masa.

La segunda respuesta aborda esto más directamente. Viene cuando cuantificamos la teoría. Esto se discute con gran detalle en muchos libros de texto qft, pero la esencia es relativamente simple. En este punto diré = 1 , si realmente desea realizar un seguimiento de la dependencia se puede recuperar por análisis dimensional.

Si toma las ecuaciones de movimiento para el sistema anterior sin la fuente (tenga en cuenta que ya no estamos trabajando con sistemas estáticos):

t 2 ϕ + 2 ϕ + metro 2 ϕ = 0.

e ir al espacio de fourier

ϕ ~ ( k , t ) d 3 k ( 2 π ) 3 mi i k X ϕ ( X , t )

entonces encontrarás que las ecuaciones de movimiento son

t 2 ϕ ~ + k 2 ϕ ~ + metro 2 ϕ ~ = 0

Esto es solo un conjunto de osciladores armónicos, etiquetados por k con frecuencia

ω 2 = k 2 + metro 2

podemos pensar en ϕ ~ ( k , t ) por un solo valor de k como una sola variable cuántica que obedece a una ecuación de oscilador armónico, por lo que cuando cuantificamos estas variables tendremos una función de onda para cada valor de k , cada uno de los cuales obedece a una ecuación de Schrödinger para un oscilador armónico con la frecuencia anterior. Cada oscilador armónico se cuantificará y tendrá niveles de energía discretos. Estos niveles de energía son lo que llamamos 'partículas'. La idea es que para un momento dado, el campo ϕ solo puede tener ciertos valores de energía, y la interpretación es que estos movimientos cuantificados en ϕ , o en otras palabras paquetes discretos de energía, son partículas.

Ahora recordamos que estamos haciendo mecánica cuántica, y se supone que debemos identificar la frecuencia con la energía y el momento con la longitud de onda, usando

mi = ω , pags = k .

Así que estamos describiendo un sistema con una relación entre energía y cantidad de movimiento dada por

mi 2 = pags 2 + metro 2 .

Esta es la famosa fórmula de einstein, y ahora vemos que el parámetro metro aparece exactamente en el lugar donde aparecería la masa de una partícula. Es la energía que tiene una partícula cuando tiene 0 impulso. Entonces identificamos las excitaciones similares a partículas que descubrimos anteriormente con partículas de masa metro .

Sin embargo, enfatizo que hay muchos, muchos, muchos otros tratamientos de esta y otras formas de verlo.

Una buena pregunta sería, ¿qué significa una partícula si no tienes una teoría libre y no obtienes una ecuación de oscilador armónico arriba?

He estado pensando en esta pregunta de vez en cuando desde que se publicó, y tengo algunos pensamientos que espero arrojen algo de luz sobre este asunto. Creo que ayuda empezar con lo siguiente:

Una analogía de la mecánica.

Considere la siguiente expresión que encontrará a menudo en la mecánica clásica:

L ( X , X ˙ ) = 1 2 metro X ˙ 2
y digamos que nunca has visto la mecánica lagrangiana antes. Alguien viene y te dice que este Lagrangiano "describe" una partícula libre de masa metro moviéndose en una dimensión. A continuación, podría hacer la pregunta "¿cómo podemos identificar el parámetro metro que aparece en esta expresión con la masa física de una partícula?

Como responderías esta pregunta? Esto no solo pretende ser retórico, ¡creo que sería útil pensar en esto antes de seguir leyendo!

Mi proceso de pensamiento para responder a esta pregunta es el siguiente. Bueno, queremos identificar el parámetro metro con la definición física de masa en la mecánica clásica. ¿Cómo definimos la masa operativamente en la mecánica clásica? Bueno, ejercemos una fuerza sobre la masa y vemos hasta qué punto se acelera. En otras palabras, necesitamos interactuar con la partícula y observar qué sucede para determinar su masa. A continuación, volvemos al Lagrangiano anterior. Si fuera capaz de predecir cómo reacciona una partícula a una interacción, entonces podríamos usarlo para identificar el parámetro metro como la masa de una partícula.

Desafortunadamente, el lagrangiano de partículas libres no hace tales predicciones dinámicas. Las ecuaciones de Euler-Lagrange correspondientes conducen a la ecuación de movimiento

X ¨ = 0
lo que no nos dice nada acerca de cómo reaccionará una partícula a una interacción.

Ahora, podría tratar de identificar metro como la masa definiendo la energía y el momento en este modelo matemático como los generadores de las traslaciones de tiempo y espacio respectivamente y luego decir "oh mira, estas expresiones corresponden a las expresiones de energía y momento de una partícula no relativista que estamos solía, así que metro debe ser la masa!" No creo que este argumento tenga mucho contenido o validez, porque hacer estas "definiciones" de ninguna manera permite identificar el parámetro en el Lagrangiano con la masa física definida operativamente en términos de interacciones.

Para identificar metro como la masa, necesitamos poner términos en el Lagrangiano que correspondan a interacciones (como un término potencial), ver qué predicen las ecuaciones de movimiento de Euler-Lagrange sobre la dinámica resultante y luego comparar con experimentos para identificar metro como la masa.

Teoría cuántica de campos.

Usando estas analogías, me siento insatisfecho con la respuesta del usuario 20797 donde obtenemos la relación energía-momento relativista para una partícula porque, por lo que puedo decir, ese procedimiento equivale a poco más que hacer definiciones para la energía y el momento que le dan la relación que desea. . No te dice como relacionar el parámetro metro a alguna masa empíricamente definida, y esa, creo, fue su pregunta original (bastante excelente/sutil en mi opinión). Creo que su primera respuesta probablemente esté más cerca de lo necesario.

Sin embargo, me parece que una respuesta adecuada a su pregunta requiere un análisis de la siguiente forma (esquemática) cuyos detalles (especialmente empíricamente) no son triviales.

  1. Observamos que la masa de las partículas se puede definir por sus interacciones entre sí. En particular, podemos utilizar experimentos de dispersión para provocar estas interacciones.

  2. Agregamos términos de interacción a la densidad lagrangiana que escribiste y desarrollamos una prescripción mediante la cual la teoría del campo cuantificado resultante puede predecir lo que sucederá en los experimentos de dispersión.

  3. Comparamos los resultados de nuestros experimentos de dispersión con las predicciones de la teoría cuántica de campos y encontramos que podemos identificar el parámetro metro en la densidad lagrangiana como la masa física tal como se definió a través de experimentos de dispersión.

"Para identificar m como la masa, necesito poner términos en el lagrangiano que correspondan a las interacciones (como un término potencial), ver qué predicen las ecuaciones de movimiento de Euler-Lagrange sobre la dinámica resultante y luego comparar a experimentos para identificar m como la masa". Estuvo de acuerdo en que esta sería una buena definición operativa de masa. Sugerí esto en un comentario sobre la pregunta. Deberías poder derivar F = metro a a través de algunos pasos sencillos en los límites apropiados.
@MichaelBrown Vaya, gracias :). Cuanto más pensaba en esto, más me sentía insatisfecho con "la escoria estándar" en la que se muestra que se puede reproducir el espectro de partículas libres apropiado y la relación energía-momento porque no entra en contacto con una definición operativa tan sensata de masa a través de la dinámica, por ejemplo, dispersión.

El concepto de masa está relacionado con el 4-momentum o la densidad de 4-momentum. No es solo un "término cuadrático" en el Lagrangiano.

Variando el Lagrangiano se pueden obtener las ecuaciones de movimiento. Pero el momento, o la densidad del momento, deben definirse independientemente del Lagrangiano, para permitir introducir el concepto de masa o densidad de masa.

Por ejemplo, el impulso se puede definir como la suma de dos 4 vectores isotrópicos construidos a partir de espinor y coespinor:

ξ = | ξ 1 ξ 2 | - espinor

η = | η 1 ˙ η 2 ˙ | - co-espinor

pags m = 1 2 ( ξ + σ m ξ ) - vector covariante

pags ~ m = 1 2 ( η + σ ~ m η ) - vector contravariante

El vector construido a partir del espinor es covariante, mientras que el vector construido a partir del coespinor es contravariante. Esto se debe a las diferentes propiedades de transformación de spinor y co-spinor. Ambas cosas pags m y pags ~ m son isotrópicos (es decir pags m pags m = pags ~ m pags ~ m = 0 ), pero su suma no es isotrópica:

PAGS m = pags m + gramo m v pags ~ v - momento o densidad de momento - según el modelo.

Por lo tanto, la masa, o densidad de masa, se define como el "cuadrado" del vector de cantidad de movimiento (densidad):

metro 2 = PAGS m PAGS m

En general, esta definición de masa es independiente de la elección del Lagrangiano.

Sin embargo, el impulso y/o la densidad del impulso no se pueden definir arbitrariamente. Debe definirse de tal manera que

  1. El momento total se conserva (como consecuencia de las ecuaciones de movimiento),
  2. Los componentes del cuadrivector de cantidad de movimiento son todos de valor real, y
  3. El vector de impulso 4 es similar al tiempo para preservar la causalidad.

En general, necesitamos dos ingredientes para decir que la masa en nuestro modelo es realmente una masa:

  1. Lagrangiana, o al menos ecuaciones de movimiento, y
  2. Definición adecuada de cantidad de movimiento o densidad de cantidad de movimiento (véanse las condiciones 2 y 3 anteriores).

Se requiere que la conservación de la cantidad de movimiento sea la consecuencia de las ecuaciones de movimiento (¡excepto en la Teoría de la gravedad donde la conservación de la cantidad de movimiento es una identidad!).

También es fácil demostrar que no necesariamente necesitamos el término “cuadrático” y/o de masa constante en el Lagrangiano para introducir el concepto de masa. Aquí puede encontrar un ejemplo del modelo donde el "término de masa" tiene un valor variable y complejo, pero aún permite un "cuadrado de masa" de valor real del vector de densidad de momento.

Podemos definir masa de esta manera, y ya sé cómo relacionar esta definición con el término que aparece en el Lagrangiano. La pregunta es, ¿cómo relacionamos esta definición matemática de masa con una definición precisa, física y operativa de masa? ¿Tiene sentido?
Explique lo que, en su opinión, es una "definición precisa y operativa de masa". Para mí, la única definición física relativista de masa es el cuadrado de 4-momentum.
Irónicamente, la palabra "precisa" aquí no pretende ser precisa; está abierto a la interpretación. La palabra que realmente importa aquí es "operacional": definir la masa a través de algún tipo de experimento (pensamiento). En la sección 2.2 de academia.edu/829613/… , doy una definición clásica en el espíritu que busco, excepto que ahora quiero hacer esto en un entorno relativista. Nunca pensé en esto hasta ahora, pero tal vez la idea detrás de la definición clásica podría modificarse.
Si ayuda a aclarar, así es como lo pienso. Hay dos nociones de masa involucradas: la matemática que es parte de nuestro modelo, y la física que estamos tratando de modelar. La masa física debe definirse mediante un experimento idealizado, y luego, si nuestro modelo va a ser bueno, deberíamos poder presentar una 'prueba' de que nuestra definición matemática concuerda con la física. ¿Tiene sentido?
Creo que ahora entiendo tu pregunta. Piense en la energía total de dos fotones resultantes de la aniquilación de la partícula y su antipartícula en el marco de reposo de su centro de inercia. La energía del fotón se puede expresar (y medir) a través de su longitud de onda en un experimento de difracción. La energía total será 2 metro .