Finite path integral limits work in cases where the perturbative series is not Borel summable

Resumo Técnico: Limites de Integrais de Caminho Finitos e Séries Não Borel-Somáveis

Enunciado do Problema
Na teoria quântica de campos (QFT) e na mecânica quântica, a expansão perturbativa de observáveis em potências da constante de acoplamento tipicamente resulta em uma série assintótica. Embora a somação de Borel possa frequentemente extrair valores físicos finitos a partir dessas séries assintóticas, existem casos bem conhecidos onde a série não é Borel-somável. Essa não-somabilidade geralmente surge em sistemas com uma estrutura de vácuo não trivial, como o potencial de poço duplo na mecânica quântica ou renormalons de infravermelho (IR) na Cromodinâmica Quântica (QCD). Nesses cenários, a transformada de Borel possui singularidades no eixo real positivo, obstruindo o caminho de somação padrão.

Trabalhos recentes demonstraram que avaliar séries perturbativas sob limites de integrais de caminho finitos (integrando de $-L$ a $L$ em vez de $-\infty$ a $\infty$) pode gerar séries absolutamente convergentes, mesmo em acoplamento forte, para sistemas que são Borel-somáveis (por exemplo, o oscilador anarmônico). No entanto, permanecia uma questão em aberto se este método seria eficaz para sistemas onde a série perturbativa padrão não é Borel-somável devido a um vácuo degenerado.

Metodologia
Para abordar isso, o autor analisa uma integral básica com um integrando da forma $e^{-f(x)}$, onde $f(x) = \lambda x^4 - \frac{1}{2}ax^2$ (com $a, \lambda > 0$). Esta função exibe um formato de poço duplo com dois mínimos degenerados em $x = \pm\sqrt{a/4\lambda}$ e um máximo local na origem $x=0$. A integral possui uma solução analítica exata em termos de funções de Bessel modificadas, fornecendo um referencial rigoroso.

O estudo procede em duas etapas:

1. Análise Perturbativa Padrão: O autor primeiro deriva a série perturbativa padrão expandindo em torno de um dos mínimos ($x_+$). Isso reproduz o resultado conhecido: uma série assintótica com coeficientes positivos que cresce fatorialmente. A transformada de Borel mostra possuir uma singularidade logarítmica em $b = a^2/16$ no eixo real positivo, confirmando que a série não é Borel-somável.
2. Análise Perturbativa de Limite Finito: O autor então reavalia o problema impondo limites de integração finitos, $L$, de tal forma que a integral seja definida como $\lim_{L \to \infty} \int_{-L}^{L}$. Duas expansões perturbativas distintas são desenvolvidas sob estes limites finitos:
   • Expansão em torno do máximo local ($x=0$): Diferente do caso infinito onde o termo quadrático diverge, os limites finitos permitem uma expansão válida de $e^{-\lambda x^4}$ em torno de $x=0$.
   • Expansão em torno de um dos mínimos ($x_+$): A expansão é realizada em torno do mínimo positivo, mas a integração sobre a variável de flutuação $y$ é restrita ao intervalo $[-L, L]$.

Em ambos os casos, as séries resultantes são expressas em termos de funções gama incompletas (decorrentes dos limites finitos) e funções hipergeométricas generalizadas.

Resultos Principais

• Convergência Absoluta: Ambas as séries perturbativas derivadas sob limites finitos são provadas ser absolutamente convergentes para todos os valores de $\lambda$ (fraco e forte), independentemente do ponto de expansão. Isso é estabelecido via o teste da razão, onde o limite da razão dos termos sucessivos se anula.
• Recuperação da Solução Exata: Ao somar as séries convergentes analiticamente e, subsequentemente, tomar o limite $L \to \infty$, o autor demonstra que a série converge para a expressão analítica exata da integral original (envolvendo funções de Bessel modificadas).
• Captura Não-Perturbativa: Crucialmente, a expansão realizada em torno de apenas um dos dois mínimos consegue reproduzir o resultado não-perturbativo completo, que inerentemente inclui os efeitos de ambos os mínimos.

Significância e Alegações
O artigo afirma que limites de integrais de caminho finitos fornecem um mecanismo para obter resultados corretos e finitos para sistemas com estruturas de vácuo não triviais onde a teoria de perturbação padrão falha (ou seja, produz séries assintóticas não Borel-somáveis).

A principal significância reside na demonstração de que uma expansão perturbativa em torno de um único estado de vácuo, quando conduzida sob limites de integração finitos, pode capturar a física completa de um sistema de vácuo degenerado. Isso desafia a visão convencional de que a teoria de perturbação em torno de um mínimo não pode dar conta do "outro lado" de um potencial de poço duplo sem entrada não-perturbativa (como instantons). O autor postula que a finitude dos limites de integração impede a divergência que leva à não-somabilidade, permitindo assim que a série convirja para o resultado exato.

Direções Futuras
O autor identifica este trabalho como um primeiro passo. Aplicações futuras deste método são propostas para casos mais complexos de não-Borel-somabilidade, especificamente:

• As séries de energia do potencial de poço duplo em mecânica quântica (tipicamente estudadas via métodos de multi-instantons).
• Renormalons de infravermelho (IR) em QCD, que estão associados a estados de vácuo não triviais e ambiguidades de Borel.

O artigo não afirma ter resolvido esses sistemas complexos ainda, mas sugere que a abordagem de limite finito oferece um caminho promissor para abordar ambiguidades de Borel decorrentes de vácuos não triviais em sistemas físicos realistas.