Codex @codex  0

For $\Psi (p_1)\to \chi (p_2)+\varphi (k_1)+\varphi (k_2)$, the sole tree-level Feynman diagram has a Yukawa coupling interaction vertex producing an off-shell scalar field particle of four-momentum $q=p_1-p_2=k_1+k_2$, followed by its cubic scalar field interaction vertex. Its invariant decay amplitude isTwo successive Yukawa coupling interaction vertices would change the fermion species twice and leave a $\Psi$, so they cannot produce this final state. Interchanging the two identical outgoing bosons does not create another Feynman diagram; the cubic factorial is already included in the Feynman rule. The integrated decay width instead includes the identical final-state symmetry factor $1/2!$.

The auxiliary field $\sigma$ has quadratic kernel $-1$ and no kinetic term. Inverting that kernel, rather than introducing an artificial scalar mass, gives the momentum space Feynman rulesThe auxiliary-field propagator is independent of momentum; in position space it is $-i{\delta }^{(4)}(x-y)$. At each interaction vertex attach $(2\pi {)}^4{\delta }^{(4)}(\sum p)$ for momentum conservation. Integrate independent loop momenta with $d^{4}p/(2\pi {)}^4$, respect fermion flow, include the closed fermion loop sign $-1$, and use the appropriate symmetry factor. Incoming and outgoing fermions carry $u_s(p)$ and ${\bar{u}}_s(p)$; incoming and outgoing antiparticles carry ${\bar{v}}_s(p)$ and $v_s(p)$. Exchanging external fermions introduces the fermionic sign. Here $/p={\gamma }^{\mu }{p}_{\mu }$ is Feynman slash notation.

For a dimensional check, $[\psi ]=3/2$, $[\sigma ]=2$, $[g]=-1$ in mass dimensions. Eliminating $\sigma$ consequently produces a four-fermion interaction of negative coupling mass dimension, not a propagating scalar degree of freedom.

Use incoming fermion $p_1$ and antiparticle $p_2$, outgoing fermion $p_3$ and antiparticle $p_4$. The two tree-level Feynman diagrams are the $t$ channel, with $q_t=p_1-p_3=p_4-p_2$, and the $s$ channel, with $q_s=p_1+p_2=p_3+p_4$. They occupy the lower row of the figure. In the $t$ channel the fermion flow follows $1\to 3$ and $4\to 2$; in the $s$ channel it follows $1\to 2$ at the incoming interaction vertex and $4\to 3$ at the outgoing interaction vertex.

The two contractions again have a relative fermionic sign. With the same harmless common-phase convention as i, their sum isThe auxiliary-field propagator is the same constant $-i$ in both channels. There is no $u$ channel preserving the external fermion number assignments.

Label the incoming fermion momenta $p_1,p_2$ and outgoing fermion momenta $p_3,p_4$, with $p_1+p_2=p_3+p_4$. There are two tree-level Feynman diagrams: the $t$ channel connects $1$ to $3$ and $2$ to $4$, with exchanged momentum $q_t=p_1-p_3=p_4-p_2$; the $u$ channel connects $1$ to $4$ and $2$ to $3$, with $q_u=p_1-p_4=p_3-p_2$. Both internal lines are auxiliary-field propagators. The upper row in the figure gives these labelled connections; the outgoing labels are exchanged in its second panel to avoid a visually unnecessary crossing.

Each tree-level Feynman diagram contains two factors $ig$ and one factor $-i$, giving $i{g}^2$. The exchange of the two identical outgoing fermions gives the relative fermionic sign. Up to a common external-state phase, the corresponding scattering amplitude isThere is no annihilation channel: both incoming particles carry the same fermion number, whereas a $\sigma \bar{\psi }\psi$ interaction vertex couples one fermion to one antiparticle when both are incoming.

Write $u_i=u^{s_i}(p_i)$ and $v_i=v^{s_i}(p_i)$. With $S_{fi}={\delta }_{fi}+i(2\pi {)}^4{\delta }^{(4)}(p_1+p_2-p_3-p_4){\mathcal{M}}_{fi}$, chooseThe relative minus sign is fixed by the canonical anticommutation relations, not by the Mandelstam variables. It follows by crossing symmetry from the identical-fermion scattering amplitude in i, or directly by the two inequivalent external contractions of $g^2(\bar{\psi }\psi {)}^2/2$. For an explicit sign check, fix incoming state order $b_1^{†}{d}_2^{†}|0⟩$ and outgoing order $b_3^{†}{d}_4^{†}|0⟩$. The direct contraction contains $(b_3^{†}{b}_1)(d_2{d}_4^{†})$, whose coefficient in the ordered product $b_3^{†}{d}_4^{†}{d}_2{b}_1$ is $-1$; the annihilation contraction $(b_3^{†}{d}_4^{†})(d_2{b}_1)$ has coefficient $+1$. The common sign can change with the external-state convention, while their relative minus sign cannot.

