🔢 mathematics

Properties of a random Cantor set with overlaps

Cet article étudie la topologie et la dimension de Hausdorff d'un ensemble de Cantor aléatoire avec chevauchements généré par un système de fonctions itérées avec un rapport d'échelle du Nombre d'Or, étendant les formules connues aux cas où la condition d'ensemble ouvert échoue en utilisant la théorie des expansions dans des bases non entières.

Auteurs originaux : Anna Chiara Lai, Paola Loreti

Publié 2026-07-31

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Anna Chiara Lai, Paola Loreti

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayiez de mesurer la rugosité d'un littoral ou le bord dentelé d'un flocon de neige. Dans le monde des mathématiques, ce ne sont pas seulement des dessins désordonnés ; ce sont des objets appelés « fractales ». Les fractales sont des formes qui se ressemblent quel que soit le niveau de zoom. Un minuscule morceau du bord ressemble exactement au bord entier. Pendant des décennies, les mathématiciens ont eu un manuel de règles fiable pour mesurer la « dimension » de ces formes — essentiellement, l'espace qu'elles occupent. Si une ligne est unidimensionnelle et qu'un carré est bidimensionnel, une fractale peut être de dimension 1,5, vivant quelque part entre les deux.

Habituellement, ce manuel fonctionne parfaitement lorsque les morceaux de la fractale ne s'entrechoquent pas. C'est comme construire une tour avec des blocs : si chaque bloc repose proprement sur celui du dessous sans toucher ses voisins, vous pouvez facilement compter combien de blocs vous avez et prédire la hauteur de la tour. C'est une condition que les mathématiciens appellent la « condition d'ensemble ouvert » (Open Set Condition). Mais que se passe-t-il lorsque les blocs sont trop grands, ou que la tour est construite de telle manière que les blocs commencent à s'écraser les uns sur les autres ? L'ancien manuel de règles s'effondre. Les pièces se chevauchent, se cachent les unes derrière les autres, et les mathématiques deviennent complexes. C'est le puzzle que notre article aborde : essayer de mesurer la taille d'une fractale lorsque les blocs de construction s'entrechoquent, plus précisément en utilisant le « Nombre d'Or » comme règle de réduction.

Le Nombre d'Or et les Blocs qui s'Écrasent

Dans cette étude, Anna Chiara Lai et Paola Loreti étudient un type très spécifique de fractale appelé « ensemble de Cantor aléatoire ». Pour comprendre cela, imaginez un jeu de « garder ou écarter » joué avec un segment de droite. Vous commencez avec un bâton long. Vous avez deux machines magiques, appelons-les Machine 0 et Machine 1. La Machine 0 rétrécit le bâton et le déplace vers la gauche ; la Machine 1 le rétrécit et le déplace vers la droite. L'ampleur de leur rétrécissement est déterminée par un nombre célèbre : le Nombre d'Or (souvent écrit $\phi$ ), qui est environ 1,618.

Voici le rebondissement : contrairement à un jeu normal où les machines travaillent dans des zones séparées et ordonnées, ces deux machines sont un peu maladroettes. Parce que le Nombre d'Or est un nombre si spécifique, les pièces qu'elles créent se retrouvent parfois l'une sur l'autre. C'est comme si vous essayiez de placer deux autocollants sur une page, mais que la colle était si collante qu'ils fusionnaient en une seule tache. En mathématiques, cela est appelé un « chevauchement » (overlap), et cela brise les règles standards de mesure de la forme.

Pour rendre les choses encore plus intéressantes, les auteurs ajoutent une couche de hasard. Chaque fois que les machines tentent de créer une nouvelle pièce, elles lancent une pièce de monnaie. Si elle tombe sur « face » (avec une probabilité $p$ ), la pièce reste. Si elle tombe sur « pile", la pièce est jetée. Ils répètent ce processus encore et encore, créant une pré-fractale de plus en plus détaillée. La grande question est la suivante : alors que ce processus se poursuit indéfiniment, quelle sera la « taille » de la forme finale ? Disparaît-elle complètement ? Devient-elle une ligne solide ? Ou reste-t-elle un étrange nuage de poussière ?

Les Trois Zones de Découverte

Les auteurs ont découvert que la réponse dépend entièrement de la fréquence à laquelle la pièce de monnaie tombe sur « face » (la probabilité $p$ ). Ils ont identifié trois zones distinctes, ou « territoires », où le comportement de la fractale change complètement.

Zone 1 : L'acte de disparition ( $p$ est compris entre 0 et 0,5)
Si vous gardez les pièces moins de la moitié du temps, la fractale disparaît simplement. C'est comme essayer de construire une tour avec des blocs, mais en jetant plus de la moitié d'entre eux à chaque fois que vous ajoutez une couche. Finalement, vous manquez totalement de blocs. Les auteurs prouvent que dans cette zone, la forme finale est vide. Il ne reste rien.

