arXiv++ Combinatorics

Miquel dynamics is a discrete time dynamics for circle patterns, which relies on Miquel's six circle theorem. Previous work shows that the evolution of the circle centers satisfy the dSKP equation on the octahedral lattice $A_3$. As a consequence, Miquel dynamics is a discrete integrable system. Moreover, Miquel dynamics give rise to a real-valued cluster structure. The evolution of the cluster variables under Miquel dynamics is also called a Y-system in the discrete integrable systems community. If the Y-system is real positive-valued then the circle pattern is accompanied by an invariant dimer model, an exactly solvable model studied in statistical physics. However, while circle patterns are Möbius invariant, the circle centers and the Y-system are not Möbius invariant, which violates the so called transformation group principle. In this article we show that half the intersection points satisfy the dSKP equation as well, and we introduce two new real-valued Y-systems for Miquel dynamics that involve only the intersection points. Therefore, the new Y-systems are Möbius invariant, and thus satisfy the transformation group principle. We also show that the circle centers and intersection points combined satisfy the dSKP equation on the 4-dimensional octahedral lattice $A_4$. In addition, we present two more complex-valued Y-systems for Miquel dynamics, which are real-valued in and only in the case of integrable circle patterns. We also investigate the special cases of harmonic embeddings and s-embeddings, which relate to the spanning tree and Ising model respectively.

In this PhD thesis we develop the frame work of triple crossing diagram maps (TCD maps), which describes constrained configurations of points in projective spaces and discrete dynamics on these configurations. We are able to capture the constraints and dynamics of a large list of examples that occur in discrete differential geometry (DDG), discrete integrable systems and exactly solvable models. We explain how to apply various geometric operations to TCD maps, including projections, intersections with hyperplanes and projective dualization. In fact, we show how many examples in the literature are related by the aforementioned operations. Moreover, we introduce a hierarchy of cluster structures on TCD maps, thus answering the open question how objects of DDG relate to cluster structures. At the same time, the general cluster structure reproduces cluster structures known for the pentagram map, T-graphs and t-embeddings. We also explain how the cluster structures behave under geometric operations. Via the cluster structures, the TCD maps are also related to the probabilistic dimer model. The spanning tree model and the Ising model can be obtained as special cases of the dimer model, and we investigate how these special cases relate to geometry. This also leads to two new incidence theorems in relation to quadrics and null-polarities in $\mathbb C \mathrm P^3$. Finally, we also show how TCD maps relate to the Fock-Goncharov moduli spaces of projective flag configurations.

We prove an explicit expression for the solutions of the discrete Schwarzian octahedron recurrence, also known as the discrete Schwarzian KP equation (dSKP), as the ratio of two partition functions. Each one counts weighted oriented dimer configurations of an associated bipartite graph, and is equal to the determinant of a Kasteleyn matrix. This is in the spirit of Speyer's result on the dKP equation, or octahedron recurrence [Spe07]. One consequence is that dSKP has zero algebraic entropy, meaning that the growth of the degrees of the polynomials involved is only polynomial. There are cancellations in the partition function, and we prove an alternative, cancellation free explicit expression involving complementary trees and forests. Using all of the above, we show several instances of the Devron property for dSKP, i.e., that certain singularities in initial data repeat after a finite number of steps. This has many applications for discrete geometric systems and is the subject of the companion paper [AdTM22]. We also prove limit shape results analogous to the arctic circle of the Aztec diamond. Finally, we discuss the combinatorics of all the other octahedral equations in the classification of Adler, Bobenko and Suris [ABS12].

We introduce twisted triple crossing diagram maps, collections of points in projective space associated to bipartite graphs on the cylinder, and use them to provide geometric realizations of the cluster integrable systems of Goncharov and Kenyon constructed from toric dimer models. Using this notion, we provide geometric proofs that the pentagram map and the cross-ratio dynamics integrable systems are cluster integrable systems. We show that in appropriate coordinates, cross-ratio dynamics is described by geometric $R$-matrices, which solves the open question of finding a cluster algebra structure describing cross-ratio dynamics.