Proofs of the Conjectures on $SOME(n)$ and $DSOME(n)$ Functions Related to Integer Partitions

Sintesi Tecnica di "Prove delle Congetture sulle Funzioni SOME(n) e DSOME(n) Relative alle Partizioni Intere"

Enunciato del Problema
Questo articolo affronta due congetture specifiche riguardanti le proprietà aritmetiche di due funzioni legate alle partizioni, $SOME(n)$e$DSOME(n)$, introdotte da Andrews e Dastidar (2026) e da Baruah e Gogoi (2026), rispettivamente.

• $SOME(n)$ è definita come la somma di tutte le parti dispari meno la somma di tutte le parti pari in tutte le partizioni di un intero positivo $n$.
• $DSOME(n)$ è la differenza analoga (somma delle parti dispari meno somma delle parti pari) limitata alle partizioni di $n$ in parti distinte.

Gli obiettivi primari sono dimostrare:

1. La congettura di Andrews-Dastidar: Per interi $\alpha \ge 1$ e $\lambda \ge 0$ tali che $24\lambda \equiv 1 \pmod{5^\alpha}$, $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$.
2. La congettura di Baruah-Gogoi: $DSOME(50n + 21) \equiv 0 \pmod 8$ per tutti gli interi $n \ge 0$.

Inoltre, gli autori mirano a stabilire nuove famiglie infinite di congruenze per $DSOME(n)$ modulo 2, 4 e 8.

Metodologia
Gli autori impiegano tecniche della teoria delle serie $q$, delle forme modulari e delle identità di partizione. La metodologia si basa fortemente sulle funzioni generatrici e sulla manipolazione dei simboli $q$-Pochhammer, indicati con $(a; q)_\infty$.

• Funzioni Generatrici: Il saggio utilizza le funzioni generatrici note per $SOME(n)$e$DSOME(n)$, espresse in termini di prodotti infiniti e somme coinvolgenti serie $q$.
• Aritmetica Modulare e Congruenze: Le prove comportano l'estrazione dei coefficienti dalle funzioni generatrici e l'analisi di essi modulo specifici interi (2, 4, 5, 8 e potenze di 5).
• Funzioni Theta di Ramanujan: Gli autori utilizzano la funzione theta generale di Ramanujan $f(\alpha, \beta)$ e i suoi casi speciali $\phi(q)$, $\psi(q)$ e $f(-q)$ per trasformare serie complesse in forme più gestibili.
• Teoria degli Operatori: Viene definito un operatore $U_2$ per estrarre i termini con indici pari dalle serie di potenze, facilitando la derivazione di congruenze per specifiche progressioni aritmetiche (ad esempio, $DSOME(2n)$).
• Serie di Eisenstein e Somme di Divisori: La prova della congettura per $SOME(n)$ collega la funzione alla classica serie quasi-modulare di Eisenstein $E_2(q)$ e alla funzione somma dei divisori $\sigma(n)$. Essa sfrutta le note congruenze per la funzione di partizione $p(n)$ e una sequenza di coefficienti correlata $c(n)$ stabilita da Wang e Yang.
• Analisi Combinatoria: Per le prove di $DSOME(n)$, gli autori analizzano la parità dei coefficienti in serie di espansione che coinvolgono somme di quadrati e numeri pentagonali generalizzati, spesso riducendo il problema al conteggio delle soluzioni di equazioni diofantee modulo primi specifici.

Contributi Chiave e Risultati

1. Prova della Congettura di Andrews-Dastidar:
   Gli autori stabiliscono che $SOME(\lambda) \equiv 0 \pmod{5^\alpha}$ ogni volta che $24\lambda \equiv 1 \pmod{5^\alpha}$.

   • Meccanismo: Derivano una relazione che lega $SOME(n)$ a un coefficiente $c(2n)$ e alla funzione di partizione $p(n)$: $12SOME(n) = c(2n) - (12n+1)p(n)$.
   • Logica: Utilizzando le note congruenze per $c(n)$ (derivate dal lavoro di Wang e Yang sulle forme quasi-modulari) e le classiche congruenze di Ramanujan per $p(n)$, dimostrano che entrambi i termini sul lato destro della relazione si annullano modulo $5^\alpha$ sotto la data condizione. Poiché $\gcd(12, 5^\alpha)=1$, il risultato segue.

2. Prova della Congettura di Baruah-Gogoi:
   Il saggio prova che $DSOME(50n + 21) \equiv 0 \pmod 8$.

   • Meccanismo: Questo è stabilito come un caso specifico ($t=2$) di un teorema più generale (Teorema 4.11) che afferma che $DSOME(50n + 10t + 1) \equiv 0 \pmod 8$ per $1 \le t \le 4$.
   • Logica: La prova comporta l'espansione della funzione generatrice di $DSOME(n)$ modulo 8 in componenti che coinvolgono $f_1$, $X(q)$ e le loro derivate. Gli autori analizzano i coefficienti di $q^N$ dove $N = 50n + 10t + 1$ relazionandoli alla valutazione 5-adica di $M = 24N + 1$. Dimostrano che i coefficienti rilevanti si annullano a causa della non esistenza di determinate soluzioni intere per forme quadratiche modulo 5.

3. Nuove Famiglie Infinite di Congruenze:
   Il saggio stabilisce diverse nuove congruenze per $DSOME(n)$:

   • Modulo 2: Viene fornita una caratterizzazione completa di quando $DSOME(n) \equiv 1 \pmod 2$, mostrando che ciò avviene se e solo se $n$ è della forma $24j^2 + 10j + 1$ o $24j^2 + 22j + 5$. I corollari forniscono condizioni per $DSOME(Mn+r) \equiv 0 \pmod 2$ basate sui simboli di Legendre.
   • Modulo 4: Simili caratterizzazioni sono derivate per $DSOME(2n) \pmod 4$, identificando specifiche forme quadratiche ($48k^2 + 14k + 1$ e $48k^2 + 46k + 11$) in cui la funzione è non nulla.
   • Modulo 8: Viene derivata una formula di convoluzione che esprime $DSOME(n)$ modulo 8 in termini della funzione di partizione in parti distinte $pd(n)$ e delle somme di divisori $\sigma_3(n)$ e $\sigma(n)$.

Significatività
Il saggio rivendica significatività principalmente nella risoluzione di congetture aperte riguardanti il comportamento aritmetico di $SOME(n)$e$DSOME(n)$. Provando queste congetture, gli autori confermano l'esistenza di profondi schemi strutturali in queste funzioni di partizione che rispecchiano le congruenze di tipo Ramanujan trovate nella funzione di partizione standard $p(n)$. Il lavoro estende la comprensione di come la parità e i vincoli modulari si applichino alle somme pesate delle parti di partizione, specificamente per le partizioni distinte. L'istituzione di nuove famiglie infinite di congruenze modulo 2, 4 e 8 fornisce un quadro più ampio per future investigazioni sulle proprietà aritmetiche delle funzioni correlate alle partizioni.