On the Digits of Partition Functions

Titolo: Sulle cifre delle funzioni di partizione

Autore: Siddharth Iyer

1. Il Problema

Il lavoro affronta una questione specifica sollevata da Douglass e Ono, relativa alle proprietà delle cifre iniziali delle funzioni di partizione.
Sia $p(n)$ il numero di partizioni intere di un intero $n$, e $PL(n)$ il numero di partizioni piane di $n$. È stato recentemente stabilito che le cifre iniziali di entrambe le funzioni seguono la Legge di Benford.

Il problema centrale (Problema 1.1) è determinare un limite superiore non banale per l'intero positivo più piccolo $N_p(f, b)$ tale che il valore della funzione di partizione $p(N_p(f, b))$ (o $PL(N_p(f, b))$) inizi con una specifica stringa di cifre $f$ in base $b$.
In termini formali, data una stringa $f$ (che non inizia con 0) di lunghezza $t$ in base $b$, si cerca il minimo $n$ tale che le prime $t$ cifre di $p(n)$ corrispondano a $f$.

I risultati precedenti di Luca [5] avevano stabilito limiti superiori utilizzando la teoria della trascendenza e le somme esponenziali:

• Per $p(n)$: $N_p(f, b) \le \exp(2 \cdot 10^{25}(t+12)(\ln b)^2)$.
• Per $PL(n)$:$N_{PL}(f, b) \le b^{51t+688}$.
  Questi limiti, sebbene validi, sono estremamente grandi e poco pratici.

2. Metodologia

L'autore abbandona gli approcci complessi basati sulla teoria della trascendenza a favore di un quadro elementare basato sulla discrepanza, utilizzando il teorema del valor medio e le proprietà delle parti frazionarie dei logaritmi.

La strategia si articola nei seguenti passaggi:

1. Formulazione Logaritmica:
   Il problema di trovare le prime $t$ cifre di un numero $n$ in base $b$ viene trasformato in un problema sulle parti frazionarie dei logaritmi. Se $C_{b,t}(n)$ estrae le prime $t$ cifre di $n$, allora $C_{b,t}(n) = f$ se e solo se:
   $$\{ \log_b n \} \in [\log_b f - t + 1, \log_b(f+1) - t + 1)$$
   dove $\{x\}$ denota la parte frazionaria di $x$.

2. Approssimazione Asintotica:
   Vengono utilizzati risultati noti sulle formule asintotiche per $p(n)$ e $PL(n)$ per approssimare $\log_b p(n)$ e $\log_b PL(n)$.

   • Per $p(n)$, si usa l'approssimazione di Hardy-Ramanujan: $\log_b p(n) \approx \frac{\pi}{\sqrt{24} \ln b} \sqrt{n} - \frac{\ln n}{\ln b} + C$.
   • Per $PL(n)$, si usa l'approssimazione di Wright: $\log_b PL(n) \approx \frac{3(A/4)^{1/3}}{\ln b} n^{2/3} - \frac{25}{36 \ln b} \ln n + C'$.
     Queste funzioni sono modellate come $g(x) = h(x) + E(x)$, dove $h(x)$ è la parte principale e $E(x)$ è un termine di errore controllato.

3. Quadro di Discrepanza (Proposizione 3.1):
   L'autore stabilisce un lemma generale (Proposizione 3.1) che garantisce l'esistenza di un intero $m$ in un intervallo specifico tale che la parte frazionaria $\{g(m)\}$ cada in un intervallo target $[a, a+\delta)$.
   Il lemma si basa sul Teorema del Valor Medio. Analizzando la derivata della funzione principale $h(x)$, l'autore dimostra che l'intervallo di variazione della funzione è sufficientemente ampio da garantire che, per $x$ abbastanza grande, l'immagine dell'intervallo copra un'intera unità (o una frazione significativa), assicurando così che la parte frazionaria passi attraverso l'intervallo desiderato.

4. Stima dei Limiti:
   Sostituendo i parametri specifici delle funzioni di partizione ($\theta$, coefficienti $c_1, c_2$, e termini di errore) nella Proposizione 3.1, si ottengono limiti superiori espliciti per $N_p(f, b)$ e $N_{PL}(f, b)$.

3. Risultati Chiave (Teorema 1.2)

Il contributo principale del paper è la dimostrazione di limiti superiori drasticamente più stretti rispetto alla letteratura precedente.

Sia $b \ge 2$ la base e $t$ la lunghezza della stringa di cifre $f$.

• Per la funzione di partizione $p(n)$:
  $$N_p(f, b) \le 288 \cdot b^{2t} + 2$$
  Questo rappresenta un miglioramento esponenziale rispetto al limite precedente di tipo esponenziale doppio.

• Per la funzione di partizione piana $PL(n)$:
  $$N_{PL}(f, b) \le 130 \cdot b^{3t} + 29400 \cdot b^{3t/2}$$
  Anche qui, il limite è polinomiale in $b^t$, offrendo una stima molto più precisa e gestibile.

4. Significato e Implicazioni

• Efficienza Computazionale: I nuovi limiti sono polinomiali nella lunghezza della stringa e nella base, a differenza dei precedenti limiti esponenziali. Questo rende il problema teoricamente molto più accessibile e suggerisce che gli intervalli di ricerca per tali numeri sono molto più piccoli di quanto si pensasse.
• Semplicità Metodologica: Il lavoro dimostra che strumenti analitici elementari (teorema del valor medio, stime di errore asintotiche) sono sufficienti per risolvere problemi di teoria dei numeri che spesso richiedono strumenti avanzati come la teoria della trascendenza.
• Generalizzazione: Il metodo proposto è flessibile e può essere applicato ad altre funzioni aritmetiche che ammettono un'espansione asintotica della forma $c_1 x^\theta + c_2 \ln x + \dots$, aprendo la strada a studi simili su altre sequenze numeriche.

In sintesi, Siddharth Iyer risolve un problema aperto fornendo limiti superiori ottimali e pratici per la ricerca di numeri le cui partizioni iniziano con una specifica sequenza di cifre, sostituendo approcci complessi con una struttura di discrepanza elegante ed efficace.