Lieb–Liniger model¶
An exactly solvable model of identical bosons in one spatial dimension interacting through pairwise delta-function contact forces.
Core Idea¶
The Lieb–Liniger model idealizes identical bosons moving on a line with kinetic energy and pairwise delta-function contact interaction.
The coupling constant organizes interaction regimes, while periodic boundary conditions support the standard exact quantization problem.
Bethe ansatz exploits one-dimensional collision ordering to give exact eigenstates and thermodynamics, making the model a benchmark for many-body physics.
Structural Signature¶
Sig role-phrases:
- bosonic many-body state. Provides symmetric N-particle wavefunctions. Constitutive carrier. If altered: Distinguishable-particle statistics define another model.
- one-dimensional domain. Restricts motion and collision ordering. Constitutive space. If altered: Higher dimensions change contact physics.
- kinetic term. Generates free propagation. Constitutive dynamics. If altered: A static lattice model differs.
- delta-contact interaction. Couples particles at coincidence. Constitutive interaction. If altered: Finite-range potentials are only approximations/variants.
- coupling constant. Selects free, repulsive, or attractive regime. Control parameter. If altered: Sign and normalization must be stated.
- boundary/quantization rule. Usually imposes periodicity and Bethe equations. Solution frame. If altered: Trapped variants need separate treatment.
What It Is Not¶
- Not every Bose gas. Dimensionality and interaction matter.
- Not a lattice model. Coordinates remain continuous.
- Not finite-width interaction. The ideal potential is contact delta.
- Not automatically every experiment. Effective-regime assumptions must hold.
Scope of Application¶
The model applies to ideal one-dimensional quantum gases and controlled effective realizations with explicit parameters and boundary conditions.
- Quantum integrability. Uses Bethe ansatz.
- Many-body benchmarks. Tests approximations.
- Cold-atom theory. Models quasi-1D regimes.
- Thermodynamics. Studies equation of state.
- Correlation physics. Analyzes interaction regimes.
Clarity¶
State units, coupling convention, particle number, domain, and boundary conditions. The same name should not hide attractive versus repulsive or trapped versus periodic variants.
Manages Complexity¶
A singular pair interaction produces collective spectra and correlations yet remains exactly solvable because one-dimensional scattering phases factor consistently. The delta interaction is meaningful together with the one-dimensional many-body wavefunction and its contact boundary condition; it should not be imagined as an ordinary finite-width potential copied unchanged from three dimensions. Exchange symmetry makes the particles bosonic, periodicity turns the line into a ring or finite interval with identified ends, and the coupling selects repulsive, free, or attractive regimes. The exact Bethe-ansatz solution converts the contact problem into compatible scattering phases and quantization conditions. This solvability does not make every real one-dimensional Bose gas literally identical to the model: transverse confinement, finite-range corrections, trapping potentials, temperature, and loss can introduce structure outside the ideal Hamiltonian. The repulsive strong-coupling limit is often compared with fermionized behavior, but that limit is not a change of particle statistics. Likewise, the thermodynamic limit is a controlled scaling of particle number and length at fixed density, not an assertion that finite-size quantization disappears without analysis.
Abstract Reasoning¶
- Specify identical bosons and 1D coordinate domain.
- Write kinetic plus delta-contact Hamiltonian.
- Declare coupling sign and scale.
- Choose boundary conditions.
- Check whether Bethe-ansatz or effective-experiment assumptions apply.
Knowledge Transfer¶
Contact-interaction and integrability reasoning transfers to related 1D models, but the Lieb–Liniger identity stops when statistics, lattice, range, or dimension changes.
Examples¶
Canonical¶
N identical bosons occupy a periodic interval and evolve under kinetic energy plus 2c times the sum of pairwise delta contacts; Bethe equations quantize their momenta.
Mapped back: bosonic many-body state → symmetric N-body wavefunction; one-dimensional domain → periodic interval; kinetic term → second derivatives; delta-contact interaction → pair coincidence; coupling constant → c; boundary/quantization rule → periodic Bethe equations.
Applied / In Practice¶
A strongly confined atomic gas is compared with Lieb–Liniger predictions only after transverse excitations, finite range, trap inhomogeneity, and temperature are bounded as corrections.
Mapped back: bosonic many-body state → cold bosonic atoms; one-dimensional domain → effective axial motion; kinetic term → axial propagation; delta-contact interaction → effective contact; coupling constant → experimentally inferred parameter; boundary/quantization rule → local/trapped variant stated.
Structural Tensions¶
T1: ideal exactness vs. experimental corrections. Solvability requires an ideal Hamiltonian while realizations add scales. Diagnostic: Are departures controlled in the claimed regime?
T2: singular interaction vs. well-defined dynamics. The delta term is encoded through contact conditions. Diagnostic: Is the one-dimensional convention explicit?
Structural–Framed Character¶
The model is strongly structural-formal. Individuation is by state symmetry, dimension, Hamiltonian, coupling, and boundary rule; agency and normativity are absent; temporality is quantum evolution; counterfactual robustness holds under representation changes but fails when the physical terms change. The portable exactly-solvable contact-system skeleton is a future-prime candidate. Its character: an integrable one-dimensional bosonic contact model.
Structural Core vs. Domain Accent¶
Skeletal core. Many identical agents evolve with local pair interactions under a global boundary rule.
Domain-bound accent. Bosonic symmetry, 1D coordinates, delta potentials, and Bethe quantization define the physics.
Why not prime. Local interaction systems travel; the exact Hamiltonian and quantum statistics are specialized.
Instantiates / Related Primes¶
This entry is a kind of Physical-System Model.
- Related — integrable system. Factorized scattering enables exact solution.
- Related — Bose gas. Lieb–Liniger is a one-dimensional contact idealization.
Relationships to Other Abstractions¶
Current abstraction Lieb–Liniger model Domain-specific
Parents (1) — more general patterns this builds on
-
Lieb–Liniger model is a kind of Physical-System Model Domain-specific
It is a formal physical model of interacting bosons.It is a formal physical model of interacting bosons.
Hierarchy path (1) — routes to 1 parentless root
- Lieb–Liniger model → Physical-System Model → Representation → Abstraction
Neighborhood in Abstraction Space¶
Lieb–Liniger model sits in a moderately populated region (44th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Physical Quantities, Operators & Formulas (33 abstractions)
Nearest neighbors
- Lattice Boltzmann Methods — 0.88
- Crystal momentum — 0.87
- Particle in a spherically symmetric potential — 0.87
- Kapitsa–Dirac effect — 0.87
- Translation operator (quantum mechanics) — 0.86
Computed from structural-signature embeddings · 2026-10-08
Not to Be Confused With¶
- Bose–Hubbard model. Tell: Continuous line or lattice?
- Tonks–Girardeau gas. Tell: General coupling or hard-core limit?
- Gross–Pitaevskii equation. Tell: Exact many-body model or mean-field approximation?
- Quasi-1D experiment. Tell: Exact identity or effective regime?
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Lieb%E2%80%93Liniger_model (revision 1344462420).
- Preserved source candidate: https://books.google.com/books?id=g0KjDwAAQBAJ&dq=lieb+liniger+model&pg=PA549
- Preserved source candidate: http://projecteuclid.org/euclid.cmp/1104252974
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.