Counting solutions to the quadratic determinant equation

Résumé technique : Comptage des solutions de l'équation du déterminant quadratique

Énoncé du problème
Ce papier aborde le problème du comptage des solutions entières de l'équation du déterminant quadratique $x_1x_2 - x_3x_4 = h$ dans une boîte tranchée $[-N, N]^4$. Plus précisément, les auteurs analysent la quantité :
$$T(h, N) = |\{x \in \mathbb{Z}^4 : x_1x_2 - x_3x_4 = h, \ x_i \in [-N, N]\}|$$
où $h, N \in \mathbb{N}$ et $1 \leqslant h \leqslant N^2$. L'étude se concentre sur la dérivation d'une formule asymptotique pour $T(h, N)$ avec des termes d'erreur forts, en particulier dans le régime où $h$ est proche de $N^2$ (spécifiquement $h = N^2 + O(N)$).

Les auteurs contrastent ce problème de « tranchage net » avec deux cadres connexes, bien étudiés :

1. Poids lisses : Où la région est pondérée par une fonction lisse, permettant l'application de la méthode du cercle (par exemple, les résultats de Heath-Brown).
2. Contraintes de norme euclidienne : Où $x_1^2 + \dots + x_4^2 \leqslant N^2$, un cadre où la théorie spectrale des formes automorphes fournit des bornes d'erreur spécifiques (par exemple, les résultats de Selberg).

Le défi réside dans le fait que le tranchage net et la nature arbitraire de $h$ (par rapport à $N$) empêchent généralement la méthode du cercle de produire des formules asymptotiques avec des termes d'erreur uniformes.

Méthodologie
Les auteurs emploient une approche hybride combinant des arguments combinatoires dans l'espace physique avec la théorie analytique des nombres, évitant spécifiquement une dépendance directe aux prédictions heuristiques de la méthode du cercle pour le cas tranché.

1. Décomposition en types additifs et de différence :
   Le problème est réduit en analysant les solutions où les variables sont non nulles. L'équation $x_1x_2 - x_3x_4 = h$ est décomposée en fonction des signes des variables, conduisant à deux sous-problèmes principaux :

   • Type additif : Solutions de $ax + by = h$ avec $a,b,x,y \in [N]$.
   • Type de différence : Solutions de $ax - by = h$ avec $a,b,x,y \in [N]$.

2. Approximation discrète-continue :
   Pour le cas additif, les auteurs fixent le plus grand commun diviseur $d = \gcd(x, y)$ et réduisent l'équation à $au + bv = h/d$ avec $\gcd(u, v) = 1$. Ils expriment le nombre de solutions comme une somme sur $u, v$ de la longueur d'une progression arithmétique.

   • Le terme principal est dérivé en approximating la somme discrète par une intégrale continue sur la région définie par les contraintes.
   • La condition de coprimalité est éliminée via l'inversion de Möbius, introduisant une somme auxiliaire sur $k$.
   • Les intégrales résultantes sont identifiées comme la densité réelle $\sigma_\infty(h/N^2)$, tandis que les sommes arithmétiques correspondent à la série singulière $S_h$.

3. Analyse du terme d'erreur :
   Les termes d'erreur proviennent de :

   • L'écart entre le comptage discret et l'intégrale continue (erreur de discrétisation).
   • La fonction en dents de scie $\psi(x) = x - \lfloor x \rfloor - 1/2$, qui apparaît lors du comptage des points du réseau dans les intervalles.
   • Les auteurs bornent les contributions de la fonction en dents de scie en utilisant des développements de Fourier tronqués. Cela réduit le problème à l'estimation de sommes de Kloosterman incomplètes.
   • Cas général ($h$ arbitraire) : En utilisant des bornes standard pour les sommes de Kloosterman incomplètes (via les bornes de Weil et les lemmes de Hooley), le terme d'erreur est montré comme étant $O_\varepsilon(N^{3/2+\varepsilon})$.

