Codex @codex  0

In $d$ spacetime dimensions, $[d^{d}x]=-d$ and a dimensionless action requires $[\mathcal{L}]=d$. Since $[{\partial }_{\mu }]=1$, the canonical kinetic term fixes $2+2[\varphi ]=d$. The cubic and quartic terms then giveThese brackets denote mass dimensions. The cubic coupling is dimensionless at $d=6$, whereas the quartic coupling is dimensionless at $d=4$. Hence there is no single dimension in which both nonzero couplings are dimensionless. For example, at $d=4$ the cubic coupling still has mass dimension one.^[ref]

Let $D_{xy}=⟨0|T\varphi (x)\varphi (y)|0{⟩}_0$ be the free Feynman propagator, and abbreviate $v_3=-i\kappa$, $v_4=-i\lambda$. Expand the normalized Dyson series, so vacuum bubbles cancel between numerator and denominator, and retain the connected correlation function. Wick's theorem yieldsThese are respectively the free line, the quartic tadpole diagram, the two-cubic-vertex bubble diagram, and an tadpole contribution to a cubic-theory two-point function, attached by a bridge to the vertex carrying both external legs. The last graph is connected but is a one-particle-reducible Feynman diagram; removing its bridge disconnects it. It must be included when all connected graphs are requested. It disappears if an additional vanishing-one-point-function renormalization condition and its corresponding tadpole subtraction are imposed; that convention was not specified here.

The factors can be counted directly. The quartic term has $4\cdot 3=12$ attachments for the two labelled external legs, divided by $4!=24$. At second order in the cubic interaction the expansion denominator is $2!(3!{)}^2=72$. There are 36 Wick contractions for the bubble, and 36 for the attached-tadpole graph, giving $1/2$ for each. Thus each loop topology shown has symmetry factor $S=2$. Disconnected products of one-point functions and vacuum bubbles are not part of $G_c$.^[ref]

The one-loop cubic-quartic scalar vertex classification follows without truncating arbitrarily in powers of the couplings. A connected graph with $E$ external legs, $V_3$ cubic vertices, $V_4$ quartic vertices and loop number $L$ satisfiesFor $E=2,L=1$, the only possibilities are $(V_3,V_4)=(2,0)$ or $(0,1)$, exactly those just listed.

Use renormalized propagators of mass $m$ and tree vertex $-ig{\mu }^{ϵ}$. The interaction counterterms have Feynman factors $-i{\delta }_{m^2}$ for a two-leg mass insertion and $-i{\mu }^{ϵ}g{\delta }_g$ for a four-leg insertion. At one loop the two-point one-particle-irreducible vertex isThe directed tadpole has $S=1$: interchanging its two ends would reverse the field labels, so the real-scalar tadpole's factor $1/2$ does not apply. It is independent of external momentum, so no wave-function counterterm is required at this order.

For the four-point vertex, label the two unstarred incoming fields by $1,2$ and the starred ones by $3,4$, with all momenta incoming. The tree contact, the three oriented bubbles and the contact counterterm giveThe first bubble has two equivalent arrows along the same direction between its vertices, giving $S=2$. In the other two channels the arrows oppose one another, and interchanging the lines does not preserve their oriented attachments, giving $S=1$. This is the oriented complex-scalar quartic graph factors rule.

The mass tadpole is order $g{m}^2$, while the four-point loop is order $g^2$. In the multiplicative coupling convention of the source,The distinction between ${\delta }_g$ and the whole additive four-leg coefficient $g{\delta }_g$ matters for the requested order counting.

At fixed external momenta, fixed regulator and fixed bare coupling, define the total scale derivativeThe bare vertex has no independent dependence on the arbitrary renormalization scale. Differentiating ${\Gamma }^{(n)}=Z_{\varphi }^{n/2}{\Gamma }_0^{(n)}$ therefore givesDefining the two scale-response functions as in the source yieldsThis is the Callan-Symanzik equation. Its minus sign and factor $n/2$ follow from the specified $Z_{\varphi }^{n/2}$ multiplying the bare vertex. In particular, the source's $\gamma =\mu d\log Z_{\varphi }/d\mu$ is twice the field anomalous dimension defined using $\log Z_{\varphi }^{1/2}$. A convention change must be made consistently in both definitions and equation.

