Aproximándose a lo Continuo desde lo Discreto: una Construcción de Producto Tensorial Infinito

Información Básica

• ID del Artículo: 2510.14716
• Título: Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
• Autores: Antonio Lorenzin (a.lorenzin.95@gmail.com), Fabio Zanasi (University College London)
• Clasificación: math.CT (Teoría de Categorías), cs.LO (Lógica en Informática)
• Fecha de Publicación: 16 de octubre de 2025 (preimpresión en arXiv)
• Enlace del Artículo: https://arxiv.org/abs/2510.14716

Resumen

En años recientes, la computación probabilística ha sido estudiada cada vez más desde la perspectiva del álgebra categórica, particularmente a través del cálculo diagramático de cuerdas. Aunque las categorías de procesos probabilísticos discretos y gaussianos han sido ampliamente estudiadas con diversos resultados axiomáticos, las categorías probabilísticas continuas más expresivas carecen de comprensión debido a dificultades intrínsecas en la descripción algebraica del comportamiento infinito.

Este artículo establece una construcción universal para adjuntar productos tensoriales infinitos, permitiendo que la probabilidad continua sea estudiada desde configuraciones discretas. El resultado principal aplica esta construcción a FinStoch (la categoría de conjuntos finitos y matrices estocásticas), obteniendo la categoría de núcleos de Markov localmente constantes, cuyos objetos son conjuntos finitos más el espacio de Cantor $2^{\mathbb{N}}$. Cualquier medida de probabilidad sobre los números reales puede ser razonada en esta categoría. Además, se demuestra cómo elevar resultados axiomáticos a través de la construcción de productos tensoriales infinitos, obteniendo una representación axiomática de la probabilidad continua sobre potencias contables de $2=\{0,1\}$.

Antecedentes de Investigación y Motivación

Contexto del Problema

La aplicación de métodos categóricos en computación probabilística ha atraído considerable atención en años recientes, con aplicaciones que van desde teoría de decisiones bayesianas hasta gráficos aleatorios e inferencia activa. Estos métodos pueden destacar las estructuras algebraicas subyacentes, proporcionando semántica rigurosa, aumentando la claridad formal y la metodología composicional, y permitiendo descripciones intuitivas mediante diagramas de cuerdas.

Problema Central

Aunque las categorías de probabilidad discreta (como FinStoch y BinStoch) y probabilidad gaussiana han sido completamente axiomatizadas, la axiomatización de diagramas de cuerdas para probabilidad continua sigue siendo una brecha fundamental. El desafío principal radica en cómo codificar directamente el comportamiento infinito dentro del marco algebraico existente de diagramas de cuerdas.

Motivación de la Investigación

1. Necesidad Teórica: Se requiere una descripción categórica completa para la probabilidad continua
2. Innovación Metodológica: Conectar probabilidad discreta y continua mediante productos tensoriales infinitos
3. Valor Práctico: Proporcionar herramientas algebraicas para razonamiento probabilístico continuo

Contribuciones Principales

1. Construcción Universal: Introduce una construcción universal para adjuntar productos tensoriales infinitos a cualquier categoría semicartesiana (Teorema 1)
2. Representación Diagramática: Proporciona representación diagramática para categorías generadas libremente con productos tensoriales infinitos, utilizando notación de placas
3. Caracterización de FinStoch⊗∞: Caracteriza FinStoch⊗∞ usando espacios de Stone y núcleos de Markov localmente constantes (Teorema 2)
4. Representación Axiomática: Proporciona una representación axiomática de CantorStochlc, la restricción de FinStoch⊗∞ a potencias de 2 y el espacio de Cantor 2^ℕ (Corolario 2)

Detalles Metodológicos

Fundamentos Teóricos: Categorías Semicartesianas

Definición 1: Una categoría semicartesiana es una categoría monoidal simétrica (C,⊗,I) donde la unidad monoidal I es un objeto terminal.

Ejemplos clave:

• FinStoch: Objetos son conjuntos finitos, morfismos son funciones estocásticas f: X → Y
• BinStoch: Subcategoría de FinStoch, objetos son potencias finitas de 2={0,1}
• BorelStoch: Objetos son espacios de Borel estándar, morfismos son núcleos de Markov

