Cube moves for $s$-embeddings and $\alpha$-realizations

Abstract

Chelkak introduced $s$-embeddings as tilings by tangential quads which provide the right setting to study the Ising model with arbitrary coupling constants on arbitrary planar graphs. We prove the existence and uniqueness of a local transformation for $s$-embeddings called the cube move, which consists in flipping three quadrilaterals in such a way that the resulting tiling is also in the class of $s$-embeddings. In passing, we give a new and simpler formula for the change in coupling constants for the Ising star-triangle transformation which is conjugated to the cube move for $s$-embeddings. We introduce more generally the class of $\alpha$-embeddings as tilings of a portion of the plane by quadrilaterals such that the side lengths of each quadrilateral $ABCD$ satisfy the relation $AB^\alpha+CD^\alpha=AD^\alpha+BC^\alpha$, providing a common generalization for harmonic embeddings adapted to the study of resistor networks ($\alpha=2$) and for $s$-embeddings ($\alpha=1$). We investigate existence and uniqueness properties of the cube move for these $\alpha$-embeddings.