Richard Feynman
A Soma Sobre Histórias · The Sum Over Histories

Este volume já contou quatro passos da mesma história. Faraday desenhou linhas de campo e insistiu que eram objetos, não contabilidade. Maxwell construiu quatro pontes entre o desenho e a álgebra, e o preço de fechar o sistema foi um termo sem evidência — a corrente de deslocamento. Einstein pegou a velocidade que saiu dessas pontes e recusou-se a tratá-la como acidente. Dirac extraiu a raiz quadrada do operador e a antimatéria caiu de dentro do formalismo sem ser pedida.

Cada um desses passos pergunta o mesmo: qual é o objeto certo? Faraday responde «a linha». Maxwell «o campo». Einstein «o intervalo». Dirac «o spinor». Feynman muda a pergunta. Ele não pergunta qual é o objeto — pergunta o que se soma. E a resposta é: todas as histórias, cada uma pesada por e^iS/ħ.

É por isso que este capítulo fecha o arco. As quatro pontes de Maxwell são uma configuração de campo. A integral de caminho pesa todas. A ação S — o número que Maxwell, Einstein e Dirac cada um escreveu de forma diferente — torna-se o expoente.

This volume has already told four steps of the same story. Faraday drew field lines and insisted they were objects, not bookkeeping. Maxwell built four bridges from the drawing to the algebra, and the price of closing the system was a term with no evidence — the displacement current. Einstein took the speed that fell out of those bridges and refused to treat it as an accident. Dirac took the square root of the operator and antimatter fell out of the formalism unasked.

Each of those steps asks the same question: what is the right object? Faraday answers "the line". Maxwell "the field". Einstein "the interval". Dirac "the spinor". Feynman changes the question. He does not ask what the object is — he asks what gets summed. And the answer is: every history, each weighted by e^iS/ħ.

That is why this chapter closes the arc. Maxwell's four bridges describe one field configuration. The path integral weights all of them. The action S — the number Maxwell, Einstein and Dirac each wrote a different way — becomes the exponent.

Sete objetos atravessam este capítulo. Nenhum deles é difícil; todos são pouco apresentados. O que se segue é o que cada um é — em linguagem que você pode desenhar — antes de qualquer símbolo. Se depois alguma secção parecer opaca, é provável que o objeto esteja aqui.

Seven objects run through this chapter. None of them is hard; all of them are badly introduced elsewhere. What follows is what each one is — in language you can draw — before any symbol appears. If a later section reads as opaque, the object is probably here.

O Modelo Padrão é, em uma linha, uma integral funcional sobre configurações de campo, pesadas pela exponencial da ação. (A formulação de Feynman chama-se integral de caminho ou integral de trajetória; ambos os nomes aparecem na literatura em português, e a integral é feminina.) Os campos são: um conector de calibre A para SU(3)×SU(2)×U(1), férmions de Dirac ψ em três gerações, e um dubleto escalar complexo φ.

A tabela abaixo lê cada termo da densidade lagrangiana como um operador da cadeia. Não é uma reescrita poética: cada linha nomeia o objeto geométrico que o termo já é na literatura padrão.

The Standard Model is, in one line, a functional integral over field configurations weighted by the exponential of the action. The fields are: a gauge connection A for SU(3)×SU(2)×U(1), Dirac fermions ψ in three generations, and one complex scalar doublet φ.

The table below reads each term of the Lagrangian density as an operator of the chain. This is not a poetic rewrite: each row names the geometric object the term already is in the standard literature.

Um diagrama de Feynman parece uma imagem de partículas a bater umas nas outras. Não é. É um grafo, e o que o grafo carrega é uma potência de ħ. Cada linha interna traz um propagador ~ ħ; cada vértice traz um acoplamento ~ 1/ħ. Logo a potência de ħ de um diagrama conexo é I − V, onde I são as linhas internas e V os vértices.

A fórmula de Euler para um grafo conexo dá o número de laços independentes: L = I − V + 1. Portanto a potência de ħ é exatamente L − 1. Isto não é física: é combinatória de grafos. E é o sentido preciso em que «o limite clássico é o nível de árvore» — árvores têm L = 0, e ħ⁻¹ é a ordem dominante.

A Feynman diagram looks like a picture of particles hitting each other. It is not. It is a graph, and what the graph carries is a power of ħ. Each internal line brings a propagator ~ ħ; each vertex brings a coupling ~ 1/ħ. So the ħ power of a connected diagram is I − V, with I internal lines and V vertices.

