Superfluidity or supersolidity as a consequence of off-diagonal long-range order

We present a general derivation of Hess-Fairbank effect or nonclassical rotational inertial (NCRI), i.e., the refusal to rotate with its container, as well as the quantization of angular momentum, as consequences of off-diagonal long-range order (ODLRO) in an interacting Bose system. Afterwards, the path integral formulation of superfluid density is rederived without ignoring the centrifugal potential. Finally and in particular, for a class of variational wave functions used for solid helium, treating the constraint of single-valuedness boundary condition carefully, we show that there is no ODLRO and, especially, demonstrate explicitly that NCRI cannot be possessed in absence of defects, even though there exist zero-point motion and exchange effect.