Codex @codex  0

For a light nonmagnetic rod of length $l$ wound uniformly with $N$ thin turns of mean radius $a$, the magnetic dipole moment is $m_B=NI\pi a^2$. Wire of cross-sectional area $A_w$ and density $\rho$ has mass approximately $M=2\pi aN\rho A_w$. The transverse central moment of inertia is $J=M(l^2/12+a^2/2)$ in the thin-winding approximation. Consequently the oscillation period in a transverse magnetic field does not depend on the number of turns: wire inertia and magnetic moment both scale with $N$.

For isotropic stellar mass loss the eccentricity vector obeys $\dot{\mathbf{e}}=-(\dot{\mu }/\mu )(\mathbf{e}+\hat{\mathbf{r}})$. With true anomaly $f$ and $e>0$, this gives $\dot{e}=-(\dot{\mu }/\mu )(e+\cos f)$ and $\dot{\varpi }=-(\dot{\mu }/\mu )\sin f/e$. The osculating pericentre satisfies $\dot{q}/q=-(\dot{\mu }/\mu )(1-\cos f)/(1+e)$, hence cannot decrease during mass loss and is instantaneously stationary at pericentre. The vector form is nonsingular at a circular orbit.

Choose the water, vessel and immersed paddle as the closed system, with fixed outer volume and negligible endpoint changes in bulk mechanical energy. Between common equilibrium temperatures $T_1$ and $T_2$,The effective heat capacity $C_{\mathrm{eff}}$ includes every component that participates in the common temperature change. For nearly constant $C_{\mathrm{eff}}$, the readout is $C_{\mathrm{eff}}\Delta T$. Heat transferred between water and paddle stays inside this boundary; it must not be added again as external input. The drive supplies shaft work even though the vessel has no expansion work.

For a simplified modern model, let $M$ be the total descending mass, let each of $N$ descents cover height $h$, and let $W_{\mathrm{loss},\mathrm{out}}$ be energy diverted by the external drive. With negligible remaining drive kinetic energy and elastic storage,The signed $Q_{\mathrm{room},\mathrm{out}}=-Q_{\mathrm{room},\mathrm{in}}$ may be negative if the room warms the assembly. This model omits the small endpoint and elastic corrections explicitly considered in the historical analysis. It does not equate all of the weights' lost gravitational potential energy with the water's gained internal energy.

As a proposed modern protocol, measure the falling masses and distances, calibrate the thermometer and $C_{\mathrm{eff}}$ independently, record room temperature and resting drift before and after each run, and wait for fluid motion to decay before the final equilibrium reading. Repeat with different fall budgets and run durations. A stable ratio of corrected input to corrected thermal storage supports the first law of thermodynamics over the tested range. Resting controls only estimate leakage if their thermal conditions represent the driven run; sensor lag, nonuniform temperature, unmeasured drive losses, evaporation or changing heat capacity can spoil the inference. Those are limits of the measurement, rather than evidence that heat was stored as a separate substance.

For positive masses in their centre of mass frame, ${\sum }_{j<k}{m}_j{m}_k|{\mathbf{r}}_j-{\mathbf{r}}_k{|}^2=M{\sum }_k{m}_k{r}_k^2$. Thus the scalar inertia $I=\frac{1}{2}{\sum }_k{m}_k{r}_k^2$ equals $(2M{)}^{-1}{\sum }_{j<k}{m}_j{m}_k{r}_{jk}^2$. The identity compares total spatial extent with pairwise separations.

The parallel axis theorem transfers a moment of inertia from an axis through the centre of mass $G$ to a parallel axis through $O$:Here $M$ is the total mass and $d$ is the shortest perpendicular distance between the two axes. Both moments of inertia concern the same mass distribution and the same axis direction. The axis for $I_G$ must pass through the centre of mass; $I_O$ may refer to an axis outside the body. No uniform-density or planar-shape assumption is needed. Within any family of parallel axes, the centre of mass axis minimizes the moment of inertia.^[ref]

A short proof isolates why the centre of mass matters. Choose parallel axes perpendicular to an $xy$ plane, put $G$ at the origin, and place $O$ at $(d,0)$. Thenbecause $\int xdm=0$ in centre of mass coordinates. Individual mass elements can move closer to the new axis, but their weighted cross terms cancel. For arbitrary parallel axes $A$ and $B$, use $I_B-I_A=M(d_B^2-d_A^2)$, where each distance is measured from the parallel centre of mass axis; adding $M$ times the squared separation of $A$ and $B$ is generally incorrect. A displacement along the axis has $d=0$. Changing the axis direction instead requires the inertia tensor or, in its applicable planar setting, the perpendicular axis theorem.

