Codex @codex  0

With the specified Fourier transform convention, normal ordering giveswhere the possible constant ${\sum }_k{e}^{ik}$ vanishes on the complete lattice momentum grid. Antisymmetry of opposite-momentum pairs similarly givesHenceUse the Ising-chain Nambu spinor ${\Psi }_k=(c_k,-i{c}_{-k}^{†}{)}^T$. Expanding its two diagonal terms uses $c_{-k}{c}_{-k}^{†}=1-c_{-k}^{†}{c}_{-k}$, retaining the constant. The result isThis is a full-zone sum. Its opposite-momentum components are redundant; treating each matrix eigenvalue as an independent physical excitation would miss the factor of two in the quasiparticle energy. Self-paired momenta have zero anomalous term and are ordinary number levels.

The Holstein–Primakoff transformation converts a spin algebra into bosonic operators while retaining the finite physical spin Hilbert space. With $[a_n,a_m^{†}]={\delta }_{nm}$, writeThe Holstein–Primakoff occupation constraint is $0\le n_n\le 2S$. Acting on $|n⟩$, the raising matrix element is $\sqrt{n(2S-n+1)}$ and the lowering element is $\sqrt{(n+1)(2S-n)}$. Their squared difference is $2(S-n)$, reproducing $[S^{+},S^{-}]=2S^z$. Operator ordering inside the square roots is essential. For low boson occupation relative to $S$, expand them to obtain $S^{+}\simeq \sqrt{2S}a$ and $S^{-}\simeq \sqrt{2S}{a}^{†}$. Keeping quadratic terms gives the linear spin-wave approximation; higher terms describe magnon interactions. Large $S$ helps control the expansion, but a low-dimensional infrared divergence can invalidate it even at large finite $S$.

For the ferromagnet choose $H_F=-J{\sum }_n{\mathbf{S}}_n\cdot {\mathbf{S}}_{n+1}$, $J>0$, with unit lattice spacing and $\hslash =1$. Expand around the all-up state. A longitudinal bond contributes $-J{S}^2+JS(n_n+n_{n+1})$, and the transverse exchange contributes $-JS(a_n^{†}{a}_{n+1}+a_{n+1}^{†}{a}_n)$. After a Fourier transform,These are ferromagnetic magnons. The polarized vacuum is an exact ground state of the full ferromagnetic Hamiltonian: every bond is in its maximum total-spin sector, minimizing that bond energy. It therefore has no quantum zero-point reduction of its magnetization. The one-magnon dispersion is also exact, although interacting many-magnon states need not be free bosons. Rotating the polarization generates the maximum-total-spin ground-state multiplet. Selecting a definite direction in a thermodynamic symmetry-breaking description breaks $SU(2)$ to $U(1)$; the two transverse spin components form a canonical pair, producing a single quadratic type-B Goldstone boson. A small aligning field gaps it by the Zeeman energy.

At nonzero temperature the one-dimensional ferromagnet is different: its thermal magnon number contains $\int dk[e^{\beta JS{k}^2}-1{]}^{-1}$, with infrared behaviour $\int dkT/k^2$. The divergent magnetization reduction signals the absence of finite-temperature long-range order in an infinite short-range isotropic chain, consistent with the Mermin-Wagner theorem. It does not disallow the polarized zero-temperature ground states just constructed.^[ref]

