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

1. Enunciato del Problema

L'articolo indaga il comportamento asintotico della lunghezza dell'orbita $a(x)$ generata da una ricorsione deterministica che coinvolge la funzione divisore $\tau(n)$ (il numero di divisori di $n$).

• La Ricorsione: Partendo da un intero $x$, la successione è definita come:
  $$n_0 = x, \quad n_{j+1} = n_j - \tau(n_j)$$
  La lunghezza dell'orbita è definita come il primo indice $k$ in cui il termine diventa non positivo:
  $$a(x) := \min\{k \ge 0 : n_k \le 0\}$$
• L'Euristica: Basandosi sull'ordine medio della funzione divisore ($\sum_{n \le x} \tau(n) \sim x \log x$), si prevede che la dimensione tipica del passo sia $\log n$. Ciò suggerisce che la lunghezza dell'orbita dovrebbe scalare come:
  $$a(x) \asymp \frac{x}{\log x}$$
• La Sfida: Le tecniche standard della teoria analitica dei numeri si basano sul campionamento esogeno (media su intervalli o progressioni aritmetiche). In questo problema, il campionamento è endogeno: il valore di $\tau(n_j)$ determina la successiva posizione di campionamento $n_{j+1}$. Ciò crea forti dipendenze che infrangono le euristiche standard di indipendenza, rendendo il problema resistente ai metodi esistenti.

2. Metodologia

L'autore sviluppa un quadro deterministico innovativo che combina identità energetiche, decomposizione diadica e una dicotomia "struttura-verso-caos".

A. Identità Energetiche e Decomposizione Diadica

Il cuore dell'analisi si basa su identità esatte derivate dalla ricorsione:

• Energia Globale: La somma dei passi è uguale al valore iniziale: $\sum_{j=0}^{a(x)-1} \tau(n_j) = x + O(\tau(n_{a(x)-1}))$.
• Energia Locale: L'orbita è decomposta in scale diadiche $I_N = (N, 2N]$. Il numero di passi $V(N)$ spesi per attraversare $I_N$ soddisfa:
  $$\sum_{j \in \text{passi in } I_N} \tau(n_j) = N + O(\Delta_N)$$
  Ciò implica che per attraversare una scala di dimensione $N$, l'orbita deve spendere un'energia proporzionale a $N$.

B. Riduzione al Regime Limitato

L'autore dimostra che i valori grandi di $\tau(n)$ (specificamente $\tau(n) \gg (\log N)^A$) contribuiscono in modo trascurabile all'energia totale su qualsiasi scala diadica. Ciò permette di limitare l'analisi a un regime in cui $\tau(n)$ è uniformemente limitato da una potenza di $\log N$.

C. Rigidità di Fase e Teoremi Inversi

L'articolo impiega un meccanismo di rigidità di fase per analizzare la distribuzione di $\tau(n_j)$:

1. Miscelazione dei Divisori: Se l'orbita si comporta "casualmente", $\tau(n_j)$ dovrebbe essere equidistribuita modulo interi piccoli, portando alla dimensione media del passo attesa.
2. Non-Miscelazione $\implies$ Rigidità: Se l'orbita non si miscela (cioè mostra un bias di Fourier), gli incrementi di fase $e(-h\tau(n_j)/q)$ diventano quasi costanti.
3. Concentrazione dei Residui: Un bias persistente attraverso multipli moduli coprimi forza $\tau(n_j)$ a concentrarsi su una singola scala aritmetica (una specifica classe di resto modulo un grande prodotto di moduli).
4. Riduzione della Varianza: Questa concentrazione implica che la varianza di $\tau(n_j)$ lungo l'orbita diventi trascurabilmente piccola.

3. Contributi Chiave

1. Il Concetto di "Scala dei Divisori"

L'articolo introduce il concetto di Scala dei Divisori come l'unica potenziale ostacolo al comportamento asintotico atteso. Una scala dei divisori è una successione $m_1 > m_2 > \dots > m_r$ all'interno di una scala diadica tale che:

