The Heisenberg equation of motion and the spin commutation relations give, componentwise,
Thus . For constant magnetic field this is Larmor precession: the component along is conserved and the transverse components rotate. In particular, for ,
The signed angular velocity is ; the positive precession rate is .
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.
Define the signed dimensionless displacement
The spatial translation operator is , and the phases of the new energy eigenstates are fixed by . Their expansion coefficients are therefore
Since ,
Set and . Their commutator is , which commutes with both operators. Thus the stated special case of the Baker--Campbell--Hausdorff formula is applicable and gives
Because ,
Taking the overlaps with therefore proves
This is the coherent state after shifting an oscillator equilibrium. Its normalization follows from .
There is a sign qualification in the printed expansion: agrees with when , equivalently . For a general signed displacement , the odd coefficients have the opposite sign in the specified translated basis. The squared displacement alone fixes the occupation probabilities, not these coherent relative phases. The two-exponential identity also requires the central-commutator condition used above; it is not valid in that simple form for arbitrary operators.
Complete the square, keeping the equilibrium displacement signed:
Write 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 are
The old ground state has and . Thus , but the energy measured above the new potential minimum is
The 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 obey the oscillator equations in part (a). Using the above initial means gives
The wavepacket's centre therefore oscillates about the new equilibrium, beginning at the old origin with zero mean momentum.
Using , the Heisenberg picture equations for the quantum harmonic oscillator are
Solving these coupled linear equations gives
The oscillator annihilation operator and creation operator are
They obey and . Substitution of the position and momentum solutions, or the corresponding commutators with , yields
Fix the mode ordering with the operator before the operator, as in the given state. In the sector with one fermion in each subsystem, use the ordered basis
The state vector is , whose squared norm is one. Thus the global density matrix is the rank-one projector
It has trace one and satisfies , so the global state is pure.
Take the partial trace over . The conditional vectors in are for and for . Therefore the reduced density matrix is
Its determinant is , giving eigenvalues
Both are positive; in particular, , so the reduced state is mixed despite global purity. The entanglement entropy is obtained by diagonalizing this reduced matrix and evaluating
For a globally pure bipartite state this equals the entropy of either reduced subsystem. No numerical evaluation is needed.
The fixed-particle-number sector is spanned by and . In this basis,
The relevant quantum Gibbs state is normalized within this two-dimensional sector, not over all particle numbers. With and , the exponential of a Pauli vector gives
Therefore
Its eigenstates are , with energies and probabilities . These are nonnegative and sum to one, so the matrix is Hermitian and has trace one. Its purity of a density operator is
For , the zero-temperature limit is the pure ground-state projector,
with purity one. As , and , with purity . At every strictly positive finite temperature and finite , both eigenvalues are nonzero, so the state is mixed. If , the two levels are degenerate and the Gibbs state is at all temperatures, including its zero-temperature limit.
Using dimensionless Von Neumann entropy, , gives
For nonzero , as , while as . More precisely, the high-temperature expansion is , and the low-temperature form is . The thermodynamic entropy includes an overall factor .
An ensemble with normalized quantum states and probabilities , , has density matrix
Each rank-one projector is Hermitian, so . Taking the trace in any orthonormal basis gives
It is also positive: . Its eigenvalues are therefore nonnegative and sum to one. Hence
with equality exactly when one eigenvalue is one and the others are zero. Thus the purity of a density operator distinguishes
Equivalently, a pure state has and rank one. In a -dimensional Hilbert space, purity is at least , attained by the maximally mixed state .
The delta-shell Born amplitude is first order in the potential strength:
It retains finite-energy angular dependence and includes the leading weak-coupling contributions of all partial waves. By contrast, the supplied is the zero-energy limit of the exact S-wave scattering amplitude. It is isotropic, depends nonlinearly on , and captures the scattering-length pole missed by first-order perturbation theory.
At finite energy the exact S-wave amplitude is instead
which is generally complex and obeys elastic unitarity. Its zero-energy limit is for finite scattering length. Thus the two expressions printed in the question represent different approximations; the energy-independent S-wave expression is not the full finite- result of part (c).
Their common regime requires both weak coupling and low energy:
Then , so
Consequently
in that joint regime. Low energy alone does not remove the nonperturbative denominator , while weak coupling alone does not remove higher-partial-wave angular dependence.
The scattering length is . Since and , the exact phase shift gives, away from the pole,
Thus plot against , so that both axes are dimensionless.
Figure 1.
Delta-shell scattering length versus dimensionless coupling, with the bound-state threshold at g = −1
. Details.
For repulsion, , the curve rises from zero to the horizontal asymptote , staying between zero and one. For weak attraction, , the scattering length is negative and tends to as . For stronger attraction, , it is positive and greater than , tending to as and to as . Its only zero is .
The pole at is the zero-energy threshold of an S-wave bound state. To see this directly, use inside and outside for energy . The same derivative jump gives
This approaches as and admits a positive for . At the threshold the scattering length diverges; this is a zero-energy scattering resonance, not a divergence of the finite-energy cross-section beyond its partial-wave unitarity bound. These are the main features of the scattering length of a delta-shell potential.
Away from the shell, the reduced radial equation is free. Regularity at the origin and the definition of the S-wave phase shift give
The reduced radial wave function is continuous at ; otherwise its second derivative would contain a delta derivative not present in the equation. Integrating the equation across the shell gives the jump
Divide by the common shell value and substitute the two free solutions. This yields
If the shell value vanishes, use the undivided matching equations or a continuous limit rather than this logarithmic-derivative division. For an explicit phase shift of a delta-shell potential, write and . The cotangent addition formula gives
The phase is defined modulo ; choose its branch continuously as energy or coupling varies. At zero coupling the physical phase shift is zero.
In the first Born approximation, with incident and outgoing wave vectors , put . For elastic scattering,
Choose the polar axis along . The angular integral is
The radial Dirac delta distribution then gives
Thus, introducing the dimensionless shell strength ,
The forward value is the continuous limit . This is the delta-shell Born amplitude, with its angular dependence expressed through the momentum transfer.
For a short-range potential, an incident plane wave of unit amplitude and wave vector has the large-distance scattering wavefunction
The coefficient is the scattering amplitude. For a central potential it depends only on the scattering angle . The incident probability current is , while the scattered radial current is to leading order. Their ratio gives
These are the differential scattering cross-section and total cross section for elastic scattering with the same incident and outgoing wave number.
The expression is asymptotic: it specifies the outgoing wave's leading term, not its finite-distance radial corrections or its form inside the interaction region. In particular, for angle-dependent , the spherical term by itself has an angular-Laplacian contribution of order to the free wave equation, which is cancelled by subleading terms in the exact solution.
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.
For any two distinct normalized Majorana fermion operators , let . Then
and
The same applies to . Both specified pairs have this form. Moreover, the Majorana operators entering are all distinct from those entering , so every cross anticommutator is zero. Therefore
Thus are ordinary fermionic annihilation operators, constructed by a different pairing of the four Majorana operators.
Use and . Moving operators from different modes past one another introduces a minus sign. Direct expansion gives
Thus, for real hopping and pairing parameters,
At this becomes
Use for time to distinguish it from the hopping amplitude . Each unused Majorana operator anticommutes with both factors in , so commuting it through their product gives two minus signs. Hence . The Heisenberg picture equation therefore gives
These are the two uncoupled Majorana zero modes.
Expand the anticommutators using the relations in part (a). The terms with two creation or two annihilation operators vanish, leaving
Each Majorana fermion operator is Hermitian and squares to the identity. In particular, , so this expression cannot distinguish an empty mode from an occupied one. A single Majorana operator is its own adjoint and does not supply distinct creation and annihilation operators for such an occupation.
An occupation can instead be assigned after pairing Majorana operators into a fermionic mode. For two distinct Majorana operators ,
This is a nontrivial projection operator with eigenvalues zero and one. Thus occupation belongs to a chosen pair of Majorana operators, not to an individual Majorana operator.
For independent bosonic modes, the canonical commutation relation is
For independent fermionic modes, the canonical anticommutation relations are
where and . The creation operator is the adjoint of the annihilation operator. In either case the mode's number operator is
with or as appropriate. It measures the mode's occupation number. Its possible eigenvalues are
For fermions, implies , so the number operator is a projection. This expresses the exclusion of double occupation of one fermionic mode. The total particle number is .
Let and for , as required by the cosine form of the Jacobi-Anger expansion. For a central real potential, the Partial-wave S-matrix is . Splitting each shifted radial cosine into incoming and outgoing exponentials leaves its incoming coefficient unchanged and multiplies its outgoing coefficient by . Subtracting the incident plane wave gives
Comparing with the prescribed scattering amplitude convention yields the two-dimensional partial-wave scattering formula,
Orthogonality gives and for , while all cross terms vanish. Hence
The multiplicities printed in this part are reversed. With those printed values and every , the purported free wave would be , rather than the required incident plane wave. The extra contains an incoming cylindrical wave, which cannot be absorbed into . The formulas above use the corrected multiplicities and therefore satisfy the specified scattering boundary condition.
For , expand . The lowest power producing the Fourier harmonic is . Meanwhile . Matching these lowest powers gives .
For negative order use and the equality of the positive and negative Fourier coefficients of this even function of . This gives . Therefore the Jacobi-Anger expansion is
The cosine form has multiplicity one for and two for every positive . Those multiplicities are essential for matching the incident plane wave.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact