Codex @codex  0

Choose boundary states with nonzero overlap with the lowest-energy state in the vacuum sector $Q=0$ and in the one-kink topological sector $Q=1$. In a finite spatial box, a fixed scalar field configuration eigenstate may be used formally, with temporal endpoints equal to the chosen configuration. More generally, smear the endpoints with wavefunctionals ${\Psi }_Q$. Their unitary time evolution kernels areThe inner scalar field path integral remains in the chosen topological sector, with $\varphi (+\infty )-\varphi (-\infty )=2\pi Q$. A zero-total-momentum projection can be included to select the rest state; alternatively, the translational prefactor does not change the large-time exponential. After a Wick rotation to physical Euclidean time $\tau$, the energy eigenstate expansion gives $K_Q^E(\tau )\sim C_Q{e}^{-E_Q\tau }$. Thus the exact vacuum-subtracted soliton mass isEquivalently it is $i{T}^{-1}\log (K_1/K_0)$ at large time with a damping prescription. The ratio subtracts the vacuum energy; the Hamiltonian operator and action here are the fully regulated and renormalized ones, not merely their classical approximations.

With the dimensionless coordinates of this paper, the correctly normalized classical action isFor the static Sine-Gordon kink, ${\varphi }_K^{\prime }=2\mathrm{sech}x$ and $1-\cos {\varphi }_K=2{\mathrm{sech}}^{2}x$, so $M_{\mathrm{cl}}=8m/{\beta }^2$. Write $\eta =\delta \varphi$. Expanding and integrating by parts givesThe first variation is ${\beta }^{-2}\int ({\varphi }_K^{\prime \prime }-\sin {\varphi }_K)\eta$, plus boundary terms. It vanishes because the kink satisfies the Euler-Lagrange field equation and the fluctuations have the prescribed temporal endpoints and admissible spatial boundary behavior. This is the principle of stationary action, not a symmetry assumption about $\eta$.

The printed expansion omits ${\beta }^{-2}$ despite the stated Lagrangian density. Its displayed form is the expansion of ${\beta }^{2}S$; it is not the physical $S$ at arbitrary coupling. Alternatively, writing $\eta =\beta \chi$ puts the quadratic term in canonical normalization, while leaving the classical term $-8mT/{\beta }^2$ unchanged. This normalization repair does not change ${\Delta }_x$ or the physical fluctuation frequencies.

The Sine-Gordon kink fluctuation operator has the useful factorizationIt is nonnegative, and $A{\psi }_0=0$ gives the normalized translational zero mode of a sine-Gordon kink:A displacement $a$ changes ${\varphi }_K(x-a)$ by $-a{\varphi }_K^{\prime }(x)$. Thus the zero mode in field theory is the position collective coordinate of the kink, reflecting translation invariance. It has no restoring force and no oscillator zero-point energy. Integrate that collective coordinate separately rather than inserting a zero factor into the Gaussian functional determinant.

In the Gaussian fluctuation approximation, the formal oscillator contribution to the one-loop soliton mass correction, before adding any counterterm, isUse a common regulator for the two sums, include all discrete modes, and treat the translation mode as above. The vacuum sum is essential: subtracting only classical vacuum energy would leave an extensive oscillator energy. A periodic fluctuation and its derivative are matched at the two ends of the large box; the one-kink background lies in the twisted topological sector, and its infinite-line profile is accurate up to exponentially small boundary corrections.

For a continuum scattering wavefunction, equality of its two asymptotic values gives the periodic-box phase-shift quantizationAway from the threshold, expand at a matched mode number:Since consecutive free wave numbers are separated by $2\pi /L$, replacing the continuum-mode sum by an integral proves the displayed continuum contribution:The ultraviolet cutoff is retained until the counterterm is added.

There is a finite threshold issue if this expression is identified with the complete oscillator correction. It can be settled directly using the factorization: a continuum eigenfunction is $f_k\propto (\tanh x-ik)e^{ikx}$. Its transmission phase obeyswith the odd phase branch that tends to zero at large $|k|$. For $k>0$, the continuum roots have labels $n=1,2,\dots$; there is no periodic continuum root at $k=0$, since the limiting eigenfunction $\tanh x$ has opposite signs at the two ends. The bound state at ${\omega }_0=0$ replaces the free $k=0$ oscillator with ${\omega }_0^{(0)}=1$. Consequently, in mode-number regularization of soliton masses,The PDF's continuum-only formula misses this finite $-m/2$ under this standard phase and mode-counting convention. It has the correct logarithmic ultraviolet divergence, but the missing term is not suppressed by large $L$. Changing the phase branch requires changing the mode labels and endpoint terms consistently; it cannot erase a physical mode from the formal spectrum sum.

