Off-Diagonal Long-Range Order Implies Vanishing Charge Gap.

For a large class of quantum many-body systems with U(1) symmetry, we prove a general inequality that relates the (off-diagonal) long-range order with the charge gap. For a system of bosons or fermions on a lattice or in continuum, the inequality implies that a ground state with off-diagonal long-range order inevitably has vanishing charge gap, and hence is characterized by nonzero charge susceptibility. For a quantum spin system, the inequality implies that a ground state within a magnetization plateau cannot have transverse long-range order.