Codex @codex  0

The centre-of-mass coordinates areDifferentiation and cancellation of cross terms givesInsert this into the supplied kinetic energy and subtract the gravitational potential $mgc$. Thus

The lower mass has coordinates $(x+l\sin \theta ,-l\cos \theta )$. Its squared speed is ${\dot{x}}^2+2l\cos \theta \dot{x}\dot{\theta }+l^2{\dot{\theta }}^2$. Adding the bead's kinetic energy gives the kinetic part of the supplied Lagrangian. Equal spring prestresses give spring energy $k{x}^2$ up to a constant: the two squared extensions are proportional to $(a+x-{\ell }_0{)}^2+(a-x-{\ell }_0{)}^2$. The gravitational potential is $-m_{2}gl\cos \theta$. Thus $L=T-V$ has exactly the stated form, with constant energy offsets discarded.

Since $L$ has no explicit time dependence, the conserved energy isThe two Euler–Lagrange equations areAt equilibrium, $x=0$ and $\sin \theta =0$. There are two geometrically distinct positions, $\boxed{(x,\theta )=(0,0),(0,\pi )}$ modulo $2\pi$. The downward one has positive potential Hessian $\mathrm{diag}(2k,m_{2}gl)$ and is stable; the inverted one has a negative angular curvature and is unstable.

Keeping only quadratic terms about the downward equilibrium givesFor unit parameters, the mass and stiffness matrices are $M=\left(\begin{array}{cc}2& 1\\ 1& 1\end{array}\right)$ and $K=\left(\begin{array}{cc}2& 0\\ 0& 1\end{array}\right)$. The equation $\det (K-{\omega }^{2}M)=0$ is ${\omega }^4-4{\omega }^2+2=0$. Therefore the normal angular frequencies are

Conservation of volume in a short channel slice gives ${\partial }_t[b(H+\eta )]+{\partial }_x[b(H+\eta )u]=0$. Keeping first-order terms in $u,\eta$ gives $\boxed{{\eta }_t+(H/b)(bu{)}_x=0}$.

Euler's momentum equation is ${\partial }_{t}v+(v\cdot \nabla )v=-\nabla p/\rho -g\hat{z}$. For irrotational flow $v=\nabla \varphi$, integration gives the Unsteady Bernoulli equation ${\varphi }_t+|\nabla \varphi {|}^2/2+p/\rho +gz=C(t)$. On the zero-pressure surface $z=\eta$, linearization gives ${\varphi }_t+g\eta =C(t)$. Differentiate with respect to $x$ to remove the spatially constant term, giving $\boxed{u_t+g{\eta }_x=0}$. These are the cross-sectionally averaged shallow-water approximations encoded in the stated assumptions.

Differentiate the mass equation in time and use the momentum equation to getFor $b=b_0{e}^{\mu x}$ this is ${\eta }_{tt}=gH({\eta }_{xx}+\mu {\eta }_x)$. A time-harmonic amplitude $N(x)$ satisfies $N^{\prime \prime }+\mu N^{\prime }+{\omega }^{2}N/(gH)=0$. Write $N=e^{-\mu x/2}W$ to obtainSpatially oscillating waves therefore occur exactly when the coefficient is positive:Below threshold the solutions have real exponential spatial factors and are evanescent rather than propagating; equality gives the zero-wavenumber threshold. For a concrete outgoing wave let $\kappa =\sqrt{{\omega }^2/(gH)-{\mu }^2/4}>0$. Then $U(x)=u_0{e}^{-\mu x/2}{e}^{-i\kappa x}$ obeys the oscillating boundary condition, and $N(x)=H(\kappa +i\mu /2)U(x)/\omega$ follows from mass conservation. The phase $\omega t-\kappa x$ moves into $x>0$.

Semiconductor doping introduces electrically active impurities. In gallium arsenide, silicon has one more valence electron than gallium but one fewer than arsenic. Silicon on a gallium site can therefore supply a shallow donor electron, while silicon on an arsenic site can accept an electron and leave a mobile hole. It is an amphoteric dopant, so its net effect depends on site occupation and growth conditions.^[ref]

