Balaban, MRS e a quantização estocástica

Nos anos 1980 Tadeusz Balaban atacou o limite do contínuo com rigor. Partindo de uma rede muito fina, integrava as flutuações de menor distância e obtinha uma teoria efetiva numa grade mais grossa, repetindo escala por escala. Cada passo gera termos de interação novos, e o feito de Balaban foi provar que eles não crescem descontroladamente: a estabilidade ultravioleta.

Havia um preço. Para tornar o cálculo possível, Balaban fixou o tamanho total L da caixa. Em 1993 Magnen, Rivasseau e Sénéor (MRS) provaram para SU(2) em quatro dimensões que se pode remover o corte ultravioleta preservando a invariância de gauge, mas ainda com um corte infravermelho. O limite L→∞ continua aberto. Clique em cada região do mapa para ver o que já foi provado; o canto superior direito é o Problema do Milênio.

Eixo horizontal: resolução (ultravioleta, a→0). Eixo vertical: tamanho da caixa (infravermelho, L→∞). A seta verde é o controle ultravioleta já provado em volume finito; a vermelha tracejada é o que falta. Clique em cada região.

Por que o volume infinito é essencial para o gap? Porque gap positivo significa correlações que caem exponencialmente entre pontos muito afastados, e uma caixa finita impede justamente separar pontos arbitrariamente. Pior: mesmo um gap positivo em cada caixa finita não basta, porque ele poderia encolher até zero à medida que a caixa cresce.

Por que quatro dimensões é tão difícil

Em quatro dimensões as duas dificuldades se somam: o campo tem mais maneiras independentes de flutuar, e o acoplamento não enfraquece sozinho por análise dimensional, só por um efeito quântico, a liberdade assintótica. Em d<4 o acoplamento tem dimensão positiva e só um número finito de diagramas diverge; em d=4 a divergência é logarítmica em todas as ordens.

A diferença entre “finitos contratermos, calculáveis um a um” (d<4) e “divergências logarítmicas em todas as ordens” (d=4) sai de análise dimensional, e explica por que os resultados construtivos param em 3 dimensões.

Dimensões Com ℏ=c=1, S é adimensional, então [L]=d. De 14(∂A)2: [A]=d−22. De D=∂−igA: [gA]=1, logo [g]=4−d2:d=2: [g]=1,d=3: [g]=12 (g2 eˊ uma massa),d=4: [g]=0.

O parâmetro de expansão efetivo Num processo a energia E, o único adimensional é g2Ed−4. Para d<4, ele diminui no UV: a teoria é super-renormalizável e fica livre a curtas distâncias por análise dimensional. Em d=4, só um efeito quântico (o logaritmo de b0) decide o que acontece.

Grau superficial de divergência Um diagrama com L laços, I propagadores (∼k−2), V3 vértices cúbicos (∼k) e V4 quárticos: ω=dL−2I+V3. Usando L=I−V3−V4+1 e 2I+E=3V3+4V4 (E linhas externas): ω=d−d−22 E−4−d2 (V3+2V4).

Leitura por dimensão d=4: ω=4−Ed=3: ω=3−E2−12(V3+2V4). Em d=4, ω não depende da ordem: as funções de 2, 3 e 4 pontos divergem em todas as ordens, com logaritmos que se somam na função beta (renormalizável, marginal). Em d=3, ω cai com a ordem: só um número finito de diagramas diverge, e os contratermos são finitos e explícitos (super-renormalizável).

Análise multiescala Decomponha o propagador em escalas, C=∑kCk, Ck suportado em momentos ∼Mk, e integre uma escala por vez. O acoplamento efetivo obedece a uma versão discreta da função beta, 1gk−12=1gk2−2b0ln⁡M16π2+O(gk2), com gk decrescendo para escalas mais finas. Cada passo é perturbativo enquanto gk é pequeno e o campo é pequeno.

Campos grandes e a contribuição de Balaban A expansão em gk é só assintótica, e configurações com campo grande (raras, mas presentes) não são controladas por ela. Balaban dividiu cada escala em regiões de campo pequeno (tratadas por expansão em cluster com médias de bloco covariantes de gauge e gauges axiais locais) e de campo grande (suprimidas por e−c/gk2 por região), obtendo cotas uniformes no espaçamento para Z e ações efetivas em volume finito, d=3,4.

Onde a análise para Indo para o IR, gk cresce; perto de M−k∼Λ−1 não há parâmetro pequeno e a recursão perturbativa deixa de valer. Volume infinito, cluster, não trivialidade e gap moram exatamente aí. Em d=3 o problema UV é muito mais brando (super-renormalizável) e o IR é o mesmo tipo de desafio.

Resultado. [g]=4−d2, ω=d−d−22E−4−d2(V3+2V4). Em d=4 a divergência é logarítmica a toda ordem e o controle UV exige RG multiescala com campos grandes (Balaban); o IR, onde está o gap, continua aberto em qualquer dimensão ≥3.

