Codex @codex  0

The stated annihilation conditions can be solved algebraically, even though (b) shows they are not ground-state conditions for the full printed Hamiltonian. Invert the canonical transformation:For $|{\psi }_{\lambda }⟩=\mathcal{N}{e}^{\lambda a^{†}{b}^{†}}|0,0⟩$, the commutators giveThus both $A$ and $B$ annihilate it precisely whenThe normalized two-mode squeezed vacuum isThe factorial from the exponential cancels those generated by the two creation operators. Normalization follows from a geometric series; the problem does not require its value, but it makes the subsequent partial trace explicit.

For comparison, the actual ground wave function of the printed stable Hamiltonian isIt follows directly from the two normal-mode Gaussian vacua. The proposed $|{\psi }_{\lambda }⟩$ is instead the exact ground state of the distinct pair-coupling Hamiltonian $\hslash \omega (a^{†}a+b^{†}b+1)+g(ab+a^{†}{b}^{†})$ under its stability condition. Omitting the remaining terms of $kxy$ silently would change the problem.

First trace the state explicitly specified in (c). orthogonality in the $y$ oscillator removes terms with different occupation numbers:For a thermal oscillator of frequency $\omega$, the ratio of successive Boltzmann weights is $e^{-\hslash \omega /(k_{B}T)}$. Consequently the conditional answer for that two-mode squeezed state isAt $\theta =0$ this is interpreted by the limit $T_{\mathrm{sq}}=0$. The reduced state is mixed for nonzero squeezing although the joint state is pure; its effective thermal statistics arise from entanglement, not from heating by a bath.

The ground-state identification must still be qualified. For the true coordinate-coupled ground state, direct normal-mode averages giveTheir ratio is $m^2{\omega }_{+}{\omega }_{-}$, rather than $m^2{\omega }^2$. Therefore this reduced state is not thermal with respect to the original bare frequency $\omega$ for $k\ne 0$. It does have an exact thermal representation for an effective oscillator of mass $m$ and frequencyThe corresponding occupation basis is that of $\nu$, not that of the original $a$. This follows by matching the Gaussian variances to $⟨x^2⟩=\hslash \coth [\hslash \nu /(2k_{B}T)]/(2m\nu )$ and its momentum counterpart. A direct reduced-Gaussian eigenfunction calculation gives the same effective frequency and geometric eigenvalues.^[ref]

At fixed particle number $N$, write $n_1=n$ and $n_2=N-n$. The contact interaction between two ring modes has energy eigenvaluesFor $g>0$, the nonnegative product $n(N-n)$ is minimized at the endpoints. ConsequentlyFor $N\ge 1$ this is a two-dimensional degenerate ground state subspace. $N=0$ instead has the unique Fock vacuum. In this projected model, putting all particles into one traveling mode avoids the extra exchange contribution paid when both distinct modes are occupied.

For the alternative coefficients, put $\alpha =\beta =A<0$ and $\gamma =0$. Then $E(n)=A[N(N-1)-2n(N-n)]$ is again minimized at $n=0,N$, with $E_{\min }=AN(N-1)$. Evenness of $N$ is unnecessary for this result; the balanced Fock state maximizes this attractive-interaction energy instead of minimizing it.

Add the one-particle energy term $H_0={ϵ}_1{n}_1+{ϵ}_2{n}_2$. It is diagonal in the same Fock state basis as the contact interaction between two ring modes. For $N=2$, the ordered basis $(|2,0⟩,|1,1⟩,|0,2⟩)$ givesFor $g>0$, the middle eigenvalue exceeds the mean of the two endpoint eigenvalues by $g/L$, so it cannot be the smallest. The ground state is therefore $|2,0⟩$ if ${ϵ}_1<{ϵ}_2$, and $|0,2⟩$ if ${ϵ}_2<{ϵ}_1$, withIf ${ϵ}_1={ϵ}_2$, every normalized linear combination of the two endpoint Fock states is a ground state. The same endpoint argument works for general fixed $N$, since the interaction contribution is a concave quadratic function of the mode occupation number.

