How many points contain homothetic copies in their Hurwitz continued fraction expansion?

Résumé Technique : Copies Homothétiques dans les Développements en Fractions Continues de Hurwitz

Énoncé du Problème
L'article traite de l'existence de structures de motifs multidimensionnels au sein des développements de nombres théoriques. Alors que le théorème de Szemerédi et ses extensions multidimensionnelles par Furstenberg et Katznelson établissent que les sous-ensembles d'entiers ayant une densité supérieure positive contiennent des progressions arithmétiques et des copies homothétiques d'ensembles finis, la question demeure de savoir si de tels motifs émergent dans les quotients partiels des développements en fractions continues. Plus précisément, les auteurs étudient le développement en fractions continues de Hurwitz pour les nombres irrationnels complexes. Ils cherchent à déterminer la dimension de Hausdorff de l'ensemble des nombres complexes dont les quotients partiels (vus comme un sous-ensemble de $\mathbb{Z}^2$ via l'identification avec les entiers de Gauss) contiennent infiniment de copies homothétiques de tout sous-ensemble fini de $\mathbb{Z}^2$.

Méthodologie
Les auteurs emploient une approche constructive utilisant des Systèmes de Fonctions Itérées (SFI) dérivés de la fraction continue de Hurwitz. La méthodologie procède en trois étapes principales :

1. Construction du Cadre : Les auteurs restreignent leur analyse à l'ensemble $E$ des irrationnels complexes dans un domaine fondamental $U$ dont les quotients partiels sont distincts. Ils utilisent le SFI infini canonique associé à l'expansion de Hurwitz, défini par des applications $\phi_i(x) = (x + k + i\ell)^{-1}$ pour des entiers de Gauss $(k, \ell)$ de normes suffisamment grandes. Ce système satisfait la condition d'ensemble ouvert, la conformité et les propriétés de contraction uniforme.

2. Construction de l'Ensemble Germe (Borne Inférieure) : Pour établir une borne inférieure pour la dimension, les auteurs construisent un « ensemble germe » $S \subset E$. Cet ensemble est constitué de points où les quotients partiels $c_n(x)$ croissent rapidement et strictement ($3^n \leq \|c_n(x)\|_\infty < 2 \cdot 3^n$). En utilisant un principe de distribution de masse, ils prouvent que cet ensemble germe possède une dimension de Hausdorff d'au moins 1. La preuve implique la définition d'une mesure de probabilité sur l'espace des séquences symboliques et l'estimation de la mesure des boules dans l'espace euclidien par rapport à leurs rayons, en utilisant les théorèmes de distorsion pour les fonctions univalentes.

3. Insertion de Motifs (Modification) : Pour garantir que l'ensemble contienne les copies homothétiques requises, les auteurs modifient l'ensemble germe. Ils insèrent des « carrés d'entiers » (blocs finis d'entiers de Gauss formant des grilles carrées) dans la séquence des quotients partiels à des indices spécifiques et largement espacés. Ces blocs insérés sont choisis pour être suffisamment grands afin de contenir des copies homothétiques de tout sous-ensemble fini de $\mathbb{Z}^2$. L'insertion est effectuée avec soin pour maintenir la distinction des quotients partiels (maintenant l'ensemble dans $E$) tout en garantissant que la dimension de Hausdorff reste proche de 1.

4. Estimation de la Dimension : Les auteurs prouvent que l'application du l'ensemble modifié $\tilde{S}$ vers l'ensemble germe $S$ (qui supprime les blocs insérés) est Hölder-continue avec un exposant arbitrairement proche de 1. Cela leur permet de transférer la borne inférieure de dimension de $S$ vers l'ensemble final $H$.

Contributions Clés et Résultats

• Théorème Principal (Théorème 1.1) : Les auteurs prouvent que la dimension de Hausdorff de l'ensemble $H$ (irrationnels complexes dans $E$ contenant infiniment de copies homothétiques de tout sous-ensemble fini de $\mathbb{Z}^2$) est exactement 1. Puisque $H \subset E$ et que la dimension de $E$ est connue pour être au plus 1, le résultat est $\dim_H H = \dim_H E = 1$.
• Construction Explicite : Contrairement aux résultats précédents sur les fractions continues régulières qui donnaient souvent des dimensions strictement inférieures à 1 (par exemple, $1/2$ pour des quotients partiels strictement croissants), ce travail fournit une construction où la dimension est maximale (1) au sein de l'ensemble contraint $E$.
• Émergence de Motifs Multidimensionnels : Le papier démontre que la richesse combinatoire des motifs multidimensionnels (copies homothétiques) est compatible avec la complexité fractale de l'expansion de Hurwitz.

Signification
Le papier prétend fournir un « exemple clair et concret d'émergence de motifs multidimensionnels dans les développements de nombres théoriques ». La signification réside dans le fait de montrer que l'ensemble des points présentant ces structures combinatoires complexes n'est pas un ensemble négligeable (en termes de dimension) mais plutôt un sous-ensemble de dimension maximale du l'espace naturellement contraint $E$. Les auteurs notent que leur méthode, qui implique la construction d'un ensemble germe et sa modification avec de grands carrés d'entiers, s'étend à d'autres développements, suggérant une pertinence plus large pour l'étude de la formation de motifs multidimensionnels dans les systèmes dynamiques. Ce travail jette un pont entre la théorie combinatoire des nombres (théorèmes de type Szemerédi) et la géométrie fractale (dimension de Hausdorff) dans le contexte des fractions continues complexes.