Duality theory and representations for distributive quasi relation algebras and DInFL-algebras

Resumen Técnico: Dualidad y Representaciones para Álgebras de Cuasi Relación Distributivas y Álgebras DInFL

Planteamiento del Problema
El artículo aborda la teoría algebraica de las relaciones binarias, centrándose específicamente en generalizaciones de los álgebras de relaciones que debilitan la negación booleana clásica. Mientras que los álgebras de relaciones dependen de la complementación clásica, los autores investigan los álgebras de cuasi relación distributivas (DqRAs) y los álgebras de Lambek completas involutivas distributivas (DInFL-algebras). Estas estructuras carecen de operaciones unarias individuales para la complementación y la reversa, utilizando en su lugar negaciones lineales ($\sim$ y $-$) y una negación de De Morgan ($\neg$). Los desafíos centrales abordados son:

1. Establecer una teoría de dualidad robusta para estos álgebras, particularmente para el caso completo perfecto, análogamente a las estructuras de átomos utilizadas para los álgebras de relaciones finitas.
2. Extender esta dualidad a todos los álgebras (no solo a las completas perfectas) utilizando métodos topológicos.
3. Determinar la representabilidad de estos álgebras como álgebras de relaciones de conjuntos, identificando específicamente qué álgebras finitas pueden incrustarse en álgebras concretas de relaciones.

Metodología
Los autores emplean un enfoque multifacético que combina la lógica algebraica, la teoría del orden y la topología:

• Construcción de Marcos (Frames): El artículo define marcos DInFL y marcos DqRA. Estos son conjuntos parcialmente ordenados equipados con una operación de conjunto binaria (que representa la composición), un conjunto de identidad distinguido y funciones unarias que representan las negaciones lineales. Para los DqRAs, se incluye una operación unaria adicional ($\neg$). Estos marcos son análogos a los marcos de Routley–Meyer en la lógica de relevancia, pero adaptados para álgebras FL involutivas.
• Dualidad para Álgebras Completas Perfectas: Utilizando la teoría de los elementos completamente irreducibles por la unión ($J_\infty$) y los elementos completamente irreducibles por la intersección ($M_\infty$), los autores construyen dualidades entre los DInFL/DqRAs completos perfectos y sus marcos correspondientes. Demuestran que todo álgebra completa perfecta es isomórfica al álgebra compleja de su marco de irreducibles por la unión, y viceversa.
• Morfismos: El artículo define morfismos para estos marcos y establece una dualidad entre los morfismos de marcos y los homomorfismos completos de los álgebras.
• Extensión de la Dualidad de Priestley: Para manejar álgebras que no son necesariamente completas o perfectas, los autores extienden el marco a espacios de Priestley doblemente señalados. Estos son espacios topológicos compactos y totalmente desordenados (totally order-disconnected) con límites ($\bot, \top$). Los espacios duales utilizan el conjunto de "filtros primos generalizados" (incluyendo el conjunto vacío y el álgebra completa) para acomodar álgebras no acotadas.
• Análisis de Representabilidad: Los autores utilizan una construcción que involucra relaciones de equivalencia parcialmente ordenadas, automorfismos de orden ($\alpha$) y automorfismos de orden duales ($\beta$) para definir representaciones concretas. Analizan la representabilidad de los álgebras finitos mediante:
  • El cálculo del número de álgebras no isomórficos hasta el tamaño 8 usando Prover9/Mace4.
  • La verificación de estos conteos mediante la enumeración de los marcos correspondientes.
  • La investigación de los subreductos DqRA de álgebras de relaciones conocidas (específicamente los 37 álgebras de relaciones integrales no simétricas de tamaño 16).
  • La aplicación de teoremas conocidos sobre la representabilidad finita (por ejemplo, condiciones bajo las cuales un álgebra no puede ser finitamente representable).

Contribuciones Clave y Resultados

