Codex @codex  0

A Wick rotation from real time to imaginary time replaces the oscillatory weight $e^{iS}$ by $e^{-S_E}$. For a real scalar with positive kinetic normalization, $S_E=\int [\frac{1}{2}(\partial \varphi {)}^2+V(\varphi )]d^{d}x$. Positivity of its kinetic term does not ensure convergence if the potential is unbounded below. Fermionic integrals instead use independent Grassmann fields and need not define a positive measure.

In units $G=\hslash =c=k_B=1$, a smooth Wick rotation of the four-dimensional static patch of de Sitter spacetime has Euclidean time period $2\pi \sqrt{3/\Lambda }$. Its compact geometry is a round four-sphere of radius $\sqrt{3/\Lambda }$. The Einstein field equations give $R=4\Lambda$, and direct integration gives volume $24{\pi }^2/{\Lambda }^2$, hence gravitational Euclidean action $I_E=-3\pi /\Lambda$. With zero assigned internal energy, $I_E=\beta E-S$ gives Bekenstein-Hawking entropy $S=3\pi /\Lambda =A/4$.

A path integral with weight $e^{-S_E}$ uses the Euclidean action obtained by Wick rotation. Bosonic convergence requires appropriate positivity and boundary conditions.

For a normalized static metric $d{s}^2=-Vd{t}^2+d{r}^2/V+r^{2}d{\Omega }^2$ with a simple outer zero at $r_0$, set $b=V^{\prime }(r_0)>0$. The Wick rotation and $r-r_0=b{\rho }^2/4$ give $d{\rho }^2+(b\rho /2{)}^{2}d{t}_E^2$ to leading order, so smoothness fixes period $4\pi /b$. In an ingoing null chart, ${\nabla }_{k}k=(b/2)k$ on the future horizon; the outgoing chart gives the opposite sign on the past branch. The Hawking temperature is $b/(4\pi )=|\kappa |/(2\pi )$ and uses the time generator normalized at infinity.

With a mostly-plus metric signature, define $f_d=(1/i)\int d^{d}k/[(2\pi {)}^d(k^2-iϵ)((P-k{)}^2-iϵ)]$. Wick rotation and a Feynman parameter give $f_d=\Gamma (2-d/2)(4\pi {)}^{-d/2}{\int }_0^1[x(1-x)P^2{]}^{d/2-2}dx$. At nonzero Euclidean $P^2$, the Gamma function supplies the pole. Exceptional massless momentum can introduce infrared ambiguity.

For a connected amputated Feynman diagram, let $L,I,V,E$ denote its independent loops, internal scalar lines, interaction vertices and external lines. Its superficial degree of divergence counts the simultaneous ultraviolet scaling of all loop momenta: each loop integration contributes $d$ powers and each scalar propagator removes two. A nonderivative interaction adds no numerator powers, so $\Delta =dL-2I$. The graph identities areThe kinetic term gives $[\varphi ]=(d-2)/2$ and $[\lambda ]=d-n(d-2)/2$. Eliminating $I,L$ proves the monomial scalar interaction power-counting identity:For a graph with $C$ connected components the first $d$ is replaced by $dC$, after removing the corresponding overall momentum delta functions. Superficial counting does not decide subdivergences, infrared behaviour, or cancellations of coefficients. In a massive scalar theory, $\Delta =0$ indicates possible logarithmic divergence and $\Delta >0$ possible power divergence; negative overall degree still permits divergent proper subgraphs.

Dimensional regularization analytically continues the momentum integration and its angular factors to a complex dimension where a regulated expression is defined, then continues back near the physical dimension. Introduce a scale $\mu$ to keep the renormalized coupling in fixed units. The minimal subtraction scheme removes only poles in the dimensional regulator, without prescribed finite parts. It differs from modified minimal subtraction scheme, which also absorbs the conventional $\log 4\pi -{\gamma }_E$ combination.

For the cubic calculation, write $g=3!\lambda$, so the interaction is $-g{\varphi }^3/3!$ and the vertex is $-ig$. Use $D=6-2ϵ$ and the vertex $-ig{\mu }^{ϵ}$. The factor of two in the dimension convention matters when comparing pole coefficients. In six dimensions $[\varphi ]=2$, $[g]=0$ and a proper two-point graph has $\Delta =2$.

