🔢 mathematics

Counterexamples to integer-coefficient criteria for recurrence along functions from a Hardy field

Cet article fournit des réponses négatives à deux questions posées par Bergelson, Moreira et Richter en construisant des contre-exemples à l'aide d'ensembles de Bohr élémentaires qui démontrent que des fonctions issues d'un champ de Hardy peuvent satisfaire des conditions d'extension de dérivées à coefficients entiers sans pour autant garantir des ensembles de temps de retour communs épais ou même non vides.

Auteurs originaux : Kangbo Ouyang, Leiye Xu, Shuhao Zhang

Publié 2026-05-19

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Kangbo Ouyang, Leiye Xu, Shuhao Zhang

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

La Vue d'Ensemble : Prédire l'Avenir des Nombres

Imaginez que vous êtes un détective essayant de prédire quand un motif spécifique réapparaîtra dans une longue séquence chaotique de nombres. En mathématiques, cela s'appelle la récurrence.

L'article que vous lisez porte sur un type spécifique de séquence de nombres générée par des fonctions de « champ de Hardy ». Imaginez ces fonctions comme des machines qui crachent des nombres qui croissent à un rythme régulier et prévisible (comme $t^{3/2}$ , qui croît plus vite qu'un carré mais plus lentement qu'un cube).

Pendant longtemps, les mathématiciens ont cru détenir un « manuel de règles » parfait (un ensemble de critères) garantissant que ces motifs réapparaîtraient souvent et sous forme de chaînes longues et ininterrompues. Ce manuel reposait sur l'examen des coefficients réels (les décimales exactes et désordonnées) des fonctions.

La Question : Les auteurs de cet article se sont demandé : Pouvons-nous simplifier ce manuel de règles ? Pouvons-nous ignorer les décimales désordonnées et nous concentrer uniquement sur les nombres entiers (les entiers) contenus dans les fonctions ? Si les règles des nombres entiers sont satisfaites, le motif doit-il encore réapparaître ?

La Réponse : Non. Les auteurs ont prouvé que le manuel de règles « entier » n'est pas suffisamment robuste. Vous pouvez satisfaire toutes les règles des entiers, et le motif pourrait tout de même échouer à réapparaître, ou réapparaître d'une manière très brisée et éparsse.

Les Personnages Principaux : Les « Machines de Croissance »

Pour prouver leur point, les auteurs ont construit deux « machines » spécifiques (paires de fonctions) qui agissent comme des farceurs.

1. La Machine « Presque-Là » (Théorème 1.5)

Imaginez deux coureurs, Coureur A et Coureur B.

Coureur A court à une vitesse de $t^{3/2}$ .
Coureur B court à une vitesse de $\lambda t^{3/2} + t$ (où $\lambda$ est une décimale étrange, non répétitive comme $\pi$ ).

Le Piège :
Si vous regardez les parties entières de leurs vitesses, elles semblent suivre une règle parfaite. Elles passent le « test des entiers ».

L'Attente : Vous vous attendriez à ce que, si vous choisissez un point de départ, vous finissiez par trouver une longue période où les deux coureurs atteignent simultanément des points de contrôle spécifiques.
La Réalité : Les auteurs ont trouvé une « piste » spécifique (un ensemble de nombres) où les coureurs atteignent bien les points de contrôle, mais jamais sur une ligne longue et ininterrompue. Ils les atteignent de manière éparse et brisée.
La Métaphore : C'est comme un horaire de train qui semble parfait sur le papier (des heures entières), mais lorsque vous essayez réellement de prendre le train, vous ne le rattrapez que pour une fraction de seconde, puis devez attendre longtemps, puis le rattrapez à nouveau pour une fraction de seconde. Vous n'obtenez jamais un trajet long et continu.

2. La Machine « Fantôme » (Théorème 1.6)

C'est une version encore plus extrême. Les auteurs ont légèrement modifié le deuxième coureur (en ajoutant un décalage $\xi$ ).

Le Piège : Cette paire passe également le « test des entiers ».
La Réalité : Sur une piste spécifique, les deux coureurs ne se rencontrent jamais au même point de contrôle en même temps. L'ensemble des moments où ils se rencontrent est vide.
La Métaphore : C'est comme deux personnes essayant de se serrer la main. Elles suivent toutes les deux les règles du protocole de poignée de main (les règles des entiers), mais en raison d'un décalage minuscule et invisible (la partie décimale), leurs mains sont toujours à un millimètre l'une de l'autre. Elles ne se touchent jamais réellement.

3. L'Astuce « Trois Voies » (Théorème 1.7)

