🔢 mathematics

Properties of a random Cantor set with overlaps

Este artículo investiga la topología y la dimensión de Hausdorff de un conjunto de Cantor aleatorio con solapamientos generado por un sistema de funciones iteradas con una razón de escala de la Proporción Áurea, extendiendo las fórmulas conocidas a los casos en que la Condición del Conjunto Abierto falla mediante el uso de la teoría de expansiones en bases no enteras.

Autores originales: Anna Chiara Lai, Paola Loreti

Publicado 2026-07-31

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Anna Chiara Lai, Paola Loreti

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás intentando medir la rugosidad de una costa, o el borde dentado de un copo de nieve. En el mundo de las matemáticas, estos no son solo dibujos desordenados; son objetos llamados "fractales". Los fractales son formas que se ven similares sin importar cuánto te acerques. Una pequeña parte del borde se ve igual que todo el borde. Un fragmento diminuto de la orilla se parece mucho al borde completo. Durante décadas, los matemáticos han tenido una regla confiable para medir la "dimensión" de estas formas —básicamente, cuánto espacio ocupan. Si una línea es unidimensional y un cuadrado es bidimensional, un fractal podría tener 1.5 dimensiones, viviendo en algún punto intermedio.

Usualmente, esta regla funciona perfectamente cuando las piezas de un fractal no chocan entre sí. Es como construir una torre con bloques: si cada bloque se asienta ordenadamente sobre el que tiene debajo sin tocar a sus vecinos, puedes contar fácilmente cuántos bloques tienes y predecir qué tan alta será la torre. Esta es una condición que los matemáticos llaman "Condición de Conjunto Abierto". Pero, ¿qué sucede cuando los bloques son demasiado grandes, o cuando la torre se construye de tal manera que los bloques comienzan a aplastarse unos contra otros? El viejo manual de reglas se rompe. Las piezas se superponen, se esconden detrás de otras, y las matemáticas se vuelven complicadas. Este es el rompecabezas que aborda nuestro artículo: intentar medir el tamaño de un fractal cuando los bloques de construcción chocan entre sí, específicamente utilizando el "Número Áureo" como la regla para determinar cuánto se encogen.

El Número Áureo y los Bloques que se Aplastan

En este estudio, Anna Chiara Lai y Paola Loreti investigan un tipo muy específico de fractal llamado "conjunto de Cantor aleatorio". Para entender esto, imagina un juego de "conservar o descartar" jugado con un segmento de línea. Comienzas con un palo largo. Tienes dos máquinas mágicas, llamémoslas Máquina 0 y Máquina 1. La Máquina 0 encoge el palo y lo mueve hacia la izquierda; la Máquina 1 lo encoge y lo mueve hacia la derecha. La cantidad que se encogen está determinada por un número famoso: el Número Áureo (a menudo escrito como $\phi$ ), que es aproximadamente 1.618.

Aquí está el giro: a diferencia de un juego normal donde las máquinas trabajan en zonas separadas y ordenadas, estas dos máquinas son un poco torpes. Debido a que el Número Áureo es un número tan específico, las piezas que crean a veces caen justo encima de las otras. Es como si intentaras colocar dos calcomanías en una página, pero el pegamento fuera tan pegajoso que se fusionaran en una sola mancha. En términos matemáticos, esto se llama un "solapamiento" (overlap), y rompe las reglas estándar para medir la forma.

Para hacer esto aún más interesante, los autores añaden una capa de azar. Cada vez que las máquinas intentan crear una nueva pieza, lanzan una moneda. Si sale "cara" (con una probabilidad $p$ ), la pieza se queda. Si sale "cruz", la pieza se desecha. Repiten este proceso una y otra vez, creando un pre-fractal que se vuelve cada vez más detallado. La gran pregunta es: a medida que este proceso continúa para siempre, ¿qué tan "grande" es la forma final? ¿Desaparece por completo? ¿Se convierte en una línea sólida? ¿O permanece como una extraña nube de polvo?

Las Tres Zonas del Descubrimiento

Los autores descubrieron que la respuesta depende enteramente de qué tan seguido sale "cara" en la moneda (la probabilidad $p$ ). Encontraron tres zonas distintas, o "territorios", donde el comportamiento del fractal cambia completamente.

Zona 1: El Acto de Desaparición ( $p$ está entre 0 y 0.5)
Si conservas las piezas menos de la mitad de las veces, el fractal simplemente desaparece. Es como intentar construir una torre con bloques, pero tiras más de la mitad de ellos cada vez que añades una capa. Eventualmente, te quedas sin bloques por completo. Los autores demuestran que en esta zona, la forma final está vacía. No queda nada.