Euler's formula for a connected graph gives the number of independent loops: L = I − V + 1. So the ħ power is exactly L − 1. This is not physics: it is graph combinatorics. And it is the precise sense in which "the classical limit is tree level" — trees have L = 0, and ħ⁻¹ is the leading order.

A integral de caminho é dominada pelos caminhos onde a ação é estacionária. Essa é a frase que toda a gente sabe. O que é menos dito é o que acontece quando o ponto estacionário é degenerado — quando a segunda variação tem um modo nulo. Aí a aproximação gaussiana, o «um laço», deixa de ser o modelo local correto.

Em uma variável o teste é limpo. Um ponto estacionário de tipo A_k tem fase local x^k+1/(k+1). A substituição x → ħ^1/(k+1)u mostra que a integral escala como ħ^1/(k+1). Para k = 1 isso é o meio-expoente gaussiano de sempre. Para k = 2 — o dobramento, Airy — é 1/3. Para k = 3 — a cúspide, Pearcey — é 1/4.

A figura mede isto. Não é desenhada: os pontos vêm de ch-feynman-verify.py, bloco [5], integrando numericamente com uma janela C^∞ de suporte compacto, de modo que os extremos não contribuem e a única contribuição é o ponto estacionário.

The path integral is dominated by paths where the action is stationary. That is the sentence everybody knows. What is said less often is what happens when the stationary point is degenerate — when the second variation has a null mode. There the Gaussian approximation, the "one loop", stops being the right local model.

In one variable the test is clean. An A_k stationary point has local phase x^k+1/(k+1). The substitution x → ħ^1/(k+1)u shows the integral scales as ħ^1/(k+1). For k = 1 that is the familiar Gaussian half-exponent. For k = 2 — the fold, Airy — it is 1/3. For k = 3 — the cusp, Pearcey — it is 1/4.

The figure measures this. It is not drawn: the points come from ch-feynman-verify.py, block [5], integrating numerically against a compactly supported C^∞ window so the endpoints contribute nothing and the only contribution is the stationary point.

Dirac precisou de uma massa e escreveu-a à mão: o m em (iγ^μ∂_μ − m)ψ = 0. O capítulo Dirac leu esse m como o operador K, o limiar de curvatura κ* = m/ħ. Mas de onde vem o m? Escrevê-lo à mão quebra a simetria de calibre. O mecanismo de Higgs devolve-o sem a quebrar: a simetria continua exata na lagrangiana e falha apenas no vácuo.

E aqui está o ponto deste capítulo. O potencial V(φ) = −μ²|φ|² + λ|φ|⁴, truncado a um campo real e com um termo de quebra explícito, não é análogo à forma normal da cúspide. É a forma normal da cúspide: V(x) = x⁴/4 + a x²/2 + b x. Os pontos estacionários resolvem x³ + a x + b = 0, e o número deles muda ao atravessar o discriminante 4a³ + 27b² = 0.

Isso liga o Higgs diretamente à Seção IV. O ponto simétrico não quebrado é o ponto A₃ — o mesmo cuja assinatura oscilatória a figura 1 mediu como 1/4 em vez do 1/2 gaussiano.

Dirac needed a mass and wrote it by hand: the m in (iγ^μ∂_μ − m)ψ = 0. The Dirac chapter read that m as operator K, the curvature threshold κ* = m/ħ. But where does m come from? Writing it by hand breaks gauge symmetry. The Higgs mechanism returns it without breaking it: the symmetry stays exact in the Lagrangian and fails only in the vacuum.

And here is this chapter's point. The potential V(φ) = −μ²|φ|² + λ|φ|⁴, truncated to one real field with an explicit breaking term, is not analogous to the cusp normal form. It is the cusp normal form: V(x) = x⁴/4 + a x²/2 + b x. Stationary points solve x³ + a x + b = 0, and their number changes across the discriminant 4a³ + 27b² = 0.

That ties the Higgs directly to Section IV. The unbroken symmetric point is the A₃ point — the same one whose oscillatory signature figure 1 measured as 1/4 rather than the Gaussian 1/2.

Até aqui o capítulo leu o Modelo Padrão. Agora a pergunta inversa: o que é que a dm³ tem que se pareça com uma integral de caminho? A resposta não é uma analogia, e é mais estreita do que se poderia esperar — o que a torna verificável.

