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.
At , the two spin occupations per site are and . With , the trial energy per site is
Its 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 . Hence
The 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 . Thus
The minimizing branches interpolate continuously. To find all of them, put on . An interior stationary point obeys
The right side decreases strictly from to , since
The 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 is
The pair merges through a supercritical pitchfork bifurcation at . Comparing only and would miss the intervening ground states with partial spin polarization.
Figure 1.
Minimizing spin fractions in the restricted Fermi-sea approximation
. Both symmetry-related global minima are plotted. The intermediate branches join the fully polarized endpoints continuously at and merge at . Details.
For each spin let contain the lowest tight binding energy levels, and set and . The normalized trial Slater determinant is
Its 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 contribution
This 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 . Consequently
The 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.
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, is
Fourier 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, giving
Every 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 .
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 by
This 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 becomes
The oriented radial integral also works for negative : removing occupied levels below the chemical potential costs positive energy. Substituting and using gives
The 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 give
Put . The remaining angular integral uses
so 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 and
Defining 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 .
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.
The shifted Fermi circle satisfies . Its radial boundary at polar angle is the positive solution of . Thus, for ,
and its leading Taylor expansion is
Forward-pointing momenta gain occupied states and backward-pointing momenta lose them. With the paper's explicitly reversed Heaviside step function convention, ; consequently
with 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 has
The second-order inward correction cancels the apparent area increase one would obtain by treating as exact.
Figure 1. . Original geometric construction with . The Fermi sea keeps its area under translation; the first-order radial approximation differs from the exact boundary at second order. Details.
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 is
The 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.
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 is
The resting ground state has , so the Galilean boost energy of an interacting gas is
The 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.
The printed identity has the wrong sign for the specified relative phase. Differentiating the energy found above and evaluating the operator commutator give
Thus the phase derivative of a two-mode condensate energy is
A 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 means
The 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 .
The normalized Hartree product state and its equivalent second quantization form are
The 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 gives
The expectation value of the Hamiltonian operator is therefore
Keeping 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 . Hence
The 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 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:
Thus
The same quantum tunnelling matrix element is . Reflection symmetry makes . Neglecting mixed contact interaction integrals leaves
The 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 coefficients
and
Here 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 quantized field expansion in the complete orthonormal basis of orbitals is
The 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 gives
recovering the canonical commutation relation and the spatial Dirac delta function.
Write for the one-particle Hamiltonian operator. The second quantization of the kinetic energy, external potential energy and repulsive contact interaction is
The 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 corrected expression in d is a vacuum two-point function, or Wick contraction, of the free Dirac field. It equals the negative spinor transpose of the usual Dirac propagator with reversed spacetime arguments. It supplies the internal fermion lines in Feynman diagrams, rather than a position-space detection probability.
For , creates an antiparticle and annihilates it. The term describes positive-energy antiparticle propagation from to . For , creates a particle and annihilates it. The term describes positive-energy particle propagation from to , with the minus sign required by exchanging the odd operators in fermionic time ordering. Neither term describes a physical negative-energy excitation.
The Heaviside step functions select these chronological alternatives. The factors are on-shell plane waves with , and is the positive-energy Lorentz-invariant phase-space measure. The sum over includes the two spin states. With standard relativistic spinor normalization, the fermion spin sums are
They encode the spinor structure and solve the corresponding on-shell Dirac equations. In particular, the corrected answer can also be written
The Feynman i-epsilon prescription specifies the temporal boundary conditions of the Green function; its positive- and negative-frequency residues reproduce the two terms and their relative minus sign. With defined in d,
The contact term is fixed by the equal-time canonical anticommutation relations. Choosing a value for does not change the unequal-time sign demonstrated above.
Finally, microcausality requires field anticommutators to vanish at spacelike separation; the time-ordered vacuum two-point function itself need not vanish there. These facts are compatible with relativistic causality. The plus-plus expression printed in the paper lacks the fermionic sign needed for this standard Dirac propagator interpretation.
Put and . The Dirac adjoint of the printed mode expansion of a Dirac field is
The Fock vacuum is annihilated by . The canonical anticommutation relations therefore give the two non-time-ordered vacuum expectation values
In the first line, the only surviving contraction is ; in the second it is . Both of these unordered contractions have positive coefficients.
However, fermionic time ordering includes a minus sign when it interchanges two odd fields:
Thus the result following from the stated canonical anticommutation relations and standard time ordering is
The second term printed with a plus sign is not correct for standard fermionic time ordering. Its plus-plus expression would be an ungraded chronological product. The missing minus cannot be absorbed by a phase choice for or , since each spin sum contains a spinor and its adjoint.
For comparison with the conventional Dirac propagator, define and let denote this free Dirac field's mass. Then
The exchange of the spinor indices is essential: is the component of , not its component.
For , interchange the entries in slots while preserving the order of all intermediate fermionic creation operators. Move left through factors, then move right through the remaining intermediate factors. The canonical anticommutation relations give the overall fermionic sign
Hence
More generally any permutation gives
The sign of a permutation is independent of its decomposition into adjacent interchanges. Thus the -particle sector is an exterior power of the one-particle state space, the defining antisymmetry of fermionic Fock space. Repeated complete mode labels make the state zero, so they satisfy the same identity trivially.
The canonical anticommutation relations give , where each label includes both momentum and spin. Therefore
Thus exchanging the complete labels of the two identical fermions changes the sign of their state. If the labels coincide, ; the state vanishes, which is the Pauli exclusion principle. A negative state vector describes the same isolated physical ray, but its relative sign matters when exchange alternatives interfere.
For three odd fermionic operators, the identity
converts the commutator with a quadratic Hamiltonian into the given canonical anticommutation relations. Writing a mode label as , this yields
The opposite-species number terms commute with each fermionic creation operator or fermionic annihilation operator, because two anticommutations give a positive sign. Restoring the continuous normalization, the Dirac delta distribution in the mode brackets cancels . Consequently
Substitute these into the mode expansion of a Dirac field. The result is
Since and , this is exactly
The Heisenberg equation of motion uses an ordinary commutator with the even Hamiltonian, despite the odd fermionic operators obeying anticommutators among themselves.

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