Landau's 1949 letter 'On the Theory of Superfluidity' stated the excitation spectrum of superfluid liquid helium empirically - phonons at low momentum and a 'roton' minimum at intermediate momentum - and declared its derivation from first principles for the real, strongly interacting liquid an open problem. The empirical side is now complete: inelastic neutron scattering has measured the full dispersion up to its termination at the 'Pitaevskii plateau', and microscopic many-body methods (Feynman-Cohen backflow, shadow wave functions, dynamic many-body theory, quantum Monte Carlo with analytic continuation) reproduce the main quasiparticle branch to a few percent. What still does not exist is a parameter-free derivation from the atomic Hamiltonian - analytic or numerical - whose approximation scheme is controlled and whose error on ϵ(k)\epsilon(k) is certified, predicting the spectrum of real 4He: sound velocity, maxon energy, roton gap and effective mass, and the behavior of the quasiparticle branch up to the Pitaevskii plateau, with quantified accuracy. The second-sound dispute with Tisza, the empirical determination of the spectrum, the phonon-roton kinetic theory of viscosity, and the He3 impurity problem are settled and lie outside the scope of this task, which concerns only the first-principles derivation of the spectrum.

Background

Liquid helium-4 (4He, the bosonic isotope) does not solidify at saturated vapor pressure even at zero temperature, and below 2.17 K it becomes superfluid (this phase is called He II): it flows without viscosity and transports heat anomalously. Landau's two-fluid model (Landau, 1941; reprint in Khalatnikov's book on superfluidity) treats He II as the superposition of an inert 'superfluid' component carrying no entropy and a 'normal' component made of thermal excitations, each excitation having a definite energy-momentum relation ϵ(p)\epsilon(p), now usually written as a function of wave number kk, ϵ(k)\epsilon(k). Landau's spectrum is a single curve: at small kk, sound quanta ('phonons') with ϵ(k)=ℏck\epsilon(k)=\hbar ck, where cc is the sound velocity; at intermediate kk a local minimum, the 'roton' minimum, fitted by ϵ(k)=Δ+(ℏk−ℏk0)22μ\epsilon(k)=\Delta+\frac{(\hbar k-\hbar k_0)^2}{2\mu} with roton gap Δ\Delta, roton momentum ℏk0\hbar k_0, and effective mass μ\mu; the local maximum between the phonon and roton regions is called the 'maxon'. Superfluidity itself was argued to follow: a body moving slower than the minimum of ϵ(k)/ℏk\epsilon(k)/\hbar k cannot dissipate energy by creating excitations. 'Second sound' is a second wave mode of the two-fluid model in which the normal and superfluid components oscillate out of phase as a temperature wave; its velocity u2u_2 tends to c/3c/\sqrt{3} at low temperature if the normal component consists of phonons with a linear spectrum (Landau's prediction), and to zero if the normal component is a classical gas of atoms (Tisza's competing prediction). The 1949 letter is a short reply to Tisza's adjacent comment in the same issue of Physical Review. In it Landau credits Tisza with priority for the macroscopic two-fluid description, rejects Tisza's atomistic interpretation of the normal component, states the single phonon-roton curve as the result of an unpublished investigation, and lists what remains open: the exact form of ϵ(k)\epsilon(k) at intermediate and high momenta; experimental verification of the predicted second-sound velocity minimum near 1 K; a kinetic theory of viscosity built from phonon-roton collisions; the theory of He3 (the fermionic helium isotope) impurities in He II; and - the item that survives as the core of this problem - a first-principles derivation of the spectrum of the real, strongly interacting liquid, as opposed to the weakly interacting Bose gas treated by Bogoliubov theory (the perturbative small-density theory of Bose gases, which fails qualitatively for helium; the fraction of atoms in the zero-momentum quantum state, the 'condensate fraction', is only about 7 percent at saturated vapor pressure in the most recent estimates). 'First principles' here means: start from the nonrelativistic quantum-mechanical Hamiltonian of NN helium atoms interacting through a realistic He-He pair potential (of the general type parametrized by Aziz and coworkers from spectroscopy and beam data), and predict ϵ(k)\epsilon(k) with no parameter fitted to helium excitation or thermodynamic data. The obstacle is that liquid helium is a strongly correlated Bose liquid with no small parameter. The first microscopic relation, due to Feynman (1954), expresses the excitation energy through the static structure factor S(k)S(k) - the Fourier transform of the liquid's pair correlation function, measurable by diffraction - as ϵ(k)=ℏ2k2/(2mS(k))\epsilon(k)=\hbar^2 k^2/(2mS(k)), with mm the atomic mass. This gives the correct phonon slope at small kk but overestimates the roton energy by roughly a factor of two; the 'backflow' correction of Feynman and Cohen (1956), in which the moving excitation drags a current of surrounding atoms, repairs the roton qualitatively but is not a controlled expansion. Later microscopic work falls into three families. (i) Correlated variational theories: the shadow wave function, an ansatz in which auxiliary 'shadow' variables are integrated over to generate many-particle (not merely pairwise) correlations, which reproduces the measured dispersion to high accuracy but with a variational bias of unknown size. (ii) Dynamic many-body theory (DMBT), which solves coupled equations for one- and two-particle Green's functions (propagators encoding single- and pair-excitation dynamics) with self-consistent renormalization. (iii) Quantum Monte Carlo (QMC), stochastic sampling that solves the many-body Schrödinger equation with controlled statistical errors for ground-state static properties, but whose extension to dynamical excitations requires analytically continuing correlations from imaginary time to real frequency - a mathematically ill-posed inversion regularized, for example, by GIFT (Genetic Inversion via Falsification of Theories, a maximum-entropy-type method). The measured spectrum itself is known from inelastic neutron scattering (neutrons exchange energy and momentum with the liquid, mapping ϵ(k)\epsilon(k) directly) up to the 'Pitaevskii plateau': the region where the single-quasiparticle branch flattens near twice the roton gap, above which an excitation can decay into a roton pair and no longer remains sharp. Phenomenological density functionals such as the Orsay-Trento functional (Dalfovo et al., 1995) describe helium quantitatively but fit their parameters to helium data, so they do not count as first-principles derivations.

Problem Statement

Derive, from first principles, the low-temperature single-quasiparticle excitation spectrum of superfluid liquid 4He. Concretely: starting from the nonrelativistic many-body Hamiltonian of NN helium-4 atoms with a fixed, realistic He-He pair interaction (and, if required, ab initio three-body forces), with no parameter adjusted to helium excitation or thermodynamic data, predict the dispersion ϵ(k)\epsilon(k) of the liquid at a specified density (the density being stated by the derivation, e.g. saturated vapor pressure): the phonon slope cc, the maxon energy, the roton gap Δ\Delta, roton wave number k0k_0, and effective mass μ\mu, and the behavior of the branch up to the region where the single-excitation dispersion remains well defined as it approaches the Pitaevskii plateau, with the accuracy and uncertainty of the predictions reported. A derivation qualifies only if it sets out the approximation scheme by which ϵ(k)\epsilon(k) is obtained and bounds that scheme's residual error by an independently computable quantity, quoted as a numerical error budget for ϵ(k)\epsilon(k); for a systematic expansion this means evidence that the successive contributions decrease together with an explicit bound on the neglected remainder. A result whose error bars the scheme cannot bound - an unknown variational bias, or an ill-posed analytic continuation from imaginary time - and a curve whose accuracy is inferred only from agreement with the measured branch, do not meet this test.

References

  1. L. D. Landau, On the Theory of Superfluidity, Physical Review 75, 884 (1949), DOI 10.1103/physrev.75.884, https://doi.org/10.1103/physrev.75.884
  2. L. Tisza, On the Theory of Superfluidity, Physical Review 75, 885 (1949), DOI 10.1103/physrev.75.885, https://doi.org/10.1103/physrev.75.885
  3. L. D. Landau, The Theory of Superfluidity of Helium II, Journal of Physics (USSR) 5, 71 (1941); reprinted in I. M. Khalatnikov, An Introduction to the Theory of Superfluidity, pp. 185-204, DOI 10.1201/9780429502897-26, https://doi.org/10.1201/9780429502897-26
  4. L. D. Landau, Letters to the Editor on the Theory of Superfluidity of Helium II, reprinted in I. M. Khalatnikov, An Introduction to the Theory of Superfluidity, pp. 205-206, DOI 10.1201/9780429502897-27, https://doi.org/10.1201/9780429502897-27 (reprint of the 1949 Physical Review letters)
  5. V. P. Peshkov, Determination of the Velocity of Propagation of the Second Sound in Helium II, Journal of Physics (USSR) 10, 389 (1946); reprinted in the collection Helium 4, pp. 166-187, DOI 10.1016/b978-0-08-015816-7.50016-x, https://doi.org/10.1016/b978-0-08-015816-7.50016-x
  6. D. de Klerk, R. P. Hudson, J. R. Pellam, Second Sound Velocity Measurements below 1 K, Physical Review 89, 326 (1953), DOI 10.1103/physrev.89.326, https://doi.org/10.1103/physrev.89.326
  7. D. de Klerk, R. P. Hudson, J. R. Pellam, Second Sound Propagation below 1 K, Physical Review 93, 28 (1954), DOI 10.1103/physrev.93.28, https://doi.org/10.1103/physrev.93.28
  8. R. P. Feynman, Atomic Theory of the Two-Fluid Model of Liquid Helium, Physical Review 94, 262 (1954), DOI 10.1103/PhysRev.94.262, https://doi.org/10.1103/PhysRev.94.262
  9. R. P. Feynman, M. Cohen, Energy Spectrum of the Excitations in Liquid Helium, Physical Review 102, 1189 (1956), DOI 10.1103/PhysRev.102.1189, https://doi.org/10.1103/PhysRev.102.1189
  10. J. L. Yarnell, G. P. Arnold, P. J. Bendt, E. C. Kerr, Excitations in Liquid Helium: Neutron Scattering Measurements, Physical Review 113, 1379 (1959), DOI 10.1103/physrev.113.1379, https://doi.org/10.1103/physrev.113.1379
  11. D. G. Henshaw, A. D. B. Woods, Modes of Atomic Motions in Liquid Helium by Inelastic Scattering of Neutrons, Physical Review 121, 1266 (1961), DOI 10.1103/physrev.121.1266, https://doi.org/10.1103/physrev.121.1266
  12. R. A. Cowley, A. D. B. Woods, Inelastic Scattering of Thermal Neutrons from Liquid Helium, Canadian Journal of Physics 49, 177 (1971), DOI 10.1139/p71-021, https://doi.org/10.1139/p71-021
  13. R. A. Aziz, V. P. S. Nain, J. S. Carley, W. L. Taylor, G. T. McConville, An accurate intermolecular potential for helium, Journal of Chemical Physics 70, 4330 (1979), DOI 10.1063/1.438007, https://doi.org/10.1063/1.438007
  14. L. D. Landau, I. M. Khalatnikov, The Theory of the Viscosity of Helium II: I. Collisions of Elementary Excitations in Helium II (1949), in Collected Papers of L. D. Landau, pp. 494-510, DOI 10.1016/b978-0-08-010586-4.50074-2, https://doi.org/10.1016/b978-0-08-010586-4.50074-2
  15. F. Dalfovo, A. Lastri, L. Pricaupenko, S. Stringari, J. Treiner, Structural and dynamical properties of superfluid helium: A density-functional approach, Physical Review B 52, 1193 (1995), DOI 10.1103/PhysRevB.52.1193, https://doi.org/10.1103/PhysRevB.52.1193
  16. R. J. Donnelly, C. F. Barenghi, The Observed Properties of Liquid Helium at the Saturated Vapor Pressure, Journal of Physical and Chemical Reference Data 27, 1217 (1998), DOI 10.1063/1.556028, https://doi.org/10.1063/1.556028
  17. S. Balibar, The Discovery of Superfluidity, Journal of Low Temperature Physics 146, 441 (2007), DOI 10.1007/s10909-006-9276-7, arXiv:physics/0611119, https://arxiv.org/abs/physics/0611119
  18. E. Vitali, M. Rossi, L. Reatto, D. E. Galli, Ab initio low-energy dynamics of superfluid and solid 4He, Physical Review B 82, 174510 (2010), DOI 10.1103/PhysRevB.82.174510, arXiv:0905.4406, https://arxiv.org/abs/0905.4406
  19. F. Arrigoni, E. Vitali, D. E. Galli, L. Reatto, Excitation spectrum in two-dimensional superfluid 4He, Low Temperature Physics 39, 793 (2013), DOI 10.1063/1.4821079, arXiv:1305.3732, https://arxiv.org/abs/1305.3732
  20. C. E. Campbell, E. Krotscheck, T. Lichtenegger, Dynamic many-body theory: Multiparticle fluctuations and the dynamic structure of 4He, Physical Review B 91, 184510 (2015), DOI 10.1103/PhysRevB.91.184510, https://doi.org/10.1103/PhysRevB.91.184510
  21. K. Beauvois, H. Godfrin, E. Krotscheck, R. E. Zillich, Transport and Phonon Damping in 4He, Journal of Low Temperature Physics 197, 113 (2019), DOI 10.1007/s10909-019-02219-1, https://doi.org/10.1007/s10909-019-02219-1
  22. H. Godfrin, K. Beauvois, A. Sultan, E. Krotscheck, J. Dawidowski, B. Fåk, J. Ollivier, Dispersion relation of Landau elementary excitations and thermodynamic properties of superfluid 4He, Physical Review B 103, 104516 (2021), DOI 10.1103/PhysRevB.103.104516, arXiv:2012.09067, https://arxiv.org/abs/2012.09067
  23. M. Boninsegni, Monte Carlo study of the superfluid phase of 4He, arXiv:2605.00629 (2026), https://arxiv.org/abs/2605.00629