O expoente da integral de caminho é uma ação, e uma ação é a integral de uma 1-forma ao longo de um caminho. A dm³ vive numa variedade de contato com a forma α = dz − r² dθ. Integrar α ao longo de uma órbita é literalmente o mesmo tipo de objeto que S = ∫(p dq − H dt). Portanto a pergunta certa é: quanto vale ∫α ao longo das órbitas da dm³?

A resposta é uma identidade, não um ajuste. Avaliando α no campo vetorial da dm³:

Este número é ≤ 0 em todo o lado, e é zero exatamente em r = 1 — o atrator Γ. Não «aproximadamente ali», não «na média». Exatamente ali, porque (r−1)² só se anula em r = 1 e a exponencial nunca se anula.

So far the chapter has read the Standard Model. Now the reverse question: what does dm³ have that looks like a path integral? The answer is not an analogy, and it is narrower than one might hope — which is what makes it checkable.

The exponent of a path integral is an action, and an action is the integral of a 1-form along a path. dm³ lives on a contact manifold with form α = dz − r² dθ. Integrating α along an orbit is literally the same kind of object as S = ∫(p dq − H dt). So the right question is: what is ∫α along dm³'s orbits?

The answer is an identity, not a fit. Evaluating α on dm³'s vector field gives −2(r−1)²e^−z, shown at left.

That number is ≤ 0 everywhere, and it is zero exactly at r = 1 — the attractor Γ. Not "approximately there", not "on average". Exactly there, because (r−1)² vanishes only at r = 1 and the exponential never vanishes.

WP-96 argumentou que T* e μ_max saem de «inexpostos» para «expostos» quando o aparelho relata S/ħ. Este capítulo é o lugar onde isso deixa de ser abstrato: uma integral de caminho consome exatamente estes dois números para pesar uma órbita periódica — o período e o expoente de estabilidade transversal.

Para Γ os números são T* = 2π e μ_max = −2, ambos fixados no ficheiro Lean do corpus. O expoente de estabilidade por período é |μ|T* = 4π, o multiplicador de Floquet é e^−4π = 3.487342×10⁻⁶, e o peso que uma soma sobre órbitas periódicas atribuiria é 1/(2 sinh(2π)) = 1.867449244×10⁻³. As duas rotas — via sinh e via |det(M − I)|^−1/2 — coincidem à décima segunda casa.

WP-96 argued that T* and μ_max move from unexposed to exposed once the apparatus reports S/ħ. This chapter is where that stops being abstract: a path integral consumes exactly those two numbers to weight a periodic orbit — the period and the transverse stability exponent.

For Γ the numbers are T* = 2π and μ_max = −2, both fixed in the corpus's Lean file. The per-period stability exponent is |μ|T* = 4π, the Floquet multiplier is e^−4π = 3.487342×10⁻⁶, and the weight a periodic-orbit sum would assign is 1/(2 sinh 2π) = 1.867449244×10⁻³. The two routes — via sinh and via |det(M − I)|^−1/2 — agree to twelve places.

O bloco [7] imprimiu m_W/m_Z = 0.881357. O corpus carrega um limiar de curvatura citado dezanove vezes como κ* ≈ 0.882. Concordam a três algarismos. Antes que alguém escreva «não é coincidência», aqui está a verificação que WP-29 exige.

A concordância relativa é 0.073 %. O corpus tem cerca de quarenta constantes adimensionais com nome; o Modelo Padrão tem cerca de vinte e cinco quantidades adimensionais de tamanho comparável. São mil pares. Com um prior log-uniforme sobre duas décadas, a probabilidade de um par dado concordar assim é 3.167×10⁻⁴, o número esperado de coincidências deste calibre é 0.317, e a probabilidade de existir pelo menos uma é 27 %.

Ou seja: um corpus deste tamanho espera encontrar uma coincidência assim. Esta é essa. Fica registada aqui para que o próximo leitor que a note encontre já escrita a recusa, e não a reivindicação.

Block [7] printed m_W/m_Z = 0.881357. The corpus carries a curvature threshold quoted nineteen times as κ* ≈ 0.882. They agree to three figures. Before anyone writes "not a coincidence", here is the check WP-29 demands.

Relative agreement is 0.073 %. The corpus has about forty named dimensionless constants; the Standard Model has about twenty-five dimensionless quantities of comparable size. That is a thousand pairs. With a log-uniform prior over two decades, the probability that a given pair agrees this well is 3.167×10⁻⁴, the expected number of such coincidences is 0.317, and the probability of at least one is 27 %.

In other words: a corpus this size expects to find one coincidence like this. This is that one. It is recorded here so the next reader who notices it finds the refusal already written rather than the claim.