🌀 nonlinear sciences

Collision-based logic in Lenia and its composition boundary

Este artigo demonstra a construção de uma porta INHIBIT funcional e de uma cadeia AND-NOT de dois estágios usando colisões de gliders Orbium em Lenia, estabelecendo que a lógica baseada em colisões é possível em autômatos celulares contínuos, ao mesmo tempo em que destaca o desafio remanescente de rotear confiavelmente sinais defletidos para portas subsequentes.

Autores originais: Chakshu Gupta

Publicado 2026-09-02

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Chakshu Gupta

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

No vasto cenário da computação, existe um canto silencioso onde as máquinas não dependem de chips de silício ou fios elétricos, mas sim do comportamento simples e auto-organizado de padrões. Imagine uma grade de células, cada uma contendo um valor que pode mudar ao longo do tempo, de forma muito semelhante a um pixel em uma tela que brilha ou escurece com base em seus vizinhos. Em um tipo específico de universo digital conhecido como autômato celular contínuo, essas células não apenas ligam ou desligam; elas fluem como um fluido, criando formas que se movem, respiram e se reparam. Entre essas formas estão os gliders, estruturas minúsculas e autopropelidas que viajam em linhas retas, pulsando com um ritmo interno enquanto atravessam a grade. Por décadas, cientistas se perguntaram se esses padrões em movimento poderiam fazer mais do que apenas existir; eles questionaram se esses gliders poderiam colidir uns com os outros para realizar cálculos, atuando como os blocos de construção de um computador onde a informação é carregada pelo próprio movimento dos padrões. Essa ideia, conhecida como computação baseada em colisões, provou funcionar em outros sistemas digitais e até em reações químicas do mundo real, mas permanecia uma questão em aberto se ela poderia emergir naturalmente no mundo fluido e contínuo de Lenia.

Um pesquisador do Instituto de Tecnologia da Geórgia propôs-se a responder a essa pergunta, tratando a grade de Lenia como um laboratório para a lógica. O objetivo era ver se dois desses gliders em movimento poderiam colidir de uma forma que produzisse um resultado previsível, criando efetivamente uma chave que liga ou desliga um sinal. O cientista focou em um glider específico chamado Orbium, uma forma estável e pulsante que viaja em linha reta. Ao organizar cuidadosamente para que um segundo glider cruzasse o caminho do primeiro, o pesquisador testou se a colisão poderia bloquear o sinal ou deixá-lo passar. O experimento envolveu a simulação de milhares de colisões, variando o momento exato da colisão e o ângulo em que os gliders se encontravam. Os resultados mostraram que é, de fato, possível construir uma porta lógica, um componente fundamental da computação, usando essas colisões. Especificamente, o pesquisador construiu uma porta INIBIDORA (INHIBIT), um dispositivo que permite que um sinal passe apenas se um segundo sinal de controle estiver ausente. Quando o glider de controle estava presente, ele desviava o glider de sinal de seu curso, impedindo-o de alcançar o destino. Quando o controle estava ausente, o glider de sinal continuava reto, alcançando o destino com sucesso.

Este sucesso, entretanto, veio com um conjunto de condições específicas e estreitas. A colisão precisava ser precisa; o glider de controle tinha que atingir o sinal em uma distância muito específica de seu centro, uma margem de erro de apenas cerca de quatro pixels. Além disso, a porta tinha que funcionar independentemente do momento exato no ciclo de respiração do glider em que a colisão ocorria. O pesquisador descobriu que a porta se mantinha estável através de nove posições diferentes e de cada fase do ritmo de respiração de 24 etapas do glider, provando que a lógica é robusta contra as flutuações naturais do padrão em movimento. Para testar até onde essa lógica poderia ir, o pesquisador colocou duas dessas portas em sequência, criando uma cadeia onde um sinal poderia ser bloqueado por dois controles. Esta cadeia funcionou perfeitamente, processando corretamente todas as combinações possíveis de entradas. No entanto, esse sucesso revelou os limites do sistema. Embora as portas pudessem ser conectadas em uma linha reta, o sistema ainda não podia ser organizado em um circuito complexo. O principal obstáculo era que, quando um glider era desviado por uma colisão, ele não pousava em um lugar previsível nem enfrentava uma direção previsível. Em um computador completo, um sinal deve ser capaz de fazer curvas e ser entregue precisamente ao próximo portão, mas nesta simulação, o glider desviado derivava, seu posicionamento final e ângulo variando demais para serem captados de forma confiável por um dispositivo subsequente.