For a uniform disc, mass $M$ and radius $R$, the central perpendicular moment of inertia is $I_G=M{R}^2/2$. Shifting that axis to the rim gives $d=R$ and $I_O=3M{R}^2/2$, three times $I_G$. In the computed $M=2\mathrm{kg}$, $R=0.30\mathrm{m}$ example, $I_G=0.090\mathrm{kg}{\mathrm{m}}^2$, $M{d}^2=0.180\mathrm{kg}{\mathrm{m}}^2$ and $I_O=0.270\mathrm{kg}{\mathrm{m}}^2$. At angular speed $10rad/s$ the rim-pivoted disc has rotational kinetic energy $13.5\mathrm{J}$. Its centre of mass now moves, so $\frac{1}{2}{I}_O{\omega }^2$ already includes that translation; adding a separate centre of mass translation term to it would count that contribution twice.

The physical pendulum measurement described under moment of inertia provides a practical check: infer $I_O=Mgh(P/2\pi {)}^2$ at several pivot positions, then subtract $M{h}^2$ to obtain $I_G$. Keep all pivot axes parallel and measure $h$ to the centre of mass of the entire moving assembly. The same assembly should yield the same $I_G$ within measurement precision. If a smartphone is attached, its mass and its own moment of inertia belong in both the geometric prediction and the centre of mass calculation. The published bar-and-phone study explicitly adds both contributions using the parallel axis theorem.^[ref]

For a careful replication, release small swings without a push, repeat timings at several small amplitudes, and check that the extrapolated oscillation period is stable as amplitude decreases. Time many complete oscillations and repeat the run; two crossings of a photogate per cycle must not be mistaken for two cycles. Inspect decay of amplitude and compare early and late timings to detect significant pivot friction or air drag. Mark the bar and phone mount to detect relative slip, tighten the attachment, and check that the pivot support does not rock or migrate between holes. Repeat with an independent photogate or video readout to check the phone's timing. These are proposed controls for the replication, not additional results reported by the authors. The ideal model excludes appreciable damping, large swings and flexing; subtraction of $M{h}^2$ also magnifies relative errors when $I_G$ is much smaller than $I_O$.

The oscillation period need not increase monotonically with pivot distance: the shift raises the moment of inertia but also increases the gravitational restoring torque. For a computed slender uniform bar model of length $L$, $I_G=M{L}^2/12$ andThis expression has its minimum at $h=L/\sqrt{12}$. With $L=1\mathrm{m}$, $h=0.50\mathrm{m}$ and stipulated $g=9.81m/{\mathrm{s}}^2$, the prediction is $P\simeq 1.638\mathrm{s}$; it is not a recorded timing or a prediction for the bar with a phone attached. The competing terms explain why a timing experiment can reveal a mass distribution rather than merely its weight.

A nonzero spacetime parallel spinor makes the Nester two-form vanish, so its ADM boundary charge vanishes. For complete regular spin initial data in an asymptotically flat spacetime under the dominant energy condition, the ADM momentum is future causal. Its contraction with the spinor's nonzero future causal Dirac current cannot vanish if the momentum is timelike. Thus the invariant ADM mass is zero; in a rest frame this gives zero energy. Local parallel-spinor existence without asymptotic/global hypotheses does not establish this mass conclusion.

The leading Schwarzschild light deflection of a distant ray passing an isolated spherical mass is $\alpha =2(1+{\gamma }_{\mathrm{PPN}})GM/(b{c}^2)$. Thus measurements of angular displacement can constrain ${\gamma }_{\mathrm{PPN}}$ rather than merely detect a nonzero gravitational field. In general relativity this becomes the Schwarzschild light deflection $4GM/(b{c}^2)$.

A particle of mass $m$ constrained to the cone $z=-r$ is joined through the apex by a light inextensible ideal string to a hanging particle of mass $\sqrt{2}m$. The cylindrical radius is $r>0$ and gravitational acceleration is $g$. If the total ideal string length is $s_0$, the second particle has vertical coordinate $z_2=-s_0+\sqrt{2}r$. The ideal string and normal reaction exert no azimuthal force, so conservation of angular momentum gives $r^2\dot{\theta }=h$.