For isotropic parabolic bands, shift the energy origin in the given free-electron density of states to the appropriate band edge and use its effective mass:and, for valence electron states,The stated normalization includes the two spin states and assumes one effective valley. In a nondegenerate semiconductor, the conduction occupation is approximately $e^{-(E-\mu )/(k_{B}T)}$ and the probability of a valence hole is approximately $e^{(E-\mu )/(k_{B}T)}$. Substituting $x=(E-{ϵ}_c)/(k_{B}T)$ in the first integral, and the corresponding hole energy in the second, giveswhere the effective density of states values are $N_c=2[m_e{k}_{B}T/(2\pi {\hslash }^2){]}^{3/2}$ and $N_v=2[m_h{k}_{B}T/(2\pi {\hslash }^2){]}^{3/2}$. The factor $\sqrt{\pi }/2$ comes from the supplied Gaussian-weighted integral. Multiplying cancels the shared thermodynamic equilibrium chemical potential and proves the semiconductor mass-action law:For the given sample $N_D=2\times 10^{21}{\mathrm{m}}^{-3}$ and $N_A=10^{21}{\mathrm{m}}^{-3}$. With complete donor ionization and occupied acceptors, charge neutrality gives $n-p=N_D-N_A=10^{21}{\mathrm{m}}^{-3}$. At $293\mathrm{K}$ the given masses and gap giveSolving the compensated semiconductor equations, or using $n_i\ll N_D-N_A$, yieldsThe very small minority density is consistent with the wide gap and the strongly n-type balance. Also $n/N_c\simeq 2.6\times 10^{-3}\ll 1$ and $p/N_v\ll 1$, checking the nondegenerate approximation. The acceptor levels are occupied in this n-type regime; complete acceptor ionization in the compensation equation is appropriate to the model.

At low temperature dopant freeze-out reduces the conduction-electron population; a quantitative curve would require dopant binding energies and occupation factors. Once donors are ionized while intrinsic excitation is negligible, $n\simeq N_D-N_A$ gives an extrinsic plateau. At higher temperature intrinsic pairs eventually dominate, so $n\simeq p\simeq n_i(T)\propto T^{3/2}{e}^{-E_g/(2k_{B}T)}$ if the gap and masses are treated as constant. Real gap and mass changes modify that last expression.

Use a representative conduction-electron density $n\sim 10^{29}{\mathrm{m}}^{-3}$, roughly one mobile electron per atom in a dense metal, and the bare electron mass for this estimate. The plasma frequency is thenThis is an order-of-magnitude answer because no particular metal or carrier density is specified. It corresponds to an ordinary frequency $f_p\simeq 2.8\times 10^{15}\mathrm{Hz}$, excitation energy $\hslash {\omega }_p\simeq 12\mathrm{eV}$, and free-space wavelength near $1.1\times 10^{-7}\mathrm{m}$.

The physical oscillation is collective motion of the electron gas against the positive ionic background. Displacing the electrons relative to the ions produces a restoring electric field. In the simplest uniform-displacement picture, $\ddot{x}+{\omega }_p^{2}x=0$: the frequency increases with the density of mobile electric charge and decreases with carrier inertia. Quantizing this longitudinal collective oscillation gives a plasmon.

The same scale controls the ideal collisionless Drude model optical response. Its cold collisionless plasma dielectric response is ${ϵ}_r(\omega )=1-{\omega }_p^2/{\omega }^2$. Below ${\omega }_p$, the negative relative permittivity makes a transverse electromagnetic wave evanescent, producing strong reflection; above it, the ideal model admits propagation. Real-metal collisions, interband photon absorption and background polarization modify this simple optical edge. Thus ${\omega }_p$ is a collective charge-response scale, not a single-electron scattering rate or a sharp transparency threshold for every real metal.

