The Divisor Function along a Deterministic Orbit and the Emergence of Ladders

1. Énoncé du problème

L'article étudie le comportement asymptotique de la longueur d'orbite $a(x)$ générée par une récurrence déterministe impliquant la fonction diviseur $\tau(n)$ (le nombre de diviseurs de $n$).

• La récurrence : À partir d'un entier $x$, la suite est définie par :
  $$n_0 = x, \quad n_{j+1} = n_j - \tau(n_j)$$
  La longueur d'orbite est définie comme le premier indice $k$ où le terme devient non positif :
  $$a(x) := \min\{k \ge 0 : n_k \le 0\}$$
• L'héuristique : Basée sur l'ordre moyen de la fonction diviseur ($\sum_{n \le x} \tau(n) \sim x \log x$), la taille typique du pas est attendue comme étant $\log n$. Cela suggère que la longueur d'orbite devrait se comporter comme :
  $$a(x) \asymp \frac{x}{\log x}$$
• Le défi : Les techniques standard de la théorie analytique des nombres reposent sur un échantillonnage exogène (moyenne sur des intervalles ou des progressions arithmétiques). Dans ce problème, l'échantillonnage est endogène : la valeur de $\tau(n_j)$ détermine le prochain lieu d'échantillonnage $n_{j+1}$. Cela crée de fortes dépendances qui brisent les heuristiques d'indépendance standard, rendant le problème résistant aux méthodes existantes.

2. Méthodologie

L'auteur développe un cadre déterministe novateur combinant des identités d'énergie, une décomposition dyadique et une dichotomie « structure contre hasard ».

A. Identités d'énergie et décomposition dyadique

Le cœur de l'analyse repose sur des identités exactes dérivées de la récurrence :

• Énergie globale : La somme des pas égale la valeur initiale : $\sum_{j=0}^{a(x)-1} \tau(n_j) = x + O(\tau(n_{a(x)-1}))$.
• Énergie locale : L'orbite est décomposée en échelles dyadiques $I_N = (N, 2N]$. Le nombre de pas $V(N)$ passés à traverser $I_N$ satisfait :
  $$\sum_{j \in \text{pas dans } I_N} \tau(n_j) = N + O(\Delta_N)$$
  Cela implique que pour traverser une échelle de taille $N$, l'orbite doit dépenser une énergie proportionnelle à $N$.

B. Réduction au régime borné

L'auteur démontre que les grandes valeurs de $\tau(n)$ (spécifiquement $\tau(n) \gg (\log N)^A$) contribuent de manière négligeable à l'énergie totale sur toute échelle dyadique. Cela permet de restreindre l'analyse à un régime où $\tau(n)$ est uniformément borné par une puissance de $\log N$.

C. Rigidité de phase et théorèmes inverses

L'article utilise un mécanisme de rigidité de phase pour analyser la distribution de $\tau(n_j)$ :

1. Mélange des diviseurs : Si l'orbite se comporte de manière « aléatoire », $\tau(n_j)$ devrait être équidistribué modulo de petits entiers, conduisant à la taille de pas moyenne attendue.
2. Non-mélange $\implies$ Rigidité : Si l'orbite échoue à se mélanger (c'est-à-dire qu'elle présente un biais de Fourier), les incréments de phase $e(-h\tau(n_j)/q)$ deviennent presque constants.
3. Concentration des résidus : Un biais persistant à travers plusieurs modules premiers entre eux force $\tau(n_j)$ à se concentrer sur une échelle arithmétique unique (une classe de résidus spécifique modulo un grand produit de modules).
4. Réduction de la variance : Cette concentration implique que la variance de $\tau(n_j)$ le long de l'orbite devient négligeable.

3. Contributions clés

1. Le concept de « Échelle à diviseurs »

L'article introduit le concept d'Échelle à diviseurs (Divisor Ladder) comme la seule obstruction potentielle au comportement asymptotique attendu. Une échelle à diviseurs est une suite $m_1 > m_2 > \dots > m_r$ au sein d'une échelle dyadique telle que :