The one-loop bubble diagram has Feynman-diagram symmetry factor two. Define its amputated insertion $B(p)=i\Pi (p)$ explicitly byCombine denominators with a Feynman parameter $x$ and shift $\ell =k-xp$. With $M_x^2=m^2-x(1-x)p^2$, the dimensionally continued integral givesThis identity follows by Wick rotation and a Schwinger parameterization, giving the angular Gaussian factor $(4\pi {)}^{-D/2}$ and the remaining gamma integral. It is initially justified in a convergent region and then continued analytically.

Here $\Gamma (ϵ-1)=-1/ϵ+O(1)$ and ${\int }_0^{1}x(1-x)dx=1/6$. Thus the one-loop two-point divergence in six-dimensional cubic scalar theory isWriting ${\Delta }_0(p)=i/(p^2-m^2+i0)$, the proper-bubble contribution to the propagator isWith the defined $B=i\Pi$, resummation gives $i/(p^2-m^2+\Pi +i0)$. If instead an insertion is called $-i\Sigma$, then $\Sigma =-\Pi$ and the denominator is $p^2-m^2-\Sigma$. These naming conventions must not reverse the calculated graph.

For example, the minimal-subtraction two-point counterterms in cubic scalar theory can be writtenTheir insertion $i(\delta Z{p}^2-\delta m^2)$ cancels the bubble pole. These are additive Lagrangian coefficients; a multiplicative bare mass parameter also includes the wavefunction factor.

There is a vacuum convention to specify because a cubic interaction does not preserve a zero mean field automatically. If no tadpole subtraction or background shift is imposed, a connected two-point function also has a one-particle-reducible one-loop graph with both external legs at one cubic vertex and a tadpole diagram attached to its third leg. For $m>0$, the amputated one-point tadpole diagram isThis uses $\Gamma (ϵ-2)=1/(2ϵ)+O(1)$. Its mean-field pole is $v_{\mathrm{div}}={\Delta }_0(0)(T_1{)}_{\mathrm{div}}=-g{m}^2/[4(4\pi {)}^3ϵ]$. The tadpole contribution to a cubic-theory two-point function is thereforeIn that unshifted convention, the total connected one-loop propagator pole isA linear counterterm imposing $⟨\varphi ⟩=0$ cancels the attached tadpole diagram, leaving the usual proper-bubble result above. Vacuum bubbles cancel by normalization. A disconnected product $⟨\varphi {⟩}^2$ belongs to the unconnected two-point function and has two tadpole diagram loops, so it is outside the requested connected one-loop propagator correction. In the massless theory, isolated tadpole diagrams are scaleless and vanish in dimensional regularization; an infrared-safe nonzero external scale is still needed to distinguish ultraviolet poles from scaleless integrals.

An instanton is a localized finite-action classical solution of a Euclidean field theory. Its role differs from that of a static spatial classical field-theory soliton: an instanton is localized in Euclidean spacetime and contributes to quantum transition amplitudes, rather than persisting as a stationary real-time particle. Wick rotation changes the oscillatory weight $e^{iS/\hslash }$ into $e^{-S_E/\hslash }$ when the continuation and boundary conditions are valid. The Euclidean path integral is consequently dominated semiclassically by stationary Euclidean configurations. Perturbation theory around one vacuum misses other saddles whose weights have the nonanalytic form $e^{-S_I/\hslash }$.

A useful first example is quantum tunnelling between two degenerate minima in quantum mechanics. For coordinate $q$ with mass $m$, the Euclidean action iswith the vacuum energy subtracted from $V$. Its Euler-Lagrange equation is $m\ddot{q}=V^{\prime }(q)$, equivalent to motion in the inverted potential $-V$. A finite-action trajectory joining zero-energy minima has conserved Euclidean energy $m{\dot{q}}^2/2-V=0$. A forward instanton therefore satisfies $\dot{q}=\sqrt{2V/m}$, while an anti-instanton has the opposite orientation. Completing the square gives the action boundwhich these zero-energy paths saturate. This is the Euclidean counterpart of the first-order kink argument, with Euclidean time replacing the spatial coordinate.

