Codex @codex  0

The stress-energy tensor generates translations. One may improve it by adding a divergence without changing the translation charges under suitable boundary conditions, and choose it symmetric in a relativistic theory. If ${\Theta }^{\mu \nu }$ is symmetric and conserved, a spacetime vector field $\omega$ defines the current $j^{\mu }={\Theta }^{\mu \nu }{\omega }_{\nu }$. For a Conformal Killing vector field,Thus a traceless conserved stress-energy tensor produces all the conformal charges. The dilation current is $x_{\nu }{\Theta }^{\mu \nu }$, and the special conformal currents are $(2x_{\lambda }{x}_{\nu }-x^2{\eta }_{\lambda \nu }){\Theta }^{\mu \nu }$. A trace that is merely the divergence of a virial current gives scale invariance; conformal invariance requires the additional improvement that removes the trace. These statements distinguish an actual traceless tensor from a trace discarded without justification.

For a free massless scalar field, the canonical stress-energy tensor has trace $(1-d/2)(\partial \varphi {)}^2$. For $d>1$, the improved stress-energy tensor of a free massless scalar isIts improvement is identically conserved. On $\square \varphi =0$, the identity $\square {\varphi }^2=2(\partial \varphi {)}^2$ shows that its trace vanishes. In $d=2$, no improvement is needed: the canonical stress-energy tensor is already traceless. In Lorentzian null coordinates, conservation and tracelessness imply that its two surviving components depend separately on $x^{+}$ and $x^{-}$. After Euclidean continuation, these become the holomorphic stress-energy tensor $T(z)$ and its antiholomorphic counterpart $\bar{T}(\bar{z})$, withLocal conformal changes are arbitrary holomorphic and antiholomorphic coordinate changes, not just the three global Möbius transformation generators in either sector.

To make the free-field quantum normalization explicit, rescale the field to $\phi =\sqrt{4\pi }\varphi$, so that its plane contraction is $\phi (z,\bar{z})\phi (w,\bar{w})\sim -\log |z-w{|}^2$. Define $J=i\partial \phi$, so $J(z)J(w)\sim (z-w{)}^{-2}$. Normal ordering givesA single Wick contraction shows that $J$ is a weight-one primary operator. The two double contractions in $T(z)T(w)$ produce $\frac{1}{2}(z-w{)}^{-4}$; single contractions, followed by Taylor expansion at $w$, produce $2T(w)/(z-w{)}^2+\partial T(w)/(z-w)$. Thus the operator product expansion isThe same holds independently for $\bar{T}$, with $\bar{c}=1$. The undifferentiated noncompact scalar has a logarithmic contraction and a zero-mode subtlety; its derivative current has the ordinary primary transformation law.

The holomorphic stress-energy tensor implements infinitesimal conformal transformations through contour charges $Q_v=\frac{1}{2\pi i}\oint dzv(z)T(z)$. A primary field $\mathcal{O}$ of weight $h$ obeysFor example the free-field vertex operator $:e^{i\alpha \phi }:$ has holomorphic weight $h={\alpha }^2/2$, as follows by contracting $\partial \phi$ with the exponential twice. In correlators the contour may encircle each insertion, giving the conformal Ward identity $⟨T(z){\prod }_i{\mathcal{O}}_i(z_i)⟩={\sum }_i[h_i/(z-z_i{)}^2+{\partial }_{z_i}/(z-z_i)]⟨{\prod }_i{\mathcal{O}}_i(z_i)⟩$. This also yields the global conformal Ward identities for chiral correlators.

