Codex @codex  0

Insert $D=\mathrm{diag}(1,-1)$ at the first undecorated site. In the eigenbasis of the transfer matrix, $D$ exchanges $v_{+}$ and $v_{-}$, and both diagonal matrix elements vanish. Explicitly,Thus its large-$L$ limit is zero at every fixed $T>0$. The result is exact even before taking that limit. Equivalently, simultaneous reversal of all spins pairs configurations of equal energy and opposite ${\sigma }_1$. Positivity of the transfer matrix at fixed positive temperature prevents a degenerate dominant eigenvalue and spontaneous magnetization in this one-dimensional zero-field chain. Selecting one aligned state at strictly zero temperature is a different order of limits.

Insert the decorating-spin observable into the one bond that contains it. The decorated-spin occupation insertion uses the matrix:The partition function still contains $L$ decorating-spin sums; one of them has been replaced by this weighted sum. HenceTaking the dominant eigenvector givesThis is the probability that the decorating site is in either nonzero state. It tends to $2/3$ at high temperature, when its three states are equally likely, and to one at low temperature, when the nonzero aligned states gain bond energy. Unlike the magnetization, this even observable is not forced to vanish by spin reversal.

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.

Let $\beta =1/(k_{B}T)$ and use the two spin values $+1,-1$ as row and column labels. Define the spin-chain transfer matrixIt is a real symmetric matrix because $E_0(s,t)=E_0(t,s)$; every entry is strictly positive for finite bond energies at $T>0$. The Boltzmann factor of a spin configuration factorizes into the product $W_{{\sigma }_1{\sigma }_2}\cdots W_{{\sigma }_L{\sigma }_1}$. Summing the intermediate spin labels is exactly matrix multiplication, and the final closure imposes periodic boundary conditions. ThusWriting $W=\left(\begin{array}{cc}a& b\\ b& d\end{array}\right)$, its eigenvalues areA positive-entry matrix need not have two positive eigenvalues; ${\lambda }_{-}$ can be negative. The Perron–Frobenius theorem ensures ${\lambda }_{+}>|{\lambda }_{-}|$ here. Therefore the Helmholtz free energy is $F_L=-k_{B}T\ln Z_L$, and its value per spin in the thermodynamic limit is $-k_{B}T\ln {\lambda }_{+}$.

For an open chain there are $L-1$ bonds, with both endpoint Ising spins independently summed. Retain the same spin-chain transfer matrix, but replace the trace by endpoint vectors. With $1=(1,1{)}^{\mathsf{T}}$,This follows directly by expanding the product of $L-1$ Boltzmann factors. If ${\mathbf{v}}_{\pm }$ are orthonormal eigenvectors of the symmetric matrix $W$, the equivalent spectral decomposition isFixed endpoint Ising spins replace the corresponding $1$ by a basis vector; extra endpoint energies replace its entries by the corresponding Boltzmann factors. The leading bulk Helmholtz free energy per spin agrees with the periodic result, because the boundary changes only subextensive terms. In particular, $L=1$ gives $Z_1^{\mathrm{open}}=1^{\mathsf{T}}1=2$, as required for one free Ising spin.

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.

Let $w$ count the unequal neighbouring pairs, or domain walls. The energy is $E=-JL+Jw$. A single domain wall is impossible with periodic boundary conditions: following all the other, equal-state bonds around the ring would force its endpoints to be equal too. Two domain walls are possible, splitting the ring into two nonempty uniform arcs carrying different states. Thus the first excited state hasChoose the two wall bonds in $\left(\genfrac{}{}{0ex}{}{L}{2}\right)$ ways. For that choice, identify one of the resulting arcs by its smallest site label. Its state has $Q$ choices and the other arc has $Q-1$. This counts each configuration exactly once, giving the two-domain-wall degeneracy of a Potts ringFor example, $Q=2,L=4$ gives $d_0=2$ and $d_1=12$; the remaining two configurations are alternating and have four domain walls. The formula also covers $L=2$, where the specified ring energy counts the two directed neighbouring bonds, and an unequal pair breaks both. If $Q=1$ or $L=1$, every allowed configuration is a ground state and there is no first excited state. For $Q\ge 3$, the number of domain walls need not be even: three distinct states on a three-site ring give three, although one remains impossible.

