Double-scaled SYK from boundary metrics of planar maps

Resumen Técnico: DSSYK de escala doble a partir de métricas de mapas planares

Planteamiento del Problema
La enumeración de mapas planares con control sobre su métrica de frontera —la pseudométrica inducida en la cara exterior por la distancia de grafo del interior (bulk)— es, en general, un problema combinatorio difícil. Aunque existen resultados exactos para estadísticas de distancia específicas (por ejemplo, funciones de 2 puntos o 3 puntos geodésicas) en la esfera o el disco, controlar las distancias entre todos los pares de vértices de la frontera simultáneamente es típicamente intratable, especialmente cuando las geodésicas que las realizan se intersectan. Esta dificultad se ve agravada en modelos donde los pesos de las caras son complejos o alternan en signo.

Este trabajo aborda este problema dentro del contexto específico del modelo de Sachdev-Ye-Kitaev de escala doble (DSSYK). El DSSYK admite una formulación combinatoria mediante diagramas de cuerdas con un parámetro $q \ge 0$, interpretado como un peso de Boltzmann para los cruces de cuerdas. Se sabe que la función de partición del DSSYK coincide con el límite de $N$ grande de un modelo de matriz 1 de Hermite específico (el modelo de matriz 1 ETH), que enumera una familia especial de mapas bipartitos planares (mapas planares ETH) con pesos de cara deformados por $q$. La cuestión central es si la correspondencia entre el DSSYK y estos mapas planares se extiende más allá de la función de partición al nivel de las estadísticas métricas detalladas, específicamente relacionando el número de cruces de los diagramas de cuerdas con las distancias de grafo entre los vérticos de la frontera en los mapas.

Metodología
El artículo emplea una combinación de bijecciones combinatorias, técnicas de enumeración recursiva y la teoría de polinomios ortogonales.

1. Diagramas de Cuerdas Geodésicas: Los autores definen un mapeo $\text{Geod}(\mathfrak{m})$ de un mapa plano bipartito $\mathfrak{m}$ a un diagrama de cuerdas $\chi$. Esto se logra analizando el diagrama de Voronoi de las esquinas en la cara exterior de $\mathfrak{m}$ con respecto a la distancia de grafo. El diagrama de cuerdas resultante $\chi$ codifica la pseudométrica de frontera $d_\mathfrak{m}$ tal que $d_\mathfrak{m} = d_\chi$, donde $d_\chi(a,b)$ es el número de cuerdas que cruzan el intervalo entre $a$ y $b$.
2. Operaciones de Atajo (Shortcutting): Para relacionar mapas de diferentes perímetros, los autores introducen una operación de "atajo" en los diagramas de cuerdas, denotada como $\text{Short}_{n,p}$. Esta operación corresponde a añadir una arista a través de la cara exterior de un mapa plano, lo que actúa como un atajo para la métrica de frontera. El artículo clasifica todos los diagramas de cuerdas $\chi'$ que mapean a un $\chi$ específico bajo esta operación.
3. Ecuaciones de Tutte Refinadas: La enumeración de los mapas es gobernada por las ecuaciones de Tutte (ecuaciones de bucle). Los autores derivan versiones refinadas de estas ecuaciones para las "funciones de disco geodésicas" $F(t; \chi)$, que suman los pesos de todos los mapas con un diagrama de cuerdas geodésicas fijo $\chi$.
4. Polinomios Ortogonales y $q$-Combinatoria: La demostración se apoya fuertemente en las propiedades de la secuencia de pesos específica $t(q)$ asociada con el DSSYK. Los autores utilizan la ortogonalidad de los polinomios $q$-Hermite renormalizados y las propiedades combinatorias de los números $q$-Stirling (de primera y segunda clase). Un paso clave consiste en mostrar que la ecuación de Tutte refinada, cuando se aplica a los pesos específicos del modelo ETH, se reduce a una identidad que involucra la ortogonalidad de estos polinomios, lo que conduce a cancelaciones masivas.

Contribuciones Clave y Resultados

• Teorema 1 (Resultado Principal): Para el modelo de mapa plano ETH con pesos $t(q)$ derivados del potencial DSSYK, la función de disco geodésica $F(t(q); \chi)$ depende únicamente del número de cruces $i(\chi)$ del diagrama de cuerdas:
  $$F(t(q); \chi) = q^{i(\chi)}$$
  Esta identidad se sostiene como una serie de potencias formal en $q$.
• Correspondencia Refinada: Este resultado proporciona un refinamiento significativo de la igualdad conocida entre la función de partición del DSSYK y la función de partición del mapa plano ETH. Establece que los momentos conjuntos de las observables de la pseudométrica (distancias de grafo entre puntos arbitrarios de la frontera) coinciden exactamente con las estadísticas del número de cruces en el modelo de diagramas de cuerdas del DSSYK. Específicamente, para cualquier función $f$ de las distancias:
  $$\sum_{\mathfrak{m} \in M_{2n}} f(d_\mathfrak{m}(\dots)) w_{t(q)}(\mathfrak{m}) = \sum_{\chi \in C_{2n}} f(d_\chi(\dots)) q^{i(\chi)}$$
• Interpretación Probabilística (Corolario 2): Los autores analizan la convergencia de estas series para $q$ real. Demuestran que para un $q$ suficientemente pequeño ($q \lesssim 0.042$), los valores absolutos de los pesos forman una secuencia admisible, lo que permite una interpretación probabilística involucrando mapas de Boltzmann. En este régimen, la diferencia entre las probabilidades de conteos de vértices pares e impares en mapas con un diagrama de cuerdas geodésica fijo $\chi$ es proporcional a $q^{i(\chi)}$.
• Enumeración de Diagramas de Cuerdas: La demostración introduce una nueva enumeración refinada de diagramas de cuerdas (Proposición 8) que involucra segmentos "fuertemente geodésicos", lo cual se conecta con los números $q$-Stirling de segunda clase.

Significancia y Reivindicaciones
El artículo afirma que este trabajo proporciona el primer ejemplo de control enumerativo sobre mapas planares que involucra muchos cruces de geodésicas simultáneamente. Mientras que los resultados exactos previos para distancias de grafo en mapas planares se limitaban a geodésicas no cruzadas (por ejemplo, funciones de 2 puntos o 3 puntos), este resultado demuestra que, para el modelo ETH específico, la compleja geometría de las geodésicas que se intersectan es capturada exactamente por el simple número de cruces de un diagrama de cuerdas.

Los autores señalan que esta correspondencia elucida la discreción de las longitudes geodésicas del interior (bulk) en el dual holográfico del DSSYK, identificándolas directamente con las distancias de grafo en el mapa plano. Expresan explícitamente que el resultado es a priori no probabilístico debido a los signos alternantes de los pesos, aunque existe una interpretación probabilística en un régimen restringido de $q$ pequeño. El artículo concluye planteando preguntas abiertas sobre el límite $q \to 1$ (conexión con la gravedad de JT y volúmenes de Weil-Petersson) y la extensión de estos resultados a superficies de mayor género, pero no afirma haber resuelto estas extensiones.