The Drude model treats mobile electric charge carriers as independent particles with density $n$, signed electric charge $q$, isotropic mass $m$, and momentum relaxation time $\tau$. In uniform steady fields,At zero magnetic field the drift velocity is $q\tau \mathbf{E}/m$, giving electrical conductivity and electrical resistivityThe electrical conductivity is positive for either carrier sign. Scattering dissipates directed drift energy into the environment; a finite steady electric current is compatible with a short-lived drift momentum. The independent-carrier relaxation-time approximation omits detailed band anisotropy, quantum interference and microscopic collision correlations.

For electric current along $x$ and magnetic field $B\hat{\mathbf{z}}$, the magnetic force deflects carriers toward one side of the sample. electric charge accumulates until a transverse Hall field cancels that force in an open transverse circuit. With $J_y=0$, $E_y=v_{x}B$, soElectrons have negative $R_H$ in this convention, whereas positive carriers have positive $R_H$. For a strip of thickness $d$ along $z$, the magnitude of the Hall electric potential difference across its width is $|V_H|=|IB/(nqd)|$. Thus Hall measurements determine carrier sign and, within this one-carrier model, density, while combining $R_H$ with ${\sigma }_0$ determines charge carrier mobility $\mu =|q|\tau /m={\sigma }_0|R_H|$.

Keeping both in-plane electric current components, the resistivity tensor isThis fixes the off-diagonal sign convention and shows that inversion is not componentwise reciprocation. Under the Hall boundary condition $J_y=0$, the ideal one-carrier isotropic model gives $E_x/J_x={\rho }_0$, independent of magnetic field: there is no ordinary longitudinal magnetoresistance in this minimal model. Multiple carrier types or anisotropic bands can change both this conclusion and the simple $R_H=1/(nq)$ inference. Their electrical conductivity must be added before inverting to obtain the total electrical resistivity.

mass as band curvature. In a periodic potential, a weakly forced electron is usefully described by a wave packet confined to one energy band. Its group velocity isDifferentiating the velocity givesThis effective-mass tensor describes the band response, not a change of the electron's bare rest mass. Along a principal direction, a steep upward curvature gives a small positive mass and a flatter curvature a larger one. Near a band maximum the electron curvature and effective mass are negative; the corresponding missing-electron description uses positive electron hole masses. Anisotropy produces distinct principal masses, and strong nonparabolicity makes them momentum dependent. The single-band semiclassical description assumes fields weak and slowly varying enough to avoid substantial interband transitions.

Lattice symmetry and Bloch's theorem. Use the active spatial translation operator $T_{\mathbf{a}}\psi (\mathbf{r})=\psi (\mathbf{r}-\mathbf{a})$. A lattice-periodic scalar potential satisfies $V(\mathbf{r}+\mathbf{a})=V(\mathbf{r})$, while the kinetic term is translation invariant. Therefore $[H,T_{\mathbf{a}}]=0$. The lattice translations also commute with one another, so they can be diagonalized simultaneously with $H$, including within a degenerate energy subspace.

For a common eigenstate, write $T_{\mathbf{a}}\psi =t(\mathbf{a})\psi$. Unitarity gives $|t(\mathbf{a})|=1$, and the group law gives $t(\mathbf{a}+\mathbf{b})=t(\mathbf{a})t(\mathbf{b})$. On primitive Bravais vectors ${\mathbf{a}}_j$, choose $t({\mathbf{a}}_j)=e^{-i\mathbf{k}\cdot {\mathbf{a}}_j}$. Every lattice vector is an integer combination of these generators, henceThe vector $\mathbf{k}$ is defined modulo a reciprocal lattice vector. The band index labels the different energy eigenstates with the same translation character. Define $u_{n\mathbf{k}}(\mathbf{r})=e^{-i\mathbf{k}\cdot \mathbf{r}}{\psi }_{n\mathbf{k}}(\mathbf{r})$. The phase factors cancel under a lattice translation, proving Bloch's theorem in its usual form:This is the Translation-character proof of Bloch theorem; the commutator guarantees a basis of such states, even when an arbitrary superposition of different translation characters is not itself a translation eigenstate.