Les auteurs ont ajouté un troisième coureur pour répondre à une question différente : Que se passe-t-il si nous regardons l'« ombre » des fonctions (les polynômes auxquels elles ressemblent) ?

Ils ont montré que même si les « ombres » des fonctions semblent devoir fonctionner parfaitement ensemble (intersectionnelle conjointe), les fonctions elles-mêmes peuvent encore refuser de se rencontrer.
La Métaphore : Imaginez trois danseurs. Leurs ombres sur le mur semblent parfaitement synchronisées. Mais en réalité, sur la piste de danse, ils sont complètement décalés et ne se rencontrent jamais au centre.

Comment Ils Ont Fait : L'« Obstruction de Bohr »

Comment ont-ils prouvé que ces coureurs ne se rencontrent jamais ? Ils ont utilisé un concept appelé un ensemble de Bohr.

Imaginez un ensemble de Bohr comme une « zone sûre » ou une « clôture » dans un monde circulaire (comme un cadran d'horloge).

Les auteurs ont construit une « clôture » spécifique (un ensemble de nombres $E$ ) que les coureurs sont forcés de fréquenter.
En raison de la façon dont les nombres sont construits (en utilisant ce nombre irrationnel étrange $\lambda$ ), la « clôture » est façonnée de manière à forcer les coureurs à se manquer.
C'est comme installer un labyrinthe où les murs sont invisibles. Les coureurs suivent les règles, mais la géométrie du labyrinthe garantit qu'ils ne peuvent jamais croiser leur chemin de la manière que le « manuel de règles des entiers » prédisait qu'ils le devraient.

L'Essentiel

L'article apporte une « réponse négative » à deux grandes questions dans le domaine de la Théorie Ergodique de Ramsey (une branche des mathématiques qui étudie l'ordre dans le chaos).

Vous ne pouvez pas utiliser uniquement des nombres entiers. Vous ne pouvez pas remplacer les règles complexes des nombres réels par de simples règles d'entiers et vous attendre à la même garantie de récurrence.
L'« Ombre » ne suffit pas. Même si les « ombres » polynomiales des fonctions semblent prometteuses, les fonctions elles-mêmes peuvent encore échouer à produire les motifs attendus.

En bref : L'univers de ces séquences de nombres est plus subtil que nous ne le pensions. Juste parce que les parties « nombres entiers » des règles semblent bonnes ne signifie pas que l'image globale est bonne. Les minuscules parties décimales invisibles peuvent briser complètement le motif.

Résumé technique : Contre-exemples aux critères à coefficients entiers pour la récurrence le long de fonctions issues d'un champ de Hardy

Énoncé du problème
L'article traite de deux questions spécifiques posées par Bergelson, Moreira et Richter concernant la récurrence multiple le long de séquences générées par des fonctions issues d'un champ de Hardy. En théorie de Ramsey ergodique, les résultats de récurrence reposent souvent sur des conditions impliquant l'enveloppe linéaire réelle de fonctions et de leurs dérivées. Plus précisément, Bergelson, Moreira et Richter ont établi que si une collection de fonctions $f_1, \dots, f_k$ issues d'un champ de Hardy satisfait une condition où tout élément non nul de leur enveloppe linéaire réelle de dérivées diverge vers l'infini (ou vers zéro) à l'infini, alors l'ensemble des temps de retour communs pour tout ensemble de densité supérieure positive est « épais » (contient des intervalles arbitrairement longs).

Les auteurs examinent si cette hypothèse forte peut être affaiblie en une condition à coefficients entiers. Ils se concentrent sur deux questions spécifiques :

Question 1.2 : La conclusion de récurrence vaut-elle si l'on suppose seulement que tout élément non nul de l'enveloppe dérivée entière ( $\nabla_{\mathbb{Z}}$ -enveloppe) diverge vers l'infini, plutôt que l'enveloppe réelle ?
Question 1.4 : La conclusion de récurrence vaut-elle si l'on remplace l'hypothèse selon laquelle l'enveloppe linéaire réelle approxime un ensemble d'intersectivité conjointe de polynômes par l'hypothèse plus faible selon laquelle l'ensemble des polynômes entiers approximatés par l'enveloppe réelle ( $P_{\mathbb{Z}}$ ) est d'intersectivité conjointe ?

Méthodologie
Les auteurs adoptent une approche constructive basée sur les ensembles de Bohr élémentaires pour générer des contre-exemples. Leur méthodologie implique :