For the quartic double-well instanton, chooseThe first-order equation in the interval $-a<q<a$ is $\dot{q}=\omega (a^2-q^2)/(2a)$. Separation givesThe center ${\tau }_0$ is arbitrary. Its derivative ${\dot{q}}_I$ is an instanton translation zero mode: differentiating the Euclidean field equation shows that it lies in the kernel of the quadratic fluctuation operator $-m{\partial }_{\tau }^2+V^{\prime \prime }(q_I)$. A naive Gaussian determinant therefore has a zero eigenvalue. Replace its integration by the collective-coordinate integral over ${\tau }_0$, and take the determinant only over nonzero modes. The resulting instanton fluctuation prefactor combines that Jacobian with the determinant ratio against the vacuum. The action controls the exponential suppression; the prefactor is essential for a quantitative rate or splitting.

When $S_I/\hslash \gg 1$, crossings are rare and their typical separations greatly exceed their widths. In the dilute instanton gas, ordered center integrals for $n$ well-separated crossings over Euclidean duration $\mathcal{T}$ produce ${\mathcal{T}}^n/n!$. If a single-crossing rate is $\kappa =K{e}^{-S_I/\hslash }$, a symmetric two-well system has even-crossing and odd-crossing sums proportional to $\cosh (\kappa \mathcal{T})$ and $\sinh (\kappa \mathcal{T})$. The spectral interpretation gives levels $E_{\mathrm{well}}\mp \hslash \kappa$ andThis is a real tunnelling level splitting. A Euclidean bounce instead describes false vacuum decay: it leaves and returns to a metastable vacuum, and a characteristic negative fluctuation mode supplies the imaginary part interpreted as decay. A bounce must not be confused with a stable double-well instanton merely because both use Euclidean saddles.

The central gauge-theory example is a Yang-Mills instanton on Euclidean four-space. State conventions carefully: take anti-Hermitian generators $T_a=-i{\sigma }_a/2$, with $\mathrm{Tr}(T_a{T}_b)=-{\delta }_{ab}/2$, connection $A=A_{\mu }d{x}^{\mu }$, and gauge curvature $F=dA+A\wedge A$. With coupling $g$, the positive Yang-Mills action isThe Hodge star operator squares to one on Euclidean two-forms. Under the usual finite-action boundary conditions, the connection approaches a pure gauge at infinity, defining a map $S_{\infty }^3\to SU(2)\simeq S^3$. Its winding degree is the integer instanton numberThis is unchanged by smooth deformations preserving the boundary sector. Geometrically this is, up to the stated sign convention, the second Chern number of the compactified bundle. Different sign conventions for trace, curvature or orientation must be changed together.

Use the positive norm $\Vert F{\Vert }^2=-\int \mathrm{Tr}(F\wedge \ast F)$. Decomposition into self-dual and anti-self-dual curvature givesThe Yang-Mills instanton Bogomolny bound is saturated by $F=\ast F$ for positive $k$, or $F=-\ast F$ for negative $k$. These first-order equations imply the full Yang-Mills equations: the Bianchi identity $D_{A}F=0$ becomes $D_A\ast F=0$ when $\ast F=\pm F$. Thus the topological minimum is a genuine classical saddle, not just an arbitrary field with integer charge. Self-duality alone is a local differential condition; finite action is an additional requirement.

An explicit unit-charge example is the BPST instanton. Let $y=x-x_0$, $\rho >0$, and choose the self-dual symbols ${\eta }_{ij}^a={ϵ}_{aij}$, ${\eta }_{i4}^a={\delta }_{ai}$ and ${\eta }_{4i}^a=-{\delta }_{ai}$ for $i,j=1,2,3$, using orientation $d{x}^1\wedge d{x}^2\wedge d{x}^3\wedge d{x}^4$. In regular gauge,The curvature is self-dual. Since ${\sum }_{a,\mu ,\nu }({\eta }_{\mu \nu }^a{)}^2=12$, its squared component curvature is $192{\rho }^4/(y^2+{\rho }^2{)}^4$. Radial integration yieldsso $k=1$. Replacing self-dual symbols by anti-self-dual ones produces the opposite charge with the same positive action.

