  In this short note, we will give a new combinatorial proof of Ginibre's
inequality for XY models. Our proof is based on multigraph representations
introduced by van Engelenburg-Lis (2023) and a new bijection, which can be
viewed as a combinatorial interpretation of Ginibre's square trick.