Zone 2 : Le Nuage de Poussière ( $p$ est compris entre 0,5 et environ 0,809)
C'est la partie la plus surprenante. Si vous gardez les pièces plus de la moitié du temps, mais pas trop plus, une forme subsiste. Cependant, ce n'est pas une ligne solide. C'est une « poussière » de points déconnectés. Les auteurs ont trouvé une formule précise pour déterminer la « taille » de cette poussière. La taille (appelée dimension de Hausdorff) croît à mesure que vous augmentez la probabilité $p$ . La formule est la suivante :
$\text{Dimension} = \frac{\log(2p)}{\log(\phi)}$
Il s'agit d'une généralisation d'une ancienne formule qui ne fonctionnait que lorsque les blocs ne se chevauchaient pas. Ici, même si les blocs s'écrasent les uns sur les autres, les mathématiques suivent toujours un schéma prévisible, mais avec un plafond différent.

Zone 3 : La Ligne Solide ( $p$ est compris entre environ 0,809 et 1)
C'est là que la magie opère. Si vous gardez les pièces plus de 80,9 % du temps, la dimension de la forme grimpe exactement à 1. En mathématiques, cela signifie que la forme remplit une ligne. Elle ressemble à une ligne solide pour un outil de mesure de dimension.

Mais attention : Même si la dimension indique « 1 » (comme une ligne), la forme n'est pas réellement une ligne connectée. C'est toujours une collection poussiéreuse de morceaux brisés. C'est comme si vous aviez une ligne faite de sable où les grains sont si proches que une règle ne peut pas faire la différence entre le « sable » et le « solide », mais si vous regardiez de près avec un microscope, vous verriez des interstices partout. Les auteurs affirment explicitement que pour toute probabilité $p$ supérieure à 0, la forme n'a aucune partie connectée. Elle ne devient jamais une véritable ligne solide, même si sa dimension suggère qu'elle le devrait.

Pourquoi cela importe

Avant cet article, les mathématiciens avaient du mal à traiter ces fractales « écrasantes ». Les outils standards supposaient que les pièces restaient séparées. Lorsqu'elles se chevauchaient, les formules donnaient de mauvaises réponses ou aucune réponse du tout. Lai et Loreti ont montré que même dans ce scénario désordonné et de chevauchement, il existe un ordre caché. Ils ont prouvé qu'il est toujours possible de calculer la taille attendue de la forme en utilisant une formule spécifique, à condition de prendre en compte les règles du « Nombre d'Or ».

Ils ont également identifié un seuil critique : le nombre $\phi/2$ (qui est environ 0,809). En dessous de ce nombre, la forme est une poussière fractale avec une dimension fractionnaire. Au-dessus de ce nombre, la forme « pense » qu'elle est une ligne (dimension 1), même si elle est toujours brisée. Cette découverte aide à comprendre comment le hasard et le chevauchement interagissent dans des systèmes complexes. Cela suggère que même lorsque les choses deviennent désordonnées et se chevauchent, la nature (ou les mathématiques) trouve souvent un moyen de se stabiliser selon un schéma prévisible, à condition de savoir quelles règles observer.

