What is Connectivity?

Título: O que é Conectividade?
Autores: Jean F. Du Plessis, Zurab Janelidze e Bernardus A. Wessels
Fonte: MIT-CTP/5835 (arXiv:2501.19226v2)

Enunciado do Problema

O artigo aborda a necessidade de uma teoria unificada e geral de conectividade que abranja tanto contextos de conjuntos de pontos quanto contextos sem pontos. Embora a topologia sem pontos generalize espaços topológicos para quadros (retículos completos), as teorias gerais existentes de conectividade permanecem amplamente baseadas em conjuntos de pontos, tratando objetos conectados como subconjuntos de um conjunto dado. Embora R. Börger tenha proposto uma teoria categórica de conectividade e J. Serra tenha introduzido uma abordagem sem pontos usando retículos gerais (motivada por imagem digital), faltava um quadro abrangente que comparasse e classificasse sistematicamente várias noções de conectividade (como conectividade de grafos, conectividade por caminhos e $k$-conectividade) dentro de uma única estrutura teórica de retículos. Os autores visam estabelecer uma taxonomia fundamental para a conectividade que não dependa da maquinaria categórica mais ampla de Börger, mas a especialize para conjuntos parcialmente ordenados (posets).

Metodologia

Os autores desenvolvem uma teoria ancorada no conceito de um retículo de conectividade, definido como um par $(L, \mathcal{C})$, onde $L$ é um retículo completo e $\mathcal{C} \subseteq L$ é um subconjunto de "elementos conectados". A metodologia prossegue através das seguintes etapas:

1. Definição Axiomática: Os autores impõem um único axioma a $(L, \mathcal{C})$: todo elemento conectado abaixo de um elemento $x \in L$ deve estar abaixo de um único elemento conectado maximal abaixo de $x$. Isso garante que todo elemento possa ser decomposto em "componentes conectados".
2. Conexões de Galois: Eles analisam a estrutura através de uma conexão de Galois (denominada adjunção de conectividade) entre o retículo $L$ e o poset $D(\mathcal{C})$ de subconjuntos "totalmente desconectados por correio" de $\mathcal{C}$. O adjunto à esquerda mapeia um conjunto para sua reunião (join), enquanto o adjunto à direita mapeia um elemento para seu conjunto de componentes conectados.
3. Introdução de Chainmails: Os autores introduzem o conceito de um chainmail, um poset onde todo subconjunto "conectado por correio" possui uma reunião. Um "correio" é um conjunto não vazio de elementos com um limite inferior comum; um conjunto é conectado por correio se quaisquer dois elementos puderem ser ligados por uma sequência de correios sobrepostos.
4. Classificação Taxonômica: Variando as propriedades da adjunção de conectividade (por exemplo, se é um isomorfismo, se preserva elementos específicos como o elemento mínimo, ou se satisfaz condições específicas de fechamento), os autores classificam diferentes tipos de retículos de conectividade (por exemplo, núcleo, típico, Serra, separado, absoluto).

Principais Contribuições e Resultados

1. O Conceito de Chainmails e a Propriedade (C)
O artigo define um chainmail como um poset onde todo subconjunto conectado por correio possui uma reunião. Isso é mostrado como equivalente à condição de que, para todo elemento $x$, o conjunto superior $x^\uparrow$ é um retículo completo. Os autores provam que o poset de elementos conectados em qualquer retículo de conectividade forma um chainmail.

2. Caracterização da Conectividade via Chainmails
Um resultado central é que um subconjunto $\mathcal{C}$ de um retículo completo $L$ é uma conectividade se e somente se $\mathcal{C}$ é um subchainmail de $L$ (fechado sob uniões de subconjuntos conectados por correio). Isso fornece uma resposta concisa à pergunta do título: "Conectividade é a propriedade de um subconjunto ser um subchainmail."

3. A Adjunção de Conectividade e Classificação
O artigo estabelece que a existência de uma conexão de Galois específica entre $L$ e $D(\mathcal{C})$ é uma propriedade característica dos retículos de conectividade. Com base no comportamento dessa adjunção, os autores definem uma taxonomia:

• Conectividade de Núcleo: O elemento mínimo $0$ está em $\mathcal{C}$.
• Conectividade Típica: $0 \notin \mathcal{C}$, mas os elementos se decompõem em componentes.
• Conectividade Serra: Uma conectividade típica onde todo elemento é a reunião de seus componentes (satisfazendo a condição CL2).
• Conectividade Separada: O adjunto à direita é um inverso à esquerda do adjunto à esquerda.
• Conectividade Absoluta: A adjunção de conectividade é um isomorfismo.

4. Correspondência com Chainmails
O artigo prova uma correspondência um a um entre classes de isomorfismo de retículos de conectividade absoluta e classes de isomorfismo de chainmails.

• O mapeamento $(L, \mathcal{C}) \mapsto \mathcal{C}$ envia um retículo de conectividade absoluta para seu chainmail de elementos conectados.
• O mapeamento inverso envia um chainmail $\Gamma$ para seu exterior $D(\Gamma)$ (o retículo de conjuntos totalmente desconectados por correio), que forma um retículo de conectividade absoluta.
  Esse resultado implica que os chainmails servem como "posets universais de objetos conectados".

5. Conectividade Absoluta e Quadros
Os autores definem elementos absolutamente conectados através de quatro condições equivalentes (E1–E4) no contexto de quadros (retículos distributivos). Eles mostram que, em um quadro, o conjunto de elementos absolutamente conectados coincide com o conjunto de elementos conectados no sentido topológico usual. Consequentemente, um quadro é localmente conectado se e somente se é um retículo de conectividade absoluta.

6. Exemplos e Escopo
A teoria unifica com sucesso noções padrão:

• Grafos e Hipergrafos: O poset de subconjuntos conectados forma um chainmail.
• Topologia: Conjuntos conectados e conectados por caminhos em espaços topológicos formam chainmails.
• Imagem Digital: O quadro acomoda imagens não binárias via retículos gerais, estendendo o trabalho de Serra.
• Contra-exemplos: O artigo fornece exemplos de retículos de conectividade que não são quadros (por exemplo, certos retículos não distributivos derivados de chainmails específicos), demonstrando que a teoria é estritamente mais geral que a conectividade local em quadros.

Significado e Alegações

O artigo alega fornecer uma taxonomia fundamental para a conectividade que faz a ponte entre abordagens de conjuntos de pontos e sem pontos sem exigir a maquinaria completa da teoria das categorias. Ao isolar as propriedades estruturais do retículo "ambiente" e do subconjunto "conectado", os autores demonstram que:

• A conectividade pode ser rigorosamente definida através da existência de uma conexão de Galois (adjunção de conectividade).
• Chainmails são os blocos de construção fundamentais; qualquer retículo de conectividade é essencialmente uma incorporação de um chainmail em um retículo completo.
• Conectividade absoluta representa uma forma "universal" de conectividade, onde a estrutura do retículo é inteiramente determinada por seus componentes conectados.

Os autores afirmam explicitamente que seu trabalho é uma especialização da teoria categórica de Börger para posets e que a extensão de seus resultados para o contexto categórico completo fica para trabalhos futuros. Eles não alegam resolver problemas abertos em topologia ou ciência da computação diretamente, mas sim fornecer a linguagem estrutural e o sistema de classificação necessários para analisar tais problemas em diferentes domínios matemáticos. O artigo conclui observando que a taxonomia dos retículos de conectividade forma ela mesma um retículo completo, oferecendo uma maneira estruturada de comparar diferentes noções de conectividade.