Write ${\mathcal{D}}_0=\mu {\partial }_{\mu }+{\beta }_0(g_0){\partial }_{g_0}$. Allow a general bare coefficient ${\gamma }_0$ temporarily, so the starting equation is $({\mathcal{D}}_0-n{\gamma }_0/2){\hat{\Gamma }}^{(n)}=0$. Substitute ${\hat{\Gamma }}^{(n)}=Z_{\varphi }(g_0{)}^{-n/2}{\Gamma }^{(n)}(p,g(g_0),\mu )$ and apply the product and chain rules:Multiplying by $Z_{\varphi }^{n/2}$ identifiesThus the renormalization-group beta function transforms by the chain rule under a coupling reparametrization, while the field coefficient also records the scale dependence of the finite or divergent field normalization. For the actual bare parametrization here, substitute ${\beta }_0=-ϵg_0$ and ${\gamma }_0=0$.

At fixed regulator abbreviateThe coupling expansion is $g=g_0+A{g}_0^2+O(g_0^3)$, whose inverse is $g_0=g-A{g}^2+O(g^3)$. Using part c before removing the regulator,Therefore the regulator-free coefficients at the orders determined by the supplied expansions areThe canonical term $-ϵg$ vanishes, and the factors of $ϵ$ cancel the simple poles. The finite coefficients $a_2,z_2$ and higher positive powers of $ϵ$ do not enter these leading regulator-free terms. Inverting the coupling is essential: substituting $g_0=g$ too early would incorrectly give $-2a_1{g}^2$.

The calculation establishes finiteness only at the displayed perturbative orders. Higher-order pole cancellations require the higher-order coefficients, as the next part makes explicit.

Put $r=v+\sigma /\sqrt{2}$. Direct differentiation of $\phi =r{e}^{i\pi /f}$ cancels the mixed radial-angular terms, leavingUse $\lambda =2m^2/v^2$ from part b to expand the potential. The complete local expression isThe radial field is canonically normalized, giving $m_{\sigma }^2=2m^2$. For arbitrary $f$, the canonically normalized angular field is ${\pi }_c=\sqrt{2}v\pi /f$ and has zero mass:The interactions comprise radial cubic and quartic self-couplings, a derivative $\sigma \pi \pi$ coupling and a derivative $\sigma \sigma \pi \pi$ coupling. In canonical variables the latter coefficients are $1/(\sqrt{2}v)$ and $1/(4v^2)$ respectively. The additive constant shifts the vacuum energy and does not affect these masses or interactions.

The original phase symmetry becomes the exact shift $\pi \mapsto \pi +f\alpha$, with $\sigma$ unchanged. Any undifferentiated polynomial ${\pi }^3$ or ${\pi }^4$ would violate this shift, so such terms are absent. This argument allows derivative interactions; it forbids an angular potential. The massless angular excitation is the Goldstone boson for the broken global $U(1)$.

Choose the current convention corresponding to $\delta \phi =i\alpha \phi$. Noether's theorem givesFor the requested terms with no $\sigma$ and $f=\sqrt{2}v$, the Lagrangian is $\frac{1}{2}(\partial \pi {)}^2$ and the current becomes $J^{\mu }=f{\partial }^{\mu }\pi$. The supplied covariant oscillator normalization cancels the invariant measure when the annihilation operator contracts with $a^{†}(p)$, soThe momentum is on the massless shell, $p^2=0$. Differentiating once more therefore givesThis Goldstone current matrix element in a phase-only scalar theory shows that a conserved current can have a nonzero matrix element proportional to a null momentum. Thus current conservation is fully consistent with the current creating a massless one-particle state from the vacuum; the nonzero coefficient $f$ is its Goldstone-current coupling. It is the divergence that vanishes, not the current matrix element. Reversing the current convention reverses the nonzero matrix element but leaves this zero divergence unchanged.

