hard-core bosons