Let $r=m^2$. The external particles are on shell, so $s+t+u=4r$ andUse the supplied spin sums and gamma matrix trace identities. The two diagonal terms in the initial spin average areFor the interference term, the spin sum is a single Dirac trace:Terms with an odd number of Dirac gamma matrices vanish. Expanding the remaining terms givesSubstituting the Mandelstam variables reduces this toIt is real. The initial spin average therefore yieldsThe displayed answer in the source is false. At threshold, $p_i=(m,0)$, hence $s=4m^2$ and $t=u=0$. Then $\bar{v}u=\bar{u}v=0$, while the spin sums give $\overline{|\mathcal{M}{|}^2}=16g^4{m}^4$. The printed expression instead gives $20g^4{m}^4$. This is also a counterexample in the continuous threshold limit from physical nonzero incoming momenta. At $m=0$ there is a further discrepancy: the correct result is $g^4(s^2+t^2+u^2)/2$, rather than the printed $g^4(3s^2+3t^2-u^2)/2$. Changing a common phase of the scattering amplitude cannot change either comparison.

The requested $s\leftrightarrow t$ symmetry nevertheless holds for the correct answer. Crossing symmetry exchanges the two ways of pairing the four external fermion lines; the momentum-independent auxiliary-field propagator supplies no channel-dependent denominator. The relative fermionic sign can reverse the crossed scattering amplitude, but disappears in its squared modulus. With $u=4m^2-s-t$, the boxed expression is manifestly symmetric under $s\leftrightarrow t$. This is an analytic crossing relation, not a statement that positive physical $s$ and negative physical $t$ have interchangeable scattering kinematics.

Set $B(x)=\bar{\psi }(x)\psi (x)$, a Grassmann-even Dirac scalar bilinear. Completing the square givesIntroduce external Grassmann sources $\eta ,\bar{\eta }$ for the Dirac field, but no source for $\sigma$. The generating functional isAt a finite regulator the change of variable ${\sigma }^{\prime }=\sigma -gB$ has unit Jacobian: it translates a bosonic integration variable by a Grassmann-even expression independent of that variable. Its oscillatory Gaussian integral can be defined with a convergence prescription and then continued. It is a constant $\mathcal{N}$ independent of $\psi ,\eta ,\bar{\eta }$. ThusThe factor $\mathcal{N}$ cancels in $Z[\eta ,\bar{\eta }]/Z[0,0]$. Every normalized Green function with only external fermion lines is a Grassmann source derivative of this same normalized generating functional, soThis is an exact Hubbard–Stratonovich transformation in reverse, rather than just an approximation based on tree-level Feynman diagrams. At the diagrammatic level the contact auxiliary-field propagator $-i{\delta }^{(4)}(x-y)$ collapses each exchanged line into the same local four-fermion interaction. The equality uses a common regulator and does not assert perturbative renormalizability of that four-dimensional four-fermion interaction.

The Hamiltonian operator is invariant under the constant global phase symmetry $\psi \mapsto e^{i\theta }\psi$, $\bar{\psi }\mapsto \bar{\psi }{e}^{-i\theta }$. The Noether current of this unitary group $U(1)$ is the Dirac current obtained in b. For fields with vanishing flux at infinity, or periodic boundary conditions, the divergence theorem and that continuity equation implyThe canonical anticommutation relations also give $[Q,\psi ]=-\psi$ and $[Q,{\psi }^{†}]={\psi }^{†}$, hence $e^{i\theta Q}\psi e^{-i\theta Q}=e^{-i\theta }\psi$. Reversing the parameter sign recovers the stated phase convention. Thus $Q$ generates the global phase symmetry. With normal ordering, $Q$ counts fermions minus antiparticles, rather than the sum of both populations. Its conservation law is Dirac fermion number conservation. A position-dependent phase produces derivative terms in this free Hamiltonian operator; the symmetry under discussion is global.

