A first integrability result for Miquel dynamics

Miquel dynamics is a discrete-time dynamical system on the space of square-grid circle patterns. For biperiodic circle patterns with both periods equal to two, we show that the dynamics corresponds to translation on an elliptic curve, thus providing the first integrability result for this dynamics. The main tool is a geometric interpretation of the addition law on the normalization of binodal quartic curves.