At high momentum, $\delta (k)=2/k+O(k^{-3})$, so both expressions have divergent part $-(m/\pi )\log \Lambda$. The canonical field $\phi =\varphi /\beta$ has a quartic interaction with coupling $-m^2{\beta }^2$. Its vacuum tadpole diagram shifts the squared mass by $-m^2{\beta }^{2}J(\Lambda )/4$, whereThe Sine-Gordon vacuum tadpole counterterm has $\delta m^2=+m^2{\beta }^{2}J/4$ and adds potential energy density $\delta m^2(1-\cos \varphi )/{\beta }^2$. Since $\int (1-\cos {\varphi }_K)dx=4$, its vacuum-subtracted kink energy iswhich cancels the logarithmic ultraviolet divergence. Finite parts require a specified renormalization condition. As a consistency check, with this tadpole subtraction and matched mode-number cutoff, integration by parts yieldsThe complete semiclassical soliton mass is then $8m/{\beta }^2-m/\pi +O(m{\beta }^2)$ in that convention. This last finite result uses the bound-mode term and is additional to the requested ultraviolet cancellation.

There is an interpretation issue in this clause. A proper quartic vertex, defined as the fourth derivative of the quantum effective action, has no additional tree or reducible contribution in the bare cubic theory: the three boxes exhaust its one-loop diagrams. The strict local zero-momentum vertex of a Wilsonian effective action also has no high-mode exchange bridge, since the momentum carried by that bridge would be zero, outside the shell. Thus $\boxed{\text{for a local proper or strict Wilsonian quartic vertex, there are no additional diagrams}.}$

If “other diagrams” means the amputated connected correlation function, there are additional one-particle-reducible Feynman diagrams. Specify full external-propagator amputation and a vacuum with tadpole subtraction. The three tree exchange channels each contribute $g^2/m^2$ at zero momentum. At one loop, a triangle Feynman diagram can replace either cubic end of any exchange, giving six diagrams; a bubble diagram can be inserted in the internal exchange line, giving three diagrams with symmetry factor $1/2$. The proper lower-point vertices at zero momentum, from the same trace-log expansion, areTherefore the reducible part of the connected four-point amplitude isAdding the three boxes gives ${\mathcal{A}}_4=3g^2/m^2+3g^4{I}_4+6g^4{I}_3/m^2+3g^4{I}_2/(2m^4)$ in this convention. This is the cubic-scalar exchange corrections at zero momentum result, obtained equivalently from ${\mathcal{A}}_4=-{\Gamma }^{(4)}+3({\Gamma }^{(3)}{)}^2/{\Gamma }^{(2)}$.

If the tadpole has not been subtracted, it is an additional one-loop subgraph that must not be forgotten. The proper one-point function is $t=g{I}_1/2$. Its attachment to the internal exchange line gives another three reducible diagrams, contributing $3g^4{I}_1/(2m^6)$; equivalently the stationary background shifts by $v=-g{I}_1/(2m^2)$ and changes the exchanged mass by $gv$. A linear counterterm enforcing $v=0$ cancels this contribution. External self-energy or tadpole diagram attachments are removed by the stated full-propagator amputation; using bare external amputation would retain them instead. In that convention the four external-line decorations add $6g^4{I}_2/m^4+6g^4{I}_1/m^6$ to the displayed full-amputated result, with the $I_1$ part absent after tadpole subtraction. If the expansion is expressed in renormalized parameters, also include the corresponding counterterm diagrams: replacing either cubic exchange vertex gives $6g\delta g/m^2$, and a mass insertion on the bridge gives $-3g^2\delta m^2/m^4$. A linear counterterm adds $3g^3\delta h/m^6$ through the same tadpole attachment and cancels it when $\delta h=-g{I}_1/2$. The kinetic counterterm has zero insertion at zero exchanged momentum. At one loop these exhaust the possibilities: the single cycle has length four, three, two or one, corresponding respectively to box, triangle, bubble or tadpole, with tree branches attached.

