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 is an exactly solvable quantum model of identical bosons in one dimension with kinetic energy and pairwise delta-function contact interaction, conventionally on a periodic interval. The Lieb–Liniger model is the ideal one-dimensional many-boson Hamiltonian with pairwise contact interaction and usually periodic boundary conditions. Bosonic exchange symmetry, the delta-contact rule, coupling, and boundary convention jointly define it. Bethe ansatz turns collisions into compatible phase and quantization relations, yielding exact results. Experimental gases instantiate it only within a regime where transverse, finite-range, trap, temperature, and loss effects are controlled or explicitly treated as corrections.
Scope of Application¶
The model applies to ideal one-dimensional quantum gases and controlled effective realizations with explicit parameters and boundary conditions. Use it when bosonic symmetry, 1D continuum motion, contact coupling, and boundary convention are explicit; treat traps, finite range, transverse modes, temperature, and loss as declared corrections or variants.
- 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. The central ideal exactness–experimental corrections tradeoff is this: Solvability requires an ideal Hamiltonian while realizations add scales.
Abstract Reasoning¶
Use three linked moves: specify identical bosons and 1D coordinate domain; write kinetic plus delta-contact Hamiltonian; declare coupling sign and scale. As a collapse test, identity collapses when statistics, dimensionality, or contact-interaction structure is changed.
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. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG.
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.
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