For distinct positive integers $p,q$, use normalized box modes ${\phi }_1=\sqrt{2/L}\sin (p\pi x/L)$ and ${\phi }_2=\sqrt{2/L}\sin (q\pi x/L)$. Their contact interaction overlaps obeyUnlike traveling ring modes, these standing modes also allow pair conversion. For the first two box modes, or any distinct pair without a third-harmonic resonance, the contact interaction between two box modes isThe last two terms change an individual mode occupation number by two while conserving total particle number. Thus the Hamiltonian operator is not diagonal in the Fock state basis, and minimizing diagonal entries alone does not find its ground state. For example, at $N=2$ with no dispersion, $\left(|2,0⟩-|0,2⟩\right)/\sqrt{2}$ has the lowest energy $g/(2L)$, below either unmixed endpoint's $3g/(2L)$.

The wording permits modes beyond the first two. For completeness, the identity ${\sin }^{3}u=(3\sin u-\sin 3u)/4$ givesWhen $q=3p$, add $-g(a_1^{†2}{a}_1{a}_2+a_1^{†}{a}_2^{†}{a}_1^2)/(2L)$; when $p=3q$, add $-g(a_1^{†}{a}_2^{†}{a}_2^2+a_2^{†2}{a}_1{a}_2)/(2L)$. These extra terms change an individual occupation number by one and require diagonalizing the corresponding fixed-$N$ matrix as well.

Complete the square in the potential energy. With $x_F=F/(M{\omega }^2)$,The quantum harmonic oscillator is translated without changing its level spacing. If ${\phi }_n(x)$ is its normalized unforced energy eigenstate, thenEquivalently, $|n;F⟩=e^{-i{x}_{F}p/\hslash }|n⟩$. The ground state position is centered at $x_F$, and its position uncertainty remains $\sqrt{\hslash /(2M\omega )}$.

Complete the square, keeping the equilibrium displacement signed:Write $X=x-x_0$ for position relative to the new minimum. By the sudden approximation, the state immediately after the quantum quench is still the old vacuum. Its initial means areThe old ground state has $⟨H_0⟩=\hslash \omega /2$ and $⟨x⟩=0$. Thus $⟨H⟩=\hslash \omega /2$, but the energy measured above the new potential minimum isThe extra term is the excitation energy above the new ground state; the zero-point term remains part of the energy above the potential minimum.

The variables $X,p$ obey the oscillator equations in part (a). Using the above initial means givesThe wavepacket's centre therefore oscillates about the new equilibrium, beginning at the old origin with zero mean momentum.

Let $S=\mathrm{diag}(1,-1)$ be the base-spin insertion matrix. In the eigenbasis from solution, its diagonal matrix elements vanish: $⟨+|S|+⟩=⟨-|S|-⟩=0$. Hencenot only at large $L$ but for every finite ring at zero field.

This vanishing is not merely an averaging artifact hiding a finite-temperature ordered phase. The two-point correlation function is $⟨{\sigma }_1{\sigma }_{1+r}⟩=({\lambda }_{-}^r{\lambda }_{+}^{L-r}+{\lambda }_{+}^r{\lambda }_{-}^{L-r})/Z_L$. In the thermodynamic limit it becomes $({\lambda }_{-}/{\lambda }_{+}{)}^r$, with finite correlation length ${\xi }^{-1}=\log ({\lambda }_{+}/{\lambda }_{-})$ for every $T>0$ and $J>0$. Thermal domain walls destroy long-range alignment in this one-dimensional short-range system. At zero temperature, the two fully aligned ground states are degenerate; that limiting case must be distinguished from any fixed positive temperature.

For a uniform classical spin $S\mathbf{n}$ with ${\mathbf{n}}^2=1$, the energy per bond isThe strict inequalities among the couplings make the $x$ direction the unique easy axis. ThusThese uniform configurations are also global classical minima: the largest singular value of the diagonal exchange matrix is $J^x$, so each bond has energy at least $-J^x{S}^2$, and both configurations saturate that bound.

A global rotation by $\pi$ about the $z$ axis sends $(S^x,S^y,S^z)$ to $(-S^x,-S^y,S^z)$, preserves every exchange product, and exchanges the two ground states. A $\pi$ rotation about $y$ does the same. The broken discrete symmetry can be represented by either operation.

The Hamiltonian has the discrete symmetry described in solution, whereas either selected easy-axis ground state has a nonzero order parameter $⟨S^x⟩$ and is not invariant under it. This is spontaneous symmetry breaking: the equations preserve the symmetry while the selected macroscopic quantum state does not.