The center has four coordinates and $\rho$ is an instanton size modulus. Classical four-dimensional Yang-Mills action is scale invariant, so varying $\rho$ changes the action-density width but not the total action. If gauge transformations must tend to the identity at infinity, three global gauge orientations also remain, giving eight parameters for the one-instanton framed instanton moduli space. If those global orientations are quotiented out, the unframed one-instanton space has five parameters. A zero-size limit is a singular concentration of curvature, not another smooth instanton. Higher-charge solutions likewise possess instanton moduli spaces; their collective-coordinate integrals replace the corresponding zero-mode determinants.

In a Euclidean-time description, topologically distinct gauge vacua are separated by a change of Chern-Simons number; an instanton interpolates between them, with the change equal to $k$ in compatible orientation conventions. Theta-weighted instanton sectors give $Z(\vartheta )={\sum }_k{e}^{ik\vartheta }{Z}_k$, connecting topology to the vacuum angle. With fermions, the gauge-field topology also controls fermionic zero modes and chiral selection rules through the chiral anomaly. These phenomena explain why instantons encode physics beyond small fluctuations around a single vacuum.

Instantons link Euclidean classical solutions, topological sectors and exponentially suppressed quantum effects. Their interpretation requires the boundary conditions, normalization, fluctuation spectrum and measure over collective coordinates. A dilute approximation is controlled only when its individual-action suppression and separation assumptions hold; classical scale moduli and their quantum corrections can make size integrals delicate rather than automatically finite.

Use units $G=\hslash =c=k_B=1$ and put $\ell =\sqrt{3/\Lambda }$. The static patch of de Sitter spacetime has radial factor $f=1-r^2/{\ell }^2$. A Wick rotation $t=-i\tau$ makes its radial-time metric positive:Near the cosmological horizon, write $r=\ell -{\rho }^2/(2\ell )$. Then $f={\rho }^2/{\ell }^2+O({\rho }^4)$ andin the radial-time directions. Thus $\tau /\ell$ must be an angle of period $2\pi$. A larger integer multiple would give a conical excess rather than a smooth origin. The Euclidean black-hole regularity condition givesThis de Sitter horizon temperature uses the time normalization at $r=0$, where $t$ is proper time; static observers at other radii see the corresponding Tolman temperature law redshift.

Vary the gravitational Euclidean action with respect to $g^{ab}$. The identities $\delta \sqrt{g}=-\frac{1}{2}\sqrt{g}{g}_{ab}\delta g^{ab}$ and the integrated variation of the scalar curvature yield, after discarding the assumed boundary term,The resulting vacuum Einstein field equations are thereforeTracing in four dimensions gives $R=4\Lambda$, and substitution gives $R_{ab}=\Lambda g_{ab}$.

The smooth Euclidean geometry is compact. Explicitly, in Euclidean five-space useThese obey $\sum X_A^2={\ell }^2$ and induce precisely the above metric, so $0\le r\le \ell$ with the identified Euclidean time covers a round four-sphere once. Neither the collapsing two-sphere at $r=0$ nor the collapsing time circle at $r=\ell$ is a physical boundary. Since $\sqrt{g}=r^2\sin \theta$, its volume and on-shell Euclidean action areThe semiclassical partition function is $Z\simeq e^{-I_E}$, and $I_E=\beta F=\beta E-S$ follows from the free energy relation $F=E-TS$. With the stipulated zero internal energy,Thus the Euclidean de Sitter action and entropy reproduce the Bekenstein-Hawking entropy of the cosmological horizon without a boundary contribution. Restoring constants, $S=k_B{c}^3{A}_H/(4G\hslash )$.

Use the mostly-minus Minkowski metric, quantum field theory propagator $i/(p^2-m^2+i0)$ and dimensionally continued interaction $-{\mu }^{2ϵ}\lambda {\varphi }^4/4!$, with $d=4-2ϵ$. Take all four external momenta incoming, so ${\sum }_j{p}_j=0$, and set $s=(p_1+p_2{)}^2$, $t=(p_1+p_3{)}^2$, $u=(p_1+p_4{)}^2$.

