Vacuum Feynman diagram

A vacuum Feynman diagram has no external lines and contributes a source-independent factor to the partition function. Taking the logarithm retains only connected vacuum diagrams, while normalizing $Z[0]=1$ removes all of them.

A perturbative correlator factors into an exponential of connected Vacuum Feynman diagrams times a sum of Feynman diagrams attached to external insertions. Dividing its path integral by the vacuum generating functional at zero source cancels that exponential, including all disconnected products of vacuum components. The corresponding operator formalism uses the same denominator in the vacuum expectation of the Dyson series. This leaves externally disconnected correlators intact; the connected generating functional removes their products.

The vacuum energy density is the bulk limit ${\rho }_{\mathrm{vac}}={\lim }_{\mathcal{V}\to \infty }{E}_0(\mathcal{V})/\mathcal{V}$, with boundary effects removed and a fixed convention for the Hamiltonian. In an effective field theory at a homogeneous vacuum it is the value of the renormalized scalar potential. A global supersymmetry algebra expresses the regulated vacuum energy as a sum of supercharge norms, giving nonnegative density; the scalar potential of supergravity instead includes a negative gravitational term.

A fermionic mode with canonical anticommutation relations $\{b,b^{†}\}=1$ has the symmetrically ordered Hamiltonian operator $H=\frac{E}{2}(b^{†}b-b{b}^{†})=E(b^{†}b-1/2)$. Its empty-state zero-point contribution is $-E/2$. A quantum harmonic oscillator with bosonic canonical commutation relations contributes $+E/2$ instead. For a Dirac field, sum over both particle and antiparticle modes and over spin: there are four independent oscillators per spatial momentum in four spacetime dimensions. Comparing bosonic and fermionic vacuum energies requires a common regularization in quantum field theory, matching degrees of freedom and a stated vacuum-energy subtraction convention.

The linked-cluster theorem states that the logarithm of a vacuum generating functional is the sum of connected vacuum diagrams. Exponentiating that sum reconstructs arbitrary products of disconnected connected components with their correct factorials.