The mass dimensions are $[g]=0$, $[I_r]=6-2r$, $[m]=1$. Accordingly $g^2/m^2$, $g^4{I}_4$, $g^4{I}_3/m^2$, $g^4{I}_2/m^4$ and $g^4{I}_1/m^6$ all have dimension $-2$. These connected exchanges are generally nonlocal functions of external momentum before taking the zero-momentum value; they should not be silently reclassified as an independent local quartic coupling.

At fixed $m>0$ and $\Lambda >0$, the radial integrands in the scalar shell integral in six dimensions behave as $q^{5-2r}$ in the ultraviolet. ThusConsequently the proper box quartic vertex is ultraviolet finite. The reducible triangle insertion contains the logarithmic cubic-vertex divergence. The internal bubble contains the mass divergence; its nonzero-momentum expansion additionally has a logarithmic kinetic-term divergence. An unsubtracted tadpole attachment has the quartic one-point divergence and is canceled by tadpole subtraction, or incorporated consistently in the chosen stationary background.

These divergent lower-point subgraphs require counterterms, not a new independent divergent ${\varphi }^4$ coupling. More generally, cubic graph identities give the superficial degree of divergenceVacuum, one-, two-, and three-point functions need vacuum-energy, linear, mass, wave-function renormalization and cubic-coupling counterterms. Proper higher-point functions have negative superficial degree and are finite after subtraction of divergent subgraphs. Hence the perturbative renormalizability of cubic scalar theory in six dimensions permits a continuum perturbative expansion with finitely many renormalized parameters; induced irrelevant higher-field and derivative interactions are finite predictions at finite scale, not an infinite list of ultraviolet parameters.

This perturbative statement does not establish a nonperturbative real Euclidean measure. For any nonzero real $g$, $m^2{\varphi }^2/2+g{\varphi }^3/6$ tends to $-\infty$ in one field direction, so even its constant-field integral is divergent. Thus $\boxed{\text{perturbatively renormalizable, with no convergent positive real Euclidean cubic measure}.}$ Stability or a specified analytic continuation would be additional input beyond these loop calculations.

The conformal condition is a quantum worldsheet Weyl anomaly cancellation, not the classical metric equation of the Polyakov action. Assume a smooth target metric, no antisymmetric background field, and curvature/gradient scales large compared with $\sqrt{{\alpha }^{\prime }}$. Use $[{\nabla }_a,{\nabla }_b]v^c=R^c{}_{dab}{v}^d$ and $R_{ab}=R^c{}_{acb}$, consistent with the Ricci-scalar Weyl transformation in the hint.

A sign convention in the printed action must be made explicit. With worldsheet signature $(-,+)$, continuation $\tau =-i{\tau }_E$ and $e^{i{S}_L}=e^{-S_E}$ sends its negative kinetic term to a positive Euclidean kinetic term, while its positive Lorentzian curvature coupling becomes a negative Euclidean curvature coupling. Define the conventional Euclidean dilaton by $\phi =-\Phi$ for this literal action. Then $S_{E,\mathrm{dil}}=(4\pi {)}^{-1}\int \sqrt{h}{R}^{(2)}\phi$. The Lorentzian dilaton coupling sign convention is therefore important: a convention with a negative Lorentzian curvature coupling would instead use $\phi =\Phi$ and reverse every term linear in the printed $\Phi$ below.

For completeness, the metric part of the one-loop calculation can be obtained by a geodesic background field expansion of a string sigma model. Write $X={\exp }_{\bar{X}}Y$. Its quadratic Euclidean action containsHere $D_{\mu }{Y}^a={\partial }_{\mu }{Y}^a+{\Gamma }^a{}_{bc}{\partial }_{\mu }{\bar{X}}^b{Y}^c$. In dimension $2-\epsilon$, the ultraviolet coincident contraction has pole $⟨Y^a{Y}^b{⟩}_{\mathrm{div}}={\alpha }^{\prime }{g}^{ab}/\epsilon$ with an infrared regulator. Contracting the curvature term gives a divergence $-(4\pi \epsilon {)}^{-1}\int \sqrt{h}{R}_{cd}\partial {\bar{X}}^c\partial {\bar{X}}^d$. It is cancelled by the metric counterterm $\delta g_{ab}={\alpha }^{\prime }{R}_{ab}/\epsilon$, giving the one-loop sigma-model beta function ${\beta }_{ab}^g={\alpha }^{\prime }{R}_{ab}+O({\alpha }^{\prime 2})$ before the dilaton improvement. Equivalently its local Euclidean Weyl variation is $-(4\pi {)}^{-1}\int \sqrt{h}\omega R_{ab}\partial X^a\partial X^b$, with terms proportional to the embedding equations understood as field redefinitions.

