QCD y QED con poder computacional ilimitado: ¿qué tan precisos serán?

Mi pregunta es sobre algoritmos cuánticos para cálculos QED (electrodinámica cuántica) relacionados con las constantes de estructura fina. Tales cálculos (como me explicaron) equivalen a calcular series tipo Taylor

C k α k ,
dónde α es la constante de estructura fina (alrededor de 1/137) y C k es la contribución de los diagramas de Feynman con k -bucles.

Esta pregunta fue motivada por el comentario de Peter Shor (sobre QED y la constante de estructura fina) en una discusión sobre computadoras cuánticas en mi blog. Para algunos antecedentes, aquí hay un artículo relevante de Wikipedia .

Se sabe que los primeros términos de este cálculo dan estimaciones muy precisas de las relaciones entre los resultados experimentales que concuerdan excelentemente con los experimentos. (Quizás incluso el mejor acuerdo entre teoría y experimentos en la historia de la física).

Sin embargo, la precisión de estos cálculos está limitada por tres factores importantes (y relacionados)

a) Computacional: los cálculos son muy pesados ​​y computar más términos está más allá de nuestros poderes computacionales.

b) Matemático-físico: en algún momento, el cálculo explotará; en otras palabras, el radio de convergencia de esta serie de potencias es 0.

c) Físico - La precisión del cálculo es limitada porque no tiene en cuenta otras fuerzas y campos.

En resumen, mi pregunta es: ¿Cuánto mejores resultados podríamos esperar de estos cálculos QED si tuviéramos un poder de cálculo ilimitado?

En más detalles:

Pregunta 1: Con un poder de cómputo ilimitado, ¿cuál es la precisión esperada que podemos obtener considerando solo la explosión de los coeficientes? Es decir, ¿hay estimaciones de cuántos términos en la expansión antes de que seamos testigos de la explosión y cuál es la calidad de la aproximación que podemos esperar cuando usamos estos términos?

Actualización: como señaló Vladimir en un comentario (y de hecho también escribió Steven), se cree que el radio de convergencia es cero, pero no hay un argumento completo de que este sea el caso.

Steven Jordan en una respuesta a una pregunta relacionada (ver más abajo) mencionó una explicación heurística muy aproximada que C k se comporta como k ! y que por tanto la explosión de los coeficientes no se producirá hasta k ! 1 / 137 k comienza a aumentar. Esto sugiere que podemos tener 137 o más términos significativos. (Si C k cuentas a k ! términos con cancelación tal vez podamos reemplazar k ! por su raíz cuadrada).

Una segunda pregunta relacionada es:

Pregunta 2: Con un poder computacional ilimitado, ¿cuál es la precisión esperada que podemos obtener cuando tomamos en cuenta el efecto de otros campos no considerados por el QED?

También me interesa saber si existen algoritmos cuánticos eficientes para calcular esta expansión. El artículo: Stephen Jordan, Keith Lee y John Preskill, Quantum Algorithms for Quantum Field Theories, puede conducir a algoritmos cuánticos eficientes para al menos algunas versiones de estos cálculos. Hice esta pregunta en el sitio hermano de informática teórica a la que Stephen Jordan dio una excelente respuesta .

Se puede hacer la misma pregunta sobre los cálculos de QCD para las propiedades del protón o el neutrón. Por ejemplo, cálculo de la masa del protón.

Pregunta 3: ¿Podemos estimar para los cálculos de QCD para la masa del protón cuál será el nivel de precisión que se puede lograr suponiendo que tuviéramos un poder de cálculo ilimitado y cómo se compara con la precisión actual?

No sé lo suficiente de mecánica cuántica para darte una respuesta real, pero como alguien que vive con simulaciones todos los días, mi comentario sería: "Todos los modelos están equivocados; algunos son útiles".
Es ampliamente conocido que "el radio de convergencia de esta serie de potencias es 0", pero, en mi humilde opinión, es una afirmación incorrecta. De hecho, nadie usa estas series directamente debido a la divergencia infrarroja. La divergencia IR se evita sumando una parte de la serie en una función finita de α , por lo tanto, ¡la convergencia de las series restantes aún no ha sido estudiada! Esta función finita (una suma de diagramas IR) es una función que no se expande en serie, sino que se usa directamente. Significa usar otra aproximación inicial para, digamos, una amplitud de dispersión. (Continuará.)
Continuación: El argumento de Dyson no se aplica ya que no estamos obligados a expandir lo que podemos tener exactamente en una forma compacta y finita.
Lo siento, Vladimir, en realidad también quería preguntar sobre eso, lo corregiré. Actualizaré la pregunta.
En algún momento se vuelve inútil mejorar la evaluación QED por sí sola porque las contribuciones de los otros sectores del modelo estándar serán mayores que la mejora del cálculo. Creo que ese ya es el caso de las contribuciones quirales de la fuerza electrodébil.
Curioso, sí, esta es mi pregunta 2. ¿Podemos estimar cuantitativamente qué significa "en algún momento"?
Basado en las charlas de física que escuché sobre las contribuciones electrodébiles a la física atómica hace 20 años, creo que ese punto fue probablemente hace un cuarto de siglo, el último. :-)
Además, lattice QCD es un programa para calcular de forma no perturbativa el fenómeno QCD, sin recurrir a esta serie.

