Finite-Window Computational Anti-Phantom Theorems for Scale-Critical Navier-Stokes Defects

Resumen Técnico: Teoremas de Anti-Fantasma Computacionales de Ventana Finitas para Defectos de Navier–Stokes de Escala Crítica

Planteamiento del Problema
El artículo aborda la obstrucción de regularidad local para las ecuaciones de Navier–Stokes incompresibles tridimensionales. El problema central es identificar si un "mecanismo singular" puede persistir a través de una secuencia de escalas evadiendo las observaciones estándar (presión, flujo, energía, disipación) y los términos de registro que típicamente exponen los defectos. Específicamente, el trabajo investiga si un defecto no relacionado con el gauge puede permanecer "invisible" para los detectores de ventana finita, ser exactamente reproducible a través de las escalas y libre de impuestos (sin costo en términos de disipación o holgura de registro). El artículo distingue entre una obstrucción algebraica "limpia" (tras realizar el cociente de los gauges especificados) y una obstrucción "localizada" orientada a la EDP (transfiriendo el hueco limpio de vuelta a los paquetes físicos de Navier–Stokes).

Metodología
El artículo emplea un marco algebraico riguroso de ventana finita, evitando afirmaciones uniformes de escala o pruebas directas de existencia de la EDP. La metodología procede en cuatro capas:

1. Configuración de Ventana Finita Limpia: Los autores definen un espacio de defecto limpio restringido $K^{cl}_\Lambda$ sobre una ventana diadica fija $\Lambda$. Introducen un subespacio de gauge $\Gamma^{cl}_\Lambda$ (que representa direcciones eliminables como medias de presión o artefactos armónicos) y un espacio cociente $Q^{cl}_\Lambda = K^{cl}_\Lambda / \Gamma^{cl}_\Lambda$.
2. Construcción del Detector: Se construye un detector computacional que comprende tres componentes:
   • Observación: Mapas lineales para presión, flujo, energía y traza.
   • Residual de Reproducción: Una medida de compatibilidad entre escalas adyacentes mediante mapas de reproducción fijos.
   • Funcional de Impuesto: Un costo abstracto asignado a la disipación o a la holgura de registro.
     El detector debe ser compatible con el gauge (constante en las clases de equivalencia del gauge).
3. Argumento de Compacidad: Utilizando la finitud de la dimensión del espacio cociente, el artículo aplica la compacidad a la esfera unidad de $Q^{cl}_\Lambda$. Establece que si el detector no tiene un núcleo no nulo módulo el gauge (es decir, si no existen defectos "fantasma"), entonces el detector debe controlar la distancia del cociente mediante una constante positiva.
4. Transferencia Localizada Condicional: El artículo construye un marco condicional para transferir el "hueco limpio" a los paquetes localizados de Navier–Stokes. Esto implica:
   • Definir una distancia de cociente localizada mejorada que incluye explícitamente los residuales de fuente de presión (conmutadores de corte, desajustes de fuentes activas, colas de proyección y colas armónicas).
   • Descomponer la transferencia en sub-presupuestos: desajuste de carta, fuga de localización, deriva de reproducción y desajuste de puerta/impuesto.
   • Formular teoremas de comparación condicionales que relacionan la geometría de la cola mejorada con la geometría intrínseca original, supeditado a supuestos de aproximación específicos.

Contribuciones Clave

