Extending recent work of Nath, Saikia, and Sarma on $k$-tuple $\ell$-regular partitions

Résumé Technique : Extension des travaux récents de Nath, Saikia et Sarma sur les partitions $k$-tuples $\ell$-régulières

Énoncé du Problème
L'article étudie les propriétés arithmétiques de $T_{\ell,k}(n)$, le nombre de partitions $k$-tuples $\ell$-régulières d'un entier non négatif $n$. Une partition $\ell$-régulière est définie comme une partition où aucune partie n'est divisible par $\ell$. Une partition $k$-tuple consiste en une séquence ordonnée de $k$ partitions $(\lambda_1, \dots, \lambda_k)$ dont la somme est $n$, où chaque $\lambda_i$ est une partition $\ell$-régulière de sa propre somme respective. Les auteurs se concentrent spécifiquement sur le cas où $\ell=2$ et $k=3$, noté $T_2(n) := T_{2,3}(n)$.

Ce travail est motivé par une étude récente de Nath, Saikia et Sarma [12], qui a établi plusieurs familles de congruences pour $T_2(n)$ modulo 24 et 6. Dans leurs remarques conclusives, Nath, Saikia et Sarma ont conjecturé que $T_2(n)$ satisfait un ensemble infini de congruences modulo 6 sous des conditions spécifiques impliquant des nombres premiers $p$ et des entiers $t$.

Méthodologie
Les auteurs emploient des techniques entièrement élémentaires basées sur les manipulations de séries en $q$ et les fonctions génératrices. Ils n'utilisent pas de formes modulaires avancées ou de méthodes analytiques complexes. Le cœur de leur approche implique :

1. Fonctions Génératrices : Utilisation de la fonction génératrice pour $T_{\ell,k}(n)$, donnée par $\sum T_{\ell,k}(n)q^n = f_\ell^k / f_1^k$, où $f_k = (q^k; q^k)_\infty$.
2. Identités Classiques : Exploitation d'identités standards de séries en $q$, incluant le théorème des nombres pentagonaux d'Euler (Lemme 2.1), les variantes de l'identité du triple produit de Jacobi (Lemmes 2.2, 2.3), et des développements spécifiques pour les puissances de $f_1$ et $f_2$ (Lemmes 2.4–2.6).
3. Propriétés de Congruence : Application du théorème binomial pour dériver des congruences pour les symboles $q$-Pochhammer modulo des puissances de nombres premiers (Lemmes 2.7, 2.8). Plus précisément, ils utilisent la propriété que $f_{p^k} \equiv f_p^{k-1} \pmod{p^k}$ pour isoler les coefficients dans la fonction génératrice.
4. Analyse de Formes Quadratiques : Pour prouver des congruences modulo 8, les auteurs analysent la représentation de certains entiers comme sommes de formes quadratiques (par exemple, $x^2 + 2y^2$ ou $x^2 + y^2$). Ils utilisent les symboles de Legendre pour démontrer que certains entiers ne peuvent pas être représentés par ces formes, prouvant ainsi que les coefficients correspondants dans la fonction génératrice s'annulent modulo 8.

Contributions Clés et Résultats

1. Confirmation de la Conjecture 1.1 :
   Les auteurs prouvent une version plus forte de la conjecture proposée par Nath, Saikia et Sarma.

   • Théorème 1.2 : Pour tout entier positif $t$ tel que $\gcd(t, 6)=1$ et $N \in \{33, 57\}$, la congruence $T_2\left(\frac{9n + Nt^2 - 1}{8}\right) \equiv 0 \pmod{24}$ est vérifiée pour tout $n \ge 0$.
   • Corollaire 1.3 : Ce résultat confirme directement la Conjecture 1.1, établissant l'ensemble infini de congruences modulo 6 (et en fait modulo 24) pour les paramètres spécifiés.

2. Nouvelles Familles Infinies de Congruences :
   L'article établit une preuve extrêmement élémentaire pour une famille infinie de congruences modulo 8 et 24.

   • Théorème 1.4 : Soit $p$ un nombre premier tel que $p \equiv 3, 5,$ ou $7 \pmod 8$. Pour $n, \alpha \ge 0$ avec $p \nmid n$, la relation suivante est vérifiée :
     $$T_2\left(\frac{p^{2\alpha+1}n + p^{2\alpha+2} - 1}{8}\right) \equiv 0 \pmod 8.$$
   • De plus, si $3 \nmid n$, la congruence se renforce en :
     $$T_2\left(\frac{p^{2\alpha+1}n + p^{2\alpha+2} - 1}{8}\right) \equiv 0 \pmod{24}.$$
   • Corollaire 1.5 : Un cas spécifique est dérivé où la congruence modulo 24 est vérifiée pour $p \neq 3$.

3. Généralisation des Résultats Précédents :
   Les auteurs montrent que la congruence établie précédemment par Nath, Saikia et Sarma (Équation 3 dans l'article) est vérifiée modulo 24 (et non seulement modulo 6) et s'étend aux nombres premiers $p \equiv 3 \pmod 8$.

Signification et Revendications
L'article revendique une importance qui réside principalement dans la confirmation de la conjecture de Nath, Saikia et Sarma et l'extension de ces résultats à une classe plus large de nombres premiers et de modules. Les auteurs soulignent que leurs preuves sont « extrêmement élémentaires », reposant uniquement sur des manipulations de fonctions génératrices et des résultats classiques de séries en $q$ plutôt que sur des outils lourds.

Dans la section « Pensées de Clôture » (Closing Thoughts), les auteurs notent que leurs calculs suggèrent d'autres propriétés de divisibilité, spécifiquement que $T_2(n)$ semble être divisible par 32 pour certaines progressions arithmétiques (par exemple, $T_2(25n+8)$, $T_2(49n+13)$, etc.) et que $T_2(7n+6)$ pourrait être divisible par 29. Cependant, ils déclarent explicitement que ces observations sont laissées comme des questions ouvertes pour les lecteurs intéressés et ne prétendent pas avoir prouvé ces congruences de modules supérieurs spécifiques dans ce travail. L'article conclut en présentant ces points comme des directions potentielles pour des investigations futures plutôt que comme des théorèmes établis.