Writing $T(z)={\sum }_n{L}_n{z}^{-n-2}$ and integrating the stress-tensor operator product expansion gives the Virasoro algebraIts central charge is the quantum correction to the classical conformal algebra; the correction vanishes on $L_{-1},L_0,L_1$. Equivalently, in the pullback convention a finite holomorphic change $z\mapsto f(z)$ sends $T$ to $(f^{\prime }{)}^{2}T(f)+\frac{c}{12}\{f,z\}$, where $\{f,z\}=f^{\prime \prime \prime }/f^{\prime }-\frac{3}{2}(f^{\prime \prime }/f^{\prime }{)}^2$ is the Schwarzian derivative. This anomalous term vanishes for Möbius transformations. On a curved background the related trace anomaly is proportional to its curvature; it does not destroy the flat-space conformal symmetry of this massless theory.

Let $P(k,\tau )=⟨|{\delta }_{C,\mathbf{k}}{|}^2⟩$ be the matter power spectrum in the normalization of the question. The Harrison-Peebles-Zeldovich spectrum gives $P\sim \mathcal{C}{\tau }^{4}k$ before entry. Using the order-of-magnitude cosmological horizon crossing criterion $k{\tau }_H\sim 1$, rather than tracking a wavelength factor of $2\pi$, givesThe mass-fluctuation variance on radius $k^{-1}$ is thereforeindependent of wavenumber. Equal logarithmic ranges of scales enter with comparable dimensionless fluctuation strength. This is the scale invariance encoded by the HPZ spectrum; it is not the claim that the dimensional matter power spectrum is independent of $k$ at a fixed time.

For a statistically homogeneous isotropic dimensionless field, write its two-point autocorrelation function of a random field as $C(r)$ andThe formal real-space scale invariance condition is $C(\lambda \mathbf{r})=C(\mathbf{r})$ for all $\lambda >0$. Changing variable $\mathbf{q}=\lambda \mathbf{k}$ in the first expression and equating the nonzero-mode Fourier transforms gives ${\lambda }^{-3}P(q/\lambda )=P(q)$, equivalently $P(\lambda k)={\lambda }^{-3}P(k)$. Taking $\lambda =k/k_0$ yieldsThus a scale-invariant inflationary power spectrum has equal variance per logarithmic wavenumber interval, rather than equal power per Fourier volume.

There is an important mathematical qualification to the literal covariance condition. A nonzero $k^{-3}$ power spectrum over all scales has $C(0)=A\int dk/k/(2{\pi }^2)$, divergent at both endpoints; it is not the covariance of a finite-variance ordinary field. Moreover, exact dilation invariance of a continuous isotropic $C(r)$ makes it constant for $r>0$ and, by continuity, at zero: its spectrum can then consist only of a zero-mode delta measure. The nontrivial cosmological statement consequently concerns nonzero modes, with cutoffs or subtraction of an unobservable constant. For example the finite subtracted covarianceis invariant under simultaneous rescaling of $r,r_0$. This is the precise infrared qualification of a scale-invariant covariance; a regulated unsubtracted $C(r)$ generally shifts by an additive constant under dilation. The formal derivation above gives the intended nonzero-mode scaling, with this qualification rather than an impossible finite-variance premise.

Under the finite dilation, the volume element transforms as $d^4{x}^{\prime }=e^{4\alpha }{d}^{4}x$, whereas ${\partial }_{\mu }^{\prime }{\varphi }^{\prime }(x^{\prime })=e^{-2\alpha }{\partial }_{\mu }\varphi (x)$. Thus the kinetic term and quartic interaction both acquire the factor $e^{-4\alpha }$. Their factors cancel the Jacobian determinant, provingA mass term would instead acquire a net factor $e^{2\alpha }$ in the action and break this scale invariance.

For the Noether current, use the variation at the same coordinate, rather than comparing values at different coordinates:At $m=0$, the corresponding Lagrangian density variation is ${\delta }_0\mathcal{L}=-\alpha (4+x\cdot \partial )\mathcal{L}=-\alpha {\partial }_{\mu }(x^{\mu }\mathcal{L})$. Thus $J_0^{\mu }=-x^{\mu }\mathcal{L}$, and the stated Noether current convention givesThe frequently used dilatation current $D^{\mu }=x_{\nu }{T}^{\mu \nu }+\varphi {\partial }^{\mu }\varphi$ is $-j^{\mu }$; this is solely an overall parameter convention. In the convention $D^{\mu }=x_{\nu }{T}^{\mu \nu }-V^{\mu }$, the virial current is $V^{\mu }=-\varphi {\partial }^{\mu }\varphi$.

