Sin transcripción de la conversación de origen en el repo. Índice: documentos.
19 de septiembre de 2026 · Oriol López Massaguer
La afirmación que abrió esta conversación: en QFT, a cada punto del espacio le corresponde una matriz infinito-dimensional.
Es una intuición útil, mal enunciada. Lo que sí es cierto:
Lo impreciso: no hay una matriz independiente por punto. Los operadores de campo son distribuciones, no funciones ordinarias. φ(x) no está bien definido en un punto aislado; solo lo está φ(f) = ∫f(x)φ(x)dx para funciones test f. Lo infinito-dimensional es la estructura del campo entero, no una colección de matrices indexadas por puntos.
Corrección importante. Durante la conversación afirmé que el espacio de Hilbert de la QFT es no separable. Es falso. El espacio de Fock de una QFT estándar sí es separable: tiene base numerable, construida sobre números de ocupación de modos de momento numerables. La no-numerabilidad del continuo espacial no se traslada al espacio de estados de la manera que sugerí.
La diferencia estructural genuina es otra.
Con un número finito de grados de libertad, el teorema de Stone–von Neumann garantiza que todas las representaciones irreducibles de las relaciones canónicas de conmutación son unitariamente equivalentes. Da igual qué representación elijas: son la misma física escrita de otro modo.
Con infinitos grados de libertad el teorema falla. Aparecen representaciones unitariamente inequivalentes: sectores de superselección, vacíos distintos, fases inequivalentes. Ruetsche sostiene que esto plantea un problema interpretativo genuinamente nuevo, no una complicación técnica más.
Ejemplos físicos: el efecto Unruh y la no-unicidad de Fulling, la ruptura espontánea de simetría, el límite termodinámico en mecánica estadística cuántica.
En QFT algebraica, la posición que Ruetsche bautizó como imperialismo algebraico sostiene que el contenido físico está en la red de álgebras de observables, y que una representación de Hilbert puede ser una ayuda de cálculo pero carece de significación ontológica.
Esto es lo que hace que QFT no sea “mecánica cuántica con más variables”.
Otra corrección a lo que dije al principio. Sugerí que las divergencias UV surgen de que el espacio tiene un continuo no numerable de puntos. No es así.
El origen real: las divergencias UV vienen de integrales en momento que se extienden a escalas de energía arbitrariamente altas, porque no conocemos la teoría fundamental a esas energías. En los cálculos perturbativos aparecen integrales del tipo ∫dk·k → ∞ o ∫dk/k = ln(k) → ∞, procedentes de los lazos de partículas virtuales en los diagramas de Feynman.
La causa es la combinación de tres ingredientes:
Ninguno de los tres es “el continuo es no numerable”.
Qué es realmente la renormalización. Los parámetros iniciales (desnudos) reciben correcciones de órdenes crecientes de interacción. Se miden los valores físicos y se usan los parámetros renormalizados directamente en la teoría. Esto es necesario aunque no haya divergencias UV; cuando las hay, el cambio de variables a parámetros renormalizados ofrece un conjunto finito y hace los cálculos tratables.
Una teoría es renormalizable si todas las divergencias UV se cancelan con un número finito de contratérminos. ’t Hooft demostró que el Modelo Estándar lo es.
1933 — Bronstein. Publica dos diagramas que mapean el mundo de la física. En el primero, las áreas de aplicabilidad de la mecánica clásica, la mecánica cuántica y la relatividad especial quedan delimitadas por rectángulos que se intersecan; líneas punteadas señalan la aún indefinida teoría cuántico-relativista. A diferencia de Einstein, que intentaba deducir los cuantos de su teoría generalizada de la relatividad, Bronstein reconocía ambas teorías como igualmente fundamentales y necesitadas de síntesis.
1967 — Zel’manov. Para representar las ideas de Bronstein en tres dimensiones, dibuja el cubo de teorías físicas, con ejes (G, 1/c, ħ). El origen (0,0,0) corresponde a la mecánica clásica de partículas.
Okun. Reproduce y completa el cubo. El original de Zel’manov tenía dos vértices sin etiqueta: no incluía mecánica newtoniana, ni TOE, ni QFT, sino una “teoría cuántica relativista general”.
| Vértice | Teoría |
|---|---|
| (0,0,0) | Mecánica clásica de partículas |
| (G,0,0) | Gravitación newtoniana |
| (0,1/c,0) | Relatividad especial |
| (0,0,ħ) | Mecánica cuántica no relativista |
| (G,1/c,0) | Relatividad general |
| (0,1/c,ħ) | Teoría cuántica de campos |
| (G,0,ħ) | Gravedad clásica en mecánica cuántica |
| (G,1/c,ħ) | Teoría del Todo |
Planck introdujo cuatro unidades naturales: h, c, G, k. Solo las tres primeras conservaron su estatus tras la creación de la relatividad y la mecánica cuántica. Gamow, Ivanenko y Landau mencionan las cuatro al principio de su artículo, pero en el cuerpo consideran naturales solo tres, sin k ni temperatura; Bronstein y Zel’manov tomaron ese enfoque. La constante de Boltzmann queda fuera porque solo sirve para convertir temperatura en energía.
Añadiendo k, el cubo se vuelve hipercubo.
El cubo codifica qué constantes están activas, no cuánta estructura matemática hace falta. Son cosas distintas.
Oriti lo advierte explícitamente: la figura no representa teorías o modelos físicos específicos, pese a los nombres usados en ella, sino marcos teóricos más generales. La etiqueta “gravedad newtoniana” es una casilla, no la teoría que Newton escribió.
Ni Bronstein ni Zel’manov distinguieron entre la teoría original de Newton y su reformulación espaciotemporal de Cartan. El cubo de Zel’manov, seguido por Okun, representa erróneamente la gravedad newtoniana como el límite galileano-relativista de la de Einstein. El verdadero límite es la teoría de Newton-Cartan, con su campo de conexión mutable.
Queda un residuo estructural — la conexión — que la arista sugiere que has eliminado.
ħ → 0 no es una deformación suave. En WKB la dependencia es exp(iS/ħ), una singularidad esencial. No se “desliza” por el eje perdiendo información gradualmente: se pierde de golpe, y algunas cosas no se pierden en absoluto.
Encender ħ en el vértice (0,1/c,ħ) obliga a: infinitos grados de libertad, creación y aniquilación de partículas, renormalización, representaciones inequivalentes. Encender 1/c desde mecánica clásica da relatividad especial, que estructuralmente es barata.
El cubo, con aristas iguales y ejes ortogonales, sugiere incrementos aditivos y conmensurables. No lo son.
El número de grados de libertad es independiente de c, G y ħ: no se alcanza moviéndose por los tres ejes. Por eso se proponen hipercubos.
Ese eje ausente es donde crece de verdad la “información para modelar”, no en las tres constantes.
Es la gravedad newtoniana reescrita en lenguaje geométrico. La formuló Élie Cartan en 1923–24, ocho años después de la relatividad general, precisamente para mostrar que la geometrización no era exclusiva de Einstein.
La idea. En Newton, la gravedad es una fuerza que desvía a los cuerpos de trayectorias rectas en espacio plano. En Newton-Cartan no hay fuerza: los cuerpos en caída libre siguen geodésicas de una conexión curva. La gravedad es curvatura, igual que en RG, pero sobre un espaciotiempo galileano con tiempo absoluto.
El punto clave: en geometría lorentziana la métrica determina unívocamente la conexión (Levi-Civita). Aquí no. Las dos métricas son degeneradas y ninguna combinación de ellas fija ∇. La conexión es una pieza de estructura independiente y dinámica.
Bajo ciertas condiciones de curvatura, un modelo de Newton-Cartan puede descomponerse en una conexión plana más un potencial gravitatorio φ, recuperando la teoría de Newton de siempre.
Pero la descomposición no es única: distintos pares (conexión plana, potencial) dan la misma estructura de Newton-Cartan.
Esa no-unicidad es el argumento central de Weatherall: la gravedad newtoniana estándar tiene estructura excedente respecto a su versión geometrizada — distingue situaciones que son físicamente la misma.
Por eso el vértice (G,0,0) del cubo está mal etiquetado. El límite c → ∞ de la RG no aterriza en Newton; aterriza en Newton-Cartan, que tiene menos estructura que Newton pero más de la que la etiqueta sugiere.
Hay un campo entero dedicado a esto en filosofía de la física: comparar cantidades de estructura (comparing amounts of structure).
Una teoría se representa como una categoría: los objetos son sus modelos, las flechas las aplicaciones que preservan estructura entre ellos. Una relación entre teorías es un functor.
La intuición que lo gobierna todo: como los isomorfismos preservan estructura, cuantos menos isomorfismos, más estructura. Una teoría muy simétrica tiene poca estructura; una que distingue mucho tiene mucha.
Ejemplo canónico: el functor F: Top → Set, que manda cada espacio topológico a su conjunto subyacente. Olvida la elección de topología.
Para F: C → D y la aplicación inducida hom(A,B) → hom(FA,FB):
Si F es pleno, fiel y esencialmente sobreyectivo, realiza una equivalencia de categorías y no olvida nada. Si no:
| Condiciones | Qué olvida |
|---|---|
| Fiel + ess. sobreyectivo, no pleno | solo estructura |
| Pleno + fiel, no ess. sobreyectivo | solo propiedades |
| Pleno + ess. sobreyectivo, no fiel | solo stuff |
La clasificación es exhaustiva: cualquier functor se descompone como composición de tres functores que olvidan (a lo sumo) estructura, propiedades y stuff, y de ninguna otra manera.
Si el functor es pleno, hay una sobreyección de los isomorfismos de la primera teoría sobre los de la segunda: la segunda tiene al menos tanta estructura. Una teoría tiene estructura excedente respecto a otra si existe un functor de la primera a la segunda que olvida estructura preservando el significado empírico.
Es exactamente el diagnóstico Newton / Newton-Cartan.
Dependencia del functor. Entre dos categorías puede haber varios functores, y no todos olvidan estructura aunque exista uno que sí. Weatherall acepta que los juicios comparativos son relativos a la elección de functor y lo defiende como virtud: permite explorar varias maneras en que las teorías se relacionan. Pero no hay un número absoluto.
La elección de las categorías. Una teoría te da modelos, pero para construir una categoría hacen falta las flechas, y suele haber varias opciones. Barrett y Rosenstock argumentan que en algunas aplicaciones hay que considerar más que isomorfismos.
Disputa viva. Nguyen et al. proponen estructura excedente*: una teoría la tiene si hay un functor que olvida stuff preservando significado empírico. Bradley & Weatherall replican con casos de functores que olvidan stuff donde el codominio parece tener más estructura que el dominio.
Quinn, Abbott, Transtrum, Machta & Sethna (2023).
Muchos modelos complejos en física, biología, economía e ingeniería son sloppy: los parámetros no quedan bien determinados por las predicciones del modelo, y muchas combinaciones pueden variar en órdenes de magnitud sin cambios significativos en las predicciones.
Construyen la variedad del modelo, cuyas coordenadas son los parámetros y cuya métrica es la de Fisher. Su estructura de hipercinta explica por qué solo unas pocas combinaciones importan.
Lo clave para nuestro tema: las teorías más simples viven en los bordes de esa variedad — teorías emergentes con menos parámetros que explican el comportamiento igual de bien. Y conectan las direcciones rígidas y blandas con las direcciones propias relevantes e irrelevantes del grupo de renormalización.
Es el mismo trabajo que sitúa la jerarquía c-G-ħ como límites de codimensión creciente: las teorías de codimensión dos son RG ({G,c}), QFT relativista ({c,ħ}) y gravedad clásica en mecánica cuántica ({G,ħ}).
Información = bits para codificar modelo + datos. Rissanen y el Minimum Description Length; Grünwald para el tratamiento completo; MacKay para la versión legible por ingenieros.
Relación con lo anterior: el término de complejidad de Rissanen es esencialmente el logaritmo del volumen de Fisher — la misma cantidad que en geometría de la información. Son dos lecturas del mismo objeto: una estadística, otra codificacional. No son medidas rivales.
Hollands & Ranallo definen la complejidad de un canal cuántico en QFT relativista continua como la distancia al canal trivial (identidad), con una divergencia derivada de la de Belavkin-Staszewski.
Demuestran que tiene propiedades razonables: la complejidad de un canal compuesto no supera la suma de sus partes, es aditiva para canales localizados en regiones separadas espacialmente, es convexa, y para un canal de medida N-aria vale log N.
Ojo: mide complejidad de operaciones dentro de una teoría, no de la teoría.
| Enfoque | Qué mide | Pregunta que responde |
|---|---|---|
| Teoría de categorías | estructura postulada | ¿cuánta maquinaria matemática exige formular esta teoría? |
| Geometría de la información | identificabilidad paramétrica | ¿cuántos parámetros fijan realmente los datos? |
| MDL / Occam bayesiano | longitud de descripción | ¿cuánto cuesta transmitir la teoría con lo que explica? |
| Complejidad en AQFT | coste operacional interno | ¿cuán costosa es esta operación dentro de la teoría? |
| (El cubo cGħ) | constantes activas | ¿qué ingredientes físicos están encendidos? |
Geometría de la información y MDL son primas, no rivales: el término de complejidad de Rissanen es el logaritmo del volumen de Fisher. Dos lecturas del mismo objeto.
Teoría de categorías frente a esas dos: inconmensurables. Una mide lo que la teoría dice; la otra, lo que los datos fijan. Una teoría puede ser estructuralmente riquísima y estadísticamente sloppy a la vez — el grupo de renormalización da justamente eso.
La complejidad en AQFT ni siquiera compara teorías: presupone la teoría dada y mide operaciones dentro de ella.
El cubo es la más burda de todas, y la única que la mayoría de físicos conoce.
No existe un eje único de “contenido informacional” que ordene mecánica clásica → campos clásicos → relatividad general → QFT.
La jerarquía existe y es real. Pero se mide de varias maneras que no se reducen entre sí, y nadie ha unificado las medidas. Quien afirme lo contrario está usando el cubo sin leer la letra pequeña.
Todas las referencias siguientes han sido verificadas contra fuentes localizadas.
No existe artículo de divulgación tipo Quanta sobre la comparación de cantidades de estructura. Es filosofía de la física académica y no ha salido de ahí. Lo que sí hay:
Fong, B. & Spivak, D. I. — Seven Sketches in Compositionality: An Invitation to Applied Category Theory. Gratis en arXiv:1803.05316; también CUP 2019.
Siete capítulos, cada uno empareja una aplicación concreta con una estructura categórica: bases de datos, circuitos eléctricos, sistemas dinámicos. No presupone nada de teoría de categorías. Fue el texto del curso de Baez y del 18.S097 del MIT (apuntes libres en OCW).
Alternativas:
En la conversación que originó este documento cometí dos errores que aquí quedan corregidos: afirmé que el espacio de Hilbert de la QFT es no separable (es falso) y atribuí la renormalización a la no-numerabilidad del continuo espacial (no es la causa). También inventé nombres de autores para dos referencias. Toda la bibliografía de arriba ha sido verificada poster[…]