Resumen Técnico: Recuperación Exacta de Trayectorias Ocultas en Espacios de Trayectorias de Alta Dimensión Ruidosos

1. Definición del Problema

El artículo introduce el Problema de Recuperación Exacta de Trayectorias Ocultas Ruidosas, un problema inverso matemático situado en espacios de trayectorias discretas de alta dimensión. A diferencia de las aplicaciones físicas estándar de integrales de trayectoria (por ejemplo, integrales de trayectoria de Feynman), que buscan estimar amplitudes globales, comportamientos macroscópicos dominantes o funciones de partición mediante aproximaciones de punto de silla o variacionales, este trabajo se centra en la recuperación exacta de una única trayectoria microscópica oculta.

El objeto central es una trayectoria oculta $\gamma^\star = (x_0, x_1, \dots, x_T)$ donde $x_i \in \mathbb{Z}_q^n$. La trayectoria evoluciona según un modelo de transición:
$$x_{i+1} = x_i + \Delta_i + \varepsilon_i + \eta_i \pmod q$$
donde:

• $\Delta_i \in D$ representa un incremento macro (trayectoria gruesa).
• $\varepsilon_i \in E$ representa una perturbación micro (desviación de grano fino).
• $\eta_i$ representa ruido interno, a menudo modelado como una distribución gaussiana discreta.

Los datos públicos no son la trayectoria en sí, ni un resumen hash corto, sino un gran vector de observables $Y = \Phi(\gamma, \varepsilon, \eta)$. Estos observables pueden involucrar proyecciones, sumas agregadas, cuantización, transformaciones no lineales y mapas de observación aleatorizados. El objetivo es reconstruir el objeto microscópico exacto $X^\star = (x_0, \Delta, \varepsilon, \eta)$ a partir de $Y$ y los parámetros públicos.

Se establece una distinción crítica entre la reconstrucción aproximada (recuperar una trayectoria cercana en distancia métrica) y la recuperación exacta (recuperar la secuencia precisa de estados y perturbaciones). En este entorno discreto, una única perturbación micro incorrecta invalida una solución aproximada.

2. Metodología y Marco de Trabajo

El artículo formaliza el problema utilizando aritmética de campos finitos y conteo combinatorio, evitando afirmaciones sobre dinámica cuántica mientras utiliza conceptos de integrales de trayectoria como inspiración estructural.

2.1 Formalismo Matemático

• Espacio de Estados: Definido sobre $\mathbb{Z}_q^n$ (o $\mathbb{F}_q^n$ si $q$ es primo).
• Espacio de Trayectorias: El conjunto de todas las secuencias $\Omega_{n,T,q}$ tiene cardinalidad $q^{n(T+1)}$.
• Mapa de Observación: Una función $\Phi: \mathcal{X} \to \mathcal{Y}$ mapea un objeto microscópico a un vector observable. La "fibra" $\Phi^{-1}(Y)$ contiene todos los objetos consistentes con la observación.
• Identificabilidad: El artículo establece que la recuperación exacta es posible teóricamente de la información si y solo si $\Phi$ es inyectiva en el soporte de generación. Si las fibras son grandes, la recuperación exacta es imposible sin información adicional, independientemente de la potencia computacional.

2.2 El Principio de "Sin Resumen Corto"

Una contribución metodológica central es el argumento de que el vector observable público $Y$ debe ser grande. Comprimir el espacio de trayectorias en un resumen corto (por ejemplo, un hash de 256 bits) colapsa el problema inverso en una búsqueda de preimagen dominada por la entropía del resumen en lugar de la estructura de la trayectoria. El artículo argumenta que, para estudios de recuperación exacta, la clave pública debe ser un vector estructurado de alta dimensión que preserve suficiente información para definir un problema inverso significativo sin colapsar el espacio de búsqueda.

2.3 Taxonomía de Ataques y Mitigación

El artículo cataloga sistemáticamente los ataques potenciales y las debilidades estructurales, tratando el marco como un candidato para la criptografía post-cuántica, pero evitando explícitamente afirmaciones sobre un sistema desplegado. Los vectores de ataque clave identificados incluyen:

• Linealización: Reducir el problema a eliminación gaussiana si los observables son afines.
• Reducción de Retículos: Explotar estructuras lineales aproximadas con ruido pequeño (similar a LWE).
• Programación Dinámica: Resolver la trayectoria si los observables se descomponen localmente en el tiempo con espacios de estados pequeños.
• Encontrarse en el Medio: Explotar la separabilidad de la trayectoria en mitades independientes.
• Resolución SAT/SMT: Codificar el problema como un problema de satisfacción de restricciones.
• Aproximación/Redondeo: Utilizar métodos de punto de silla o gradiente para encontrar una trayectoria gruesa y redondearla a un testigo exacto.
• Fuga Estadística: Correlaciones a través de múltiples instancias que revelan el generador.