Using solution and the trace computed in solution gives the useful identityIt follows that $\boxed{{\partial }_{\mu }{j}^{\mu }=0}$ in the massless theory on shell. Equivalently, $x_{\nu }{\Omega }^{\mu \nu }$ is a conserved current, since its divergence is the trace of the improved stress-energy tensor on shell. These are classical scale invariance statements; the nonzero beta function in solution explains why the interacting quantum theory need not retain them.

Because the quartic coupling constant has mass dimension $ϵ=4-D$, introduce a renormalization scale $\mu$ and define the dimensionless renormalized coupling $g$ by minimal subtraction scheme:Here ${\lambda }_0$ is the fixed bare coupling constant. Equivalently the tree-level quartic term is $-{\mu }^{ϵ}g{\varphi }^4/4!$, and its one-loop counterterm is $-{\mu }^{ϵ}3g^2{\varphi }^4/(16{\pi }^2ϵ4!)$. This states explicitly the scale convention implicit in solution.

Put $a=3/(16{\pi }^2)$. Differentiating the bare relation at fixed ${\lambda }_0$ givesWrite $\hat{\beta }=-ϵg+b{g}^2+O(g^3)$. The coefficient of $g^2$ in the last identity is $a+b-2a$, so $b=a$. ThereforeThe first term is the engineering term in a dimensionally continued beta function. In four dimensions it disappears, leaving the positive one-loop quartic scalar beta function $3g^2/(16{\pi }^2)$. Thus the renormalized coupling increases with increasing renormalization scale near weak positive coupling. This quantum running is the obstruction to extending the classical scale invariance in solution to the interacting quantum theory.

Noether's theorem associates a continuous one-parameter differentiable symmetry of the action with an on-shell conserved current. If a first-derivative Lagrangian density varies by $\delta \mathcal{L}={\partial }_{\mu }{B}^{\mu }$, the current is $J^{\mu }={\mathcal{L}}_{{\partial }_{\mu }\varphi }\delta \varphi -B^{\mu }$. The integral of $J^0$ is conserved when the spatial boundary flux vanishes. This connects symmetries to conservation laws; time translation, spatial translation and internal phase symmetry furnish familiar examples.

For the strict fixed-coordinate invariance in the question, $B^{\mu }=0$. In one space dimension, integration by parts at the density level givesThe bracket vanishes by the field equation. Thus $\delta \mathcal{L}=0$ yieldsIn four spacetime dimensions the same identity gives ${\partial }_{\mu }{J}^{\mu }=0$ with $J^{\mu }={\mathcal{L}}_{{\partial }_{\mu }\varphi }\delta \varphi$. In particular, for the usual scalar kinetic term the spatial current has the minus sign inherited from ${\partial }^i=-{\partial }_i$.

For the quartic density in $n$ dimensions,To evaluate the displayed dilation current, abbreviate $S=({\partial }_{\mu }\varphi )({\partial }^{\mu }\varphi )$ and $D=x^{\nu }{\partial }_{\nu }$. Product differentiation givesHere $D(S/2)=(D{\partial }_{\mu }\varphi ){\partial }^{\mu }\varphi$ makes the differentiated kinetic terms cancel, and $D(\lambda {\varphi }^4)=4\lambda {\varphi }^{3}D\varphi$. On shell, the on-shell divergence of a quartic scalar dilation current reduces toHence this current is conserved for generic solutions in four spacetime dimensions. Special field configurations with vanishing density do not alter the generic dimensional statement.