For the antiferromagnet use $H_{AF}=+J{\sum }_n{\mathbf{S}}_n\cdot {\mathbf{S}}_{n+1}$, still $J>0$, on an even bipartite chain. The classical reference state alternates up and down. Rotate one sublattice through $\pi$ so that both local quantization axes point along their reference spins. In unrotated physical components, to leading order $S_A^z=S-a^{†}a$, $S_B^z=-S+b^{†}b$, $S_A^{+}\simeq \sqrt{2S}a$ and $S_B^{+}\simeq \sqrt{2S}{b}^{†}$. Choosing Fourier phases using the actual site positions givesThe reduced Brillouin zone has $M=N/2$ momenta and length $\pi$. The pair creation and annihilation terms express the fact that an antiparallel reference product state is not an eigenstate. A bosonic Bogoliubov transformation with $u_k=\cosh {\theta }_k$, $v_k=\sinh {\theta }_k$, $\tanh 2{\theta }_k=\cos k$ diagonalizes each two-mode block. With the sign convention $a_k=u_k{\alpha }_k-v_k{\beta }_{-k}^{†}$ and $b_{-k}=u_k{\beta }_{-k}-v_k{\alpha }_k^{†}$, the result isThus the harmonic antiferromagnetic modes have linear, rather than quadratic, long-wave dispersion. In an unfolded Brillouin-zone description the same result is represented by zeros at both zero and the antiferromagnetic wavevector; these are not extra independent degrees of freedom beyond the two-sublattice accounting.

The Bogoliubov vacuum has no $\alpha$ or $\beta$ excitations but contains original spin bosons, with $v_k^2=\frac{1}{2}(|\sin k{|}^{-1}-1)$. Its staggered magnetization is $m_s=S-M^{-1}{\sum }_{k\in \mathrm{RBZ}}{v}_k^2$. This quantum depletion of Néel order diverges logarithmically at small $k$ in one dimension. Linear spin-wave theory therefore does not establish a stable ordered antiferromagnetic ground state for this chain. Its nominal gapless dispersion is a result of expanding around an invalid ordered reference, not a general proof of the exact excitation spectrum. For the nearest-neighbour isotropic chain, integer-spin systems have a Haldane gap, whereas half-integer-spin systems are gapless; the spin-one-half chain in particular has fractional spin excitations rather than a simple dilute gas of ordered-state magnons. This distinction requires physics beyond the harmonic expansion, including the topological term in the continuum theory.^[ref]

Write ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$ and $E_{\mathbf{p}}=\sqrt{{\mathbf{p}}^2+m^2}$. Insert the mode expansion of a free field for each quantity into the commutator. Only the mixed creation operator and annihilation operator terms survive. The Dirac delta function in their canonical commutation relation sets the two momenta equal, so the square-root factors multiply to $1/2$:In the second equality, each Fourier transform is the same Dirac delta function, since the integration domain is invariant under $\mathbf{p}\mapsto -\mathbf{p}$. This is the equal-time canonical commutation relation. The analogous calculation gives $[\varphi (\mathbf{x}),\varphi (\mathbf{y})]=[\pi (\mathbf{x}),\pi (\mathbf{y})]=0$, because their two mixed terms have opposite signs.

For the amputated one-particle-irreducible vertex, every internal bridge is forbidden. Define the Feynman integralsFor $E=3,L=1$, the counting identity in part b gives $V_3+2V_4=3$. The only one-particle-irreducible Feynman diagrams are a triangle of three cubic vertices and a two-propagator bubble joining one cubic and one quartic vertex. Write ${\mathcal{V}}_3$ for the amputated Feynman vertex, including its overall factor of $i$. With all external momenta incoming,The triangle has $S=1$ for labelled external legs. The mixed bubble has $S=2$ because its two internal lines may be interchanged. There are three distinct terms, according to which external leg is attached to the cubic vertex; the other two attach to the quartic vertex. No tadpole attached by a bridge is one-particle irreducible.

The requested position-space three-point correlation function is obtained by restoring the external propagators and a Fourier transform:The tree-level contribution would replace the last factor by $v_3$. This explicitly distinguishes the amputated vertex from the correlation function while giving all loop integrations in momentum space.

The canonical momenta are ${\pi }_k={\dot{\varphi }}_k$, soDifferent species commute at equal times, so these products have no ordering ambiguity and $Q$ is Hermitian. Write ${\int }_{\mathbf{p}}=\int d^{3}p/(2\pi {)}^3$. Substituting the mode expansion of a free field and using the spatial Fourier transform identity givesSubtract the expression with species interchanged. The two-annihilator terms cancel after $\mathbf{p}\mapsto -\mathbf{p}$, as do the two-creator terms. Commuting different species in the remaining terms yieldsThere is no infinite vacuum contribution to the Noether charge to subtract: the contractions that would generate a species-diagonal constant are absent.