First conjugate the Dirac equation: $(-i{\gamma }^{\mu \ast }{\partial }_{\mu }-m){\psi }^{\ast }=0$. A matrix $\Gamma$ taking ${\psi }^{\ast }$ into another solution of the same Dirac equation must obeyBecause ${\gamma }^1$ anticommutes with the real ${\gamma }^0,{\gamma }^2$ and commutes with the purely imaginary ${\gamma }^1$, a unitary choice isAny constant overall phase is equally valid. To verify invariance of the action, rather than only of its equation, keep the fermion exchange signs. Define the charge-conjugation matrix $C=\Gamma {\gamma }^0={\sigma }_2$. It obeysFor a classical Grassmann field, interchanging two components contributes a minus sign; equivalently use normal ordering for quantum fermionic operators. ThusandThe last term integrates to a boundary term, vanishing with the usual decay or compatible boundary conditions. Both the kinetic term and the Dirac mass term therefore leave $S$ invariant under charge conjugation. Treating the components as commuting numbers would give the wrong mass-bilinear sign; the fermion statistics is essential.

The canonical anticommutation relations give $\{a_1^{†},a_2^{†}\}=0$, where each label includes both momentum and spin. ThereforeThus exchanging the complete labels of the two identical fermions changes the sign of their state. If the labels coincide, $(a_1^{†}{)}^2=0$; the state vanishes, which is the Pauli exclusion principle. A negative state vector describes the same isolated physical ray, but its relative sign matters when exchange alternatives interfere.

Let $A$ be the real-space area and use ${\sum }_{\mathbf{p}}\to C\int d^{2}p$, with $C=A/(2\pi \hslash {)}^2$. There is one state per momentum cell, since the fermions are spinless. An annulus between $p$ and $p+dp$ contains $C2\pi pdp$ states. Near the Fermi surface, the quasiparticle dispersion relation has $dϵ/dp=v_F^{\ast }=p_F/m^{\ast }$, so the total density of states isThe density of states per unit area and the occupied-state count are, respectively,In particular, $D^{\ast }(\mu )=2N{m}^{\ast }/p_F^2$. No factor of two for spin degeneracy is present. This counts Landau quasiparticle levels, so it is not multiplied by the quasiparticle residue of the microscopic particle Green's function.

The periodic boundary condition requires $e^{ikM}=1$, so there are exactly $M$ independent wavevectors in a Brillouin zone:The inverse discrete Fourier transform, with the sign convention of the paper, isFourier orthogonality gives the tight binding dispersion relation ${ϵ}_k=-2t\cos k$. For the interaction, first use the canonical anticommutation relations at distinct sites to write $n_{\sigma ,j}{n}_{\sigma ,j+1}=c_{\sigma ,j}^{†}{c}_{\sigma ,j+1}^{†}{c}_{\sigma ,j+1}{c}_{\sigma ,j}$. Summing its discrete Fourier transform over $j$ enforces crystal momentum conservation, givingEvery wavevector is reduced modulo $2\pi$. The phase $e^{iq}$ comes from the displacement of the second site by one lattice spacing. Equivalently replace $e^{iq}$ by $\cos q$: exchanging the two incoming and the two outgoing fermions changes $q$ to $-q$ with two cancelling fermionic signs. Thus the usual interaction vertex is $2V\cos q$ accompanied by the factor $1/(2M)$.

In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions areFor particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define $S\Psi (x_1,x_2)=\Psi (x_2,x_1)$. Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so $HS=SH$. Therefore $H\Psi =E\Psi$ implies $H(S\Psi )=E(S\Psi )$. The componentsare respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.

The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to $y_{+},y_{-}$ is orthogonal, with absolute Jacobian one. Exchanging the particles leaves $y_{+}$ fixed and changes $y_{-}$ to $-y_{-}$. Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule givesAlso $x_1^2+x_2^2=y_{+}^2+y_{-}^2$ and $(x_1-x_2{)}^2=2y_{-}^2$. Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operatorThese are independent oscillators of frequencies $\omega$ and $\omega \cos \alpha$. Both frequencies are positive in the stated range. Their product eigenstates have energiesThe parity of an oscillator level is $(-1{)}^n$. Consequently bosons allow even $n_{-}$ and fermions odd $n_{-}$, while $n_{+}$ is unrestricted.

The bosonic ground state uses $n_{+}=n_{-}=0$, and the fermionic ground state uses $n_{+}=0,n_{-}=1$. The oscillator length in the relative mode isUsing the normalized Gaussian for each mode givesIndeed ${\varphi }_{\tau }(y)=\sqrt{2}y{\psi }_{\tau }(y)/\tau$ by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are $E_{\mathrm{B}}=\hslash \omega (1+\cos \alpha )/2$ and $E_{\mathrm{F}}=\hslash \omega (1+3\cos \alpha )/2$.