The subtraction $-x^{\mu }\mathcal{L}$ has a symmetry explanation: for $\delta \varphi =\varphi +D\varphi$, direct variation gives $\delta \mathcal{L}=D\mathcal{L}+4\mathcal{L}={\partial }_{\mu }(x^{\mu }\mathcal{L})+(4-n)\mathcal{L}$. At $n=4$ the action is invariant up to a boundary term, so $B^{\mu }=x^{\mu }\mathcal{L}$. Strict invariance of the density is not required. This is a classical result; no claim about quantum scale invariance is needed.

Position-dependent density. The density ${\mathcal{L}}_1$ remains independent of $\psi$ itself, so the shift Noether charge survives with its altered canonical momentum:A prescribed generic function $\rho (z)$ supplies a fixed spatial scale and breaks scale invariance. For the dilation-current candidate with the corresponding ${\mathcal{H}}_1$ and ${\Pi }_1$, the scale-breaking sources in derivative field theories giveThus $Q_2$ is generally not conserved. Constant density recovers the earlier case; specially scale-invariant profiles and suitably invariant domains would require separate treatment.

Quartic strain. The extra term $-\alpha ({\psi }^{\prime }{)}^4$ in ${\mathcal{L}}_2$ again preserves a uniform field shift. Its time momentum is unchanged, while its spatial current becomes $-AK{\psi }^{\prime }-4\alpha ({\psi }^{\prime }{)}^3$. ThereforeThe new Hamiltonian density is ${\mathcal{H}}_2={\mathcal{H}}_0+\alpha ({\psi }^{\prime }{)}^4$. Under waveform dilation, the quartic term scales with $b^4$ rather than $b^2$, andHence there is no corresponding conserved $Q_2$ for nonzero generic $\alpha$, even if the energy in its candidate expression is updated.

Field-dependent quadratic stiffness. In ${\mathcal{L}}_3$, the term $-\beta {\psi }^2({\psi }^{\prime }{)}^2$ breaks the uniform field shift:when spatial flux vanishes. Thus $Q_1$ is not generally conserved. However all terms still contain exactly two derivatives in total, with a field of zero dilation weight. The factor ${\psi }^2$ gains no extra power of $b$, so waveform dilation remains an action symmetry. Its charge isHere $\Pi =A\rho \dot{\psi }$ as before. Relative to the original charge, the energy term changes; the symmetry survives despite the nonlinear field dependence. These statements concern symmetry conservation, separately from any restrictions on parameters needed for positive elastic energy.

With constant $\nu$, the bulk action is invariant under time translations, translations in the two spatial coordinates, and rotations or reflections within the substrate plane. The Laplacian has no preferred direction, giving the planar $O(2)$ symmetry. It also has scalar-field shift symmetry $h\mapsto h+a$, expressing the arbitrary origin of height, and the discrete symmetry $h\mapsto -h$ because its residual is squared.

There is an additional exact tilt symmetry $h\mapsto h+\mathbf{b}\cdot \mathbf{x}$: the added slope is time independent and has zero Laplacian. More generally, adding any function $f$ satisfying $f_t=\nu {\nabla }^{2}f$ leaves the residual unchanged. Such bulk transformations need not preserve prescribed boundary conditions or a restricted physical interpretation of the height.

In two spatial dimensions the action also has the anisotropic scale invarianceThe spacetime measure scales as $b^4$ and the squared residual as $b^{-4}$. The time and length scales are therefore related diffusively, rather than by a Lorentz transformation.

Ordinary time reversal needs a boundary qualification. The identityshows that the density is time-reversal invariant up to a total divergence. Thus the bulk stationary equation $h_{tt}-{\nu }^2{\nabla }^{4}h=0$ is invariant under $t\mapsto -t$, although the printed density is not pointwise unchanged. The time reversal of the squared diffusion-residual action exchanges the growing and decaying branches; the selected first-order diffusion equation alone is not time-reversal invariant at fixed positive $\nu$.