Respuestas (2)

La parte b) es un gran tema de física matemática por derecho propio. La cola divergente de una serie asintótica no es basura, sino que contiene mucha información que, junto con alguna información adicional, se puede usar para calcular efectos no perturbadores. Aquí se proporciona una introducción general a este tema .

Hay diferentes enfoques posibles, algunos requieren que se conozcan muchos términos. En la práctica, esto no es muy útil para la teoría de campos, ya que generalmente solo se conocen unos pocos términos, pero aquí la pregunta es sobre el poder computacional ilimitado, y luego estas técnicas son útiles. Por ejemplo, se puede considerar la posibilidad de resumir la serie utilizando aproximaciones diferenciales . Esto se ha utilizado para generar valores precisos para exponentes críticos, pero generalmente requiere docenas de términos de una expansión de serie (divergente).

En QCD, la potencia computacional es el principal factor limitante. Por ejemplo, las mediciones experimentales de la masa del protón son alrededor de un millón de veces más precisas que el mejor cálculo disponible de los primeros principios de lo mismo a partir de QCD.

Si tuviéramos más poder de cómputo, podríamos usar una variedad de mediciones bastante precisas de las propiedades de los hadrones para obtener una determinación muy precisa de las constantes fundamentales, como la constante de acoplamiento de la fuerza fuerte y las masas de los quarks, y estas mediciones constantes precisas, a su vez, harían todo de lo contrario, más preciso a niveles comparables a QED.

Considere un problema que podría tomar una hora o dos para resolver con una calculadora en QED con una precisión exquisita (prácticamente limitado solo para fines prácticos por la precisión disponible de nuestras medidas de las constantes físicas que conectamos). Hacer cálculos para un problema comparable en QCD con muchos más bucles y, literalmente, años de cálculo en computadoras razonablemente poderosas aún lo dejará con mucha menos precisión que el cálculo QED.

En principio, el nivel de precisión que podría obtener en QCD con un poder computacional ilimitado sería tan preciso como la precisión de las mediciones de masa de protones y neutrones más precisas que podría administrar (actualmente alrededor de nueve dígitos significativos, en lugar de tres de los cálculos teóricos actuales ). Puede obtener datos tan precisos como experimentales para calibrar sus resultados, siempre y cuando tenga el poder de cómputo para hacerlo. Sería un proceso de dos pasos, porque en este momento, la precisión limitada en los cálculos de QCD implica constantes físicas imprecisas que limitan fundamentalmente la precisión de cualquier cálculo. Entonces, primero tendría que usar su poder computacional ilimitado para determinar las constantes relevantes con mayor precisión y luego tendría que hacer los cálculos con las constantes refinadas.

La diferencia, por supuesto, tiene mucho que ver con la rapidez con que convergen los bucles. Cinco bucles serían excesivos para la mayoría de los cálculos QED aplicados, lo que le daría más precisión de la que puede medir. Pero, cinco bucles en QCD le darán una precisión de dos o tres dígitos significativos. Probablemente se necesitarían docenas de bucles QCD para obtener cálculos tan precisos como un cálculo QED de tres o cuatro bucles y podría llevar décadas con los recursos y técnicas computacionales actuales para calcular en QCD.

Ahora, al acecho, está la cuestión de si existe alguna forma profundamente más eficiente de calcular amplitudes que desarrollos como el amplitudedro (y muchas otras pruebas sugerentes) tienden a implicar que existe si pudiéramos encontrar mejores formas de ignorar la cancelación mutua. términos y términos que no contribuyen significativamente al resultado final. La inteligencia puede compensar una gran cantidad de fuerza bruta computacional. Pero, hasta ahora, no hemos encontrado ningún Santo Grial que haga que el cálculo sea más manejable.

Por otro lado, los cálculos de QCD tienden a ser partes intercambiables que se repiten con frecuencia. Solo necesita hacer cálculos para cualquier problema dado una vez y, a menudo, esos cálculos pueden tener una modularidad significativa (por ejemplo, una fracción de ramificación de decaimiento particular puede aparecer media docena de veces al calcular todos los modos de decaimiento posibles de un chorro energético, pero solo tiene calcularse una vez).