Zona 2: La Nube de Polvo ( $p$ está entre 0.5 y aproximadamente 0.809)
Esta es la parte más sorprendente. Si conservas las piezas más de la mitad de las veces, pero no demasiado más, queda una forma. Sin embargo, no es una línea sólida. Es un "polvo" de puntos desconectados. Los autores encontraron una fórmula precisa para determinar qué tan "grande" es este polvo. El tamaño (llamado dimensión de Hausdorff) crece a medida que aumentas la probabilidad $p$ . La fórmula es:
$\text{Dimensión} = \frac{\log(2p)}{\log(\phi)}$
Esta es una generalización de una fórmula antigua que solo funcionaba cuando los bloques no se superponían. Aquí, aunque los bloques se aplastan unos contra otros, las matemáticas siguen un patrón predecible, solo que con un techo diferente.

Zona 3: La Línea Sólida ( $p$ está entre aproximadamente 0.809 y 1)
Aquí es donde ocurre la magia. Si conservas las piezas más del 80.9% de las veces, la dimensión de la forma salta exactamente a 1. En términos matemáticos, esto significa que la forma llena una línea. Se ve como una línea sólida para una herramienta de medición de dimensiones.

Pero aquí está el truco: Aunque la dimensión dice "1" (como una línea), la forma no es realmente una línea conectada. Sigue siendo un polvo de piezas rotas y desconectadas. Es como si tuvieras una línea hecha de arena donde los granos están tan cerca que una regla no puede distinguir entre "arena" y "sólido", pero si miraras de cerca con un microscopio, verías huecos por todas partes. Los autores afirman explícitamente que para cualquier probabilidad $p$ mayor que 0, la forma no tiene partes conectadas. Nunca llega a ser una línea sólida real, a pesar de que su dimensión sugiere que debería serlo.

Por Qué Esto Importa

Antes de este artículo, los matemáticos tenían dificultades para lidiar con estos fractales "que se aplastan". Las herramientas estándar asumían que las piezas permanecían separadas. Cuando se superponían, las fórmulas daban respuestas incorrectas o no daban ninguna respuesta. Lai y Loreti demostraron que incluso en este escenario desordenado y de superposición, existe un orden oculto. Demostraron que todavía se puede calcular el tamaño esperado de la forma usando una fórmula específica, siempre que se tome en cuenta la regla del "Número Áureo".

También identificaron un umbral crítico: el número $\phi/2$ (que es aproximadamente 0.809). Por debajo de este número, la forma es un polvo fractal con una dimensión fraccionaria. Por encima de este, la forma "piensa" que es una línea (dimensión 1), aunque sigue estando rota. Este descubrimiento ayuda a comprender cómo la aleatoriedad y la superposición interactúan en sistemas complejos. Sugiere que, incluso cuando las cosas se vuelven desordenadas y se superponen, la naturaleza (o las matemáticas) a menudo encuentra una manera de establecerse en un patrón predecible, siempre que sepas qué reglas buscar.

El artículo no solo supone estos resultados; proporciona una prueba rigurosa utilizando una mezcla de teoría de la probabilidad y el estudio de cómo se escriben los números en bases no estándar (como escribir números usando el Número Áureo en lugar de la base 10). No se limitaron a simular esto en una computadora; derivaron las fórmulas matemáticas exactas que describen el comportamiento. Este trabajo abre la puerta para comprender otros sistemas desordenados y de superposición donde las viejas reglas ya no se aplican.

Resumen Técnico: Propiedades de un Conjunto de Cantor Aleatorio con Solapamientos

Planteamiento del Problema
Este artículo investiga la estructura topológica y la dimensión de Hausdorff de un conjunto de Cantor aleatorio generado por un Sistema de Funciones Iteradas (IFS) que viola la Condición de Conjunto Abierto (OSC). Específicamente, los autores analizan un sistema unidimensional definido por dos aplicaciones contractivas, $f_0(x) = \frac{x}{\phi}$ y $f_1(x) = \frac{x+1}{\phi}$ , donde $\phi = \frac{1+\sqrt{5}}{2}$ es la Media Áurea.

En el entorno determinista, este IFS genera un conjunto donde secuencias binarias distintas pueden mapear al mismo intervalo (solapamientos exactos) o donde los intervalos se intersectan. Los autores introducen un proceso de aleatorización: partiendo del intervalo $I_0 = [0, \phi]$ , en cada iteración $n$ , las imágenes de los intervalos actuales bajo $f_0$ y $f_1$ se retienen con una probabilidad $p$ y se descartan con una probabilidad $1-p$ . El conjunto fractal resultante es el conjunto límite $C_p = \bigcap_{n \ge 0} C_p^n$ .