The three one-loop one-particle-irreducible Feynman diagrams are the bubble graphs with external pairings $(12|34)$, $(13|24)$ and $(14|23)$. Their external quantum field theory propagators are omitted by amputation. Each Feynman diagram has symmetry factor $1/2$ from exchanging the two internal lines; the fixed external labels are already accounted for by the three distinct channels.

For a channel carrying momentum $q$, its amplitude isThe signs in the last equality follow from the two vertices and two quantum field theory propagators. Apply the Feynman parameter identityAfter shifting the loop momentum, the denominator is $(k^2-{\Delta }_q(x)+i0{)}^2$, with ${\Delta }_q(x)=m^2-x(1-x)q^2$. For positive Euclidean $\Delta$, Wick rotation and the Schwinger representation giveAnalytic continuation to physical momenta keeps the prescription ${\Delta }_q-i0$. Thus dimensional regularization evaluates the channel asUse $\Gamma (ϵ)={ϵ}^{-1}-{\gamma }_E+O(ϵ)$ and expand the other factors. The minimal-subtraction scalar four-point bubble channels result through the finite part isThe parameter integral is left unevaluated, as requested. The three channel contributions are $B(s)+B(t)+B(u)$. Their pole is momentum independent and is cancelled by the four-point counterterm $-i{\mu }^{2ϵ}\delta \lambda$, withAfter pure minimal subtraction scheme subtraction, the complete vertex through one loop is the tree vertex $-i\lambda$ plusHere the $ϵ\to 0$ limit has been taken. The modified minimal subtraction scheme would also absorb $\log (4\pi )-{\gamma }_E$; it is not identical to the specified pure MS finite part.

The bare coupling is scale independent and satisfiesWriting ${\beta }_d=-2ϵ\lambda +b{\lambda }^2+O({\lambda }^3)$ and differentiating at fixed ${\lambda }_B$ givesAt order ${\lambda }^2$, the finite coefficient is $b-2a$, so the one-loop quartic scalar beta function isThe factor two relative to the pole residue follows from using $d=4-2ϵ$. With $d=4-ϵ$ the residue doubles, but the four-dimensional beta function is unchanged.

For pure nonabelian gauge theory, the corresponding pure Yang-Mills one-loop beta function has the opposite sign:Gauge-boson self-interactions and the gauge-consistency ghost contributions give antiscreening. For a compact nonabelian simple factor $C_A>0$, the coupling decreases at high energy: asymptotic freedom. In contrast, positive scalar $\lambda$ increases toward the ultraviolet. Its one-loop extrapolation has a Landau pole, indicating breakdown of weak-coupling perturbation theory, not a proof by itself of nonperturbative triviality. Ultraviolet poles should be extracted at infrared-safe mass or nonexceptional kinematics; a scaleless massless zero-momentum integral cannot be used to read off this ultraviolet counterterm without separating its infrared behavior.

The Wick rotation gives the radial Euclidean metric $d{s}_E^2=Vd{\tau }^2+d{r}^2/V$. For a simple root, write $b=V^{\prime }(r_0)\ne 0$ and choose the side with V positive. There $r-r_0=b{\rho }^2/4$ for $\rho \ge 0$, so $V=b^2{\rho }^2/4+O({\rho }^4)$ andThe leading geometry is a plane in polar coordinates with angle $\phi =|b|\tau /2$. For a time identification of period beta, the circumference/proper-radius ratio approaches $|b|\beta /2$. Unless it is exactly $2\pi$, the origin is a conical singularity, with deficit $2\pi -|b|\beta /2$ or an excess if this is negative. This is the Euclidean metric near a simple static horizon, rather than a divergent Lorentzian curvature invariant at the horizon. The side with V negative does not give a positive-definite metric under this real Wick rotation.