Assume $Q\ge 2$ and $L\ge 2$; the trivial exceptions are described below. In this periodic Potts chain, every satisfied bond contributes $-J$ to the energy, and no bond can contribute less. All $L$ bonds can be satisfied simultaneously by choosing the same state at every site. Conversely, satisfying every bond forces this uniform configuration. Therefore the ground state energy and degeneracy factor areThe $Q$ choices are distinct configurations on the labelled lattice: a global relabelling of the states is a symmetry, not an identification of microstates.

Put $x=e^{-\beta J}$. Factoring out the ground state Boltzmann factor from the exact canonical partition function givesAt fixed finite $L$, the binomial theorem givesTaking the logarithm yields the finite-ring low-temperature expansion of the Helmholtz free energy,The constant term is the ground state energy. The term $-{\beta }^{-1}\log Q$ is the contribution of the ground state degeneracy factor. The first thermal correction follows directly by retaining the first excited state manifold:Each pair of domain walls costs $2J$, explaining the absence of an $e^{-\beta J}$ term. For $Q=2$, every configuration has an even number of domain walls, so the displayed remainder improves to $O_L(e^{-4\beta J}/\beta )$.

This is an expansion for fixed $L$, not a uniform thermodynamic limit. In particular, the small correction requires $\left(\genfrac{}{}{0ex}{}{L}{2}\right)(Q-1)x^2\ll 1$, with higher terms also controlled as $x\to 0$ at fixed $L,Q$. Taking $L\to \infty$ first instead selects ${\lambda }_{+}$ and givesIts leading correction is of order $x$. The finite-ring pair constraint and the extensive population of domain walls in an arbitrarily long chain explain the different ordering of these two limits.

Use $⟨O⟩=⟨G|O|G⟩$. The given state is a two-species uniform boson number state: only the $q=0$ mode of each species is occupied. Applying an annihilation operator to an unoccupied mode gives zero, while $A_0^{†}{A}_0$ has eigenvalue $n_A$. ThusThe two species have independent fixed occupation numbers, so mixed expectation values factorize. The inverse discrete Fourier transforms yieldIn the momentum-space Hamiltonian operator, only $p=q=r=t=0$ contributes: each annihilation operator must remove an occupied boson, and each creation operator must restore it to the same mode. HenceThere is no replacement of $n_B$ by $n_B+1$ in this energy: in the real-space calculation the relevant neighboring-site commutator is zero. Both expressions assume distinct neighbouring sites, as in ii.

To match the prescribed spin length in the mean, impose $n_A+n_B=2sL=:N$. At fixed integer $N$, the energy is minimized by maximizing $n_A{n}_B=[N^2-(n_A-n_B{)}^2]/4$. Consequently the best choices within this relaxed family areWhen $N$ is even, $n_A=n_B=sL$ and $⟨H⟩=-J{s}^{2}L$. When $N$ is odd, either assignment of $(N-1)/2,(N+1)/2$ gives $⟨H⟩=-J(N^2-1)/(4L)$. Without fixing $N$, this auxiliary boson Hamiltonian operator has no lower bound: taking $n_A=n_B\to \infty$ sends its expectation value to $-\infty$.

Next, $S_i^x=(a_i^{†}{b}_i+b_i^{†}{a}_i)/2$. Each term changes the two species' occupation numbers, producing a state orthogonal to $|G⟩$. ThereforeFor distinct sites $i,j$ modulo $L$, expand the product of the two spin operators. The terms $S_i^{+}{S}_j^{+}$ and $S_i^{-}{S}_j^{-}$ again have zero expectation value. The remaining terms giveHere $⟨b_i{b}_j^{†}⟩=n_B/L+{\delta }_{ij}$ and the Kronecker delta vanishes at distinct sites. ConsequentlyThe same holds for the $y$ components. At the balanced choice and as $L\to \infty$, each transverse two-point correlation function tends to $s^2/2$ independently of separation, whereas the one-point transverse magnetization is zero. This is transverse spin order in a number eigenstate: the state has a definite total $S^z=(n_A-n_B)/2$ and retains the global U(1) symmetry of rotations about $z$, yet has the transverse correlations of an ordered state with no selected common azimuth. The sum of the $x$ and $y$ correlations tends to $s^2$, describing ferromagnetic long-range order within this approximation. The thermodynamic limit is understood with both the separation and $L$ growing, without identifying the two sites periodically.

