For four-momentum $k$ flowing along the fermion flow, the momentum space Feynman rules areThe scalar propagator and Dirac propagator invert their respective quadratic kernels. The interaction vertex follows by expanding $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$, fixing its sign. Species is conserved along each open fermion line; there is no vertex changing species 1 into species 2.

An interaction vertex carries $(2\pi {)}^4{\delta }^{(4)}(\sum k)$ with inward four-momenta. Impose momentum conservation and integrate each independent loop momentum with $d^{4}k/(2\pi {)}^4$. Include the closed fermion loop sign $-1$ for every fermion loop, the relevant fermionic signs when rearranging external states, and the Feynman-diagram symmetry factor. External incoming and outgoing fermions carry $u_s(p)$ and ${\bar{u}}_s(p)$; incoming and outgoing antifermions carry ${\bar{v}}_s(p)$ and $v_s(p)$. An external real scalar field leg has factor 1 in an amputated scattering amplitude. The Feynman i-epsilon prescription specifies the poles.

A continuous Lorentz transformation in one spatial dimension must preserve $t^2-x^2$. In the component connected to the identity, take the image of the time axis to have velocity $v$, with $|v|<1$, and write $B_v(1,0{)}^{\mathsf{T}}=\gamma (1,v{)}^{\mathsf{T}}$. Preservation of the Minkowski norm gives ${\gamma }^2(1-v^2)=1$, so $\gamma =(1-v^2{)}^{-1/2}$. The spacelike column must be orthogonal to the timelike column and have squared Minkowski norm $-1$; continuity fixes it to $\gamma (v,1{)}^{\mathsf{T}}$. ThusHere $x=(t,x{)}^{\mathsf{T}}$ denotes the coordinate pair. This is the positive off-diagonal convention in the source; describing a passive frame moving at $+v$ instead reverses the sign of $v$.

Define the rapidity $\alpha =\mathrm{artanh}v$. The hyperbolic function identities giveIn light-cone coordinates, $t^{\prime }+x^{\prime }=e^{\alpha }(t+x)$ and $t^{\prime }-x^{\prime }=e^{-\alpha }(t-x)$. Therefore the derivatives transform oppositely:Use the field-transformation convention ${\psi }^{\prime }(x^{\prime })=S(\alpha )\psi (x)$. The component action in c is invariant underIndeed, the right-component kinetic term gains $e^{\alpha /2}{e}^{-\alpha }{e}^{\alpha /2}=1$, and the left-component kinetic term gains $e^{-\alpha /2}{e}^{\alpha }{e}^{-\alpha /2}=1$. The two factors in each Dirac mass term cancel as well. Finally $\det B=1$, so $d{t}^{\prime }d{x}^{\prime }=dtdx$ and the whole action is unchanged. These are the chiral boost weights in two spacetime dimensions.

In spinor notation, $S(\alpha )=\exp (\alpha {\gamma }^5/2)$ satisfies $S^{-1}{\gamma }^{\mu }S=B^{\mu }{}_{\nu }{\gamma }^{\nu }$ and $S^{†}{\gamma }^{0}S={\gamma }^0$, so ${\bar{\psi }}^{\prime }=\bar{\psi }{S}^{-1}$. These identities directly verify covariance of the Dirac equation and the Lorentz invariance of its action. The matrices $S$ are not unitary with respect to the ordinary component norm; the Dirac adjoint supplies the invariant bilinear.

The statement about there being only Lorentz boosts applies to the identity component of the One-dimensional Lorentz group. The full Lorentz group also has discrete transformations: the concrete spatial reflection $\mathrm{diag}(1,-1)$ preserves the Minkowski metric but has determinant $-1$, so it cannot equal any displayed $B(\alpha )$, whose determinant is $+1$.