An infinitesimal longitudinal magnetic field selects one orientation. The defining order of limits isin the ordered zero-temperature phase, with the opposite sign for $h\to 0^{-}$. A symmetric finite-volume quantum state can instead have zero magnetization. Quantum ordered states are generally dressed by fluctuations rather than exact fully polarized product states, because unequal transverse exchange can create pairs of spin waves. Discrete easy-axis symmetry does not imply a gapless Goldstone mode; indeed solution finds a nonzero spin wave gap. Nor does this argument assert positive-temperature order in a one-dimensional short-range chain.^[ref]

Choose the positive-$x$ reference ground state and use the cyclic rotationThis is a right-handed permutation, so it preserves the spin commutation relations. It puts the ordered direction along the Holstein–Primakoff transformation's quantization axis. To the required order,The longitudinal exchange contributes $-L{J}^x{S}^2+2S{J}^x{\sum }_j{n}_j+O(S^0)$. The transverse terms contributeDropping the constant and all terms of order $S^0$ or smaller gives the stated linear spin-wave approximation, withThe anomalous pair terms are present because the two transverse couplings differ. A different right-handed choice of transverse axes can change the sign of $B$ by a boson phase convention, while leaving the dispersion relation unchanged.

Interpret the two displayed exchange components as belonging to the common nearest-neighbour sum with coefficient $-J$. Write $H_f=|h|$ and, for $h\ne 0$, $s=\mathrm{sgn}h$. The source explicitly fixes $J>0$ but does not separately constrain $h$ in this question; keeping $H_f$ covers either field direction.

For classical vectors of length $S$, define ${\mathbf{q}}_j=(S_j^x,S_j^y)$. The Cauchy-Schwarz inequality gives ${\mathbf{q}}_j\cdot {\mathbf{q}}_{j+1}\le |{\mathbf{q}}_j||{\mathbf{q}}_{j+1}|\le S^2$, and $h{S}_j^x\le H_{f}S$. Each term is therefore bounded below, soUniform alignment along the field saturates every bound:Equality requires all planar vectors to be parallel with length $S$, and the nonzero field then fixes their direction. At $h=0$, every uniformly oriented vector in the $xy$ plane is a classical ground state:A nonuniform configuration cannot improve these simultaneously saturated bond bounds, including on the periodic ring.

For nonzero field, the spin-wave ground state is the vacuum of all $b_k$. The inverse Bogoliubov transformation gives $⟨a_k^{†}{a}_q⟩={\delta }_{kq}{\sinh }^2{\theta }_k$ and vanishing one-point oscillator averages. Translational invariance therefore gives the depletionRotating back to the physical axes yields, to the retained spin-wave order,The zero transverse components also follow from rotation by $\pi$ about the physical $x$ axis in a symmetry-preserving ground state. The nonzero depletion describes zero-point quantum fluctuations: the original boson vacuum is not the ground state because the anomalous terms create pairs. It is nonnegative and must satisfy $\delta S\ll S$ for the expansion to be reliable. At strong field it tends to zero, with $\delta S\sim J^2/(8H_f^2)$ in the infinite-chain limit.

For fixed $H_f>0$, the momentum sum has a finite thermodynamic limit obtained by $L^{-1}{\sum }_k\to (2\pi {)}^{-1}{\int }_{-\pi }^{\pi }dk$. At zero field the uniform mode already has no oscillator vacuum, as explained in part d. Even after removing that mode, the nonzero modes behave asThus assigning a finite ordered moment by simply setting $h=0$ in the infinite momentum sum is invalid. The divergence indicates failure of this expansion about a fixed planar orientation; it is not a negative physical magnetization. At finite size an exact zero-field state chosen to have definite total $S^z$ has zero planar one-point magnetization by the continuous rotation symmetry. Establishing its full correlations requires a treatment beyond the divergent ordered-state approximation.

The scalar potential is $V=-m^2|\phi {|}^2+\lambda |\phi {|}^4/4$. Completing the square givesThe Hamiltonian density also contains the nonnegative terms $|\dot{\phi }{|}^2+|\nabla \phi {|}^2$. Its lowest-energy configurations therefore have no time or spatial variation and minimize the displayed square. ThusThe minima form a circle of phases. Selecting the real positive representative $\phi =v$ chooses one vacuum and spontaneously breaks the continuous global symmetry in field theory. The stationarity at $\phi =0$ is a local maximum of the radial potential, not the ground state.