Set $\Omega =e^{\omega }$ in the supplied curvature transformation. On a closed string worldsheet, integration by parts givesThe chain rule and leading string embedding map equation implyThe kinetic embedding equation suffices for extracting the leading metric coefficient. More precisely, the full Euclidean embedding equation makes the parenthesis $({\alpha }^{\prime }/2)R^{(2)}{\nabla }^a\phi$, giving a curvature contribution $-({\alpha }^{\prime }/4\pi )\int \sqrt{h}\omega R^{(2)}|\nabla \phi {|}^2$ to the Weyl variation. This contributes to the scalar coefficient below rather than to the leading metric tensor coefficient. Combining the curvature counterterm anomaly with this variation gives the leading metric-dilaton Weyl condition:This is the gravitational equation in the string frame, rather than an ordinary Einstein equation with a minimally coupled scalar. In terms of the field and signs literally printed in this Lorentzian action it readsThe frequently used $R_{ab}+2{\nabla }_a{\nabla }_b\Phi =0$ is obtained if the printed $\Phi$ is identified with the conventional Euclidean dilaton, which requires the opposite Lorentzian curvature-coupling sign. Both conventions describe the same mathematics after $\Phi \mapsto -\Phi$, but one cannot change only the field equation silently. Also, vanishing of this tensor coefficient is the metric part of Weyl invariance; the dilaton curvature coefficient and central-charge condition remain to be checked.

Now derive the scalar consequence without presupposing its integration constant. The contracted Bianchi identity gives ${\nabla }^a{R}_{ab}=\frac{1}{2}{\nabla }_{b}R$. The Ricci identity applied to the gradient of a scalar givesDiverging the metric equation and then substituting $R_{ab}=-2{\nabla }_a{\nabla }_b\phi$ yieldsThus the bracket is constant on each connected target component. Its trace equation is $R+2{\square }_g\phi =0$, so the dilaton equation from contracted Bianchi identity becomesThe second equation uses the literal printed sign convention. These are nonlinear scalar wave equations analogous to the Klein-Gordon equation. For the exponentiated dilaton wave equation, put $F=e^{-2\phi }=e^{2\Phi }$; differentiating twice givesHere ${\square }_g={\nabla }^a{\nabla }_a$ is the Lorentzian Laplace-Beltrami operator, and $|\nabla \phi {|}^2=g^{ab}{\partial }_a\phi {\partial }_b\phi$ is a Lorentzian contraction, not necessarily nonnegative.

The Bianchi and Ricci identities alone do not imply $C=0$. The linear dilaton counterexample to zero integration constant is flat target space with $\phi =q_a{X}^a$: the tensor equation holds for every constant $q$, while $C=-2q^2$. A non-null $q$ disproves any deduction of the zero-constant scalar equation from that tensor equation alone.

The leading dilaton Weyl anomaly coefficient is obtained as follows. The matter and reparameterization-ghost central charges give the constant $(D-26)/6$. Expanding the curvature coupling along the same geodesic fluctuation gives the quadratic term $\frac{1}{2}{\nabla }_a{\nabla }_b\phi Y^a{Y}^b$; its coincident contraction is cancelled by $\delta \phi =-{\alpha }^{\prime }{\square }_g\phi /(2\epsilon )$, giving the term $-{\alpha }^{\prime }{\square }_g\phi /2$. The full embedding-equation contribution identified above supplies $+{\alpha }^{\prime }|\nabla \phi {|}^2$. Therefore full leading-order bosonic-string Weyl invariance also requiresIt fixes $C=(D-26)/(3{\alpha }^{\prime })$. Hence in the critical $D=26$ theory, or under boundary conditions making the constant vanish,This explains precisely the extra input needed for a zero-mass Klein-Gordon-type equation. In noncritical dimension the corresponding equation has the central-charge-deficit constant, subject to the usual controlled-background assumptions.

