Cube moves for \(s\)-embeddings and \(\alpha\)-realizations (Q6081313)

Let \(G\) be a planar graph, that is, a graph that can be embedded in the plane or, equivalently, in the sphere and \(G^\diamond\) its diamond graph, whose vertex set is composed of the vertices and dual vertices of \(G\) and whose faces are all quadrilaterals, one for each edge of \(G.\) The embeddings associated to random walks are called Tutte embeddings or harmonic embeddings [\textit{W. T. Tutte}, Proc. Lond. Math. Soc. (3) 13, 743--768 (1963; Zbl 0115.40805)] and have the property that the faces of \(G^\diamond\) are embedded as orthodiagonal quads, that is, their diagonals are perpendicular. The embeddings associated to the ferromagnetic Ising model were introduced by \textit{D. Chelkak} [in: Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume IV. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 2801--2828 (2018; Zbl 1453.82006); ``Ising model and \(s\)-embeddings of planar graphs'', Preprint, \url{arXiv:2006.14559}] under the name of \(s\)-embeddings. The authors 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.