Il teorema di Sárközy per numeri primi traslati con cifre ristrette

Informazioni di base

• ID articolo: 2510.13076
• Titolo: Il teorema di Sárközy per numeri primi traslati con cifre ristrette
• Autore: Alex Burgin (Georgia Institute of Technology)
• Classificazione: math.NT (Teoria dei numeri)
• Data di pubblicazione: 15 ottobre 2025
• Link articolo: https://arxiv.org/abs/2510.13076

Riassunto

Questo articolo studia il teorema di Sárközy per numeri primi traslati con cifre ristrette. Per una base $b\geq 2$ e un insieme di cifre $\mathcal{A}\subset \{0,...,b-1\}$, sia $\mathcal{P}$ l'insieme dei numeri primi le cui cifre in base $b$ appartengono a $\mathcal{A}$. L'autore dimostra che se $A\subset \mathbb{N}$ ha densità di Banach superiore positiva, allora esiste un numero primo $p\in \mathcal{P}$ e due elementi $a_1,a_2\in A$ tali che $a_2=a_1+p-1$. Gli strumenti tecnici principali sono il principio di corrispondenza di Furstenberg e il metodo del cerchio discretizzato di Hardy-Littlewood utilizzato da Maynard. Come sottoprodotto, vengono inoltre dimostrati un teorema di tipo Dirichlet sulla distribuzione di $\mathcal{P}$ nelle classi residue e un teorema di tipo Vinogradov sul decadimento delle somme esponenziali correlate.

Contesto di ricerca e motivazione

Sfondo del problema

1. Problemi di tipo Sárközy: Problemi centrali della combinatoria aritmetica che studiano i modelli di differenze proibite negli insiemi di interi. Per un insieme $S$, se $A \subset \mathbb{Z}$ soddisfa $a_1 - a_2 \notin S$ per tutti gli $a_1, a_2 \in A$, quale è la struttura di $A$?
2. Insiemi intersecanti: Molti insiemi $S$ (come i quadrati, i numeri primi traslati $\{p \pm 1 : p \in P\}$, ecc.) sono intersecanti, cioè se $A$ proibisce tutte le differenze in $S$, allora $A$ è piccolo, soddisfacendo $\lim_{N\to\infty}\frac{\#(A \cap \{-N,...,N\})}{2N+1} = 0$.
3. Numeri primi con cifre ristrette: Ispirato dai risultati di Maynard sui numeri primi con cifre ristrette, si studiano insiemi con due vincoli simultanei: sia numeri primi traslati che numeri con cifre ristrette.

Motivazione della ricerca

Questo articolo mira a dimostrare che l'insieme dei numeri primi traslati con cifre ristrette $P_C - 1$ (dove $C$ è l'insieme con cifre ristrette) mantiene ancora la proprietà di intersezione, generalizzando il risultato classico di Sárközy a sottoinsiemi di numeri primi più radi.

Contributi principali

1. Teorema principale: Dimostra che per un insieme $A$ con densità di Banach superiore positiva, esiste un numero primo con cifre ristrette $p$ e $a_1, a_2 \in A$ tali che $a_2 = a_1 + p - 1$.
2. Teorema di tipo Dirichlet: Stabilisce formule asintotiche per la distribuzione dei numeri primi con cifre ristrette nelle classi residue, generalizzando i risultati di Maynard.
3. Teorema di tipo Vinogradov: Dimostra la proprietà di decadimento delle somme esponenziali sui numeri primi con cifre ristrette.
4. Insiemi di van der Corput: Dimostra che $P_C - 1$ è un insieme di van der Corput, una proprietà più forte dell'intersezione.

Spiegazione dettagliata dei metodi

Definizione del compito

Sia $b \geq 2$ una base, $A := \{0,...,b-1\} \setminus \{d_1,...,d_s\}$ l'insieme delle cifre consentite. Si definisce l'insieme con cifre ristrette: $C := \left\{\sum_{i=0}^N n_i b^i : n_i \in A, N \in \mathbb{N}_0\right\}$

L'obiettivo è dimostrare che se $A \subset \mathbb{N}$ ha densità di Banach superiore positiva, allora esiste un numero primo $p \in P_C$ (numeri primi in $C$) e $a_1, a_2 \in A$ tali che $a_1 + p - 1 = a_2$.

Quadro tecnico principale

1. Principio di corrispondenza di Furstenberg

Attraverso la teoria dei sistemi dinamici, trasforma il problema combinatorio in un problema di teoria ergodica. La chiave è dimostrare:

Proposizione 7: Per ogni sistema che preserva la misura $(X,\mathcal{B},\mu,T)$ e $f \in L^{\infty}(X,\mathcal{B},\mu)$ con $f \geq 0, f \not\equiv 0$, l'insieme $\{n > 0 : \int f \cdot T^n f d\mu > 0\}$ contiene elementi di $P_C - 1$.