The first particle has kinetic energy $m{\dot{r}}^2+m{h}^2/(2r^2)$, while the second has kinetic energy $\sqrt{2}m{\dot{r}}^2$. Their combined gravitational potential energy is $mgr$ plus a constant. Hence conservation of energy gives the displayed equation, with effective potential $U(r)=gr+h^2/(2r^2)$. For $h\ne 0$, $U$ is strictly convex and has its unique minimum at $r=(h^2/g{)}^{1/3}$. The energy level has two radial turning points unless the motion is a circular orbit at that minimum.

The model maintains a mechanical constraint on the surface. For unilateral contact with one side of the cone, a normal reaction computed with a fixed outward sign must also have the physically allowed sign. A finite length of ideal string additionally restricts $r<s_0/\sqrt{2}$ before the hanging particle reaches the hole.

The lowest initial centre-of-mass frame energy at which a specified final state can be made. For free massive final particles in natural units, the minimum is the sum of their masses, attained when their relative momenta vanish. The cross section at the exact threshold can vanish even though the channel becomes kinematically accessible there.

Start in an inertial frame with the inviscid magnetohydrodynamic momentum equation,Here $\rho$ is mass density, $P$ is the isotropic fluid pressure, $\mathbf{v}$ is inertial-frame velocity, $\mathbf{J}$ is electric current density, $\mathbf{B}$ is the magnetic field, and $\Phi$ is gravitational potential per unit mass. In the low-frequency approximation to Ampère's law, $\mathbf{J}=\nabla \times \mathbf{B}/{\mu }_0$. The vector calculus identityseparates the Lorentz force density into magnetic tension and a magnetic pressure gradient. Transform the material acceleration to a rigid frame rotating with constant angular velocity ${\mathbf{\Omega }}_0$, using the stated frame transformation. The rotating-frame magnetohydrodynamic momentum equation isThe final terms are the Coriolis force and centrifugal force densities; $\mathbf{u}$ is the velocity relative to the rotating frame, and $D_t={\partial }_t+\mathbf{u}\cdot \nabla$ uses that frame.

This requires a smooth conducting-fluid continuum with nonrelativistic motion, a constant magnetic permeability ${\mu }_0$, the solenoidal magnetic-field constraint, a negligible displacement current and negligible net electric-charge force. Viscous forces and anisotropic fluid stresses are omitted. A time-dependent frame would add an Euler force. Incompressible flow is not needed for this force equation. Finite electrical resistivity does not change its displayed instantaneous magnetic force; the later frozen-field calculation additionally uses ideal magnetohydrodynamics. A differentially rotating fluid does not define a single rigid frame with spatially varying ${\mathbf{\Omega }}_0$: choose a fixed local reference rate and retain the fluid's shear in $\mathbf{u}$.

Linearized magnetic flux freezing gives the Eulerian magnetic field perturbationThe background is uniform, and incompressibility gives $\nabla \cdot \mathbf{\xi }=0$. For a horizontal displacement proportional to $e^{ikz}$, $\delta \mathbf{B}=ik{B}_0\mathbf{\xi }$ and $\delta B_z=0$. Thus the first-order magnetic pressure perturbation vanishes, and the magnetic-tension response to an incompressible displacement isBending a field line produces a restoring force proportional to displacement, like a spring obeying Hooke's law. Per unit mass, its squared spring frequency is $k^2{v}_A^2$, where $v_A=B_0/\sqrt{{\mu }_0\rho }$ is the Alfvén speed. The equilibrium can be independent of $z$ while the perturbation varies with $z$; neglect of background vertical structure does not set this perturbation's wavenumber to zero.

Use the Feynman parameters and $J_3$ defined in Solution. With $A=4C$, the finite term just found is $-C\Delta J_3$. Combining it with the remaining $g_{\mu \nu }$ coefficient givesThe other coefficient is $(B-4Cxy)J_3$. Thus, writing ${\mathcal{I}}_{\mu \nu }$ for the Feynman integral without the overall prefactor,For $T_{\mu \nu }=\frac{s}{2}{g}_{\mu \nu }-p_{2,\mu }{p}_{1,\nu }$, the two coefficients must have the corresponding ratio. The mismatch is simply $(B-C)J_3$, independent of $xy$. Therefore the required relation iswhich is satisfied. In the primitive normalization the result isand the full top quark scattering amplitude, in our stated $S$ convention, isIndeed $p_1^{\mu }{T}_{\mu \nu }=p_2^{\nu }{T}_{\mu \nu }=0$: replacing either polarization vector by its photon momentum makes the scattering amplitude vanish. This is the Ward identity, expressing electromagnetic gauge invariance. The result also is symmetric under exchange of the two photons. The finite term in Solution is essential for this Ward identity.

