Abstract:We consider nine geometric systems: Miquel dynamics, P-nets, integrable cross-ratio maps, discrete holomorphic functions, orthogonal circle patterns, polygon recutting, circle intersection dynamics, (corrugated) pentagram maps and the short diagonal hyperplane map. Using a unified framework, for each system we prove an explicit expression for the solution as a function of the initial data; more precisely, we show that the solution is equal to the ratio of two partition functions of an oriented dimer model on an Aztec diamond whose face weights are constructed from the initial data. Then, we study the Devron property [Gli15], which states the following: if the system starts from initial data that is singular for the backwards dynamics, this singularity is expected to reoccur after a finite number of steps of the forwards dynamics. Again, using a unified framework, we prove this Devron property for all of the above geometric systems, for different kinds of singular initial data. In doing so, we obtain new singularity results and also known ones [Gli15, Yao14]. Our general method consists in proving that these nine geometric systems are all related to the Schwarzian octahedron recurrence (dSKP equation), and then to rely on the companion paper [AdTM22], where we study this recurrence in general, prove explicit expressions and singularity results.

Explicit solution of system of two higher-order recurrences

A Solution of Simultaneous Recurrences

Recursion Formulae of Higher Weil-Petersson Volumes

Solvable nonlinear systems of 2 recursions displaying interesting evolutions

SOLVING THREE CLASSES OF RECURRENCE EQUATIONS

Systems of several first-order quadratic recursions whose evolution is easily ascertainable

Sum of terms of recurrence sequences in the solution sets of generalized Pell equations

On Recurrence Relations of Multi-dimensional Sequences

Tiling of dominoes with ranked colors

In search of higher Bochner theorem

Generalized high-order iterative methods for solutions of nonlinear systems and their applications

Formal solutions of some family of inhomogeneous nonlinear partial differential equations, Part 2: Summability

A purely combinatorial approach to simultaneous polynomial recurrence modulo 1

On an upper bound of the degree of polynomial identities regarding linear recurrence sequences

Sum of terms of recurrence sequences and $S$-units in the solution sets of norm form equations

The Schwarzian octahedron recurrence (dSKP equation) II: geometric systems

On Expansion of a Solution of General Non-autonomous Polynomial Differential Equation

Identities for second order recurrence sequences

On the Computation of 2-Dimensional Recurrence Equations

On Rational Recursion for Holonomic Sequences

A simple approach to identify systems of nonlinear recursions featuring solutions whose evolution is explicitly ascertainable and which may be asymptotically isochronous as functions of the independent variable (a ticking time)