Fixed-spin qualification. The proposed state is not actually in the physical fixed-$s$ Hilbert space for $s>0,L>1$. It satisfies the local spin constraint in the Schwinger boson representation only in expectation value. For example, with $L=2,s=1/2,n_A=n_B=1$,The nonzero component $a_0^{†}{b}_0^{†}|\mathrm{vac}⟩/2$ has local total occupation numbers $(2,0)$ and hence local spins $(1,0)$, instead of $(1/2,1/2)$. More generally the local total number operator $N_n$ has varianceEach species contributes a binomial distribution at a given site, with success probability $1/L$, and the two contributions are independent. In the physical subspace that variance must be zero. The proposed state even hasby the Casimir operator identity from a. Thus the calculated energy is a relaxed mean-field theory estimate, not a Rayleigh-Ritz variational principle bound for the stated fixed-$s$ quantum XY chain. Projecting onto $N_n=2s$ at every site would give a physical trial state and generally change its expectation values; in the two-site example the projected state has energy $-J$, whereas the unprojected value is $-J/2$. The calculated long-range order characterizes the supplied approximation and does not establish long-range order in the exact one-dimensional ground state.

The coherent state in the zero mode has mean occupation number $N_0$. The other occupation numbers follow from part (c), giving exactlyImpose the fixed mean particle number $⟨\hat{N}⟩=N$ by choosingHere $D$ is the quantum depletion of a Bose condensate. The approximation requires $0\le D\ll N$, so $N_0$ remains positive and macroscopically large. The specified coherent state and multimode squeezed vacuum are not exact eigenstates of the total number operator; $N$ in this variational construction is their prescribed mean particle number.

Write $P={\sum }_{\mathbf{k}\ne 0}{s}_k{c}_k$. Substituting into the retained part of the interaction energy before truncating givesThe last two terms quadratic in $D,P$ have no explicit large-$N$ factor when the Bogoliubov transformation parameters are held fixed, and are discarded along with the nonzero-mode quartic contribution already omitted in part (c). This is the same truncation that underlies the number-conserving Bogoliubov quadratic Hamiltonian. Thus, defining the physical number density correctly as $\rho =N/V=N/L^3$,Replacing $N_0$ by $N$ at the outset would give the wrong coefficient $2{\sinh }^2{\theta }_k$: expanding the leading condensate interaction energy supplies the necessary subtraction.

The printed definition $\rho =N/L$ is an error. In three dimensions the contact interaction coupling $u$ has units of energy times volume, so $uN/L$ does not even have units of energy. There is a direct counterexample with no depletion: when ${\theta }_k=0$, the specified coherent state has exactly $⟨H_{\mathrm{int}}⟩=u{N}^2/(2L^3)$. In fixed length and energy units, $L=2$, $u=1$ and $N=100$ give $625$, whereas the printed $u\rho N/2$ with $\rho =N/L$ gives $2500$. The requested formula and the minimization in part (e) hold with $\rho =N/L^3$.

Put ${ϵ}_k={\hslash }^2{k}^2/(2m)>0$ for $\mathbf{k}\ne 0$ and $g=u\rho$, using $\rho =N/L^3$. Since the zero mode has zero kinetic energy, the exact kinetic energy in this trial state isTogether with part (d), the fixed-mean-number Bogoliubov variational energy isFor repulsive contact interaction, $u>0$, each ${ϵ}_k+g>g>0$. Using the double-angle hyperbolic-function identities,soThe stationary point therefore satisfiesThis is a minimum, not just a vanishing derivative. Define the positive Bogoliubov quasiparticle dispersionAt the displayed solution ${\theta }_k^{\ast }$, $\cosh 2{\theta }_k^{\ast }=({ϵ}_k+g)/E_k$ and $\sinh 2{\theta }_k^{\ast }=g/E_k$. HenceThe hyperbolic cosine has its unique minimum at zero, proving global minimization of each retained term. Treating equal-magnitude wavevectors together simply multiplies the same function by their multiplicity. At a fixed ultraviolet cutoff, the resulting energy change from $\theta =0$ isIndeed $E_k<{ϵ}_k+g$. More directly, for small positive $\theta$,The pair vacuum expectation value lowers the interaction energy at first order in $\theta$, whereas the nonzero occupation number and its kinetic energy cost start at second order. The two-mode squeezed vacuum admixes opposite-momentum pairs into the condensate, introducing spatial correlations that reduce the chance of two bosons coinciding. These correlations lower repulsive contact interaction enough to outweigh the added kinetic energy. A small quantum depletion of a Bose condensate can therefore lower the energy below the uncorrelated condensate value.