Periodic Hamiltonian. Acting once with momentum gives $\mathbf{p}(e^{i\mathbf{k}\cdot \mathbf{r}}u)=e^{i\mathbf{k}\cdot \mathbf{r}}(\mathbf{p}+\hslash \mathbf{k})u$. Applying it again and cancelling the common plane-wave factor yieldsThe Bloch Hamiltonian acts on lattice-periodic functions in a unit cell. Expanding its square separates a zero-momentum Hamiltonian, a term linear in $\mathbf{k}$ and an identity term quadratic in $\mathbf{k}$.

Expansion about the zone centre. Let $|n⟩=u_{n0}$, $E_n={\epsilon }_n(0)$, and normalize all these states using a unit-cell inner product. For the real scalar Hamiltonian in the question, a nondegenerate zone-centre eigenfunction can be chosen real. Thenbecause opposite unit-cell faces cancel. Equivalently, time-reversal symmetry forbids a nonzero electric current in this nondegenerate spinless state. This explains why no linear energy term appears; it should not simply be omitted without a symmetry or extremum argument.

The first-order energy shift is therefore ${\hslash }^2{k}^2/(2m)$. In the second-order sum the quadratic term is proportional to the identity and has no off-diagonal matrix elements. Only the linear momentum vertex contributes. Second-order nondegenerate perturbation theory gives the momentum matrix-element expansion of band energyHermitian operator makes the two reciprocal matrix elements complex conjugates. All other periodic eigenstates at $\mathbf{k}=0$ enter the sum. The remainder is even because time-reversal symmetry gives ${\epsilon }_n(\mathbf{k})={\epsilon }_n(-\mathbf{k})$ near this isolated state. At a degeneracy the denominators signal the need for degenerate perturbation theory instead.

mass ratio and the printed formula. Write $p_{nl}^i=⟨n|p_i|l⟩$. Differentiating the quadratic energy yieldsFor a specified unit direction $\mathbf{e}$, the resulting scalar mass ratio isIn an isotropic three-dimensional band, averaging equivalent directions givesCoupling to lower bands contributes positively to inverse mass; coupling to higher bands contributes negatively. Their signs and matrix elements determine the actual curvature.

The original PDF prints $m^{\ast }={\hslash }^2[{\nabla }_{\mathbf{k}}^2{\epsilon }_n{]}^{-1}$. Taken literally as a three-dimensional Laplacian, this misses a factor of three for an isotropic scalar mass. The correct identities areThe printed expression would return $m/3$ even for the free dispersion ${\hslash }^2{k}^2/(2m)$. It is correct in one dimension, or if its second derivative is interpreted directionally. For completeness, its literal three-dimensional trace ratio would instead be $3+(2/m){\sum }_{l\ne n}|⟨n|\mathbf{p}|l⟩{|}^2/(E_n-E_l)$; that is the trace of the dimensionless inverse-mass tensor, not the usual scalar $m/m^{\ast }$.

Relaxation-time model. The Drude model treats mobile charge carriers as independent particles accelerated by the Lorentz force between scattering events. Collisions randomize the drift momentum toward local equilibrium and are represented by a uniform, field-independent momentum relaxation time. For the present calculation the carrier density, isotropic mass and relaxation time are fixed, the fields are uniform and stationary, and quantum orbital quantization and intercarrier correlations are neglected. The steady drift velocity obeysHere $n$ is the number of carriers of that species per unit volume, $q$ their signed charge, $m>0$ their inertial or isotropic band mass, $\tau$ the momentum relaxation time, and ${\sigma }_0$ their single-species electrical conductivity at zero field.

One-carrier tensor. With $\mathbf{B}=B\hat{\mathbf{z}}$ and $\mathbf{J}=nq\mathbf{v}$, solving for the electric field givesSince $(\mathbf{J}\times \mathbf{B}{)}_x=B{J}_y$ and $(\mathbf{J}\times \mathbf{B}{)}_y=-B{J}_x$,Thus the resistivity tensor, defined by $\mathbf{E}=\mathbf{\rho }\mathbf{J}$, isIts off-diagonal signs follow from the stated axes and signed $q$. For zero transverse electric current, $E_y/J_x=B/(nq)$ is the Hall electrical resistivity; reversing charge reverses it. The single-species longitudinal electrical resistivity is independent of $B$ in this ideal isotropic model.