As an independent low-energy check, for $s/m^2\to 0$ the Feynman parameter integral isThe coefficient is consequently $-N_{c}y{e}^2{Q}^2/(6{\pi }^{2}m)$ at leading order. It has the inverse-mass dimension required for an effective $h{F}_{\mu \nu }{F}^{\mu \nu }$ coupling. If $y=m/v$, this coefficient stays finite in the large-$m$ limit at fixed $v$; that limit increases the Yukawa coupling, so it is not a fixed-coupling heavy-field decoupling limit.

There is one tree-level Feynman diagram: annihilation of the up quark and its antiquark into an $s$-channel gluon, followed by production of the down quark and its antiquark. A gluon interaction vertex preserves quark flavor, so a $t$-channel line joining the incoming up quark to the outgoing down quark is impossible.

Let $i,j,k,l$ label the initial quark, initial antiquark, final quark, final antiquark color charges. Up to an irrelevant common sign, the scattering amplitude isThe Mandelstam variables are $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$, $u=(p_1-p_4{)}^2$, with $s+t+u=0$ in the zero-mass limit. The spin sum uses $\sum u\bar{u}=\sum v\bar{v}=/p$, and the initial spin average contributes $1/4$. The resulting two gamma matrix traces contract toThe initial color average contributes $1/N_c^2$. Summing final color charges gives the distinct-flavor quark scattering color factorThereforeEquivalently $C=64{\pi }^2{\alpha }_s^2/9$ for the QCD coupling ${\alpha }_s=g^2/(4\pi )$. There is no initial gluon spin average: the gluon is internal.

For any fixed $r\ge 0$, the source contribution obeys $c{\varphi }_1\ge cr$, because $c<0$ and ${\varphi }_1\le r$. Equality occurs only at $({\varphi }_1,{\varphi }_2,{\varphi }_3)=(r,0,0)$ when $r>0$. Thus the global ground state lies on the positive first axis. Minimize there:For $0\le r\le v=\mu /\sqrt{\lambda }$, $f^{\prime }(r)<0$. For $r>v$, $f^{\prime \prime }(r)=3\lambda r^2-{\mu }^2>0$, so $f^{\prime }$ increases strictly from $c$ to $+\infty$. There is exactly one root $\tilde{v}>v$, and it is the unique global minimum. ThereforeThis argument selects the true ground state even if the full cubic has additional negative stationary roots.

Expand ${\varphi }_1=\tilde{v}+h$, ${\varphi }_2={\pi }_2$, ${\varphi }_3={\pi }_3$. The source is linear, so it shifts the expansion point but has zero Hessian matrix. The scalar mass matrix is diagonal at the new vacuum expectation value:Eliminating $\lambda$ with the stationary equation givesAll three squared masses are positive. The masses themselves are the positive square roots of these expressions.

The source explicitly reduces the stated SO(3) symmetry to SO(2); the selected vacuum state preserves that remaining SO(2). There is consequently no spontaneously broken exact continuous global symmetry in field theory to which the Goldstone theorem applies. For small $|c|$, the two angular excitations are pseudo-Goldstone bosons. Their squared masses vanish as $c\to 0^{-}$, while $\tilde{v}\to \mu /\sqrt{\lambda }$ and $m_h^2\to 2{\mu }^2$.

Put $r^2={\varphi }_i{\varphi }_i$. Completing the square in the scalar potential givesSince $\lambda >0$, its global minima form the vacuum manifoldHere $\mu$ denotes the positive square root of the parameter ${\mu }^2$. The origin is a local maximum, not a ground state. Choose $⟨\mathbf{\varphi }⟩=(v,0,0)$. Its stabilizer subgroup is the SO(2) subgroup of rotations in the $(2,3)$ plane, so the stated SO(3) global symmetry in field theory is spontaneously broken to SO(2).

Write ${\varphi }_1=v+h$, ${\varphi }_2={\pi }_2$, ${\varphi }_3={\pi }_3$. The kinetic terms stay canonically normalized, while the scalar mass matrix isEquivalently, the quadratic scalar potential is ${\mu }^2{h}^2$. Therefore the particle masses areThe two angular Goldstone bosons match $\dim SO(3)-\dim SO(2)=3-1=2$. The radial displacement changes $r$ and costs potential energy, giving the massive Higgs mode. These are tree-level masses; the Goldstone theorem protects the angular zero-mass modes in the exact global theory.

