Source PDF: mmathphys.physics.ox.ac.uk/sites/g/files/vzsiac2991/files/mmathphys/documents/media/a1853381.pdf
TODO: establish the year coverage of the lecturer’s prior-exam collection: www-thphys.physics.ox.ac.uk/people/SteveSimon/QCM2025/quantummatter.html.
The Hartree-Fock method approximates the ground state wavefunction by a single Slater determinant, minimizing the expectation value of the Hamiltonian over its occupied orbitals. It retains fermionic exchange symmetry exactly within that determinant but omits electron correlation beyond a single Slater determinant.
The periodic boundary condition requires , so there are exactly independent wavevectors in a Brillouin zone:The inverse discrete Fourier transform, with the sign convention of the paper, isFourier orthogonality gives the tight binding dispersion relation . For the interaction, first use the canonical anticommutation relations at distinct sites to write . Summing its discrete Fourier transform over enforces crystal momentum conservation, givingEvery wavevector is reduced modulo . The phase comes from the displacement of the second site by one lattice spacing. Equivalently replace by : exchanging the two incoming and the two outgoing fermions changes to with two cancelling fermionic signs. Thus the usual interaction vertex is accompanied by the factor .
For each spin let contain the lowest tight binding energy levels, and set and . The normalized trial Slater determinant isIts nearest-neighbour one-body density matrix is . By Wick's theorem, fermionic exchange symmetry subtracts the squared off-diagonal one-body density matrix from the direct contributionThis formula also specifies the finite- answer exactly, including partially filled terminal energy levels through the chosen occupied set. For consecutive allowed wavevectors, ; its phase locates the centre of that occupied interval.
Write . In the large- limit the Fermi sea is centred at for and for , with Fermi wavevector measured from . ConsequentlyThe subtraction due to fermionic exchange symmetry is essential: replacing by would discard the suppression of neighbouring equal-spin occupation. A completely filled spin band has zero kinetic energy and interaction energy , as the formula also shows.
At , the two spin occupations per site are and . With , the trial energy per site isIts derivative is . Since is a boundary point, its local minimum test is one-sided: . At , where this derivative vanishes, its Taylor series begins for small positive . HenceThe same applies to by spin interchange.
The symmetry makes a stationary point for every . Here , so the second-derivative test settles all cases except equality. Writing , at the Taylor series is . ThusThe minimizing branches interpolate continuously. To find all of them, put on . An interior stationary point obeysThe right side decreases strictly from to , sinceThe positivity follows from . There is therefore exactly one such stationary point on each side of when . The signs of show that both are global minima, whereas is then a local maximum. The complete answer isThe pair merges through a supercritical pitchfork bifurcation at . Comparing only and would miss the intervening ground states with partial spin polarization.
For , the leading objective is to avoid adjacent electrons of the same spin. The unpolarized Fermi sea, although optimal within the preceding restricted family, has interaction energy per site . Its cost grows linearly with , while states with no forbidden neighbouring pairs have zero interaction energy.
There are two independent spinless fermion t-V chains, one for each spin. On an even ring, avoiding all neighbouring pairs allows at most particles in each chain. Since the total is , both bounds must be saturated, and each chain must alternate occupied and empty sites. Their two independent choices give four limiting occupation patterns:The first two are Néel states with one electron per site; the last two are charge density waves alternating doubly occupied and empty sites. Opposite-spin double occupation costs nothing in this particular Hamiltonian. Each species has alternating occupation in all four patterns.
These are the exact zero-interaction ground states at , and the limiting ordered configurations as . At large finite , virtual hopping admixes configurations with forbidden pairs, producing an energy correction of order . A finite ring can have superpositions of the ordered configurations, with possible quantum tunnelling splittings; four exactly degenerate product ground states are not implied at finite hopping. The four ordered choices describe the strong-coupling thermodynamic limit, with spontaneous symmetry breaking understood.
Measure single-particle energy from the quantum harmonic oscillator ground state energy , and write . The Bose-Einstein distribution and the supplied density of states giveThis excited-state population increases with the chemical potential and has the finite saturation valueAny additional particles must occupy the ground state: this is two-dimensional harmonic-trap Bose condensation. The critical temperature and the condensate fraction are thereforeHere is the total particle number, the integral of the inhomogeneous number density over the trap; there is no fixed uniform area in which itself is a number density. Equivalently relates the trap population to the critical temperature. Harmonic confinement changes the low-energy density of states and permits this saturation in two spatial dimensions.
These formulas are leading large- results with . A sharp transition belongs to the trapped-gas thermodynamic limit , at fixed ; a finite trap has finite-size rounding. In particular, finite requires , approaching zero in the condensation limit.
Write , , and . At zero temperature all particles occupy . Expanding the bosonic annihilation operator in single-particle orbitals givesThis one-body density matrix is a Gaussian function of width ; it contains one wavefunction evaluated at , so its exponent is half that of the spatial number density . In particular,the total number density at the trap centre, including condensed and noncondensed particles.
At positive temperature, with occupations of the trap energy eigenstates, the exact ideal-gas decomposition isFor , the sketch has a broad Bose-Einstein condensate component on scale and a narrower thermal peak near the origin. On approaching the broad component loses its weight , while the thermal part remains. Above there is no macroscopic broad Bose-Einstein condensate component; close to , low energy levels can still give a shoulder, so a single narrow Gaussian function is only a high-temperature description. At individual excited energy levels matter and the two-scale description need not apply.
For the Maxwell-Boltzmann distribution applies. The leading off-diagonal one-body density matrix isHere is the Gaussian function width defined by , and is the thermal de Broglie wavelength. The thermal cloud itself extends over the much larger spatial scale ; this is a correlation width, not the cloud radius.
For a normalized orbital , the symmetric Hartree product state and its equivalent Fock space form areThere are exactly interacting pairs, so the expectation value of the grand Hamiltonian is the functionalAt fixed the term is constant. Enforce wavefunction normalization separately by varying with respect to . The resulting stationary Gross–Pitaevskii equation for the normalized orbital isThe Lagrange multiplier enforces the norm; fixed- variation cannot identify it with the independently inserted chemical potential merely by differentiating the constant .
For the standard large- convention put , so and , and replace by . Varying the resulting grand energy functionalwith unrestricted givesEquivalently, at fixed this same is chosen as the normalization Lagrange multiplier. This is the chemical potential convention used below. The contact interaction coupling has dimensions of energy times area in two dimensions.
In the large- Gross–Pitaevskii equation, dropping the kinetic energy gives . The physical nonnegative Thomas–Fermi approximation for a condensate is thereforewhere and is the cloud radius. Its particle number isThus the two-dimensional Thomas–Fermi condensate obeysHere is a total particle number. Keeping the exact pair count in the fixed- Hartree product state would replace by in these formulas expressed in terms of .
The approximation is best at the centre, , and worst near the edge, . For example its omitted quantum pressure of a condensate, evaluated on the interior profile, isIt is smallest at the centre and diverges at the artificial sharp edge. The central healing length is much smaller than when , since . This is the bulk validity condition; the full Gross–Pitaevskii equation smooths the edge and gives a decaying tail outside .
The Hartree product state underlying the Gross–Pitaevskii equation has the factorized one-body coherence of a Hartree condensate. Choosing its nodeless ground state orbital real givesIn particular, the Thomas–Fermi approximation for a condensate from part (d) predictsThe curve starts at , decreases with zero slope at the origin, and reaches zero with an infinite slope at . Restoring the kinetic energy in the full Gross–Pitaevskii equation rounds that edge and produces a nonzero tail. This corrects the Thomas–Fermi approximation for a condensate, but the resulting one-body density matrix still factorizes.
The additional missing physics is quantum depletion. Interactions scatter pairs of bosons into orbitals outside the Bose-Einstein condensate even at zero temperature. In terms of the true Bose-Einstein condensate orbital the exact one-body density matrix decomposes asThe single-orbital Hartree product state sets and omits altogether. In a weakly interacting Bose gas, Bogoliubov theory adds a comparatively short-range noncondensed contribution near the origin, together with reduced weight in the broad Bose-Einstein condensate component. The central value remains the total number density, not just the condensate density. Its numerical shift relative to the original Gross–Pitaevskii equation solution also depends on the interaction-induced redistribution of number density; it is not fixed by the condensate fraction alone.
TODO: establish the year coverage of the lecturer's prior-exam solutions collection: www-thphys.physics.ox.ac.uk/people/SteveSimon/QCM2025/quantummatter.html.
Write for the one-particle Hamiltonian operator. The second quantization of the kinetic energy, external potential energy and repulsive contact interaction isThe factor counts each unordered particle pair once. Normal ordering excludes self-interaction: the interaction acts on two distinct bosons. The fixed particle number sector has . In three dimensions, this contact interaction is understood as a regulated low-energy interaction with a matched coupling, as in renormalization of a three-dimensional dilute-gas contact coupling; the finite-mode calculation below uses its projected matrix elements.
The quantized field expansion in the complete orthonormal basis of orbitals isThe complex conjugation in the creation operator expansion is essential for complex orbitals. Indeed, creates the wavefunction . The resolution of the identity in an orthonormal basis givesrecovering the canonical commutation relation and the spatial Dirac delta function.
The two-mode approximation for a Bose gas retains the real localized orbitals:It is valid when the lowest doublet is well separated from higher energy levels, and the temperature and interaction-induced changes of the orbitals are small on that separation. More explicitly, if is the energy gap to discarded orbitals, sufficient low-energy conditions are , where . A deep double-well potential suppresses interwell interaction overlaps. Large alone does not justify the truncation: increasing at fixed coupling can violate the interaction condition.
Let and use the even and odd eigenfunctions to evaluate the projected one-particle Hamiltonian operator:ThusThe same quantum tunnelling matrix element is . Reflection symmetry makes . Neglecting mixed contact interaction integrals leavesThe last step is the normal-ordered boson pair count, following from the canonical commutation relation. Consequently the two-site Bose-Hubbard model has precisely the requested coefficientsandHere is the coefficient obtained by rewriting the fixed-particle number Hamiltonian operator, rather than an independently prescribed thermodynamic chemical potential. Adding a reservoir term would replace it by .
The negligible-overlap instruction applies to the mixed contact interaction integrals while the small quantum tunnelling matrix element is retained. Exactly disjoint smooth orbitals for a local would also give ; setting every overlap-related matrix element identically to zero would discard the physical splitting one is trying to describe.
The normalized Hartree product state and its equivalent second quantization form areThe product is already symmetric under exchanging bosons; no additional belongs in the coordinate wavefunction. The factor in the second quantization expression instead normalizes repeated creation operators acting on the vacuum state. This is a fixed-number two-mode condensate, with every boson in the same normalized orbital.
Set and . Its binomial distribution of occupations givesThe expectation value of the Hamiltonian operator is thereforeKeeping rather than replacing it by retains the exact pair count of the trial quantum state. Equivalently, with , its interaction contribution is and its one-particle contribution is .
Choose the nonredundant parameter range , with modulo . For , minimizing over the relative phase gives . Putting , the remaining nonconstant energy is , which decreases with for the repulsive coupling . HenceThe optimal orbital is the symmetric . Both the quantum tunnelling term and the repulsive interaction favor this balanced occupation within the Hartree product state family. This result uses a variational method: for strong repulsion relative to quantum tunnelling, the true many-body ground state can have smaller occupation fluctuations than this fixed-number two-mode condensate.
The printed identity has the wrong sign for the specified relative phase. Differentiating the energy found above and evaluating the operator commutator giveThus the phase derivative of a two-mode condensate energy isA concrete counterexample to the printed sign is , , and : its left side is , whereas its printed right side is , independently of and .
There is also a direct derivation without inserting the Hamiltonian operator. Since , differentiating this unitary operator gives . Conservation of the total particle number, , then supplies the minus sign for the left well.
By the Heisenberg equation of motion, . Define the bosonic Josephson junction particle current from left to right as . The corrected identity meansThe energy slope with respect to the relative phase drives particle transfer; an extremum with respect to that phase has zero instantaneous particle current. The printed sign would work with in the right-well orbital, or with in place of .
For a uniform continuum gas with pair interactions depending on relative positions, a Galilean boost changes every particle momentum by and leaves the interaction energy unchanged. Write . The transformed many-body Hamiltonian operator isThe resting ground state has , so the Galilean boost energy of an interacting gas isThe mass here is the bare particle mass, because this is an exact transformation of the microscopic kinetic energy. Substituting the Fermi-liquid effective mass would omit the change in interaction energy encoded by the Landau quasiparticle energy functional. This conclusion requires the Principle of Galilean relativity; a gas in a lattice or a fixed external potential energy landscape need not obey it.
Let be the real-space area and use , with . There is one state per momentum cell, since the fermions are spinless. An annulus between and contains states. Near the Fermi surface, the quasiparticle dispersion relation has , so the total density of states isThe density of states per unit area and the occupied-state count are, respectively,In particular, . No factor of two for spin degeneracy is present. This counts Landau quasiparticle levels, so it is not multiplied by the quasiparticle residue of the microscopic particle Green's function.
The shifted Fermi circle satisfies . Its radial boundary at polar angle is the positive solution of . Thus, for ,and its leading Taylor expansion isForward-pointing momenta gain occupied states and backward-pointing momenta lose them. With the paper's explicitly reversed Heaviside step function convention, ; consequentlywith a positive leading sign.
For the later quadratic energy calculation it is useful to distinguish the first-order shape from exact particle number conservation. The particle-conserving displacement of a Fermi circle hasThe second-order inward correction cancels the apparent area increase one would obtain by treating as exact.
Within a stable normal Fermi liquid, the low-energy states are described by long-lived Landau quasiparticles and holes in a thin shell about the Fermi surface; the Pauli exclusion principle suppresses their decay. Expanding the energy about the equilibrium occupations gives the one-quasiparticle dispersion relation at first order and the interaction between occupation changes at second order, namely the Landau quasiparticle energy functional. For a smooth interaction, radial deviations in that interaction may be neglected at leading order, leaving its angular dependence; higher occupation terms contribute higher powers of the small shell thickness. Collective occupation deformations are included in the same description. The sufficiency claim is conditional on the normal Fermi liquid regime, and on supplementing this static energy functional with dynamics when required: it is not a description of arbitrary low-energy phases such as a superconductor or non-Fermi liquid.
Use the total density of states and from part (b). In the paper's double-sum convention, has units of energy and scales as . Define its first angular moment byThis convention matters: the Landau quasiparticle energy functional written with an explicit instead uses the intensive kernel .
At zero temperature, the displayed functional is the change in ; a true Galilean boost preserves , so . For a radial displacement , the first term in the Landau quasiparticle energy functional becomesThe oriented radial integral also works for negative : removing occupied levels below the chemical potential costs positive energy. Substituting and using givesThe exact second-order correction to the boundary is unnecessary here because the unperturbed excitation energy vanishes on the Fermi surface; it changes this term only beyond quadratic order. It must nevertheless be understood when identifying with a fixed-particle number energy change.
For the quadratic interaction term, the first-order occupation change alone suffices. The radial Dirac delta function integrals givePut . The remaining angular integral usesso only the first cosine component of the interaction survives. Since ,Adding both contributions and matching the bare-mass result of part (a) yields the two-dimensional Landau effective-mass relation:Equivalently, using the density of states per unit area ,If dimensionless Landau parameters are defined through the Fourier series , then andDefining the cosine expansion with an extra factor of two would instead absorb that factor into ; the angular-integral formula above fixes the convention unambiguously. The physical content is that interaction changes accompanying a moving Fermi sea compensate the renormalized quasiparticle velocity, so the total boost energy is governed by the bare mass. For an interaction independent of angle, and this consistency condition requires .
Articles by others on the same topic
There are currently no matching articles.



