arXiv Science⌕ Search

arXiv subjects

Benoit Laslier

Publications and source records attributed to Benoit Laslier.

14 recordsLinked to original sources
arXiv2022

Does a portion of dimer configuration determines its domain of definition?

Critical models are, almost by definition, supposed to feature both slow decay of correlations for local observables while retaining some mixing even for macroscopic observables. A strong version of the latter property is that changing boundary conditions cannot have a singular (in the measure theoretic sense) effect on the model away from the boundary, even asymptotically. In this paper we prove that statement for the wired uniform spanning tree and temperleyan dimer model.

math.PR↗
arXiv2022

Dimers on Riemann surfaces II: conformal invariance and scaling limit

Given a bounded Riemann surface $M$ of finite topological type, we show the existence of a universal and conformally invariant scaling limit for the Temperleyan cycle-rooted spanning forest on any sequence of graphs which approximate $M$ in a reasonable sense (essentially, the invariance principle holds and the walks satisfy a crossing assumption). In combination with the companion paper arxiv:1908.00832, this proves the existence of a universal, conformally invariant scaling limit for the height function of the Temperleyan dimer model on such graphs. Along the way, we describe the relationship between Temperleyan CRSFs and loop measures, and develop tools of independent interest to study the latter using only rough control on the random walk

math.PR↗
arXiv2022

The mixing time of the lozenge tiling Glauber dynamics

The broad motivation of this work is a rigorous understanding of reversible, local Markov dynamics of interfaces, and in particular their speed of convergence to equilibrium, measured via the mixing time $T_{mix}$. In the $(d+1)$-dimensional setting, $d\ge2$, this is to a large extent mathematically unexplored territory, especially for discrete interfaces. On the other hand, on the basis of a mean-curvature motion heuristics and simulations, one expects convergence to equilibrium to occur on time-scales of order $\approx \delta^{-2}$ in any dimension, with $\delta\to0$ the lattice mesh. We study the single-flip Glauber dynamics for lozenge tilings of a finite domain of the plane, viewed as $(2+1)$-dimensional surfaces. The stationary measure is the uniform measure on admissible tilings. At equilibrium, by the limit shape theorem, the height function concentrates as $\delta\to0$ around a deterministic profile $\phi$, the unique minimizer of a surface tension functional. Despite some partial mathematical results, the conjecture $T_{mix}=\delta^{-2+o(1)}$ has been proven, so far, only in the situation where $\phi$ is an affine function. In this work, we prove the conjecture under the sole assumption that the limit shape $\phi$ contains no frozen regions (facets).

math.PR↗
arXiv2021

Central limit theorem for lozenge tilings with curved limit shape

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.

math.PR↗
arXiv2019

Logarithmic variance for the height function of square-ice

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.

math.PR↗
arXiv2019

Dimers on Riemann surfaces I: Temperleyan forests

This is the first article in a series of two papers in which we study the Temperleyan dimer model on an arbitrary bounded Riemann surface of finite topolgical type. The end goal of both papers is to prove the convergence of height fluctuations to a universal and conformally invariant scaling limit. In this part we show that the dimer model on the Temperleyan superposition of a graph embedded on the surface and its dual is well posed, provided that we remove an appropriate number of punctures. We further show that the resulting dimer configuration is in bijection with an object which we call Temperleyan forest, whose law is characterised in terms of a certain topological condition. Finally we discuss the relation between height differences and Temperleyan forest, and give a criterion guaranteeing the convergence of the height fluctuations in terms of the Temperleyan forest.

math.PR↗
arXiv2017

Lozenge tiling dynamics and convergence to the hydrodynamic equation

We study a reversible continuous-time Markov dynamics of a discrete $(2+1)$-dimensional interface. This can be alternatively viewed as a dynamics of lozenge tilings of the $L\times L$ torus, or as a conservative dynamics for a two-dimensional system of interlaced particles. The particle interlacement constraints imply that the equilibrium measures are far from being product Bernoulli: particle correlations decay like the inverse distance squared and interface height fluctuations behave on large scales like a massless Gaussian field. We consider a particular choice of the transition rates, originally proposed in [Luby-Randall-Sinclair]: in terms of interlaced particles, a particle jump of length $n$ that preserves the interlacement constraints has rate $1/(2n)$. This dynamics presents special features: the average mutual volume between two interface configurations decreases with time and a certain one-dimensional projection of the dynamics is described by the heat equation. In this work we prove a hydrodynamic limit: after a diffusive rescaling of time and space, the height function evolution tends as $L\to\infty$ to the solution of a non-linear parabolic PDE. The initial profile is assumed to be $C^2$ differentiable and to contain no "frozen region". The explicit form of the PDE was recently conjectured on the basis of local equilibrium considerations. In contrast with the hydrodynamic equation for the Langevin dynamics of the Ginzburg-Landau model [Funaki-Spohn,Nishikawa], here the mobility coefficient turns out to be a non-trivial function of the interface slope.

math.PR↗
arXiv2016

A note on dimers and T-graphs

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.

math.PR↗
arXiv2016

Dimers and Imaginary geometry

We present a general result which shows that the winding of the branches in a uniform spanning tree on a planar graph converge in the limit of fine mesh size to a Gaussian free field. The result holds true assuming only convergence of simple random walk to Brownian motion and a Russo-Seymour-Welsh type crossing estimate. As an application, we prove universality of the fluctuations of the height function associated to the dimer model, in several situations. This includes the case of lozenge tilings with boundary conditions lying in a plane, and Temperleyan domains in isoradial graphs (recovering a recent result of Li). The robustness of our approach, which is a key novelty of this paper, comes from the fact that the exactly solvable nature of the model plays only a minor role in the analysis. Instead, we rely on a connection to imaginary geometry, where the limit of a uniform spanning tree is viewed as a set of flow lines associated to a Gaussian free field.

math.PR↗
arXiv2014

Central limit theorem for T-graphs

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.

math.PR↗
arXiv2013

Lozenge tilings, Glauber dynamics and macroscopic shape

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".

math.PR↗
arXiv2013

Reinforcement learning from comparisons: Three alternatives is enough, two is not

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.

math.OC↗
arXiv2012

How quickly can we sample a uniform domino tiling of the 2L x 2L square via Glauber dynamics?

TThe prototypical problem we study here is the following. Given a $2L\times 2L$ square, there are approximately $\exp(4KL^2/\pi )$ 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.

math.PR↗