Continue with $m=0$. Along a characteristic $x=x_0+t$, the chain rule givesThus the initial wave packet ${\psi }_R(0,x)=f(x)$ evolves as ${\psi }_R(t,x)=f(x-t)$. Similarly, along $x=x_0-t$, the left component is constant, givingA feature initially at $x_0$ therefore appears at $x_0+t$ for the right component and $x_0-t$ for the left component. The profiles translate without changing shape at the speed of light, which is 1 in these units. For positive-energy plane waves, the right component has $E=p>0$ and the left component has $E=-p>0$, another way to identify their propagation directions.

The conclusion concerns the massless Dirac equation. For $m\ne 0$, the components couple as in c, and a positive-energy packet has group velocity $p/\sqrt{p^2+m^2}$, rather than a universal speed $\pm 1$. For example, a massive positive-energy rest solution has $p=0$ and ${\psi }_R={\psi }_L$, so neither component alone describes an independently moving light-speed packet.

In the chirality basis of a, the two rows of the Dirac Hamiltonian equation giveThe Dirac mass term thus couples the two opposite chirality components. In particular, the Lagrangian density isFor $m=0$, the coupling disappears and the massless Dirac equation splits into the independent transport equationsThese are the two chiral transport equations in two spacetime dimensions. The chiral projectors are $P_R=(1+{\gamma }^5)/2$ and $P_L=(1-{\gamma }^5)/2$; in this basis they simply select the upper and lower components.

Variation of the action with respect to the independent Dirac adjoint gives $(i{\gamma }^0{\partial }_t+i{\gamma }^1{\partial }_x-m)\psi =0$. The gamma matrices chosen in a make the Dirac equationMultiplication by ${\gamma }^0$ gives the equivalent Dirac Hamiltonian formFor a plane wave $\psi =u{e}^{-iEt+ipx}$, where $p$ is the signed one-dimensional momentum, the equation isA nonzero spinor exists precisely when the determinant vanishes:For $m\ne 0$, one possible unnormalized spinor solution is $u=(E+p,m{)}^{\mathsf{T}}$. Alternatively, $(p{\sigma }_3+m{\sigma }_1{)}^2=(p^2+m^2)1$ follows from the Pauli matrix multiplication law, proving the same relativistic energy-momentum relation. Acting on the Dirac equation with $i{\gamma }^{\mu }{\partial }_{\mu }+m$ also shows that each component satisfies $({\partial }_t^2-{\partial }_x^2+m^2)\psi =0$, the Klein-Gordon equation.

With $\eta =\mathrm{diag}(1,-1)$, the Clifford algebra gives $({\gamma }^0{)}^2=1$, $({\gamma }^1{)}^2=-1$, and ${\gamma }^0{\gamma }^1=-{\gamma }^1{\gamma }^0$. Henceso $\{{\gamma }^5,{\gamma }^0\}=\{{\gamma }^5,{\gamma }^1\}=0$. Its square isChoose the following gamma matrices, expressed using the Pauli matrices:These satisfy $({\gamma }^0{)}^{†}={\gamma }^0$, $({\gamma }^1{)}^{†}=-{\gamma }^1$ and $({\gamma }^5{)}^{†}={\gamma }^5$. The chirality eigenvalues are therefore $\boxed{+1,-1}$, and we order the spinor as $\psi =({\psi }_R,{\psi }_L{)}^{\mathsf{T}}$ throughout. Its Dirac adjoint is $\bar{\psi }=({\psi }_L^{†},{\psi }_R^{†})$. No additional factor of $i$ multiplies ${\gamma }^0{\gamma }^1$ in this spacetime dimension. This realizes a Dirac field in two spacetime dimensions.

Let $p_1,p_2$ denote the incoming $\varphi ,\Phi$ four-momenta and $p_3,p_4$ the outgoing $\varphi ,\Phi$ four-momenta. Thus $p_1+p_2=p_3+p_4$, $p_1^2=p_3^2=m^2$ and $p_2^2=p_4^2=M^2$. Define the Mandelstam variables and exchanged four-momenta byThe leading connected four-point scattering amplitude uses two cubic interaction vertices. There are four tree-level Feynman diagrams: $s$ and $u$ exchange of $\Phi$ with two $\lambda$ vertices, and $s$ and $u$ exchange of $\varphi$ with two $g$ vertices.

