2025-11-12T07:19:09.653600

Orders of Oscillation Motivated by Sarnak's Conjecture--Part II

Jiang
This work is a continuation of [13]. We study the linear disjointness between higher-order oscillating sequences and nonlinear dynamical systems. Specifically, we prove that any oscillating sequence of order $m=d+k-1$ and any simple polynomial skew product of degree $k$ on the $d$-Euclidean space are linearly disjoint. Additionally, we demonstrate that any oscillating sequence of order $d$ and any minimal mean attractable and minimal quasi-discrete spectrum dynamical system of order $d$ are linearly disjoint. Finally, we introduce multi-linearly disjoint sequences and construct examples of such sequences.
academic

Ordres d'Oscillation Motivés par la Conjecture de Sarnak--Partie II

Informations Fondamentales

  • ID de l'article : 2201.08800
  • Titre : Orders of Oscillation Motivated by Sarnak's Conjecture--Part II
  • Auteur : Yunping Jiang (Queens College & Graduate Center, City University of New York)
  • Classification : math.DS (Systèmes Dynamiques), math.NT (Théorie des Nombres)
  • Date de publication : Prépublication arXiv, soumis en janvier 2022, révisé en novembre 2025 (v2)
  • Lien de l'article : https://arxiv.org/abs/2201.08800v2

Résumé

Cet article poursuit les travaux antérieurs de l'auteur 13 et étudie l'indépendance linéaire entre les suites d'oscillation d'ordre supérieur et les systèmes dynamiques non linéaires. Les principaux résultats prouvés sont : (1) toute suite d'oscillation d'ordre m=d+k1m=d+k-1 est linéairement indépendante d'un produit croisé polynomial simple de degré kk sur l'espace euclidien dd-dimensionnel ; (2) toute suite d'oscillation d'ordre dd est linéairement indépendante d'un système dynamique minimal moyennement attractif et minimal quasi-spectre discret d'ordre dd ; (3) introduction du concept de suites linéairement indépendantes multiples avec construction d'exemples concrets.

Contexte et Motivation de la Recherche

Problème Central

Le problème central étudié dans cet article est la généralisation et l'approfondissement de la conjecture de Sarnak. La conjecture de Sarnak affirme que la suite de Möbius u=(μ(n))nNu = (\mu(n))_{n\in\mathbb{N}} est linéairement indépendante de tout système dynamique continu à entropie topologique nulle. C'est un problème important dans le domaine interdisciplinaire de la théorie des nombres et des systèmes dynamiques.

Importance du Problème

  1. Connexion entre théorie des nombres et systèmes dynamiques : La conjecture de Sarnak établit des liens profonds entre les fonctions arithmétiques en théorie des nombres (comme la fonction de Möbius) et la théorie des systèmes dynamiques
  2. Signification théorique : L'indépendance linéaire est un concept clé pour comprendre l'interaction entre les systèmes déterministes et les suites « pseudo-aléatoires »
  3. Valeur de généralisation : L'étude des propriétés des suites d'oscillation générales aide à comprendre quelles suites possèdent des propriétés similaires à la suite de Möbius

Limitations des Méthodes Existantes

  1. Travaux antérieurs : L'auteur a étudié dans 13 l'indépendance linéaire entre les suites d'oscillation et les applications affines sur le tore, mais seulement dans le cas linéaire
  2. Défi non linéaire : Pour les systèmes dynamiques non linéaires (comme les produits croisés polynomiaux), des propriétés d'oscillation d'ordre supérieur sont nécessaires
  3. Limitations de la théorie spectrale : La théorie classique des systèmes à spectre discret est insuffisante pour traiter les systèmes dynamiques plus généraux

Motivation de la Recherche

L'auteur vise à :

  • Généraliser le cas linéaire aux produits croisés polynomiaux non linéaires
  • Introduire le concept d'ordre des suites d'oscillation pour caractériser précisément les propriétés d'oscillation requises
  • Explorer quels systèmes dynamiques nécessitent quel ordre d'oscillation pour garantir l'indépendance linéaire

Contributions Principales

  1. Généralisation aux systèmes non linéaires : Preuve que les suites d'oscillation d'ordre m=d+k1m=d+k-1 sont linéairement indépendantes des produits croisés polynomiaux simples de degré kk sur l'espace dd-dimensionnel (Théorème 1)
  2. Produits croisés polynomiaux généraux : Pour les produits croisés polynomiaux de forme générale, preuve qu'il existe un ordre fini m=m(d,k,h1,,hd)m=m(d,k,h_1,\ldots,h_d) tel que les suites d'oscillation de cet ordre sont linéairement indépendantes (Théorème 2)
  3. Généralisation de la théorie spectrale : Généralisation du quasi-spectre discret (QDS) aux systèmes minimal quasi-spectre discret (MQDS), et preuve que les suites d'oscillation d'ordre dd sont linéairement indépendantes des systèmes MMA et MQDS(d) (Théorème 3)
  4. Indépendance linéaire multiple : Introduction du nouveau concept de suites linéairement indépendantes multiples avec construction d'exemples concrets (Théorème 4), lié à la conjecture de Chowla
  5. Perfectionnement du cadre théorique : Généralisation de la définition d'indépendance linéaire aux systèmes dynamiques sur les espaces polonais, fournissant un cadre pour traiter les espaces non compacts

Détails des Méthodes

Définitions des Tâches

Indépendance linéaire (définition classique) : Soit XX un espace métrique compact, f:XXf: X \to X une application continue, et c=(cn)nNc = (c_n)_{n\in\mathbb{N}} une suite de nombres complexes. On dit que cc est linéairement indépendante de ff si pour tout ϕC(X)\phi \in C(X) et xXx \in X, on a limN1Nn=1Ncnϕ(fnx)=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(f^n x) = 0

Ordre d'une suite d'oscillation : On dit que cc est une suite d'oscillation d'ordre dd si pour tout polynôme PP à coefficients réels de degré au plus dd, on a limN1Nn=1Ncne2πiP(n)=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n e^{2\pi i P(n)} = 0

Indépendance linéaire généralisée : Pour un espace polonais YY et un espace quotient X=Y/X = Y/\sim, une projection π:YX\pi: Y \to X, et une application continue f:YYf: Y \to Y, on dit que cc est linéairement indépendante de ff si pour tout ϕC(X)\phi \in C(X) et yYy \in Y, on a limN1Nn=1Ncnϕ(π(fny))=0\lim_{N\to\infty} \frac{1}{N}\sum_{n=1}^N c_n \phi(\pi(f^n y)) = 0

Cadre Technique Principal

1. Analyse Structurelle des Produits Croisés Polynomiaux

Un produit croisé polynomial simple est défini par :

undefined