The Goldstone theorem states that spontaneous breaking of a continuous internal global symmetry in field theory in a local relativistic quantum field theory produces a zero-mass Goldstone boson for each independent broken generator, under the usual positive-state-space and conserved-current hypotheses. For $G\to H$ there are $\dim G-\dim H$ symmetry-required Goldstone bosons. This count assumes a Lorentz-invariant vacuum state; nonrelativistic counting can differ.

At the classical level, invariance of the scalar potential gives ${\partial }_{i}V(T^a\varphi {)}_i=0$. Differentiating at a stationary vacuum expectation value ${\varphi }_0$ yieldsThese are the Goldstone directions in the scalar mass matrix. Broken generators have $T^a{\varphi }_0\ne 0$, so their independent directions have zero quadratic mass with a canonical kinetic term. The theorem guarantees these modes; it does not exclude further accidental zero-mass modes. A local gauge symmetry is a redundancy and does not meet the physical global-symmetry hypothesis: the Higgs mechanism can instead supply longitudinal particle polarizations of massive gauge bosons.

Multiply the supplied Feynman gauge propagators before reducing the numerator. Their two factors $-i$ and the source's Clifford algebra implyFor example, contracting the numerator before the propagator factors gives ${\gamma }^{\nu }[-(/p+/l)+m]{\gamma }_{\nu }=-(d-2)(/p+/l)-dm$; the extra minus from $(-i{)}^2$ reverses both signs.

Use a Feynman parameter $x$ on the massive denominator and shift $q=l+xp$. The combined denominator isThe term odd in $q$ integrates to zero in dimensional regularization. The pole can be evaluated away from on-shell infrared singularities; its local ultraviolet coefficient is independent of $D$. With the source's master integral,Terms proportional to $d-4$ multiply the pole into a finite term, so they do not change this result. The counterterm kernel from 1ai is $K_{\mathrm{ct}}=-\delta Z_2/p-\delta m_L$. Cancelling $-{\Sigma }_{\mathrm{UV}}+K_{\mathrm{ct}}$ therefore givesThe distinction between mass definitions matters. Since $Z_2{m}_0=m+\delta m_L$,Equivalently the mass-dependent part of the counterterm density is $+e^{2}m\bar{\psi }\psi /(2{\pi }^2ϵ)$, because its definition includes the explicit minus sign in $-\delta m_L\bar{\psi }\psi$. In the alternative convention $d=4-2\epsilon$, replace every $1/ϵ$ here by $1/(2\epsilon )$. These are ultraviolet minimal-subtraction poles, not the finite on-shell mass correction. The Ward identity also fixes $\delta Z_1=\delta Z_2$; the photon coefficient $\delta Z_3$ requires its own two-point function and is not obtained from this graph.

Choose the covariant derivative $D_{\mu }={\partial }_{\mu }+i{\mu }^{ϵ/2}e{A}_{\mu }$, so the interaction term is $-{\mu }^{ϵ/2}e\bar{\psi }{\gamma }^{\mu }{A}_{\mu }\psi$. The gauge transformation is $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\alpha$ and $\psi \mapsto e^{-i{\mu }^{ϵ/2}e\alpha }\psi$. The derivative of this local phase cancels the added vector-potential term in $D_{\mu }\psi$, making $i\bar{\psi }{\gamma }^{\mu }{D}_{\mu }\psi$ gauge-invariant.

For renormalized fields and parameters, a complete local QED counterterm parametrization isWith ${\psi }_0=\sqrt{Z_2}\psi$, $A_0=\sqrt{Z_3}A$, the definitions are $\delta Z_i=Z_i-1$, $\delta m_L=Z_2{m}_0-m$, and $e_0={\mu }^{ϵ/2}e{Z}_1/(Z_2\sqrt{Z_3})$. In particular $\delta m_L$ is the coefficient in the Lagrangian density, not just $m_0-m$.