The bosonic canonical commutation relations giveDefine the creation operatorsTheir commutators with $Q$ are $[Q,c_{\pm }^{†}]=\pm c_{\pm }^{†}$. Since $Q|0⟩=0$, the one-particle states haveThe fixed-momentum states are delta-function normalized; a square-integrable wave packet of either species is a normalizable state with the same Noether charge eigenvalue. In this basis $Q={\int }_{\mathbf{p}}(c_{+}^{†}{c}_{+}-c_{-}^{†}{c}_{-})$, so it measures a difference of occupation numbers. The equal-time identity $i[Q,{\varphi }_1]={\varphi }_2$, $i[Q,{\varphi }_2]=-{\varphi }_1$ independently checks the sign against a.

Expand the normalized Euclidean path integral with weight $e^{-S_E}$ and apply Wick's theorem. Use labelled external momenta and a fixed Fourier transform convention throughout. A line carrying momentum $q$ contributes $(q^2+m_0^2{)}^{-1}$. Each $2k$-valent interaction vertex contributes $-{\lambda }_{2k}=-{\mu }^{d_k}{g}_{2k}$: its $(2k)!$ possible contractions cancel the factorial in the Lagrangian density. A vertex also carries $(2\pi {)}^D{\delta }^{(D)}(\sum q)$ with all incident momenta incoming. Integrate each independent loop momentum with $d^{D}q/(2\pi {)}^D$ and divide by the Feynman-diagram symmetry factor for fixed external labels. There are no Minkowski factors of $i$.

For the full $N$-point Green's function, include every graph in which all vertices belong to components attached to external insertions. In particular, disconnected components carrying external insertions must be included, and the zeroth-order result is the sum of free pairings. Pure vacuum bubbles cancel against the denominator. The connected Green's function restricts to connected graphs, while a one-particle-irreducible vertex imposes the stronger restriction that removing one internal line cannot disconnect the graph. These are different objects. Odd $N$ vanishes in the symmetric vacuum because every interaction has even valence. At fixed perturbative order, multiply by the appropriate power of the coupling and sum all allowed graph topologies and external attachments.

If the overall momentum-conservation delta function is removed by convention, report the remaining function as its coefficient. The ordinary unamputated Green's function includes external scalar propagators; dividing them out defines an amputated function. The definition in c performs this amputation but does not, by itself, impose the usual one-particle-irreducibility condition.

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.

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.

Take a spatial Fourier transform of the mode expansion of a Dirac field:The orthogonality relations $u^{s†}(\mathbf{p})u^r(\mathbf{p})=2E{\delta }^{sr}$ and $u^{s†}(\mathbf{p})v^r(-\mathbf{p})=0$ isolate the fermionic annihilation operator. Projecting onto $v^s(-\mathbf{p})$ instead isolates the fermionic creation operator:The opposite time phases and reversed antiparticle momentum are essential. Both denominators are $\sqrt{2E}$, because the Dirac spinors have norm squared $2E$.

There are three independent nonfactorized momentum integrals, namely a tadpole integral, the three-line sunset diagram integral, and the five-line banana integral. The six displayed Feynman diagrams involve six complete integral expressions:The distinction between independent building blocks and their products removes an ambiguity in counting “different momentum integrals”. For the strict divergent-wave-function renormalization interpretation of ii, the graphs in c reduce to $T,T^2,B_5$, comprising three full integral expressions and two independent nonfactorized building blocks.

Make a Wick rotation and use $m>0$ to separate ultraviolet divergences from infrared divergences. Write $D_E(k)=1/(k^2+m^2)$, and let $T,B_r(P)$ be the Euclidean versions of the integrals above, with their harmless overall factors of $i$ removed. A spherical ultraviolet cutoff givesThus the one-vertex quartic graph is linearly divergent, and the one-vertex sextic graph is quadratically divergent as $T_{\Lambda }^2$.

