An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-$\mathcal{S}$ Class Obstruction

Resumen Técnico: Una Solución Asistida por IA a la Conjetura de la BAR Firmada

Planteamiento del Problema
El artículo aborda un problema fundamental abierto en la teoría de los procesos de Brownian de semimartingala reflejada (SRBM, por sus siglas en inglés) en el ortante no negativo $\mathbb{R}^d_+$. El objeto central de estudio es la Relación Adjunta Básica (BAR), una ecuación integral que caracteriza la distribución estacionaria $\pi_0$ y sus medidas de ocupación de frontera asociadas $\nu_i^0$. El problema específico es la unicidad firmada de esta caracterización: si una tupla de medidas firmadas finitas $(\bar{\pi}, \bar{\nu}_1, \dots, \bar{\nu}_d)$ satisface la ecuación BAR para todas las funciones de prueba $C^2$ acotadas, ¿debe esta tupla ser un múltiplo escalar de la tupla estacionaria única $(\pi_0, \nu_1^0, \dots, \nu_d^0)$?

Este problema ha permanecido sin resolver durante más de 35 años. Si bien la unicidad es conocida para medidas positivas, el caso firmado es más delicado porque la ecuación BAR permite cancelaciones entre términos interiores y de frontera. La pregunta, planteada originalmente por Dai y Dieker, es si el nul-espacio de medidas firmadas finitas del operador BAR es unidimensional (generado por la solución estacionaria).

Metodología y Enfoque
Los autores emplean una estrategia de dos vertientes, distinguiendo entre la clase de Harrison–Reiman (SRBM estables con una matriz de reflexión M no singular) y la clase más amplia de completamente-S (la clase natural de existencia para SRBM en ortantes).

1. Resultado Positivo (Clase Harrison–Reiman):

   • Inserción del Resolvente: El núcleo de la prueba es establecer una identidad de "inserción del resolvente". Los autores buscan demostrar que para cualquier tupla BAR firmada, la medida interior $\bar{\pi}$ satisface $\int_E (\lambda R_\lambda h - h) d\bar{\pi} = 0$ para todo $h \in C_0(E)$ y $\lambda > 0$, donde $R_\lambda$ es el resolvente probabilístico.
   • Suavizado Unilateral: Un obstáculo técnico importante es que el resolvente $g = R_\lambda h$ generalmente no es una función $C^2$ clásica en el ortante cerrado, particularmente en las esquinas, lo que impide la sustitución directa en la BAR. Los autores evitan esto construyendo un suavizado unilateral $g_\epsilon(x) = \int \rho(w) g(x + \epsilon w) dw$, donde el suavizador $\rho$ tiene soporte estrictamente dentro del ortante positivo.
   • Diferenciabilidad por Trayectorias: Para probar que los términos de frontera desaparecen cuando $\epsilon \to 0$, los autores utilizan resultados recientes de diferenciabilidad por trayectorias para difusiones reflejadas (Lipshutz y Ramanan). Demuestran que, en los puntos de frontera, las derivadas direccionales factibles del resolvente factorizan a través de una proyección tangente $L_x$ y desaparecen a lo largo de las direcciones de reflexión activas ($L_x R_i = 0$). Esto asegura que las derivadas oblicuas de las funciones de prueba suavizadas converjan a cero en el sentido de las medidas.
   • Inducción y Descomposición de Jordan: Una vez establecida la identidad del resolvente, esto implica que $\bar{\pi}$ es una medida firmada invariante. Utilizando la descomposición de Jordan y la unicidad de la probabilidad invariante, se muestra que $\bar{\pi}$ es un múltiplo escalar de $\pi_0$. Las medidas de frontera se identifican entonces mediante una inducción sobre los estratos de frontera, apoyándose en la invertibilidad de los bloques de reflexión principales no singulares.