Los principios de mitigación implican garantizar la no linealidad antes de la agregación, añadir acoplamientos globales de tiempo, utilizar cuantización para destruir la continuidad y mantener una alta entropía en las distribuciones de ruido y perturbación.

3. Contribuciones Clave

El artículo realiza las siguientes contribuciones específicas:

1. Formulación del Problema: Define el Problema de Recuperación Exacta de Trayectorias Ocultas Ruidosas como un problema inverso distinto que separa la exactitud microscópica de la aproximación macroscópica.
2. Límites de Información: Demuestra límites elementales que muestran que la dificultad efectiva de recuperación está limitada por el contenido de información de los observables. Demuestra que los espacios de trayectorias grandes no pueden comprimirse en resúmenes cortos si el objetivo es la recuperación exacta.
3. Jerarquía de Recuperación: Establece una jerarquía de nociones de recuperación (descriptor grueso $\to$ aproximado $\to$ recuperación de fibra $\to$ estado exacto $\to$ microscópico exacto) y demuestra que las aproximaciones no implican recuperación exacta.
4. Suposición Criptográfica: Propone la Suposición Unidireccional de Recuperación Exacta de Trayectorias Ocultas Ruidosas, definiendo un juego de búsqueda donde un adversario debe recuperar un testigo plantado a partir de un gran vector observable.
5. Análisis Estructural: Identifica riesgos específicos de fuga estructural (sumas telescópicas, fuga lineal, sistemas sobredeterminados/subdeterminados) y proporciona una matriz de mitigación.
6. Hoja de Ruta de Investigación: Esboza un camino conservador desde la relación matemática hasta primitivas futuras, declarando explícitamente que no se define actualmente ningún esquema de cifrado completo ni Mecanismo de Encapsulamiento de Claves (KEM).

4. Resultados y Hallazgos

• Estimaciones de Conteo: El artículo proporciona conteos exactos para historias de trayectorias. Para un factor de ramificación $b$, tamaño de perturbación micro $r$ y soporte de ruido $s$, el número de historias microscópicas es $(brs)^T$. Incluso con parámetros moderados (por ejemplo, $b=256, r=256, T=256$), el espacio de búsqueda supera $2^{4000}$, haciendo inviable la enumeración exhaustiva, aunque esto no descarta ataques estructurales.
• Ambigüedad de Proyección: El Teorema 4.2 demuestra que proyectar una trayectoria desde la dimensión $n$ a $k$ crea una ambigüedad de $q^{(n-k)(T+1)}$ trayectorias para una única trayectoria proyectada.
• Cuantización y Ruido: El artículo analiza cómo la cuantización fusiona objetos distintos en la misma cesta observable y cómo el ruido gaussiano interno aumenta la ambigüedad microscópica, separando la reconstrucción gruesa de la recuperación exacta.
• Aplicación de la Desigualdad de Fano: El artículo aplica la desigualdad de Fano para demostrar que una alta entropía condicional (fibras grandes) impone un límite inferior a la probabilidad de error de cualquier regla de recuperación, incluso aquellas ilimitadas.

5. Significado y Afirmaciones

El artículo es modesto en sus afirmaciones. No propone un sistema criptográfico desplegable, un esquema de firma ni un KEM. Su significado radica en:

• Definir un Problema Difícil Candidato: Aísla una relación matemática precisa (Recuperación Exacta de Trayectorias Ocultas Ruidosas) que es distinta de los problemas estándar de retículos o codificación, motivada por la separación entre aproximación y exactitud.
• Clarificar el Papel de los Observables: Cuestiona la convención criptográfica de utilizar resúmenes cortos para claves públicas cuando la dificultad subyacente depende de la estructura de un espacio de trayectorias grande.
• Proporcionar un Marco de Investigación: Ofrece una lista de verificación rigurosa para futuras implementaciones, incluyendo pruebas específicas para linealización, programación dinámica y fuga estadística.
• Relevancia Post-Cuántica: Sugiere una dirección para la criptografía post-cuántica donde el algoritmo de Shor (que depende de estructuras de subgrupos ocultos en grupos abelianos) podría no aplicarse directamente, siempre que la familia de observables evite simetrías de grupos ocultos.

Los autores concluyen que el marco sirve como base para la investigación matemática y criptográfica. La siguiente etapa requiere construir familias de observables concretas, analizar sus fibras y probar empíricamente si existen regímenes donde la aproximación gruesa sea factible pero la recuperación microscópica exacta permanezca computacionalmente difícil. Hasta que se recopile dicha evidencia, la propuesta permanece como una relación candidata, no como una primitiva segura.