Counting solutions to the quadratic determinant equation

Resumen Técnico: Conteo de Soluciones a la Ecuación del Determinante Cuadrático

Enunciado del Problema
Este artículo aborda el problema de contar soluciones enteras a la ecuación del determinante cuadrático $x_1x_2 - x_3x_4 = h$ dentro de una caja aguda $[-N, N]^4$. Específicamente, los autores analizan la cantidad:
$$T(h, N) = |\{x \in \mathbb{Z}^4 : x_1x_2 - x_3x_4 = h, \ x_i \in [-N, N]\}|$$
donde $h, N \in \mathbb{N}$ y $1 \leqslant h \leqslant N^2$. El estudio se centra en derivar una fórmula asintótica para $T(h, N)$ con términos de error fuertes, particularmente en el régimen donde $h$ está cerca de $N^2$ (específicamente $h = N^2 + O(N)$).

Los autores contrastan este problema de "corte agudo" con dos contextos relacionados y bien estudiados:

1. Pesos suaves: Donde la región se pondera mediante una función suave, permitiendo la aplicación del método del círculo (por ejemplo, los resultados de Heath-Brown).
2. Restricciones de norma euclidiana: Donde $x_1^2 + \dots + x_4^2 \leqslant N^2$, un contexto donde la teoría espectral de formas automorfas proporciona cotas de error específicas (por ejemplo, los resultados de Selberg).

La dificultad radica en el hecho de que el corte agudo y la naturaleza arbitraria de $h$ (en relación con $N$) suelen impedir que el método del círculo produzca fórmulas asintóticas con términos de error uniformes.

Metodología
Los autores emplean un enfoque híbrido que combina argumentos combinatorios en el espacio físico con la teoría analítica de números, evitando específicamente una dependencia directa de las predicciones heurísticas del método del círculo para el caso agudo.

1. Descomposición en Tipos Aditivos y de Diferencia:
   El problema se reduce analizando soluciones donde las variables son no nulas. La ecuación $x_1x_2 - x_3x_4 = h$ se descompone basándose en los signos de las variables, dando lugar a dos subproblemas principales:

   • Tipo aditivo: Soluciones a $ax + by = h$ con $a,b,x,y \in [N]$.
   • Tipo de diferencia: Soluciones a $ax - by = h$ con $a,b,x,y \in [N]$.

2. Aproximación Discreto-Continuo:
   Para el caso aditivo, los autores fijan el máximo común divisor $d = \gcd(x, y)$ y reducen la ecuación a $au + bv = h/d$ con $\gcd(u, v) = 1$. Expresan el número de soluciones como una suma sobre $u, v$ de la longitud de una progresión aritmética.

   • El término principal se deriva aproximando la suma discreta con una integral continua sobre la región definida por las restricciones.
   • La condición de coprimidad se elimina mediante inversión de Möbius, introduciendo una suma auxiliar sobre $k$.
   • Las integrales resultantes se identifican como la densidad real $\sigma_\infty(h/N^2)$, mientras que las sumas aritméticas corresponden a la serie singular $S_h$.

3. Análisis del Término de Error:
   Los términos de error surgen de:

   • La discrepancia entre el conteo discreto y la integral continua (error de discretización).
   • La función sierra $\psi(x) = x - \lfloor x \rfloor - 1/2$, que aparece al contar puntos de red en intervalos.
   • Los autores acotan las contribuciones de la función sierra utilizando expansiones de Fourier truncadas. Esto reduce el problema a la estimación de sumas de Kloosterman incompletas.
   • Caso General ($h$ arbitrario): Utilizando cotas estándar para sumas de Kloosterman incompletas (mediante cotas de Weil y lemas de Hooley), se demuestra que el término de error es $O_\varepsilon(N^{3/2+\varepsilon})$.