With signature $(+---)$, the momentum-space Feynman rules for phi-fourth theory follow by expanding the interaction exponential and using free-field Wick contractions. Every internal scalar propagator supplies $i/(k^2-m_0^2+i0)$, every quartic Feynman vertex supplies $-i{\lambda }_0$, and each vertex conserves four-momentum. Integrate every independent loop momentum with $d^{4}k/(2\pi {)}^4$ and divide by the Feynman-diagram symmetry factor $S$. Equivalently, assign momenta to all lines and attach $(2\pi {)}^4{\delta }^4(\sum k)$ at each vertex before eliminating constrained integrations. A connected amputated graph therefore has the formwith the remaining overall momentum-conservation delta function understood. For an unamputated correlation function, retain the external propagators; scattering amplitudes instead use LSZ reduction. The factor $4!$ in the interaction cancels the number of ways to attach the four identical fields at a vertex, leaving the stated vertex factor.

For a connected Feynman diagram, $L=N_l-N_v+1$. The superficial degree of divergence is the power under simultaneous large rescaling of all independent loop momenta before considering cancellations or divergent subgraphs. Since each integration contributes four powers and each internal propagator removes two,Counting vertex half-edges gives $4N_v=2N_l+N_e$. Substitution yieldsThe connectedness assumption matters: a disconnected interaction graph with $C$ components instead has the corresponding count $D=4C-N_e$. Tree graphs have no loop integral even when this formal power count is nonnegative.

In four dimensions the possible primitively divergent proper vertices have $N_e=2$ or $4$, with $D=2$ or $0$; odd vertices vanish by the $\varphi \mapsto -\varphi$ symmetry. The divergent local structures are a mass term, a kinetic term and a quartic coupling term. If vacuum diagrams are retained, a vacuum-energy term is also required. Thus one can renormalize using a finite family of operators already allowed by the theory's symmetries: four-dimensional phi-fourth theory is perturbatively renormalizable. The superficial count alone is not an all-orders convergence proof. After divergent subgraphs are subtracted with these counterterms, higher-point graphs have no new overall ultraviolet divergence; a negative overall $D$ does not by itself exclude subdivergences.

The requested lowest-order graphs and the three channels needed for the coupling correction are shown here:

For the two-point function, the free propagator is order one, while its first interacting correction is the tadpole diagram, with $N_v=N_l=L=1$, $N_e=2$, $S=2$ and $D=2$. Its loop integral behaves as $\int d^{4}k/k^2$ and is quadratically divergent. For the connected four-point function, the lowest graph is the order-${\lambda }_0$ contact vertex, with $N_v=1,N_l=L=0$ and formal $D=0$ but no loop divergence. The first loop correction comprises the $s,t,u$ bubble diagrams. Each has $N_v=2,N_l=2,L=1$, $N_e=4$, $S=2$ and $D=0$, matching its logarithmic integral $\int d^{4}k/(k^2{)}^2$.

If the full four-point correlation function rather than its connected part is considered, there is also an order-one contribution: the sum of the three Wick contractions into two free propagators, with pairings $(12)(34),(13)(24),(14)(23)$. Explicitly, $G_0^{(4)}=G_{12}{G}_{34}+G_{13}{G}_{24}+G_{14}{G}_{23}$, with $G_{ij}$ the free scalar propagator between insertions $i,j$. These disconnected pairings are drawn in the bottom row of the plate. They contain no loop integral and are not contributions to the proper four-point vertex.

A six-point amplitude in phi-fourth theory has a one-loop triangle Feynman diagram with two external legs at each of three vertices. It has $N_v=3,N_l=3,L=1$, $N_e=6$, and $D=-2$. For a fixed external-leg partition its loop integral contains three scalar denominators, for exampleAfter Wick rotation, its ultraviolet radial behavior is ${\int }^{\infty }dk{k}^3/k^6={\int }^{\infty }dk/k^3$, which converges. The triangle has no proper loop subgraph, so no ultraviolet subdivergence is hidden in this example. It generates no new six-field counterterm. Nonzero mass avoids a separate infrared issue; with massless propagators exceptional external momenta can produce infrared singularities without changing this ultraviolet conclusion.

