On the arithmetic properties of partitions into parts simultaneously $4$-regular and $9$-distinct

Sintesi Tecnica: Proprietà Aritmetiche delle Partizioni in Parti Simultaneamente 4-Regolari e 9-Distinte

Enunciato del Problema
Questo articolo investiga le proprietà aritmetiche della funzione di partizione $RD(\ell, t)(n)$, che conta il numero di partizioni di un intero $n$ in parti che sono simultaneamente $\ell$-regolari (nessuna parte è divisibile per $\ell$) e $t$-distinte (ogni parte appare meno di $t$ volte). Mentre il lavoro precedente degli autori e di altri ha esplorato varie coppie di $(\ell, t)$, questo studio si concentra specificamente sul caso $(\ell, t) = (4, 9)$. La funzione $RD(4, 9)(n)$ corrisponde alla sequenza A187020 nell'Enciclopedia Online di Sequenze Intere (spostata di un termine). L'obiettivo primario è stabilire infinite famiglie di congruenze e congruenze di tipo Ramanujan per $RD(4, 9)(n)$ modulo 4, 6, 12 e 24.

Metodologia
Gli autori utilizzano la teoria delle serie $q$ e delle funzioni generatrici per derivare i loro risultati. La metodologia principale prevede:

1. Dissezioni delle Funzioni Generatrici: Utilizzo di formule di dissezione note per le funzioni theta e i prodotti di $f_k = (q^k; q^k)_\infty$. Nello specifico, l'articolo si basa su dissezioni a 2 (Lemma 2.1), a 5 (Lemma 2.2) e dissezioni primarie generali per le funzioni theta (Lemmi 2.3 e 2.4) attribuite a Ramanujan, Cui, Gu e altri.
2. Riduzioni Modulari: Applicazione della congruenza $f_{p^k} \equiv f_{p^{k-1}} \pmod{p^k}$ (Lemma 2.5) per semplificare le funzioni generatrici modulo interi specifici.
3. Estrazione dei Coefficienti: Estrazione sistematica dei termini con potenze specifiche di $q$ (ad esempio, $q^{pn+i}$) dalle formule di dissezione per isolare sottosequenze della funzione di partizione.
4. Analisi dei Residui Quadratici: Analisi di congruenze coinvolgenti residui quadratici (ad esempio, $(6k+1)^2 + (6m+1)^2 \equiv 0 \pmod p$) per dimostrare che determinati coefficienti si annullano per specifici primi $p$ che soddisfano condizioni come $p \equiv 3 \pmod 4$ o $p \equiv 5 \pmod 6$.
5. Induzione Matematica: Utilizzo dell'annullamento di specifici coefficienti per stabilire infinite famiglie di congruenze tramite induzione sull'esponente $\alpha$.

Contributi Chiave e Risultati

• Modulo 4:
  L'articolo stabilisce una famiglia infinita di congruenze per i primi $p \equiv 3 \pmod 4$. Per ogni $\alpha \ge 0$, $n \ge 0$ e $1 \le i \le p-1$:
  $$RD(4, 9)(12p^{2\alpha+1}(pn + i) + p^{2\alpha+2} + 1) \equiv 0 \pmod 4.$$
  Questo risultato è derivato dal relazionare $RD(4, 9)(12n+2)$ ai coefficienti di $f_1^2$ e dall'utilizzare la non esistenza di soluzioni non triviali per specifiche congruenze quadratiche modulo $p$.

• Modulo 6:
  Una famiglia infinita di congruenze è provata per le potenze di 5. Per tutti $\alpha \ge 0$ e $n \ge 0$:
  $$RD(4, 9)(6 \cdot 5^{2\alpha+2}n + 6 \cdot 5^{2\alpha+1}i + 5^{2\alpha+2} + 1) \equiv 0 \pmod 6,$$
  dove $i \in \{1, 2, 3, 4\}$. Ciò è ottenuto dissezionando la funzione generatrice di $RD(4, 9)(6n+2)$ e applicando la 5-dissezione della funzione $f_1$ di Ramanujan.

• Modulo 12:
  Per i primi $p \equiv 5 \pmod 6$, gli autori dimostrano che per tutti $\alpha \ge 0$, $n \ge 0$ e $1 \le i \le p-1$:
  $$RD(4, 9)(6p^{2\alpha+1}(pn + i) + 3p^{2\alpha+2} + 1) \equiv 0 \pmod{12}.$$
  La prova prevede l'analisi del prodotto delle funzioni theta $\psi(q)\psi(q^3)$ e la dimostrazione che i coefficienti si annullano quando l'esponente soddisfa specifiche condizioni modulari legate ai non residui quadratici di $-3$.

• Modulo 24 (Congruenze di tipo Ramanujan):
  L'articolo stabilisce specifiche congruenze di tipo Ramanujan che non dipendono da un parametro di famiglia infinita ma valgono per tutti $n \ge 0$:
  $$RD(4, 9)(24n + 23) \equiv 0 \pmod{24},$$
  $$RD(4, 9)(48n + 29) \equiv 0 \pmod{24},$$
  $$RD(4, 9)(96n + 89) \equiv 0 \pmod{24}.$$
  Queste sono derivate attraverso un processo rigoroso di estrazione di potenze pari e dispari dalla funzione generatrice di $RD(4, 9)(6n+5)$ e l'applicazione di formule di 2-dissezione.

Significato e Ambito
L'articolo sostiene di fornire un "investigazione approfondita" del comportamento aritmetico di $RD(4, 9)(n)$. Il suo significato risiede nell'estendere lo studio delle partizioni che sono simultaneamente regolari e distinte, un argomento iniziato da Keith e precedentemente esplorato dagli autori. Stabilendo queste congruenze, gli autori contribuiscono alla comprensione più ampia delle proprietà di divisibilità delle funzioni di partizione con molteplici vincoli. Il lavoro è presentato come una continuazione della ricerca precedente degli autori [13], offrendo nuove famiglie infinite e congruenze specifiche che completano le scoperte precedenti. L'articolo non propone nuove interpretazioni combinatorie o applicazioni oltre alle proprietà aritmetiche della sequenza stessa.