• La dimensione del passo è quasi costante: $m_{i+1} = m_i - T + o(T)$.
• La funzione divisore è quasi costante: $\tau(m_i) = T + o(T)$.
• La successione è lunga ($r \asymp N/T$) e "satura di energia" (spiega quasi tutta l'energia $N$ richiesta per attraversare la scala).

2. Dicotomia Struttura vs Caos

L'autore stabilisce una dicotomia rigorosa:

• Caso Casuale: L'orbita si miscela bene $\implies$ la dimensione media del passo è $\log N$ $\implies$ $a(x) \asymp x/\log x$.
• Caso Strutturato: L'orbita non si miscela $\implies$ la rigidità di fase forza $\tau(n_j)$ a essere costante $\implies$ si forma una Scala dei Divisori.

3. Riduzione a un'Unica Ipotesi

Il complesso problema dinamico è ridotto a un'affermazione statica di anti-concentrazione sulla funzione divisore. L'articolo dimostra che se le Scale dei Divisori non esistono, vale l'asintotico principale.

4. Risultati Principali

Risultati Incondizionati

• Limiti di Base: Senza assunzioni, l'articolo dimostra $a(x) \gg_\epsilon x^{1-\epsilon}$, confermando che la lunghezza dell'orbita è polinomiale ma non ancora stabilendo la scala logaritmica.
• Trascurabilità dei Valori Grandi: I grandi valori divisori non influenzano significativamente la lunghezza dell'orbita.

Teorema Principale Condizionale

Teorema 3: Sotto due ipotesi, il comportamento asintotico è confermato:

1. Ipotesi 1 (Anti-Scala): La funzione divisore $\tau(n)$ non concentra la sua massa su un singolo livello $T \asymp \log N$ lungo lunghe progressioni quasi-aritmetiche.
2. Ipotesi 2 (Rigidità di Fase): Se la miscelazione dei divisori fallisce, l'orbita mostra una forte rigidità di fase (forzando la concentrazione su una singola scala).

Conclusione: Se queste ipotesi valgono, allora:
$$a(x) \asymp \frac{x}{\log x}$$

5. Osservazioni Numeriche

L'articolo include esperimenti numerici per $x \le 10^9$:

• Il rapporto $a(x) / (x/\log x)$ è costantemente inferiore a 1 (circa 0,9), suggerendo che l'euristica del primo ordine sovrastima leggermente la lunghezza.
• Un'euristica raffinata $x / (\log x + \log \log x)$ si adatta leggermente meglio ma mostra ancora deviazioni.
• Crucialmente, i test numerici su progressioni quasi-aritmetiche casuali mostrano nessuna evidenza di scale dei divisori sature di energia (i rapporti di concentrazione rimangono ben al di sotto di 1), a sostegno dell'Ipotesi Anti-Scala.

6. Significato e Prospettive

• Innovazione Metodologica: L'articolo colma il divario tra teoria analitica dei numeri, sistemi dinamici e combinatoria additiva. Introduce un quadro di "rigidità di fase" specificamente per il campionamento endogeno, una tecnica potenzialmente applicabile ad altre funzioni moltiplicative (es. Möbius, Liouville).
• Riduzione del Problema: Riduce con successo un difficile problema dinamico a una domanda statica sulla distribuzione di $\tau(n)$ sulle progressioni aritmetiche.
• Problema Aperto: Il problema aperto centrale rimane dimostrare l'Ipotesi Anti-Scala (che $\tau(n)$ non può concentrarsi su un singolo livello lungo lunghe progressioni). Dimostrarla risolverebbe completamente il comportamento asintotico di $a(x)$.
• Comportamento del Secondo Ordine: L'articolo nota che mentre il termine del primo ordine è probabilmente $x/\log x$, i dati numerici suggeriscono una sottile correzione del secondo ordine ($x/(\log x + \log \log x)$), che rimane teoricamente inspiegata.

In sintesi, Mantovanelli fornisce un quadro strutturale rigoroso che mostra che l'unico modo in cui l'orbita potrebbe discostarsi dalla crescita attesa di $x/\log x$ è se la funzione divisore formasse "scale" altamente rigide a passo costante, un fenomeno che l'autore congetturà non si verifichi.