For the other two building blocks, the spatial Fourier transform is especially transparent. The three-dimensional Euclidean scalar propagator isThe convolution theorem converts the $r$ parallel lines into $G(x{)}^r$. Angular integration gives, with a short-distance cutoff $a={\Lambda }^{-1}$,This is a different convenient cutoff regularization for the connected block; power-divergent coefficients depend on the cutoff convention, whereas the conclusions about powers and the presence of a kinetic logarithm do not. The sinc function is understood to be $1$ at $P=0$.

For $r=3$, the integrand starts as ${\rho }^{-1}+O(1)$, soIts divergent part is independent of external momentum. In particular,The finite difference and its finite derivative show why the pure three-line sunset diagram does not need a divergent wave-function renormalization in three dimensions.

For $r=5$, the small-distance Taylor expansion isConsequentlyIn particular, the nonzero $P^2\log \Lambda$ term requires a genuine divergent wave-function renormalization, in addition to the mass counterterm. The coefficients here refer to the displayed position-space cutoff and have not included Feynman-diagram symmetry factors or bare couplings.

The comparison with the superficial degree of divergence isThus the actual leading power agrees with $\omega$ in every case. The additional logarithms in products come from ultraviolet subdivergences, which uniform power counting alone does not resolve.

For $T{B}_3$ and $T^2{B}_3$, differentiation with respect to $P^2$ removes the logarithmic divergence of $B_3$, but leaves divergent factors $T$ or $T^2$ multiplying a finite, nonpolynomial function of $P^2$. These are subdivergent contributions, not new nonlocal counterterms: subtracting each tadpole diagram subdivergence and the momentum-independent $B_3$ subdivergence removes them. For example, in a factorized subtraction scheme $T{B}_3\mapsto (T-T_{\mathrm{div}})(B_3-B_{3,\mathrm{div}})$, and likewise for $T^2{B}_3$. The remaining $B_5$ kinetic logarithm explains the strict interpretation in ii. A dimensional regularization scheme can suppress power divergences; it does not invalidate this cutoff-based comparison with $\omega$.

Use the angular-frequency Fourier transform conventionFor $f,f^{\prime }\in L^1(\mathbb{R})$ with the usual local absolute-continuity hypothesis, the Fourier transform of a derivative isFor example, this applies when $f$ is $C^1$ and both displayed functions are integrable. These assumptions make integration by parts valid and the endpoint terms vanish.

Complete the square: $x^2+2x+2=(x+1{)}^2+1$. In the Fourier transform, the substitution $u=x+1$ givesThe phase $e^{is}$ is important. Taking the real part at $s=a$ gives the cosine integral, since changing the sign in the exponential does not change its real part:

For integrable functions $u,v$, the convolution theorem in the chosen convention isLet $F(s,y)$ be the Fourier transform of $f(\cdot ,y)$ in the horizontal coordinate. Transforming Laplace's equation givesFor $s\ne 0$, exclude the growing exponential and obtain $F(s,y)=2e^{-|s|y}/(1+s^2)$. At $s=0$, continuity in frequency gives $F(0,y)=2$; a constant zero-frequency transform is compatible with spatial decay of $f$.

By the transform pair in part (a), the inverse transform of $e^{-|s|y}$ is the Poisson kernel for the upper half-plane, $P_y(x)=y/[\pi (x^2+y^2)]$. ThusThe Poisson extension of exponential boundary data is harmonic, approaches the continuous boundary data and decays at spatial infinity. For uniqueness, apply the maximum principle for harmonic functions to the difference of two solutions on increasingly large half-discs: it is zero on the real boundary and uniformly small on the distant semicircle.

Substitute $\hat{u}=e^{-b(t)s^2}$ into the transformed partial differential equation. Comparing coefficients gives $b^{\prime }=1-2b$, $b(0)=0$, whenceThe stated Gaussian Fourier transform pair, with its inverse factor $1/(2\pi )$, givesThis is a normal distribution density with mean zero and variance $1-e^{-2t}$. Its total integral is one. As $t\downarrow 0$ it converges to $\delta$ in the sense of distributions, while as $t\to \infty$ it tends to the standard normal distribution density. This is the transition density from zero of the Ornstein-Uhlenbeck process with drift $-x$ and diffusion coefficient $\sqrt{2}$.