There is no term proportional to $\lambda g$: one vertex of each kind has three field slots of each species altogether, whereas the external state uses two of each. This leaves one $\varphi$ and one $\Phi$ to contract internally, and their mixed scalar propagator is zero. There is also no $t$ channel: grouping both external $\varphi$ legs at one vertex would require a $g$ vertex with an internal $\Phi$, while grouping both external $\Phi$ legs at the other would require a $\lambda$ vertex with an internal $\varphi$.

Define $i\mathcal{M}$ after removing the overall momentum conservation delta function. The nonderivative exchange givesFor the derivative $s$ channel, the incoming $\varphi$ four-momenta at the first vertex are $p_1,-q_s$, and at the second they are $q_s,-p_3$. The two interaction vertices are therefore $ig{p}_1\cdot q_s$ and $ig{p}_3\cdot q_s$. The same reasoning with $q_u$ applies to the $u$ channel, givingThe mass shell conditions and momentum conservation implyCombining the four Feynman diagrams therefore yieldsEach displayed tree-level Feynman diagram has Feynman-diagram symmetry factor 1 for fixed external species and labels. The result is of order ${\lambda }^2,g^2$; if both couplings are scaled by a common parameter $\epsilon$, the next connected corrections begin at order ${\epsilon }^4$. A four-point cubic Feynman diagram has $3V=2I+4$, so its vertex count $V$ is even. The internal lines remain off shell throughout: imposing an on-shell relation on an exchanged four-momentum would incorrectly change the derivative vertices.

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.

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$.

For a Lagrangian density depending on $\varphi$, ${\partial }_t\varphi$, ${\partial }_i\varphi$ and ${\partial }_i{\partial }_j\varphi$, direct variation givesTake $\delta \varphi$ to have compact support, so every boundary term vanishes. One integration by parts for the first-derivative terms and two for the second-derivative term yield the Euler-Lagrange field equation with second derivativesThe plus sign on the last term is essential. For the action in a, it is particularly transparent to vary the Laplacian directly:Thus the classical equation of motion isHere ${\nabla }^4=({\nabla }^2{)}^2$ is the biharmonic operator. Substitution of the plane wave $\varphi =A{e}^{-i\omega t+i\mathbf{p}\cdot \mathbf{x}}$ givesA real classical solution combines complex-conjugate plane waves. Quantization assigns the positive branch to the excitation energy, giving the required dispersion relation. The negative-frequency branch supplies the creation operator part of the field, rather than negative excitation energy. Independently, the Hamiltonian in a gives $\dot{\varphi }=\pi$, $\dot{\pi }=-{\kappa }^2{\nabla }^4\varphi -m^2\varphi$, confirming the same sign.

A real scalar field suffices to describe one neutral species of bosonic quasiparticle. Let $\pi (\mathbf{x})$ be its canonical momentum. In three spatial dimensions, choose the positive classical HamiltonianThe same construction works in any number of spatial dimensions by replacing $d^{3}x$ appropriately. Under a spatial Fourier transform, ${\nabla }^2\varphi$ becomes $-|\mathbf{p}{|}^2\tilde{\varphi }$, so the Hamiltonian is a collection of independent quantum harmonic oscillators with squared angular frequency ${\omega }_{\mathbf{p}}^2={\kappa }^2|\mathbf{p}{|}^4+m^2$. The usual reality condition pairs opposite momenta; it does not introduce a second species.

The canonical action is $S=\int dt[\int d^{3}x\pi \dot{\varphi }-H]$. Varying $\pi$ gives $\pi =\dot{\varphi }$; eliminating it by the Legendre transform givesThis Lagrangian density is local: only the field and finitely many derivatives at the same point occur. It contains second spatial derivatives but only first time derivatives, so no extra canonical time data are needed. A square root of a differential operator in the classical Hamiltonian is unnecessary. The fourth-order spatial term breaks Lorentz invariance while preserving spatial rotations and translations. This is a free scalar field with quartic spatial dispersion.

