Counting solutions to the quadratic determinant equation

Resumo Técnico: Contagem de Soluções da Equação do Determinante Quadrático

Enunciado do Problema
Este artigo aborda o problema de contar soluções inteiras para a equação do determinante quadrático $x_1x_2 - x_3x_4 = h$ dentro de uma caixa nítida $[-N, N]^4$. Especificamente, os autores analisam a quantidade:
$$T(h, N) = |\{x \in \mathbb{Z}^4 : x_1x_2 - x_3x_4 = h, \ x_i \in [-N, N]\}|$$
onde $h, N \in \mathbb{N}$ e $1 \leqslant h \leqslant N^2$. O estudo foca na derivação de uma fórmula assintótica para $T(h, N)$ com termos de erro fortes, particularmente no regime onde $h$ está próximo de $N^2$ (especificamente $h = N^2 + O(N)$).

Os autores contrastam este problema de "corte nítido" com dois cenários relacionados e bem estudados:

1. Pesos suaves: Onde a região é ponderada por uma função suave, permitindo a aplicação do método do círculo (por exemplo, resultados de Heath-Brown).
2. Restrições de norma euclidiana: Onde $x_1^2 + \dots + x_4^2 \leqslant N^2$, um cenário onde a teoria espectral de formas automórficas produz limites de erro específicos (por exemplo, resultados de Selberg).

O desafio reside no fato de que o corte nítido e a natureza arbitrária de $h$ (relativa a $N$) tipicamente impedem que o método do círculo produza fórmulas assintóticas com termos de erro uniformes.

Metodologia
Os autores empregam uma abordagem híbrida combinando argumentos combinatórios no espaço físico com teoria analítica dos números, evitando especificamente uma dependência direta nas previsões heurísticas do método do círculo para o caso nítido.

1. Decomposição em Tipos Aditivos e de Diferença:
   O problema é reduzido analisando soluções onde as variáveis são não nulas. A equação $x_1x_2 - x_3x_4 = h$ é decomposta com base nos sinais das variáveis, levando a dois subproblemas primários:

   • Tipo aditivo: Soluções para $ax + by = h$ com $a,b,x,y \in [N]$.
   • Tipo de diferença: Soluções para $ax - by = h$ com $a,b,x,y \in [N]$.

2. Aproximação Discreto-Contínua:
   Para o caso aditivo, os autores fixam o máximo divisor comum $d = \gcd(x, y)$ e reduzem a equação para $au + bv = h/d$ com $\gcd(u, v) = 1$. Eles expressam o número de soluções como uma soma sobre $u, v$ do comprimento de uma progressão aritmética.

   • O termo principal é derivado aproximando a soma discreta com uma integral contínua sobre a região definida pelas restrições.
   • A condição de coprimalidade é removida via inversão de Möbius, introduzindo uma soma auxiliar sobre $k$.
   • As integrais resultantes são identificadas como a densidade real $\sigma_\infty(h/N^2)$, enquanto as somas aritméticas correspondem à série singular $S_h$.

3. Análise do Termo de Erro:
   Os termos de erro surgem de:

   • A discrepância entre a contagem discreta e a integral contínua (erro de discretização).
   • A função dente de serra $\psi(x) = x - \lfloor x \rfloor - 1/2$, que aparece ao contar pontos de rede em intervalos.
   • Os autores limitam as contribuições da função dente de serra usando expansões de Fourier truncadas. Isso reduz o problema à estimativa de somas de Kloosterman incompletas.
   • Caso Geral ($h$ arbitrário): Usando limites padrão para somas de Kloosterman incompletas (via limites de Weil e lemas de Hooley), o termo de erro é mostrado como $O_\varepsilon(N^{3/2+\varepsilon})$.

4. Caso Especial ($h \approx N^2$):
   Quando $h = N^2 + \Delta$ com $\Delta = O(N)$, a geometria do espaço de soluções muda. Os autores exploram uma simetria adicional disponível neste regime específico.

   • Eles mostram que os intervalos de somação para as variáveis tornam-se "completos" módulo $u$ até um pequeno erro.
   • Isso permite a substituição de somas de Kloosterman incompletas por somas de Ramanujan.
   • Ao utilizar propriedades das somas de Ramanujan e a desigualdade triangular, eles contornam a necessidade de limites mais fortes para somas de Kloosterman, alcançando um termo de erro significativamente mais agudo de $O_\varepsilon(N^{1+\varepsilon})$.

Contribuições e Resultados Principais

• Teorema 1.1 (Assintótica Geral): Para quaisquer $h, N \in \mathbb{N}$, os autores provam:
  $$T(h, N) = \sigma_\infty(h/N^2) S_h N^2 + O_\varepsilon(N^{3/2+\varepsilon})$$
  onde $\sigma_\infty$ é a densidade real e $S_h$ é a série singular. Isso confirma quantitativamente a heurística do método do círculo apesar dos cortes nítidos.

• Teorema 1.3 (Cancelamento de Raiz Quadrada): No caso específico onde $h = N^2 + O(N)$, o termo de erro é melhorado para:
  $$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 exibe cancelamento de raiz quadrada ($O(N^{1+\varepsilon})$), que é uma melhoria significativa sobre o limite $O(N^{3/2+\varepsilon})$.

• Fórmulas Explícitas: O artigo fornece cálculos explícitos para a série singular $S_h = \zeta(2)^{-1} \sum_{d|h} d^{-1}$ e a densidade real $\sigma_\infty(\lambda)$ em termos da função dilogaritmo $\text{Li}_2$ e termos logarítmicos, distinguindo casos para $\lambda \in (0, 1)$, $\lambda = 1$ e $\lambda \in (1, 2)$.

• Corolário 1.4: Os autores confirmam uma especulação de Dhanda–Haynes–Prasala sobre o tamanho do termo de erro quando $h$ é uma potência de um primo (ou geralmente $h = N^2 + O(N)$), mostrando que o erro é $O_\varepsilon(N^{1+\varepsilon})$.

Significado e Alegações
O artigo afirma resolver uma especulação sobre o tamanho do termo de erro para a equação do determinante quadrático na faixa "crítica" onde $h \approx N^2$.

• Comparação com Pesos Suaves: Enquanto análogos com pesos suaves (Heath-Brown) tipicamente produzem erros de $O(N^{3/2+\varepsilon})$, este trabalho alcança a mesma força para cortes nítidos no caso geral e melhora para $O(N^{1+\varepsilon})$ no caso simétrico.
• Comparação com Teoria Espectral: Os autores notam que, para o problema com restrição de norma $\ell^2$ (cenário de Selberg), os melhores limites de erro conhecidos são da ordem $N^{4/3}$ ou maiores. Em contraste, seu resultado para a caixa nítida com $h \approx N^2$ alcança $O(N^{1+\varepsilon})$, que é significativamente menor que o tamanho do termo principal ($N^2$) e representa um cancelamento mais forte do que o atualmente conhecido para o cenário $\ell^2$.
• Novidade Metodológica: O significado reside em contornar os limites padrão de somas de Kloosterman no caso especial $h \approx N^2$ explorando a estrutura específica dos intervalos via somas de Ramanujan. Isso permite um termo de erro de "cancelamento de raiz quadrada" que não é acessível através de métodos analíticos padrão aplicados ao caso geral.

Os autores afirmam explicitamente que seus resultados confirmam a ordem conjecturada do termo de erro ($O(N^{1+\varepsilon})$) no regime específico $h = N^2 + O(N)$, um regime onde técnicas anteriores que dependiam de propriedades de divisibilidade de primos eram insuficientes.