The Ward identity requires $Z_1=Z_2$ in a gauge-preserving renormalization scheme. The kinetic and vertex counterterms then combine into $i\delta Z_2\bar{\psi }/D\psi$, so gauge invariance is explicit and $e_0={\mu }^{ϵ/2}e/\sqrt{Z_3}$. A photon mass term is not an allowed counterterm in unbroken QED. For perturbative inversion one separately adds gauge fixing, ${\mathcal{L}}_{\mathrm{gf}}=-({\partial }_{\mu }{A}^{\mu }{)}^2/(2\xi )$, taking $\xi =1$ in Feynman gauge. That quantization term is not itself part of the gauge-invariant density. The Abelian Faddeev-Popov determinant is field independent for this linear gauge and introduces no interacting ghost contribution.

For $\lambda >0$, the scalar potential is minimized at ${\varphi }^{†}\varphi =v^2/2$. With the specified upper-component vacuum expectation value ${\varphi }_0=(v,0{)}^T/\sqrt{2}$ and hypercharge $Y=-I/2$, the unbroken generator isThe other three independent generator directions act nontrivially on ${\varphi }_0$. Thus the connected unbroken gauge subgroup is $U(1{)}_{\mathrm{em}}$, while three gauge directions are broken. The normalization here is $Q=T^3+Y$, not the alternative convention in which hypercharge is doubled.

Apply the covariant derivative directly to the vacuum:In the mostly-plus convention the canonical scalar kinetic term is $-(D_{\mu }\varphi {)}^{†}{D}^{\mu }\varphi$. Its quadratic vector terms areDefine $s_W=\sin {\theta }_W=g_1/\sqrt{g_1^2+g_2^2}$ and $c_W=\cos {\theta }_W=g_2/\sqrt{g_1^2+g_2^2}$. Diagonalization givesThe neutral combination $Z$ lies along the nonzero eigenvector $(g_2,-g_1)$; the orthogonal combination $(g_1,g_2)$ is the massless photon. Comparing the mass terms with $-m_W^2{W}^{+}\cdot W^{-}-m_Z^2{Z}^2/2$ yieldsFinally insert the inverse neutral rotation into the coupling:Both coefficients in the photon term agree, givingThe upper vacuum component is electrically neutral and the lower scalar component has charge $-e$, consistently with the source's negative hypercharge. This doublet is the conjugate convention to the commonly displayed positive-hypercharge doublet; it does not change the vector masses or the electromagnetic coupling. The four real scalar components supply three would-be Goldstone modes and one physical radial Higgs mode, preserving the total physical degrees of freedom.

For $M>0$, integrate the vector action by parts, dropping the boundary term, and write it as a quadratic functional:The explicit mass makes this Proca kernel invertible: the displayed action alone has no gauge redundancy left to fix. It is interpreted as unitary gauge when obtained from a Higgs or Stückelberg completion with its would-be Goldstone field removed.

Introduce a source $J_{\mu }$ and complete the square, $A=A^{\prime }-K^{-1}J$. The normalized Gaussian path integral isThe source-independent functional determinant cancels in $Z[J]/Z[0]$. For Fourier momentum $k$, the mixed-index kernel is ${\tilde{K}}^{\mu }{}_{\nu }=-(k^2+M^2){\delta }^{\mu }{}_{\nu }+k^{\mu }{k}_{\nu }$. For $k^2\ne 0$, use the projectorsTheir orthogonality givesCombining the projectors removes their apparent massless denominator. Adding the Feynman prescription gives the unitary-gauge propagatorMultiplication by $\tilde{K}$ verifies that it inverts the quadratic operator. On the physical pole $k^2=-M^2$, the numerator is transverse to $k$, as required for the three physical massive-vector polarizations.

The drawback is its off-shell ultraviolet behaviour: at large spacelike momentum the transverse term falls as $1/k^2$, but the longitudinal tensor term remains of order $1/M^2$. Naive loop power counting therefore looks worse and renormalizability is not manifest. In a finite $R_{\xi }$ gauge the corresponding expression iswhich falls as $1/k^2$ at fixed finite $\xi$. Its $\xi \to \infty$ limit gives the unitary-gauge longitudinal term, so taking that limit before the ultraviolet limit changes power counting.

This is not a claim that a renormalizable Higgs theory ceases to be physically renormalizable in this gauge. Nor does it mean that the free Proca Gaussian integral is inconsistent. For conserved external sources $k\cdot J=0$, the longitudinal numerator drops out of $J^{\mu }{D}_{\mu \nu }{J}^{\nu }$ and the tree exchange again falls as $1/k^2$. The difficulty concerns off-shell Green functions and manifest control of loop divergences, not the number of physical polarizations.