• La taille du pas est presque constante : $m_{i+1} = m_i - T + o(T)$.
• La fonction diviseur est presque constante : $\tau(m_i) = T + o(T)$.
• La suite est longue ($r \asymp N/T$) et « saturante en énergie » (elle représente presque toute l'énergie $N$ requise pour traverser l'échelle).

2. Dichotomie Structure contre Hasard

L'auteur établit une dichotomie rigoureuse :

• Cas aléatoire : L'orbite se mélange bien $\implies$ la taille de pas moyenne est $\log N$ $\implies$ $a(x) \asymp x/\log x$.
• Cas structuré : L'orbite échoue à se mélanger $\implies$ la rigidité de phase force $\tau(n_j)$ à être constant $\implies$ une Échelle à diviseurs se forme.

3. Réduction à une hypothèse unique

Le problème dynamique complexe est réduit à une affirmation statique de non-concentration concernant la fonction diviseur. L'article démontre que si les Échelles à diviseurs n'existent pas, le comportement asymptotique principal est vérifié.

4. Résultats principaux

Résultats inconditionnels

• Bornes de base : Sans hypothèses, l'article démontre $a(x) \gg_\epsilon x^{1-\epsilon}$, confirmant que la longueur d'orbite est polynomiale mais n'établissant pas encore l'échelle logarithmique.
• Négligeabilité des grandes valeurs : Les grandes valeurs de diviseurs n'affectent pas significativement la longueur de l'orbite.

Théorème principal conditionnel

Théorème 3 : Sous deux hypothèses, le comportement asymptotique est confirmé :

1. Hypothèse 1 (Anti-échelle) : La fonction diviseur $\tau(n)$ ne concentre pas sa masse sur un niveau unique $T \asymp \log N$ le long de longues progressions arithmétiques proches.
2. Hypothèse 2 (Rigidité de phase) : Si le mélange des diviseurs échoue, l'orbite présente une forte rigidité de phase (forçant la concentration sur une échelle unique).

Conclusion : Si ces hypothèses sont vérifiées, alors :
$$a(x) \asymp \frac{x}{\log x}$$

5. Observations numériques

L'article inclut des expériences numériques pour $x \le 10^9$ :

• Le rapport $a(x) / (x/\log x)$ est constamment inférieur à 1 (environ 0,9), suggérant que l'heuristique du premier ordre surestime légèrement la longueur.
• Une heuristique affinée $x / (\log x + \log \log x)$ correspond légèrement mieux mais montre toujours des écarts.
• Crucialement, les tests numériques sur des progressions arithmétiques proches aléatoires ne montrent aucune preuve d'échelles à diviseurs saturantes en énergie (les ratios de concentration restent bien inférieurs à 1), soutenant l'Hypothèse Anti-échelle.

6. Importance et perspectives

• Innovation méthodologique : L'article fait le pont entre la théorie analytique des nombres, les systèmes dynamiques et la combinatoire additive. Il introduit un cadre de « rigidité de phase » spécifiquement pour l'échantillonnage endogène, une technique potentiellement applicable à d'autres fonctions multiplicatives (par exemple, Möbius, Liouville).
• Réduction du problème : Il réduit avec succès un problème dynamique difficile à une question statique sur la distribution de $\tau(n)$ sur les progressions arithmétiques.
• Problème ouvert : Le problème ouvert central reste la preuve de l'Hypothèse Anti-échelle (que $\tau(n)$ ne peut pas se concentrer sur un niveau unique le long de longues progressions). Prouver cela résoudrait entièrement le comportement asymptotique de $a(x)$.
• Comportement du second ordre : L'article note que bien que le terme du premier ordre soit probablement $x/\log x$, les données numériques suggèrent une correction subtile du second ordre ($x/(\log x + \log \log x)$), qui reste théoriquement inexpliquée.

En résumé, Mantovanelli fournit un cadre structurel rigoureux montrant que la seule façon dont l'orbite pourrait s'écarter de la croissance attendue $x/\log x$ est si la fonction diviseur forme des « échelles » très rigides à pas constant, un phénomène que l'auteur conjecture ne se produit pas.