O estudo também investigou se esses gliders sobreviventes poderiam ser "limpos" após uma colisão, um passo necessário para reutilizar o espaço em um circuito complexo. O pesquisador buscou uma maneira de absorver os gliders extras que permaneciam após um desvio, procurando por um padrão que pudesse atuar como um coletor de lixo. Após testar várias formas e ângulos de colisão, nenhum absorvedor reutilizável foi encontrado. Algumas colisões destruíam os gliders, mas apenas sob condições de tempo muito específicas e frágeis que falhariam se o tempo sofresse qualquer desvio. Outras simplesmente falhavam em remover a massa extra. Sem uma maneira de limpar o caminho de forma confiável dos sobreviventes, ou uma maneira de direcionar um sinal desviado de volta para uma trilha fixa, a construção de um computador de propósito geral usando essas colisões permanece fora de alcance. O artigo conclui que, embora o bloco de construção básico exista, a maquinaria necessária para conectá-los em um sistema maior está faltando. A questão mudou de se tal porta pode existir, o que agora está confirmado, para se os sinais desviados podem ser entregues ao próximo portão com a precisão exigida para um circuito funcional. Até que um método seja encontrado para restaurar a posição e a direção de um glider desviado, ou para absorver os sobreviventes, o sonho de um computador construído inteiramente a partir de padrões pulsantes e colidindo em Lenia permanece uma possibilidade que ainda não foi realizada.

Resumo Técnico: Lógica Baseada em Colisão em Lenia e sua Fronteira de Composição

Problema
Autômatos celulares (AC) contínuos como o Lenia geram espontaneamente padrões que mimetizam a vida, como o planador (glider) Orbium, que possui autopropulsão. Embora a computação baseada em colisões — onde a informação é processada através da interação de localizações móveis — seja bem estabelecida em ACs discretos (ex: Regra 110) e meios físicos contínuos (ex: reações de Belousov–Zhabotinsky), ela permanece não comprovada em ACs contínuos com regras de atualização fixas. Trabalhos anteriores em ACs neurais alcançaram computação ao treinar a lógica na regra de atualização via gradiente descendente, mas este artigo investiga se a computação baseada em colisões geral pode emergir de interações de regras fixas. A questão central é se um autômato de regra fixa como o Lenia pode suportar portas lógicas formadas pela colisão de planadores e, se sim, se essas portas podem ser compostas em circuitos complexos.

Metodologia
O estudo utiliza o substrato padrão Lenia com o planador Orbium como transportador de sinal. A metodologia envolve:

Simulação: Uma simulação de precisão dupla em uma grade quadrada periódica evolui o campo de valores reais $A \in [0, 1]$ . A regra de atualização envolve a convolução do campo com um kernel radial $K$ para gerar um potencial $U$ , aplicando uma função de crescimento $G(U)$ e realizando o corte (clipping) do resultado.
Codificação Lógica: Um bit lógico é codificado pela presença (1) ou ausência (0) de um planador em uma trajetória específica. Uma porta lógica é formada pela colisão de um planador de "sinal" ( $S$ ) e um planador de "controle" ( $C$ ). O controle é uma imagem de simetria $D_4$ (rotação/reflexão) do sinal.
Análise de Colisão: O resultado das colisões é classificado com base na massa final do campo e no número de "blobs" conectados (regiões onde $A > 0.10$ ). Os resultados incluem aniquilação, explosão, fusão, sobrevivência ou erro (miss).
Construção de Porta: O autor busca por uma geometria onde um planador de controle desvie um planador de sinal de sua trajetória de saída sem destruir nenhum dos dois. A saída é lida em uma janela fixa na trajetória original do sinal.
Teste de Robustez: O sistema é testado através de todas as 24 fases do ciclo de respiração interna do planador Orbium e vários parâmetros de impacto inteiros ( $b$ ) para garantir a estabilidade de fase.
Teste de Composição e Pré-requisitos: O autor testa a composição em série de portas e investiga quatro tipos diferentes de regras de AC contínuo (Lenia Padrão, Lenia Assintótica, SmoothLife, Glaberish) para determinar se o "pré-requisito de desvio" (sobreviver à colisão com ambos os planadores intactos) é geral ou único do Orbium.