Work in the symmetric vacuum and continue with the action-consistent kernel $C(u,v)=2D_F(u-v)$. Under global U(1) symmetry, a correlator with $r$ fields $\varphi$ and $4-r$ fields ${\varphi }^{\ast }$ picks up a phase $e^{i\alpha (2r-4)}$. Invariance for every $\alpha$ requires $r=2$. Consequently ten of the sixteen ordered field-type choices vanish, and the six placements with two fields of each type can be nonzero. This is the charge selection rule for complex scalar correlators, not an assertion about a symmetry-breaking vacuum with a nonzero one-point function.

Choose external fields $\varphi (x_1)\varphi (x_2){\varphi }^{\ast }(y_1){\varphi }^{\ast }(y_2)$. Its zeroth-order full correlator is $C(x_1,y_1)C(x_2,y_2)+C(x_1,y_2)C(x_2,y_1)$ and is disconnected; its connected part starts at order $\lambda$. DefineThe tree term has Feynman-diagram symmetry factor 1 and is $-i\lambda \int d^{D}zP(z)$.

At second order, a connected graph has two quartic vertices, two internal lines and one loop. The three bubble integrals areThe oriented complex-scalar quartic graph factors distinguish the channels. In $B_s$ the two internal lines have the same orientation and can be interchanged, giving symmetry factor $S_s=2$. In each mixed channel the two orientations are opposite; interchanging them is not an oriented graph automorphism, so $S_t=S_u=1$. Equality of the numerical scalar kernels $C(z,w)=C(w,z)$ does not erase the field-slot distinction used in counting contractions.

There are also four connected external-leg tadpole diagrams. They must be included because a connected correlation function is neither amputated nor restricted to one-particle-irreducible Feynman diagrams. Representative integrals, with the other two obtained by the indicated external permutations, areEach oriented external-leg graph has symmetry factor 1: a directed self-loop has no independent reversal symmetry. Altogether,These expressions retain every external propagator. The physical normalization is explicit: each $C$ is $2D_F$, not $D_F$. Equivalently set $\chi =\varphi /\sqrt{2}$; its quadratic action has unit mixed propagator and its interaction is $-\lambda |\chi {|}^4$, giving vertex $-4i\lambda$. Multiplying a four-$\chi$ correlator by four converts it to the four-$\varphi$ correlator, confirming the powers of two.

Completeness can also be seen without a picture. With two vertices and four external legs, $I=(8-4)/2=2$. Connectivity allows either two intervertex lines with a two-and-two external split, or one bridge and one self-loop with a one-and-three split. The charge assignments give exactly the three bubble attachments and four leg choices above. Direct labelled Wick contraction counting gives respectively $16,32,32,32,32,32,32$ contractions. Dividing by the expansion denominator $2!4^2=32$ reproduces $1/2,1,1,1,1,1,1$. Vacuum factors cancel, and there are no additional connected topologies at this order.

Let $C(u,v)=2D_F(u-v)$ be the action-consistent free propagator established in a. Write $S=S_0+S_I$ and putThe perturbative expansion isDivide numerator and denominator by the same free vacuum functional $Z_0$. For $\mathcal{O}=\Phi (y_1)\cdots \Phi (y_N)$, they becomeFor $\mathcal{O}=\varphi (y_1){\varphi }^{\ast }(y_2)$, abbreviate $C_{12}=C(y_1,y_2)$ and $C_{zz}=C(z,z)$. Since only opposite-charge fields contract, Wick's theorem givesandThe first multiplicity is $2!$ internal pairings. In the connected term, there are two choices for the vertex's ${\varphi }^{\ast }$ contracted to the external $\varphi$ and two for its $\varphi$ contracted to the external ${\varphi }^{\ast }$; the remaining pair forms a tadpole diagram. ThereforeExpanding the inverse denominator cancels the free-line times vacuum bubble term, leavingThe local quartic interaction vertex has factor $-i\lambda$, since $2!2!$ cancels its denominator 4. The oriented tadpole diagram has Feynman-diagram symmetry factor 1; the isolated two-loop vacuum vertex has factor $1/2$ in its coefficient. Coincident kernels and the integrals require a common regularization; none is being assigned a finite numerical value here.

