🔢 mathematics

Properties of a random Cantor set with overlaps

Este artigo investiga a topologia e a dimensão de Hausdorff de um conjunto de Cantor aleatório com sobreposições gerado por um sistema de funções iteradas com a razão de escala da Proporção Áurea, estendendo fórmulas conhecidas para casos em que a Condição do Conjunto Aberto falha ao utilizar a teoria de expansões em bases não inteiras.

Autores originais: Anna Chiara Lai, Paola Loreti

Publicado 2026-07-31

📖 7 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Anna Chiara Lai, Paola Loreti

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

Imagine que você esteja tentando medir a rugosidade de uma costa ou a borda irregular de um floco de neve. No mundo da matemática, estes não são apenas desenhos bagunçados; eles são objetos chamados "fractais". Fractais são formas que parecem semelhantes não importa o quanto você dê zoom. Um pequeno pedaço da borda se parece exatamente com a borda inteira. Por décadas, os matemáticos tiveram um livro de regras confiável para medir a "dimensão" dessas formas — basicamente, quanto espaço elas ocupam. Se uma linha é unidimensional e um quadrado é bidimensional, um fractal pode ter 1,5 dimensões, vivendo em algum lugar entre os dois.

Normalmente, esse livro de regras funciona perfeitamente quando as partes de um fractal não colidem umas com as outras. É como construir uma torre com blocos: se cada bloco se assenta perfeitamente sobre o que está abaixo dele sem tocar seus vizinhos, você pode facilmente contar quantos blocos tem e prever o quão alta a torre ficará. Esta é uma condição que os matemáticos chamam de "Condição de Conjunto Aberto" (Open Set Condition). Mas o que acontece quando os blocos são grandes demais, ou quando a torre é construída de uma forma que os blocos começam a se esmagar uns contra os outros? O velho livro de regras falha. As peças se sobrepõem, escondem-se atrás umas das outras, e a matemática torna-se confusa. Este é o enigma que o nosso artigo aborda: tentar medir o tamanho de um fractal quando os seus blocos de construção estão colidindo uns com os outros, especificamente usando a "Proporção Áurea" (Golden Mean) como a regra de quanto eles encolhem.

A Proporção Áurea e os Blocos que se Esmagam

Neste estudo, Anna Chiara Lai e Paola Loreti investigam um tipo muito específico de fractal chamado "conjunto de Cantor aleatório". Para entender isso, imagine um jogo de "manter ou descartar" jogado com um segmento de reta. Você começa com um bastão longo. Você tem duas máquinas mágicas, vamos chamá-las de Máquina 0 e Máquina 1. A Máquina 0 encolhe o bastão e o move para a esquerda; a Máquina 1 o encolhe e o move para a direita. A quantidade que eles encolhem é determinada por um número famoso: a Proporção Áurea (frequentemente escrita como $\phi$ ), que é aproximadamente 1,618.

Aqui está a reviravolta: ao contrário de um jogo normal onde as máquinas trabalham em zonas separadas e organizadas, estas duas máquinas são um pouco desajeitadas. Como a Proporção Áurea é um número tão específico, as peças que elas criam às vezes caem exatamente uma em cima da outra. É como se você tentasse colocar dois adesivos em uma página, mas a cola fosse tão pegajosa que eles se fundiram em uma única mancha. Em termos matemáticos, isso é chamado de "sobreposição" (overlap), e isso quebra as regras padrão para medir a forma.

Para tornar tudo ainda mais interessante, os autores adicionam uma camada de acaso. Cada vez que as máquinas tentam criar uma nova peça, elas jogam uma moeda. Se cair "cara" (com uma probabilidade $p$ ), a peça permanece. Se cair "coroa", a peça é descartada. Eles repetem este processo repetidamente, criando um pré-fractal que se torna cada vez mais detalhado. A grande questão é: conforme este processo continua para sempre, quão "grande" é a forma final? Ela desaparece completamente? Ela se torna uma linha sólida? Ou ela permanece como uma nuvem estranha e empoeirada?

As Três Zonas de Descoberta

Os autores descobriram que a resposta depende inteiramente de quão frequentemente a moeda cai em "cara" (a probabilidade $p$ ). Eles encontraram três zonas distintas, ou "territórios", onde o comportamento do fractal muda completamente.

Zona 1: O Ato de Desaparecer ( $p$ está entre 0 e 0,5)
Se você mantiver as peças menos da metade das vezes, o fractal simplesmente desaparece. É como tentar construir uma torre com blocos, mas você joga fora mais da metade deles cada vez que adiciona uma nova camada. Eventualmente, você fica sem blocos totalmente. Os autores provam que, nesta zona, a forma final é vazia. Não resta nada.