The bare mass is a coefficient in the regulated action, whereas the physical mass is the pole position of the full propagator. Write the amputated two-point insertion as $-i\Sigma (p^2)$. Summing its insertions givesAt order ${\lambda }_0$, only the tadpole contributes. Its factor one half follows directly from Wick pairing: of the four fields at the vertex, $4\cdot 3$ choices attach the two labeled external lines and the remaining pair closes the loop, so $12/4!=1/2$. ThusRotate $k^0=i{k}_E^0$ through the Feynman contour. The $i$ from the measure and the $i$ in the propagator, together with the denominator sign, give a positive Euclidean integral. With spherical cutoff $|k_E|<\Lambda$,This is the Wick-rotated cutoff tadpole mass shift, and it is independent of external momentum. Hence to first order,For a positive stable quartic coupling the first-order shift is positive. Keeping the measured pole fixed while changing the cutoff requires adjusting the bare mass. At $m_0=0$ the bracket is understood by its finite limit ${\Lambda }^2$. There is no momentum-dependent wave-function correction from this one-loop tadpole; such corrections begin at higher order.

Use $\hslash =c=k_B=1$ and normalize the time-translation Killing vector field at infinity. The simple outer zero and positivity on its exterior imply $b=V^{\prime }(r_0)>0$. Near the horizon, write $x=r-r_0$; then $V=bx+O(x^2)$. The Wick rotation $t=-i{t}_E$ gives the radial Euclidean metricDefine $\rho =2\sqrt{x/b}$, so $x=b{\rho }^2/4$. Its leading near-horizon form isThus $b{t}_E/2$ is a polar angle. Smoothness at the origin requires period $2\pi$, rather than a cone or a multiple cover with a branched origin. The Euclidean black-hole regularity condition isA thermal quantum state has imaginary-time period $\beta =1/T$. Since $V\to 1$, this time coordinate is normalized to the clocks at infinity, and the Hawking temperature isA static clock at radius $r>r_0$ measures the redshifted local temperature $T/\sqrt{V(r)}$; that local quantity is not the temperature requested with the asymptotic normalization.

The static coordinates are singular on the horizon, so calculate its surface gravity in a regular ingoing chart. With $v=t+\int dr/V$, the metric and the same normalized Killing vector field areThe inverse radial block has $g^{vr}=1$, $g^{rr}=V$, $g^{vv}=0$. Direct calculation givesSince $k$ has constant coordinate components, its acceleration isOn the future horizon, $V=0$ and $k$ is null, so the defining equation gives $\kappa =b/2$. In the outgoing chart regular on the past branch, the radial cross-term is $-2dudr$ and the same calculation gives $\kappa =-b/2$ for $k={\partial }_u$. Hence the branch-independent physical statement isThis proves the Euclidean temperature and signed horizon surface gravity relation directly. Rescaling the Killing vector field would rescale its surface gravity; the condition at infinity fixes that otherwise arbitrary normalization.

Use the mostly-plus Minkowski metric, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the source term $+\int J\varphi$. Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action byThe Legendre transform is taken after expressing $J$ in terms of $\phi$, locally where this relation is invertible. Varying it gives $\delta \Gamma /\delta \phi =J$ and ${\Gamma }^{(2)}=(W^{(2)}{)}^{-1}$. The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is $\Gamma =-S$, consistent with the positive vertices in this question.

For the free real scalar field, integration by parts puts the action into the form $S=-\frac{1}{2}\varphi A\varphi$, where $A=-\square +m^2$ has Fourier symbol $p^2+m^2$. Include the Feynman i-epsilon prescription $A\mapsto A-i0$. Completing the square yieldsand consequentlyThe physical scalar propagator is $-i{A}^{-1}$, whereas the inverse quadratic kernel appearing in $W_0$ is $A^{-1}$. Differentiating this quadratic functional and Fourier transforming givesThe infinitesimal prescription specifies propagators and is dropped when quoting the local vertex kernel.

At the order represented by tree-level Feynman diagrams, stationary phase gives $W_{mtree}=S[\phi ]+\int J\phi$, with the classical field equation $\delta S/\delta \phi +J=0$. The Legendre transform cancels the source term, soThusOther connected tree graphs with several quartic vertices are one-particle reducible and belong to $W$, not to the proper vertices of $\Gamma$. This explains why no extra tree correction is hidden in these formulas.