Capítulo 1 Por qué es necesaria la teoría cuántica de campos — Continuación de Mecánica Cuántica Cap. 27¶
Resumen de lo anterior:
En Mecánica Cuántica Cap. 27, obtuvimos que la ecuación de Schrödinger contradice la relatividad especial, derivamos las ecuaciones de Klein-Gordon y de Dirac, la predicción de antipartículas, y la perspectiva de que para describir "fenómenos donde el número de partículas cambia" se necesita la teoría cuántica de campos (QFT).
Objetivo de este capítulo
- Comprender desde 3 argumentos independientes "por qué la función de onda de una sola partícula es insuficiente" y establecer la visión del mundo de Teoría Cuántica de Campos de que "las partículas son excitaciones del campo"
- Introducir el concepto de espacio de Fock y obtener una visión general de todo Teoría Cuántica de Campos
1.1 El punto de llegada de Mecánica Cuántica Cap. 27 — Confirmación del punto de partida¶
🟡 Lina: Bienvenidos de vuelta. En el capítulo final de mecánica cuántica Mecánica Cuántica Cap. 27, llegamos hasta este punto. Hagamos un repaso breve.
🔵 Kai: A ver, como la ecuación de Schrödinger no es compatible con la relatividad, usamos la relación relativista de energía \(E^2 = p^2c^2 + m^2c^4\) para construir la ecuación de Klein-Gordon, ¿verdad?
⚪ Mei: Y la ecuación de Klein-Gordon tenía el problema de que "la densidad de probabilidad puede ser negativa". Para resolver eso, Dirac creó una ecuación de primer orden, y de ahí se predijo la existencia de antipartículas.
🟡 Lina: Exacto. Y al final, Mecánica Cuántica Cap. 27 terminó con la perspectiva de que "para describir fenómenos donde el número de partículas cambia, es necesario cuantizar el campo mismo en lugar de usar funciones de onda". Hoy vamos a desarrollar esa perspectiva de forma más concreta, usando fórmulas matemáticas.
🔵 Kai: "Cuantizar el campo"... sinceramente todavía no lo entiendo bien...
🟡 Lina: No te preocupes. Para cuando termine este capítulo, deberías entender intuitivamente "por qué es necesario hacerlo así". Primero, sigamos las dificultades de la ecuación de Klein-Gordon con más detalle matemático que en Mecánica Cuántica Cap. 27.
1.2 Dificultades de la ecuación de Klein-Gordon — Colapso de la interpretación probabilística¶
Repaso de la ecuación¶
🟡 Lina: Escribamos la ecuación de Klein-Gordon que derivamos en Mecánica Cuántica Cap. 27. Usando el sistema de unidades naturales \(\hbar = c = 1\):
Escribiendo \(c\) y \(\hbar\) explícitamente:
🔵 Kai: Esto se obtenía sustituyendo ambos lados de \(E^2 = p^2c^2 + m^2c^4\) por operadores, ¿verdad?
🟡 Lina: Exacto. Y como confirmamos en Mecánica Cuántica Cap. 27, dado que el tiempo y el espacio se tratan simétricamente con derivadas de segundo orden, la covariancia de Lorentz se satisface. Pero la covariancia de Lorentz es una condición necesaria, no suficiente.
🔵 Kai: ¿No es suficiente? ¿Hay otras condiciones que deben cumplirse?
🟡 Lina: Sí. En la ecuación de Schrödinger se garantizaba que la densidad de probabilidad \(\rho = |\psi|^2\) siempre es no negativa, ¿verdad? Necesitamos verificar si lo mismo se cumple para la ecuación de Klein-Gordon. Hagamos el cálculo.
Ecuación de continuidad y densidad de probabilidad¶
🟡 Lina: Para que la probabilidad se conserve en mecánica cuántica, la densidad de probabilidad \(\rho\) y la densidad de corriente de probabilidad \(\mathbf{j}\) deben satisfacer la ecuación de continuidad (continuity equation)
En el caso de la ecuación de Schrödinger, esto se cumple con \(\rho = |\psi|^2\), como confirmamos en Mecánica Cuántica Cap. 7. Intentemos hacer lo mismo con la ecuación de Klein-Gordon.
🟡 Lina: Multiplicamos la ecuación (1.1) por la izquierda por \(\phi^*\), y tomamos la diferencia con la conjugada compleja de la ecuación (1.1) multiplicada por \(\phi\). Hagámoslo concretamente.
La conjugada compleja de la ecuación (1.1) es:
Calculando "\(\phi^*\) × ec. (1.1)" \(-\) "\(\phi\) × ec. (1.4)":
🔵 Kai: Los términos \(m^2\) se cancelan porque \(\phi^* m^2 \phi - \phi m^2 \phi^* = 0\), ¿no?
🟡 Lina: Exacto. Reorganicemos los términos restantes. Escribamos de nuevo la ecuación obtenida al tomar la diferencia:
La parte de las derivadas temporales es:
La parte de las derivadas espaciales es (prestando atención al signo):
(La última igualdad se verifica expandiendo \(\nabla \cdot (\phi^* \nabla \phi) = (\nabla \phi^*) \cdot (\nabla \phi) + \phi^* \nabla^2 \phi\), haciendo lo mismo con el otro término y restando, donde los términos \((\nabla \phi^*) \cdot (\nabla \phi)\) se cancelan y se confirma que \(\phi^* \nabla^2 \phi - \phi \nabla^2 \phi^* = \nabla \cdot (\phi^* \nabla \phi - \phi \nabla \phi^*)\).)
⚪ Mei: En ambos casos se usa la regla del producto de la derivación a la inversa.
🔵 Kai: A ver, por ejemplo para la derivada temporal: \(\frac{\partial}{\partial t}\left(\phi^* \frac{\partial \phi}{\partial t}\right) = \frac{\partial \phi^*}{\partial t}\frac{\partial \phi}{\partial t} + \phi^* \frac{\partial^2 \phi}{\partial t^2}\), y expandiendo el otro de forma similar y restando... efectivamente los términos \(\frac{\partial \phi^*}{\partial t}\frac{\partial \phi}{\partial t}\) se cancelan y volvemos al lado izquierdo. Pero, ¿por qué hacemos esta operación? "Multiplicar por \(\phi^*\) y restar" parece caído del cielo...
🟡 Lina: Buena pregunta. En realidad es exactamente la misma técnica que usamos para demostrar la conservación de probabilidad con la ecuación de Schrödinger (recuerda Mecánica Cuántica Cap. 7). También entonces calculamos \(\psi^*\) × ecuación \(-\) \(\psi\) × ecuación conjugada compleja para derivar la ecuación de continuidad, ¿verdad? "Cuando quieres encontrar una cantidad conservada, multiplicas por la conjugada compleja y restas" es un procedimiento estándar. La parte de derivadas espaciales tiene exactamente la misma estructura.
🟡 Lina: En resumen:
Queremos reorganizar esto en la forma de la ecuación de continuidad \(\frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{j} = 0\). Primero multipliquemos todo por \(\frac{i}{2m}\). ¿Por qué se necesita \(i\)? Porque \(\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}\) es en realidad un número puramente imaginario (para un número complejo \(z\), \(z - z^*\) siempre es puramente imaginario, ¿verdad? Tiene la misma estructura). Por eso necesitamos multiplicar por \(i\) para hacerlo real. El resultado de multiplicar es:
🔵 Kai: Ah, el contenido del paréntesis en la derivada temporal se convierte en \(\rho\), y de la parte de la derivada espacial se lee \(\mathbf{j}\).
🟡 Lina: Exacto. Ahora compáralo con la ecuación de continuidad \(\frac{\partial \rho}{\partial t} + \nabla \cdot \mathbf{j} = 0\). Es natural definir como \(\rho\) el contenido del paréntesis delante de la derivada temporal (el \(\underbrace{\cdots}_{\equiv\,\rho}\) en la ecuación lo indica). El término de la derivada espacial tiene la forma \(-\nabla \cdot (\cdots)\), así que para convertirlo en \(+\nabla \cdot \mathbf{j}\) basta con definir \(\mathbf{j} = -\frac{i}{2m}(\phi^* \nabla \phi - \phi \nabla \phi^*)\). Simplemente absorbemos el signo menos en la definición de \(\mathbf{j}\).
🔵 Kai: A ver, me estoy liando un poco con los signos... Después de multiplicar por \(\frac{i}{2m}\), el término de la derivada espacial es \(-\frac{i}{2m}\nabla \cdot (\phi^* \nabla \phi - \phi \nabla \phi^*)\), ¿verdad? La ecuación de continuidad tiene \(+\nabla \cdot \mathbf{j}\), así que si definimos \(\mathbf{j} = -\frac{i}{2m}(\phi^* \nabla \phi - \phi \nabla \phi^*)\), ¿cuadra todo?
🟡 Lina: Exacto. Es decir, la ecuación completa después de multiplicar por \(\frac{i}{2m}\) es
por lo que definiendo \(\mathbf{j} = -\frac{i}{2m}(\phi^* \nabla \phi - \phi \nabla \phi^*)\) encaja perfectamente en la forma de la ecuación de continuidad.
🔵 Kai: OK, se absorbe el signo menos de la ecuación original en la definición de \(\mathbf{j}\) para obtener la forma \(+\nabla \cdot \mathbf{j}\). Pero, ¿por qué \(\frac{i}{2m}\)? Parece caído del cielo...
🟡 Lina: Buena pregunta. Por cierto, aquí estamos usando el sistema de unidades naturales \(\hbar = c = 1\) por lo que el coeficiente es \(\frac{i}{2m}\), pero si se escriben \(\hbar\) y \(c\) explícitamente, el coeficiente de \(\rho\) se convierte en \(\frac{i\hbar}{2mc^2}\) (el de \(\mathbf{j}\) es \(-\frac{i\hbar}{2m}\), nota que no tiene el factor \(c^2\) comparado con \(\rho\). Esta diferencia proviene de que en la ecuación (1.2) hay un \(1/c^2\) delante de la derivada temporal — si realizas el mismo procedimiento "\(\phi^*\) × ec. (1.2)" \(-\) "\(\phi\) × conjugada compleja", el término de la derivada temporal lleva un \(1/c^2\) extra, por eso \(c^2\) aparece en el denominador del coeficiente de \(\rho\)). Primero déjame complementar un poco más por qué se necesita \(i\). Para un número complejo \(z = a + bi\), tenemos \(z - z^* = (a+bi) - (a-bi) = 2bi\), que es puramente imaginario. Ahora consideremos la cantidad \(\phi^* \frac{\partial \phi}{\partial t}\): su conjugado complejo es \((\phi^* \frac{\partial \phi}{\partial t})^* = \phi \frac{\partial \phi^*}{\partial t}\) (al tomar el conjugado complejo \(\phi^* \to \phi\), \(\frac{\partial \phi}{\partial t} \to \frac{\partial \phi^*}{\partial t}\)). Es decir, \(\phi^* \frac{\partial \phi}{\partial t} - \phi \frac{\partial \phi^*}{\partial t}\) tiene la forma "\(z - z^*\)" y siempre es puramente imaginario. Por eso al multiplicar por \(i\) tenemos \(i \times (\text{puramente imaginario}) = i \times 2bi = -2b\), que es real. Como la densidad de probabilidad debe ser real, \(i\) es necesario.
⚪ Mei: La propiedad general "\(z - z^*\) es puramente imaginario" es lo que actúa aquí.
🟡 Lina: Ahora la parte \(\frac{1}{2m}\). Este coeficiente se elige de modo que "en el límite donde la velocidad de la partícula es mucho menor que la de la luz (límite no relativista), \(\rho\) coincida exactamente con la densidad de probabilidad \(|\psi|^2\) de la ecuación de Schrödinger" (en el sistema de unidades \(\hbar = 1\)). Verifiquémoslo concretamente.
🔵 Kai: "Coincide en el límite no relativista"... ¿cómo se verifica eso?
🟡 Lina: Primero como preparación, recuerda lo que aprendimos en mecánica cuántica. Un estado estacionario con energía \(E\) tiene el factor temporal \(e^{-iEt}\) (¿recuerdas que en Mecánica Cuántica Cap. 7 escribimos \(\Psi(x,t) = \psi(x)e^{-iEt/\hbar}\)? En unidades naturales \(\hbar = 1\) esto se convierte en \(e^{-iEt}\)). Ahora bien, la energía total de una partícula relativista es \(E = \sqrt{|\mathbf{p}|^2 + m^2}\), y si la partícula está casi en reposo \(|\mathbf{p}| \ll m\), entonces \(E \approx m\) (en unidades naturales \(c = 1\), \(E = mc^2\) se convierte en \(E = m\)). Es decir, la función de onda de una partícula casi en reposo siempre contiene una oscilación muy rápida \(e^{-imt}\).
🔵 Kai: "Oscilación rápida"... ¿cuán rápida es?
🟡 Lina: Para el electrón, la frecuencia es \(m_e c^2/\hbar \approx 7.8 \times 10^{20}\) Hz — más de un millón de veces la frecuencia de la luz visible. Pero esta oscilación rápida existe incluso cuando la partícula está en reposo, es una "oscilación de fondo", y lo físicamente interesante es la desviación respecto a ella. Por eso escribimos \(\phi = e^{-imt}\psi\) para separar la oscilación rápida \(e^{-imt}\) y extraer solo la parte que varía lentamente \(\psi\). La ecuación de Schrödinger describe precisamente esta \(\psi\).
🔵 Kai: Ya veo, se separa la oscilación rápida correspondiente a la energía en reposo y solo se observa la parte lenta restante.
🟡 Lina: Si la variación temporal de \(\psi\) es despreciablemente lenta comparada con \(m\) — concretamente \(|\dot{\psi}| \ll m|\psi|\) (en unidades naturales \(\hbar = c = 1\), \(m\) tiene dimensiones de frecuencia angular, así que esto significa "la velocidad de cambio de \(\psi\) es mucho más lenta que la frecuencia \(m\) de la oscilación de fondo \(e^{-imt}\)") — entonces podemos aproximar \(\partial\phi/\partial t = (-im\psi + \dot{\psi})e^{-imt} \approx -im\phi\). Hemos despreciado el término \(\dot{\psi}\) frente a \(-im\psi\). Sustituyendo esto en la expresión de \(\rho\): \(\rho = \frac{i}{2m}(\phi^*(-im)\phi - \phi(im)\phi^*) = \frac{i}{2m}(-2im)|\phi|^2 = |\phi|^2\). Y como \(\phi = e^{-imt}\psi\), tenemos \(|\phi|^2 = |e^{-imt}|^2|\psi|^2 = |\psi|^2\) (\(e^{-imt}\) es un número complejo de módulo 1, por lo que \(|e^{-imt}| = 1\)). Efectivamente se reduce a la densidad de probabilidad de la ecuación de Schrödinger.
⚪ Mei: Ya veo, "reproducir el límite correcto" sirve como guía para determinar el coeficiente.
🟡 Lina: Exacto. Entonces, resumamos los resultados hasta aquí. Escribamos la ecuación de continuidad multiplicada por \(\frac{i}{2m}\) y las definiciones de \(\rho\) y \(\mathbf{j}\) que se leen de ella:
donde
🔵 Kai: Ah, \(\mathbf{j}\) tiene la misma forma que la densidad de corriente de probabilidad de la ecuación de Schrödinger. Pero \(\rho\)...
🟡 Lina: Sí. Aquí está la diferencia decisiva. En la ecuación de Schrödinger, \(\rho = |\psi|^2\) era siempre no negativa. Pero la \(\rho\) de la ecuación de Klein-Gordon tiene la forma de la ecuación (1.6) y contiene derivadas temporales.
Verificación con soluciones de onda plana¶
🟡 Lina: Verifiquémoslo concretamente sustituyendo soluciones de onda plana. La solución de onda plana de la ecuación de Klein-Gordon es:
Sustituyendo en la ecuación (1.1):
Por lo tanto, la relación de dispersión:
🔵 Kai: \(E^2 = |\mathbf{p}|^2 + m^2\) significa que \(E = \pm\sqrt{|\mathbf{p}|^2 + m^2}\), así que también hay soluciones de energía negativa.
🟡 Lina: Exacto. Este es un problema que ya mencionamos en Mecánica Cuántica Cap. 27. Ahora, sustituyamos esta solución de onda plana en la expresión de \(\rho\), ecuación (1.6).
Por lo tanto:
🔵 Kai: \(\rho = \frac{E}{m}|A|^2\)... un momento, si \(E\) es negativa, ¿\(\rho\) también se vuelve negativa?
🟡 Lina: Exacto. Si \(E > 0\) entonces \(\rho > 0\), pero para soluciones con \(E < 0\), \(\rho < 0\).
🔵 Kai: ¿Probabilidad negativa? ¿"La probabilidad de que la partícula esté ahí es negativa"? Eso no tiene sentido físico, ¿verdad?
Fig. 1.1: Problema de la densidad de probabilidad de la ecuación de Klein-Gordon. Izquierda — En la ecuación de Schrödinger la densidad de probabilidad \(\rho = |\psi|^2 \geq 0\) es siempre no negativa. Derecha — En la ecuación de Klein-Gordon \(\rho = (E/m)|A|^2\), y para soluciones con \(E < 0\) puede ser \(\rho < 0\).
🟡 Lina: Exacto. Ese es precisamente el problema fatal de la ecuación de Klein-Gordon. Que la densidad de probabilidad pueda ser negativa significa que no podemos interpretar \(\rho\) como densidad de probabilidad. En Fig. 1.1「Problema de la densidad de probabilidad de la ecuación de Klein-Gordon. Izquierda」 he resumido la comparación con la ecuación de Schrödinger. También resumo las propiedades de la densidad de probabilidad de cada ecuación en la tabla siguiente.
Tabla 1.1: Comparación de la densidad de probabilidad entre la ecuación de Schrödinger y la ecuación de Klein-Gordon
| Ecuación de Schrödinger | Ecuación de Klein-Gordon | |
|---|---|---|
| Orden de la derivada temporal | 1er orden | 2do orden |
| Densidad de probabilidad \(\rho\) | $ | \psi |
| Problema con \(E < 0\) | No existen soluciones de energía negativa | \(\rho < 0\) → colapso de la interpretación probabilística |
| Covariancia de Lorentz | No se satisface | Se satisface |
🔵 Kai: Entonces, ¿la ecuación de Klein-Gordon no sirve para nada?
🟡 Lina: Como función de onda de una sola partícula no se puede usar. Pero, como veremos más adelante, en el marco de la teoría cuántica de campos se puede reinterpretar \(\rho\) no como densidad de probabilidad sino como densidad de carga. Un \(\rho\) negativo corresponde a carga negativa — es decir, antipartículas. Pero eso es para más adelante. Por ahora, retén que "en el marco de la mecánica cuántica de una partícula, la ecuación de Klein-Gordon fracasa".
✅ Verificación de comprensión: ¿Cuál es la razón fundamental por la que la "densidad de probabilidad" \(\rho\) de la ecuación de Klein-Gordon puede ser negativa?
Respuesta
Como la ecuación de Klein-Gordon es de segundo orden en el tiempo, la expresión de \(\rho\) contiene la derivada temporal \(\partial\phi/\partial t\). Como resultado, el signo de \(\rho\) depende del signo de la energía \(E\), y para soluciones con \(E < 0\) se obtiene \(\rho < 0\). Esto contrasta con la ecuación de Schrödinger (derivada temporal de primer orden), donde \(\rho = |\psi|^2 \geq 0\) está automáticamente garantizado.
📝 Ejercicios:
- Cálculo de la densidad de probabilidad de la ecuación de Klein-Gordon → Problema M-1. Covarianza de Lorentz de la densidad de corriente de probabilidad de la ecuación de Klein-Gordon
1.3 La ecuación de Dirac y las antipartículas — La idea genial de volver al primer orden¶
🟡 Lina: Si organizamos los problemas de la ecuación de Klein-Gordon, había dos:
- La densidad de probabilidad puede ser negativa — en la ecuación (1.10), cuando \(E < 0\) resulta \(\rho < 0\)
- La interpretación física de las soluciones de energía negativa es desconocida — en la ecuación (1.9) existe la solución \(E = -\sqrt{|\mathbf{p}|^2 + m^2}\), pero ¿qué es "una partícula con energía negativa"?
Dirac consideró que este problema se debía a que "la derivada temporal es de segundo orden" e intentó crear una ecuación relativista de primer orden en el tiempo.
🔵 Kai: Pero para mantener la covariancia de Lorentz hay que tratar el tiempo y el espacio en igualdad de condiciones, ¿no? Si el tiempo es de primer orden, el espacio también debería serlo...
🟡 Lina: Agudo. Exactamente ahí está la idea genial de Dirac. Él buscó una ecuación de la forma:
Aquí \(\boldsymbol{\alpha} = (\alpha^1, \alpha^2, \alpha^3)\) y \(\beta\) son objetos desconocidos. Se puede demostrar que si estos fueran números ordinarios (escalares) no podrían reproducir la relación de dispersión relativista \(E^2 = |\mathbf{p}|^2 + m^2\).
⚪ Mei: En Mecánica Cuántica Cap. 27 también salió una discusión similar.
🟡 Lina: Sí. Entonces solo dimos la conclusión, pero esta vez veámoslo con más detalle. Voy a mostrar que si \(\boldsymbol{\alpha}\) y \(\beta\) son números ordinarios (escalares), no pueden reproducir la relación de dispersión relativista. Si escribimos el lado derecho de la ecuación (1.11) como \(\hat{H} = \boldsymbol{\alpha} \cdot \mathbf{p} + \beta m\) (\(\mathbf{p} = -i\nabla\)), para autoestados de energía se cumple \(\hat{H}\psi = E\psi\). Aplicando \(\hat{H}\) una vez más por la izquierda a ambos lados tenemos \(\hat{H}^2\psi = \hat{H}(E\psi) = E(\hat{H}\psi) = E^2\psi\) (\(E\) es solo un número así que conmuta con \(\hat{H}\)). Es decir, \(\hat{H}^2\psi = E^2\psi\) debe cumplirse, y para reproducir la relación de dispersión \(E^2 = |\mathbf{p}|^2 + m^2\), necesitamos que \(\hat{H}^2\) sea igual a \((|\mathbf{p}|^2 + m^2)\,I\) (\(I\) es la matriz identidad. Como \(\hat{H}\) es una matriz, el lado derecho también debe ser una matriz para que la igualdad tenga sentido. Lo importante aquí es que al hacer actuar \(\hat{H}^2\) sobre cualquier onda plana \(e^{i\mathbf{p}\cdot\mathbf{x}}\) el resultado debe ser \((|\mathbf{p}|^2 + m^2)\,I\) veces esa onda — es decir, como operadores debe cumplirse \(\hat{H}^2 = (\hat{\mathbf{p}}^2 + m^2)\,I\). A continuación consideramos la acción sobre ondas planas y sustituimos \(\hat{\mathbf{p}}\) por sus autovalores \(\mathbf{p}\)). Calculemos \(\hat{H}^2\).
🔵 Kai: Elevar \(\hat{H}\) al cuadrado, es decir, multiplicar \(\hat{H}\) por sí mismo.
🟡 Lina: Elevamos al cuadrado \(\hat{H} = \alpha^1 p_1 + \alpha^2 p_2 + \alpha^3 p_3 + \beta m\). Hay 4 términos así que a primera vista parece complicado, pero primero captemos la intuición con un ejemplo simple. Si solo hay 2 términos, por ejemplo \((A + B)^2 = A^2 + AB + BA + B^2\) (como son matrices, \(AB \neq BA\)). Con 3 sería \((A + B + C)^2 = A^2 + B^2 + C^2 + (AB + BA) + (AC + CA) + (BC + CB)\) — se separa en "cuadrados de los mismos" y "productos de pares distintos (en ambos órdenes)". El caso de 4 tiene la misma estructura, recogiendo los productos de todos los pares. Organizándolo hay 4 tipos:
- Productos de iguales: \(\alpha^1 p_1 \cdot \alpha^1 p_1 = (\alpha^1)^2 p_1^2\) etc. → \(\sum_i (\alpha^i)^2 p_i^2\)
- Productos de \(\alpha\) distintos: \(\alpha^1 p_1 \cdot \alpha^2 p_2\) y \(\alpha^2 p_2 \cdot \alpha^1 p_1\) ambos aparecen → \(\sum_{i<j}(\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j\)
- Productos de \(\alpha\) y \(\beta\): \(\alpha^i p_i \cdot \beta m\) y \(\beta m \cdot \alpha^i p_i\) → \(\sum_i(\alpha^i \beta + \beta \alpha^i)m\,p_i\)
- Producto de \(\beta\) consigo mismo: \(\beta m \cdot \beta m = \beta^2 m^2\)
En resumen:
Aquí \(\sum_{i<j}\) significa "recoger las combinaciones de \(i\) y \(j\) sin repetición una vez cada una" (por ejemplo, en 3 dimensiones \((i,j) = (1,2), (1,3), (2,3)\), 3 combinaciones). Y \(\alpha^i \alpha^j + \alpha^j \alpha^i\) aparece con los productos en ambos órdenes porque como \(\alpha^i\) son matrices, en general \(\alpha^i \alpha^j \neq \alpha^j \alpha^i\) (el orden del producto no se puede intercambiar).
⚪ Mei: Como son matrices el orden importa, y \(AB + BA\) no se puede simplificar — eso conduce a las relaciones de anticonmutación.
🟡 Lina: Veámoslo concretamente. Al expandir \((A + B)^2\), del primer \((A + B)\) tomamos \(A\) y del segundo \((A + B)\) tomamos \(B\), obteniendo \(AB\). Inversamente, del primero tomamos \(B\) y del segundo \(A\), obteniendo \(BA\). Con números ordinarios \(AB = BA\) así que \(AB + BA = 2AB\) se simplifica, pero con matrices no se puede y queda \(AB + BA\) tal cual. El caso de 4 términos es igual: hay 2 órdenes para tomar \(\alpha^i p_i\) y \(\alpha^j p_j\), así que aparece \(\alpha^i \alpha^j p_i p_j + \alpha^j \alpha^i p_j p_i = (\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j\).
🔵 Kai: Ah, claro, la multiplicación de matrices cambia el resultado si se cambia el orden. En mecánica cuántica ya vimos ejemplos donde \(AB \neq BA\). Pero, ¿se puede cambiar el orden de \(\alpha^i\) y \(p_i\)? ¿\(\alpha^i p_i\) es lo mismo que \(p_i \alpha^i\)?
🟡 Lina: Buena verificación. \(\alpha^i\) es una matriz constante que no depende del espacio, y \(p_i = -i\partial/\partial x^i\) es un operador diferencial en las coordenadas espaciales. La derivada actúa "sobre la función a su derecha", pero como \(\alpha^i\) es constante, al derivarla no pasa nada. Por eso \(p_i \alpha^i = \alpha^i p_i\) se pueden intercambiar libremente (o, como dije antes, si hacemos actuar sobre una onda plana y sustituimos \(p_i\) por su autovalor — un simple número —, entonces números y matrices obviamente conmutan). En cambio, entre las \(\alpha^i\) mismas, como son matrices, el orden importa — en general \(\alpha^i \alpha^j \neq \alpha^j \alpha^i\).
🟡 Lina: Siendo más concretos, de \(\sum_i \alpha^i p_i\) extraemos el \(i\)-ésimo término \(\alpha^i p_i\) y el \(j\)-ésimo término \(\alpha^j p_j\) (\(i \neq j\)) y los multiplicamos: aparecen \(\alpha^i p_i \cdot \alpha^j p_j\) y \(\alpha^j p_j \cdot \alpha^i p_i\) en 2 órdenes. Como acabamos de confirmar que \(p_i\) y \(\alpha\) se intercambian libremente, estos se convierten en \(\alpha^i \alpha^j p_i p_j\) y \(\alpha^j \alpha^i p_i p_j\), y sumados dan \((\alpha^i \alpha^j + \alpha^j \alpha^i) p_i p_j\).
Para que esto sea igual a \(|\mathbf{p}|^2 + m^2\) se necesita:
- Para que \(\sum_i (\alpha^i)^2 p_i^2 = I\,|\mathbf{p}|^2\): \((\alpha^i)^2 = I\) (matriz identidad. \(I \cdot |\mathbf{p}|^2\) significa "la matriz con \(|\mathbf{p}|^2\) multiplicado en todas las componentes")
- Para que todos los términos cruzados \((\alpha^i \alpha^j + \alpha^j \alpha^i)p_i p_j\) con \(i \neq j\) se anulen: \(\alpha^i \alpha^j + \alpha^j \alpha^i = 0\) (\(i \neq j\))
- Para que los términos cruzados de \(\alpha^i\) con \(\beta\), \((\alpha^i \beta + \beta \alpha^i)m\,p_i\), se anulen: \(\alpha^i \beta + \beta \alpha^i = 0\) (esto debe cumplirse para cualquier momento \(p_i\), por lo que la propia matriz coeficiente debe ser cero)
- Para que \(\beta^2 m^2 = m^2\): \(\beta^2 = I\)
🔵 Kai: "Hacer cero todos los términos molestos" da como condiciones las relaciones de anticonmutación, ¡ya veo!
🟡 Lina: Escribiéndolas todas juntas:
Aquí \(\{A, B\} \equiv AB + BA\) es la relación de anticonmutación (anticommutator), \(I\) es la matriz identidad (en muchos libros de física se omite \(I\) y se escribe simplemente \(1\), pero no olvides que \(\alpha^i\) y \(\beta\) son matrices). La primera condición resume en una sola ecuación \((\alpha^i)^2 = I\) cuando \(i = j\) y \(\alpha^i \alpha^j + \alpha^j \alpha^i = 0\) cuando \(i \neq j\). Estas condiciones también se derivaron en Mecánica Cuántica Cap. 27, pero aquí las hemos confirmado de nuevo.
🔵 Kai: ¡Relaciones de anticonmutación! La versión con signo más del conmutador \([A, B] = AB - BA\).
🟡 Lina: Exacto. Y las matrices mínimas que satisfacen estas condiciones son matrices \(4 \times 4\). Es decir, la función de onda \(\psi\) es una columna de 4 componentes — un espinor (spinor). Podrías pensar "si tiene 4 componentes, ¿no es igual que un vector 4-dimensional?", pero la forma en que se transforma bajo cambios de coordenadas es diferente a la de un vector 4-dimensional. Por eso se distingue y se llama "espinor". Lo trataremos en detalle en Cap. 5; por ahora, solo recuerda que "la función de onda de la ecuación de Dirac es un objeto especial con 4 componentes".
🔵 Kai: ¿4 componentes? ¿Qué representan?
🟡 Lina: De las 4 componentes, 2 corresponden al electrón con espín arriba y abajo, y las otras 2 corresponden a la antipartícula — el positrón. En Fig. 1.2「Estructura de 4 componentes del espinor de Dirac」 he resumido esta correspondencia.
Fig. 1.2: Estructura de 4 componentes del espinor de Dirac. Las 2 componentes superiores (\(\psi_1, \psi_2\)) corresponden al espín arriba y abajo del electrón, y las 2 componentes inferiores (\(\psi_3, \psi_4\)) corresponden al espín arriba y abajo del positrón (antipartícula). Las antipartículas aparecen naturalmente con solo resolver la ecuación.
🔵 Kai: Es sorprendente que las antipartículas salgan solas al resolver la ecuación, pero... si 2 de las 4 componentes son antipartículas, ¿no es como si estuviéramos asumiendo desde el principio que "hay antipartículas"? ¿O salen sin ninguna suposición? Además, ¿qué pasó con el problema de la densidad de probabilidad?
🟡 Lina: Respondo a la primera pregunta. Dirac no asumió la existencia de antipartículas. Lo único que asumió fue "crear una ecuación de primer orden en el tiempo y en el espacio que sea covariante de Lorentz". Para satisfacer esa condición se necesitan al menos 4 componentes, y al resolver la ecuación aparecen soluciones de energía negativa — al interpretarlas físicamente resultan ser antipartículas. Es decir, las antipartículas no son una suposición sino una consecuencia derivada de los requisitos de covariancia de Lorentz y mecánica cuántica.
⚪ Mei: Las suposiciones son solo "primer orden · covariante de Lorentz", y las antipartículas son su consecuencia — hermoso.
🟡 Lina: Y sobre el problema de la densidad de probabilidad. La ecuación de Dirac resolvió parcialmente los problemas de la ecuación de Klein-Gordon. La densidad de probabilidad \(\rho = \psi^\dagger \psi = |\psi_1|^2 + |\psi_2|^2 + |\psi_3|^2 + |\psi_4|^2 \geq 0\) es siempre no negativa.
🔵 Kai: ¡Oh! Entonces, ¿con la ecuación de Dirac no hay problema?
🟡 Lina: El problema de la densidad de probabilidad se resuelve. Pero las soluciones de energía negativa siguen existiendo. Dirac las interpretó con la imagen del "mar de Dirac" — todos los estados de energía negativa están llenos de fermiones, y cuando se abre un "hueco" allí, se observa como una partícula con energía positiva y carga positiva (el positrón).
🔵 Kai: Pero espera. "Llenar todos los estados de energía negativa" requiere un número infinito de electrones, ¿no? ¿Realmente existe ese número infinito de partículas? Además, para partículas como los fotones que pueden estar en el mismo estado en cualquier cantidad, "llenar todo" ni siquiera sería posible...
🟡 Lina: Observación aguda, ambas son correctas. Especialmente la segunda es fatal. La imagen del mar de Dirac solo funciona para fermiones — partículas que obedecen el principio de exclusión de Pauli y pueden llenar cada estado de uno en uno. Para bosones no hay principio de exclusión, así que "llenar todos los estados" ni siquiera es posible. En Fig. 1.3「Imagen del mar de Dirac. Izquierda」 he ilustrado la imagen del mar de Dirac.
Fig. 1.3: Imagen del mar de Dirac. Izquierda — Estado de vacío: todos los estados de energía negativa están llenos de fermiones. Derecha — Creación de pares: cuando un fotón con suficiente energía excita un electrón de energía negativa a energía positiva, el "hueco" que queda se observa como un positrón. Esta imagen solo es aplicable a fermiones (con principio de exclusión).
🔵 Kai: ¿Eh? Entonces, ¿qué hacemos con las soluciones de energía negativa de los bosones? Si el mar de Dirac no funciona, ¿cómo se interpretan?
🟡 Lina: Exacto. Al final, para resolver esencialmente el problema de las soluciones de energía negativa, es necesario ir más allá del marco de la función de onda de una sola partícula. Eso es la teoría cuántica de campos. Permíteme organizar la discusión hasta aquí.
Tabla 1.2: Problemas de las ecuaciones relativistas de una partícula y resolución mediante la teoría cuántica de campos
| Ecuación de Klein-Gordon | Ecuación de Dirac | Teoría cuántica de campos (QFT) | |
|---|---|---|---|
| Derivada temporal | 2do orden | 1er orden | — (se cuantiza el campo) |
| Densidad de probabilidad \(\rho \geq 0\) | × Fracasa | ○ Resuelto | ○ Resuelto |
| Soluciones de energía negativa | Existen | Existen (interpretadas con el mar de Dirac) | Se interpretan naturalmente como antipartículas |
| Cambio en el número de partículas | No se puede describir | No se puede describir | ○ Se describe naturalmente |
| Aplicación a bosones | Posible (con problemas) | No posible (solo fermiones) | ○ Aplicable a todas las partículas |
✅ Verificación de comprensión: Explica desde el punto de vista del orden de la derivada por qué la ecuación de Dirac puede resolver el problema de "la densidad de probabilidad negativa" de la ecuación de Klein-Gordon.
Respuesta
Como la ecuación de Dirac es de primer orden en la derivada temporal, la densidad de probabilidad resulta ser \(\rho = \psi^\dagger \psi\) (suma de los cuadrados de los valores absolutos de cada componente), lo que garantiza siempre \(\rho \geq 0\). La ecuación de Klein-Gordon, al ser de segundo orden temporal, incluye derivadas temporales en \(\rho\) y su signo queda indefinido.
1.4 Por qué la creación y aniquilación de partículas es inevitable¶
🟡 Lina: Hasta aquí hemos visto que "las ecuaciones relativistas como funciones de onda de una partícula tienen dificultades". Ahora comprendamos desde un punto de vista más físico que "los fenómenos donde cambia el número de partículas son inevitables". Primero mostraré 3 argumentos y después veremos también el requisito de causalidad. En Fig. 1.4「Los 3+1 argumentos por los que la creación y aniquilación de partículas es inevitable」 muestro de antemano la visión de conjunto.
Fig. 1.4: Los 3+1 argumentos por los que la creación y aniquilación de partículas es inevitable. Tres argumentos físicos independientes (hipótesis del cuanto de luz · \(E=mc^2\) y principio de incertidumbre · hecho experimental de la creación de pares) más el requisito de causalidad, todos apuntan a la conclusión de que "la teoría cuántica de campos es necesaria".
Argumento 1: La hipótesis del cuanto de luz de Einstein — Los fotones nacen y desaparecen¶
🟡 Lina: Históricamente, la creación y aniquilación de partículas se reconoció por primera vez con los fotones (photon).
En 1900, Planck planteó la hipótesis de que la energía de las ondas electromagnéticas es discreta, no continua, para explicar el espectro de la radiación del cuerpo negro (aquí escribiré \(\hbar\) explícitamente):
🔵 Kai: Una onda electromagnética de frecuencia \(\omega\) solo puede tener energía en múltiplos enteros de \(\hbar\omega\), ¿no?
🟡 Lina: Sí. Y en 1905, Einstein fue más allá y afirmó que la luz misma es una colección de partículas — fotones — con energía \(\hbar\omega\) y momento \(\hbar\mathbf{k}\). Esta es la hipótesis del cuanto de luz.
🟡 Lina: Hay varias evidencias experimentales decisivas de que esta hipótesis es correcta:
-
Efecto fotoeléctrico (photoelectric effect): Si la frecuencia de la luz está por debajo de cierto umbral, no importa cuán intensa sea la luz, no se arrancan electrones. Esto se explica naturalmente si pensamos que la luz colisiona como partículas con energía \(E = \hbar\omega\).
-
Dispersión de Compton (Compton scattering): Cuando rayos X se dispersan en electrones, la longitud de onda cambia según el ángulo de dispersión (Fig. 1.5「Diagrama conceptual de la dispersión de Compton」). El fotón dispersado cede parte de su energía al electrón, por lo que su longitud de onda se alarga. Esto se explica si pensamos que el fotón, con momento \(\mathbf{p} = \hbar\mathbf{k}\), colisiona como partícula con el electrón e intercambia energía y momento.
Fig. 1.5: Diagrama conceptual de la dispersión de Compton. El fotón incidente \(\gamma\) colisiona con un electrón en reposo \(e^-\), y salen un fotón dispersado \(\gamma'\) con ángulo de dispersión \(\theta\) y un electrón de retroceso. El fotón dispersado pierde energía y su longitud de onda se alarga.
🔵 Kai: La dispersión de Compton es cuando un fotón choca con un electrón y rebota, ¿no? Pero, ¿eso tiene que ver con "cambiar el número de fotones"?
🟡 Lina: Buena pregunta. La dispersión de Compton en sí es un proceso donde entra 1 fotón y sale 1 fotón, así que el número de fotones no cambia. Pero piénsalo. Cuando un átomo emite luz, un fotón nace. Cuando un átomo absorbe luz, un fotón desaparece. Es decir, el número de fotones no es una cantidad conservada, y la creación y aniquilación ocurren cotidianamente.
⚪ Mei: Ya veo, que el número de fotones cambie no es una situación especial, sino algo ordinario que ocurre simplemente cuando un átomo emite o absorbe luz.
🟡 Lina: Así es. Y como el fotón es una partícula de masa cero, mientras haya energía disponible se pueden crear cuantos se quiera. La "mecánica cuántica con número fijo de partículas" no puede describir estos procesos.
Argumento 2: La conjunción de \(E = mc^2\) y el principio de incertidumbre — Creación de pares¶
🟡 Lina: El segundo argumento hace más cuantitativa la discusión que también tocamos en Mecánica Cuántica Cap. 27.
La equivalencia masa-energía de Einstein:
Esto significa que "si hay energía \(E \geq 2mc^2\), se puede crear un par partícula-antipartícula de masa \(m\)".
Por otro lado, la relación de incertidumbre energía-tiempo de la mecánica cuántica:
🔵 Kai: Durante un tiempo corto \(\Delta t\), se permite una gran fluctuación de energía \(\Delta E\), ¿no? Pero esto, ¿es del mismo tipo de ecuación que \(\Delta x \cdot \Delta p \geq \hbar/2\)?
🟡 Lina: Estrictamente hablando tienen propiedades algo diferentes. La de \(\Delta x \cdot \Delta p\) se deriva matemáticamente de forma rigurosa a partir de las relaciones de conmutación de operadores, pero la de energía-tiempo no se puede derivar del mismo modo porque "el tiempo no es un operador". Sin embargo, aquí la estamos usando como una estimación de orden de magnitud — un cálculo que solo sigue la escala —, por eso escribimos con los símbolos \(\sim\) o \(\gtrsim\) significando "aproximadamente de este orden". Es suficiente para una discusión cuantitativa.
⚪ Mei: No es matemáticamente rigurosa, pero funciona como estimación de escala — es un método común en física.
🟡 Lina: Así es. ¿Qué se puede decir combinando estas dos relaciones?
🔵 Kai: ¿Concretamente qué cálculo se hace?
🟡 Lina: Buena pregunta. Aquí escribiré \(\hbar\) y \(c\) explícitamente (porque quiero obtener valores numéricos concretos). Si intentamos localizar una partícula en una escala de distancia \(\Delta x\) o menor, por el principio de incertidumbre la fluctuación del momento es \(\Delta p \gtrsim \hbar / \Delta x\). Mirando la relación relativista de energía \(E = \sqrt{p^2c^2 + m^2c^4}\), cuando \(c\,\Delta p \gg mc^2\) (es decir, cuando la energía debida al momento es mucho mayor que la energía en reposo), \(\sqrt{p^2c^2 + m^2c^4} \approx \sqrt{p^2c^2} = pc\) (porque \(m^2c^4\) es despreciable frente a \(p^2c^2\)). Bajo esta aproximación \(E \approx pc\), así que la fluctuación de energía correspondiente a la fluctuación \(\Delta p\) del momento es simplemente \(\Delta E \approx c\,\Delta p\). Es exactamente la misma lógica de que si tienes una función lineal \(y = cx\) y \(x\) cambia en \(\Delta x\), entonces \(y\) cambia en \(c\,\Delta x\).
Verifiquemos cuándo se puede usar esta aproximación. Sustituyendo \(\Delta p \sim \hbar/\Delta x\) en \(c\,\Delta p \gg mc^2\) obtenemos \(\hbar c/\Delta x \gg mc^2\), es decir \(\Delta x \ll \hbar/(mc) = \lambda_C\). Así que esta aproximación vale para escalas de distancia más cortas que la longitud de onda Compton — precisamente la región donde la creación de pares se vuelve relevante. Por lo tanto:
🔵 Kai: Vaya, cuanto más pequeña es la distancia, mayor es la fluctuación de energía.
🟡 Lina: Cuando esta fluctuación de energía supera la energía en reposo del par partícula-antipartícula \(2mc^2\):
Aquí \(\lambda_C = \hbar/(mc)\) es la longitud de onda de Compton de la partícula. Es decir, por debajo de escalas de distancia del orden de la longitud de onda de Compton, la creación de pares ya no se puede ignorar.
Fig. 1.6: Escalas de distancia y jerarquía de la física. Para distancias más cortas que la longitud de onda de Compton \(\lambda_C \sim 10^{-13}\) m la creación de pares se vuelve importante y la mecánica cuántica de una partícula es insuficiente.
⚪ Mei: La frontera es \(\lambda_C/2\) de la ecuación (1.17). Si intentamos observar la partícula en distancias más cortas que esa, la creación de pares ya no es despreciable.
🟡 Lina: Exacto. En Fig. 1.6「Escalas de distancia y jerarquía de la física」 he resumido las escalas de distancia y la jerarquía de la física. Para el electrón, \(\lambda_C \approx 3.86 \times 10^{-13}\) m, que es mucho más pequeño que el tamaño del átomo (\(\sim 10^{-10}\) m). Por eso en física atómica se podía ignorar la creación y aniquilación de partículas. Pero en las escalas de la física de partículas elementales no se puede ignorar.
🔵 Kai: Ya veo... Entonces, aunque intentes estudiar "un solo electrón", a escalas suficientemente finas hay la posibilidad de que pares electrón-positrón estén brotando, ¿no? Pero entonces, "la masa del electrón" o "la carga del electrón", ¿son valores que ya incluyen el efecto de los pares que brotan alrededor?
🟡 Lina: Qué intuición tan aguda. De hecho es exactamente así: la masa y la carga observadas son "valores vestidos" que incluyen el efecto de los pares virtuales. Esa cuestión la abordaremos de frente en la Parte V sobre renormalización. El físico Victor Weisskopf también enfatizaba este punto: "en mecánica cuántica relativista, no existe una teoría de una sola partícula".
📝 Ejercicios:
- Longitud de onda de Compton y principio de incertidumbre → Problema B-5. Cálculo de la longitud de onda de Compton, Problema M-3. Longitud de onda de Compton y localización de la posición
Argumento 3: El hecho experimental de la creación y aniquilación de pares¶
🟡 Lina: El tercero es un hecho experimental más directo.
Aniquilación de pares (pair annihilation): Cuando un electrón y un positrón se encuentran, se aniquilan mutuamente convirtiéndose en fotones:
Creación de pares (pair creation): Un fotón con suficiente energía, al pasar cerca de un núcleo atómico, crea un par electrón-positrón:
🔵 Kai: ¿Esto se ha observado realmente?
🟡 Lina: Por supuesto. La aniquilación de pares es precisamente el principio de la técnica médica PET (Positron Emission Tomography, tomografía por emisión de positrones). Se inyecta una sustancia radiactiva que emite positrones en el cuerpo, los positrones se aniquilan con electrones del cuerpo y se detectan los 2 rayos gamma emitidos para crear una imagen.
⚪ Mei: Una técnica médica de uso cotidiano es evidencia de la creación y aniquilación de partículas.
🟡 Lina: Así es. La creación y aniquilación de partículas no es "un fenómeno raro que solo ocurre en situaciones extremas", sino una propiedad fundamental de la naturaleza. Una teoría que no pueda describir esto es fundamentalmente incompleta. En Fig. 1.7「Procesos de creación y aniquilación de pares. Izquierda」 he resumido los procesos de creación y aniquilación de pares.
Fig. 1.7: Procesos de creación y aniquilación de pares. Izquierda — Creación de pares: un fotón \(\gamma\) de alta energía se convierte en un par electrón \(e^-\) y positrón \(e^+\) en las cercanías de un núcleo atómico. Derecha — Aniquilación de pares: un electrón y un positrón se encuentran, se aniquilan y emiten 2 rayos gamma. El examen PET es una técnica médica que utiliza esta aniquilación de pares.
✅ Verificación de comprensión: Calcula la longitud de onda de Compton del electrón \(\lambda_C = \hbar/(m_e c)\) y compárala con el tamaño del átomo (radio de Bohr \(a_0 \approx 0.53 \times 10^{-10}\) m).
Respuesta
\(\lambda_C = \frac{\hbar}{m_e c} = \frac{1.055 \times 10^{-34}}{9.11 \times 10^{-31} \times 3 \times 10^8} \approx 3.86 \times 10^{-13}\) m. Comparando con el radio de Bohr \(a_0 \approx 5.3 \times 10^{-11}\) m, \(\lambda_C / a_0 \approx 7 \times 10^{-3}\), es decir, la longitud de onda de Compton es aproximadamente 1/140 del tamaño del átomo. A escalas atómicas la creación de pares es despreciable, pero a escalas nucleares o de partículas elementales no lo es.
📝 Ejercicios:
- Energía umbral para la creación de pares → Problema B-7. Escala temporal de la creación de pares a partir de la relación de incertidumbre
1.5 El requisito de causalidad — Las fuerzas se transmiten por intercambio de partículas¶
🟡 Lina: Hay otra razón importante por la que la creación y aniquilación de partículas es necesaria. Es la causalidad (causality) — el principio fundamental de la relatividad de que "la información no puede viajar más rápido que la luz".
🔵 Kai: ¿Qué relación tiene la causalidad con la creación y aniquilación de partículas?
🟡 Lina: Recuerda la ley de Coulomb. Cuando dos cargas \(q_1\), \(q_2\) están separadas una distancia \(r\), la fuerza entre ellas es (aquí la escribo en la forma familiar del SI. La elección del sistema de unidades no es lo esencial, lo importante es la estructura de la fórmula):
Mira bien esta fórmula. La fuerza \(F\) se determina solo por "la distancia \(r\) en este instante", sin incluir ningún retardo temporal. Es decir, si mueves una de las cargas y \(r\) cambia, la otra sentiría instantáneamente la nueva fuerza — sin importar cuán lejos estén. Esto significa que "la información viaja más rápido que la luz", lo cual viola la causalidad.
🔵 Kai: Ah, ¿este no es el mismo problema que la ley de gravitación universal de Newton? Allí también se asumía implícitamente que "la gravedad se propaga instantáneamente".
🟡 Lina: Exacto. La ley de gravitación universal de Newton también tenía el mismo problema de que "la fuerza entre dos masas se determina solo por la distancia y se propaga instantáneamente" (lo discutimos en detalle en Relatividad General Cap. 1). La fuerza electromagnética tiene exactamente el mismo problema. En la electrodinámica clásica, este problema se resolvió introduciendo el "campo electromagnético". La fuerza se propaga a la velocidad de la luz a través del campo. Entonces, ¿qué pasa en la teoría cuántica?
🔵 Kai: ¿En la teoría cuántica también se resuelve con "campos"?
🟡 Lina: En la teoría cuántica de campos, la fuerza se interpreta como transmitida por el intercambio de partículas virtuales. Lo que en la electrodinámica clásica se decía "el campo electromagnético transmite la fuerza a la velocidad de la luz", en el lenguaje cuántico se traduce como "intercambio de fotones virtuales". La fuerza electromagnética de repulsión entre dos electrones se describe como un proceso donde un electrón emite un fotón virtual y el otro lo absorbe. Como el fotón viaja a la velocidad de la luz, la causalidad se preserva.
🔵 Kai: "¿Intercambiar un fotón virtual produce una fuerza?" ¿Es algo así como que al lanzarse pelotas mutuamente se repelen?
🟡 Lina: Sí, exactamente se puede usar la analogía del juego de pelota. Si dos personas paradas sobre hielo se lanzan pelotas mutuamente, quien lanza retrocede por el retroceso y quien recibe también es empujado — como resultado los dos se alejan. Esa es la imagen de la "fuerza repulsiva". Sin embargo, para la fuerza atractiva esta analogía clásica no alcanza a explicarlo, y los efectos cuánticos son esenciales. La discusión precisa la haremos en Cap. 8 con los diagramas de Feynman.
🔵 Kai: Ya veo. Entonces, ¿un "fotón virtual" es un fotón cuya existencia se permite brevemente por el principio de incertidumbre?
🟡 Lina: Intuitivamente puedes pensarlo así. La relación de incertidumbre \(\Delta E \cdot \Delta t \gtrsim \hbar\) permite "pedir prestada" energía durante un tiempo corto. Durante ese tiempo nace un fotón, llega al otro y desaparece — ese proceso es la verdadera naturaleza de la fuerza. Sin embargo, hay una precaución: las partículas virtuales, a diferencia de las partículas normales, no satisfacen la relación \(E^2 = p^2c^2 + m^2c^4\). Esta relación es "la condición que se cumple cuando una partícula de masa \(m\) vuela libremente" y es diferente de la conservación de energía en sí. Podrías pensar "¡Pero eso viola la conservación de energía!", pero en el proceso total — desde que el fotón nace hasta que es absorbido — la energía y el momento se conservan correctamente. Que la partícula virtual pueda desviarse de \(E^2 = p^2c^2 + m^2c^4\) es solo durante el breve tiempo que permite el principio de incertidumbre. Al final las cuentas cuadran. Por eso las partículas virtuales no pueden capturarse directamente con un detector — son "actores entre bastidores" que median la fuerza. La definición precisa la explicaremos de nuevo en Cap. 8 con los diagramas de Feynman; por ahora piénsalas como "partículas que no se observan directamente pero median la fuerza, desviándose de la relación energía-momento usual".
⚪ Mei: No satisfacen la relación energía-momento, pero en conjunto las leyes de conservación se cumplen — es extraño, pero el principio de incertidumbre lo permite.
🟡 Lina: Resumiendo lo dicho hasta aquí, para transmitir fuerzas respetando la causalidad, la creación y aniquilación de partículas mediadoras es absolutamente necesaria. No es solo la fuerza electromagnética; todas las fuerzas fundamentales se transmiten por este mecanismo. En la tabla siguiente resumo qué partícula intercambia cada fuerza. Consulta también Fig. 1.8「Fuerza electromagnética por intercambio de fotones virtuales」 para el intercambio de fotones virtuales, y Fig. 1.9「Las 4 fuerzas fundamentales y sus partículas mediadoras」 para la visión de conjunto de las 4 fuerzas.
⚪ Mei: La misma conclusión sale también de la causalidad. Además de la hipótesis del cuanto de luz, \(E=mc^2\) y el principio de incertidumbre, el hecho experimental de la creación de pares y el requisito de causalidad — cuatro argumentos independientes apuntan todos a que "se necesita una teoría capaz de tratar la creación y aniquilación de partículas".
Tabla 1.3: Correspondencia entre fuerzas fundamentales y partículas mediadoras
| Fuerza | Partícula mediadora |
|---|---|
| Fuerza electromagnética | Fotón \(\gamma\) |
| Fuerza débil | Bosones \(W^\pm\), \(Z^0\) |
| Fuerza fuerte | Gluón |
| Gravedad | Gravitón (no detectado) |
Fig. 1.8: Fuerza electromagnética por intercambio de fotones virtuales. La fuerza electromagnética entre dos electrones se describe como un intercambio de fotones virtuales \(\gamma\). Como el fotón viaja a la velocidad de la luz, la causalidad se preserva.
Fig. 1.9: Las 4 fuerzas fundamentales y sus partículas mediadoras. Las 4 fuerzas fundamentales de la naturaleza y las partículas que las median. El gravitón aún no ha sido detectado directamente.
🔵 Kai: Increíble... Si la verdadera naturaleza de las fuerzas es "intercambio de partículas", entonces una teoría que no pueda manejar la creación y aniquilación de partículas ¡ni siquiera puede describir las fuerzas! Pero si el gravitón aún no se ha encontrado, ¿podría ser que la gravedad funcione por un mecanismo diferente?
🟡 Lina: Aguda duda. Actualmente el gravitón no ha sido detectado, pero teóricamente se piensa que la gravedad también se describe por el mismo mecanismo — intercambio de gravitones. Sin embargo, la cuantización de la gravedad tiene montañas de problemas sin resolver, y eso es un tema que tocaremos en Cap. 24. Este es el argumento desde la causalidad para que "la creación y aniquilación de partículas sea inevitable". Para transmitir fuerzas respetando la causalidad relativista, la creación y aniquilación de partículas mediadoras es absolutamente necesaria.
🔵 Kai: Si las cuatro fuerzas funcionan todas por el mismo mecanismo, entonces la creación y aniquilación de partículas realmente no se puede evitar.
1.6 Cambio de perspectiva — "Los modos de vibración del campo son las partículas"¶
🟡 Lina: Resumiendo la discusión hasta aquí, la "mecánica cuántica con número fijo de partículas" no puede describir el mundo relativista. Entonces, ¿qué hacemos? Aquí se necesita un cambio fundamental de perspectiva.
Asimetría en la física clásica¶
🟡 Lina: Primero señalemos la asimetría en el tratamiento de "partículas" y "campos" en la física clásica.
Tabla 1.4: Asimetría entre partículas materiales y la luz en la física clásica
| Partículas materiales (electrones, etc.) | Luz | |
|---|---|---|
| Posición clásica | Se asumen desde el principio como constituyentes fundamentales de la naturaleza | Se describe como ondas del campo electromagnético |
| Forma de descripción | Mecánica de Newton (mecánica de partículas puntuales) | Ecuaciones de Maxwell (teoría de campos) |
🔵 Kai: El electrón es "una partícula que existe desde el principio" y el fotón surge como "vibración del campo electromagnético"... efectivamente es asimétrico.
🟡 Lina: Pero en mecánica cuántica tanto el electrón como el fotón poseen la misma dualidad onda-partícula. En el experimento de la doble rendija el electrón también produce patrones de interferencia, y en el efecto fotoeléctrico la luz se comporta como partícula.
🔵 Kai: Si el electrón y el fotón son equivalentes... si el fotón es "vibración del campo electromagnético", ¿el electrón también tiene algún tipo de "campo" cuya vibración es el electrón? Pero nunca he oído hablar de un "campo de electrones"...
🟡 Lina: Kai, buena intuición. Eso es precisamente el corazón de la teoría cuántica de campos. El "campo de electrones" no es visible pero existe — así como la excitación del campo electromagnético es el fotón, la excitación del "campo de electrones" es el electrón. La idea es tratar todas las partículas de forma unificada como excitaciones de campos.
La visión del mundo de Teoría Cuántica de Campos¶
🟡 Lina: La visión del mundo de la teoría cuántica de campos se puede expresar en una frase:
Todas las partículas que existen en el universo son excitaciones (excitation) de campos cuánticos definidos en toda la extensión del espacio y el tiempo.
Concretamente:
- Fotón = excitación cuantizada del campo electromagnético \(A_\mu\)
- Electrón = excitación cuantizada del campo de Dirac \(\psi\)
- Partícula de Higgs = excitación cuantizada del campo de Higgs \(\phi\)
Tabla 1.5: Principales partículas del Modelo Estándar y sus campos correspondientes
| Partícula | Campo correspondiente | Espín | Tipo de campo |
|---|---|---|---|
| Fotón \(\gamma\) | Campo electromagnético \(A_\mu\) | 1 | Campo vectorial (campo de gauge) |
| Electrón \(e^-\) | Campo de Dirac \(\psi_e\) | 1/2 | Campo espinorial |
| Quark \(q\) | Campo de Dirac \(\psi_q\) | 1/2 | Campo espinorial |
| Partícula de Higgs \(H\) | Campo escalar \(\phi\) | 0 | Campo escalar |
| Gluón \(g\) | Campo de Yang-Mills \(A_\mu^a\) | 1 | Campo vectorial (campo de gauge) |
| Gravitón | Campo del tensor métrico \(g_{\mu\nu}\) | 2 | Campo tensorial |
🟡 Lina: En la tabla aparecen nombres nuevos como "campo de gauge", "campo de Yang-Mills", "campo espinorial", pero por ahora basta con retener que "hay un campo correspondiente a cada tipo de partícula". El significado detallado de cada uno lo iremos aprendiendo en orden a partir de la Parte II. Como analogía, toda la superficie de un estanque es el "campo" y las ondas que se forman en ella son las "partículas".
🔵 Kai: ¡Ah, ya veo! Las ondas aparecen y desaparecen, así que la creación y aniquilación de partículas corresponde a "la vibración del campo que empieza o se detiene", ¿no?
🟡 Lina: Exactamente. Por eso se puede describir naturalmente el cambio en el número de partículas.
⚪ Mei: Es decir, en mecánica cuántica el punto de partida era "hay partículas", pero en teoría cuántica de campos el punto de partida es "hay campos" y las partículas aparecen como consecuencia — se intercambian los protagonistas.
🟡 Lina: Qué bonito resumen. Además, esta imagen tiene otro gran beneficio. Las partículas que nacen del mismo campo tienen todas propiedades idénticas. Que todos los electrones tengan exactamente la misma masa, carga y espín se debe a que son excitaciones del mismo "campo de electrones". Los tornillos fabricados en una fábrica difieren ligeramente bajo el microscopio, pero los electrones son completamente idénticos — esto es una consecuencia natural de la teoría cuántica de campos: "las ondas que nacen del mismo campo tienen las mismas propiedades". En Fig. 1.10「Visión del mundo de la teoría cuántica de campos. Izquierda」 he resumido la imagen de esta visión del mundo.
Fig. 1.10: Visión del mundo de la teoría cuántica de campos. Izquierda — En el estado de vacío el campo solo tiene oscilaciones de punto cero (fluctuaciones cuánticas). Derecha — Cuando el campo se excita localmente, eso se observa como una "partícula". Imagina las ondas que se forman en la superficie de un estanque como las partículas.
⚪ Mei: Es decir, poder describir naturalmente la creación y aniquilación de partículas, y poder explicar la identidad perfecta de partículas del mismo tipo — ambas cosas salen simultáneamente de la visión del mundo de la teoría cuántica de campos.
✅ Verificación de comprensión: Explica en 1-2 frases "por qué todos los electrones son perfectamente idénticos" desde el punto de vista de la teoría cuántica de campos.
Respuesta
Todos los electrones son excitaciones cuantizadas del mismo "campo de electrones", por lo que propiedades como masa, carga y espín son completamente idénticas. Aunque las ondas estén en lugares distintos, al ser vibraciones del mismo campo (superficie), tienen esencialmente las mismas propiedades.
1.7 Segunda cuantización y espacio de Fock¶
Primera cuantización y segunda cuantización¶
🟡 Lina: Aquí voy a organizar la historia de la cuantización. El desarrollo de la mecánica cuántica tiene 2 etapas.
Primera cuantización (first quantization):
Las partículas se comportan como ondas.
Se elevan las variables de la mecánica clásica (posición \(x\), momento \(p\)) a operadores y se impone la relación de conmutación \([\hat{x}, \hat{p}] = i\hbar\). Esto es lo que hemos aprendido en el volumen anterior "Mecánica cuántica".
Segunda cuantización (second quantization):
Se elevan los campos a operadores, y los modos de vibración del campo se comportan como "partículas".
Históricamente también se expresa como "las ondas se comportan como partículas" — al cuantizar una onda clásica (campo), su energía aparece como "partículas" discretas. Pero lo que realmente se hace es elevar el campo a operador — esto permite describir fenómenos donde el número de partículas cambia.
🔵 Kai: "Hacer que el campo sea un operador"... ¿concretamente qué significa? ¿Algo como la función de onda se convierte en operador?
🟡 Lina: Históricamente se dice así. "Primero se convirtieron las partículas en ondas (funciones de onda): eso es la primera cuantización. Luego se cuantiza esa onda: eso es la segunda cuantización" — ese es el origen del nombre. Sin embargo, esta expresión puede llevar a malentendidos, así que ten cuidado. En realidad no se "cuantiza de nuevo la función de onda", sino que desde el punto de vista moderno lo esencial es elevar un campo clásico — es decir, una cantidad que tiene un valor en cada punto del espacio, como el campo electromagnético — a operador cuántico. Es decir, tanto la "primera" como la "segunda" están haciendo el mismo procedimiento — elevar variables mecánicas clásicas a operadores —, la diferencia es que el objeto de la cuantización cambia de "la posición de la partícula" a "la amplitud del campo". Por eso en la actualidad es más preciso llamarlo simplemente "cuantización del campo" sin insistir en el nombre "segunda cuantización".
⚪ Mei: El nombre "segunda" viene por razones históricas, pero la operación en sí es la misma.
🟡 Lina: Lo que esencialmente se hace es lo mismo que en la primera cuantización — elevar variables mecánicas clásicas a operadores e imponer relaciones de conmutación. Solo que esas "variables mecánicas" dejan de ser la posición de la partícula para ser el campo. "Elevar a operador" es el mismo procedimiento que convertir \(x\) en \(\hat{x}\) en mecánica cuántica — convertir una cantidad que clásicamente tiene un valor determinado en un objeto cuántico cuyo valor no está determinado hasta que se mide. En el caso del campo, "la amplitud del campo en cada punto" deja de ser un valor determinado y se convierte en un objeto cuántico que fluctúa.
⚪ Mei: Es decir, con el mismo procedimiento que convertimos \(x\) en \(\hat{x}\), convertimos \(\phi(\mathbf{x})\) en \(\hat{\phi}(\mathbf{x})\).
🟡 Lina: Exacto. La correspondencia se resume así (mira también Fig. 1.11「Segunda cuantización y espacio de Fock」). En la tabla aparecen símbolos nuevos como \(\hat{\pi}\) y \(\delta^3\), pero los explico uno a uno justo después de la tabla, así que por ahora solo contempla la relación de correspondencia "es la versión campo de lo que hicimos en mecánica cuántica".
Fig. 1.11: Segunda cuantización y espacio de Fock. Comparación entre la primera cuantización (partícula → onda) y la segunda cuantización (onda → partícula). En la segunda cuantización se eleva el campo a operador y la física se describe en el espacio de Fock donde el número de partículas es variable.
Tabla 1.6: Correspondencia entre primera cuantización y segunda cuantización
| Mecánica cuántica (primera cuantización) | Teoría cuántica de campos (segunda cuantización) | |
|---|---|---|
| Variables dinámicas | Posición \(\hat{x}\), momento \(\hat{p}\) de la partícula | Campo \(\hat{\phi}(\mathbf{x})\), momento conjugado \(\hat{\pi}(\mathbf{x})\) |
| Relación de conmutación | \([\hat{x}, \hat{p}] = i\hbar\) | \([\hat{\phi}(\mathbf{x}, t), \hat{\pi}(\mathbf{y}, t)] = i\hbar\,\delta^3(\mathbf{x} - \mathbf{y})\) (a tiempos iguales) |
| Papel de \(\mathbf{x}\) | Variable dinámica que representa dónde está la partícula | Etiqueta (parámetro) que indica en qué punto del espacio |
🔵 Kai: ¿Qué es el "momento conjugado" \(\hat{\pi}(\mathbf{x})\)? Y \(\delta^3\) es un símbolo que nunca he visto. Además, lo de "a tiempos iguales" también me intriga...
🟡 Lina: Tres dudas surgieron. Respondo en el orden en que Kai las planteó. Primero el momento conjugado \(\pi(\mathbf{x})\). Así como en la mecánica de partículas hay un momento \(p\) emparejado con la posición \(x\), para el campo \(\phi(\mathbf{x})\) también existe una "variable compañera". Ese es el momento conjugado \(\pi(\mathbf{x})\). De forma simplificada, es una cantidad que representa "el impulso del cambio temporal del campo", del mismo modo que el momento de la partícula \(p = m\dot{x}\) representa "el impulso del cambio temporal de la posición". Más concretamente, \(p = m\dot{x}\) representa "cuán rápido cambia la posición \(x\)", ¿verdad? De la misma manera, \(\pi(\mathbf{x})\) representa "cuán rápido cambia temporalmente el valor del campo \(\phi(\mathbf{x})\) en el punto \(\mathbf{x}\)". La definición concreta la introduciremos en Cap. 3 al hablar del lagrangiano; por ahora quédate con esa imagen.
🔵 Kai: Ya veo, si \(p\) es "la tasa de cambio de la posición", entonces \(\pi\) es "la tasa de cambio del campo" — la correspondencia es elegante.
🟡 Lina: Ahora \(\delta^3(\mathbf{x} - \mathbf{y})\). Es la función delta de Dirac en 3 dimensiones, una función que solo tiene valor cuando \(\mathbf{x} = \mathbf{y}\) y es cero en los demás puntos. Piénsala como la versión continua de la delta de Kronecker \(\delta_{ij}\) (1 cuando \(i = j\), 0 en caso contrario) que se usa con índices discretos.
🔵 Kai: "Tiene valor" ¿concretamente qué significa? Una función que solo tiene valor en un punto...
🟡 Lina: Intuitivamente es "una función con un pico infinitamente agudo en \(\mathbf{x} = \mathbf{y}\) y completamente cero en el resto. Pero el área del pico (valor de la integral) es exactamente 1". Su propiedad importante es \(\int \delta^3(\mathbf{x} - \mathbf{y})\, f(\mathbf{y})\, d^3y = f(\mathbf{x})\) — es decir, "extrae el valor de \(f\) en \(\mathbf{x}\)". Por ahora basta con recordar la propiedad "es no nula solo en el mismo punto \(\mathbf{x} = \mathbf{y}\)". Que la relación de conmutación contenga \(\delta^3\) expresa que "campos en puntos diferentes son independientes".
Finalmente sobre la condición "a tiempos iguales" — en mecánica cuántica, cuando escribíamos \([\hat{x}, \hat{p}] = i\hbar\), \(\hat{x}\) y \(\hat{p}\) eran cantidades al mismo tiempo, ¿verdad? En teoría cuántica de campos es igual: la relación de conmutación se define como "la relación entre \(\hat{\phi}\) y \(\hat{\pi}\) al mismo tiempo \(t\)". La relación entre campos a tiempos diferentes la determina la ecuación de movimiento (evolución temporal), que es un asunto distinto de la relación de conmutación. Por ahora solo recuerda que "la relación de conmutación establece la relación fundamental entre campos al mismo tiempo".
🟡 Lina: Y fíjate en la última fila de la tabla. El papel de \(\mathbf{x}\) cambia fundamentalmente.
🔵 Kai: Ah, mirando la última fila de la tabla, el papel de \(\mathbf{x}\) cambia. En mecánica cuántica era una variable dinámica, pero en teoría cuántica de campos es una etiqueta... ¿Qué significa eso? Pero en mecánica cuántica, cuando escribíamos la función de onda \(\psi(x)\), ¿no usábamos \(x\) como una especie de etiqueta también?
🟡 Lina: Buena observación. Efectivamente, cuando escribimos \(\psi(x)\) en la representación de posiciones, \(x\) parece ser una etiqueta que especifica "la amplitud de probabilidad en qué posición". Pero si miras la estructura esencial de la mecánica cuántica, \(\hat{x}\) existe como operador, y \(\psi(x)\) es la proyección sobre el autoestado \(|x\rangle\): \(\langle x|\psi\rangle\). Es decir, \(x\) era una variable dinámica correspondiente a la pregunta física "¿dónde está la partícula?" — un objeto que se eleva a operador. En cambio, en teoría cuántica de campos, \(\mathbf{x}\) es simplemente un parámetro que especifica "en qué punto estamos mirando el valor del campo". La variable dinámica es el propio campo \(\hat{\phi}(\mathbf{x})\) — es decir, "la amplitud del campo en cada punto" es la variable mecánica. Como analogía, en mecánica cuántica la pregunta era "¿dónde está?", pero en teoría cuántica de campos la pregunta es "¿cuánto vibra el campo en este punto?" — el sujeto cambia.
⚪ Mei: La pregunta pasa de "¿dónde está?" a "¿cuánto vibra?" — un cambio de protagonista.
✅ Verificación de comprensión: ¿En qué difiere el papel de la coordenada espacial \(\mathbf{x}\) entre la mecánica cuántica (primera cuantización) y la teoría cuántica de campos (segunda cuantización)?
Respuesta
En mecánica cuántica, \(\mathbf{x}\) es una variable dinámica que representa la posición de la partícula (un objeto que se eleva a operador). En cambio, en teoría cuántica de campos, \(\mathbf{x}\) es simplemente una etiqueta (parámetro) que especifica en qué punto del espacio estamos, y la variable dinámica es el propio valor del campo en cada punto, \(\hat{\phi}(\mathbf{x})\).
Analogía con el oscilador armónico¶
🟡 Lina: Aquí quiero que recuerden los operadores de creación y aniquilación del oscilador armónico que aprendimos en Mecánica Cuántica Cap. 8 de mecánica cuántica.
El hamiltoniano del oscilador armónico es:
\(\hat{a}^\dagger\) (operador de creación) y \(\hat{a}\) (operador de aniquilación) satisfacen la relación de conmutación \([\hat{a}, \hat{a}^\dagger] = 1\), ¿recuerdas? Los autovalores de energía son \(E_n = (n + 1/2)\hbar\omega\), donde \(n\) es "el número de cuantos". \(\hat{a}^\dagger\) crea un cuanto y \(\hat{a}\) aniquila un cuanto.
🔵 Kai: Eran operadores que aumentaban o disminuían los cuantos de uno en uno. ¿Cómo se relaciona esto con la teoría cuántica de campos?
🟡 Lina: En teoría cuántica de campos, cuando se realiza la expansión de Fourier del campo, cada modo se convierte en un oscilador armónico independiente.
🔵 Kai: La expansión de Fourier es descomponer en ondas de diferentes longitudes de onda, ¿no? Pero, ¿por qué eso se convierte en osciladores armónicos?
🟡 Lina: Buena pregunta. Piensa en la cuerda de una guitarra. La vibración de la cuerda se puede descomponer en la vibración fundamental (el modo de mayor longitud de onda) y los armónicos (modos de menor longitud de onda). Si escribimos la amplitud de cada modo como \(q_n(t)\), de la ecuación de ondas de la cuerda sale la ecuación \(\ddot{q}_n + \omega_n^2 q_n = 0\). Esta tiene exactamente la misma forma que la ecuación de movimiento de una masa unida a un resorte — es decir, un oscilador armónico. Hay una "fuerza restauradora proporcional al desplazamiento" que produce la oscilación. Y cada modo oscila independientemente.
🔵 Kai: "Oscilan independientemente" significa que si cambias la amplitud de la vibración fundamental no afecta a los armónicos, ¿no?
🟡 Lina: Exacto. Cada uno oscila por su cuenta. Esto se cumple porque la ecuación de Klein-Gordon es lineal. "Lineal" significa que la ecuación está escrita solo con términos de primer grado en \(\phi\), sin términos de orden superior como \(\phi^2\) o \(\phi^3\). Cuando se sustituye la expansión de Fourier en una ecuación lineal, no aparecen términos que mezclen modos de diferente número de onda, por lo que la ecuación para cada modo se separa independientemente. Si hubiera un término no lineal como \(\phi^2\), al hacer la expansión de Fourier los diferentes modos se multiplicarían entre sí e influirían mutuamente (intercambiarían energía). Es precisamente porque es lineal que cada modo puede oscilar independientemente sin preocuparse por los demás.
⚪ Mei: Lineal → los modos no se mezclan → cada modo es un oscilador armónico independiente. Estructura limpia.
🔵 Kai: Ya veo, como es lineal los modos descompuestos no se mezclan. ¿Y el campo se puede descomponer de la misma manera?
🟡 Lina: Sí. Cuando se expande en Fourier la ecuación de Klein-Gordon, se puede demostrar que la amplitud \(q_{\mathbf{k}}(t)\) de cada modo con número de onda \(\mathbf{k}\) (vector que representa la finura de la oscilación espacial de la onda, con relación a la longitud de onda \(\lambda\): \(|\mathbf{k}| = 2\pi/\lambda\)) obedece la ecuación del oscilador armónico \(\ddot{q}_{\mathbf{k}} + \omega_{\mathbf{k}}^2 q_{\mathbf{k}} = 0\) (el punto \(\dot{}\) es notación abreviada para la derivada temporal, \(\ddot{q} = d^2q/dt^2\)). Aquí \(\omega_{\mathbf{k}} = \sqrt{|\mathbf{k}|^2 + m^2}\) (unidades naturales \(\hbar = c = 1\)) — esto es la relación de dispersión de la ecuación (1.9) \(E^2 = |\mathbf{p}|^2 + m^2\) con \(E = \omega\), \(\mathbf{p} = \mathbf{k}\) (en unidades naturales \(E = \hbar\omega \to \omega\), \(\mathbf{p} = \hbar\mathbf{k} \to \mathbf{k}\)). Esto lo calcularemos en Cap. 4. Y "el número cuántico \(n\)" de cada modo se interpreta como el número de partículas correspondientes a ese modo.
🔵 Kai: ¡Ya veo! Entonces, ¿la teoría cuántica de campos es básicamente "cuantizar infinitos osciladores armónicos"?
🟡 Lina: ¡Exactamente! El corazón de la teoría cuántica de campos en una frase:
Campo = colección de infinitos osciladores armónicos. Los cuantos de excitación de cada oscilador = partículas.
🔵 Kai: Vaya, simple pero profundo... Cada vez que subes un nivel de energía del oscilador armónico, ganas una partícula más.
🟡 Lina: En Fig. 1.12「Correspondencia entre los niveles de energía del oscilador armónico y el número de partículas en el espacio de Fock. Izquierda」 he puesto lado a lado los niveles de energía del oscilador armónico y el número de partículas del campo. Y en Fig. 1.13「Expansión de Fourier del campo y modos de osciladores armónicos. Arriba」 he resumido cómo la expansión de Fourier del campo convierte cada modo en un oscilador armónico.
Fig. 1.12: Correspondencia entre los niveles de energía del oscilador armónico y el número de partículas en el espacio de Fock. Izquierda — En el oscilador armónico de la mecánica cuántica, \(n\) es "el número de cuantos". Derecha — En teoría cuántica de campos, el mismo \(n\) se interpreta como "el número de partículas con momento \(\mathbf{k}\)". Subir de nivel con el operador de creación \(\hat{a}^\dagger\) corresponde a aumentar en 1 el número de partículas.
Fig. 1.13: Expansión de Fourier del campo y modos de osciladores armónicos. Arriba — El campo \(\phi(x)\) es una superposición de modos con varios números de onda \(k\). Abajo — Cada modo corresponde a un oscilador armónico independiente, y su número cuántico de excitación \(n_k\) representa el número de partículas de ese modo. La pequeña figura de la derecha muestra los niveles de energía, donde los círculos indican el estado de excitación actual.
🟡 Lina: Esto es un adelanto de lo que haremos en detalle en Cap. 4. Por ahora solo capta la imagen de que "el \(\hat{a}^\dagger\) del oscilador armónico se convierte en el operador que crea partículas".
✅ Verificación de comprensión: En la teoría cuántica de campos, cuando se expande el campo en Fourier, ¿a qué tipo de sistema corresponde cada modo, y qué significa "el número cuántico \(n\)" de ese modo?
Respuesta
Cuando se expande el campo en Fourier, cada modo corresponde a un oscilador armónico independiente. El número cuántico \(n\) de ese modo se interpreta como el número de partículas que existen en ese modo. Es decir, "teoría cuántica de campos = cuantización de infinitos osciladores armónicos", y la excitación de cada oscilador corresponde a una partícula.
Espacio de Fock — El escenario del mundo donde cambia el número de partículas¶
🟡 Lina: Para describir un mundo donde el número de partículas cambia, necesitamos ampliar también el espacio de estados. El espacio de Hilbert que usábamos en mecánica cuántica — el espacio donde habitan los vectores de estado \(|\psi\rangle\) de la mecánica cuántica — era el espacio de estados para sistemas con número fijo de partículas. En teoría cuántica de campos, esto se amplía al espacio de Fock (Fock space).
🟡 Lina: Voy a explicar la construcción del espacio de Fock (consulta también Fig. 1.14「Estructura del espacio de Fock」). Primero, se define el estado sin partículas — el vacío \(|0\rangle\). Luego se preparan el espacio de estados de 1 partícula \(\mathcal{H}_1\) (el espacio generado por estados como "hay 1 partícula con momento \(\mathbf{p}\)"), el espacio de estados de 2 partículas \(\mathcal{H}_2\) (el espacio generado por estados como "hay 1 partícula con momento \(\mathbf{p}\) y 1 con momento \(\mathbf{q}\)", o "hay 2 partículas con el mismo momento", etc.), ... y el espacio de Fock es todos ellos juntos:
🔵 Kai: ¿Qué es \(\oplus\)? No es una suma ordinaria, ¿verdad?
🟡 Lina: Buena pregunta. \(\oplus\) se lee suma directa (direct sum). La suma directa es la operación de "reunir subespacios de diferente número de partículas en un único espacio grande, manteniéndolos independientes entre sí". Como analogía cotidiana, juntar el eje \(x\) y el eje \(y\) para formar el plano \(xy\) es la suma directa de dos espacios unidimensionales. La componente en la dirección \(x\) y la componente en la dirección \(y\) son direcciones independientes que no interfieren entre sí, y cualquier vector del plano se descompone de forma única en "componente en \(x\)" y "componente en \(y\)", ¿verdad? La suma directa hace lo mismo pero con más (posiblemente infinitos) espacios. Cualquier estado del espacio de Fock se descompone de forma única en "componente de 0 partículas + componente de 1 partícula + componente de 2 partículas + ...".
🔵 Kai: Ya veo, la analogía del plano \(xy\) es clara. Pero hay infinitos "ejes", ¿no?
🟡 Lina: Exacto. Aquí \(\mathcal{H}_0\) es un espacio unidimensional generado solo por el estado de vacío \(|0\rangle\), \(\mathcal{H}_1\) es el espacio generado por estados del tipo "hay 1 partícula con momento \(\mathbf{p}\)", que tiene tantos vectores base como valores posibles de \(\mathbf{p}\) (si consideramos momento continuo será de dimensión infinita, pero por ahora piensa simplemente en "un espacio grande con muchos vectores base"). Como imagen, piensa en cada espacio como una "habitación" y todas ellas conectadas por un pasillo formando un gran edificio. La habitación de 0 partículas, la habitación de 1 partícula, la habitación de 2 partículas... todas están conectadas, y los operadores de creación y aniquilación son "las puertas entre las habitaciones".
Fig. 1.14: Estructura del espacio de Fock. Cada "habitación" \(\mathcal{H}_n\) es el espacio de estados con \(n\) partículas. El operador de creación \(\hat{a}^\dagger\) aumenta en 1 el número de partículas y pasa a la habitación de la derecha; el operador de aniquilación \(\hat{a}\) disminuye en 1 el número de partículas y pasa a la habitación de la izquierda.
🔵 Kai: Ya veo, como juntar los ejes \(x\) e \(y\), se juntan los espacios de cada número de partículas en un "gran espacio" donde se desarrolla la física. Además, como hay infinitas habitaciones, ¿el espacio de Fock es de dimensión infinita? Y que el número de partículas cambie, ¿es pasar de una "habitación" a otra? ¿Hay un operador que realice eso?
🟡 Lina: Exacto, el espacio de Fock es de dimensión infinita — cada "habitación" \(\mathcal{H}_n\) ya es de dimensión infinita (porque el momento puede tomar valores continuos), y además hay infinitas de ellas. Y los operadores que "pasan de una habitación a otra" — esos son precisamente el operador de creación \(\hat{a}^\dagger\) y el operador de aniquilación \(\hat{a}\). \(\hat{a}^\dagger\) aumenta en 1 el número de partículas y \(\hat{a}\) lo disminuye en 1. Es decir, los operadores conectan subespacios de diferente número de partículas.
⚪ Mei: Es decir, en mecánica cuántica los operadores solo cambiaban el estado dentro de un espacio con número fijo de partículas, pero en el espacio de Fock los operadores de creación y aniquilación "abren las puertas entre habitaciones" y pueden cambiar el número de partículas.
🟡 Lina: Exacto. Esa es la realización matemática de la "creación y aniquilación de partículas".
🟡 Lina: Escribiéndolo concretamente, el operador \(\hat{a}^\dagger_{\mathbf{p}}\) que crea una partícula con momento \(\mathbf{p}}\):
Aquí introduzco la notación \(|n_{\mathbf{p}}\rangle\). Esto representa "el estado donde hay \(n\) partículas en el modo de momento \(\mathbf{p}\)". Si \(n = 0\) no hay partículas (vacío), si \(n = 1\) hay 1 partícula, y así sucesivamente. Usando esta notación:
Es decir, la ecuación (1.22) significa "crear 1 partícula con momento \(\mathbf{p}\) en el vacío". En general:
Este coeficiente \(\sqrt{n+1}\) tiene exactamente la misma estructura que \(\hat{a}^\dagger |n\rangle = \sqrt{n+1}\,|n+1\rangle\) que derivamos en Mecánica Cuántica Cap. 8 para el operador de creación del oscilador armónico a partir de las relaciones de conmutación. Si olvidaste "por qué \(\sqrt{n+1}\)", repásalo en Mecánica Cuántica Cap. 8. La ecuación (1.22) corresponde al caso \(n_{\mathbf{p}} = 0\) de esta fórmula general — como \(\sqrt{0+1} = 1\), el coeficiente es 1 y desaparece. Por ejemplo, sustituyendo \(n_{\mathbf{p}} = 1\):
El operador de aniquilación \(\hat{a}_{\mathbf{p}}\) inversamente disminuye en 1 el número de partículas:
Especialmente importante es el caso \(n_{\mathbf{p}} = 0\). Sustituyendo: \(\hat{a}_{\mathbf{p}}|0_{\mathbf{p}}\rangle = \sqrt{0}\,|(-1)_{\mathbf{p}}\rangle = 0\) — como el coeficiente \(\sqrt{0} = 0\) se multiplica, el lado derecho entero es cero. Es decir, \(\hat{a}_{\mathbf{p}}|0\rangle = 0\): no se puede quitar más partículas del vacío. Esto corresponde a "el peldaño más bajo de la escalera".
🔵 Kai: ¡Oh! "Subir la escalera de niveles de energía" del oscilador armónico se reinterpreta como "aumentar en 1 el número de partículas". Y el peldaño más bajo es el vacío, del que no se puede bajar más. Pero si hay infinitos osciladores armónicos, la energía de punto cero \(\frac{1}{2}\hbar\omega\) de infinitos de ellos, ¿no diverge?
🟡 Lina: Agudo. De hecho ese problema realmente existe. Pero avancemos por ahora; en la Parte V "Renormalización" abordaremos ese problema de frente. Primero escribamos el álgebra básica para el caso de bosones. Para simplificar, aquí consideramos el caso de confinar el campo en una caja y restringir los momentos permitidos a valores discretos (la misma razón por la que las frecuencias permitidas en la cuerda de una guitarra son discretas. Lo discreto se puede escribir como sumas y es más fácil de manejar). Los operadores de creación y aniquilación de bosones satisfacen la relación de conmutación (commutator):
Para fermiones, satisfacen la relación de anticonmutación:
Aquí \(\delta_{\mathbf{p}\mathbf{q}}\) es la delta de Kronecker que significa "1 cuando \(\mathbf{p} = \mathbf{q}\), 0 en caso contrario" (cuando el momento se trata como discreto). Es la versión discreta de la delta de Dirac \(\delta^3(\mathbf{x} - \mathbf{y})\) que apareció antes. Si se usa momento continuo se reemplaza por \(\delta^3(\mathbf{p} - \mathbf{q})\), pero la esencia es la misma — "solo modos iguales tienen una relación de conmutación no nula".
🔵 Kai: ¿Qué cambia entre la relación de conmutación y la de anticonmutación?
🟡 Lina: Hay una diferencia grande. Para fermiones, los operadores de creación entre sí también satisfacen la relación de anticonmutación: \(\{\hat{a}^\dagger_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = 0\). En particular, poniendo \(\mathbf{p} = \mathbf{q}\): \(2(\hat{a}^\dagger_{\mathbf{p}})^2 = 0\), es decir \((\hat{a}^\dagger_{\mathbf{p}})^2 = 0\). Esto significa que si intentas crear dos partículas en el mismo estado, el resultado es cero — ¡el principio de exclusión de Pauli sale automáticamente!
🔵 Kai: Ya veo, aplicar \(\hat{a}^\dagger_{\mathbf{p}}\) dos veces da \(0\), así que no se puede poner una segunda partícula en el mismo estado.
⚪ Mei: El principio de exclusión no necesita asumirse por separado, se deriva de las relaciones de anticonmutación.
🟡 Lina: En Fig. 1.15「Diferencia en números de ocupación entre bosones y fermiones. Izquierda」 he ilustrado la diferencia en números de ocupación entre bosones y fermiones. Y en la tabla siguiente también he comparado las propiedades de ambos.
Fig. 1.15: Diferencia en números de ocupación entre bosones y fermiones. Izquierda — Los bosones satisfacen relaciones de conmutación y se pueden poner cuantas partículas se quiera en el mismo estado cuántico. Derecha — Los fermiones satisfacen relaciones de anticonmutación y cada estado admite como máximo 1 partícula (principio de exclusión de Pauli).
Tabla 1.7: Comparación entre bosones y fermiones
| Bosones (fotones, partícula de Higgs, etc.) | Fermiones (electrones, quarks, etc.) | |
|---|---|---|
| Estadística | Bose-Einstein | Fermi-Dirac |
| Relación algebraica | Conmutación \([\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}] = \delta_{\mathbf{p}\mathbf{q}}\) | Anticonmutación \(\{\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = \delta_{\mathbf{p}\mathbf{q}}\) |
| Número de ocupación | \(n = 0, 1, 2, 3, \ldots\) (sin restricción) | Solo \(n = 0, 1\) (principio de exclusión) |
| Espín | Entero (\(0, 1, 2, \ldots\)) | Semi-entero (\(1/2, 3/2, \ldots\)) |
| Ejemplos representativos | Fotón, gluón, \(W/Z\), Higgs | Electrón, quark, neutrino |
| 🟡 Lina: Exacto. Este es el esqueleto algebraico de la teoría cuántica de campos. En Cap. 4 y Cap. 5 lo ejecutaremos para el campo escalar y el campo de Dirac. |
✅ Verificación de comprensión: A partir de que los operadores de creación de fermiones satisfacen relaciones de anticonmutación, ¿cómo se deriva el principio de exclusión de Pauli?
Respuesta
De la relación de anticonmutación \(\{\hat{a}_{\mathbf{p}}, \hat{a}^\dagger_{\mathbf{q}}\} = \delta_{\mathbf{p}\mathbf{q}}\) se deriva \((\hat{a}^\dagger_{\mathbf{p}})^2 = 0\). Esto significa que intentar crear dos partículas en el mismo estado \(\mathbf{p}\) da como resultado cero, por lo que el principio de exclusión de Pauli — que no pueden existir 2 o más fermiones en el mismo estado cuántico — se cumple automáticamente.
✅ Verificación de comprensión: Menciona una diferencia esencial entre el espacio de Fock y un espacio de Hilbert ordinario.
Respuesta
El espacio de Fock contiene simultáneamente estados de diferente número de partículas (es la suma directa de subespacios con 0, 1, 2, ... partículas). Mientras que el espacio de Hilbert ordinario tiene un número fijo de partículas, en el espacio de Fock los operadores de creación y aniquilación permiten cambiar el número de partículas.
1.8 El modelo más preciso de la historia humana¶
🟡 Lina: Para terminar, voy a presentar cifras que muestran cuán exitosa es la teoría cuántica de campos.
De entre las teorías cuánticas de campos, la más madura es la QED (Quantum Electrodynamics, electrodinámica cuántica) — el modelo que describe la interacción de electrones y fotones. La predicción teórica de QED para el momento magnético anómalo (anomalous magnetic moment) del electrón es:
El valor experimental es:
Aquí los números entre paréntesis representan la incertidumbre en los últimos dígitos. Por ejemplo, \((28)\) en el valor experimental significa una incertidumbre de \(\pm 28\) en los dos últimos dígitos. \((77)\) en el valor teórico significa una incertidumbre de \(\pm 77\) en los dos últimos dígitos. (El valor teórico incluye correcciones QED hasta 5to orden (5 bucles), además de correcciones hadrónicas y de la fuerza débil. El valor experimental proviene de mediciones de precisión con trampas de Penning. Para más detalles, véase Aoyama et al., Phys. Rev. Lett. 109, 111807 (2012) y Hanneke et al., Phys. Rev. Lett. 100, 120801 (2008).)
🔵 Kai: ¡Coinciden hasta 10 dígitos después del punto decimal! Pero, ¿por qué se llama momento magnético "anómalo"? ¿En qué se diferencia del momento magnético normal?
🟡 Lina: Buena pregunta. El momento magnético es "la intensidad del electrón como pequeño imán". Como el electrón tiene espín, al ser una partícula cargada que rota, crea un campo magnético. Si tomamos el valor del momento magnético predicho por la ecuación de Dirac como "valor normal", el valor real se desvía ligeramente de él. La magnitud adimensional que expresa esa desviación es \(a_e\), llamada "momento magnético anómalo". Concretamente se define como \(a_e = (g - 2)/2\), donde \(g\) es el "factor \(g\)" que determina la magnitud del momento magnético (la predicción de la ecuación de Dirac aprendida en Mecánica Cuántica Cap. 17 es \(g = 2\)). Si la ecuación de Dirac fuera completamente correcta, \(a_e = 0\), pero en realidad no es cero. La causa de esa desviación son las correcciones cuánticas donde el electrón emite y absorbe fotones virtuales — precisamente los efectos que se calculan con la teoría cuántica de campos.
⚪ Mei: La ecuación de Dirac sola no es completamente correcta, y los efectos de los fotones virtuales producen una desviación medible — evidencia de que la teoría cuántica de campos es necesaria.
🟡 Lina: Esto equivale a medir la distancia de Tokio a Nueva York con un error menor que el grosor de un cabello. La teoría cuántica de campos no es "solo una teoría bonita", es el modelo físico más precisamente verificado que la humanidad ha construido jamás.
🔵 Kai: Los fotones virtuales que mencionamos antes al hablar de la mediación de fuerzas, ¡también causan desviaciones en el momento magnético! Pero si los fotones virtuales se emiten y absorben muchas veces, ¿el cálculo no se vuelve infinitamente complejo? Sumar 1 vez de emisión-absorción, 2 veces, 3 veces... si sumas infinitas contribuciones, ¿no diverge?
🟡 Lina: Esa es precisamente la dificultad central de la teoría cuántica de campos. De hecho, al calcular de forma ingenua aparecen infinitos. Pero existe un método para tratarlos sistemáticamente — la "renormalización". Lo abordaremos de frente en la Parte V. Espéralo con ganas.
🔵 Kai: ¿Aparecen infinitos y aun así se obtiene una precisión de 10 dígitos? "Tratar" los infinitos, ¿es ignorarlos? ¿O hay alguna otra manera?
🟡 Lina: No se ignoran, sino que se "absorben" de forma sistemática. Pero eso es tema de la Parte V. Por ahora solo llévate el hecho de que "la teoría cuántica de campos describe la naturaleza con una precisión asombrosa".
🔵 Kai: Mmm, "absorber" aún no me queda claro... Pero al revés, si aparecen infinitos y aun así se pueden tratar, eso significa que la "forma" en que divergen tiene alguna regularidad, ¿no? Si divergiera de forma desordenada sería imposible de tratar.
🟡 Lina: Qué agudo. Exactamente así: la estructura de las divergencias tiene regularidad — concretamente, los infinitos siempre aparecen en una forma que puede absorberse en la redefinición de unos pocos parámetros como la "masa" o la "carga". Por eso se pueden tratar sistemáticamente. Esa es la verdadera naturaleza del mecanismo que veremos en la Parte V. Espéralo con ganas.
🔵 Kai: Se absorbe en unos pocos parámetros... Es decir, aunque los infinitos aparezcan en lugares diferentes cada vez, ¿su "forma" sigue siempre el mismo patrón? Todavía no me hago una imagen, pero estoy deseando llegar a la Parte V.
🟡 Lina: Bien, repasando lo que hemos visto en este capítulo — el colapso de la densidad de probabilidad de la ecuación de Klein-Gordon, la inevitabilidad de la creación de pares, el requisito de causalidad — todos apuntan a la misma conclusión: "la mecánica cuántica de una partícula es insuficiente", y la solución es "cuantizar el campo y describirlo en el espacio de Fock". Que tres argumentos independientes converjan en la misma conclusión es una fuerte evidencia de que la teoría cuántica de campos no "funciona por casualidad" sino que la naturaleza realmente es así.
⚪ Mei: Es bonito que argumentos independientes apunten a la misma conclusión. Estoy deseando construir esa teoría desde cero.
✅ Verificación de comprensión: ¿Cuál es la magnitud física representativa que muestra la precisión de la QED (electrodinámica cuántica), y hasta qué punto coinciden teoría y experimento?
Respuesta
La magnitud física representativa es el momento magnético anómalo del electrón \(a_e\). La predicción teórica de QED y el valor experimental coinciden hasta 10 dígitos decimales, lo que constituye la concordancia más precisa entre teoría y experimento que la humanidad ha logrado hasta la fecha.
1.9 Hoja de ruta de todo Teoría Cuántica de Campos¶
🟡 Lina: Para terminar, echemos un vistazo al panorama completo del viaje de 24 capítulos que nos espera. Se divide en 7 Partes. En Fig. 1.16「Hoja de ruta completa de Teoría Cuántica de Campos (24 capítulos · 7 partes)」 muestro la hoja de ruta visual.
Fig. 1.16: Hoja de ruta completa de Teoría Cuántica de Campos (24 capítulos · 7 partes). Desde la Parte I (repaso incluyendo este capítulo y campos clásicos), pasando por la cuantización de campos libres, QED y diagramas de Feynman, integrales de camino, renormalización, el Modelo Estándar, hasta llegar finalmente al problema de la gravedad cuántica.
Parte I: Repaso y campos clásicos (Capítulos 1 a Cap. 3)
- Cap. 2 Repaso de la relatividad especial y la invariancia de Lorentz
- Cap. 3 Teoría clásica de campos (lagrangiano, teorema de Noether)
Parte II: Cuantización canónica de campos libres (Capítulos 4 a Cap. 6)
- Cap. 4 Cuantización del campo escalar — El momento en que las partículas nacen del campo
- Cap. 5 Cuantización del campo de Dirac — Relaciones de anticonmutación de fermiones
- Cap. 6 Cuantización del campo electromagnético — La lucha con los grados de libertad de gauge
Parte III: La primera recompensa — QED y diagramas de Feynman (Capítulos 7 a Cap. 9)
- Cap. 7 Interacciones y la matriz S
- Cap. 8 Diagramas de Feynman
- Cap. 9 Procesos básicos de QED — Dispersión de Rutherford y dispersión de Compton
Parte IV: Integrales de camino (Capítulos 10 a Cap. 12)
- Cap. 10 Integral de camino en mecánica cuántica
- Cap. 11 Integral de camino para campos y funcional generatriz
- Cap. 12 Integral de camino para fermiones (números de Grassmann)
Parte V: Renormalización y grupo de renormalización (Capítulos 13 a Cap. 16)
- Cap. 13 Los infinitos que aparecen en los bucles
- Cap. 14 Regularización y renormalización
- Cap. 15 Grupo de renormalización — La física que cambia con la escala
- Cap. 16 Teoría de campos efectiva y verificación de precisión
Parte VI: El Modelo Estándar (Capítulos 17 a Cap. 21)
- Cap. 17 Teoría de Yang-Mills y simetría de gauge
- Cap. 18 Ruptura espontánea de simetría
- Cap. 19 Mecanismo de Higgs y el origen de la masa
- Cap. 20 Teoría electrodébil unificada
- Cap. 21 QCD y la culminación del Modelo Estándar
Parte VII: Más allá (Capítulos 22 a Cap. 24)
- Cap. 22 Aplicaciones a la materia condensada (superconductividad · efecto Hall cuántico)
- Cap. 23 Fenómenos no perturbativos (solitones · monopolos · instantones)
- Cap. 24 El desafío del problema de la gravedad cuántica — Los límites de la teoría cuántica de campos y la puerta a la gravedad cuántica
🔵 Kai: Es un viaje grandioso... Pero con la discusión de hoy entiendo bien "por qué este viaje es necesario".
⚪ Mei: Resumiendo, el colapso de la densidad de probabilidad de Klein-Gordon, la inevitabilidad de la creación de pares, el requisito de causalidad — tres argumentos independientes exigen todos la "cuantización del campo", y el escenario es el espacio de Fock. De aquí en adelante, el viaje consiste en construir concretamente este marco.
🟡 Lina: Exacto. Si entiendes el "por qué", el "cómo" lo comprenderás con seguridad. En el próximo capítulo prepararemos primero las herramientas de la relatividad especial y nos familiarizaremos con la notación covariante de Lorentz.
Avance del próximo capítulo¶
Cap. 2 Repaso de la relatividad especial y la invariancia de Lorentz
Para formular la teoría cuántica de campos es imprescindible un "lenguaje" que maneje libremente la invariancia de Lorentz. En el próximo capítulo organizaremos los 4-vectores, las transformaciones de Lorentz, el tensor métrico \(\eta_{\mu\nu}\), la distinción entre covariante y contravariante, y adquiriremos la técnica de escribir magnitudes físicas con índices. Se reconstruirá el contenido de los capítulos 3-4 de relatividad general adaptado para QFT. Una vez familiarizados con esta notación, podremos confirmar de un vistazo que "todas las ecuaciones que aparezcan en los capítulos siguientes son invariantes de Lorentz".
Problemas de práctica¶
📝 Ejercicios:
- Cálculo de la densidad de probabilidad de la ecuación de Klein-Gordon → Problema M-1. Covarianza de Lorentz de la densidad de corriente de probabilidad de la ecuación de Klein-Gordon
- Longitud de onda de Compton y principio de incertidumbre → Problema B-5. Cálculo de la longitud de onda de Compton
- Longitud de onda de Compton y escala de creación de pares → Problema M-3. Longitud de onda de Compton y localización de la posición
- Energía umbral para la creación de pares → Problema B-7. Escala temporal de la creación de pares a partir de la relación de incertidumbre
Referencias¶
- Lancaster & Blundell, Quantum Field Theory for the Gifted Amateur Capítulo 1 «What is quantum field theory?»
- 坂本眞人『場の量子論 — 不変性と自由場を中心にして』 Capítulo 8 «Campo y partícula»
- Schwartz, Quantum Field Theory and the Standard Model Capítulo 1 «Microscopic theory of radiation»
- Tong, Lectures on Quantum Field Theory Capítulo 1 «Classical Field Theory» introducción
Feedback on this page
Let us know if something was unclear, incorrect, or could be improved.