Zona 2: A Nuvem de Poeira ( $p$ está entre 0,5 e aproximadamente 0,809)
Esta é a parte mais surpreendente. Se você mantiver as peças mais da metade das vezes, mas não muito mais, uma forma permanece. No entanto, não é uma linha sólida. É uma "poeira" de pontos desconectados. Os autores encontraram uma fórmula precisa para o quão "grande" é essa poeira. O tamanho (chamado dimensão de Hausdorff) cresce à medida que você aumenta a probabilidade $p$ . A fórmula é:
$\text{Dimensão} = \frac{\log(2p)}{\log(\phi)}$
Esta é uma generalização de uma fórmula antiga que só funcionava quando os blocos não se sobrepunham. Aqui, mesmo que os blocos estejam se esmagando uns contra os outros, a matemática ainda segue um padrão previsível, apenas com um limite diferente.

Zona 3: A Linha Sólida ( $p$ está entre aproximadamente 0,809 e 1)
É aqui que a magia acontece. Se você mantiver as peças mais de aproximadamente 80,9% das vezes, a dimensão da forma salta para exatamente 1. Em termos matemáticos, isso significa que a forma preenche uma linha. Ela parece uma linha sólida para uma ferramenta de medição de dimensão.

Mas aqui está o detalhe: Mesmo que a dimensão diga "1" (como uma linha), a forma não é, de fato, uma linha conectada. É ainda uma coleção empoeirada de pedaços quebrados. É como se você tivesse uma linha feita de areia onde os grãos estão tão próximos que uma régua não consegue distinguir entre "areia" e "sólido", mas se você olhasse de perto com um microscópio, veria lacunas em todos os lugares. Os autores afirmam explicitamente que, para qualquer probabilidade $p$ maior que 0, a forma não possui partes conectadas. Ela nunca se torna uma linha verdadeira e sólida, embora sua dimensão sugira que deveria ser.

Por Que Isso Importa

Antes deste artigo, os matemáticos tinham dificuldade em lidar com esses fractais de "esmagamento". As ferramentas padrão assumiam que as peças permaneciam separadas. Quando elas se sobrepunham, as fórmulas davam respostas erradas ou não davam resposta alguma. Lai e Loreti mostraram que, mesmo neste cenário bagunçado e de sobreposição, existe uma ordem oculta. Eles provaram que você ainda pode calcular o tamanho esperado da forma usando uma fórmula específica, desde que leve em conta as regras da "Proporção Áurea".

Eles também identificaram um limiar crítico: o número $\phi/2$ (que é cerca de 0,809). Abaixo deste número, a forma é uma poeira fractal com uma dimensão fracionária. Acima dele, a forma "pensa" que é uma linha (dimensão 1), embora ainda esteja quebrada. Esta descoberta ajuda a entender como a aleatoriedade e a sobreposição interagem em sistemas complexos. Sugere que, mesmo quando as coisas ficam bagunçadas e se sobrepõem, a natureza (ou a matemática) frequentemente encontra uma maneira de se estabelecer em um padrão previsível, desde que você saiba quais regras procurar.

O artigo não apenas supõe esses resultados; ele fornece uma prova rigorosa usando uma mistura de teoria da probabilidade e o estudo de como os números são escritos em bases não convencionais (como escrever números usando a Proporção Áurea em vez de base 10). Eles não apenas simularam isso em um computador; eles derivaram as fórmulas matemáticas exatas que descrevem o comportamento. Este trabalho abre as portas para a compreensão de outros sistemas bagunçados e sobrepostos onde as velhas regras não se aplicam mais.

Resumo Técnico: Propriedades de um Conjunto de Cantor Aleatório com Sobreposições

Enunciado do Problema
Este artigo investiga a estrutura topológica e a dimensão de Hausdorff de um conjunto de Cantor aleatório gerado por um Sistema de Funções Iteradas (IFS) que viola a Condição do Conjunto Aberto (OSC). Especificamente, os autores analisam um sistema unidimensional definido por dois mapas contrativos, $f_0(x) = \frac{x}{\phi}$ e $f_1(x) = \frac{x+1}{\phi}$ , onde $\phi = \frac{1+\sqrt{5}}{2}$ é a Razão Áurea.

No cenário determinístico, este IFS gera um conjunto onde sequências binárias distintas podem mapear para o mesmo intervalo (sobreposições exatas) ou onde os intervalos se interceptam. Os autores introduzem um processo de randomização: partindo do intervalo $I_0 = [0, \phi]$ , em cada iteração $n$ , as imagens dos intervalos atuais sob $f_0$ e $f_1$ são retidas com probabilidade $p$ e descartadas com probabilidade $1-p$ . O fractal aleatório resultante é o conjunto limite $C_p = \bigcap_{n \ge 0} C_p^n$ .