• Teorema de Anti-Fantasma Computacional Limpio: El artículo demuestra que, en un cociente limpio fijo, si el único defecto que es simultáneamente invisible, exactamente reproducible y libre de impuestos es un artefacto de gauge, entonces el detector controla la distancia del cociente mediante una constante de brecha de ventana finita positiva ($\mu^{comp}_\Lambda > 0$). Esta es una desigualdad de anti-fantasma cuantitativa derivada de la compacidad de dimensión finita.
• Interpretación de Sector de Estado Finito: Los autores descomponen el detector en seis sectores (presión, flujo, energía, traza, fallo de reproducción, impuesto). Demuestran que cualquier defecto que no sea de gauge debe manifestarse en al menos uno de estos sectores, proporcionando una alternativa de estado finito para detectar obstrucciones.
• Marco de Transferencia Localizada Condicional: El artículo aísla los inputs estructurales específicos requeridos para transferir el hueco limpio a un entorno localizado. Introduce una geometría de cola mejorada que incorpora la observabilidad de la fuente de presión y los componentes de la cola (proyección y armónica).
• Descomposición del Presupuesto Residual: El trabajo separa explícitamente las estimaciones "orientadas a la EDP" de la estructura algebraica. Identifica cuatro sub-presupuestos residuales explícitos (carta, localización, reproducción, puerta/impuesto) y proporciona una descomposición de los supuestos de transferencia en estos componentes menores y nombrados.
• Comparación de Geometría Condicional: El artículo proporciona un teorema condicional que muestra que la distancia de la cola mejorada es comparable a la distancia intrínseca original, siempre que las colas de proyección y armónica puedan controlarse sobre un representante común con errores aditivos explícitos.

Resultados

• Teorema 5.4: Establece la desigualdad de anti-fantasma cuantitativa: $\|O^{cl}_\Lambda d\| + C_R \text{Rep}^{cl}_\Lambda(d) + C_T \text{Tax}^{cl}_\Lambda(d) \geq \mu^{comp}_\Lambda \text{dist}^{cl}(d, \Gamma^{cl}_\Lambda)$.
• Corolario 7.4: Registra la transferencia localizada condicional: si las hipótesis de comparación local-a-limpio y de presupuesto residual se cumplen, el detector localizado controla la distancia del cociente localizado con pérdidas aditivas explícitas.
• Teorema 9.92 y Corolario 9.99: Establecen la transferencia de la cola mejorada localizada condicional y su descomposición en sub-afirmaciones (visibilidad de la carta, presupuestos residuales).
• Teorema 9.145: Proporciona una comparación condicional entre la geometría de la cola mejorada y la geometría intrínseca original, dependiente de los errores de aproximación de la cola ($\Delta_{proj, N}, \Delta_{harm, M}$).

Significancia y Reivindicaciones
El artículo enmarca explícitamente su contribución como un marco de obstrucción de ventana finita riguroso, no como una prueba de la regularidad de Navier–Stokes, una construcción de una solución singular o un criterio uniforme de escala.

• Modestia de las Reivindicaciones: Los autores declaran que el artículo no prueba los inputs condicionales (por ejemplo, la observabilidad de la fuente de presión, la decaimiento de la cola o la coercitividad de los funcionales de impuesto). Estos siguen siendo problemas abiertos de la EDP.
• Valor Estructural: La significancia reside en separar la "álgebra de ventana finita" (que está probada) de las "estimaciones de compatibilidad orientadas a la EDP" (que permanecen abiertas). Transforma la cuestión de los defectos persistentes en un problema de contabilidad explícito, categorizando los modos de fallo potenciales en sectores del detector, errores de cola de presión y presupuestos residuales localizados.
• Sin Indecidibilidad: El artículo aclara que no afirma la indecidibilidad, la computación universal o que las singularidades sean computadoras. La interpretación de "estado finito" es una herramienta de registro para el teorema de dimensión finita, no una afirmación sobre la dinámica de la propia EDP.
• Trabajo Futuro: El artículo identifica los siguientes pasos como la demostración de los inputs condicionales (por ejemplo, la aproximación de la cola sobre representantes comunes) y el desarrollo de cotas inferiores coercitivas para sectores concretos del detector para excluir escenarios específicos de defectos persistentes.

En resumen, el artículo proporciona una reducción algebraica precisa de la obstrucción de regularidad local, aislando exactamente dónde reside la dificultad (en las estimaciones de la EDP necesarias para satisfacer los supuestos de transferencia condicional) mientras demuestra rigurosamente las consecuencias de dimensión finita de dichos supuestos.