1. Dualidades:

   • El artículo proporciona una dualidad completa para los álgebras de cuasi relación distributivas completas perfectas y los álgebras de Lambek completas involutivas distributivas completas perfectas a través de sus respectivos marcos.
   • Extiende esta dualidad a todos los DInFL-algebras y DqRAs utilizando espacios de Priestley doblemente señalados, generalizando efectivamente la dualidad a estructuras no acotadas.
   • Los autores definen morfismos para estos marcos y prueban que son duales a los homomorfismos completos de los álgebras.

2. Propiedades Estructurales:

   • El artículo clarifica la relación entre los qRAs y los álgebras InFL conmutativas, mostrando que las álgebras InFL conmutativas son álgebras de cuasi relación.
   • Prueban que la identidad $\neg \sim a = - \neg a$ (previamente un axioma explícito en algunas definiciones) es implicada por la definición estándar de los qRAs.
   • Establecen que los álgebras de relaciones simétricas producen subreductos que son, en sí mismos, álgebras de relaciones, lo que implica que los DqRAs que no son de relación deben surgir de álgebras de relación no simétricas.

3. Enumeración y Clasificación:

   • Los autores proporcionan un catálogo detallado de DInFL-algebras y DqRAs hasta la cardinalidad 6 (con conteos hasta 8).
   • Identifican los marcos duales para estos álgebras, vinculándolos a estructuras de conjuntos parcialmente ordenados específicas (por ejemplo, $1+1+2$, $2 \times 2$, $2 \times 3$).
   • La Tabla 1 presenta todos los marcos para álgebras no triviales hasta el tamaño cuatro.

4. Hallazgos de Representabilidad:

   • El artículo cataloga el estatus de representabilidad de los álgebras finitos hasta el tamaño 6.
   • Identifica que muchos álgebras pequeños (por ejemplo, $D^3_{1,1}$, $D^4_{1,1}$, $D^4_{1,2}$) no tienen una representación conocida. Para algunos, se demuestra que si existe una representación, esta debe ser infinita.
   • Los autores analizan los subreductos DqRA de los 37 álgebras de relaciones no simétricas de tamaño 16. Determinan que 20 de estos subreductos son representables (derivados de álgebras de relaciones representables), mientras que el estatus de otros (como el subreduct de la álgebra 1437 no representable de McKenzie) permanece abierto o se muestra como no representable como un álgebra de relación debilitada.
   • El artículo señala que el DInFL-algebra no cíclico más pequeño (7 elementos) tiene un marco dual con estructura de poset $\triangleright \triangleleft$, y actualmente no se conoce ninguna representación para él.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco fundacional para el estudio de las álgebras de cuasi relación distributivas y los DInFL-algebras a través de la dualidad. Al establecer la conexión entre estos álgebras y los marcos parcialmente ordenados (y sus extensiones topológicas), los autores ofrecen herramientas para:

• Procedimientos de Decisión: El enfoque basado en marcos facilita los procedimientos de decisión (por ejemplo, vía métodos de tablas/tableaux) para las teorías ecuacionales de estos álgebras.
• Pruebas de Representabilidad: La dualidad permite la investigación de la representabilidad mediante "enfoques basados en juegos" y el análisis de los marcos duales, de manera similar a los métodos utilizados en el álgebra de relaciones.
• Clasificación: La extensa catalogación de los álgebras pequeños y su estatus de representabilidad llena un vacío en la literatura, proporcionando una referencia concreta para investigaciones futuras.

Los autores presentan modestamente su trabajo como una versión expandida de una publicación previa [4], siendo las principales adiciones la inclusión de la dualidad de Priestley para álgebras no acotadas y una discusión extensa sobre la representabilidad de álgebras finitos. Destacan el álgebra MV de tres elementos ($D^3_{1,1}$) y el subreduct DqRA del álgebra 1437 de McKenzie como problemas abiertos significativos donde la representación actualmente es desconocida. El artículo concluye que la búsqueda de representaciones para estos álgebras sigue siendo un área de investigación activa y atractiva.