O desafio central abordado é que as fórmulas padrão para a dimensão de conjuntos de Cantor aleatórios, que dependem da OSC (garantindo a disjunção das imagens), falham neste cenário. A violação da OSC ocorre porque a dimensão de semelhança $\frac{\log 2}{\log \phi}$ excede a dimensão do espaço ambiente (1), levando a sobreposições inevitáveis e "sobreposições exatas" onde diferentes sequências geram intervalos idênticos.

Metodologia
A abordagem dos autores diverge dos métodos de teoria da medida frequentemente usados para IFS com sobreposições. Em vez disso, eles empregam uma metodologia combinatória fundamentada na teoria das expansões em bases não inteiras (especificamente base $\phi$ ).

Classes de Equivalência e Expansões Gananciosas: Os autores definem uma relação de equivalência em sequências binárias onde $c \sim d$ se elas geram o mesmo intervalo $I_c = I_d$ . Para lidar com a redundância causada pelas sobreposições exatas, eles selecionam "expansões gananciosas" (greedy expansions) como representantes canônicos para essas classes de equivalência. Na base $\phi$ , as expansões gananciosas são caracterizadas pela ausência da palavra proibida "011".
Contagem Combinatória: O problema é reduzido à contagem do número de intervalos sobreviventes no prefractal aleatório $C_p^n$ . Isso requer a estimativa do número esperado de intervalos distintos, o que depende da cardinalidade das classes de equivalência $[c]$ . Os autores derivam relações recursivas para o tamanho dessas classes, aproveitando as regras de substituição específicas (por exemplo, $100 \to 011$ ) que geram sobreposições na base $\phi$ .
Percolação e Estimativa de Dimensão: A construção é modelada como uma árvore binária aleatória. Os autores relacionam a dimensão de Hausdorff esperada à taxa de crescimento do número esperado de intervalos sobreviventes ( $E_n$ ). Eles estabelecem que $E(\dim(C_p)) = \lim_{n \to \infty} \frac{\log E_n}{n \log \phi}$ .

Principais Resultados
O artigo estabelece uma fórmula de forma fechada para a dimensão de Hausdorff esperada do conjunto de Cantor aleatório $C_p$ como uma função da probabilidade de retenção $p$ :

$E(\dim(C_p)) = \begin{cases} 0 & \text{se } p \in [0, 1/2] \\ \frac{\log(2p)}{\log \phi} & \text{se } p \in [1/2, \phi/2] \\ 1 & \text{se } p \in [\phi/2, 1] \end{cases}$

Principais conclusões incluem:

Limiar de Extinção: Para $p \le 1/2$ , o conjunto é vazio quase certamente, consistente com a teoria de percolação clássica em árvores binárias.
Novo Limiar Crítico: Um novo limiar $p_d = \phi/2 \approx 0,809$ emerge. Para $p > \phi/2$ , a dimensão esperada satura em 1 (a dimensão do espaço ambiente).
Topologia vs. Dimensão: Apesar de a dimensão atingir 1 para $p > \phi/2$ , o conjunto $C_p$ quase certamente não contém componentes conectados (intervalos). O conjunto é uma "poeira" que é topologicamente desconectada, mas preenche o espaço em um sentido dimensional.
Generalização: O resultado generaliza a fórmula conhecida para conjuntos de Cantor aleatórios que satisfazem a OSC (onde a dimensão é $\frac{\log(2p)}{\log q}$ para $p \in [1/2, 1]$ e $q \ge 2$ ) para o caso onde $q = \phi < 2$ e ocorrem sobreposições.

Significância e Alegações
Os autores alegam que este trabalho fornece uma melhoria quantitativa e qualitativa à modelagem de fractais aleatórios ao abordar sistemas que não satisfazem a OSC. Ao utilizar as propriedades específicas da Razão Áurea, eles demonstram como a redundância em expansões de base não inteira pode ser quantificada combinatoriamente para determinar a dimensão.

O artigo postula que a Razão Áurea atua como um limiar crítico para a cardinalidade de representações únicas em bases não inteiras. Consequentemente, o estudo sugere um caminho para compreender a morfologia de conjuntos de Cantor aleatórios com razões de escala $q \in (1, \phi)$ e, potencialmente, estendendo para $q \in (1, 2)$ . Os autores observam que, embora o presente estudo seja unidimensional, a extensão para dimensões superiores (poeira de Cantor aleatória) exigiria uma análise distinta, pois não pode ser simplesmente modelada como o produto cartesiano de conjuntos unidimensionais devido à independência entre base e altura em tais produtos.

A metodologia é apresentada como uma alternativa combinatória às abordagens de teoria da medida encontradas na literatura recente sobre IFS com sobreposições exatas, oferecendo fórmulas recursivas explícitas para o número esperado de intervalos.

A Proporção Áurea e os Blocos que se Esmagam

As Três Zonas de Descoberta

Por Que Isso Importa

Mais como este