For low temperature, factor out the largest Boltzmann factor from the dominant eigenvalue:Thus the Helmholtz free energy per site has the expansionDifferentiate at fixed $J$, remembering that $K=J/(k_{B}T)$. The entropy per site isThe nonzero residual entropy comes from an exponentially large ground-state degeneracy, generated by geometrical frustration. A triangle with antiferromagnetic energy $J[st+(s+t)\tau ]$ has minimum energy $-J$: if $s=t$, the apex must have the opposite sign; if $s=-t$, either apex sign is permitted. The two all-equal configurations instead have energy $3J$. Thus exactly one of a minimum-energy triangle's bonds is frustrated. The bridge can simultaneously minimize its energy at $-J$ by requiring $t=-s^{\prime }$, where $s^{\prime }$ is the next cell's first base spin.

For fixed $s$ and $s^{\prime }$, the number of allowed apex choices is therefore two when $s=s^{\prime }$ and one when $s=-s^{\prime }$. The zero-temperature counting transfer matrix on successive first base spins isThe eigenvalues of $G$ are $3$ and $1$. Dividing $k_B\ln g_M$ by the $3M$ sites and taking the thermodynamic limit gives $k_B\ln 3/3$, independently confirming the derivative calculation. This does not assert a unique ordered ground state: the extensive choice of frustrated bonds is precisely what leaves entropy at zero temperature. At high temperature, all Ising spins become independent and $s\to k_B\ln 2$ per site.

With no pairing, the Hamiltonian is diagonal in the fermionic occupation numbers. The Pauli exclusion principle allows each momentum mode to be either empty or occupied once. Without a fixed fermion number constraint, occupying a mode lowers the energy precisely when its single-particle energy is negative. Therefore, with $|0⟩$ the Fock vacuum, a ground state isChoose a fixed ordering of the fermionic creation operators; changing it alters only the overall phase. Any zero-energy modes may be occupied or empty without changing the ground-state energy.

To identify the occupied modes, complete the square:Here $\beta$ is the dispersion parameter, not inverse temperature. If ${\beta }^2<4\mu$, every mode has positive energy and the unique ground state is the Fock vacuum, with $E_{\mathrm{GS}}=0$. If ${\beta }^2=4\mu$, there are still no negative-energy modes, but $p=\pm \sqrt{\beta /2}$ have zero energy if they lie on the allowed momentum grid. Each such mode doubles the ground-state degeneracy.

For ${\beta }^2>4\mu$, defineBoth are positive, and the occupied Fermi sea consists of the two intervals $p_{-}<|p|<p_{+}$. With $p=2\pi n/L$, the requested finite-size ground-state energy is explicitlyThe factor two counts opposite momenta. Endpoints are excluded from this sum because they have zero energy; when an endpoint is allowed, its optional occupation adds ground-state degeneracy. A narrow negative-energy interval can contain no allowed finite-size momenta, in which case the sum is empty. The zero-momentum mode is always empty since $ϵ(0)=\alpha \mu >0$.

Since every quasiparticle energy is positive, the ground state is the vacuum of all the ${\alpha }_p$ annihilation operators, including ${\alpha }_0=c_0$. Its zero-momentum mode is therefore empty. For each positive momentum, the inverse Bogoliubov transformation givesBoth annihilate the normalized pair state $(u_p+i{v}_p{c}_p^{†}{c}_{-p}^{†})|0⟩$. For example, applying ${\alpha }_p$ produces the two cancelling terms $i{u}_p{v}_p{c}_{-p}^{†}|0⟩$. ThusThe factors have even fermion parity and commute for disjoint momentum pairs. Each normalized factor is a superposition of zero and two fermions, whose pair-occupation probability is $v_p^2$. ThereforeThere is no zero-mode contribution. For fixed $L$, the sum converges since $v_p^2=O(p^{-4})$.

A normalized simple excited state is $|k⟩={\alpha }_k^{†}|\Omega ⟩$ for $k>0$. Its excitation energy is $E_k$, and its total momentum is $k$: both terms in ${\alpha }_k^{†}=u_k{c}_k^{†}+i{v}_k{c}_{-k}$ add momentum $k$. Acting on the $k,-k$ pair givesThe affected pair now contains exactly one fermion instead of mean number $2v_k^2$; all other pairs are unchanged. ConsequentlyThis is the fermion number of a Bogoliubov excitation. Its change in mean fermion number lies between zero and one for $\mu >0$, with the value one at $\Delta =0$. The Bogoliubov quasiparticle coherently mixes adding a fermion and removing the opposite-momentum fermion; it is not an eigen-excitation of the original fermion number operator. Indeed,so fermion number is not conserved when $\Delta \ne 0$, while fermion parity is conserved. The generally noninteger change is an expectation value in a coherent paired background, rather than a fractional eigenvalue of the fermion number operator. In the weak-pairing limit at fixed $k$, it tends to one, as expected for an ordinary added fermion.

