Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction

Resumo Técnico: Aproximando o Contínuo do Discreto via Produtos Tensoriais Infinitos

Enunciado do Problema
Avanços recentes na probabilidade categórica axiomatizaram com sucesso processos probabilísticos discretos (ex: conjuntos finitos e matrizes estocásticas) e processos gaussianos usando cálculos de diagramas de cordas. No entanto, uma lacuna significativa permanece na axiomatização da probabilidade contínua geral, especificamente em categorias como $\mathbf{BorelStoch}$ (espaços de Borel padrão e núcleos de Markov). A principal dificuldade reside em codificar o comportamento infinito algebricamente dentro do arcabouço existente de diagramas de cordas, que tipicamente dependem de geradores e equações finitas. Embora o teorema de extensão de Kolmogorov sugira que medidas contínuas podem ser vistas como limites das discretas, uma construção categórica rigorosa que estabeleça essa ponte entre os cenários discretos e os contínuos via produtos tensoriais infinitos tem sido ausente.

Metodologia
Os autores propõem uma construção universal que adjunta produtos tensoriais infinitos a uma categoria semicartesiana $\mathcal{C}$. A metodologia procede através de várias etapas:

1. Construção Universal: O artigo define uma categoria $\mathcal{C}^{\otimes\infty}$ obtida ao adjuntar produtos tensoriais infinitos a uma categoria semicartesiana $\mathcal{C}$. Isso é alcançado via uma propriedade universal: $\mathcal{C}^{\otimes\infty}$ é a categoria semicartesiana inicial com produtos tensoriais infinitos recebendo um funtor simétrico monoidal de $\mathcal{C}$.
2. Representação Concreta (Famílias de Aproximação Finita): Para tornar os morfismos em $\mathcal{C}^{\otimes\infty}$ tratáveis, os autores restringem a atenção a categorias com deleções cancelativas (onde $f \otimes \text{del} = g \otimes \text{del} \implies f=g$). Neste cenário, os morfismos entre produtos tensoriais infinitos são caracterizados não como limites abstratos, mas como famílias de aproximação finita. Um morfismo é uma classe de equivalência de famílias de morfismos finitos $(f_{F,G})$ que satisfazem condições de naturalidade, cobertura e hereditariedade.
3. Sintaxe Diagramática: Os autores introduzem a "notação de placa" para representar essas famílias de aproximação finita como diagramas de cordas. Isso permite o levantamento de apresentações axiomáticas: se $\mathcal{C}$ é apresentado por uma teoria de monoidal simétrica $(\Sigma, E)$, então $\mathcal{C}^{\otimes\infty}$ é apresentado por uma teoria $\text{Free}_\infty(\Sigma, E)$ que inclui os geradores e equações originais, mais regras para lidar com produtos tensoriais infinitos (placas).
4. Aplicação a $\mathbf{FinStoch}$: A construção é aplicada a $\mathbf{FinStoch}$ (conjuntos finitos e matrizes estocásticas) e sua subcategoria $\mathbf{BinStoch}$ (potências de $\{0,1\}$).

Resultados Principais

• Caracterização de $\mathbf{FinStoch}^{\otimes\infty}$: Os autores provam que a categoria $\mathbf{FinStoch}^{\otimes\infty}$ é equivalente a uma categoria de espaços de Stone equipados com núcleos de Markov localmente constantes ($\mathbf{StoneStoch}_{lc}$). Nesta categoria, os objetos são produtos infinitos de conjuntos finitos (que, pelo teorema de Brouwer, são ou conjuntos finitos ou o espaço de Cantor $2^\mathbb{N}$), e os morfismos são núcleos $f: X \to Y$ onde a probabilidade de um conjunto clopen depende apenas de coordenadas finitas do input.
• Apresentação Axiomática da Probabilidade Contínua: Ao restringir-se a $\mathbf{BinStoch}$, os autores derivam uma apresentação axiomática para $\mathbf{CantorStoch}_{lc}$ (a subcategoria de $\mathbf{StoneStoch}_{lc}$ envolvendo potências de 2 e o espaço de Cantor). Eles mostram que $\mathbf{CantorStoch}_{lc}$ é isomórfica a $\text{Free}_\infty(\Sigma, E)$, onde $(\Sigma, E)$ é a teoria de $\mathbf{CausCirc}$ (a axiomatização de $\mathbf{BinStoch}$).
• Expressividade: O artigo demonstra que $\mathbf{CantorStoch}_{lc}$ é expressiva o suficiente para abranger todas as medidas de probabilidade na reta $\mathbb{R}$. Isso ocorre porque $\mathbb{R}$ é isomorfo a um produto tensorial infinito de 2 em $\mathbf{BorelStoch}$, e a construção estabelece uma correspondência bijetiva entre medidas em $\mathbb{R}$ e medidas no espaço de Cantor $2^\mathbb{N}$.
• Limitações: Os autores esclarecem que $\mathbf{FinStoch}^{\otimes\infty}$ não recupera a totalidade de $\mathbf{BorelStoch}$. Embora capture todas as medidas de probabilidade, não consegue capturar plenamente o comportamento de funções mensuráveis arbitrárias (que podem não ser localmente constantes), formando assim uma subcategoria específica e expressiva em vez da categoria contínua completa.

Significância e Alegações
O artigo afirma fornecer as primeiras ferramentas para axiomatizar categorias de Markov com produtos tensoriais infinitos usando diagramas de cordas. Sua principal contribuição é estabelecer uma ponte rigorosa entre o raciocínio probabilístico discreto e o contínuo. Ao mostrar que a probabilidade contínua pode ser abordada como limites de cenários discretos via produtos tensoriais infinitos, o trabalho permite o uso de cálculos diagramáticos (especificamente a notação de placa) para raciocinar sobre sistemas contínuos.

Os autores enfatizam que esta abordagem permite a derivação de igualdades semânticas em probabilidade contínua diretamente de axiomas discretos. Eles observam que, embora a construção não capture a generalidade total de $\mathbf{BorelStoch}$ (especificamente em relação a núcleos não localmente constantes), ela fornece um arcabouço rico para estudar medidas de probabilidade em $\mathbb{R}$ e outros espaços contínuos através da lente do espaço de Cantor. O trabalho é apresentado como um passo fundamental para conectar abordagens semânticas com métodos de diagramas de cordas para a probabilidade contínua, com trabalhos futuros sugeridos para estender esses resultados para núcleos de Markov gerais e outros modelos probabilísticos como misturas gaussianas.