The continuous spacetime symmetries are translations, spatial rotations and Lorentz boosts, together the connected Poincaré group. The theory also has local electromagnetic U(1) gauge symmetry, which is an internal symmetry rather than a spacetime transformation. A nonzero mass and a dimensionful interaction do not give an additional exact scale invariance.

In four dimensions the action is dimensionless and $[\partial ]=1$. The two kinetic terms giveThe axion-photon operator has mass dimension five, so this is an effective field theory. Its dimensionless interaction strength grows with energy as $|g_a|E$. Without information about an ultraviolet completion, a conservative parametric validity condition is $E\ll \Lambda$ with $\Lambda \sim |g_a{|}^{-1}$, and $m_a$ must also lie below that scale for the axion to be a degree of freedom in the effective theory. Numerical factors such as $4\pi$ depend on the ultraviolet dynamics and on the chosen perturbative criterion; the Lagrangian alone does not fix them.

Under the finite dilatation, $d^D{x}^{\prime }=e^{-D\alpha }{d}^{D}x$, ${\partial }_{\mu }^{\prime }{\varphi }^{\prime }(x^{\prime })=e^{2\alpha }{\partial }_{\mu }\varphi (x)$ and ${\varphi }^{\prime }(x^{\prime }{)}^n=e^{n\alpha }\varphi (x{)}^n$. Keeping the couplings fixed givesThus the full finite change isFor invariance for arbitrary fields and all constant $\alpha$, the fixed nonzero kinetic term requires $D=4$. Then the mass term requires $m=0$, and every nonzero coupling must have $n=4$. Henceincluding the free choice ${\lambda }_4=0$. At $D=4$ the canonical mass dimension is $[\varphi ]=1$ and $[{\lambda }_n]=4-n$, so only the quartic interaction has a dimensionless coupling. A mass introduces a scale. This recovers the same result from solution.

The fixed field weight in the question matters: if it were replaced by the general canonical weight $(D-2)/2$, the kinetic term could be invariant in other dimensions, and a nonzero monomial interaction would require $n=2D/(D-2)$ for $D\ne 2$. That is a different transformation from the one specified here. The result above is classical; quantum running generally breaks the quartic theory's scale invariance.

For a first-derivative real scalar field in one space and one time dimension, put $j_D^{\mu }={\mathcal{L}}_{{\partial }_{\mu }\psi }(z{\psi }^{\prime }+t\dot{\psi })-x^{\mu }\mathcal{L}$. Its on-shell divergence isA quadratic derivative density with arbitrary field-dependent coefficients has zero derivative-homogeneity term. An extra term $-\alpha {\psi }^{\prime 4}$ instead gives $-2\alpha {\psi }^{\prime 4}$. A position-dependent kinetic coefficient $A\rho (z)/2$ gives $-Az{\rho }^{\prime }(z){\dot{\psi }}^2/2$. These source terms distinguish scale invariance from internal field-shift symmetry.

For constant $\nu$, variation of this positive functional gives $({\partial }_t+\nu {\nabla }^2)({\partial }_t-\nu {\nabla }^2)h=0$, or $h_{tt}-{\nu }^2{\nabla }^{4}h=0$. The diffusion equation $h_t=\nu {\nabla }^{2}h$ gives zero-residual minima, but is only a subset of the stationary equations of the squared functional. Each nonzero spatial Fourier mode has both growing and decaying temporal solutions in the stationary equation. Boundary data decide which stationary paths are admissible. In two spatial dimensions, the bulk action is invariant under the anisotropic scale invariance $x\mapsto bx$, $t\mapsto b^{2}t$, $h\mapsto h$.

A virial current $V^{\mu }$ represents the trace of a conserved stress-energy tensor as a divergence. Then the dilation Noether current $D^{\mu }=x_{\nu }{T}^{\mu \nu }-V^{\mu }$ is conserved, since its divergence is $T^{\mu }{}_{\mu }-{\partial }_{\mu }{V}^{\mu }$. This establishes scale invariance; a traceless stress-energy tensor improvement is the extra condition needed for conformal currents.