2. Stima delle somme esponenziali

Stabilisce stime precise della trasformata di Fourier $\hat{C}_{b^N}(t)$ dell'insieme con cifre ristrette:

$\hat{C}_{b^N}(x) = \prod_{i=0}^{N-1}\left(\sum_{c \in A} e(b^i c x)\right)$

Le stime chiave includono:

• Limite $L^1$: $\sup_{x \in \mathbb{R}} \sum_{a \leq b^N} |\hat{C}_{b^N}(x + a/b^N)| \leq (C_0 b \log b)^N$
• Stime del grande setaccio e stime miste per controllare le somme a diverse scale
• Limite $L^{\infty}$: Per le approssimazioni razionali cattive, fornisce decadimento esponenziale

3. Decomposizione del metodo del cerchio

Utilizza il metodo del cerchio discretizzato di Hardy-Littlewood:

Proposizione 28: Per $\alpha < 1/5$, si ha $\sum_{n<b^N} 1_C(n)\Lambda(n)e(n\theta) = \sum_{d<\log^{A'}(b^N)} \frac{\mu(d)}{\phi(d)} \sum_{\ell \in (Z/dZ)^*} \hat{C}_{b^N}\left(\theta + \frac{\ell}{d}\right) + O_A\left(\frac{(b-s)^N}{\log^A(b^N)}\right)$

Punti di innovazione tecnica

1. Struttura del prodotto di Riesz: La trasformata di Fourier dell'insieme con cifre ristrette ha una struttura di prodotto speciale che consente un controllo analitico preciso.
2. Metodo $b$-adico: Utilizza la periodicità dell'espansione $b$-adica per decomporre il problema in sottoproblemi a diverse scale.
3. Ottimizzazione delle condizioni: Richiedendo $b - s > (k+1)b^{4/5+\epsilon}$, assicura che il termine principale sia dominante.

Risultati principali

Teorema 3 (Teorema principale)

Sia $A \subset \mathbb{N}$ con densità di Banach superiore positiva, $C = C(b,\mathcal{A})$ soddisfi:

• (I) $1 \in \mathcal{A}$
• (II) L'insieme delle cifre proibite $\{d_1,...,d_s\} = \bigsqcup_{i=1}^k I_i$ (unione disgiunta di intervalli)
• (III) $b - s > (k+1)b^{4/5+\epsilon}$, $b$ sufficientemente grande

Allora esiste un numero primo $p \in C$ e $a_1, a_2 \in A$ tali che $a_1 + p - 1 = a_2$.

Teorema 4 (Teorema di tipo Dirichlet)

Per ogni $m \geq 1$ e $t \in \mathbb{Z}/m\mathbb{Z}$, si ha $\sum_{\substack{0 \leq n < b^N \\ n \equiv t \pmod{m}}} 1_C(n)\Lambda(n) = \kappa_{m,t}(b-s)^N + O_C\left(\frac{(b-s)^N}{\log^C(b^N)}\right)$

dove $\kappa_{m,t}$ è una costante esplicita.

Teorema 6 (Teorema di tipo Vinogradov)

Per ogni numero irrazionale $\theta$, si ha $\sum_{0 \leq n < b^N} 1_C(n)\Lambda(n)e(n\theta) = o((b-s)^N)$

Dettagli tecnici

Lemmi centrali della stima di Fourier

Lemma 12 (Limite $L^1$): Se $C_0 := k + 1 + \frac{2(b-s)}{b}\log b$, allora $\sup_{x \in \mathbb{R}} \sum_{a \leq b^N} \left|\hat{C}_{b^N}\left(x + \frac{a}{b^N}\right)\right| \leq (C_0 b \log b)^N$

Lemma 20 (Limite $L^{\infty}$): Sia $1 < d < b^{N/3}$, $\ell \in \mathbb{Z}$ tale che $b^i\ell/d \notin \mathbb{Z}$ per tutti gli $i \geq 1$, e $|\epsilon| < (2b^{2N/3})^{-1}$, allora $\left|\hat{C}_{b^N}\left(\frac{\ell}{d} + \epsilon\right)\right| \leq (b-s)^N \exp(-cN/\log d)$

Teorema di inversione

Proposizione 24: Per $\theta, x \in \mathbb{T}$ e $B$ sufficientemente grande, si ha $\sum_{\substack{|\eta| < \log_B(b^N) \\ b^N x + \eta \in \mathbb{Z}}} \hat{C}_{b^N}\left(\theta + x + \frac{\eta}{b^N}\right) \sum_{k=0}^{b^N-1} e\left(-\frac{k\eta}{b^N}\right) = b^N \hat{C}_{b^N}(\theta + x) + O\left(\frac{b^N(b-s)^N}{\log^A(b^N)}\right)$

Strategia di dimostrazione

Primo passo: Stabilire stime delle somme esponenziali

Analizzando la struttura di prodotto di $\hat{C}_{b^N}(t)$, stabilisce stime precise superiori in diverse regioni.

Secondo passo: Applicazione del metodo del cerchio

Decompone la somma esponenziale in archi principali (vicino ai numeri razionali con piccoli denominatori) e archi secondari (altre regioni), gli archi principali sono trattati con il teorema di inversione, gli archi secondari sono controllati con stime di Fourier.

Terzo passo: Corrispondenza di Furstenberg

Attraverso il teorema spettrale e il teorema ergodico medio, riduce il problema dei sistemi dinamici al comportamento asintotico delle somme esponenziali.

Lavori correlati

1. Sárközy (1978): Dimostra l'intersezione dei numeri primi traslati, aprendo questa direzione di ricerca.
2. Green (2024): Ottiene un'importante scoperta con risparmio di potenza sul problema di Sárközy per numeri primi traslati.
3. Maynard (2021): Stabilisce formule asintotiche per numeri primi con cifre ristrette, fornendo la base tecnica per questo articolo.
4. Furstenberg (1977): Stabilisce la corrispondenza tra combinatoria e teoria ergodica.

Conclusioni e discussione

Conclusioni principali

Questo articolo generalizza con successo il teorema di Sárközy ai numeri primi traslati con cifre ristrette, dimostrando che anche sotto questo doppio vincolo, la proprietà di intersezione si mantiene.

Limitazioni

1. La condizione $b - s > (k+1)b^{4/5+\epsilon}$ è piuttosto ristretta, limitando l'ambito di applicazione.
2. L'esponente 4/5 proviene dai limiti noti delle somme esponenziali sui numeri primi e potrebbe non essere ottimale.
3. I risultati sono qualitativi, senza fornire stime quantitative con risparmio di potenza.

Direzioni future

1. Stime quantitative: È possibile ottenere limiti quantitativi con risparmio di potenza come Green ha fatto per i numeri primi traslati?
2. Miglioramento dell'esponente: Si può rilassare la condizione dell'esponente 4/5?
3. Modelli più generali: Generalizzare a modelli additivi combinatori più complessi.

Valutazione approfondita

Punti di forza

1. Innovazione tecnica: Combina abilmente la teoria analitica dei numeri (metodo del cerchio), la teoria ergodica (corrispondenza di Furstenberg) e l'analisi di Fourier.
2. Risultati profondi: Stabilisce strutture additive non banali su sottoinsiemi di numeri primi molto radi.
3. Metodo universale: Le tecniche sviluppate hanno valore potenziale per lo studio di altri problemi di teoria dei numeri con cifre ristrette.
4. Completezza: Non solo dimostra il risultato principale, ma stabilisce anche teoremi di distribuzione corrispondenti e stime delle somme esponenziali.

Insufficienze

1. Limitazioni delle condizioni: Le condizioni tecniche sono relativamente ristrette, limitando l'ambito pratico di applicazione.
2. Non costruttivo: La dimostrazione è di esistenza, senza fornire algoritmi per trovare esempi concreti.
3. Dipendenza dalle costanti: Le relazioni di dipendenza di varie costanti sono complesse, rendendo difficili le stime numeriche.

Impatto

Questo articolo fornisce un contributo importante nell'intersezione tra teoria analitica dei numeri e combinatoria additiva, aprendo nuovi percorsi tecnici per lo studio della distribuzione dei numeri primi sotto condizioni ristrette. La metodologia sviluppata ha importante valore di riferimento per problemi correlati.

Scenari di applicazione

Questo metodo è applicabile allo studio delle proprietà additive di sottoinsiemi di numeri primi sotto varie condizioni ristrette, in particolare nei casi che coinvolgono limitazioni di cifre, condizioni di congruenza e altri vincoli.

Bibliografia

1. Sárközy, A. (1978). On difference sets of sequences of integers. III. Acta Math. Acad. Sci. Hungar.
2. Green, B. (2024). On Sárközy's theorem for shifted primes. J. Amer. Math. Soc.
3. Maynard, J. (2021). Primes and Polynomials with restricted digits. International Mathematics Research Notices.
4. Furstenberg, H. (1977). Ergodic behavior of diagonal measures and a theorem of Szemerédi on arithmetic progressions. Anal. Math.

Questo articolo possiede una considerevole profondità tecnica e innovazione, generalizzando con successo il classico teorema di Sárközy a un contesto più raffinato e difficile, fornendo un contributo significativo allo sviluppo della teoria analitica dei numeri e della combinatoria additiva.