Principe d'obstruction de Bohr : Ils utilisent le fait que si une combinaison linéaire de suites à valeurs entières $u_i(n)$ peut être approchée par un polynôme réel $P(n)$ modulo 1 (c'est-à-dire que $\sum \theta_i u_i(n) - P(n)$ est borné), alors l'ensemble des temps de retour communs peut être contraint à un ensemble où $\|\beta P(n)\|_{\mathbb{T}}$ est petit.
Équirépartition et épaisseur : Ils exploitent le théorème d'équirépartition de Weyl et le critère de Boshernitzan pour les séquences de champs de Hardy pour démontrer que certains ensembles définis par une croissance polynomiale (comme $n^{3/2}$ ) sont épais.
Construction de contre-exemples : En sélectionnant soigneusement des paramètres (spécifiquement des nombres irrationnels $\lambda$ et des entiers $L$ ), ils construisent des ensembles $E \subset \mathbb{N}$ de densité naturelle positive tels que les ensembles de temps de retour soient contraints par l'obstruction « modulo un ». Cette obstruction empêche les ensembles de temps de retour d'être épais, voire non vides, malgré la satisfaction des conditions à coefficients entiers.

Contributions et résultats clés

Réponse négative à la Question 1.2 (Théorème 1.5) :
Les auteurs fournissent un contre-exemple utilisant la paire de fonctions $f_1(t) = t^{3/2}$ et $f_2(t) = \lambda t^{3/2} + t$ avec $\lambda \in \mathbb{R} \setminus \mathbb{Q}$ .
- Ils prouvent que pour tout $F$ dans l'enveloppe dérivée entière de ces fonctions, $\lim_{t\to\infty} |F(t)| \in \{0, \infty\}$ .
- Cependant, ils construisent un ensemble $E$ de densité naturelle positive tel que l'ensemble des temps de retour communs $R_{f_1}(E) \cap R_{f_2}(E)$ soit syndétique par morceaux mais non épais. Cela démontre que la condition à coefficients entiers est insuffisante pour garantir l'épaisseur, même dans le cas de test spécifique isolé par Bergelson, Moreira et Richter.
Réponse négative à la Question 1.2 (Obstruction plus forte) (Théorème 1.6) :
En utilisant une paire étroitement liée $g_1(t) = t^{3/2}$ et $g_2(t) = \lambda t^{3/2} + L(t + \xi)$ , les auteurs montrent que la condition à coefficients entiers ne garantit même pas que l'ensemble des temps de retour communs soit non vide.
- Ils construisent un ensemble $E$ de densité naturelle positive où $R_{g_1}(E) \cap R_{g_2}(E) = \emptyset$ .
- Ce résultat repose sur le fait que, bien que la condition d'enveloppe entière soit satisfaite, une combinaison linéaire réelle des itérés arrondis reste proche d'une expression polynomiale modulo 1 qui ne touche jamais zéro, éliminant ainsi efficacement les temps de retour communs.
Réponse négative à la Question 1.4 (Théorème 1.7) :
Les auteurs traitent la question de savoir si l'intersectivité conjointe des polynômes entiers ( $P_{\mathbb{Z}}$ ) implique la conclusion de récurrence du Théorème 1.3.
- Ils construisent une famille $h_1(t) = t^{3/2}$ , $h_2(t) = \lambda t^{3/2} + L(t + \sqrt{2})$ , et $h_3(t) = t^2$ .
- Ils montrent que $P_{\mathbb{Z}}(h_1, h_2, h_3)$ consiste en des multiples entiers non nuls de $t^2$ , qui est d'intersectivité conjointe.
- Malgré cela, ils construisent un ensemble $E$ tel que l'intersection des ensembles de temps de retour pour les trois fonctions soit vide. Cela prouve que la condition plus faible proposée dans la Question 1.4 n'implique pas la conclusion de récurrence.

Signification
L'article fournit des réponses négatives définitives à deux questions ouvertes concernant la suffisance des critères à coefficients entiers dans la théorie de la récurrence pour les séquences de champs de Hardy. Les résultats démontrent que :

Le « remplacement à coefficients entiers » de l'hypothèse d'enveloppe de dérivées n'implique pas que les ensembles de temps de retour communs soient épais.
Sous la même hypothèse à coefficients entiers, l'ensemble des temps de retour communs peut même être vide.
L'intersectivité conjointe des polynômes entiers approximatés par l'enveloppe réelle est insuffisante pour garantir la récurrence.

Les auteurs concluent que les conditions à coefficients réels dans les théorèmes existants sont nécessaires et ne peuvent être relâchées en coefficients entiers sans perdre la force des conclusions de récurrence (épaisseur ou même non-viduité). Les constructions reposent sur l'interplay entre les propriétés arithmétiques des fonctions (via les ensembles de Bohr) et les propriétés analytiques des séquences de champs de Hardy.