Furstenberg systems of certain sequences of superpolynomial growth
Moragues, Koutsogiannis
We give examples of sequences defined by smooth functions of intermediate growth, and we study the Furstenberg systems that model their statistical behavior. In particular, we show that the systems are Bernoulli. We do so by studying exponential sums that reflect the strong equidistribution properties of said sequences. As a by-product of our approach, we also get some convergence results.
academic
Systèmes de Furstenberg de certaines séquences de croissance surpolynomiale
Cet article étudie les séquences définies par des fonctions lisses de croissance modérée et analyse les systèmes de Furstenberg qui modélisent leur comportement statistique. En particulier, il est démontré que ces systèmes sont des systèmes de Bernoulli. Cet objectif est atteint en étudiant les sommes exponentielles qui reflètent les propriétés d'équidistribution forte des séquences. Comme sous-produit de la méthode, certains résultats de convergence sont également obtenus.
Application du principe de correspondance de Furstenberg: Le principe de correspondance introduit par Furstenberg dans la preuve du théorème de Szemerédi a inauguré une nouvelle approche utilisant la théorie ergodique pour étudier les problèmes de combinatoire, transformant la recherche de motifs dans les grands sous-ensembles en propriétés de récurrence sur les systèmes préservant la mesure.
Modélisation dynamique des propriétés statistiques des séquences: Les propriétés statistiques d'une séquence bornée a:N→C peuvent être étudiées par le biais de modèles dynamiques appropriés, appelés systèmes de Furstenberg.
Limitations de la recherche existante:
Les travaux de Frantzikinakis et al. traitent principalement des séquences à taux de croissance polynomial
Pour les séquences de croissance modérée (surpolynomiale mais sous-exponentielle), les méthodes traditionnelles comme la technique de van der Corput ne s'appliquent plus
L'étude des séquences de croissance modérée reste un sujet largement ouvert
Cet article se concentre sur les séquences de la forme (nlogcn)n et (α⌊nlogcn⌋)n (où 0<c<1/2, α∈R∖Z), qui possèdent une propriété de croissance modérée: croissance plus rapide que tout polynôme mais plus lente que la fonction exponentielle.
Caractérisation des systèmes de Bernoulli: Démonstration que les séquences de croissance modérée a(n):=e(G(n)) et b(n):=e(α⌊G(n)⌋) possèdent un unique système de Furstenberg de Bernoulli, où G(x)=xlogcx.
Propriétés d'équidistribution forte: Établissement de la propriété de « goodness » pour la séquence ((G(n+h1),…,G(n+hr)))n, concept plus fort que l'équidistribution.
Estimations de sommes exponentielles: Développement de techniques d'estimation de sommes exponentielles pour les combinaisons linéaires de fonctions de croissance modérée, généralisant la méthode de Brüdern-Perelli.
Applications à la dynamique topologique: Obtention de résultats d'orthogonalité asymptotique pour les systèmes d'entropie topologique nulle.
Convergence de type von Neumann: Démonstration de résultats de convergence L2 dans les systèmes de transformations commutantes préservant la mesure.
Selon le Corollaire 2.4, une séquence possède un unique système de Furstenberg de Bernoulli si et seulement si:
limN→∞En∈[N]aε1(n+h1)⋯aεr(n+hr)=0
pour tous les r∈N, les h1,…,hr∈Z distincts et tous les (ε1,…,εr)∈Zr∖{0}.
Estimation inférieure (Proposition 3.5):
Par l'analyse d'opérateurs de différences finies, établissement pour F(s)(x) d'une borne inférieure de la forme
s!F(s)(x)≥d⋅xs+τG(x)
où les constantes d,τ dépendent uniquement des coefficients et des paramètres de décalage.
Estimation supérieure (Lemme 3.13):
Utilisation de la formule intégrale de Cauchy et de la théorie des fonctions analytiques pour obtenir
s!F(s)(x)≤C(N2)sG(3N)
Nouvelle approche pour la croissance modérée: La technique classique de van der Corput échoue pour la croissance surpolynomiale; cet article développe une nouvelle technique basée sur le lemme de Karacuba.
Analyse fine des dérivées: Transformation du problème des dérivées de combinaisons linéaires en formes plus faciles à traiter par des opérateurs de différences finies, avec établissement d'estimations uniformes supérieures et inférieures.
Preuve de la propriété « goodness »: Démonstration de la propriété d'équidistribution forte des séquences décalées, concept plus fort que l'équidistribution usuelle.
Cet article est une recherche purement théorique, dont les résultats sont principalement vérifiés par des preuves mathématiques. Les vérifications clés incluent:
Théorème 1.1 (Caractérisation des systèmes de Furstenberg):
Pour 0<c<1/2, les séquences a(n):=e(G(n)) et b(n):=e(α⌊G(n)⌋) (α∈R∖Z) possèdent un unique système de Furstenberg de Bernoulli.
Théorème 1.3 (Propriétés d'équidistribution):
Les séquences ((G(n+h1),…,G(n+hr)))n et ((α⌊G(n+h1)⌋,…,α⌊G(n+hr)⌋))n sont respectivement équidistribuées sur Tr et sur les espaces correspondants.
Théorème 1.4 (Propriété de goodness):
La séquence ((G(n+h1),…,G(n+hr)))n est « good », c'est-à-dire que toute combinaison linéaire non triviale possède une propriété d'équidistribution forte.
Corollaire 1.2 (Application à la dynamique topologique):
Pour un système dynamique topologique (X,T) d'entropie topologique nulle, on a l'orthogonalité asymptotique:
limN→∞En∈[N]a(n)f(Tnx)=0
Théorème 1.5 (Résultat de type von Neumann):
Pour les systèmes de transformations commutantes préservant la mesure, on a la convergence L2:
limN→∞En∈[N]T1⌊G(n+h1)⌋⋯Tr⌊G(n+hr)⌋f−Pf2=0
Séquences de croissance polynomiale: Frantzikinakis 7 a déterminé la structure des systèmes de Furstenberg pour les séquences à taux de croissance polynomial
Fonctions du domaine de Hardy: Travaux connexes traitant les itérations de fonctions lisses du domaine de Hardy
Applications en théorie des nombres: Connexions avec la conjecture de Chowla, la fonction de Möbius et autres problèmes de théorie des nombres
Cet article comble le vide entre la croissance polynomiale et la croissance exponentielle, traitant le cas de croissance modérée que les techniques antérieures ne pouvaient pas couvrir.
Conjecture 1.6: Pour un système préservant la mesure (X,B,μ,T) et une fonction f∈L∞(μ), pour presque tout x∈X, la séquence d(n):=f(T⌊G(n)⌋x) possède un unique système de Furstenberg de Bernoulli.
Conjecture 1.7: Concernant les propriétés de convergence des transformations non commutantes dans les systèmes d'entropie nulle.
Recherches de Frantzikinakis sur les séquences du domaine de Hardy 7,8
Techniques d'estimation de sommes exponentielles de Karacuba 17
Théorie fondamentale des systèmes de Furstenberg de Bergelson et al. 1,2
Évaluation globale: Ceci est un article mathématique théorique de haute qualité qui apporte des contributions importantes au domaine interdisciplinaire entre systèmes dynamiques et théorie des nombres. Bien que techniquement complexe, il fournit des perspectives profondes pour la compréhension des propriétés statistiques des séquences de croissance modérée et possède une valeur théorique importante.