Additive relations in irrational powers

Résumé Technique : Relations Additives dans les Puissances Irrationnelles

Énoncé du Problème
Cet article étudie la structure additive des ensembles de la forme $A[c] = \{a^c : a \in A\}$, où $A$ est un ensemble fini de nombres réels non négatifs et $c$ est un exposant réel irrationnel. L'objectif principal est d'étudier la cardinalité de la somme $k$-uple $kA[c]$ et l'énergie additive $k$-uple $E_k(A[c])$. Plus précisément, l'auteur cherche à déterminer le comportement asymptotique de ces quantités lorsque $A$ est un sous-ensemble d'une progression arithmétique et que $c$ est irrationnel, en contrastant cela avec le cas bien étudié où $c$ est un entier.

Méthodologie
L'article emploie une synthèse d'outils issus de la théorie des modèles, de la théorie des nombres transcendants et de la combinatoire additive :

1. Géométrie O-minimale et Comptage de Points : L'outil analytique central est le théorème de comptage de Pila–Wilkie et son récent raffinement par Binyamini, Novikov et Zak (BNZ). L'auteur définit les ensembles de solutions aux équations additives impliquant des puissances irrationnelles comme des ensembles définissables dans la structure o-minimale $\mathbb{R}_{\exp}$. La stratégie consiste à compter les points rationnels de hauteur bornée sur ces ensembles. Une innovation clé utilisée est le résultat de BNZ, qui améliore le terme d'erreur du théorème de Pila–Wilkie de $O(N^\epsilon)$ à une puissance de $\log N$ pour les ensembles définissables dans $\mathbb{R}_{\exp}$.
2. Transcendance Fonctionnelle : Pour traiter la « partie algébrique » des ensembles définissables (courbes semi-algébriques), l'article démontre un théorème de transcendance fonctionnelle (Théorème 3.5). Ce théorème établit que si un homomorphisme de groupe continu $\phi: \mathbb{R}_{>0}^n \to \mathbb{R}_{>0}^n$ ne se restreint pas à un morphisme de groupes algébriques, le clôture de Zariski de l'image d'un ensemble semi-algébrique irréductible est un translaté d'un sous-groupe algébrique connexe. Ce résultat repose sur le théorème d'Ax pour la fonction exponentielle.
3. Approximation Diophantienne et Formes Linéaires de Logarithmes : Pour la seconde partie de l'article, l'auteur utilise la théorie de Baker sur les formes linéaires de logarithmes et les bornes effectives de Fel'dman. Cela est utilisé pour établir des conditions sous lesquelles des combinaisons linéaires de puissances d'entiers multiplicativement indépendants ne s'annulent pas.

Contributions Clés et Résultats

• Expansion des Sommes pour les Puissances Irrationnelles (Théorème 1.1) :
  Le résultat principal établit que pour un ensemble fini $A$ contenu dans une progression arithmétique de $N$ termes avec $|A| \ge (\log N)^{C_1}$, et pour tout réel irrationnel $c$, la cardinalité de la somme $k$-uple satisfait :
  $$|kA[c]| \sim_k \frac{|A|^k}{k!}$$
  lorsque $|A| \to \infty$. Cela indique que l'ensemble $A[c]$ se comporte comme un ensemble « générique » sans relations additives non triviales, à condition que l'exposant soit irrationnel. Le résultat est uniforme en $c$.

• Bornes d'Énergie Additive (Théorème 1.3) :
  Le résultat d'expansion est déduit d'une formule asymptotique pour l'énergie additive. L'article prouve que le nombre de solutions à l'équation $\sum_{i=1}^s a_i^c = \sum_{j=1}^r b_j^c$ (où les tuples ne sont pas des permutations les uns des autres) est borné par $O_s(|A|^\theta (\log N)^{C_2})$, où $\theta = \max(1, \min(r, s-1))$.

  • Pour le cas $r=s=2$, cela donne $E_2(A[c]) = 2|A|^2 + O(|A|(\log N)^{C_2})$.
  • L'article démontre que cette borne est optimale à une puissance de $\log N$ près en construisant des exemples où des solutions non triviales existent pour des $c$ irrationnels spécifiques dérivés de progressions géométriques.

• Corollaire pour Tous les Exposants (Corollaire 1.2) :
  En combinant le cas irrationnel avec les résultats existants pour les exposants entiers (Hooley, Skinner–Wooley, Salberger, etc.) et un résultat de linéarité par Carr et O'Sullivan, l'article prouve que pour $A = \{1, \dots, N\}$ et tout $c \in \mathbb{R} \setminus \{0, 1, 2\}$ :
  $$|A[c] + A[c]| \sim \frac{N^2}{2}$$
  Cela unifie le comportement des sommes à travers les exposants rationnels et irrationnels, excluant les cas triviaux $c=0, 1$ et le cas quadratique $c=2$ (où le théorème de Landau donne un ordre plus petit).

• Non-annulation pour les Exposants Bien Approchés (Théorème 1.4 / 5.1) :
  L'article fournit un critère d'approximation diophantienne garantissant que les formes linéaires de puissances $c$-ièmes d'entiers multiplicativement indépendants ne s'annulent pas. Spécifiquement, si $c$ est suffisamment bien approché par un rationnel $a/q$ (dans une borne calculable $\psi$), alors $F(n) = \sum a_i n_i^c \neq 0$ pour des $n_i$ multiplicativement indépendants.

  • Cela mène à la conclusion que pour tout ensemble $S$ d'entiers positifs multiplicativement indépendants, il existe une infinité de nombres réels effectivement calculables $c$ tels que $S[c]$ est linéairement indépendant sur $\mathbb{Q}$. Cela offre une nouvelle preuve d'un fait précédemment établi par Bays–Kirby–Wilkie et Jones–Servi.

Signification et Revendications
L'article prétend fournir les premières bornes inférieures uniformes sur la taille des sommes $kA[c]$ pour les exposants irrationnels, démontant que les puissances irrationnelles détruisent la structure additive d'une manière qui est quantifiable et asymptotiquement maximale. La signification réside dans :

1. Uniformité : Les résultats sont uniformes pour tous les $c$ irrationnels, contrairement aux travaux précédents qui pourraient dépendre de propriétés spécifiques de l'exposant.
2. Innovation Méthodologique : L'application du raffinement BNZ du théorème de Pila–Wilkie aux problèmes impliquant des puissances irrationnelles permet d'obtenir un terme d'erreur avec un gain de puissance (en termes de $\log N$) qui était auparavant hors de portée pour de tels problèmes.
3. Connexion à la Transcendance : Le travail jette un pont entre la combinatoire additive et la transcendance fonctionnelle, montrant comment la nature non algébrique de l'application $x \mapsto x^c$ (pour $c$ irrationnel) force les ensembles de solutions des équations additives à être « transcendants » d'une manière qui limite leur cardinalité.
4. Optimalité : L'article construit explicitement des exemples montrant que les bornes dérivées sont nettes à des facteurs logarithmiques près, distinguant le comportement des puissances irrationnelles du phénomène « somme-produit » qui ne produit pas de résultats de cette qualité pour des ensembles généraux.

L'auteur note que la méthode n'est pas censée se généraliser aux progressions arithmétiques généralisées (PAG) arbitraires sans développement supplémentaire en matière de comptage de points o-minimaux avec dépendance explicite de dimension, et que les résultats pour les ensembles plus creux (par exemple, de cardinalité $\log \log N$) nécessiteraient des améliorations significatives des théorèmes de comptage actuels.