Adding electrons and electron holes. Let both species have density $n$ and charges $q=\pm e$, with $e>0$. The stipulated equal zero-field electrical conductivity means equal positive charge carrier mobility $\mu ={\sigma }_0/(ne)$, even if their masses and momentum relaxation times separately differ. Put $r=1/{\sigma }_0$ and $h=B/(ne)$. Inverting each electrical resistivity matrix givesBoth species experience the same electric field, so their electric current densities add. Therefore it is their conductivity tensors, rather than their resistivity tensors, that must be summed. The Hall parts cancel andThis is compensated two-carrier magnetoresistance. Although the net Hall field vanishes, each carrier species is bent in its own direction; maintaining the total longitudinal electric current requires an increasing longitudinal field. Equal carrier numbers alone do not ensure zero Hall response if charge carrier mobilities differ; both equalities given here are used.

Large-field limit and quantum oscillations. Expanding the exact diagonal entry,For $\mu B\gg 1$,Here the last equality applies to either species with its own mass and transport time; the stipulated charge carrier mobilities give the same threshold. This is the classical strong-field condition ${\omega }_c{\tau }_{\mathrm{tr}}\gg 1$: carriers turn substantially before their drift momentum relaxes.

Observable quantum oscillations additionally require sufficiently sharp Landau levels and a sufficiently cold Fermi-Dirac distribution, approximatelyWhen ${\tau }_q\simeq {\tau }_{\mathrm{tr}}$, the disorder field scale is comparable to the onset scale for large classical magnetoresistance. The thermal condition can demand a much larger field, and when ${\tau }_q\ll {\tau }_{\mathrm{tr}}$ even the disorder criterion is stronger. The quantitative damping factors in Q2(c) show that these are crossover scales rather than sharp visibility boundaries. A large smooth $B^2$ magnetoresistance therefore does not itself demonstrate Landau level; it can exist while thermal smearing suppresses oscillations. Conversely, the asymptotic condition ${\omega }_c{\tau }_{\mathrm{tr}}\gg 1$ is stronger than merely reaching unity, so there is no universal ordering of the two experimental onset fields without temperatures and lifetime information.

Scaling function. The material's actual zero-field longitudinal electrical resistivity is ${\rho }_{\mathrm{tot}}(0)=1/(2{\sigma }_0)$. Dividing the exact answer by this value givesThe assumption that $n$ stays constant is essential to eliminating further temperature-dependent parameters. $B{\sigma }_0$ is a dimensionful scaling variable; $B{\sigma }_0/(ne)=\mu B$ is its dimensionless version. The corresponding fractional increase is $[\rho (B)-\rho (0)]/\rho (0)=(\mu B{)}^2$.

What the supplied data test. In the original PDF's left panel, the field dependence is strongly temperature dependent. In the right panel, plotting the fractional magnetoresistance against the squared rescaled field makes the displayed 125, 150, 175, 200 and 225 K curves collapse approximately onto one straight line, over the field intervals where they overlap. This supports the proposed one-parameter scaling and, on that range, the quadratic field law. The 100 K curve does not collapse: it bends away and has a different slope in the rescaled plot. The indicated scaling is therefore supported for the displayed 125–225 K data, not for the entire displayed temperature range. The graph alone does not locate a sharp transition between 100 and 125 K or establish behavior above 225 K.

This empirical collapse is Kohler's rule. It is consistent with a common temperature-dependent charge carrier mobility or relaxation scale and a fixed carrier population; it is not a unique proof of exact compensation or of one microscopic scattering mechanism. A change in relative scattering times, carrier population or Fermi-surface structure could spoil the collapse, and this figure alone does not select the cause of the 100 K departure.

