The complete trans-series for conserved charges in the Lieb-Liniger model

Dennis le Plat; Istv\'an Vona; J\'anos Balog; Ramon Miravitllas; Zolt\'an Bajnok

arxiv: 2504.05932 · v2 · submitted 2025-04-08 · ✦ hep-th · cond-mat.quant-gas· cond-mat.stat-mech

The complete trans-series for conserved charges in the Lieb-Liniger model

Zolt\'an Bajnok , J\'anos Balog , Ramon Miravitllas , Dennis le Plat , Istv\'an Vona This is my paper

Pith reviewed 2026-05-05 05:01 UTC · model claude-opus-4-7

classification ✦ hep-th cond-mat.quant-gascond-mat.stat-mech MSC 81T1582B2334M40 PACS 02.30.Ik03.75.Hh11.15.Bt

keywords Lieb-Liniger modeltrans-seriesresurgenceWiener-Hopfthermodynamic Bethe ansatzconserved chargesdisk capacitorVolin method

0 comments

The pith

The conserved-charge moments of the Lieb–Liniger Bose gas are given as a complete trans-series, perturbative plus all exponentially small sectors, fixed by ODEs and verified to ~10^-96 against the exact integral equation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the perturbative large-density expansion of the Lieb–Liniger model to its full non-perturbative completion. Each moment of the rapidity density — the density itself, the ground-state energy, and all higher conserved charges — is shown to admit a double expansion in a small running coupling v and in the instanton-like factor e^{-2/v}. The structure is determined by writing the moments and their generalisations in terms of a perturbative basis A that satisfies simple ordinary differential equations; two integration constants per moment are pinned down by Volin's recursive algorithm. As a corollary the same machinery gives the complete analytic expansion of the capacitance of two coaxial circular plates at small separation, an old electrostatics problem that maps onto the same integral equation. The authors verify their construction in three ways: the trans-series satisfies the ODEs sector by sector, the alien-derivative relations expected from resurgence are reproduced numerically from the large-order growth of perturbative coefficients, and the median Borel resummation of the trans-series agrees with a high-precision direct solution of the integral equation to about ninety-six digits.

Core claim

For the Lieb–Liniger gas of one-dimensional bosons, the moments of the rapidity density — which encode the particle density, ground-state energy, and the expectation values of all higher conserved charges — are written as complete trans-series in the small running coupling: a perturbative power series plus a tower of exponentially suppressed corrections of the form e^{-2k/v}. The non-perturbative pieces are built from a perturbative basis obtained by solving a small system of ordinary differential equations linking the moments to generalised "boundary" quantities of the Bethe-root integral equation. Two integration constants per moment are fixed by matching to the known recursive perturbativ

What carries the argument

A perturbative basis A_{α,β} (and its boundary cousins a_α and the moment basis A_{α;ℓ}) defined through the Wiener–Hopf factorisation of the kernel; this basis obeys a closed system of first-order ODEs in the interval endpoint b that propagate the known perturbative series of the density into every non-perturbative sector, with poles of σ(ω)=G_-/G_+ at integer multiples of 2 supplying the exponential weights and Stokes constants S_{κ_r}.

If this is right

Every conserved-charge expectation value in the Lieb–Liniger ground state has an explicit, computable analytic form including all exponentially small corrections, not just an asymptotic series.
The capacitance of the coaxial circular-plate capacitor at small separation has a complete analytic small-distance expansion, including all exponentially suppressed corrections in the disk-distance ratio.
Recently derived weak-coupling formulas for the sound velocity, Luttinger parameter, and other Fermi-surface observables in this model can be promoted from asymptotic series to full trans-series by substitution.
The moments are 'resurgent in the strong sense': their perturbative coefficients alone determine, via median Borel resummation, the exact physical answer.
The same ODE-plus-Wiener–Hopf strategy that worked for relativistic O(N) sigma models now extends cleanly to non-relativistic moment problems, suggesting it is the generic tool for trans-series in this class of integrable integral equations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The fact that no semiclassical instanton or soliton has yet been matched to these exponential sectors leaves open whether dark/bright solitons of the underlying Gross–Pitaevskii equation play the role that instantons play in the O(3) model — a concrete saddle-point calculation could test this.
Because the construction goes through the same kernel as the disk-capacitor problem, the Stokes constants S_{κ_r} = 2i (r/e)^{2r}/((r-1)! r!) acquire a direct electrostatic meaning that has not been spelled out.
The unresolved tension with conjectured resummed forms of the small-γ energy density suggests those conjectures, if true, must reorganise the trans-series in a non-trivial Borel-plane way; the framework here gives the data needed to test that reorganisation explicitly.
Extending the same ODE machinery to the attractive Gaudin–Yang fermion problem should yield an analogous complete trans-series and may clarify whether the superconducting gap really does control the large-order growth there.

Load-bearing premise

That the perturbative series of each moment in the running coupling is a regular power series with no hidden logarithms, so that the two integration constants per moment really do capture all the freedom — a property checked order by order numerically, but not proved.

What would settle it

Compute the energy-density moment (or any higher moment) directly from the Bethe-ansatz integral equation to very high numerical precision at, say, b = 10, and compare with the median Borel resummation of the trans-series given here. If the difference exceeds the magnitude of the next omitted exponential sector at any order, the claimed completeness fails. The paper reports agreement at the 10^{-96} level through five exponential orders; an honest discrepancy beyond the resummation error would settle the matter.

read the original abstract

We determine the complete trans-series solution for the (non-relativistic) moments of the rapidity density in the Lieb-Liniger model. The trans-series is written explicitly in terms of a perturbative basis, which can be obtained from the already known perturbative expansion of the density by solving several ordinary differential equations. Unknown integration constants are fixed from Volin's method. We have checked that our solution satisfies the analytical consistency requirements including the newly derived resurgence relations and agrees with the high precision numerical solution. Our results also provides the full analytic trans-series for the capacitance of the coaxial circular plate capacitor.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

pith-pipeline@v0.1.0 · 4551 in / 1124 out tokens · 16961 ms · 2026-05-05T05:01:04.968673+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Anatomy of the simplest renormalon
hep-th 2025-04 unverdicted novelty 5.0

In the large-N limit of the 2D O(N) scalar theory, the IR renormalon in the ground state energy is the correct asymptotic expansion of the exact solution, with the complete trans-series determined at NLO in 1/N; the t...