Definición de Productos Tensoriales Infinitos

Definición 2: Un producto tensorial infinito abstracto es un funtor X: P_(J)^{op} → C, que mapea subconjuntos finitos F a X_F := ⊗_{j∈F} X_j.

Definición 3: Un producto tensorial infinito concreto X = ⊗_{j∈J} X_j es el límite del correspondiente producto tensorial infinito abstracto, y este límite es preservado por -⊗Y.

Construcción Universal C⊗∞

Idea Central: Los morfismos se definen mediante familias compatibles (compatible families), que satisfacen:

• Naturalidad: Conmutan con morfismos de proyección
• Condición de Cobertura: Cada subconjunto finito del objetivo tiene un subconjunto finito correspondiente de la fuente
• Hereditariedad: Si (F,G) está en la familia, entonces todos (F',G) (F' ⊇ F) también están en la familia

Definición 8: Los morfismos f: X → Y en C⊗∞ son clases de equivalencia de familias compatibles, con composición definida puntualmente:

(gf)_{F,H} := g_{G,H} f_{F,G}

Notación de Placas (Plate Notation)

Para representar intuitivamente familias compatibles, se introduce la notación de placas:

f_{F,G}
─────────  representa el morfismo f: X → Y
(F,G) ∈ Λ_f
  X    Y

Esta notación es similar a la notación de placas en redes bayesianas, pero especializada para representar familias compatibles.

Teoremas Principales

Teorema 1: Propiedades Universales

Para una categoría semicartesiana C con eliminación de cancelación, existe una categoría semicartesiana C⊗∞ con productos tensoriales infinitos y un funtor monoidal simétrico estricto C → C⊗∞, tal que para cualquier categoría semicartesiana D con productos tensoriales infinitos y funtor monoidal simétrico φ: C → D, existe un único funtor monoidal simétrico que preserva ITP φ̃: C⊗∞ → D tal que el diagrama conmuta.

Teorema 2: Caracterización por Espacios de Stone

El funtor monoidal simétrico que preserva ITP

φ: FinStoch⊗∞ → StoneStoch^{lc}

es completamente fiel, con imagen esencial siendo productos tensoriales infinitos de conjuntos finitos en el sentido de espacios topológicos.

Núcleos de Markov Localmente Constantes (Definición 11): Un morfismo f: X → Y entre espacios de Stone satisface:

• f(U|-): X → 0,1 es localmente constante para todos los conjuntos clopen U
• f(-|x): Clopen(Y) → 0,1 es una medida de probabilidad finitamente aditiva para todo x∈X

Configuración Experimental y Aplicaciones

Caso de Cadenas de Markov

El artículo demuestra la aplicación de la notación de placas mediante cadenas de Markov. Una cadena de Markov homogénea en el tiempo puede representarse como:

c_n: X → X^n := f ∘ c_{n-1}

En la configuración de productos tensoriales infinitos, se puede definir una cadena de Markov infinita c: X → X^ℕ, y se prueba su invariancia bajo adición de pasos previos:

c_n = c_{n-1} ∘ f = c ∘ f

Resultados Experimentales

Capacidad Expresiva

Resultado Clave: CantorStoch^{lc} contiene todas las medidas de probabilidad sobre ℝ. Esto se debe a que ℝ es un producto tensorial infinito de 2 en BorelStoch, mientras que 2^ℕ es el objeto correspondiente en CantorStoch^{lc}.

Logros en Axiomatización

Corolario 3: CantorStoch^{lc} es isomorfo a Free^∞(Σ,E), donde (Σ,E) es una teoría monoidal simétrica de CausCirc.

Esto significa que se puede caracterizar completamente esta categoría de probabilidad continua usando un número finito de generadores y ecuaciones.

Trabajo Relacionado

Teoría Categórica de Probabilidad

• Teoría de categorías de Markov de Fritz et al. 11
• Axiomatización de probabilidad discreta 21
• Diagramas de cuerdas para probabilidad gaussiana 25

Productos Tensoriales Infinitos

