On the Limiting Density of a gcd Map

Titolo: Sulla densità limite di una mappa GCD

Autori: Thang Pang Ern, Malcolm Tan Jun Xi, Loh Wei Xuan Ryan.

1. Il Problema

Il lavoro si concentra sullo studio di una funzione aritmetica di due variabili, definita come:
$$f(a, b) = \frac{\gcd(a + b, ab)}{\gcd(a, b)}$$
dove $a, b \in \mathbb{N}$.

L'obiettivo principale è analizzare la frequenza con cui questa funzione assume il valore 1. In termini probabilistici, gli autori investigano la densità asintotica $\rho$ delle coppie $(a, b)$ tali che $f(a, b) = 1$. La funzione $f$ è interessante perché "impacchetta" le operazioni fondamentali di addizione ($+$) e moltiplicazione ($\cdot$) in un singolo invariante, misurando quanto la combinazione additiva $a+b$ condivida divisori comuni con la combinazione moltiplicativa $ab$, al netto del loro massimo comun divisore.

Prima di analizzare la densità, gli autori dimostrano che la funzione $f: \mathbb{N} \times \mathbb{N} \to \mathbb{N}$ è suriettiva, ovvero ogni numero naturale può essere ottenuto come valore di $f(a, b)$ per opportune scelte di $a$ e $b$.

2. Metodologia

L'approccio metodologico combina teoria dei numeri elementare, analisi asintotica e teoria dei gruppi.

• Analisi Probabilistica e Prodotto di Eulero: Per calcolare la densità $\rho = \lim_{n \to \infty} \rho_n$ (dove $\rho_n$ è la proporzione di coppie $(i, j) \in [1, n]^2$ con $f(i, j)=1$), gli autori utilizzano un approccio basato sulla probabilità locale per ogni numero primo $p$. Sfruttando il Teorema Cinese del Resto, assumono l'indipendenza degli eventi per primi distinti.
• Scomposizione dei Valori: La condizione $f(a, b) = 1$ viene tradotta in termini di divisibilità. Ponendo $d = \gcd(a, b)$, $a = da'$e$b = db'$ con $\gcd(a', b')=1$, la condizione diventa $\gcd(a' + b', d) = 1$. Questo implica che nessun primo $p$ deve dividere sia $d$ che $a' + b'$.
• Calcolo della Probabilità Locale ($P_p$): Per un primo fissato $p$, si calcola la probabilità che $p$ divida sia $d$ che $a' + b'$. Attraverso un'analisi dettagliata delle potenze di $p$ che dividono $a$ e $b$ (usando la notazione $p^k \parallel n$ per la divisibilità esatta), si dimostra che l'evento critico si verifica solo quando le potenze di $p$ in $a$ e $b$ sono uguali.
• Connessione con Funzioni Arithmetiche: Gli autori collegano la densità risultante al valore medio asintotico della funzione $g(n) = \frac{\phi(n)\sigma(n)}{n^2}$, dove $\phi$ è la funzione di Eulero e $\sigma$ è la funzione somma dei divisori. Utilizzano il metodo dell'iperbole di Dirichlet e risultati di Wirsing sulle funzioni moltiplicative.
• Interpretazione Algebrica: Viene stabilita una connessione sorprendente con la teoria dei gruppi, specificamente con il numero di classi di coniugazione nel gruppo lineare generale $GL(2, \mathbb{Z}/n\mathbb{Z})$.

3. Risultati Chiave

A. Densità Limite e Costante di Classe Quadratica

Il risultato principale è la formula esatta per la densità limite $\rho$:
$$\rho = \prod_{p} \left( 1 - \frac{1}{p^2(p+1)} \right) \approx 0.88151$$
dove il prodotto è esteso su tutti i numeri primi $p$.

• Coincidenza Sorprendente: Gli autori notano che questa costante coincide esattamente con la costante della classe quadratica (quadratic class number constant) che appare nella teoria dei campi quadratici reali. Nello specifico, appare nell'analisi asintotica della media dei numeri di classe $h(D)$ per campi quadratici reali $\mathbb{Q}(\sqrt{D})$.
• Interpretazione: Questo suggerisce un legame inaspettato tra la distribuzione di una mappa GCD semplice e gli invarianti aritmetici profondi dei campi quadratici (in particolare la distribuzione dei numeri di classe e le congetture di Cohen-Lenstra).

B. Generalizzazione per $r \ge 2$

Gli autori considerano una generalizzazione della funzione:
$$f_r(a, b) = \frac{\gcd(a^r + b^r, ab)}{\gcd(a, b)}$$

• Per $r=1$, si ottiene il risultato complesso sopra descritto.
• Per $r \ge 2$, il comportamento cambia drasticamente: $f_r(a, b) = 1$ se e solo se $\gcd(a, b) = 1$.
• Di conseguenza, la densità limite per $r \ge 2$ ricade nella classica probabilità di coprimalità:
  $$\rho_r = \frac{1}{\zeta(2)} = \frac{6}{\pi^2} \approx 0.6079$$
  Questo risultato indica che per $r \ge 2$, l'interazione tra la struttura additiva ($a^r+b^r$) e quella moltiplicativa ($ab$) si "collassa", rendendo il problema equivalente alla semplice coprimalità.

C. Connessione con $GL(2, \mathbb{Z}/n\mathbb{Z})$

Viene dimostrato che il numero di classi di coniugazione in $GL(2, \mathbb{Z}/n\mathbb{Z})$ è esattamente $\phi(n)\sigma(n)$.
La densità $\rho$ può essere interpretata come la proporzione normalizzata di coppie $(a, b)$ che generano polinomi caratteristici primitivi (o classi di coniugazione distinte) nel contesto delle matrici $2 \times 2$ invertibili modulo $n$.

4. Significato e Contributi

1. Scoperta di una Nuova Identità: Il lavoro stabilisce un'identità numerica precisa tra una densità calcolata su una mappa GCD elementare e una costante profonda della teoria dei numeri algebrici (la costante della classe quadratica).
2. Ponte tra Aritmetica Elementare e Teoria dei Campi: Dimostra come problemi apparentemente semplici su divisori e somme possano riflettere strutture complesse legate ai campi quadratici reali e alle loro congetture statistiche (Cohen-Lenstra).
3. Metodologia Unificante: L'uso combinato di tecniche analitiche (prodotti di Eulero, metodo dell'iperbole) e algebriche (classi di coniugazione) offre un quadro robusto per analizzare funzioni aritmetiche non standard.
4. Conferma Sperimentale: I dati numerici presentati (tabelle per $n$ fino a 70.000) confermano la convergenza verso il valore teorico $0.88151$, validando l'analisi asintotica.

In sintesi, il paper non solo risolve un problema di densità su una funzione specifica, ma rivela una connessione profonda e inattesa tra l'aritmetica elementare delle coppie di interi e la teoria dei campi quadratici, offrendo un nuovo punto di vista sulla distribuzione degli invarianti aritmetici.