Preuves rationalisées par la méthode WZ des supercongruences de Van Hamme

Informations de base

• ID de l'article: 2508.00343
• Titre: Streamlined WZ method proofs of Van Hamme supercongruences
• Auteur: Andrés Valloud
• Classification: math.NT (Théorie des nombres)
• Date de publication: 10 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2508.00343

Résumé

Cet article résout le problème de la dépendance critique au choix judicieux de paires WZ lors de la preuve de supercongruences par la méthode WZ. L'article présente une procédure pour trouver des candidats de paires WZ afin de prouver une supercongruence donnée. Lorsqu'une paire WZ appropriée est obtenue, sa combinaison avec l'approximation $p$-adique de $\Gamma_p$ de Long et Ramakrishna fournit des preuves unifiées pour les supercongruences de Van Hamme (B.2), (C.2), (D.2), (E.2), (F.2), (G.2) et (H.2). Cette approche produit également l'extension connue de (G.2) modulo $p^4$, ainsi que l'extension de (H.2) modulo $p^3$ lorsque $p \equiv 3 \pmod{4}$. Enfin, la supercongruence de Van Hamme (I.2) est prouvée comme un cas particulier de la méthode WZ, où l'algorithme de Gosper lui-même réussit directement.

Contexte et motivation de la recherche

Contexte du problème

En 1997, Van Hamme a proposé des analogues $p$-adiques de 13 formules de séries hypergéométriques de Ramanujan pour $1/\pi$. Ces analogues affirment que certaines séries hypergéométriques tronquées satisfont des congruences valides sous des puissances de nombres premiers étonnamment grandes, phénomène appelé supercongruence.

Problème central

L'obstacle principal à l'utilisation de la méthode WZ pour prouver les supercongruences est que la recherche des facteurs nécessaires a toujours dépendé de méthodes ad hoc, sans procédure systématique pour sélectionner des paires WZ appropriées. Cela limite l'application généralisée de la méthode WZ.

Motivation de la recherche

• Les méthodes de preuve originales des supercongruences de Van Hamme varient considérablement, manquant d'une méthodologie unifiée
• L'article de 99 pages de Sun contient 100 conjectures de supercongruences, ainsi que diverses conjectures proposées par d'autres chercheurs, nécessitant des méthodes de preuve plus générales
• La méthode WZ possède des avantages algorithmiques, mais nécessite de résoudre le problème systématique de la sélection des facteurs

Contributions principales

1. Proposition d'une procédure systématique pour trouver des candidats de paires WZ: Établissement par le Théorème 1.1 d'une méthode de construction de paires WZ standards à partir de paires WZ généralisées
2. Preuves unifiées pour 7 supercongruences de Van Hamme: (B.2)-(H.2) peuvent toutes être traitées avec la même structure de preuve
3. Extension des résultats connus: Preuve de l'extension de (G.2) modulo $p^4$ et de (H.2) modulo $p^3$ (lorsque $p \equiv 3 \pmod{4}$)
4. Introduction du concept de dispositif WZ: Systématisation de la récupération mécanique de paires WZ appropriées à partir de la sortie de l'algorithme WZ
5. Preuve de la propriété spéciale de (I.2): Démonstration que (I.2) est un cas particulier où l'algorithme de Gosper réussit directement

Détails de la méthode

Définition de la tâche

Étant donnée une supercongruence de Van Hamme de la forme: $\sum_{n=0}^{d} u(n)c^n \cdot \frac{(1/a)_n^m}{(1)_n^m} \equiv f(p) \pmod{p^r}$

L'objectif est de trouver une paire WZ appropriée pour prouver ces supercongruences.

Cadre théorique central

Théorème 1.1 (Théorème clé)

Pour un corps $F$ de caractéristique zéro, soit $F(n,k), G(n,k): \mathbb{Z}^2 \to F$ hypergéométriques en $n$ et $k$. S'il existe des polynômes $p_0, p_1 \in F[k]$ tels que: $p_1(k)F(n,k+1) + p_0(k)F(n,k) = G(n+1,k) - G(n,k)$