• Trabajo pionero de Fritz y Rischel 16
• Aplicaciones en probabilidad categórica 13,14

Innovación de este Artículo

En comparación con trabajo existente, este artículo proporciona por primera vez un método de construcción sistemático desde probabilidad discreta a continua, con una representación axiomática completa.

Conclusiones y Discusión

Conclusiones Principales

1. Se establece una construcción universal para adjuntar productos tensoriales infinitos
2. Se prueba que FinStoch⊗∞ puede caracterizarse como núcleos de Markov localmente constantes
3. Se proporciona una axiomatización completa de la probabilidad continua
4. Se demuestra un método sistemático desde lo discreto a lo continuo

Limitaciones

1. Restricciones de Capacidad Expresiva: No se puede recuperar BorelStoch completo, porque los grados de libertad de funciones medibles no pueden capturarse completamente mediante operaciones finitas
2. Restricción de Constancia Local: Solo se pueden manejar núcleos de Markov localmente constantes, sin incluir todos los procesos probabilísticos continuos
3. Restricción Contable: La construcción solo se aplica a productos tensoriales infinitos contables

Direcciones Futuras

1. Extensión a Núcleos Generales de Markov: Investigar cómo describir núcleos generales mediante núcleos localmente constantes
2. Descomposición de Medidas: Investigar construcciones universales que garanticen la existencia de condicionales en categorías de Markov
3. Dualidad de Stone: Estudiar morfismos probabilísticos entre álgebras booleanas mediante dualidad de Stone
4. Otras Categorías: Aplicación a probabilidad gaussiana, mezclas gaussianas y otras categorías

Evaluación Profunda

Fortalezas

1. Innovación Teórica: Primera conexión sistemática entre descripciones categóricas de probabilidad discreta y continua
2. Construcción Universal: La construcción universal proporcionada es aplicable a todas las categorías semicartesianas
3. Herramientas Prácticas: La notación de placas proporciona herramientas intuitivas para razonamiento complejo con productos tensoriales infinitos
4. Resultados Profundos: Se prueba que el espacio de Cantor es suficiente para representar todas las medidas de probabilidad sobre números reales

Deficiencias

1. Aplicaciones Limitadas: Los casos de cadenas de Markov son relativamente simples, requiriendo aplicaciones más complejas para demostración
2. Complejidad Computacional: No se discuten problemas de complejidad en computación práctica
3. Detalles de Implementación: Faltan implementaciones algorítmicas concretas y herramientas computacionales

Impacto

1. Contribución Teórica: Proporciona herramientas teóricas importantes para la teoría categórica de probabilidad
2. Significado Metodológico: Inaugura un nuevo método para aproximar lo continuo desde lo discreto
3. Perspectivas de Aplicación: Proporciona fundamentos teóricos nuevos para programación probabilística y aprendizaje automático

Escenarios Aplicables

1. Investigación Teórica: Investigación en teoría de categorías, teoría de probabilidad, lógica
2. Programación Probabilística: Proporciona bases semánticas más rigurosas
3. Aprendizaje Automático: Proporciona herramientas algebraicas para modelos probabilísticos
4. Verificación Formal: Proporciona herramientas para análisis formal de sistemas probabilísticos

Referencias

El artículo cita 29 referencias relacionadas, incluyendo principalmente:

• 11 Fritz, T.: A synthetic approach to Markov kernels (trabajo fundamental en categorías de Markov)
• 16 Fritz, T., Rischel, E.F.: Infinite products and zero-one laws (trabajo original en productos tensoriales infinitos)
• 21 Piedeleu, R. et al.: A complete axiomatisation of equivalence for discrete probabilistic programming (axiomatización de probabilidad discreta)
• 25 Stein, D. et al.: Graphical quadratic algebra (diagramas de cuerdas para probabilidad gaussiana)

Este artículo realiza contribuciones importantes en el campo de la teoría categórica de probabilidad, proporcionando un método algebraico sistemático para tratar la probabilidad continua. Aunque aún requiere desarrollo adicional en aspectos de aplicación práctica, su valor teórico e innovación metodológica tienen significado profundo.