  We present a mathematically rigorous analysis of the superfluid properties of a Bose-Einstein condensate in the many-body ground state of a one-dimensional model of interacting bosons in a random potential. 
Superfluidity and BEC in a Model of Interacting Bosons in a Random   Potential