Contribuições Principais e Resultados

Construção de uma Porta INHIBIT: O artigo constrói com sucesso uma porta INHIBIT ( $out = S \land \neg C$ ) usando planadores Orbium. Nesta configuração, um planador de controle cruza o caminho do sinal perpendicularmente. Se o controle estiver presente, ele desvia o sinal da trajetória de saída (saída 0); se ausente, o sinal passa direto (saída 1).
Robustez de Fase: A porta é robusta através de todas as 24 fases do ciclo de respiração do planador. Ela funciona corretamente para nove offsets de impacto inteiros ( $b = 0$ a $8$). A porta bloqueia o sinal em 89% dos pontos testados dentro do intervalo $b=0$ a $13$, embora varreduras mais finas revelem vazamentos em offsets não inteiros.
Composição em Série: Duas dessas portas podem ser compostas em série para formar uma cadeia AND-NOT ( $out = S \land \neg C_1 \land \neg C_2$ ). Esta cadeia produz saídas corretas para todas as oito combinações de entrada. Crucialmente, esta composição específica funciona porque a cadeia só produz uma saída "1" quando nenhum controle está presente, o que significa que nenhum "planador desviado sobrevivente" precisa ser descartado dentro da própria cadeia.
Fronteira de Composição: O artigo identifica um limite rígido na composição destas portas além de uma única cadeia reta. Duas capacidades necessárias para circuitos gerais permanecem não demonstradas:
1. Entrega (Delivery): Um sinal desviado não é restaurado a uma posição ou direção fixa. A direção de saída possui um desvio padrão circular de 8–14°, e o ponto de pouso espalha-se por aproximadamente 16 pixels ao longo de uma distância de 70 pixels a jusante. Nenhum "gadget de restauração" (refletor ou guia de onda) foi encontrado para corrigir isso.
2. Descarte (Disposal): Nenhum absorvedor reutilizável foi encontrado para limpar os planadores desviados sobreviventes que, de outra forma, poluiriam um circuito geral. Buscas por "comedores de aniquilação mútua" e "estáticos de vida estática" não renderam soluções de fase-robusta ou reutilizáveis.
Generalidade do Pré-requisito de Desvio: Um levantamento de quatro tipos de regras de AC contínuo e dez outras espécies de Lenia revelou que o Orbium é o único padrão mostrado a sobreviver a uma colisão com ambas as cópias intactas. Outras espécies ou perdem coerência, falham em formar planadores isolados ou produzem colisões não reproduzíveis (ex: Glaberish).

Significância e Alegações
O artigo afirma que, embora exista uma porta lógica funcional em Lenia, o sistema atualmente não pode suportar computação de propósito geral baseada em colisões. A significância do trabalho reside em estreitar a questão aberta: a existência de uma porta não é mais a barreira; a barreira é a entrega de um sinal desviado para uma porta a jusante e o descarte de sobreviventes de colisão.

O autor declara explicitamente que não alega ter construído um computador funcional, nem prova que o Lenia não possa hospedar um. Em vez disso, demonstra que o obstáculo imediato é a falta de mecanismos para corrigir a posição/direção de sinais desviados e para absorver sobreviventes. O artigo conclui que, embora a "codificação" (presença de um planador) funcione, o "roteamento" (manter o valor em uma trajetória conhecida após a interação) permanece não provado no Lenia de espaço livre, distinguindo-o de outros substratos onde os sinais são confinados a caminhos fixos ou ativamente restaurados.

Mais como este