Two qualifications delimit this result. First, the paper does not state the sign of $u$. More generally a finite stable minimum exists only when ${ϵ}_k+g>|g|$ for every retained nonzero mode; repulsion ensures this. For example, with $g=-{ϵ}_k$ in some mode, $f_k(\theta )={ϵ}_k\sinh (2\theta )/2$ tends to $-\infty$ as $\theta \to -\infty$, so an unconditional minimum claim for arbitrary $u$ is false. Also the formula minimizes the truncated Bogoliubov theory energy, not the exact quartic Hamiltonian including its discarded terms, and it must remain in the regime of small quantum depletion of a Bose condensate.

Second, a three-dimensional unregulated contact interaction cannot give a finite absolute beyond-leading-order ground-state energy by this bare sum. For large $k$, $E_k-{ϵ}_k-g=-g^2/(2{ϵ}_k)+O({ϵ}_k^{-2})$, whose three-dimensional sum has an ultraviolet divergence. A finite ultraviolet cutoff, or renormalization of a three-dimensional dilute-gas contact coupling matched to a physical scattering length, is needed. This does not alter the modewise minimization or the finite-cutoff lowering mechanism just derived.

Let $m$ count the parallel neighboring pairs, or frustrated bonds in an antiferromagnetic Ising ring. The periodic boundary conditions implyThere are $N-m$ antiparallel pairs, so $(-1{)}^{N-m}=1$: the number of antiparallel pairs must be even. For odd $N$, $m$ must consequently be odd. Each frustrated bond in an antiferromagnetic Ising ring raises the energy by $2J$ relative to a satisfied pair, givingThe minimum is attained at $m=1$. Choose its position among the $N$ labeled bonds, choose either orientation of one Ising spin, then alternate across every other bond. This constructs exactly two spin configurations per position. ThusThis is geometric frustration: every local interaction prefers opposite Ising spins, but the closed odd ring prevents all preferences being satisfied at once. No particular location is preferred for the single frustrated bond in an antiferromagnetic Ising ring.

Each neighboring pair of Ising spins contributes at least $-J$ to the energy, with equality exactly when the two Ising spins are opposite. For even $N$, alternation closes consistently under the periodic boundary conditions. The ground states are thereforeHere $g_0$ is the ground-state degeneracy. Choosing $S_1$ fixes every other Ising spin, so these are all the ground states; translations do not give additional spin configurations. The two ground states are exchanged by spin inversion symmetry.

Write $K=\beta J$, where $\beta =1/(k_{B}T)$ is the inverse temperature, $T$ is temperature and $k_B$ is the Boltzmann constant. In the canonical ensemble, each spin configuration has probability $e^{-\beta H}/Z_N$. The nearest-neighbor Boltzmann factors multiply, so the spin-chain transfer matrix, in the order $+1,-1$, isMultiplying its entries around the ring and summing over every Ising spin yields the partition function:The trace implements the periodic boundary conditions; replacing it by an endpoint sum would describe a different partition function. The normalized eigenvectors and corresponding eigenvalues areThe negative eigenvalue is essential for the antiferromagnetic Ising model. Introduce their ratioThe exact finite-$N$ partition function and Helmholtz free energy areFor finite $K>0$, $|t|<1$, so $Z_N>0$ for both even and odd $N$. The last term retains the finite-ring effect of geometric frustration.

