Resumen Técnico: Determinación en Teorías de Estructura

1. Planteamiento del Problema

El artículo aborda el problema formal de la canonicalización dentro de las teorías de estructuras plurales, motivado específicamente por los fallos en los sistemas de razonamiento y toma de decisiones asistidos por Modelos de Lenguaje de Gran Escala (LLM). En estos sistemas, un modelo de lenguaje propone interpretaciones candidatas mientras que una teoría de estructura simbólica define el conjunto de interpretaciones admisibles.

El problema central es la alucinación, definida aquí como "canonicalización no sustentada": el sistema emite una respuesta determinada cuando el conjunto subyacente de interpretaciones admisibles no ha colapsado a un singleton (elemento único). El artículo plantea: ¿Bajo qué condiciones estructurales está licenciada una teoría de estructura para producir una interpretación única?

La mayoría de los marcos de estructuras de mercado (y, por extensión, muchas teorías formales) son no deterministas, permitiendo la coexistencia de múltiples interpretaciones válidas en una misma posición. El artículo busca formalizar las condiciones estructurales suficientes bajo las cuales se puede construir una lectura canónica y clasificar los mecanismos mediante los cuales esto ocurre.

2. Metodología y Marco de Trabajo

2.1 Teorías de Estructura

El autor formaliza una Teoría de Estructura como una terna $T = (\Sigma, A, I)$, donde:

• $\Sigma$ es una firma.
• $A$ es un conjunto de axiomas.
• $I = I_{core} \cup I_{ext}$ es una política de inferencia (el artículo se centra en $I_{core}$).

La teoría opera sobre entradas $(N, \Theta, \Pi)$ que representan realizaciones de mercado, parámetros y evidencia estructural. La familia de interpretaciones admisibles $P_T$ es el conjunto de todas las asignaciones consistentes con los axiomas $A$ y la política de inferencia.

Restricciones sobre $I_{core}$:
La política de inferencia está restringida a la inferencia positiva y no retractiva:

• (R1) Forma de Regla Positiva: Las reglas solo añaden conclusiones; ninguna elimina las existentes.
• (R2) Sin Negación por Fallo: Los premisas son conjunciones positivas; ninguna regla depende de la ausencia de un predicado derivado.
• (R3) Sin Retracción: Ninguna regla retira conclusiones previamente derivadas.

2.2 Taxonomía de la No Determinación

El artículo clasifica la no determinación en dos tipos basados en cómo se comporta la pluralidad bajo el refinamiento de la evidencia:

• Tipo E (Pluralidad Epistémica): La pluralidad desaparece a medida que la evidencia se refina. Si $|P_T| > 1$, existe un conjunto de evidencia refinada $\Pi'$ tal que $|P_T(\Pi')| = 1$. (Ejemplo: teoría ICT).
• Tipo S (Pluralidad Estructural): La pluralidad persiste incluso con evidencia máxima ($\Pi_{full}$).
  • Tipo S-fuerte: Una subclase del Tipo S donde las distintas interpretaciones admisibles en $\Pi_{full}$ no tienen un límite superior común bajo el orden de especificación $\preceq_{spec}$. (Ejemplo: teoría de Wyckoff).

2.3 Fortalezas de la Canonicalización

El marco distingue tres niveles de canonicalización:

