Power and rank-weighted sums in dense finite Sidon sets

Sintesi Tecnica: Somme di Potenze e Pesate per Rango in Insiemi di Sidone Finiti Densamente Distribuiti

Enunciato del Problema
Il saggio affronta la distribuzione degli insiemi di Sidone finiti densi $S \subset \{1, 2, \dots, n\}$ all'interno di progressioni aritmetiche e classi di resto. Un insieme $S$ è di Sidone se tutte le somme di coppie (per coppie non ordinate) $a+b$ sono distinte. Il problema centrale è stabilire formule asintotiche incondizionate per le somme di potenze $\sum_{a \in S} a^\ell$ e per le somme pesate per rango $\sum_{i} i^s a_i^\ell$ ristrette a specifiche classi di resto $a \equiv r \pmod m$.

Il lavoro precedente dell'autore [4] ha stabilito tali asintotiche in modo condizionale, basandosi su un'ipotesi riguardante il limite inferiore di $|S \cap [1, k]|$ su lunghi intervalli terminali. Come osservato da Balasubramanian e Dutta [1], tale condizione è raramente compatibile con la distribuzione attesa degli insiemi di Sidone densi. Il presente saggio mira a rimuovere questa ipotesi condizionale per fornire una dimostrazione incondizionata per somme di potenze fisse e le loro generalizzazioni.

Metodologia
Il principale mutamento metodologico in questo lavoro è la sostituzione delle assunzioni di densità condizionale con l'uniformità di Fourier degli insiemi di Sidone estremi, un risultato stabilito da Ortega e Prendiville [10].

1. Uniformità di Fourier: La dimostrazione sfrutta il limite della trasformata di Fourier della funzione indicatrice di un insieme di Sidone, specificamente $\|\widehat{1_S} - \frac{|S|}{n}\widehat{1_{[1,n]}}\|_\infty \ll \Phi(S, n)$, dove $\Phi(S, n)$ misura la deviazione di $|S|$ dalla dimensione massima $n^{1/2}$.
2. Sommatoria di Abel e Ortogonalità: Gli autori utilizzano l'ortogonalità di Fourier per stimare la discrepanza di $S$ nelle progressioni aritmetiche finite. Combinando il limite di uniformità di Fourier con le stime standard per la trasformata di Fourier delle progressioni aritmetiche, derivano un termine di errore uniforme per il conteggio degli elementi in qualsiasi progressione.
3. Sommatoria Pesata: Per le somme pesate per rango (dove gli elementi sono pesati tramite il loro indice $i^s$), gli autori mettono in relazione l'indice $i$ con il valore $a_i$ tramite la funzione di conteggio. Utilizzando la stima della discrepanza, approssimano $i \approx \frac{|S|}{n}a_i$ e applicano la sommatoria di Abel per trasferire la proprietà di distribuzione uniforme alle somme pesate.
4. Risultati per "Quasi Tutti": Per migliorare i termini di errore per "quasi tutti" gli $n$, il saggio incorpora una stima dei gap tra numeri primi di Heath-Brown [7], utilizzata precedentemente da Balasubramanian e Dutta [1]. Ciò consente di ottenere un limite più stretto per il difetto di dimensione $|S| - n^{1/2}$ per la stragrande maggioranza degli interi $n$.

Contributi Chiave e Risultati

• Asintotiche Incondizionate per Classi di Resto (Teorema 1 & Corollario 2): Il saggio dimostra che per ogni progressione aritmetica finita $P \subset [1, n]$, la somma delle potenze $\sum_{a \in S \cap P} a^\ell$ soddisfa:
  $$\sum_{a \in S \cap P} a^\ell = \frac{|S|}{n} \sum_{a \in P} a^\ell + O(n^\ell \Phi(S, n) \log(2n))$$
  Questo risultato è incondizionato, rimuovendo la precedente dipendenza da specifiche ipotesi di distribuzione.

• Insiemi di Sidone Massimali (Corollario 3): Per un insieme di Sidone massimale dove $|S| = S_n = n^{1/2} + O(n^{21/80})$, il saggio deriva l'asintotica specifica per le classi di resto:
  $$\sum_{\substack{a \in S \\ a \equiv r \pmod m}} a^\ell = \frac{1}{m(\ell+1)} n^{\ell+1/2} + O(n^{\ell+61/160} \log n)$$
  Ciò risponde specificamente alla questione aperta posta nel precedente lavoro dell'autore [4] riguardo alla validità della formula per le classi di resto senza condizioni aggiuntive.

• Somme Pesate per Rango (Teorema 4 & Corollario 5): I risultati sono generalizzati alle somme pesate tramite il rango dell'elemento ($i^s a_i^\ell$). Per un insieme di Sidone $S = \{a_1 < \dots < a_t\}$, il saggio stabilisce:
  $$\sum_{\substack{1 \le i \le t \\ a_i \in I \\ a_i \equiv r \pmod m}} i^s a_i^\ell = \frac{t^{s+1}}{n^{s+1}} \sum_{\substack{a \in I \\ a \equiv r \pmod m}} a^{s+\ell} + O(t^s n^\ell \Phi(S, n) \log(2n))$$
  Per gli insiemi massimali, ciò produce un termine di errore di $O(n^{\ell+s/2+61/160} \log n)$.

• Miglioramento per "Quasi Tutti" (Teorema 6): Combinando l'approccio dell'uniformità di Fourier con le stime dei gap tra i numeri primi di Heath-Brown, il saggio mostra che per tutti gli $n \le N$ eccetto $O(N^{4/5+\varepsilon})$, il termine di errore per gli insiemi di Sidone massimali può essere affinato a:
  $$O(n^{\ell+s/2+3/8} \log n)$$
  Questo migliora i termini di errore trovati nella letteratura precedente per il caso "quasi tutti".

Significato e Rivendicazioni dell'Autore
Il saggio sostiene di fornire una "breve dimostrazione incondizionata" dell'asintotica della somma di potenze per le classi di resto per gli insiemi di Sidone densi. La significatività risiede nel:

1. Rimozione delle Ipotesi Condizionali: Risolve la questione aperta in [4] provando le formule asintotiche senza la restrittiva condizione sulla distribuzione di $|S \cap [1, k]|$.
2. Unificazione: Dimostra che sia le somme di potenze standard che le più complesse somme pesate per rango sono controllate dallo stesso principio sottostante: l'uniformità di Fourier (discrepanza) dell'insieme di Sidone nelle progressioni aritmetiche finite.
3. Chiarezza Metodologica: L'autore osserva che, sebbene le dimostrazioni non siano eccessivamente difficili date le proprietà di uniformità di Fourier di Ortega e Prendiville, la connessione tra tali risultati e il problema specifico delle somme pesate in classi di resto non era immediatamente ovvia.

L'autore dichiara esplicitamente che le dimostrazioni si basano sull'uniformità di Fourier degli insiemi di Sidone estremi (Ortega e Prendiville [10]) e, per i risultati "quasi tutti", sulle stime dei gap tra i numeri primi di Heath-Brown [7]. Il saggio non propone nuove applicazioni o direzioni sperimentali future, ma si concentra sul raffinamento della comprensione teorica della distribuzione degli insiemi di Sidone. L'autore dichiara inoltre che OpenAI Codex ha assistito nell'identificare l'applicabilità dei risultati di Ortega e Prendiville e nella formulazione delle generalizzazioni alle somme pesate per rango e ai teoremi "quasi tutti", pur mantenendo la piena responsabilità delle dimostrazioni.