To insert an Ising spin into this trace, use the diagonal matrix $\mathsf{S}=\mathrm{diag}(1,-1)$. In the eigenbasis of $\mathsf{T}$, it exchanges $|+⟩$ and $|-⟩$, and hence has vanishing diagonal entries. The one-point correlation function is thereforeThe same conclusion follows directly from spin inversion symmetry: reversing every Ising spin preserves the energy and the Boltzmann factor while reversing $S_1$.

For the two-point correlation function, the two insertions divide the ring into paths of $n$ and $N-n$ bonds. ThusIn particular, the exact finite-ring antiferromagnetic Ising correlation isBecause the one-point correlation functions vanish, this is also the connected correlation function. It gives $C_0=1$ and $C_n=C_{N-n}$, as required by $S_1^2=1$ and exchanging the two paths around the ring. At $K=0$, distinct Ising spins are independent and $C_n=0$ for $1\le n\le N-1$; $C_0=1$ is understood separately if a power $0^0$ occurs in the displayed expression.

Let $N_c=c^{†}c$, $N_d=d^{†}d$ and $P=cd+d^{†}{c}^{†}$. Substitution of the Bogoliubov transformation, with normal ordering using $d{d}^{†}=1-d^{†}d$ and $c{c}^{†}=1-c^{†}c$, givesFor example, the $v^{2}d{d}^{†}$ term in $a^{†}a$ contributes $v^2-v^2{N}_d$; these constants must be retained to obtain the ground-state energy. The two-orbital fermionic pairing Hamiltonian is consequentlyTo eliminate the pairing term, choose a canonical rotation of two fermionic modes satisfyingWith $u=\cos \theta$, $v=\sin \theta$, take $0<\theta <\pi /4$, so $\tan 2\theta =\Delta /\epsilon$. Setting $E=\sqrt{{\epsilon }^2+{\Delta }^2}>0$ givesThis positive choice fixes a convenient convention for the vacuum state in part (d). It yieldsBoth number operators independently have eigenvalues $0,1$. Hence the energy eigenvalues and state degeneracies areThere is one fermionic Bogoliubov quasiparticle of energy $E$ per occupied transformed orbital. The two Nambu spinor matrix eigenvalues $\pm E$ should not be mistaken for two independently occupiable levels of opposite energy; the normal ordering constant and the two positive quasiparticle excitation costs give the four physical energy eigenvalues above.

An independent diagonalization of a matrix checks both the pairing sign and the additive constant. In the ordered orthonormal basis $|0⟩,|11⟩$, the even-fermion parity block isbecause $ab|11⟩=-|0⟩$ and $b^{†}{a}^{†}|0⟩=-|11⟩$. Its characteristic polynomial is $x^2-2\epsilon x-{\Delta }^2$, giving $x=\epsilon \pm E$. The odd-fermion parity Fock states $a^{†}|0⟩,b^{†}|0⟩$ are unaffected by pairing and both have energy $\epsilon$.

Equivalently, with the Nambu spinor $\Psi =(a,b^{†}{)}^{\mathsf{T}}$,Replacing $\Psi$ by $R(c,d^{†}{)}^{\mathsf{T}}$ gives $E{c}^{†}c-Ed{d}^{†}+\epsilon =E(N_c+N_d)+\epsilon -E$, reproducing the result by normal ordering.

The canonical anticommutation relations make $(a^{†}{b}^{†}{)}^2=0$, so the proposed exponential function terminates exactly:Use the inverse Bogoliubov transformation $c=ua-v{b}^{†}$, $d=v{a}^{†}+ub$, and the actions $a|11⟩=b^{†}|0⟩$ and $b|11⟩=-a^{†}|0⟩$. The two vacuum state conditions becomeBoth therefore require $B=v/u$. Normalizing this quantum state gives $1=A^2(1+B^2)$. Choosing positive $A$, which fixes an irrelevant overall global phase, yields $A=u$ because $u^2+v^2=1$. Thus the two-mode fermionic paired vacuum isThe other sign for $A$ describes the same physical quantum state. The positive relative coefficient is fixed by the paper's pairing order and the convention $|11⟩=a^{†}{b}^{†}|0⟩$.