For every interacting $n\ge 3$, the one-loop scalar effective action already contains counterexamples. On a constant background, with a positive auxiliary mass $\mu$ to control infrared divergences, its field-dependent part isThe term of order ${\lambda }^V$ has $E=(n-2)V$ external scalar fields and is a one-loop polygon one-particle-irreducible Feynman diagram. Choose $V>n/(n-2)$ and $2V>d$. Then $E>n$, its loop momentum integral is ultraviolet convergent, and its coefficient is nonzero. Removing the ultraviolet cutoff does not remove this finite higher-point scalar vertex. For $d>2$, generic nonexceptional external momenta give the same conclusion without retaining the auxiliary mass. In $d\le 2$, the massless theory still needs an infrared prescription; removing the ultraviolet cutoff does not remove that need or the induced vertices. Hence there are no interacting pairs $(n,d)$ under the literal wording. For $n=2$ the functional determinant is field independent; $n=1$ merely shifts a Gaussian integral when an infrared prescription exists.

There is a different conventional interpretation: absence of new independent divergent counterterms. The superficial degree of divergence of a connected diagram isThe standard perturbative counterterm closure criterion is $[\lambda ]\ge 0$, with the same pairs as in part ii, provided one includes all symmetry-allowed lower-degree potential terms, the kinetic term, and the vacuum energy. A pure monomial family need not itself have counterterm closure: a sextic interaction in three dimensions generates a quartic counterterm, and a quartic interaction generates a mass counterterm. This interpretation concerns the local divergent part or the continuum defining action, not the complete quantum effective action with its finite interaction vertices and derivative expansion.

For the massive four-dimensional quartic scalar field theory, write ${\lambda }_B$ for the bare quartic coupling, ${\lambda }_R$ for its renormalized value, and $m>0$ for the mass held fixed by a renormalization condition. Define the scalar bubble integralThe quartic one-particle-irreducible correlation function, defined as a derivative of the Euclidean quantum effective action, isThere are three bubble diagrams, one for each pairing of external momenta, and each has Feynman-diagram symmetry factor $2$. The minus sign follows equivalently from the quadratic term in the functional determinant $\frac{1}{2}\mathrm{Tr}\log [1+({\lambda }_B/2)(-{\partial }^2+m^2{)}^{-1}{\varphi }^2]$.

Radial integration at zero external momentum givesThe bare quartic vertex is not finite at fixed bare coupling. Its logarithmic ultraviolet divergence must be subtracted. Impose the momentum-subtraction scheme condition ${\Gamma }_R^{(4)}(0,0,0,0)={\lambda }_R$. To one loop this requiresFor the finite difference, a Feynman parameter and a shift of loop momentum giveThe boundary error due to shifting a sharp cutoff vanishes in this limit. Substitution yields the finite renormalized quartic scalar vertexThus finiteness requires holding the renormalized coupling fixed and allowing the bare coupling to depend on ${\Lambda }_0$. The unsubtracted assertion would be false.

The same one-loop scalar effective action explains the other effective interactions. For a constant background its expansion isThe $r=1$ tadpole diagram gives a mass correction $\delta m^2={\lambda }_R{I}_1/2$, withIt requires a mass counterterm. The field-independent vacuum energy also requires subtraction. The $r=2$ term is the quartic logarithm already treated. There is no one-loop wave-function renormalization from the quartic tadpole diagram.

For $r\ge 3$ the polygon diagrams generate finite higher-point scalar vertices, withFor example, the induced sextic term in the effective potential is $+{\lambda }_R^3{\varphi }^6/(768{\pi }^2{m}^2)$, or a six-point interaction vertex $15{\lambda }_R^3/(16{\pi }^2{m}^2)$ when normalized by $6!$. These finite terms survive the removal of the ultraviolet cutoff at fixed $m,{\lambda }_R$.

The external-momentum dependence of the bubble diagrams also generates a derivative expansion of quartic interactions. At small $P$, the subtracted scalar bubble integral is $-P^2/(96{\pi }^2{m}^2)+O(P^4/m^4)$, giving finite derivative couplings. At order ${\lambda }_R^2$ these are the new field-dependent interactions beyond the mass and quartic terms; the sextic and higher interaction vertices require higher powers of ${\lambda }_R$, though they still occur at one loop. Such coefficients are suppressed by powers of the physical mass or external momentum, not by powers of ${\Lambda }_0$. The calculation establishes an order-by-order perturbative limit; it does not establish a nonperturbative interacting continuum limit of a quantum field theory in four dimensions.