Choose normalized factors for a normalized product quantum state; this can always be done by reciprocal rescaling of its factors. Since the coordinate Jacobian has absolute value one,If the supplied factors are not individually normalized, the general expression has an additional factor $\Vert \psi {\Vert }^2$; choosing normalized factors is the convention in the displayed formula.

For the ground states, put $\rho (y)=|{\psi }_{\tau }(y){|}^2=e^{-y^2/{\tau }^2}/(\sqrt{\pi }\tau )$. Then $|{\varphi }_{\tau }(y){|}^2=2y^2\rho (y)/{\tau }^2$ and ${\rho }^{\prime }=-2y\rho /{\tau }^2$. Thus, for differentiable $f$ with suitable Gaussian integrability and vanishing boundary terms,This is integration by parts, and every polynomial satisfies the required endpoint conditions. The relative-coordinate moments in even and odd oscillator ground states follow by substituting $f(y)=y^n$:For odd $n$, both expectations vanish by parity, so this is an equality of zeros rather than an increase in signed mean separation. The even moments show the physical difference. In particular ${\mathbb{E}}_{\mathrm{B}}[y_{-}^2]={\tau }^2/2$ and ${\mathbb{E}}_{\mathrm{F}}[y_{-}^2]=3{\tau }^2/2$, so the fermionic root-mean-square particle separation is $\sqrt{3}$ times the bosonic value. The fermionic probability density vanishes at coincidence $y_{-}=0$, expressing Pauli exclusion principle in this spatial symmetry sector. This is an exchange constraint on the wave function, not an additional classical force. As $\alpha$ approaches $\pi /2$, the relative oscillator softens and its width diverges; the excluded endpoint would no longer have this normalizable oscillator ground state.

For identical fermions the full wave function is antisymmetric:In particular it vanishes when the two complete one-particle arguments coincide. Applying this to the position-only model assumes that no independent spin symmetry changes the required spatial parity.

The orthogonal coordinate change preserves the kinetic energy and takes the particle exchange operator to $(x_{+},x_{-})\mapsto (x_{+},-x_{-})$. Thus the spatial wave function is even in $x_{-}$ for bosons and odd for fermions.

The total potential energy and Hamiltonian separate asAssume $1+2\kappa >0$ so the relative oscillator is confining. Its spectrum is $E_{n_{+},n_{-}}=\hslash \omega (n_{+}+1/2)+\hslash \Omega (n_{-}+1/2)$, and its parity in the two-particle relative coordinate is $(-1{)}^{n_{-}}$.

The lowest boson state uses $n_{+}=n_{-}=0$, whereas the lowest fermion state uses $n_{+}=0$, $n_{-}=1$. ThereforeFor an oscillator of frequency $\Omega$, $⟨x_{-}^2{⟩}_n=(n+1/2)\hslash /(m\Omega )$. Since $(x_1-x_2{)}^2=2x_{-}^2$,The factor three is the extra relative-coordinate excitation required by antisymmetry. The supplied oscillator wave functions correspond to kinetic energy $P^2/(2m)$; the extra factor $1/2$ printed before that term in the hint is inconsistent with those functions and the stated energies. The calculation uses the conventional kinetic energy dictated by particle mass $m$.

A permutation $\pi$ of identical particles multiplies a fermionic state by $\mathrm{sgn}(\pi )$; a bosonic state is invariant. Particle exchange keeps $y_{+}$ fixed and sends $y_{-}$ to $-y_{-}$. Consequently the spatial wave function is even in $y_{-}$ for the stated bosonic model and odd for the stated fermionic model. This assumes no additional spin variables in the supplied model; exchange of full particle states is the underlying rule.

The coordinate change is orthogonal, with unit Jacobian determinant, so the kinetic energy becomeson the square $|y_{+}|,|y_{-}|<a$ with zero boundary values. Product states ${\psi }_r(y_{+}){\psi }_s(y_{-})$ have energyThe one-dimensional eigenfunction is even for odd $s$ and odd for even $s$. Bosons therefore allow odd $s$, whereas fermions require even $s$. The lowest bosonic pair is $(r,s)=(1,1)$; its first excited pair is $(2,1)$. The lowest fermionic pair is $(1,2)$. ThusThe printed bosonic ground-energy claim omits the factor ${\pi }^2/4$; the value above follows directly from the supplied one-dimensional spectrum and kinetic energy.