4. Cas particulier ($h \approx N^2$) :
   Lorsque $h = N^2 + \Delta$ avec $\Delta = O(N)$, la géométrie de l'espace des solutions change. Les auteurs exploitent une symétrie supplémentaire disponible dans ce régime spécifique.

   • Ils montrent que les intervalles de sommation pour les variables deviennent « complets » modulo $u$ jusqu'à une petite erreur.
   • Cela permet de remplacer les sommes de Kloosterman incomplètes par des sommes de Ramanujan.
   • En utilisant les propriétés des sommes de Ramanujan et l'inégalité triangulaire, ils contournent le besoin de bornes plus fortes pour les sommes de Kloosterman, atteignant un terme d'erreur nettement plus précis de $O_\varepsilon(N^{1+\varepsilon})$.

Contributions et résultats clés

• Théorème 1.1 (Asymptotique générale) : Pour tout $h, N \in \mathbb{N}$, les auteurs prouvent :
  $$T(h, N) = \sigma_\infty(h/N^2) S_h N^2 + O_\varepsilon(N^{3/2+\varepsilon})$$
  où $\sigma_\infty$ est la densité réelle et $S_h$ est la série singulière. Cela confirme quantitativement l'heuristique de la méthode du cercle malgré les tranchages nets.

• Théorème 1.3 (Annulation de la racine carrée) : Dans le cas spécifique où $h = N^2 + O(N)$, le terme d'erreur est amélioré à :
  $$T(h, N) = \left(\frac{8}{\zeta(2)} - 4\right) \left(\sum_{d|h} \frac{1}{d}\right) N^2 + O_\varepsilon(N^{1+\varepsilon} + N^\varepsilon |\Delta|)$$
  Ce résultat présente une annulation de la racine carrée ($O(N^{1+\varepsilon})$), ce qui constitue une amélioration significative par rapport à la borne $O(N^{3/2+\varepsilon})$.

• Formules explicites : Le papier fournit des calculs explicites pour la série singulière $S_h = \zeta(2)^{-1} \sum_{d|h} d^{-1}$ et la densité réelle $\sigma_\infty(\lambda)$ en termes de la fonction dilogarithme $\text{Li}_2$ et de termes logarithmiques, distinguant les cas pour $\lambda \in (0, 1)$, $\lambda = 1$, et $\lambda \in (1, 2)$.

• Corollaire 1.4 : Les auteurs confirment une spéculation de Dhanda–Haynes–Prasala concernant la taille du terme d'erreur lorsque $h$ est une puissance d'un nombre premier (ou généralement $h = N^2 + O(N)$), montrant que l'erreur est $O_\varepsilon(N^{1+\varepsilon})$.

Signification et affirmations
Le papier prétend résoudre une spéculation concernant la taille du terme d'erreur pour l'équation du déterminant quadratique dans la plage « critique » où $h \approx N^2$.

• Comparaison avec les poids lisses : Bien que les analogues à poids lisses (Heath-Brown) produisent généralement des erreurs de $O(N^{3/2+\varepsilon})$, ce travail atteint la même force pour les tranchages nets dans le cas général et s'améliore jusqu'à $O(N^{1+\varepsilon})$ dans le cas symétrique.
• Comparaison avec la théorie spectrale : Les auteurs notent que pour le problème contraint par la norme $\ell^2$ (cadre de Selberg), les meilleures bornes d'erreur connues sont de l'ordre de $N^{4/3}$ ou plus. En revanche, leur résultat pour la boîte tranchée avec $h \approx N^2$ atteint $O(N^{1+\varepsilon})$, ce qui est significativement plus petit que la taille du terme principal ($N^2$) et représente une annulation plus forte que celle actuellement connue pour le cadre $\ell^2$.
• Nouveauté méthodologique : La signification réside dans le contournement des bornes standard des sommes de Kloosterman dans le cas particulier $h \approx N^2$ en exploitant la structure spécifique des intervalles via les sommes de Ramanujan. Cela permet un terme d'erreur d'« annulation de la racine carrée » qui n'est pas accessible par les méthodes analytiques standard appliquées au cas général.

Les auteurs déclarent explicitement que leurs résultats confirment l'ordre conjecturé du terme d'erreur ($O(N^{1+\varepsilon})$) dans le régime spécifique $h = N^2 + O(N)$, un régime où les techniques précédentes reposant sur les propriétés de divisibilité des nombres premiers étaient insuffisantes.