2. Resultado Negativo (Clase Completamente-S):

   • Bloques Principales Singulares: Los autores demuestran que el supuesto de la matriz M no singular es estructural. En la clase más amplia de completamente-S, si un bloque principal propio de la matriz de reflexión es singular, la unicidad firmada falla.
   • Construcción de Contraejemplo: Construyen una tupla BAR firmada no nula con masa interior total cero. Esto implica:
     1. Crear un calibrador de frontera (boundary gauge) soportado en un estrato de menor dimensión donde el bloque singular causa que los componentes de reflexión normal activos se cancelen, dejando solo una derivada tangencial.
     2. Utilizar integración por partes para convertir esta derivada tangencial en una fuente interior centrada $\chi$ (una medida firmada con masa total cero).
     3. Aplicar una corrección de potencial cero (integrando la fuente contra el semigrupo) para generar una medida interior $\bar{\pi}$ y correcciones de frontera que cancelen el término de la fuente, produciendo una tupla BAR válida donde $\bar{\pi} \neq 0$ pero $\bar{\pi}(E) = 0$.

Contribuciones Clave y Resultados

• Resolución de la Conjetura de la BAR Firmada para Matrices M: El artículo demuestra que para datos de Harrison–Reiman estables con una matriz de reflexión M no singular, la solución de la BAR firmada es única hasta un múltiplo escalar. Esto resuelve positivamente la cuestión de Dai–Dieker en esta clase específica y estructuralmente importante.
• Obstrucción Estructural en la Clase Completamente-S: El artículo proporciona una respuesta negativa definitiva para la clase general de completamente-S. Identifica la singularidad de un bloque principal propio como el mecanismo preciso para la no unicidad, construyendo contraejemplos explícitos (incluyendo una familia de tres dimensiones de cuatro parámetros y un ejemplo racional) donde el espacio de soluciones de la BAR firmada es infinito-dimensional.
• Innovación Metodológica: La prueba introduce una novedosa técnica de "aproximación medida–Neumann" utilizando suavizado unilateral para manejar la falta de regularidad clásica de los resolventes en las esquinas. Esto evita la necesidad de fórmulas analíticas explícitas o estructuras de forma producto.
• Descubrimiento Asistido por IA: Los autores detallan explícitamente el papel de la IA (ChatGPT 5.5 Pro) en el proceso de investigación. La IA sirvió como una herramienta exploratoria y organizativa, ayudando a estructurar un esquema de prueba complejo de 150 páginas, probar expansiones de capa límite y sugerir contabilidad de estilo algebraico-homológico. Sin embargo, los autores enfatizan que todas las decisiones matemáticas, verificaciones y la prueba rigurosa final fueron realizadas y validadas por autores humanos. La IA no logró producir una prueba mediante un único prompt, lo que resalta la necesidad de la guía humana en el razonamiento matemático complejo.

Significancia y Reivindicaciones
El artículo afirma resolver un problema abierto de 35 años al delinear la frontera exacta entre la unicidad y la no unicidad para el problema de la BAR firmada. Establece que la condición de la matriz M no singular no es meramente una conveniencia técnica para la prueba, sino un requisito estructural para la unicidad; relajar esto hacia la clase general de completamente-S introduce obstrucciones que permiten espacios de soluciones firmadas de dimensión infinita.

El trabajo también sirve como un caso de estudio de la colaboración humano-IA en matemáticas. Demuestra que, si bien los modelos de IA actuales pueden asistir en la organización de argumentos complejos (como la divergencia entre las clases de Harrison–Reiman y Completamente-S), aún no pueden reemplazar la verificación humana y la construcción de pruebas rigurosas para problemas profundos y abiertos. Los autores afirman que la prueba "positiva" se descubrió a través de una colaboración extendida dirigida por humanos, donde la IA actuó como una ayuda, mientras que el contraejemplo "negativo" fue construido para delimitar el régimen donde la unicidad se mantiene.

El artículo no pretende proporcionar nuevas aplicaciones para redes de colas ni proponer futuras propuestas experimentales. Su significancia es estrictamente teórica, proporcionando una caracterización completa de las propiedades de unicidad del enfoque de la BAR para difusiones reflejadas multidimensionales y aclarando las limitaciones de extender los resultados positivos de las matrices M a la clase más amplia de completamente-S.