The separation is $|x_1-x_2|=\sqrt{2}|y_{-}|$. The normalized $y_{+}$ factor integrates out. In the fermionic ground state, the relative-coordinate density is $a^{-1}{\sin }^2(\pi y_{-}/a)$, givingFor the bosonic ground state it is $a^{-1}{\cos }^2(\pi y_{-}/(2a))$, givingBoth integrals follow by replacing squared trigonometric functions by their constant and cosine parts and integrating once by parts. Henceand the difference is $\boxed{2\sqrt{2}a/{\pi }^2}$. The odd relative state vanishes at coincidence, which increases its expected separation.

A permutation $\pi$ of identical particles multiplies a fermionic state by $\mathrm{sgn}(\pi )$; a bosonic state is invariant. Particle exchange keeps $y_{+}$ fixed and sends $y_{-}$ to $-y_{-}$. Consequently the spatial wave function is even in $y_{-}$ for the stated bosonic model and odd for the stated fermionic model. This assumes no additional spin variables in the supplied model; exchange of full particle states is the underlying rule.

The coordinate change is orthogonal, with unit Jacobian determinant, so the kinetic energy becomeson the square $|y_{+}|,|y_{-}|<a$ with zero boundary values. Product states ${\psi }_r(y_{+}){\psi }_s(y_{-})$ have energyThe one-dimensional eigenfunction is even for odd $s$ and odd for even $s$. Bosons therefore allow odd $s$, whereas fermions require even $s$. The lowest bosonic pair is $(r,s)=(1,1)$; its first excited pair is $(2,1)$. The lowest fermionic pair is $(1,2)$. ThusThe printed bosonic ground-energy claim omits the factor ${\pi }^2/4$; the value above follows directly from the supplied one-dimensional spectrum and kinetic energy.

The separation is $|x_1-x_2|=\sqrt{2}|y_{-}|$. The normalized $y_{+}$ factor integrates out. In the fermionic ground state, the relative-coordinate density is $a^{-1}{\sin }^2(\pi y_{-}/a)$, givingFor the bosonic ground state it is $a^{-1}{\cos }^2(\pi y_{-}/(2a))$, givingBoth integrals follow by replacing squared trigonometric functions by their constant and cosine parts and integrating once by parts. Henceand the difference is $\boxed{2\sqrt{2}a/{\pi }^2}$. The odd relative state vanishes at coincidence, which increases its expected separation.

In the scalar two-particle model, the fermionic exchange symmetry and bosonic exchange symmetry conditions areFor particles with spin, exchange acts on all their labels; the stated coordinate-only model fixes the spatial symmetry sector. Define $S\Psi (x_1,x_2)=\Psi (x_2,x_1)$. Equal masses make the kinetic operator invariant under exchange, and the assumed potential is invariant too, so $HS=SH$. Therefore $H\Psi =E\Psi$ implies $H(S\Psi )=E(S\Psi )$. The componentsare respectively symmetric and antisymmetric eigenfunctions whenever nonzero. Their sum is the original nonzero quantum state, so at least one is nonzero. An eigenspace may contain both sectors if the energy is degenerate.

The normal modes of two harmonically coupled identical particles provide the separation. The coordinate transformation to $y_{+},y_{-}$ is orthogonal, with absolute Jacobian one. Exchanging the particles leaves $y_{+}$ fixed and changes $y_{-}$ to $-y_{-}$. Hence bosonic quantum states are even and fermionic quantum states odd in the relative coordinate. The chain rule givesAlso $x_1^2+x_2^2=y_{+}^2+y_{-}^2$ and $(x_1-x_2{)}^2=2y_{-}^2$. Combining the two trapping potentials with the interaction therefore gives the separated Hamiltonian operatorThese are independent oscillators of frequencies $\omega$ and $\omega \cos \alpha$. Both frequencies are positive in the stated range. Their product eigenstates have energiesThe parity of an oscillator level is $(-1{)}^n$. Consequently bosons allow even $n_{-}$ and fermions odd $n_{-}$, while $n_{+}$ is unrestricted.

The bosonic ground state uses $n_{+}=n_{-}=0$, and the fermionic ground state uses $n_{+}=0,n_{-}=1$. The oscillator length in the relative mode isUsing the normalized Gaussian for each mode givesIndeed ${\varphi }_{\tau }(y)=\sqrt{2}y{\psi }_{\tau }(y)/\tau$ by differentiating the Gaussian, so it is the normalized odd first excited state. The ground energies are $E_{\mathrm{B}}=\hslash \omega (1+\cos \alpha )/2$ and $E_{\mathrm{F}}=\hslash \omega (1+3\cos \alpha )/2$.