There is a factor-of-two normalization convention in the printed text. The ${\sigma }_0$ introduced for each species gives ${\rho }_{\mathrm{tot}}(0)=1/(2{\sigma }_0)$, whereas the final paragraph calls $1/{\sigma }_0$ “${\rho }_0$.” If ${\rho }_0$ denotes the experimentally measured zero-field electrical resistivity, the consistent slope isIf one instead keeps the literal single-species definition ${\rho }_s=1/{\sigma }_0$, the same model has $[\rho (B)-{\rho }_s]/{\rho }_s=-1/2+[B/{\rho }_s{]}^2/(2n^2{e}^2)$. The choice rescales and offsets the axes by temperature-independent constants, so it does not change which temperature curves collapse, but it must be resolved before inferring a carrier density from the slope.

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.

To first order, invert $m_0^2=m^2[1+g/(8{\pi }^2ϵ)]$ and use $g={\lambda }_0{\mu }^{-ϵ}+O({\lambda }_0^2)$:The remainder is a perturbative statement at fixed regulator. When differentiating, hold the bare mass $m_0^2$ fixed as well as ${\lambda }_0$; otherwise the mass running would not be defined by a fixed bare theory. Since $\mu {\partial }_{\mu }{\mu }^{-ϵ}=-ϵ{\mu }^{-ϵ}$,Thus, with the source's extra factor of one half,The factor $-ϵ$ from the running dimensionless bare coupling cancels the counterterm pole. Differentiating as though $g$ were independent of $\mu$ would miss this finite result. Some conventions call $\mu d\log m^2/d\mu$ itself the mass anomalous dimension; that convention is twice the one defined here.

A phi-fourth theory interaction has mass dimension $4-D$, so its bare coefficient must contain a renormalization scale factor ${\mu }^{4-D}=({\mu }^2{)}^{2-D/2}$ when expressed through a dimensionless renormalized coupling. The tree-level four-leg interaction vertex is linear in that coupling. At the next order, two quartic vertices form the three one-loop bubble diagram graphs shown in c, with external pairings $12|34$, $13|24$ and $14|23$.

For each pairing there are two identical internal lines and Feynman-diagram symmetry factor 2. The loop integral has the large-momentum behaviourIt is logarithmically divergent in four dimensions. Dimensional regularization represents that local divergence by a simple pole proportional to $1/(D-4)$. Its residue is independent of external momenta, so a local quartic counterterm cancels it. The three graphs sum to one constant coefficient; this argument establishes its structure without requiring its value.

The relation consequently has the formThe sign of $C$ incorporates the chosen pole denominator and vertex convention. In particular, a negative $C$ here corresponds to a positive coefficient of $1/(4-D)$ in the bare coupling. Finite pieces depend on the renormalization scheme; a pure-pole relation is natural in minimal subtraction scheme. One-loop two-point tadpole diagrams contribute mass renormalization, but not the momentum-dependent field renormalization that could change this coupling relation at order $g^2$. The four-point object relevant here is the amputated one-particle-irreducible vertex; external-leg self-energy insertions are dealt with separately.

Define $E_{\mathbf{p}}=\sqrt{{\kappa }^2|\mathbf{p}{|}^4+m^2}$ and ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$. The Hermitian quantum field has the mode expansion of a free fieldwhere the annihilation operators and creation operators obey the bosonic canonical commutation relationsBecause $\pi =\dot{\varphi }$, its mode expansion of a free field isThe two nonzero cross commutators then giveand the equal-time field-field and momentum-momentum commutators vanish. This verifies the factor $1/\sqrt{2E_{\mathbf{p}}}$ without requiring Lorentz invariance.

Substitution into the Hamiltonian, followed by normal ordering, yieldsConsequently $[:H:,a_{\mathbf{p}}^{†}]=E_{\mathbf{p}}{a}_{\mathbf{p}}^{†}$: one application of a creation operator adds precisely the required quasiparticle energy. Before normal ordering there is the usual constant zero-point vacuum energy. If $m=0$, the exactly zero-momentum mode has $E_0=0$ and is a free canonical coordinate, not an oscillator with a normalizable oscillator vacuum state; in a finite box handle that mode separately or introduce a small positive mass. The formula applies directly to all modes with $E_{\mathbf{p}}>0$.