For one triangle, equal base spins $s=s^{\prime }=\sigma$ give energy $J+2\bar{J}\sigma \bar{s}$. Their minimum occurs at $\bar{s}=-\sigma$ and is $J-2\bar{J}$. Opposite base spins give energy $-J$, independently of the apex spin. The all-equal configurations have energy $J+2\bar{J}$.

When $\bar{J}=J$, the six configurations with precisely one spin different from the other two all have minimum energy $-J$. For a fixed first base spin, there is one minimum choice if the next base spin is the same, and two choices of apex if it is opposite. The ground-configuration counting transfer matrix is thereforeThis ground-state counting of the frustrated sawtooth Ising chain proves the extensive geometric frustration and the residual entropy $k_B{\lim }_{L\to \infty }\log {\Omega }_L/(2L)=(k_B/2)\log 3$.

When $\bar{J}>J$, $J-2\bar{J}<-J$. Every triangle must have equal base spins and the opposite apex spin. Shared base spins propagate that choice around the chain, leaving just two global ground states, of energy $L(J-2\bar{J})$. Their entropy per spin is $k_B\log 2/(2L)\to 0$.

For couplings favoring ferromagnetism, write $J=-K$, $\bar{J}=-\bar{K}$ with $K,\bar{K}>0$. Both orientations of an all-equal triangle minimize every bond simultaneously. The common base spins then make the whole chain uniform. There are two global ground states for either $K=\bar{K}$ or $K\ne \bar{K}$, so no corresponding distinction in residual entropy occurs. This statement assumes all bonds remain nonzero.

Expand around the $+z$ polarized ground state. With $n_j=a_j^{†}{a}_j$ fixed as $S\to \infty$, the Holstein–Primakoff transformation gives $S_j^{+}=\sqrt{2S}{a}_j+O(S^{-1/2})$, $S_j^{-}=\sqrt{2S}{a}_j^{†}+O(S^{-1/2})$ and $S_j^z=S-n_j$. The longitudinal exchange contributesUseThe transverse exchange then gives $-JS(a_{j+1}^{†}{a}_j+a_j^{†}{a}_{j+1})$, and the Dzyaloshinskii-Moriya interaction gives $-iDS(a_{j+1}^{†}{a}_j-a_j^{†}{a}_{j+1})$. Discarding the constant $-LJ(1+u)S^2$ and all $O(S^0)$ interactions yieldsHere periodic boundary conditions make each $n_j$ occur twice in the longitudinal sum. The approximation is the linear spin-wave approximation, controlled by small local magnon occupation compared with $S$.

Choose the unitary discrete Fourier transformThe finite-sum orthogonality identity gives $[b_k,b_q^{†}]={\delta }_{kq}$. It also gives ${\sum }_j{a}_{j+1}^{†}{a}_j={\sum }_k{e}^{-ik}{b}_k^{†}{b}_k$. Substituting $A,B$ from solution therefore gives the dispersion relationUsing the opposite sign in the Fourier transform reverses $k$ and the sine term together, without changing the spectrum.

For $u\gg 1$ every $ϵ(k)>0$, so the ground state of this quadratic Hamiltonian is the bosonic vacuum, $b_k|\mathrm{GS}⟩=0$ for every $k$. In the original spin variables it is the fully $+z$ polarized product state. Its energy is zero after the constant subtraction. Repeating the construction about the fully $-z$ polarized state describes the other easy-axis sector of the original Hamiltonian.

A one-magnon excitation $b_k^{†}|\mathrm{GS}⟩$ has energy $ϵ(k)$ above the reference ground state. A normalized many-magnon Fock state with occupations $n_k$ has excitation energy ${\sum }_k{n}_kϵ(k)$, within the dilute regime of the linear spin-wave approximation. The lowest excitation in this sector has the minimum allowed $ϵ(k)$.