1. Estabilización de Cierre (Propiedad 4'): Cada semilla admisible converge bajo un operador hacia algún punto fijo (dependiente de la semilla).
2. Completitud Global (Propiedad 4): Todas las semillas convergen hacia un único punto fijo.
3. Determinación (AC-6): El punto fijo único es la única interpretación admisible.

3. Contribuciones Clave y Resultados

3.1 Mecanismos Duales para la Canonicalización

El artículo establece que la canonicalización no es un proceso monotónico de la teoría de operadores, sino que se divide en dos formas fundamentalmente diferentes:

• Completitud Basada en Operadores (Tipo E):

  • Aplicable a teorías de Tipo E.
  • Utiliza un operador de completitud ($D_{comp}$) que añade conclusiones iterativamente hasta alcanzar un punto fijo.
  • Requiere: Cierre, comparabilidad (N4-comp) y extensión compatible (C5-E).
  • Resultado: Establece la Estabilización de Cierre (4'). Lograr la Completitud Global (4) o AC-6 requiere un resultado de confluencia global adicional (Pregunta Abierta OQ-GC-1 para ICT).

• Construcción Basada en Selectores (Tipo S-fuerte):

  • Aplicable a teorías de Tipo S-fuerte.
  • Utiliza un selector canónico ($\phi$) que elige un elemento único de conjuntos locales basándose en un orden intrínseco de la teoría.
  • Requiere: Comparabilidad intrínseca de la teoría (N4-sel) y compatibilidad global de las elecciones seleccionadas (C5-S).
  • Resultado: Logra directamente AC-6.
  • Resultado de Imposibilidad: Para teorías de Tipo S-fuerte, la Completitud Global (Propiedad 4) mediante un operador extensivo es demostrablemente imposible porque las interpretaciones incomparables carecen de un límite superior común.

3.2 Lema de Construcción (Teorema 6b)

El artículo proporciona un lema de construcción que establece las condiciones suficientes para la existencia de estos mecanismos:

• Rama de Completitud: $N0 + N3 + N4\text{-comp} + C5\text{-E} \implies D_{comp}$ existe con fuerza (4').
• Rama de Selección: $N0 + N1 + N4\text{-sel} + C5\text{-S} \implies PhaseClassify$ existe en AC-6.

Un hallazgo crítico es que la comparabilidad intrínseca de la teoría (N4) es necesaria. Un contraejemplo mínimo ($T_{ce}$) demuestra que el cierre por sí solo (sin comparabilidad) es insuficiente para la canonicalización.

3.3 Clasificación de Mecanismos (Teorema U3)

Condicionado a un supuesto de cobertura de realización (OQ-Realization), el artículo clasifica cada mecanismo intrínseco de la teoría realizado dentro de una gramática específica en:

• Clase C (Completitud): Realizado mediante el cierre saturado de reglas elementales (3a) o cierre saturado guardado (3c). Estos satisfacen las propiedades (1)–(4').
• Clase S (Selección): Realizado mediante selección inducida por axiomas (3b).

Distinción Crítica sobre la Monotonicidad:

• Los mecanismos puramente computables por $I_{core}$ (Clase C, 3a) son monótonos bajo el orden de especificación $\preceq_{spec}$ (Lema C).
• Los mecanismos guardados (Clase C, 3c) son genéricamente no monótonos. Añadir un predicado puede activar una guarda que suprima una derivación, bloqueando una conclusión que habría disparado en un estado menor. El artículo proporciona un testigo concreto ($D_{comp}^{HTF}$) donde la monotonicidad falla.

3.4 Operadores de Multi-Timeframe y Escalonados

El artículo extiende el marco a jerarquías de múltiples marcos temporales (multi-timeframe) utilizando un operador escalonado $D_{comp}^{HTF} = D_L \circ D_H$.

• No Conmutatividad: El artículo demuestra que la completitud escalonada es estructuralmente no conmutativa. Específicamente, para la arquitectura bruta de dos operadores, el orden $D_L \circ D_H$ (aplicar $D_H$ [HTF] primero, luego $D_L$ [LTF]) es la única linealización que preserva la admisibilidad. El orden inverso puede producir estados inadmisibles.
• Fase 2 (Multi-Operador): El artículo resume las condiciones de existencia para la canonicalización de múltiples operadores, definiendo una "brecha de seguridad" $\Phi^*$. La factibilidad es equivalente a $\Phi^* = 0$. Establece una jerarquía de condiciones de compatibilidad: $GCC \implies RUCS \implies PLCS$.

3.5 Estructura Categórica

El artículo define la Determinación como un pseudofunctor parcial ($Det$) que mapea pares de teorías y estructuras de comparabilidad a sus extensiones canónicas. Esto proporciona una plantilla categórica para teorías recursivas (ej. Elliott Wave).

4. Significado y Reivindicaciones

El artículo afirma proporcionar un marco unificado para entender cuándo y cómo las teorías estructurales pueden hacerse deterministas, distinguiendo entre:

1. Incertidumbre epistémica (resoluble mediante la acumulación de evidencia vía completitud).
2. Incomparabilidad estructural (que requiere un mecanismo de selección).

Reivindicaciones Modestas y Preguntas Abiertas:

• El artículo no establece que ICT (Tipo E) logre la determinación AC-6; solo establece la Estabilización de Cierre (4'). La completitud global para ICT sigue siendo una pregunta abierta (OQ-GC-1).
• La clasificación de mecanismos (Teorema U3) es condicional al supuesto de que todos los mecanismos intrínsecos de la teoría caen dentro de la gramática (3a)/(3b)/(3c) (OQ-Realization).
• La inferencia "Tipo S $\to$ Selección" se prueba solo para teorías de Tipo S-fuerte. El caso genérico de Tipo S permanece abierto (OQ-TypeS-Imp).
• El resultado de no conmutatividad está limitado a la "arquitectura bruta de dos operadores escalonados"; no se excluyen otras arquitecturas con operadores de reparación o puntos fijos conjuntos.

Conclusión:
La contribución principal es la separación formal de la canonicalización basada en cierre y la basada en selección, la identificación de la no monotonicidad en sistemas guardados, y la definición rigurosa de las condiciones estructurales (N4, C5) requeridas para licenciar una salida única. Este marco ofrece una base formal para diagnosticar la "alucinación" en sistemas asistidos por LLM como la emisión de una respuesta determinada cuando el conjunto admisible subyacente no ha colapsado a un elemento único.