Por qué un único mapa no basta para todos los laberintos ✛ ✎

Original: "Obstructions to coarse universality for finitely generated groups"
· Robin Tucker-Drob
arXiv:2607.00963 · 2026-07-01 · arXiv non-exclusive · análisis propio · 2 min
Por más mapa que tomes, siempre habrá una red de caminos que no quepa en él.

El cartógrafo extiende una gran hoja de papel sobre la mesa. Su objetivo es que quepan en ella todas las posibles redes de caminos: autopistas rectas, laberintos enmarañados, telarañas de senderos rurales. Se permite estirar o encoger un poco las distancias, como si miráramos a través de un vidrio empañado. Pero sobre todo, cada red debe ser reconocible. Robin Tucker-Drob demostró que ese mapa universal no existe.

Todo es cuestión de números. Imagina que el mapa está cuadriculado y solo se pueden trazar líneas sobre las cuadrículas. Entonces, la cantidad de redes diferentes que el mapa puede representar es limitada. Crece más o menos como un número elevado al número de cruces (nodos). Ahora contemos cuántas redes sin lazos cerrados cortos (con cintura grande — la longitud del anillo más corto) existen en total. Resulta que su número explota mucho más rápido: crece de forma superexponencial, como si el propio número de cruces saltara al exponente. Si el cartógrafo probara al azar con la esperanza de hallar un modo adecuado de colocar la red, sus posibilidades se desvanecerían con cada nuevo cruce.

Tomemos 100 puntos y unámoslos con caminos sin anillos de menos de diez pasos. Las variantes posibles resultan ser más que átomos en todo el Universo visible. Ninguna hoja cuadriculada podría albergar semejante riqueza.

Sin embargo, los matemáticos han creado una astuta red monstruosa que engloba todas las redes obstáculo complejas, como una matrioshka. Para construirla aplicaron pequeña cancelación, un método para armar un rompecabezas gigante donde cada pieza se repite muy raramente. Además, recurrieron al marcado de caminos — señales especiales para que los trayectos largos no se repitan. Esta red monstruosa ya no cabe en ningún mapa de precisión limitada. El sueño de una imagen única se hace añicos.

La conclusión es simple: no busques una plantilla única. Cada paisaje es único. Los científicos buscan maneras de relajar las restricciones — ¿y si al final se lograra crear un mapa casi universal? El método de construcción del monstruo también servirá para sistemas dinámicos: por ejemplo, para entender cómo cambia con el tiempo la red de conexiones en un ecosistema. Y aún así, la hoja sobre la mesa del cartógrafo permanecerá incompleta para siempre.

El número de redes viales distintas con 100 puntos y sin lazos cortos supera la cantidad de átomos en el Universo observable. Para simplemente enumerarlas todas, no bastaría la memoria de todos los ordenadores del mundo.

N(s) \le A^s
el número de clases crece como máximo exponencialmente con base A, que depende de L, M y del grafo objetivo
M(s) \ge (a s)^{3s/2}
el número de tales grafos crece más rápido que una exponencial de s log s, gracias al exponente 3s/2 en el exponente
Científicos
PythagorasLeonhard EulerGeorge Gabriel Stokes
Conceptos
grupo homotopía