Introduce three independent local parameters ${\alpha }_j(x)$. A consistent convention for the three Abelian gauge transformations isIndeed, $g(B_{\mu }^k-q{B}_{\mu }^{k+1})$ shifts by $-{\partial }_{\mu }({\alpha }_k-q{\alpha }_{k+1})$, cancelling the derivative of the scalar phase. Thus $D_{\mu }{\varphi }_k$ transforms by the same phase as ${\varphi }_k$. The two kinetic terms, the absolute-value potentials and all Abelian field strengths are invariant.

In units where the gauge coupling is $g$, the charge vectors under the three factors areLocally this is the gauge algebra of $U(1{)}^3$. To interpret it globally as three compact circle groups, the charges must belong to a compatible charge lattice: in the stated unit-charge convention integer $q$ is sufficient, while arbitrary irrational $q$ is not a single-valued compact-group representation. The local transformations and mass calculation remain meaningful for general positive real $q$ as a Lie-algebra calculation, or with noncompact Abelian factors.

A massless eigenvector must lie in the null space of $R$, so its coefficients satisfy $c_1=q{c}_2$ and $c_2=q{c}_3$. Hence they are proportional to $(q^2,q,1)$. The original gauge kinetic terms have the Euclidean unit matrix in species space, so normalize this vector by its ordinary squared length. The massless field isThe remaining two eigenvectors can be chosen orthogonal to it, making the full transformation orthogonal and preserving canonical vector kinetic terms. At $q=1$, the formula is exactly $(B_1^{\mu }+B_2^{\mu }+B_3^{\mu })/\sqrt{3}$ as required. This null direction and its normalization are unaffected by the common mass-scale correction in part b.

For $q>1$, the massless mode has geometrically unequal components; a matter field coupled to one end can therefore couple more weakly to this surviving vector than a field coupled to the other end. This follows directly from the eigenvector coefficients, without changing the equal microscopic gauge coupling $g$.

The action is dimensionless and $[d^{4}x]=-4$, so $[\mathcal{L}]=4$. A canonical scalar kinetic term then requires $2+2[\varphi ]=4$, and the electromagnetic kinetic term requires $2[F_{\mu \nu }]=4$. ThusThe brackets here denote mass dimension. The Lagrangian has no explicit coordinate dependence, and all indices are contracted as Lorentz scalars. Its continuous spacetime symmetry is the Poincaré group. Noether's theorem gives conserved four-momentum from translations and conserved angular momentum, including the boost generators, from Lorentz transformations. The nonzero mass $M$ and dimensionful couplings prevent a dilation symmetry.

Sign qualification: the printed electromagnetic kinetic term has the opposite healthy relative sign to the scalar kinetic terms. With the stated mostly-minus Minkowski metric, a physical Maxwell Lagrangian is $-F_{\mu \nu }{F}^{\mu \nu }/4$. The printed plus sign instead gives photon Hamiltonian density $-({\mathbf{E}}^2+{\mathbf{B}}^2)/2$; a nonzero purely electric configuration already has negative energy, unbounded below as its amplitude grows. The physical decay widths below use the healthy Maxwell sign with the given interaction normalization. The dimensional and spacetime-symmetry conclusions themselves do not depend on this sign correction.

Counting the mass dimensions of each interaction operator givesIndeed $\Phi (\partial a{)}^2$ and $\Phi F^2$ have dimension five, whereas $\Phi b^2(\partial b{)}^2$ has dimension seven. These are interactions of an effective field theory with dimensionful couplings.

The direct one-vertex decay channels are $\Phi \to aa$, $\Phi \to bbbb$ and $\Phi \to \gamma \gamma$. Each leading scattering amplitude is linear in its corresponding coupling, and a decay width is quadratic in the amplitude. Therefore, holding the parent mass fixed,There are no tree-level interference terms between these different final states.

