Concrete models of interacting quantum systems for which expected manifestations of the many-body localized phase can be rigorously verified are in short supply. Recent work by Seiringer and Warzel (2016 New J. Phys. 18 035002) succeeds in deriving such properties for a disordered Tonks-Girardeau gas. This provides a first example of a Boson gas in the strong Bose glass phase, characterized by the absence of Bose-Einstein condensation as well as the absence of superfluidity at zero temperature. The derivation exploits new mathematical tools to overcome problems arising from the non-locality of Fermionic wave functions associated with the states of a Tonks-Girardeau gas.
