Admissibility of Hörmander--Bernhardsson extremal zeros

Resumo Técnico: Admissibilidade dos Zeros Extremais de Hörmander–Bernhardsson

Autor: Khai-Hoan Nguyen-Dang
Data: 12 de fevereiro de 2026

1. O Problema

O artigo investiga as propriedades espectrais dos zeros $\{\pm\tau_n\}_{n\geq 1}$ da função extremal de Hörmander–Bernhardsson ($\phi$). Esta função é a solução de um problema de minimização da norma $L^1$ entre funções de tipo exponencial $\pi$ com $\phi(0)=1$.

Embora trabalhos recentes (BOCRS25) tenham estabelecido que esses zeros são perturbações de ordem $\ell^2$ da rede de meios-inteiros ($n + 1/2$), a proximidade métrica não garante, por si só, um comportamento espectral "limpo". O problema central é determinar se as sequências derivadas desses zeros são admissíveis no sentido de Quine–Heydari–Song (QHS). A admissibilidade exige que a função traço de calor $\Theta(t) = \sum e^{-\lambda_n t}$ possua uma expansão assintótica de pequeno tempo em potências puras de $t$ (sem termos logarítmicos), o que permite o uso de todo o aparato de regularização de zeta (determinantes de zeta, produtos regularizados, etc.).

2. Metodologia

A abordagem do autor é puramente analítica e baseia-se em três pilares:

• Forma Normal Analítica: O autor utiliza a parametrização dos zeros para escrever os quadrados dos zeros ($\lambda_n = \tau_n^2$) em uma forma normal: $\lambda_n = (n + a)^2 + q((n + a)^{-2})$, onde $q$ é uma função analítica. Esta transformação é crucial porque remove o termo de perturbação de ordem $1/n$ (que causaria termos logarítmicos) e o substitui por uma correção de ordem $1/n^2$.
• Análise de Mellin–Hurwitz: Para provar a expansão assintótica, o autor utiliza a transformada de Mellin para converter o traço de calor em uma integral de contorno envolvendo a função zeta de Hurwitz. A análise de resíduos permite identificar os expoentes da expansão assintótica.
• Somas Gaussianas Pesadas: O problema é reduzido ao estudo de somas do tipo $\sum a_n^{-2m} e^{-a_n^2 t}$, que são tratadas via deslocamento de contorno no plano complexo.

3. Principais Contribuições e Resultados

O artigo estabelece uma dicotomia de paridade fundamental para as potências dos zeros:

• Admissibilidade para Potências Pares (Teoremas 1.1 e 1.3): A sequência dos quadrados dos zeros $(\tau_n^2)$ é estritamente admissível no sentido de QHS. Isso significa que o traço de calor $\theta(t)$ tem uma expansão em potências puras de $t^{1/2}$. Como consequência, a função zeta espectral $Z(s)$ possui continuação meromorfa e valores especiais bem definidos em inteiros não positivos.
• Obstrução para Potências Ímpares (Teorema 1.3 e 5.1): Para qualquer potência ímpar $m$, a sequência $(\tau_n^m)$ não é admissível. O traço de calor $\theta_m(t)$ contém um termo logarítmico não nulo de ordem $t \log t$. Esse termo é causado pela presença de um peso harmônico $a_n^{-1}$ na expansão assintótica de $\tau_n^m$.
• Prova da Conjectura de BOCRS (Teorema 1.2 e 4.1): Utilizando a admissibilidade e a identidade de inversão da função $\phi$, o autor prova a conjectura de Bondarenko–Ortega-Cerdà–Radchenko–Seip sobre os valores especiais das séries de Dirichlet associadas a $\phi$:
  $$L_+(-2k) = \frac{L_+(2k)}{(2\pi i C)^{2k}}$$
• Critério de Perturbação Analítica (Teorema 1.4): O autor fornece um critério geral: qualquer perturbação analítica de uma rede quadrática do tipo $\lambda_n = (n+a)^2 + q((n+a)^{-2})$ é admissível.

4. Significância

Este trabalho é de grande importância para a análise harmônica e a teoria espectral por vários motivos:

1. Conexão entre Teoria de Funções e Espectro: Ele demonstra como propriedades de funções extremais (problemas de minimização) ditam a estrutura de regularização de suas séries de Dirichlet.
2. Refinamento da Teoria de Admissibilidade: O autor identifica que a "admissibilidade de BOCRS" (perturbação $\ell^2$) é mais fraca que a "admissibilidade de QHS" (expansão de potências puras), e explica exatamente por que a diferença reside na paridade das potências.
3. Ferramenta de Cálculo: Ao estabelecer a admissibilidade, o autor fornece uma "máquina" para extrair coeficientes de produtos canônicos e determinar a assintótica de grandes parâmetros, o que tem aplicações em problemas de amostragem de de Branges e problemas de Sturm-Liouville.