Label the initial particle and antiparticle and the corresponding final momenta , with and . Charge flow permits an -channel heavy-scalar annihilation graph and a -channel heavy-scalar exchange graph. It excludes a third -channel graph for these fixed charge assignments. The effective theory has one contact graph.
Figure 1.
Particle-antiparticle scattering by heavy scalar annihilation and exchange, compared with its low-energy quartic contact interaction; external charge labels are held fixed
. Details.
The two cubic Feynman vertices and the heavy propagator give
For ,
This independently checks the sign and the factor in solution. The next difference is the derivative correction of order in the amplitude.
Let denote the total center-of-mass energy, with . The final particle and antiparticle are distinct, so no identical-particle factor is needed. The leading isotropic differential scattering cross-section and total cross section are
Corrections are relatively of order and, in a high-energy expansion, , in addition to loop corrections when they matter. If instead denotes each beam particle's energy, substitute before comparing numerical prefactors.
Put and label the two spin values in the order . Assign each bond its Boltzmann weight,
The symmetry of the bond energy makes a real symmetric matrix. For a fixed configuration the product of successive matrix entries is its Boltzmann weight. Summing over all spins and identifying the last index with the first therefore gives
where
This replaces a sum over configurations by the powers of a two-by-two matrix. For finite bond energies at , every matrix entry is positive, so the Perron–Frobenius theorem gives and . Hence the Helmholtz free energy per spin tends to . A diagonal local observable can be inserted at one site: . Its limiting average is the expectation in the normalized eigenvector of .
The sum needs a stated interpretation. The original equation leaves the second bond outside explicit parentheses, with its index then formally free. The natural translation-invariant, equal-bond interpretation used here is the energy .
Let . Sum over each decorating spin before summing over the remaining spins. The decimation of an alternating mixed-spin chain gives the effective transfer matrix:
No on-site entropy has been omitted: the term is the weight of the zero decorating spin. The normalized eigenvectors are , with eigenvalues
There are transfer steps but physical sites, so
The free energy per two-site unit cell is twice this value. At , the formula gives , as required by two states on one sublattice and three on the other. As , the free energy per physical site tends to , the energy of an aligned chain with two satisfied bonds per unit cell. These checks also fix the factor of two in the site count.
Insert at the first undecorated site. In the eigenbasis of the transfer matrix, exchanges and , and both diagonal matrix elements vanish. Explicitly,
Thus its large- limit is zero at every fixed . The result is exact even before taking that limit. Equivalently, simultaneous reversal of all spins pairs configurations of equal energy and opposite . 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 decorating-spin sums; one of them has been replaced by this weighted sum. Hence
Taking the dominant eigenvector gives
This is the probability that the decorating site is in either nonzero state. It tends to 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.
Put . Direct differentiation of cancels the mixed radial-angular terms, leaving
Use from part b to expand the potential. The complete local expression is
The radial field is canonically normalized, giving . For arbitrary , the canonically normalized angular field is and has zero mass:
The interactions comprise radial cubic and quartic self-couplings, a derivative coupling and a derivative coupling. In canonical variables the latter coefficients are and respectively. The additive constant shifts the vacuum energy and does not affect these masses or interactions.
The original phase symmetry becomes the exact shift , with unchanged. Any undifferentiated polynomial or would violate this shift, so such terms are absent. This argument allows derivative interactions; it forbids an angular potential. The massless angular excitation is the Goldstone boson for the broken global .
For longitudinal-vector annihilation through a scalar contact interaction, first use the supplied vertex . Let and work in the center-of-mass frame. The amplitude is , up to its overall phase. For two longitudinal incoming vectors,
This grows as , whereas transverse amplitudes stay of order and mixed longitudinal-transverse amplitudes vanish in this frame. Consequently the leading high-energy contribution is longitudinal.
For an unpolarized total cross section, average over the incoming polarizations. The massive-vector polarization sum gives
The identical final scalars require a factor in the two-body phase space. With and , the angle-independent result is
For a prepared longitudinal pair there is no incoming polarization average, giving instead
There is no extra initial-state factor : a cross section uses the incoming beam flux, while the final-state factor removes double counting of indistinguishable outgoing states.
Define the energy in the stated bound to be the total center-of-mass energy, . Equating the leading expressions to gives
for and . The second value shows that a longitudinal channel reaches the supplied perturbative bound earlier. If the source's unspecified denotes the energy of one incoming particle and the bound is literally , substitute instead: the corresponding values are unpolarized and longitudinal. Stating the energy and polarization conventions is necessary for a numerical answer.
Interaction-normalization qualification: the written differentiates to , because there are vector assignments and scalar assignments. For example, differentiating twice in each variable gives . The supplied would instead follow from . Thus all cross sections above follow the explicitly requested rule. Using the literal written interaction multiplies them by four and divides every quoted threshold energy by . The energy growth itself is the physical issue: a contact interaction of massive longitudinal vectors needs additional dynamics before its perturbative high-energy extrapolation becomes reliable.
The action is dimensionless and , so . A canonical scalar kinetic term then requires , and the electromagnetic kinetic term requires . Thus
The brackets here denote mass dimension. The Lagrangian has no explicit coordinate dependence, and all indices are contracted as Lorentz scalars. Its continuous spacetime symmetry is the Poincaré group. Noether's theorem gives conserved four-momentum from translations and conserved angular momentum, including the boost generators, from Lorentz transformations. The nonzero mass and dimensionful couplings prevent a dilation symmetry.
Sign qualification: the printed electromagnetic kinetic term has the opposite healthy relative sign to the scalar kinetic terms. With the stated mostly-minus Minkowski metric, a physical Maxwell Lagrangian is . The printed plus sign instead gives photon Hamiltonian density ; a nonzero purely electric configuration already has negative energy, unbounded below as its amplitude grows. The physical decay widths below use the healthy Maxwell sign with the given interaction normalization. The dimensional and spacetime-symmetry conclusions themselves do not depend on this sign correction.
Let and use the two spin values as row and column labels. Define the spin-chain transfer matrix
It is a real symmetric matrix because ; every entry is strictly positive for finite bond energies at . The Boltzmann factor of a spin configuration factorizes into the product . Summing the intermediate spin labels is exactly matrix multiplication, and the final closure imposes periodic boundary conditions. Thus
Writing , its eigenvalues are
A positive-entry matrix need not have two positive eigenvalues; can be negative. The Perron–Frobenius theorem ensures here. Therefore the Helmholtz free energy is , and its value per spin in the thermodynamic limit is .
For an open chain there are bonds, with both endpoint Ising spins independently summed. Retain the same spin-chain transfer matrix, but replace the trace by endpoint vectors. With ,
This follows directly by expanding the product of Boltzmann factors. If are orthonormal eigenvectors of the symmetric matrix , the equivalent spectral decomposition is
Fixed endpoint Ising spins replace the corresponding 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, gives , 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 expansion
Differentiate at fixed , remembering that . The entropy per site is
The nonzero residual entropy comes from an exponentially large ground-state degeneracy, generated by geometrical frustration. A triangle with antiferromagnetic energy has minimum energy : if , the apex must have the opposite sign; if , either apex sign is permitted. The two all-equal configurations instead have energy . Thus exactly one of a minimum-energy triangle's bonds is frustrated. The bridge can simultaneously minimize its energy at by requiring , where is the next cell's first base spin.
For fixed and , the number of allowed apex choices is therefore two when and one when . The zero-temperature counting transfer matrix on successive first base spins is
The eigenvalues of are and . Dividing by the sites and taking the thermodynamic limit gives , 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 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 the Fock vacuum, a ground state is
Choose 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 is the dispersion parameter, not inverse temperature. If , every mode has positive energy and the unique ground state is the Fock vacuum, with . If , there are still no negative-energy modes, but have zero energy if they lie on the allowed momentum grid. Each such mode doubles the ground-state degeneracy.
For , define
Both are positive, and the occupied Fermi sea consists of the two intervals . With , the requested finite-size ground-state energy is explicitly
The 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 .
Since every quasiparticle energy is positive, the ground state is the vacuum of all the annihilation operators, including . Its zero-momentum mode is therefore empty. For each positive momentum, the inverse Bogoliubov transformation gives
Both annihilate the normalized pair state . For example, applying produces the two cancelling terms . Thus
The 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 . Therefore
There is no zero-mode contribution. For fixed , the sum converges since .
A normalized simple excited state is for . Its excitation energy is , and its total momentum is : both terms in add momentum . Acting on the pair gives
The affected pair now contains exactly one fermion instead of mean number ; all other pairs are unchanged. Consequently
This is the fermion number of a Bogoliubov excitation. Its change in mean fermion number lies between zero and one for , with the value one at . 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 , 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 , it tends to one, as expected for an ordinary added fermion.
For one triangle, equal base spins give energy . Their minimum occurs at and is . Opposite base spins give energy , independently of the apex spin. The all-equal configurations have energy .
When , the six configurations with precisely one spin different from the other two all have minimum energy . 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 therefore
This ground-state counting of the frustrated sawtooth Ising chain proves the extensive geometric frustration and the residual entropy .
When , . 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 . Their entropy per spin is .
For couplings favoring ferromagnetism, write , with . 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 or , so no corresponding distinction in residual entropy occurs. This statement assumes all bonds remain nonzero.
Choose the unitary discrete Fourier transform
The finite-sum orthogonality identity gives . It also gives . Substituting from solution therefore gives the dispersion relation
Using the opposite sign in the Fourier transform reverses and the sine term together, without changing the spectrum.
For every , so the ground state of this quadratic Hamiltonian is the bosonic vacuum, for every . In the original spin variables it is the fully polarized product state. Its energy is zero after the constant subtraction. Repeating the construction about the fully polarized state describes the other easy-axis sector of the original Hamiltonian.
A one-magnon excitation has energy above the reference ground state. A normalized many-magnon Fock state with occupations has excitation energy , within the dilute regime of the linear spin-wave approximation. The lowest excitation in this sector has the minimum allowed .
Let and . Since , the continuum minimum of the dispersion relation is
For , the energy gap closes at a positive , at wave vector . Below it, the quadratic expansion about the polarized state has a negative mode and is no longer a stable ground state approximation; higher-order terms and a different ordered reference state are needed.
Two qualifications are required by the actual assumptions. First, is permitted, in which case ; it is a concrete counterexample to the printed strict inequality . Second, a finite ring only has discrete momenta. Its finite-ring spin-wave threshold with antisymmetric exchange is
This approaches in the thermodynamic limit and equals it when is allowed. For example, and give , since the maximum of is one. Thus the continuum formula and its positive threshold require the large-ring interpretation. The two symmetry-related polarized ground states already have equal exact energy; the calculated energy gap refers to excitations about one chosen orientation.
Assume three-dimensional isotropic gapless excitations, zero chemical potential and one independent branch. Momentum-state counting gives
Substituting into the Bose energy integral shows and . The observed exponent therefore gives .
For the quadratic-boson heat-capacity coefficient, the required Bose integral is
The equality follows by expanding and integrating term by term. Hence
The supplied units make its a heat capacity per volume. Equating its coefficient to gives
Equivalently has . For identical branches, the measured coefficient fixes , so instead . The one-branch convention is necessary for the quoted numerical value. The supplied integral with is not the moment arising for the exponent determined here.
Bose-Einstein condensation is macroscopic occupation of a single lowest-energy one-particle state. For a homogeneous three-dimensional ideal gas of conserved massive bosons, set that energy to zero. The excited-state population is
Here . As , the excited states can hold only particles. Additional particles occupy the ground state. Thus
The isolated ground state must be counted separately from the continuum density of states; otherwise one misses the condensate. A dilute atomic gas is a physical realization of the quantum-degeneracy regime, but trapping geometry and interactions modify the homogeneous ideal-gas formulas.[ref]
Figure 1. . Original homogeneous three-dimensional ideal-gas condensate fraction and maximum thermal population, normalized to the critical temperature. No trapped-gas or experimental data are implied. Details.
In the homogeneous ideal gas, one and two dimensions do not have finite-temperature condensation in the thermodynamic limit because the low-energy population integral diverges. Finite size or a trap changes that conclusion's assumptions. Condensation and superfluidity are distinct: the ideal quadratic gas has zero Landau critical velocity, while interactions can support a sound mode and superfluid flow. Neither zero viscosity nor phase-rigid flow follows from the occupation formula alone.
For two localized energy levels with degeneracies , let . Canonical equilibrium gives
Here is the total upper-level occupation probability and are per unit. For nondegenerate levels the entropy rises from zero to , while the heat capacity vanishes at both low and high temperatures and has a Schottky maximum near . A spin one-half in a field, or a localized defect with two configurations, supplies an example. Higher levels must be thermally inaccessible; unequal degeneracies change the populations and peak. Distinguishable localized units have total partition function , unlike a gas of indistinguishable particles sharing just two orbitals.
For the magnetic atom, choose level labels with , . Put . Its partition function and exact entropy of a finite magnetic multiplet are
The ratio form has removable limit . Since is a function of only, it depends on field and temperature solely through . For fixed at small , symmetry removes the odd powers and the supplied sum of gives
For large , the expansion requires , not merely .
Figure 1.
Two-level heat and magnetic entropy
. Original Schottky heat-capacity curve and exact finite-spin entropies show the entropy deficit removed by isothermal magnetization. Quadratic high-temperature expansions are shown only over a limited small-field interval. Details.
For demagnetization with a linear-heat-capacity load, integrate its specified :
Isothermal magnetization at removes spin entropy; the bath receives the corresponding heat. During the following reversible, thermally isolated demagnetization, it is the combined entropy of spins and load that stays constant. At the minimum-field endpoint , the ideal independent spins reach . Therefore
The bracket is the initial magnetic entropy deficit. The PDF's intermediate equality uses the initial entropy itself instead; with its preceding definition of , that equality omits the maximum-entropy term. The corrected balance recovers its final temperature formula:
Without the small-field expansion, the exact independent-spin prediction is . As a check, zero initial field gives zero entropy deficit and no cooling. The incorrectly printed intermediate balance would fail this check.
The result requires the load law throughout the temperature interval, hence ; a small initial Zeeman splitting, quantitatively ; positive final temperature; negligible additional heat capacities and heat leaks; thermal equilibration between subsystems; and a reversible sweep slow enough to maintain equilibrium. A negative extrapolated temperature is a breakdown of this approximation, not a cooling prediction. Spins alone would keep fixed, but the attached load changes that adiabat by transferring entropy to them as it cools.
Interactions invalidate the product of independent one-site partition functions. The entropy must be computed from the many-body energy spectrum or a justified interacting approximation. Correlations and possible magnetic ordering introduce an interaction scale and can remove the independent-spin entropy available for cooling near zero field. Internal fields and ordering commonly limit practical demagnetization. The detailed correction and any residual entropy depend on the interaction Hamiltonian, dimensionality and frustration; neither a universal ordering temperature nor a numerical final-temperature correction is specified here.
In the classical equilibrium circuit, the capacitor stores . Equipartition assigns this quadratic term mean energy , so
The mean voltage is zero and its variance is . Resistance determines the equilibration time and noise spectrum, not this full-band equilibrium variance. A finite-bandwidth or appreciably loading readout can measure less than the ideal result.