4. Caso Especial ($h \approx N^2$):
   Cuando $h = N^2 + \Delta$ con $\Delta = O(N)$, la geometría del espacio de soluciones cambia. Los autores explotan una simetría adicional disponible en este régimen específico.

   • Muestran que los intervalos de sumación para las variables se vuelven "completos" módulo $u$ hasta un error pequeño.
   • Esto permite reemplazar las sumas de Kloosterman incompletas con sumas de Ramanujan.
   • Mediante el uso de las propiedades de las sumas de Ramanujan y la desigualdad triangular, eluden la necesidad de las cotas más fuertes para sumas de Kloosterman, logrando un término de error significativamente más agudo de $O_\varepsilon(N^{1+\varepsilon})$.

Contribuciones y Resultados Clave

• Teorema 1.1 (Asintótico General): Para cualquier $h, N \in \mathbb{N}$, los autores prueban:
  $$T(h, N) = \sigma_\infty(h/N^2) S_h N^2 + O_\varepsilon(N^{3/2+\varepsilon})$$
  donde $\sigma_\infty$ es la densidad real y $S_h$ es la serie singular. Esto confirma cuantitativamente la heurística del método del círculo a pesar de los cortes agudos.

• Teorema 1.3 (Cancelación de Raíz Cuadrada): En el caso específico donde $h = N^2 + O(N)$, el término de error se mejora a:
  $$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|)$$
  Este resultado exhibe cancelación de raíz cuadrada ($O(N^{1+\varepsilon})$), lo cual es una mejora significativa sobre la cota $O(N^{3/2+\varepsilon})$.

• Fórmulas Explícitas: El artículo proporciona cálculos explícitos para la serie singular $S_h = \zeta(2)^{-1} \sum_{d|h} d^{-1}$ y la densidad real $\sigma_\infty(\lambda)$ en términos de la función dilogarítmica $\text{Li}_2$ y términos logarítmicos, distinguiendo casos para $\lambda \in (0, 1)$, $\lambda = 1$ y $\lambda \in (1, 2)$.

• Corolario 1.4: Los autores confirman una especulación de Dhanda–Haynes–Prasala sobre el tamaño del término de error cuando $h$ es una potencia de un primo (o generalmente $h = N^2 + O(N)$), mostrando que el error es $O_\varepsilon(N^{1+\varepsilon})$.

Significado y Afirmaciones
El artículo afirma resolver una especulación sobre el tamaño del término de error para la ecuación del determinante cuadrático en el rango "crítico" donde $h \approx N^2$.

• Comparación con Pesos Suaves: Mientras que los análogos con pesos suaves (Heath-Brown) típicamente producen errores de $O(N^{3/2+\varepsilon})$, este trabajo logra la misma fuerza para cortes agudos en el caso general y mejora a $O(N^{1+\varepsilon})$ en el caso simétrico.
• Comparación con la Teoría Espectral: Los autores señalan que para el problema con restricción de norma $\ell^2$ (contexto de Selberg), las mejores cotas de error conocidas son del orden $N^{4/3}$ o mayores. En contraste, su resultado para la caja aguda con $h \approx N^2$ alcanza $O(N^{1+\varepsilon})$, lo cual es significativamente menor que el tamaño del término principal ($N^2$) y representa una cancelación más fuerte que la conocida actualmente para el contexto $\ell^2$.
• Novedad Metodológica: El significado radica en eludir las cotas estándar de sumas de Kloosterman en el caso especial $h \approx N^2$ explotando la estructura específica de los intervalos mediante sumas de Ramanujan. Esto permite un término de error de "cancelación de raíz cuadrada" que no es accesible a través de métodos analíticos estándar aplicados al caso general.

Los autores declaran explícitamente que sus resultados confirman el orden conjeturado del término de error ($O(N^{1+\varepsilon})$) en el régimen específico $h = N^2 + O(N)$, un régimen donde las técnicas anteriores que dependían de propiedades de divisibilidad de primos eran insuficientes.