et $p_0, p_1$ se décomposent en facteurs linéaires sur $F$, alors il existe des fonctions $\tilde{F}(n,k), \tilde{G}(n,k)$ formant une paire WZ standard: $\tilde{F}(n,k+1) - \tilde{F}(n,k) = \tilde{G}(n+1,k) - \tilde{G}(n,k)$

Méthode de construction

Par la définition: $q(k) = (-1)^k \cdot \frac{\phi_{p_1}(k)}{\phi_{p_0}(k)}$

où $\phi_r(k)$ est déterminé par la décomposition en facteurs linéaires du polynôme $r(k)$.

Points d'innovation technique

1. Effondrement de degré (Degree Collapse)

Lorsque l'algorithme WZ retourne un opérateur de différence de degré supérieur à 1, par modification de $F(n,k)$: $\tilde{F}(n,k) = \frac{F(n,k)}{(1/a)_k^{m-1}}$ l'opérateur de différence nouveau devient linéaire.

2. Concept de dispositif WZ

Définition d'un dispositif WZ $w(n,k)$ satisfaisant:

• Hypergéométrique en $n$ et $k$
• $w(n,0) = 1$
• Tel que l'algorithme WZ de $F(n)w(n,k)$ retourne un opérateur de différence linéaire

3. Structure de preuve unifiée

Toutes les preuves suivent le même modèle:

1. Construction d'un $F(n,k)$ approprié
2. Application de l'algorithme WZ pour obtenir l'opérateur de différence
3. Utilisation du Théorème 1.1 pour construire une paire WZ standard
4. Simplification par sommation télescopique
5. Analyse du reste par l'approximation $\Gamma_p$ de Long-Ramakrishna

Configuration expérimentale

Méthode de vérification

L'article valide l'efficacité de la méthode par:

1. Calcul symbolique: Utilisation de Maple pour l'algorithme WZ, l'algorithme de Gosper, la factorisation polynomiale, etc.
2. Preuves concrètes: Fourniture de preuves complètes pour chaque supercongruence de Van Hamme
3. Vérification des cas limites: Validation des cas de petits nombres premiers (comme $p=3$)

Méthodes comparatives

Comparaison avec les méthodes de preuve existantes:

• Preuve originale de Van Hamme
• Diverses méthodes de Swisher, Long, Mortenson et autres chercheurs
• Preuves par méthode WZ de Zudilin et Osburn

Résultats expérimentaux

Résultats principaux

Théorème 1.2 (Théorème principal)

Les supercongruences de Van Hamme (B.2)-(H.2) peuvent toutes être prouvées par la méthode WZ rationalisée en combinant le Théorème 1.1 et le Théorème 2.1 de Long-Ramakrishna. En particulier:

• (G.2) est valide modulo $p^4$
• (H.2) peut être étendue modulo $p^3$ lorsque $p \equiv 3 \pmod{4}$

Proposition 1.3

La supercongruence de Van Hamme (I.2) découle directement de l'application de l'algorithme de Gosper.

Exemple de preuve concrète

Structure de preuve de (H.2)

1. Construction du dispositif WZ: $w(n,k) = \frac{(-1)^k(3/4)_k}{(1/4)_k(1/2)_k^2}$
2. Application de la sommation télescopique: $\sum_{n=0}^{\lambda_2} \tilde{F}(n,k+1) - \sum_{n=0}^{\lambda_2} \tilde{F}(n,k) = \tilde{G}(\lambda_2+1,k)$
3. Analyse $\Gamma_p$: Utilisation de l'approximation Long-Ramakrishna pour analyser la valuation $p$-adique de $\tilde{G}(\lambda_2+1,k)$

Tableau des dispositifs WZ

L'article fournit une liste complète des dispositifs WZ (Tableau 2), montrant les dispositifs spécifiques correspondant à chaque supercongruence.

