--- res: bibo_abstract: - A commonly used theoretical definition of superfluidity in the ground state of a Bose gas is based on the response of the system to an imposed velocity field or, equivalently, to twisted boundary conditions in a box. We are able to carry out this program in the case of a dilute interacting Bose gas in a trap, and we prove that a gas with repulsive interactions is 100% superfluid in the dilute limit in which the Gross-Pitaevskii equation is exact. This is the first example in an experimentally realistic continuum model in which superfluidity is rigorously verified.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Élliott foaf_name: Lieb, Élliott foaf_surname: Lieb - foaf_Person: foaf_givenName: Robert foaf_name: Seiringer, Robert foaf_surname: Seiringer foaf_workInfoHomepage: http://www.librecat.org/personId=4AFD0470-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-6781-0521 - foaf_Person: foaf_givenName: Jakob foaf_name: Yngvason, Jakob foaf_surname: Yngvason bibo_doi: 10.1103/PhysRevB.66.134529 bibo_issue: '13' bibo_volume: 66 dct_date: 2002^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/0163-1829 dct_language: eng dct_publisher: American Physical Society@ dct_title: Superfluidity in dilute trapped Bose gases@ ...