Use the Fourier transform convention $\varphi (x)=\int d^{4}p/(2\pi {)}^4{e}^{-ip\cdot x}\tilde{\varphi }(p)$, and similarly for $\Phi$. All four-momenta at an interaction vertex are incoming. The quadratic terms are diagonal, so the scalar propagators areThe field interaction terms are $\lambda \varphi {\Phi }^2/2$ and $g\Phi {\partial }_{\mu }\varphi {\partial }^{\mu }\varphi /2$. The two identical field slots cancel the factor $1/2$ at either cubic interaction vertex. Expanding $\exp (i{S}_{\mathrm{int}})$ therefore givesIn the second rule $p,q$ are specifically the two $\varphi$ four-momenta; there is no derivative acting on the $\Phi$ leg. Indeed the two derivatives give $(-i{p}_{\mu })(-i{q}^{\mu })=-p\cdot q$, fixing the minus sign. This is a mixed scalar derivative cubic vertex. For arbitrary off-shell legs one may equivalently write $-ig(k^2-p^2-q^2)/2$, but may not replace the squared four-momenta by squared masses unless those legs are on their mass shells.

Each interaction vertex also carries $(2\pi {)}^4{\delta }^{(4)}(\sum p)$ for momentum conservation. Integrate independent loop momenta with $d^{4}p/(2\pi {)}^4$ and divide by the Feynman-diagram symmetry factor. An amputated external scalar leg has factor 1. The Feynman i-epsilon prescription fixes the propagator poles. As a dimensional check in four spacetime dimensions, $[\varphi ]=[\Phi ]=1$, $[\lambda ]=1$ and $[g]=-1$ in mass dimensions; the two powers of momentum in the derivative rule restore mass dimension one for its cubic interaction vertex.

For a connected amputated Feynman diagram, write $L$ for the number of independent loop momenta. Each loop momentum integration scales as ${\lambda }^4$, each internal scalar propagator as ${\lambda }^{-2}$, and each internal Dirac propagator as ${\lambda }^{-1}$ when both four-momenta and mass are scaled. The Yukawa coupling has mass dimension zero. ThusCounting the two fermion ends and one scalar end at each interaction vertex, and using connectedness, givesConsequently $n_f=n_v$, $L=n_s+1$, andThe requested exponent requires amputation and removal of the overall momentum delta function. An ordinary unamputated connected Green function has an additional $n$ external scalar propagators, giving mass dimension $4-3n$ after stripping that delta function, or $-3n$ if it is retained. For a concrete check, the free two-point scalar propagator scales as ${\lambda }^{-2}$, not ${\lambda }^2$. The exponent $4-n$ is the engineering result for the amputated object. A fixed renormalization scale introduces logarithms; the displayed homogeneity is a naive power counting statement rather than an exact quantum scaling law at fixed subtraction scale.

More generally, with $E_s$ external scalar ends and $E_f$ external fermion ends, the same counting gives the superficial degree of divergenceThis is an upper bound on the overall ultraviolet divergence. Numerator cancellations and Lorentz invariance may lower it; an apparently convergent whole Feynman diagram can still have ultraviolet subdivergences. Local subtraction of those ultraviolet subdivergences is required first.

For pure scalar ends, $E_s=0,1,2,3,4$ can require counterterms. Lorentz invariance reduces the two-point terms to a mass counterterm and wave-function renormalization; derivatives of a single scalar field are total derivatives, and a one-derivative cubic scalar term cannot be a Lorentz scalar. With two external fermions, $E_s=0$ requires their kinetic term and mass counterterm, while $E_s=1$ requires Yukawa coupling renormalization. Four external fermions give $D=-2$, so no independent four-fermion counterterm is required.

A complete counterterm Lagrangian consistent with the species symmetry can therefore be writtenThe vacuum energy density term matters for an unnormalized vacuum functional and cancels from normalized Green functions. The tadpole counterterm can impose $⟨\varphi ⟩=0$. There is no $\varphi \mapsto -\varphi$ symmetry of the massive Yukawa interaction, so linear, cubic and quartic scalar terms cannot be excluded. For instance, in a constant background the divergent fermion loop contribution contains $(m+g\varphi {)}^4$, exhibiting all these powers. This is counterterm closure of a massive Yukawa theory.