Travaux connexes

Historique de la recherche sur les supercongruences

• Van Hamme (1997): Proposition de 13 conjectures de supercongruences
• Contributions multiples: McCarthy-Osburn, Mortenson, Zudilin, Long, Swisher et autres ont respectivement prouvé différentes supercongruences
• Développements récents: Applications récentes de la méthode WZ par Guo-Wang, Jana-Karmakar et autres

Développement de la méthode WZ

• Algorithme de Wilf-Zeilberger: Fournit un cadre de preuve algorithmique
• Zudilin, Osburn-Zudilin: Première application de la méthode WZ aux supercongruences
• Contribution de cet article: Systématisation du processus de sélection des paires WZ

Outils d'analyse $p$-adique

• Fonction gamma $p$-adique de Morita: Définition et propriétés de $\Gamma_p$
• Approximation Long-Ramakrishna: Fournit une approximation $p$-adique de haute précision de $\Gamma_p$

Conclusion et discussion

Conclusions principales

1. Universalité de la méthode: Au moins 9 (sur 13) supercongruences de Van Hamme peuvent être prouvées par la méthode WZ
2. Degré de systématisation: Fourniture d'une procédure mécanisée pour trouver des paires WZ
3. Capacité d'extension: La méthode produit naturellement les extensions connues modulo des puissances élevées

Limitations

1. Portée d'application: La méthode s'applique principalement aux supercongruences de type Van Hamme
2. Complexité computationnelle: Nécessite toujours le support de systèmes de calcul symbolique
3. Exigences créatives: Bien que le processus soit systématisé, une certaine perspicacité est nécessaire pour sélectionner la forme initiale

Directions futures

1. Moduli plus élevés: Étude des extensions de moduli plus élevés pour (C.2) et (D.2)
2. Autres familles de supercongruences: Extension de la méthode aux 100 conjectures de Sun
3. Analogues $q$: Combinaison avec la technique du $q$-microscoping

Évaluation approfondie

Avantages

1. Contribution théorique: Le Théorème 1.1 fournit une méthode systématique pour traiter les opérateurs de différence non linéaires
2. Unification: Fourniture de preuves avec la même structure pour 7 supercongruences différentes
3. Algorithmisation: Algorithmisation partielle de la sélection créative des paires WZ
4. Complétude: Chaque preuve est complète et autonome
5. Extensibilité: Production naturelle des résultats connus modulo des puissances élevées

Insuffisances

1. Limitations d'universalité: La méthode s'applique principalement à des types spécifiques de supercongruences
2. Dépendance computationnelle: Dépendance importante des systèmes de calcul symbolique
3. Profondeur théorique: Bien que le processus soit systématisé, manque d'explication théorique profonde sur pourquoi ces formes spécifiques sont efficaces

Impact

1. Contribution méthodologique: Fourniture de nouveaux outils systématisés pour la preuve de supercongruences
2. Valeur pratique: Applicabilité à la preuve d'autres conjectures de supercongruences
3. Signification théorique: Connexion entre la méthode WZ et l'analyse $p$-adique

Scénarios d'application

• Recherche sur les congruences $p$-adiques de séries hypergéométriques
• Problèmes de mathématiques combinatoires nécessitant des méthodes de preuve systématisées
• Recherche interdisciplinaire entre l'analyse $p$-adique et les mathématiques algorithmiques

Références

L'article cite 27 références pertinentes, couvrant plusieurs domaines importants incluant la théorie des supercongruences, la méthode WZ, et l'analyse $p$-adique, fournissant une base théorique solide pour la recherche.

Résumé: Cet article est d'une importance significative dans le domaine de la théorie des nombres. En systématisant l'application de la méthode WZ à la preuve de supercongruences, il fournit un outil puissant pour ce domaine de recherche actif. Les contributions théoriques et la valeur pratique de l'article sont toutes deux remarquables, représentant un progrès important dans la recherche sur les supercongruences.