-
Local limit of massive spanning forests on the complete graph
Authors:
Matteo D'Achille,
Nathanaël Enriquez,
Paul Melotti
Abstract:
We identify the local limit of massive spanning forests on the complete graph. This generalizes a well-known theorem of Grimmett on the local limit of uniform spanning trees on the complete graph.
We identify the local limit of massive spanning forests on the complete graph. This generalizes a well-known theorem of Grimmett on the local limit of uniform spanning trees on the complete graph.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
The Schwarzian octahedron recurrence (dSKP equation) II: geometric systems
Authors:
Niklas Christoph Affolter,
Béatrice de Tilière,
Paul Melotti
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 pr…
▽ More
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.
△ Less
Submitted 7 June, 2024; v1 submitted 30 July, 2022;
originally announced August 2022.
-
The Schwarzian octahedron recurrence (dSKP equation) I: explicit solutions
Authors:
Niklas Christoph Affolter,
Béatrice de Tilière,
Paul Melotti
Abstract:
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 equat…
▽ More
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].
△ Less
Submitted 7 June, 2024; v1 submitted 30 July, 2022;
originally announced August 2022.
-
Points and lines configurations for perpendicular bisectors of convex cyclic polygons
Authors:
Paul Melotti,
Sanjay Ramassamy,
Paul Thévenin
Abstract:
We characterize the topological configurations of points and lines that may arise when placing n points on a circle and drawing the n perpendicular bisectors of the sides of the corresponding convex cyclic n-gon. We also provide exact and asymptotic formulas describing a random realizable configuration, obtained either by sampling the points uniformly at random on the circle or by sampling a reali…
▽ More
We characterize the topological configurations of points and lines that may arise when placing n points on a circle and drawing the n perpendicular bisectors of the sides of the corresponding convex cyclic n-gon. We also provide exact and asymptotic formulas describing a random realizable configuration, obtained either by sampling the points uniformly at random on the circle or by sampling a realizable configuration uniformly at random.
△ Less
Submitted 23 March, 2022; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Cube moves for $s$-embeddings and $α$-realizations
Authors:
Paul Melotti,
Sanjay Ramassamy,
Paul Thévenin
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…
▽ More
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 $α$-embeddings as tilings of a portion of the plane by quadrilaterals such that the side lengths of each quadrilateral $ABCD$ satisfy the relation $AB^α+CD^α=AD^α+BC^α$, providing a common generalization for harmonic embeddings adapted to the study of resistor networks ($α=2$) and for $s$-embeddings ($α=1$). We investigate existence and uniqueness properties of the cube move for these $α$-embeddings.
△ Less
Submitted 4 October, 2021; v1 submitted 19 March, 2020;
originally announced March 2020.
-
The free-fermion eight-vertex model: couplings, bipartite dimers and Z-invariance
Authors:
Paul Melotti
Abstract:
We study the eight-vertex model at its free-fermion point. We express a new "switching" symmetry of the model in several forms: partition functions, order-disorder variables, couplings, Kasteleyn matrices. This symmetry can be used to relate free-fermion 8V-models to free-fermion 6V-models, or bipartite dimers. We also define new solution of the Yang-Baxter equations in a "checkerboard" setting, a…
▽ More
We study the eight-vertex model at its free-fermion point. We express a new "switching" symmetry of the model in several forms: partition functions, order-disorder variables, couplings, Kasteleyn matrices. This symmetry can be used to relate free-fermion 8V-models to free-fermion 6V-models, or bipartite dimers. We also define new solution of the Yang-Baxter equations in a "checkerboard" setting, and a corresponding Z-invariant model. Using the bipartite dimers of Boutillier, de Tilière and Raschel, we give exact local formulas for edge correlations in the Z-invariant free-fermion 8V-model on lozenge graphs, and we deduce the construction of an ergodic Gibbs measure.
△ Less
Submitted 22 September, 2020; v1 submitted 5 November, 2018;
originally announced November 2018.
-
On path partitions of the divisor graph
Authors:
Paul Melotti,
Eric Saias
Abstract:
It is known that the longest simple path in the divisor graph that uses integers $\leq N$ is of length $\asymp N/\log N$. We study the partitions of $\{1,2,\dots, N\}$ into a minimal number of paths of the divisor graph, and we show that in such a partition, the longest path can have length asymptotically $N^{1-o(1)}$.
It is known that the longest simple path in the divisor graph that uses integers $\leq N$ is of length $\asymp N/\log N$. We study the partitions of $\{1,2,\dots, N\}$ into a minimal number of paths of the divisor graph, and we show that in such a partition, the longest path can have length asymptotically $N^{1-o(1)}$.
△ Less
Submitted 20 July, 2018;
originally announced July 2018.
-
The free-fermionic $C^{(1)}_2$ loop model, double dimers and Kashaev's recurrence
Authors:
Paul Melotti
Abstract:
We study a two-color loop model known as the $C^{(1)}_2$ loop model. We define a free-fermionic regime for this model, and show that under this assumption it can be transformed into a double dimer model. We then compute its free energy on periodic planar graphs. We also study the star-triangle relation or Yang-Baxter equations of this model, and show that after a proper parametrization they can be…
▽ More
We study a two-color loop model known as the $C^{(1)}_2$ loop model. We define a free-fermionic regime for this model, and show that under this assumption it can be transformed into a double dimer model. We then compute its free energy on periodic planar graphs. We also study the star-triangle relation or Yang-Baxter equations of this model, and show that after a proper parametrization they can be summed up into a single relation known as Kashaev's relation. This is enough to identify the solution of Kashaev's relation as the partition function of a $C^{(1)}_2$ loop model with some boundary conditions, thus solving an open question of Kenyon and Pemantle about the combinatorics of Kashaev's relation.
△ Less
Submitted 24 April, 2018; v1 submitted 10 August, 2017;
originally announced August 2017.
-
A probabilistic Hadwiger-Nelson problem
Authors:
Thomas Bourgeat,
Marc Heinrich,
Paul Melotti,
Jean-Marc Robert
Abstract:
If you color a table using k colors, and throw a needle randomly on it, for some proper definition, you get a certain probability that the endpoints will fall on different colors. How can one make this probability maximal? This problem is related to finite graphs having unit-length edges, and some bounds on the optimal probability are deduced.
If you color a table using k colors, and throw a needle randomly on it, for some proper definition, you get a certain probability that the endpoints will fall on different colors. How can one make this probability maximal? This problem is related to finite graphs having unit-length edges, and some bounds on the optimal probability are deduced.
△ Less
Submitted 11 January, 2015;
originally announced January 2015.