Take integer $n\ge 3$ and positive integer $d$, so the interaction is genuinely non-Gaussian. For a connected two-point Feynman diagram with $V$ interaction vertices and $I$ internal lines, counting half-edges and using the loop order givesAt one loop $I=V$, hence $(n-2)V=2$. There are only two possibilities: a two-interaction vertex bubble diagram for $n=3$, or a one-interaction vertex tadpole diagram for $n=4$. The latter is independent of external momentum and changes the mass, not the kinetic term.

For cubic scalar field theory, introduce a positive auxiliary mass $\mu$ if needed to separate infrared divergences from ultraviolet divergences. The one-loop self-energy in the quantum effective action is $-{\lambda }^2{B}_d(p)/2$, withThis Feynman parameter representation follows by shifting the loop momentum; it is directly valid for a translation-invariant regulator, or for the convergent subtracted integral. Differentiating at $p^2=0$ givesThus the coefficient of the kinetic term changes by ${\lambda }^2\int d^{d}q/[(2\pi {)}^d(q^2+{\mu }^2{)}^3]/6$.

Only the cubic interaction has a momentum-dependent one-loop two-point correction.There is a terminology qualification: if “wave-function renormalization” means a required ultraviolet counterterm, rather than a finite correction to the field normalization, the large-$q$ radial integral behaves as $\int dq{q}^{d-7}$, and the answer isIt is logarithmically divergent at $d=6$ and power divergent above $6$ with a momentum cutoff. Among interactions with a relevant coupling or marginal coupling, the divergent case is uniquely $(n,d)=(3,6)$. The massless low-dimensional amplitude needs an infrared divergence prescription; one cannot take a local expansion at zero momentum without one. The $n=1,2$ cases, if admitted, are a source and a Gaussian mass term and have no interaction-induced wave-function renormalization.

Let the charge parameter depend on position temporarily. Using the gauge-covariant derivative of a charged scalar field, the variation of the matter action is $\delta S=\int d^{4}x{j}^{\mu }{\partial }_{\mu }\alpha$. The resulting Noether current isHere ${\nabla }_{\mu }\bar{\varphi }={\partial }_{\mu }\bar{\varphi }+i{A}_{\mu }\bar{\varphi }$. The potential does not contribute, and $j^{\mu }=-\delta S_{\mathrm{matter}}/\delta A_{\mu }$. Because $A$ has not been rescaled to a canonical kinetic term, there is no factor $e$ in this Noether current or in the matter interaction vertices.

A local change of variables in the path integral gives $\delta ⟨\varphi (y)\bar{\varphi }(z)⟩=⟨\delta (\varphi (y)\bar{\varphi }(z))-(\delta S)\varphi (y)\bar{\varphi }(z)⟩=0$. Integration by parts in the term containing $\partial \alpha$ produces the two opposite contact terms of the Ward identity.

For clarity about phases, transform the current correlator with $e^{i(p-p^{\prime })\cdot x-ip\cdot y+i{p}^{\prime }\cdot z}$ and suppress its overall momentum conservation Dirac delta function. Denote the result by $C^{\mu }(p,p^{\prime })$. The coordinate Ward identity becomesAmputation of the two external quantum field theory propagators then fixes the longitudinal part of the current interaction vertex. Since the action couples $A_{\mu }$ to $-j^{\mu }$, the gauge interaction vertex has the opposite sign. The phase convention for the paper's gauge interaction vertices is ${\Gamma }^{\mu }=i{G}^{\mu }$, where $G^{\mu }$ is the corresponding derivative of the Euclidean quantum effective action.

One can derive the exact one-particle-irreducible correlation function directly, without assuming the entire connected current correlator is one-particle irreducible. Local gauge invariance of the quantum effective action impliesA linear covariant gauge fixing adds a breaking term independent of the scalars, which disappears after the scalar differentiations below. The identity requires a regularization in quantum field theory and counterterms preserving the Abelian gauge theory Ward identity; scalar quantum electrodynamics has no gauge anomaly.

Differentiate with respect to $\varphi (y)$ and $\bar{\varphi }(z)$, then set all background fields to zero. The two-point derivative is the inverse exact quantum field theory propagator. Use the Fourier transform convention $\varphi (x)={\int }_p{e}^{ip\cdot x}\varphi (p)$, $\bar{\varphi }(x)={\int }_{p^{\prime }}{e}^{-i{p}^{\prime }\cdot x}\bar{\varphi }(p^{\prime })$, with the photon momentum $p^{\prime }-p$ incoming. This givesAt tree level $G^{\mu }=-(p+p^{\prime }{)}^{\mu }$, so ${\Gamma }^{\mu }=-i(p+p^{\prime }{)}^{\mu }$, and the identity reduces to $-i(p^2-p^{\prime 2})=i(p^{\prime 2}-p^2)$.

