The perturbed Hamiltonian is . Hamilton's equations give , , hence
In the paper's time units the natural frequency is one. The retarded Green function is : it vanishes before the source, is continuous at zero and has a unit derivative jump there. With Fourier convention ,
Both real-frequency poles are displaced below the real axis. Causality therefore selects the convolution
For the exponential rises as throughout the integral. For , split the integral at . Evaluation yields
The response is nonzero before because the prescribed force is already nonzero then; this does not violate causality. Both and are continuous at zero. The force eventually decays, leaving the free oscillation . A general solution adds , but the retarded condition of no incoming free oscillation as fixes .
The oscillator equation is well-defined on the full plane. Interpreted through the positive- chart of part (c), it describes the original real variables only while , with . The requested retarded oscillator solution is a continuation in the new variables; it is not a claim that this canonical chart remains valid at all times for every .
Figure 1.
Original retarded response to a two-sided exponential force; the pre-zero response follows earlier nonzero forcing
. Details.
Let the coordination number be , and choose the spin-space axis along . The mean-field decoupling of a bond is
The original directed neighbor sum counts each bond twice, so its factor cancels that double counting. The resulting energy is
The constant prevents double counting of the mean interaction energy and is necessary if free energy is minimized with respect to . With the source's unnormalized solid-angle measure, the single-site integral is
Therefore
At take . A normalized solid-angle measure would remove the factor without changing the self-consistency equation. These are three-component classical spins on a two-dimensional positional lattice, not spins constrained to a plane.
The PDF's hint is a correct angular-integration identity for a term with coefficient . That coefficient is not the full single-site molecular field after summing all four neighbors and decoupling both entries of each bond. The net coefficient is , as follows from the explicitly stated Hamiltonian; inserting the hint's coefficient as the total field would lose the coordination and double-counting factors.
The azimuth is a cyclic coordinate, so its canonical momentum is conserved:
Initially the velocity is parallel to the axis in a field-free region, so . Conservation of canonical angular momentum across a solenoid fringe therefore gives, inside the uniform field,
This holds away from the coordinate singularity ; the Cartesian orbit will be smooth there.
Time independence also conserves the energy Hamiltonian,
The velocity-linear magnetic term cancels in this Legendre transform. Thus is constant, as expected because a static magnetic Lorentz force does no work. Mechanical angular momentum can change even though and the total speed are conserved.
The square lattice has coordination number of a lattice . The mean-field decoupling is
Accounting for the factor in the directed-neighbour sum gives the Hamiltonian in the mean-field approximation:
The constant term is necessary to correct the double counting of the interaction. Let . The one-site partition function is
so . The Helmholtz free energy is therefore
The equilibrium mean-field approximation is obtained by minimizing this expression over the allowed . The state supplies the extra in ; omitting it would instead describe the two-state Ising model. This is the Blume-Capel mean-field transition at zero single-ion anisotropy.
The canonical commutation relation and hamiltonian give
Substitution in the Heisenberg equation of motion yields and . Differentiating once more gives the harmonic-oscillator equation for each operator. Its initial-value solution is
Differentiating these expressions at zero verifies both prescribed initial derivatives. They also preserve .
The spin operators here are dimensionless: , so has units of inverse time and is a dimensionless pulse area. Integrating the Schrödinger evolution across an infinitesimally short pulse gives . The finite free Hamiltonian contributes a vanishing integrated phase within that pulse. Between pulses the free evolution is .
In the eigenbasis, and . Consequently
Starting just before a pulse, the kick acts first and the free interval second. Operators act on states right to left, hence
There are exactly kicks, at times ; the pulse at is excluded. Sampling just after kicks would change the displayed product order. This endpoint convention specifies the delta-kicked spin Floquet operator.
Put , which has units of energy. In the original oscillator basis,
Write , , and . The transformed number and pair terms obey
Hence the coefficient of is , which vanishes for
This cancels the requested pair terms but does not diagonalize the printed Hamiltonian. Its number-conserving coupling also transforms:
After the pair cancellation, the last creation terms have coefficient , nonzero for . They create two quanta from the vacuum, so that vacuum is not an eigenstate of the literal Hamiltonian. This is an inconsistency in the ground-state assertion used by the next part, present in the printed PDF.
For the actual coordinate-coupled system, the normal coordinates and their conjugate momenta diagonalize into independent oscillators with
A normalizable ground state requires . Eliminating just the two indicated cross-pair terms is not sufficient to establish that ground state.
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 , the commutators give
Thus both and annihilate it precisely when
The normalized two-mode squeezed vacuum is
The 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 is
It follows directly from the two normal-mode Gaussian vacua. The proposed is instead the exact ground state of the distinct pair-coupling Hamiltonian under its stability condition. Omitting the remaining terms of silently would change the problem.
For a unitary transformation , take and . Operator conjugation by an exponential gives
Separate the unperturbed energy from . To first order,
Therefore eliminating the first-order hopping requires
This is a Schrieffer-Wolff transformation: virtual transitions are removed from the leading Hamiltonian and reappear as higher-order effects within a retained occupation sector. The same canonical-elimination strategy relates localized-moment and effective-exchange descriptions in the original construction.[ref]
Such a choice requires the hopping to connect separated unperturbed energies. If it connects exactly degenerate states, those states must remain in the retained degenerate block; a singular perturbative generator is not an acceptable replacement.
A linear number-difference energy gives only a one-body level renormalization. Let , with . Then is constant, so the exchange coefficient cancels. Since ,
The same-direction commutators vanish as well, so this is the whole second-order term. This agrees with expanding the two-site single-particle splitting with the appropriate assignment of levels. A collection of noninteracting bosons remains noninteracting after a change of single-particle basis. The case is resonant and cannot be treated by this elimination.
A nonlinear energy generally makes the virtual denominators occupancy-dependent. Then and need not agree, and the occupancy-preserving effective Hamiltonian contains density-dependent shifts and a spin-exchange coefficient
multiplying . Its sign depends on the function and sector; nonlinearity alone does not fix a universal exchange sign. The full second-order result can additionally contain pair hopping between different occupation sectors.
For a concrete repulsive example, take , , and restrict to two bosons with one on each site. Here , , , giving
The triplet energy shift is and the singlet shift is zero. This is ferromagnetic bosonic superexchange in this example: the symmetric spin sector can lower its energy through virtual double occupancy. The sign must not be imported from the fermionic Hubbard problem. The example specifies an additional energy function solely to illustrate the general expression; it is not an asserted numerical input.
Figure 1.
Original virtual-hopping construction and exact versus perturbative spin-sector energies for the illustrative repulsive two-boson model
. Details.
The occupation formula from part (b) gives
Consequently
The independent occupation numbers are each zero or one. The Hamiltonian is independent of , so its four states have
Each energy admits or ; these states differ by occupancy of the zero-energy mode. The ground energy is for either sign of . These degeneracies refer to the full two-mode fermionic Fock space. If one separately restricts to a fixed global fermion parity, only one state at each energy remains in that parity sector.
The annihilation operator associated with the new coordinate is
As the initial state is the old vacuum,
Equivalently, applying to the number-state expansion in part (c) and shifting its summation index returns times the same state. It is therefore a coherent state of the displaced oscillator.
The new Hamiltonian is . In the Schrödinger picture its evolution gives
Consequently
The displayed prefactor is only a global phase. Equivalently, in the Heisenberg picture . The mean occupation is constant, and reproduces the energy above the new minimum found in part (b). Its mean position and momentum likewise reproduce that part's oscillating wavepacket centre.
Use the ordered orthonormal basis . The projected Hamiltonian between pulses is , so its free time-evolution operator through a period is
Across one instantaneous pulse, integrating the Schrödinger equation gives
using the exponential of a Pauli vector. The finite free Hamiltonian contributes vanishing evolution during the zero-duration kick. A period measured immediately before successive pulses therefore consists of the kick followed by free evolution. Composition gives
This is the Floquet operator at the specified phase of the pulse train. Actual hydrogenic energy levels are not opposite numbers: the displayed convention subtracts their midpoint, with . Restoring that midpoint multiplies the result by an unobservable global phase. Likewise in the given Hamiltonian denotes the electric coupling per unit length; if it is instead a physical electric-field strength, its charge factor must be included in .
Using the consistently normalized Jordan–Wigner transformation from part (c), write . Since and , the parity string gives
Therefore
The orthogonal transformation , preserves the canonical anticommutation relations and diagonalizes this bilinear Hamiltonian:
The Fock vacuum is , with energy . Occupying alone gives the symmetric opposite-spin state with energy ; occupying alone gives the antisymmetric state with energy ; occupying both gives , up to a global phase, with energy . This reproduces the entire spectrum in part (b).
Take the two magnetic moments along to be , so and the two energies are . The quantum Gibbs state at inverse temperature is
Its Bloch vector is . At , or in the high-temperature limit, it approaches ; at with nonzero , it approaches the lower-energy pure state. Here is the magnitude or signed coefficient multiplying in the magnetic Hamiltonian, rather than a moment with an additional unstated factor of two.
The Hamiltonian has the discrete symmetry described in solution, whereas either selected easy-axis ground state has a nonzero order parameter 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 is
in the ordered zero-temperature phase, with the opposite sign for . 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]
The Holstein–Primakoff transformation replaces each finite-dimensional spin algebra by a bosonic creation operator and annihilation operator, while restricting the local occupation number to . The number counts deviations from the fully polarized reference quantum state. Its zero-boson Fock vacuum has .
The representation is exact on this physical subspace: the ordered square root gives and , reproducing the spin commutation relations. For ,
so the leading Hamiltonian is quadratic in bosons and describes spin waves.
The square root generates boson interactions beyond leading order and its operator ordering matters. Truncation also enlarges the Hilbert space to unphysical occupations unless the low-density approximation remains self-consistent. Large fluctuations, particularly near a gap closing or in low dimensions, can invalidate the linear spin-wave approximation even when its algebraic manipulation is straightforward.
Use the unitary discrete Fourier transform
The transformed operators obey . The hopping terms contribute to the number coefficient. In the pairing sum, the odd sine part cancels between and . Thus
where
The factor one half in the full momentum sum avoids counting an anomalous pair twice. For , for every allowed momentum. Set
Real even angles ensure consistency between opposite momenta, and preserves the canonical commutation relations. The anomalous coefficient becomes . Normal ordering then gives
with
The field-polarized planar ferromagnetic spin wave has energy gap . The momenta run over the whole Brillouin zone once, including the self-inverse momenta and, for even , ; these use single-mode squeezing rather than introducing an extra independent partner.
The zero-field case has a zero-mode obstruction to bosonic Bogoliubov diagonalization. Its nonzero-momentum modes have , but , so no finite squeezing angle exists for the uniform mode. With , its Hamiltonian is , not an identically zero oscillator. For example, its matrix element between the vacuum and the two-boson number state is , whereas would vanish. Consequently the requested oscillator diagonalization is literal for nonzero field; at zero field treat the collective orientation separately or introduce a field regulator before taking a limit.
Promote the mode expansion of a free field coefficients to annihilation operators and creation operators, replacing by . The canonical commutation relations are
Together with the normalization in part a, they give and vanishing equal-time commutators between two fields or two conjugate momenta.
Insert the mode expansion of a free field in the Hamiltonian. The spatial integral produces . The and coefficients cancel because . The remaining terms give
This is a continuum of quantum harmonic oscillators. In a finite periodic volume , . The Fock vacuum satisfies , so its vacuum energy density is
Normal ordering would subtract this constant; here it must be retained because it is the quantity being calculated.[ref]
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 .