L'article ne se contente pas de deviner ces résultats ; il fournit une preuve rigoureuse utilisant un mélange de théorie des probabilités et de l'étude de la façon dont les nombres sont écrits dans des bases non standard (comme écrire des nombres en utilisant le Nombre d'Or plutôt que la base 10). Ils ne se sont pas contentés de simuler cela sur un ordinateur ; ils ont dérivé les formules exactes qui décrivent le comportement. Ce travail ouvre la voie à la compréhension d'autres systèmes désordonnés et de chevauchement où les anciennes règles ne s'appliquent plus.

Résumé Technique : Propriétés d'un ensemble de Cantor aléatoire avec chevauchements

Énoncé du problème
Cet article étudie la structure topologique et la dimension de Hausdorff d'un ensemble de Cantor aléatoire généré par un système de fonctions itérées (IFS) qui viole la condition d'ensemble ouvert (OSC). Plus précisément, les auteurs analysent un système unidimensionnel défini par deux applications contractives, $f_0(x) = \frac{x}{\phi}$ et $f_1(x) = \frac{x+1}{\phi}$ , où $\phi = \frac{1+\sqrt{5}}{2}$ est le nombre d'or.

Dans le cadre déterministe, cet IFS génère un ensemble où des séquences binaires distinctes peuvent correspondre au même intervalle (chevauchements exacts) ou bien où les intervalles s'intersectent. Les auteurs introduisent un processus de randomisation : en partant de l'intervalle $I_0 = [0, \phi]$ , à chaque itération $n$ , les images des intervalles actuels sous $f_0$ et $f_1$ sont conservées avec une probabilité $p$ et rejetées avec une probabilité $1-p$ . Le fractal aléatoire résultant est l'ensemble limite $C_p = \bigcap_{n \ge 0} C_p^n$ .

Le défi central réside dans le fait que les formules standards pour la dimension des ensembles de Cantor aléatoires, qui reposent sur l'OSC (garantissant la disjointivité des images), échouent dans ce scénario. La violation de l'OSC provient du fait que la dimension de similitude $\frac{\log 2}{\log \phi}$ excède la dimension de l'espace ambiant (1), entraînant des chevauchements inévitables et des « chevauchements exacts » où différentes séquences génèrent des intervalles identiques.

Méthodologie
L'approche des auteurs diverge des méthodes de théorie de la mesure souvent utilisées pour les IFS avec chevauchements. Ils emploient plutôt une méthodologie combinatoire ancrée dans la théorie des développements en bases non entières (spécifiquement la base $\phi$ ).

Classes d'équivalence et développements gloutons : Les auteurs définissent une relation d'équivalence sur les séquences binaires où $c \sim d$ si elles génèrent le même intervalle $I_c = I_d$ . Pour gérer la redondance causée par les chevauchements exacts, ils sélectionnent des « développements gloutons » comme représentants canoniques de ces classes d'équivalence. En base $\phi$ , les développements gloutons sont caractérisés par l'absence du mot interdit « 011 ».
Dénombrement combinatoire : Le problème est réduit au dénombrement des intervalles survivants dans le préfractal aléatoire $C_p^n$ . Cela nécessite d'estimer le nombre attendu d'intervalles distincts, ce qui dépend de la cardinalité des classes d'équivalence $[c]$ . Les auteurs dérivent des relations récursives pour la taille de ces classes, en exploitant les règles de substitution spécifiques (par exemple, $100 \to 011$ ) qui génèrent des chevauchements en base $\phi$ .
Percolation et estimation de la dimension : La construction est modélisée comme un arbre binaire aléatoire. Les auteurs relient la dimension de Hausdorff attendue au taux de croissance du nombre attendu d'intervalles survivants ( $E_n$ ). Ils établissent que $E(\dim(C_p)) = \lim_{n \to \infty} \frac{\log E_n}{n \log \phi}$ .

Résultats clés
L'article établit une formule en forme close pour la dimension de Hausdorff attendue de l'ensemble de Cantor aléatoire $C_p$ en fonction de la probabilité de rétention $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}$

Principales conclusions :

Seuil d'extinction : Pour $p \le 1/2$ , l'ensemble est presque sûrement vide, ce qui est cohérent avec la théorie de la percolation classique sur les arbres binaires.
Nouveau seuil critique : Un nouveau seuil $p_d = \phi/2 \approx 0,809$ émerge. Pour $p > \phi/2$ , la dimension attendue sature à 1 (la dimension de l'espace ambiant).
Topologie vs Dimension : Bien que la dimension atteigne 1 pour $p > \phi/2$ , l'ensemble $C_p$ ne contient presque sûrement aucune composante connexe (intervalles). L'ensemble est une « poussière » qui est topologiquement déconnectée mais qui remplit l'espace d'un point de vue dimensionnel.
Généralisation : Le résultat généralise la formule connue pour les ensembles de Cantor aléatoires satisfaisant l'OSC (où la dimension est $\frac{\log(2p)}{\log q}$ pour $p \in [1/2, 1]$ et $q \ge 2$ ) au cas où $q = \phi < 2$ et où des chevauchements se produisent.

Signification et revendications
Les auteurs affirment que ce travail apporte une amélioration quantitative et qualitative à la modélisation des fractales aléatoires en traitant des systèmes qui ne satisfont pas l'OSC. En utilisant les propriétés spécifiques de la base du Nombre d'Or, ils démontrent comment la redondance dans les développements en base non entière peut être quantifiée de manière combinatoire pour déterminer la dimension.

L'article postule que le Nombre d'Or agit comme un seuil critique pour la cardinalité des représentations uniques dans les bases non entières. Par conséquent, l'étude suggère une voie pour comprendre la morphologie des ensembles de Cantor aléatoires avec des rapports d'échelle $q \in (1, \phi)$ , et potentiellement pour $q \in (1, 2)$ . Les auteurs notent que bien que l'étude actuelle soit unidimensionnelle, l'extension à des dimensions supérieures (poussière de Cantor aléatoire) nécessiterait une analyse distincte, car elle ne peut pas être simplement modélisée comme le produit cartésien d'ensembles unidimensionnels en raison de l'indépendance de la base et de la hauteur dans de tels produits.

La méthodologie est présentée comme une alternative combinatoire aux approches de la théorie de la mesure trouvées dans la littérature récente sur les IFS avec chevauchements exacts, offrant des formules récursives explicites pour le nombre attendu d'intervalles.

Le Nombre d'Or et les Blocs qui s'Écrasent

Les Trois Zones de Découverte

Pourquoi cela importe

Articles similaires