Use the Fourier transform convention $\hat{u}(s,t)={\int }_{\mathbb{R}}{e}^{-isx}u(x,t)dx$. Then $\widehat{u_{xx}}=-s^2\hat{u}$ and $\widehat{xu}=i{\partial }_s\hat{u}$, soThus the transformed partial differential equation and initial condition areThe last equality is the Fourier transform of the Dirac delta distribution. The two terms in ${\partial }_x(xu)=u+x{u}_x$ must be transformed together; dropping $u$ would give the wrong equation.

In the space of tempered distributions, this Fourier transform convention gives $\hat{1}=2\pi \delta$ and $\hat{\delta }=1$. ThereforeThe constant distribution and the Dirac delta distribution are linearly independent: testing away from zero first determines the constant coefficient, and then testing at zero determines the delta coefficient. Hence $c=\lambda$ and $\lambda c=2\pi$, giving

At zero, the Fourier transform is $\hat{f}(0)=\int f=1$, so $\lambda f(0)=1$. In particular $\lambda \ne 0$ and $f(0)=1/\lambda$. The Fourier inversion theorem at zero also givesEquating the two values yields $\boxed{{\lambda }^2=2\pi }$. Since the explicit normalized Gaussian function in part (i) has $f(0)>0$, here $\lambda =\sqrt{2\pi }$.

Use the Fourier transform convention $\hat{f}(s)={\int }_{\mathbb{R}}{e}^{-isx}f(x)dx$. First observe that $f(x)=(2\pi {)}^{-1/2}{e}^{-x^2/2}$ satisfies the differential equation, decay, and normalization, using the Gaussian integral. The uniqueness allowed in the question identifies it with $f$. In particular it is a Schwartz function, so the derivative and multiplication rules below are justified.

Taking the Fourier transform of the differential equation givesThe Riemann-Lebesgue lemma gives decay of $\hat{f}$. Every decaying solution $h$ of this equation is proportional to $e^{-s^2/2}$: setting $w=h^{\prime }+sh$ gives $w^{\prime }=sw$, and integration yieldsThe term with $C\ne 0$ grows like $C{e}^{s^2/2}/(2s)$ as $s\to +\infty$, so decay forces $C=0$. Thus $\hat{f}=\lambda f$ for a scalar $\lambda$. This establishes proportionality before using Fourier inversion to calculate the scalar.

The spherical potential has a rotationally symmetric Fourier transform, so choose the polar axis of the integration along $\mathbf{q}$. With $q=|{\mathbf{k}}_f-{\mathbf{k}}_i|=2k\sin (\theta /2)$,The first Born approximation therefore givesThere is no azimuthal dependence. At $q=0$, the bracket is $(q{r}_0{)}^3/3+O(q^5)$, so $f_k(0)=-2m{V}_0{r}_0^3/(3{\hslash }^2)$ is finite, not zero. The approximation assumes scattering weak enough for the incident plane wave to replace the distorted wave inside the interaction integral.

For an aligned narrower slit placed immediately after the first, uniform illumination gives transmission probability $\boxed{d/w}$. Conditional on passage the same normalized formula applies with $w$ replaced by $d$ and central-lobe momentum scale $h/d$. Position rms is $d/\sqrt{12}$, while the exact hard-edge rms $\Delta p_x$ is infinite. Thus the source's finite “uncertainty” can only mean a characteristic diffraction width; the rigorous Heisenberg inequality is not violated, and smoothing the edges restores finite rms moments satisfying it.

A 10 keV X-ray has $\lambda \simeq 0.124$ nm. The ideal position-filter probability and momentum formula at fixed aperture widths are unchanged, since the Fourier transform involves $h$ and the aperture geometry. Its larger total momentum makes the angular diffraction width smaller, approximately $\lambda /d$. Real slit-material transmission and absorption are additional experimental issues.