More generally, vacuum bubbles exponentiate and factor from every numerator. Here global U(1) symmetry also makes all one-point functions zero. Thus a surviving graph with the two external insertions in separate connected components would have a component with one unbalanced charge and vanish. This proves that only connected graphs contribute to this particular two-point function to all perturbative orders. Vacuum normalization alone would not remove disconnected components containing external legs in a general four-point function. If one formally chooses a different free kernel, the displayed Wick multiplicities are unchanged; replacing $C$ by $C_{\mathrm{lit}}$ gives a formal oscillator series, not the Gaussian integral of the action as printed.

The displayed oscillator expansion and the displayed action require two separate corrections to describe one conventional positive-energy theory. First compute what the oscillator algebra literally implies. Assume the two oscillator species commute with each other and annihilate the vacuum. Same-charge contractions vanish, soFor the two mixed contractions the printed phases give the same kernel, with $z=x-y$:Thus $⟨T\varphi (x){\varphi }^{\ast }(y){⟩}_0=⟨T{\varphi }^{\ast }(x)\varphi (y){⟩}_0=C_{\mathrm{lit}}(z)$. In $D$ dimensions replace $d^{3}p$ and $d^{4}p$ by $d^{D-1}p$ and $d^{D}p$; the source's explicit three-dimensional spatial measure is the $D=4$ specialization. The covariant integral is manifestly Lorentz invariant. Withwe have $C_{\mathrm{lit}}(z)=D_F(z{)}^{\ast }$. This reversed-frequency scalar contraction has the opposite pole prescription to the usual positive-energy Feynman propagator. For a single zero-momentum mode at positive time separation, the printed contraction is $e^{+imt}/(2m)$, while $D_F$ is $e^{-imt}/(2m)$: this is a concrete phase counterexample, rather than an immaterial change of integration variable.

There is also a normalization of a complex scalar propagator conflict independent of those phases. The displayed Lagrangian density gives the canonical momentum ${\pi }_{\varphi }={\dot{\varphi }}^{\ast }/2$. Substituting the printed modes yieldsinstead of the canonical $+i{\delta }^{(3)}$. Reversing the mode phases repairs the sign but leaves $+i{\delta }^{(3)}/2$, so it does not repair the normalization. The complex scalar field convention with unit mixed propagator normally has no $1/2$ in its quadratic action.^[ref]

To retain the actual action in the paper, use $\varphi ={\varphi }_1+i{\varphi }_2$ with canonically normalized real components, or equivalently replace its mode expansion byThe corresponding path integral with the usual Feynman i-epsilon prescription haswith the two same-charge propagators still zero. This action-consistent kernel is used in b and c. Keeping conventional unit modes instead would require removing the quadratic factors $1/2$ from the action as well as reversing the phases. Those are distinct theories unless the field and its coupling are rescaled together.

For a fixed point $g^{\ast }$ with $\beta (g^{\ast })=0$, put $g=g^{\ast }+h$. To first order in the displacement,Hence ${\beta }^{\prime }(g^{\ast })<0$ means ultraviolet attraction, since $h\to 0$ as $\mu \to \infty$; ${\beta }^{\prime }(g^{\ast })>0$ means infrared attraction, since $h\to 0$ as $\mu \to 0$. If the derivative vanishes, the linear test is inconclusive and higher terms determine the direction of flow.

For $\delta =4-D>0$ and $b=3/(16{\pi }^2)$, the retained beta function is $-\delta g+b{g}^2$. Its two zeros and slopes areThus the positive interacting Wilson-Fisher fixed point isand is infrared attractive in the coupling direction. Couplings between zero and $g^{\ast }$ increase towards $g^{\ast }$ when the scale decreases; those just above $g^{\ast }$ decrease towards it. The Gaussian fixed point $g=0$ is ultraviolet attractive for $D<4$.