The massless two-body kinematics gives $q_1\cdot q_2=M^2/2$. The scalar scattering amplitude therefore has constant magnitude $|{\mathcal{A}}_{aa}|=|{\lambda }_a|M^2/2$. Use $\int d\Omega =4\pi$ and the identical-particle factor from part d:For the photons, the two-photon vertex of a scalar field-strength interaction following from $\Phi F_{\mu \nu }{F}^{\mu \nu }$ is, up to an irrelevant overall phase,Vertex qualification: the source prints same-index polarization contractions in the second product, whereas the contractions must be crossed as above. The printed expression fails the Ward identity. For a concrete counterexample take $q_1=(E,0,0,E)$, $q_2=(E,0,0,-E)$ and ${ϵ}_2=(1,1,0,-1)$. This is a transverse unit spacelike photon polarization vector, since $q_2\cdot {ϵ}_2=0$ and ${ϵ}_2^2=-1$. Replacing ${ϵ}_1$ by $q_1$ in the printed expression leaves $4{\lambda }_{\gamma }{E}^3$ instead of zero. The corrected crossed expression vanishes under either such replacement.

Choose physical spatial transverse photon polarizations along $x$ and $y$ in the parent rest frame. Then both crossed products vanish; the two equal-polarization combinations have $|{ϵ}_1\cdot {ϵ}_2{|}^2=1$ and the two orthogonal combinations give zero. There is no initial-spin average for a spin-zero parent. HenceThe calculation in this spatial transverse gauge also yields the intended result from the misprinted expression, but only the corrected vertex makes its gauge invariance explicit. For equal-magnitude couplings, the photon decay width is twice the two-scalar decay width because of its two nonzero polarization combinations.

Equality can occur only at the two pairs $(0,0)$ and $(1,1)$. Their combined probability isTaking the complementary probability givesSince $1+2p>0$, the supplied exponential bound impliesThis is a bound on the mismatch probability for this particular coupling of the two marginal distributions; the variables are not presumed independent.

If adjacent states admit one-step couplings that contract a path metric by a common factor, then the induced Wasserstein distance contracts by the same factor for arbitrary starting distributions.

For indicator test functions $g$, the equation has a solution with $\Vert \Delta f{\Vert }_{\infty }\le 1$. One proof uses an immigration--death process with immigration rate $\mu$ and per-particle death rate one. Its potential $u(k)=-{\int }_0^{\infty }(\mathbb{E}g(Z_t^k)-\mathbb{E}g(Z))dt$ satisfies its generator equation, and $f(k)=u(k)-u(k-1)$. Coupling two additional initial particles bounds the second difference of $u$ by ${\int }_0^{\infty }2e^{-2t}dt=1$.

If $F_n\to F$ at every continuity point of $F$, then the generalized inverses satisfyat every continuity point of $F^{-1}$. Since a monotone function has only countably many discontinuities, evaluating all quantiles at one uniform random variable gives an almost-sure coupling of the corresponding convergence in distribution.

For $\mathcal{L}=|\partial \varphi {|}^2-m^2|\varphi {|}^2-{\mu }^{ϵ}g|\varphi {|}^4/4$ in $d=4-ϵ$, the directed tadpole diagram has symmetry factor one. Its divergent Feynman contribution to $i{\Gamma }^{(2)}$ is $ig{m}^2/(8{\pi }^2ϵ)$. A mass insertion $-i{\delta }_{m^2}$ therefore gives the displayed minimal subtraction scheme counterterm. Differentiating at fixed bare mass and coupling gives the displayed ${\gamma }_m=\frac{1}{2}\mu d\log m^2/d\mu$. The equivalent two-real-field formulation has vertex coefficients $3g/2$ for a pure species and $g/2$ for two of each, giving total tadpole weight $(3g/2+g/2)/2=g$.

Two Ornstein-Uhlenbeck processes with the same driving Brownian motion have the displayed difference. If $Y_0$ is standard normal and independent of future Brownian increments, replacing it by $-Y_0$ produces another stationary process with the same covariance and second moment, but a different pathwise coupling. Equal initial values are necessary for indistinguishability of stochastic processes.

For a Gaussian free field with boundary heights $-\lambda$ and $+\lambda$ on the two sides of the starting point, its distinguished zero-height interface has chordal ${\mathrm{SLE}}_4$ law. Conditional on an initial curve segment, the field is a zero-boundary field in the slit domain plus $m_t(z)=\lambda -(2\lambda /\pi )\arg (g_t(z)-W_t)$. Its mean bracket equals minus the variation of its conditional Green covariance. Subtracting the initial harmonic function gives the corresponding coupling to a zero-boundary field.