El desafío central abordado es que las fórmulas estándar para la dimensión de conjuntos de Cantor aleatorios, que dependen de la OSC (asegurando la disyunción de las imágenes), fallan en este escenario. La violación de la OSC surge porque la dimensión de similitud $\frac{\log 2}{\log \phi}$ excede la dimensión del espacio ambiente (1), lo que conduce a solapamientos inevitables y a "solapamientos exactos" donde diferentes secuencias generan intervalos idénticos.

Metodología
El enfoque de los autores diverge de los métodos de teoría de la medida utilizados frecuentemente para IFS con solapamientos. En su lugar, emplean una metodología combinatoria basada en la teoría de expansiones en bases no enteras (específicamente la base $\phi$ ).

Clases de Equivalencia y Expansiones Codiciosas (Greedy): Los autores definen una relación de equivalencia en secuencias binarias donde $c \sim d$ si generan el mismo intervalo $I_c = I_d$ . Para manejar la redundancia causada por los solapamientos exactos, seleccionan "expansiones codiciosas" como representantes canónicos de estas clases de equivalencia. En la base $\phi$ , las expansiones codiciosas se caracterizan por la ausencia de la palabra prohibida "011".
Conteo Combinatorio: El problema se reduce a contar el número de intervalos que sobreviven en el prefractal aleatorio $C_p^n$ . Esto requiere estimar el número esperado de intervalos distintos, lo cual depende de la cardinalidad de las clases de equivalencia $[c]$ . Los autores derivan relaciones recursivas para el tamaño de estas clases, aprovechando las reglas de sustitución específicas (por ejemplo, $100 \to 011$ ) que generan solapamientos en la base $\phi$ .
Percolación y Estimación de la Dimensión: La construcción se modela como un árbol binario aleatorio. Los autores relacionan la dimensión de Hausdorff esperada con la tasa de crecimiento del número esperado de intervalos sobrevivientes ( $E_n$ ). Establecen que $E(\dim(C_p)) = \lim_{n \to \infty} \frac{\log E_n}{n \log \phi}$ .

Resultados Clave
El artículo establece una fórmula de forma cerrada para la dimensión de Hausdorff esperada del conjunto de Cantor aleatorio $C_p$ como una función de la probabilidad de retención $p$ :

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

Hallazgos clave incluyen:

Umbral de Extinción: Para $p \le 1/2$ , el conjunto es vacío casi seguramente, en consistencia con la teoría de percolación clásica en árboles binarios.
Nuevo Umbral Crítico: Emerge un nuevo umbral novedoso $p_d = \phi/2 \approx 0.809$ . Para $p > \phi/2$ , la dimensión esperada se satura en 1 (la dimensión del espacio ambiente).
Topología vs. Dimensión: A pesar de que la dimensión alcanza 1 para $p > \phi/2$ , el conjunto $C_p$ casi seguramente no contiene componentes conectadas (intervalos). El conjunto es un "polvo" que está topológicamente desconectado pero llena el espacio en un sentido dimensional.
Generalización: El resultado generaliza la fórmula conocida para conjuntos de Cantor aleatorios que satisfacen la OSC (donde la dimensión es $\frac{\log(2p)}{\log q}$ para $p \in [1/2, 1]$ y $q \ge 2$ ) al caso donde $q = \phi < 2$ y ocurren solapamientos.

Significancia y Reivindicaciones
Los autores afirman que este trabajo proporciona una mejora cuantitativa y cualitativa al modelado de fractales aleatorios al abordar sistemas que no satisfacen la OSC. Al utilizar las propiedades específicas de la base de la Media Áurea, demuestran cómo la redundancia en las expansiones de bases no enteras puede cuantificarse combinatoriamente para determinar la dimensión.

El artículo postula que la Media Áurea actúa como un umbral crítico para la cardinalidad de las representaciones únicas en bases no enteras. En consecuencia, el estudio sugiere una vía para comprender la morfología de los conjuntos de Cantor aleatorios con razones de escala $q \in (1, \phi)$ , y potencialmente extenderlo a $q \in (1, 2)$ . Los autores señalan que, si bien el estudio actual es unidimensional, la extensión a dimensiones superiores (polvo de Cantor aleatorio) requeriría un análisis distinto, ya que no puede modelarse simplemente como el producto cartesiano de conjuntos unidimensionales debido a la independencia de la base y la altura en tales productos.

La metodología se presenta como una alternativa combinatoria a los enfoques de teoría de la medida encontrados en la literatura reciente sobre IFS con solapamientos exactos, ofreciendo fórmulas recursivas explícitas para el número esperado de intervalos.

El Número Áureo y los Bloques que se Aplastan

Las Tres Zonas del Descubrimiento

Por Qué Esto Importa

Más como este