BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Benoit Laslier appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this article, we prove that the height function associated with the square-ice model (i.e.~the six-vertex model with $a=b=c=1$ on the square lattice), or, equivalently, of the uniform random homomorphisms from $\mathbb Z^2$ to $\mathbb Z$, has logarithmic variance. This establishes a strong form of roughness of this height function.
It has been well known for a long time that the height function of random lozenge tilings of large domains follow a law of large number and possible limits called dimer limit shapes are well understood. For the next order, it is expected that fluctuations behave like version of a Gaussian Free field, at least away from some special "frozen" regions. However despite being one of the main questions in the domain for 20 years, only special cases have been obtained. In this paper we show that for any specified limit shape with no frozen region, one can construct a sequence of domains whose height functions converge to that limit shape and where the height fluctuation converge to a variant of the Gaussian Free Field.
The purpose of this note is to give a succinct summary of some basic properties of T-graphs which arise in the study of the dimer model. We focus in particular on the relation between the dimer model on the heaxgonal lattice with a given slope, and the behaviour of the uniform spanning tree on the associated T-graph. Together with the main result of the companion paper \cite{BLR16}, the results here show Gaussian free field fluctuations for the height function in some dimer models.
In this paper, we establish a quenched invariance principle for the random walk on a certain class of infinite, aperiodic, oriented random planar graphs called "T-graphs" [Kenyon-Sheffield04]. These graphs appear, together with the corresponding random walk, in a work [Kenyon07] about the lozenge tiling model, where they are used to compute correlations between lozenges inside large finite domains. The random walk in question is balanced, i.e. it is automatically a martingale. Our main ideas are inspired by the proof of a quenched central limit theorem in stationary ergodic environment on $\mathbb{Z}^2$ [Lawler82, Sznitman02]. This is somewhat surprising, since the environment is neither defined on $\mathbb{Z}^2$ nor really random: the graph is instead quasi-periodic and all the randomness is encoded in a single random variable λ that is uniform in the unit circle. We prove that the covariance matrix of the limiting Brownian Motion is proportional to the identity, despite the fact that the graph does not have obvious symmetry properties. This covariance is identified using the knowledge of a specific discrete harmonic function on the graph, which is provided by the link with lozenge tilings.
TThe prototypical problem we study here is the following. Given a $2L\times 2L$ square, there are approximately $\exp(4KL^2/π)$ ways to tile it with dominos, i.e. with horizontal or vertical $2\times 1$ rectangles, where $K\approx 0.916$ is Catalan's constant [Kasteleyn '61, Temperley-Fisher '61]. A conceptually simple (even if computationally not the most efficient) way of sampling uniformly one among so many tilings is to introduce a Markov Chain algorithm (Glauber dynamics) where, with rate $1$, two adjacent horizontal dominos are flipped to vertical dominos, or vice-versa. The unique invariant measure is the uniform one and a classical question [Wilson 2004,Luby-Randall-Sinclair 2001] is to estimate the time $T_{mix}$ it takes to approach equilibrium (i.e. the running time of the algorithm). In [Luby-Randall-Sinclair 2001, Randall-Tetali 2000], fast mixin was proven: $T_{mix}=O(L^C)$ for some finite $C$. Here, we go much beyond and show that $c L^2\le T_{mix}\le L^{2+o(1)}$. Our result applies to rather general domain shapes (not just the $2L\times 2L$ square), provided that the typical height function associated to the tiling is macroscopically planar in the large $L$ limit, under the uniform measure (this is the case for instance for the Temperley-type boundary conditions considered in [Kenyon 2000]). Also, our method extends to some other types of tilings of the plane, for instance the tilings associated to dimer coverings of the hexagon or square-hexagon lattices.
We study the Glauber dynamics on the set of tilings of a finite domain of the plane with lozenges of side 1/L. Under the invariant measure of the process (the uniform measure over all tilings), it is well known that the random height function associated to the tiling converges in probability, in the scaling limit $L\to\infty$, to a non-trivial macroscopic shape minimizing a certain surface tension functional. According to the boundary conditions the macroscopic shape can be either analytic or contain "frozen regions" (Arctic Circle phenomenon). It is widely conjectured, on the basis of theoretical considerations, partial mathematical results and numerical simulations for similar models, that the Glauber dynamics approaches the equilibrium macroscopic shape in a time of order $L^{2+o(1)}$. In this work we prove this conjecture, under the assumption that the macroscopic equilibrium shape contains no "frozen region".
The paper deals with the problem of finding the best alternatives on the basis of pairwise comparisons when these comparisons need not be transitive. In this setting, we study a reinforcement urn model. We prove convergence to the optimal solution when reinforcement of a winning alternative occurs each time after considering three random alternatives. The simpler process, which reinforces the winner of a random pair does not always converges: it may cycle.