To obtain the two-photon scalar Ward identity, differentiate the same functional Ward identity also with respect to $A_{\nu }(w)$. In terms of Euclidean action derivatives it readsThis construction automatically includes the seagull vertex: the Noether current depends on $A$, with $\delta j^{\mu }(x)/\delta A_{\nu }(w)=-2{\delta }^{\mu \nu }{\delta }^4(x-w)|\varphi (x){|}^2$. It cannot be discarded when differentiating a current insertion.

Take the first photon momentum to be incoming $k$, and the second incoming $p^{\prime }-p-k$. On the first scalar leg the contact term shifts $p$ to $p+k$; on the other it shifts $p^{\prime }$ to $p^{\prime }-k$. ConsequentlyWith ${\Gamma }^{\mu \nu }=i^2{G}^{\mu \nu }=-G^{\mu \nu }$, the result isThere is a momentum-routing sign error in the printed second identity. With the scalar momentum convention of the first identity, its first shifted argument must be $p^{\prime }-k$, not $k-p^{\prime }$. This is already forced at tree level: the seagull vertex has $G^{\mu \nu }=2{\delta }^{\mu \nu }$ and hence ${\Gamma }^{\mu \nu }=-2{\delta }^{\mu \nu }$. The corrected right-hand side is $-2k^{\nu }$, matching the left-hand side, whereas the printed right-hand side is $-2p^{\prime \nu }$. Changing to an all-incoming scalar convention would also change the first identity, so it does not fix both printed formulas simultaneously.

Use signed one-dimensional external momenta $k_1+k_2+k_3=0$, with nonzero $k_i$. Let $P_L(k)=P_L(-k)$ be the linear cosmological density power spectrum at the time of evaluation, normalized by $⟨{\delta }^{(1)}(k){\delta }^{(1)}(k^{\prime })⟩=2\pi {\delta }^{(D)}(k+k^{\prime })P_L(k)$. Using $P_L$ absorbs the factor $a^6$ multiplying a product of three initial power spectra. All kernels below are symmetrized one-dimensional cosmological density kernels.

The connected B222 contribution to the one-loop matter bispectrum has a triangular Feynman diagram: each second-order external field has two Gaussian inputs, joined pairwise to the other two vertices. The connected B411 contribution to the one-loop matter bispectrum has a fourth-order vertex joined to both linear external fields, with its remaining two inputs contracted into a loop at that vertex. External stubs indicate the measured momenta; blue internal lines represent linear power spectra.

There are $2^3=8$ connected Wick contractions in the triangle, givingFor a fixed fourth-order external field, attaching the two labelled linear fields gives $4\times 3=12$ choices; the remaining pair contracts uniquely. ThereforeThese are contributions to the reduced connected one-loop matter bispectrum, with its external momentum-conserving Dirac delta function removed. Disconnected contractions have a zero external momentum and are excluded.

For the ultraviolet behaviour, the three $F_2$ denominators multiply to a negative square. In factThus for $|q|\gg |k_i|$ and a smoothly varying high-momentum spectrum,Each second-order vertex exhibits the ultraviolet softness of the second-order density kernel, so this term contains six powers of external momentum.

The fourth-order kernel is even simpler:With a hard-loop cutoff $q_h<|q|<\Lambda$, defineThe B411 contribution to the one-loop matter bispectrum from this range is exactlyFor fixed momentum ratios, it has two external derivative powers multiplying two long-mode power spectra, rather than the six-derivative stochastic structure of $B_{222}$. It is the leading deterministic UV-sensitive contribution for external modes below the nonlinear wavenumber. This is a comparison of derivative orders and generic cutoff sensitivity; an arbitrary specially chosen spectrum or vanishing shape can change their numerical ranking. A convergent integral can still depend on nonperturbative short scales. For a high-$q$ power law $P_L(q)\propto |q{|}^n$, the $B_{411}$ integral diverges for $n\ge 1$, whereas the $B_{222}$ integral diverges only for $n\ge 5/3$, with logarithmic divergences at the thresholds.