-
Fock's dimer model on the Aztec diamond
Authors:
Cédric Boutillier,
Béatrice de Tilière
Abstract:
We consider the dimer model on the Aztec diamond with Fock's weights, which is gauge equivalent to the model with any choice of positive weight function. We prove an explicit, compact formula for the inverse Kasteleyn matrix, thus extending numerous results in the case of periodic graphs. We also show an explicit product formula for the partition function; as a specific instance of the genus 0 cas…
▽ More
We consider the dimer model on the Aztec diamond with Fock's weights, which is gauge equivalent to the model with any choice of positive weight function. We prove an explicit, compact formula for the inverse Kasteleyn matrix, thus extending numerous results in the case of periodic graphs. We also show an explicit product formula for the partition function; as a specific instance of the genus 0 case, we recover Stanley's formula. We then use our explicit formula for the inverse Kasteleyn matrix to recover, in a simple way, limit shape results; we also obtain new ones. In doing so, we extend the correspondence between the limit shape and the amoeba of the corresponding spectral curve of arXiv:2306.07482 to the case of non-generic weights.
△ Less
Submitted 30 May, 2024;
originally announced May 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.
-
Minimal bipartite dimers and higher genus Harnack curves
Authors:
Cédric Boutillier,
David Cimasoni,
Béatrice de Tilière
Abstract:
This paper completes the comprehensive study of the dimer model on infinite minimal graphs with Fock's weights [arXiv:1503.00289] initiated in [arXiv:2007.14699]: the latter article dealt with the elliptic case, i.e., models whose associated spectral curve is of genus one, while the present work applies to models of arbitrary genus. This provides a far-reaching extension of the genus zero results…
▽ More
This paper completes the comprehensive study of the dimer model on infinite minimal graphs with Fock's weights [arXiv:1503.00289] initiated in [arXiv:2007.14699]: the latter article dealt with the elliptic case, i.e., models whose associated spectral curve is of genus one, while the present work applies to models of arbitrary genus. This provides a far-reaching extension of the genus zero results of [arXiv:math-ph/0202018, arXiv:math/0311062], from isoradial graphs with critical weights to minimal graphs with weights defining an arbitrary spectral data. For any minimal graph with Fock's weights, we give an explicit local expression for a two-parameter family of inverses of the associated Kasteleyn operator. In the periodic case, this allows us to prove local formulas for all ergodic Gibbs measures, thus providing an alternative description of the measures constructed in [arXiv:math-ph/0311005]. We also compute the corresponding slopes, exhibit an explicit parametrization of the spectral curve, identify the divisor of a vertex, and build on [arXiv:math/0311062, arXiv:1107.5588] to establish a correspondence between Fock's models on periodic minimal graphs and Harnack curves endowed with a standard divisor.
△ Less
Submitted 10 November, 2022; v1 submitted 23 December, 2021;
originally announced December 2021.
-
Elliptic dimers on minimal graphs and genus 1 Harnack curves
Authors:
Cédric Boutillier,
David Cimasoni,
Béatrice de Tilière
Abstract:
This paper provides a comprehensive study of the dimer model on infinite minimal graphs with Fock's elliptic weights [arXiv:1503.00289]. Specific instances of such models were studied in [arXiv:052711, arXiv:1612.09082, arXiv1801.00207]; we now handle the general genus 1 case, thus proving a non-trivial extension of the genus 0 results of [arXiv:math-ph/0202018, arXiv:math/0311062] on isoradial cr…
▽ More
This paper provides a comprehensive study of the dimer model on infinite minimal graphs with Fock's elliptic weights [arXiv:1503.00289]. Specific instances of such models were studied in [arXiv:052711, arXiv:1612.09082, arXiv1801.00207]; we now handle the general genus 1 case, thus proving a non-trivial extension of the genus 0 results of [arXiv:math-ph/0202018, arXiv:math/0311062] on isoradial critical models. We give an explicit local expression for a two-parameter family of inverses of the Kasteleyn operator with no periodicity assumption on the underlying graph. When the minimal graph satisfies a natural condition, we construct a family of dimer Gibbs measures from these inverses, and describe the phase diagram of the model by deriving asymptotics of correlations in each phase. In the $\mathbb{Z}^2$-periodic case, this gives an alternative description of the full set of ergodic Gibbs measures constructed in [arXiv:math-ph/0311005] by Kenyon, Okounkov and Sheffield. We also establish a correspondence between elliptic dimer models on periodic minimal graphs and Harnack curves of genus 1. Finally, we show that a bipartite dimer model is invariant under the shrinking/expanding of 2-valent vertices and spider moves if and only if the associated Kasteleyn coefficients are antisymmetric and satisfy Fay's trisecant identity.
△ Less
Submitted 8 December, 2022; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Isoradial immersions
Authors:
Cédric Boutillier,
David Cimasoni,
Béatrice de Tilière
Abstract:
Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings:…
▽ More
Isoradial embeddings of planar graphs play a crucial role in the study of several models of statistical mechanics, such as the Ising and dimer models. Kenyon and Schlenker give a combinatorial characterization of planar graphs admitting an isoradial embedding, and describe the space of such embeddings. In this paper we prove two results of the same type for generalizations of isoradial embeddings: isoradial immersions and minimal immersions. We show that a planar graph admits a flat isoradial immersion if and only if its train-tracks do not form closed loops, and that a bipartite graph has a minimal immersion if and only if it is minimal. In both cases we describe the space of such immersions. The techniques used are different in both settings, and distinct from those of Kenyon and Schlenker. We also give an application of our results to the dimer model defined on bipartite graphs admitting minimal immersions.
△ Less
Submitted 5 October, 2021; v1 submitted 21 December, 2019;
originally announced December 2019.
-
The $Z$-Dirac and massive Laplacian operators in the $Z$-invariant Ising model
Authors:
Béatrice de Tilière
Abstract:
Consider an elliptic parameter $k$; we introduce a family of $Z^u$-Dirac operators $(\mathsf{K}(u))_{u\in\Re(\mathbb{T}(k))}$, relate them to the $Z$-massive Laplacian of [BdTR17b], and extend to the full $Z$-invariant case the results of Kenyon [Ken02] on discrete holomorphic and harmonic functions, which correspond to the case $k=0$. We prove, in a direct statistical mechanics way, how and why t…
▽ More
Consider an elliptic parameter $k$; we introduce a family of $Z^u$-Dirac operators $(\mathsf{K}(u))_{u\in\Re(\mathbb{T}(k))}$, relate them to the $Z$-massive Laplacian of [BdTR17b], and extend to the full $Z$-invariant case the results of Kenyon [Ken02] on discrete holomorphic and harmonic functions, which correspond to the case $k=0$. We prove, in a direct statistical mechanics way, how and why the $Z^u$-Dirac and $Z$-massive Laplacian operators appear in the $Z$-invariant Ising model, considering the case of infinite and finite isoradial graphs. More precisely, consider the dimer model on the Fisher graph ${\mathsf{G}}^{\scriptscriptstyle{\mathrm{F}}}$ arising from a $Z$-invariant Ising model. We express coefficients of the inverse Fisher Kasteleyn operator as a function of the inverse $Z^u$-Dirac operator and also as a function of the $Z$-massive Green function; in particular this proves a (massive) random walk representation of important observables of the Ising model. We prove that the squared partition function of the Ising model is equal, up to a constant, to the determinant of the $Z$-massive Laplacian operator with specific boundary conditions, the latter being the partition function of rooted spanning forests. To show these results, we relate the inverse Fisher Kasteleyn operator and that of the dimer model on the bipartite graph ${\mathsf{G}}^{\scriptscriptstyle{\mathrm{Q}}}$ arising from the XOR-Ising model, and we prove matrix identities between the Kasteleyn matrix of ${\mathsf{G}}^{\scriptscriptstyle{\mathrm{Q}}}$ and the $Z^u$-Dirac operator, that allow to reach inverse matrices as well as determinants.
△ Less
Submitted 2 February, 2018; v1 submitted 30 December, 2017;
originally announced January 2018.
-
The $Z$-invariant Ising model via dimers
Authors:
Cédric Boutillier,
Béatrice de Tilière,
Kilian Raschel
Abstract:
The $Z$-invariant Ising model (Baxter in Philos Trans R Soc Lond A Math Phys Eng Sci 289(1359):315--346, 1978) is defined on an isoradial graph and has coupling constants depending on an elliptic parameter $k$. When $k=0$ the model is critical, and as $k$ varies the whole range of temperatures is covered. In this paper we study the corresponding dimer model on the Fisher graph, thus extending our…
▽ More
The $Z$-invariant Ising model (Baxter in Philos Trans R Soc Lond A Math Phys Eng Sci 289(1359):315--346, 1978) is defined on an isoradial graph and has coupling constants depending on an elliptic parameter $k$. When $k=0$ the model is critical, and as $k$ varies the whole range of temperatures is covered. In this paper we study the corresponding dimer model on the Fisher graph, thus extending our papers (Boutillier and de Tili{è}re in Probab Theory Relat Fields 147:379--413, 2010; Commun Math Phys 301(2):473--516, 2011) to the full $Z$-invariant case. One of our main results is an explicit, local formula for the inverse of the Kasteleyn operator. Its most remarkable feature is that it is an elliptic generalization of Boutillier and de Tili{è}re (2011): it involves a local function and the massive discrete exponential function introduced in Boutillier et al. (Invent Math 208(1):109--189, 2017). This shows in particular that $Z$-invariance, and not criticality, is at the heart of obtaining local expressions. We then compute asymptotics and deduce an explicit, local expression for a natural Gibbs measure. We prove a local formula for the Ising model free energy. We also prove that this free energy is equal, up to constants, to that of the $Z$-invariant spanning forests of Boutillier et al. (2017), and deduce that the two models have the same second order phase transition in $k$. Next, we prove a self-duality relation for this model, extending a result of Baxter to all isoradial graphs. In the last part we prove explicit, local expressions for the dimer model on a bipartite graph corresponding to the XOR version of this $Z$-invariant Ising model.
△ Less
Submitted 27 October, 2020; v1 submitted 29 December, 2016;
originally announced December 2016.
-
The $Z$-invariant massive Laplacian on isoradial graphs
Authors:
Cédric Boutillier,
Béatrice de Tilière,
Kilian Raschel
Abstract:
We introduce a one-parameter family of massive Laplacian operators $(Δ^{m(k)})_{k\in[0,1)}$ defined on isoradial graphs, involving elliptic functions. We prove an explicit formula for the inverse of $Δ^{m(k)}$, the massive Green function, which has the remarkable property of only depending on the local geometry of the graph, and compute its asymptotics. We study the corresponding statistical mecha…
▽ More
We introduce a one-parameter family of massive Laplacian operators $(Δ^{m(k)})_{k\in[0,1)}$ defined on isoradial graphs, involving elliptic functions. We prove an explicit formula for the inverse of $Δ^{m(k)}$, the massive Green function, which has the remarkable property of only depending on the local geometry of the graph, and compute its asymptotics. We study the corresponding statistical mechanics model of random rooted spanning forests. We prove an explicit local formula for an infinite volume Boltzmann measure, and for the free energy of the model. We show that the model undergoes a second order phase transition at $k=0$, thus proving that spanning trees corresponding to the Laplacian introduced by Kenyon are critical. We prove that the massive Laplacian operators $(Δ^{m(k)})_{k\in(0,1)}$ provide a one-parameter family of $Z$-invariant rooted spanning forest models. When the isoradial graph is moreover $\mathbb{Z}^2$-periodic, we consider the spectral curve of the characteristic polynomial of the massive Laplacian. We provide an explicit parametrization of the curve and prove that it is Harnack and has genus $1$. We further show that every Harnack curve of genus $1$ with $(z,w)\leftrightarrow(z^{-1},w^{-1})$ symmetry arises from such a massive Laplacian.
△ Less
Submitted 16 January, 2017; v1 submitted 3 April, 2015;
originally announced April 2015.
-
Bipartite dimer representation of squared 2d-Ising correlations
Authors:
Béatrice de Tilière
Abstract:
The Bozonisation identities of [Dub11] show that squared 2d-Ising order and disorder correlations are equal to +- the ratio of bipartite dimer partition functions. In this self-contained paper, we give another proof of these identities using the approach of [BdT14]. Our proof is more direct and allows to keep track of order and disorder in XOR-Ising configurations.
The Bozonisation identities of [Dub11] show that squared 2d-Ising order and disorder correlations are equal to +- the ratio of bipartite dimer partition functions. In this self-contained paper, we give another proof of these identities using the approach of [BdT14]. Our proof is more direct and allows to keep track of order and disorder in XOR-Ising configurations.
△ Less
Submitted 15 September, 2014; v1 submitted 23 July, 2014;
originally announced July 2014.
-
Critical Ising model and spanning trees partition functions
Authors:
B. de Tilière
Abstract:
We prove that the squared partition function of the two-dimensional critical Ising model defined on a finite, isoradial graph $G=(V,E)$, is equal to $2^{|V|}$ times the partition function of spanning trees of the graph $\bar{G}$, where $\bar{G}$ is the graph $G$ extended along the boundary; edges of $G$ are assigned Kenyon's [Ken02] critical weights, and boundary edges of $\bar{G}$ have specific w…
▽ More
We prove that the squared partition function of the two-dimensional critical Ising model defined on a finite, isoradial graph $G=(V,E)$, is equal to $2^{|V|}$ times the partition function of spanning trees of the graph $\bar{G}$, where $\bar{G}$ is the graph $G$ extended along the boundary; edges of $G$ are assigned Kenyon's [Ken02] critical weights, and boundary edges of $\bar{G}$ have specific weights. The proof is an explicit construction, providing a new relation on the level of configurations between two classical, critical models of statistical mechanics.
△ Less
Submitted 20 January, 2014; v1 submitted 25 December, 2013;
originally announced December 2013.
-
Height representation of XOR-Ising loops via bipartite dimers
Authors:
Cédric Boutillier,
Béatrice de Tilière
Abstract:
The XOR-Ising model on a graph consists of random spin configurations on vertices of the graph obtained by taking the product at each vertex of the spins of two independent Ising models. In this paper, we explicitly relate loop configurations of the XOR-Ising model and those of a dimer model living on a decorated, bipartite version of the Ising graph. This result is proved for graphs embedded in c…
▽ More
The XOR-Ising model on a graph consists of random spin configurations on vertices of the graph obtained by taking the product at each vertex of the spins of two independent Ising models. In this paper, we explicitly relate loop configurations of the XOR-Ising model and those of a dimer model living on a decorated, bipartite version of the Ising graph. This result is proved for graphs embedded in compact surfaces of genus g.
Using this fact, we then prove that XOR-Ising loops have the same law as level lines of the height function of this bipartite dimer model. At criticality, the height function is known to converge weakly in distribution to a Gaussian free field.
As a consequence, results of this paper shed a light on the occurrence of the Gaussian free field in the XOR-Ising model. In particular, they prove a discrete analogue of Wilson's conjecture, stating that the scaling limit of XOR-Ising loops are "contour lines" of the Gaussian free field.
△ Less
Submitted 3 September, 2014; v1 submitted 20 November, 2012;
originally announced November 2012.
-
Principal minors Pfaffian half-tree theorem
Authors:
Béatrice de Tilière
Abstract:
A half-tree is an edge configuration whose superimposition with a perfect matching is a tree. In this paper, we prove a half-tree theorem for the Pfaffian principal minors of a skew-symmetric matrix whose column sum is zero; introducing an explicit algorithm, we fully characterize half-trees involved. This question naturally arose in the context of statistical mechanics where we aimed at relating…
▽ More
A half-tree is an edge configuration whose superimposition with a perfect matching is a tree. In this paper, we prove a half-tree theorem for the Pfaffian principal minors of a skew-symmetric matrix whose column sum is zero; introducing an explicit algorithm, we fully characterize half-trees involved. This question naturally arose in the context of statistical mechanics where we aimed at relating perfect matchings and trees on the same graph. As a consequence of the Pfaffian half-tree theorem, we obtain a refined version of the matrix-tree theorem in the case of skew-symmetric matrices, as well as a line-bundle version of this result.
△ Less
Submitted 20 January, 2014; v1 submitted 11 July, 2012;
originally announced July 2012.
-
From Cycle Rooted Spanning Forests to the Critical Ising Model: an Explicit Construction
Authors:
Béatrice de Tilière
Abstract:
Fisher established an explicit correspondence between the 2-dimensional Ising model defined on a graph $G$ and the dimer model defined on a decorated version $\GD$ of this graph \cite{Fisher}. In this paper we explicitly relate the dimer model associated to the critical Ising model and critical cycle rooted spanning forests (CRSFs). This relation is established through characteristic polynomials,…
▽ More
Fisher established an explicit correspondence between the 2-dimensional Ising model defined on a graph $G$ and the dimer model defined on a decorated version $\GD$ of this graph \cite{Fisher}. In this paper we explicitly relate the dimer model associated to the critical Ising model and critical cycle rooted spanning forests (CRSFs). This relation is established through characteristic polynomials, whose definition only depends on the respective fundamental domains, and which encode the combinatorics of the model. We first show a matrix-tree type theorem establishing that the dimer characteristic polynomial counts CRSFs of the decorated fundamental domain $\GD_1$. Our main result consists in explicitly constructing CRSFs of $\GD_1$ counted by the dimer characteristic polynomial, from CRSFs of $G_1$ where edges are assigned Kenyon's critical weight function \cite{Kenyon3}; thus proving a relation on the level of configurations between two well known 2-dimensional critical models.
△ Less
Submitted 27 November, 2012; v1 submitted 21 December, 2010;
originally announced December 2010.
-
Statistical mechanics on isoradial graphs
Authors:
Cédric Boutillier,
Béatrice De Tilière
Abstract:
Isoradial graphs are a natural generalization of regular graphs which give, for many models of statistical mechanics, the right framework for studying models at criticality. In this survey paper, we first explain how isoradial graphs naturally arise in two approaches used by physicists: transfer matrices and conformal field theory. This leads us to the fact that isoradial graphs provide a natural…
▽ More
Isoradial graphs are a natural generalization of regular graphs which give, for many models of statistical mechanics, the right framework for studying models at criticality. In this survey paper, we first explain how isoradial graphs naturally arise in two approaches used by physicists: transfer matrices and conformal field theory. This leads us to the fact that isoradial graphs provide a natural setting for discrete complex analysis, to which we dedicate one section. Then, we give an overview of explicit results obtained for different models of statistical mechanics defined on such graphs: the critical dimer model when the underlying graph is bipartite, the 2-dimensional critical Ising model, random walk and spanning trees and the q-state Potts model.
△ Less
Submitted 14 December, 2010;
originally announced December 2010.
-
The critical Z-invariant Ising model via dimers: locality property
Authors:
Cédric Boutillier,
Béatrice de Tilière
Abstract:
We study a large class of critical two-dimensional Ising models, namely critical Z-invariant Ising models. Fisher [Fis66] introduced a correspondence between the Ising model and the dimer model on a decorated graph, thus setting dimer techniques as a powerful tool for understanding the Ising model. In this paper, we give a full description of the dimer model corresponding to the critical Z-invar…
▽ More
We study a large class of critical two-dimensional Ising models, namely critical Z-invariant Ising models. Fisher [Fis66] introduced a correspondence between the Ising model and the dimer model on a decorated graph, thus setting dimer techniques as a powerful tool for understanding the Ising model. In this paper, we give a full description of the dimer model corresponding to the critical Z-invariant Ising model, consisting of explicit expressions which only depend on the local geometry of the underlying isoradial graph. Our main result is an explicit local formula for the inverse Kasteleyn matrix, in the spirit of [Ken02], as a contour integral of the discrete exponential function of [Mer01a,Ken02] multiplied by a local function. Using results of [BdT08] and techniques of [dT07b,Ken02], this yields an explicit local formula for a natural Gibbs measure, and a local formula for the free energy. As a corollary, we recover Baxter's formula for the free energy of the critical Z-invariant Ising model [Bax89], and thus a new proof of it. The latter is equal, up to a constant, to the logarithm of the normalized determinant of the Laplacian obtained in [Ken02].
△ Less
Submitted 11 February, 2009;
originally announced February 2009.
-
The critical Z-invariant Ising model via dimers: the periodic case
Authors:
Cédric Boutillier,
Béatrice de Tilière
Abstract:
We study a large class of critical two-dimensional Ising models namely critical Z-invariant Ising models on periodic graphs, example of which are the classical square, triangular and honeycomb lattice at the critical temperature. Fisher introduced a correspondence between the Ising model and the dimer model on a decorated graph, thus setting dimer techniques as a powerful tool for understanding…
▽ More
We study a large class of critical two-dimensional Ising models namely critical Z-invariant Ising models on periodic graphs, example of which are the classical square, triangular and honeycomb lattice at the critical temperature. Fisher introduced a correspondence between the Ising model and the dimer model on a decorated graph, thus setting dimer techniques as a powerful tool for understanding the Ising model. In this paper, we give a full description of the dimer model corresponding to the critical Z-invariant Ising model. We prove that the dimer characteristic polynomial is equal (up to a constant) to the critical Laplacian characteristic polynomial, and defines a Harnack curve of genus 0. We prove an explicit expression for the free energy, and for the Gibbs measure obtained as weak limit of Boltzmann measures.
△ Less
Submitted 19 December, 2008;
originally announced December 2008.
-
The quenched critical point of a diluted disordered polymer model
Authors:
Erwin Bolthausen,
Francesco Caravenna,
Béatrice de Tilière
Abstract:
We consider a model for a polymer interacting with an attractive wall through a random sequence of charges. We focus on the so-called diluted limit, when the charges are very rare but have strong intensity. In this regime, we determine the quenched critical point of the model, showing that it is different from the annealed one. The proof is based on a rigorous renormalization procedure. Applicat…
▽ More
We consider a model for a polymer interacting with an attractive wall through a random sequence of charges. We focus on the so-called diluted limit, when the charges are very rare but have strong intensity. In this regime, we determine the quenched critical point of the model, showing that it is different from the annealed one. The proof is based on a rigorous renormalization procedure. Applications of our results to the problem of a copolymer near a selective interface are discussed.
△ Less
Submitted 26 July, 2008; v1 submitted 1 November, 2007;
originally announced November 2007.
-
Loop statistics in the toroidal honeycomb dimer model
Authors:
Cédric Boutillier,
Béatrice de Tilière
Abstract:
The dimer model on a graph embedded in the torus can be interpreted as a collection of random self-avoiding loops. In this paper, we consider the uniform toroidal honeycomb dimer model. We prove that when the mesh of the graph tends to zero and the aspect of the torus is fixed, the winding number of the collection of loops converges in law to a two-dimensional discrete Gaussian distribution. Thi…
▽ More
The dimer model on a graph embedded in the torus can be interpreted as a collection of random self-avoiding loops. In this paper, we consider the uniform toroidal honeycomb dimer model. We prove that when the mesh of the graph tends to zero and the aspect of the torus is fixed, the winding number of the collection of loops converges in law to a two-dimensional discrete Gaussian distribution. This is known to physicists in more generality from their analysis of toroidal two-dimensional critical loop models and their mapping to the massless free field on the torus. This paper contains the first mathematical proof of this more general physics result in the specific case of the loop model induced by a toroidal dimer model.
△ Less
Submitted 24 September, 2009; v1 submitted 24 August, 2006;
originally announced August 2006.
-
Partition function of periodic isoradial dimer models
Authors:
Béatrice de Tilière
Abstract:
Isoradial dimer models were introduced in \cite{Kenyon3} - they consist of dimer models whose underlying graph satisfies a simple geometric condition, and whose weight function is chosen accordingly. In this paper, we prove a conjecture of \cite{Kenyon3}, namely that for periodic isoradial dimer models, the growth rate of the toroidal partition function has a simple explicit formula involving th…
▽ More
Isoradial dimer models were introduced in \cite{Kenyon3} - they consist of dimer models whose underlying graph satisfies a simple geometric condition, and whose weight function is chosen accordingly. In this paper, we prove a conjecture of \cite{Kenyon3}, namely that for periodic isoradial dimer models, the growth rate of the toroidal partition function has a simple explicit formula involving the local geometry of the graph only. This is a surprising feature of periodic isoradial dimer models, which does not hold in the general periodic dimer case \cite{KOS}.
△ Less
Submitted 22 May, 2006;
originally announced May 2006.
-
Conformal invariance of isoradial dimer models & the case of triangular quadri-tilings
Authors:
B. de Tilière
Abstract:
We consider dimer models on graphs which are bipartite, periodic and satisfy a geometric condition called {\em isoradiality}, defined in \cite{Kenyon3}. We show that the scaling limit of the height function of any such dimer model is $1/\sqrtπ$ times a Gaussian free field. Triangular quadri-tilings were introduced in \cite{Bea}; they are dimer models on a family of isoradial graphs arising form…
▽ More
We consider dimer models on graphs which are bipartite, periodic and satisfy a geometric condition called {\em isoradiality}, defined in \cite{Kenyon3}. We show that the scaling limit of the height function of any such dimer model is $1/\sqrtπ$ times a Gaussian free field. Triangular quadri-tilings were introduced in \cite{Bea}; they are dimer models on a family of isoradial graphs arising form rhombus tilings. By means of two height functions, they can be interpreted as random interfaces in dimension 2+2. We show that the scaling limit of each of the two height functions is $1/\sqrtπ$ times a Gaussian free field, and that the two Gaussian free fields are independent.
△ Less
Submitted 16 December, 2005;
originally announced December 2005.
-
Quadri-tilings of the plane
Authors:
B. de Tilière
Abstract:
We introduce {\em quadri-tilings} and show that they are in bijection with dimer models on a {\em family} of graphs $\{R^*\}$ arising from rhombus tilings. Using two height functions, we interpret a sub-family of all quadri-tilings, called {\em triangular quadri-tilings}, as an interface model in dimension 2+2. Assigning "critical" weights to edges of $R^*$, we prove an explicit expression, only…
▽ More
We introduce {\em quadri-tilings} and show that they are in bijection with dimer models on a {\em family} of graphs $\{R^*\}$ arising from rhombus tilings. Using two height functions, we interpret a sub-family of all quadri-tilings, called {\em triangular quadri-tilings}, as an interface model in dimension 2+2. Assigning "critical" weights to edges of $R^*$, we prove an explicit expression, only depending on the local geometry of the graph $R^*$, for the minimal free energy per fundamental domain Gibbs measure; this solves a conjecture of \cite{Kenyon1}. We also show that when edges of $R^*$ are asymptotically far apart, the probability of their occurrence only depends on this set of edges. Finally, we give an expression for a Gibbs measure on the set of {\em all} triangular quadri-tilings whose marginals are the above Gibbs measures, and conjecture it to be that of minimal free energy per fundamental domain.
△ Less
Submitted 22 May, 2006; v1 submitted 19 March, 2004;
originally announced March 2004.