Quantização estocástica: deixar o acaso construir o campo

Em meados dos anos 2000, físicos filmaram bandos de estorninhos do telhado de um museu em Roma; reconstruindo o voo de cada ave em 3D, viram que cada uma só presta atenção em cerca de sete vizinhas, e mesmo assim o bando se move como um só. Um dos pesquisadores era Giorgio Parisi (Nobel de 2021), que estuda como ordem em grande escala emerge de aleatoriedade em pequena escala. Décadas antes, em 1981, Parisi e Yong-Shi Wu propuseram aplicar a ideia a Yang–Mills: em vez de definir diretamente e−SDϕ, rode uma dinâmica com ruído, ∂tϕ=−δS/δϕ+2 ξ, cuja distribuição de equilíbrio é e−S (e sem precisar fixar o gauge). Rode a simulação: o histograma das posições visitadas converge para a densidade exata.

Ação de um campo de um só ponto com dois vales, S(ϕ)=k(ϕ2−1)2. A equação ∂tϕ=−S′(ϕ)+2 ξ empurra o campo para o fundo dos vales e o ruído o sacode; às vezes ele salta a barreira (mais raro com k alto). Em cima, a trajetória no tempo estocástico; embaixo, o histograma dos valores visitados (pontos) contra a densidade exata e−S/Z (curva). A convergência é o teorema de Fokker–Planck derivado abaixo. Em Yang–Mills, ϕ vira o campo inteiro Aμ(x) e o produto do ruído pela não linearidade precisa de renormalização.

O problema é o ruído branco: tão irregular que não tem valor definido em cada ponto, é uma distribuição, e o campo que sai da equação também é. Yang–Mills é não linear, com produtos do campo por ele mesmo, e multiplicar duas distribuições, em geral, não tem significado. Qualquer correção para dar sentido a esses termos ainda tinha de preservar a simetria de gauge. A saída veio de uma equação aparentemente sem relação, a KPZ (crescimento de superfícies aleatórias, como a frente de um incêndio florestal); Martin Hairer desenvolveu uma teoria para tornar rigorosas equações desse tipo, as estruturas de regularidade (Medalha Fields, 2014), cujo método lembra a renormalização na rede de Wilson.

Chandra, Chevyrev, Hairer e Shen aplicam o método a Yang–Mills estocástico em 2D, onde a resposta já era conhecida por outros métodos, e conferem o resultado.

A extensão para 3D: a dinâmica existe, mas só por um tempo estocástico finito. Sem existência para todo tempo não se prova que o processo chega ao equilíbrio, que seria a teoria.

Segundo o vídeo, Chevyrev e Shen mostraram com laços de Wilson que o termo de correção da renormalização em 3D é único. Não verificado aqui; o caso 4D segue sem extensão.

Em vez de definir a medida e−SDϕ diretamente, definir uma dinâmica cuja distribuição estacionária é ela. Primeiro em dimensão finita (onde tudo é teorema), depois para campos de gauge, e por fim por que d=4 é exatamente o caso que a teoria de Hairer não cobre.

A equação Tempo fictício t, ruído branco gaussiano: ∂tϕ(t,x)=−δSδϕ(t,x)+2 ξ(t,x),⟨ξ(t,x)ξ(t′,x′)⟩=δ(t−t′) δd(x−x′). Descida de gradiente na ação mais flutuação; o fator 2 fixa a “temperatura” em 1.

Fokker–Planck (dimensão finita) Para dϕi=−∂iS dt+2 dWi e f suave, a fórmula de Itô dá ddtEf=E[−∂iS ∂if+∂i∂if]. Integrando por partes contra a densidade P(t,ϕ): ∂tP=∂i(∂iP+(∂iS) P)≡−∂iJi.

A estacionária é e−S Com P∗=e−S/Z: ∂iP∗=−(∂iS)P∗, logo Ji≡0 e ∂tP∗=0. Não só estacionária: corrente nula, isto é, reversível (balanço detalhado em tempo contínuo). Requer ∫e−S<∞.

Convergência: um hamiltoniano supersimétrico Escreva P=e−S/2ψ. Então ∂tψ=−HFPψ com HFP=∑i(−∂i+12∂iS)(∂i+12∂iS)=∑iAi†Ai ≥0,Ai e−S/2=0. O estado fundamental é e−S/2 com autovalor 0; se HFP tem gap λ1>0, P(t)→P∗ como e−λ1t. O widget de Langevin acima mostra exatamente essa convergência do histograma para e−S.

Teste: o campo livre S=12∫ϕ(−Δ+m2)ϕ. Em Fourier, cada modo é um Ornstein–Uhlenbeck: dϕ^k=−(k2+m2)ϕ^k dt+2 dWk, com variância estacionária ⟨∣ϕ^k∣2⟩=22(k2+m2)=1k2+m2, o propagador livre. A dinâmica reproduz a medida gaussiana sem nunca escrever “Dϕ”.