Showing 1–18 of 18 results for author: Lis, M

Zeros of planar Ising models via flat SU(2) connections

Authors: Marcin Lis

Abstract: Livine and Bonzom recently proposed a geometric formula for a certain set of complex zeros of the partition function of the Ising model defined on planar graphs. Remarkably, the zeros depend locally on the geometry of an immersion of the graph in the three dimensional Euclidean space (different immersions give rise to different zeros). When restricted to the flat case, the weights become the criti… ▽ More Livine and Bonzom recently proposed a geometric formula for a certain set of complex zeros of the partition function of the Ising model defined on planar graphs. Remarkably, the zeros depend locally on the geometry of an immersion of the graph in the three dimensional Euclidean space (different immersions give rise to different zeros). When restricted to the flat case, the weights become the critical weights on circle patterns. We rigorously prove the formula by geometrically constructing a null eigenvector of the Kac-Ward matrix whose determinant is the squared partition function. The main ingredient of the proof is the realisation that the associated Kac-Ward transition matrix gives rise to an SU(2) connection on the graph, creating a direct link with rotations in three dimensions. The existence of a null eigenvector turns out to be equivalent to this connection being flat. △ Less

Submitted 29 September, 2024; originally announced September 2024.

Comments: 13 pages, 7 figures

MSC Class: 82B20

On the duality between height functions and continuous spin models

Authors: Diederik van Engelenburg, Marcin Lis

Abstract: We revisit the classical phenomenon of duality between random integer-valued height functions with positive definite potentials and abelian spin models with O(2) symmetry. We use it to derive new results in quite high generality including: a universal upper bound on the variance of the height function in terms of the Green's function (a GFF bound) which among others implies localisation on transie… ▽ More We revisit the classical phenomenon of duality between random integer-valued height functions with positive definite potentials and abelian spin models with O(2) symmetry. We use it to derive new results in quite high generality including: a universal upper bound on the variance of the height function in terms of the Green's function (a GFF bound) which among others implies localisation on transient graphs; monotonicity of said variance with respect to a natural temperature parameter; the fact that delocalisation of the height function implies a BKT phase transition in planar models; and also delocalisation itself for height functions on periodic ``almost'' planar graphs. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Comments: 31 pages

An elementary proof of phase transition in the planar XY model

Authors: Diederik van Engelenburg, Marcin Lis

Abstract: Using elementary methods we obtain a power-law lower bound on the two-point function of the planar XY spin model at low temperatures. This was famously first rigorously obtained by Fröhlich and Spencer and establishes a Berezinskii-Kosterlitz-Thouless phase transition in the model. Our argument relies on a new loop representation of spin correlations, a recent result of Lammers on delocalisation o… ▽ More Using elementary methods we obtain a power-law lower bound on the two-point function of the planar XY spin model at low temperatures. This was famously first rigorously obtained by Fröhlich and Spencer and establishes a Berezinskii-Kosterlitz-Thouless phase transition in the model. Our argument relies on a new loop representation of spin correlations, a recent result of Lammers on delocalisation of integer-valued height functions, and classical correlation inequalities. △ Less

Submitted 25 October, 2021; v1 submitted 18 October, 2021; originally announced October 2021.

Comments: 25 pages, statement of main result slightly improved

Conformal invariance of double random currents I: identification of the limit

Authors: Hugo Duminil-Copin, Marcin Lis, Wei Qian

Abstract: This is the first of two papers devoted to the proof of conformal invariance of the critical double random current model on the square lattice. More precisely, we show the convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent currents with free and wired boundary conditions. The strategy is first to prove convergence of the associated height function… ▽ More This is the first of two papers devoted to the proof of conformal invariance of the critical double random current model on the square lattice. More precisely, we show the convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent currents with free and wired boundary conditions. The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we identify uniquely the possible subsequential limits of the loop ensembles. Combined with the second paper, this completes the proof of conformal invariance. △ Less

Submitted 6 January, 2025; v1 submitted 27 July, 2021; originally announced July 2021.

Comments: 68 pages, a new Markov property added in Section 3, Section 6 rewritten, published version

Conformal invariance of double random currents II: tightness and properties in the discrete

Authors: Hugo Duminil-Copin, Marcin Lis, Wei Qian

Abstract: This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height fu… ▽ More This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we derive crossing properties of the discrete model required to prove this characterization. △ Less

Submitted 22 November, 2021; v1 submitted 27 July, 2021; originally announced July 2021.

Comments: 53 pages

Free boundary dimers: random walk representation and scaling limit

Authors: Nathanael Berestycki, Marcin Lis, Wei Qian

Abstract: We study the dimer model on subgraphs of the square lattice in which vertices on a prescribed part of the boundary (the free boundary) are possibly unmatched. Each such unmatched vertex is called a monomer and contributes a fixed multiplicative weight $z>0$ to the total weight of the configuration. A bijection described by Giuliani, Jauslin and Lieb relates this model to a standard dimer model but… ▽ More We study the dimer model on subgraphs of the square lattice in which vertices on a prescribed part of the boundary (the free boundary) are possibly unmatched. Each such unmatched vertex is called a monomer and contributes a fixed multiplicative weight $z>0$ to the total weight of the configuration. A bijection described by Giuliani, Jauslin and Lieb relates this model to a standard dimer model but on a non-bipartite graph. The Kasteleyn matrix of this dimer model describes a walk with transition weights that are negative along the free boundary. Yet under certain assumptions, which are in particular satisfied in the infinite volume limit in the upper half-plane, we prove an effective, true random walk representation for the inverse Kasteleyn matrix. In this case we further show that, independently of the value of $z>0$, the scaling limit of the height function is the Gaussian free field with Neumann (or free) boundary conditions, thereby answering a question of Giuliani et al. △ Less

Submitted 14 May, 2021; v1 submitted 25 February, 2021; originally announced February 2021.

Comments: 69 pages

On boundary correlations in planar Ashkin-Teller models

Authors: Marcin Lis

Abstract: We generalize the switching lemma of Griffiths, Hurst and Sherman to the random current representation of the Ashkin-Teller model. We then use it together with properties of two-dimensional topology to derive linear relations for multi-point boundary spin correlations and bulk order-disorder correlations in planar models. We also show that the same linear relations are satisfied by products of Pfa… ▽ More We generalize the switching lemma of Griffiths, Hurst and Sherman to the random current representation of the Ashkin-Teller model. We then use it together with properties of two-dimensional topology to derive linear relations for multi-point boundary spin correlations and bulk order-disorder correlations in planar models. We also show that the same linear relations are satisfied by products of Pfaffians. As a result a clear picture arises in the noninteracting case of two independent Ising models where multi-point correlation functions are given by Pfaffians and determinants of their respective two-point functions. This gives a unified treatment of both the classical Pfaffian identities and recent total positivity inequalities for boundary spin correlations in the planar Ising model. We also derive the Simon and Gaussian inequality for general Ashkin-Teller models with negative four-body coupling constants. △ Less

Submitted 11 December, 2020; v1 submitted 25 September, 2020; originally announced September 2020.

Comments: 26 pages

MSC Class: 82B20; 60C05; 05C50

On delocalization in the six-vertex model

Authors: Marcin Lis

Abstract: We show that the six-vertex model with parameter $c\in[\sqrt 3, 2]$ on a square lattice torus has an ergodic infinite-volume limit as the size of the torus grows to infinity. Moreover we prove that for $c\in[\sqrt{2+\sqrt 2}, 2]$, the associated height function on $\mathbb Z^2$ has unbounded variance. The proof relies on an extension of the Baxter-Kelland-Wu representation of the six-vertex mode… ▽ More We show that the six-vertex model with parameter $c\in[\sqrt 3, 2]$ on a square lattice torus has an ergodic infinite-volume limit as the size of the torus grows to infinity. Moreover we prove that for $c\in[\sqrt{2+\sqrt 2}, 2]$, the associated height function on $\mathbb Z^2$ has unbounded variance. The proof relies on an extension of the Baxter-Kelland-Wu representation of the six-vertex model to multi-point correlation functions of the associated spin model. Other crucial ingredients are the uniqueness and percolation properties of the critical random cluster measure for $q\in[1,4]$, and recent results relating the decay of correlations in the spin model with the delocalization of the height function. △ Less

Submitted 22 January, 2021; v1 submitted 11 April, 2020; originally announced April 2020.

Comments: 24 pages

MSC Class: 82B20; 60K35

Spins, percolation and height functions

Authors: Marcin Lis

Abstract: To highlight certain similarities in combinatorial representations of several well known two-dimensional models of statistical mechanics, we introduce and study a new family of models which specializes to these cases after a proper tuning of the parameters. To be precise, our model consists of two independent standard Potts models, with possibly different numbers of spins and different coupling co… ▽ More To highlight certain similarities in combinatorial representations of several well known two-dimensional models of statistical mechanics, we introduce and study a new family of models which specializes to these cases after a proper tuning of the parameters. To be precise, our model consists of two independent standard Potts models, with possibly different numbers of spins and different coupling constants (the four parameters of the model), defined jointly on a graph embedded in a surface and its dual graph, and conditioned on the event that the primal and dual interfaces between spins of different value do not intersect. We also introduce naturally related height function and bond percolation models, and we discuss their basic properties and mutual relationship. As special cases we recover the standard Potts and random cluster model, the six-vertex model and loop $O(n)$ model, the random current, double random current and XOR-Ising model. △ Less

Submitted 11 April, 2020; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: 30 pages, section on the six-vertex model slightly expanded

MSC Class: 82B20; 60K35

Spin systems from loop soups

Authors: Tim van de Brug, Federico Camia, Marcin Lis

Abstract: We study spin systems defined by the winding of a random walk loop soup. For a particular choice of loop soup intensity, we show that the corresponding spin system is reflection-positive and is dual, in the Kramers-Wannier sense, to the spin system $\text{sgn}(\varphi)$ where $\varphi$ is a discrete Gaussian free field. In general, we show that the spin correlation functions have conformally cov… ▽ More We study spin systems defined by the winding of a random walk loop soup. For a particular choice of loop soup intensity, we show that the corresponding spin system is reflection-positive and is dual, in the Kramers-Wannier sense, to the spin system $\text{sgn}(\varphi)$ where $\varphi$ is a discrete Gaussian free field. In general, we show that the spin correlation functions have conformally covariant scaling limits corresponding to the one-parameter family of functions studied by Camia, Gandolfi and Kleban (Nuclear Physics B, 902, 2016) and defined in terms of the winding of the Brownian loop soup. These functions have properties consistent with the behavior of correlation functions of conformal primaries in a conformal field theory. Here, we prove that they do correspond to correlation functions of continuum fields (random generalized functions) for values of the intensity of the Brownian loop soup that are not too large. △ Less

Submitted 13 November, 2018; v1 submitted 9 March, 2018; originally announced March 2018.

Comments: 17 pages

MSC Class: 82B20; 60G60; 60G18; 82B41

Journal ref: Electron. J. Probab. 23 (2018), paper no. 81, 17 pp

Circle patterns and critical Ising models

Authors: Marcin Lis

Abstract: A circle pattern is an embedding of a planar graph in which each face is inscribed in a circle. We define and prove magnetic criticality of a new family of Ising models on planar graphs whose dual is a circle pattern. Our construction includes as a special case the critical isoradial Ising models of Baxter. A circle pattern is an embedding of a planar graph in which each face is inscribed in a circle. We define and prove magnetic criticality of a new family of Ising models on planar graphs whose dual is a circle pattern. Our construction includes as a special case the critical isoradial Ising models of Baxter. △ Less

Submitted 8 August, 2019; v1 submitted 23 December, 2017; originally announced December 2017.

Comments: 24 pages, section 6 added

MSC Class: 82B20; 60C05; 05C50

Journal ref: Comm. Math. Phys. 2019

On the double random current nesting field

Authors: Hugo Duminil-Copin, Marcin Lis

Abstract: We relate the planar random current representation introduced by Griffiths, Hurst and Sherman to the dimer model. More precisely, we provide a measure-preserving map between double random currents (obtained as the sum of two independent random currents) on a planar graph and dimers on an associated bipartite graph. We also construct a nesting field for the double random current, which, under this… ▽ More We relate the planar random current representation introduced by Griffiths, Hurst and Sherman to the dimer model. More precisely, we provide a measure-preserving map between double random currents (obtained as the sum of two independent random currents) on a planar graph and dimers on an associated bipartite graph. We also construct a nesting field for the double random current, which, under this map, corresponds to the height function of the dimer model. As applications, we provide an alternative derivation of some of the bozonization rules obtained recently by Dubédat, and show that the spontaneous magnetization of the Ising model on a planar biperiodic graph vanishes at criticality. △ Less

Submitted 20 March, 2019; v1 submitted 6 December, 2017; originally announced December 2017.

Comments: 18 pages, Section 5 removed due to a gap in the computation

MSC Class: 82B20

The planar Ising model and total positivity

Authors: Marcin Lis

Abstract: A matrix is called totally positive (resp. totally nonnegative) if all its minors are positive (resp. nonnegative). Consider the Ising model with free boundary conditions and no external field on a planar graph $G$. Let $a_1,\dots,a_k,b_k,\dots,b_1$ be vertices placed in a counterclockwise order on the outer face of $G$. We show that the $k\times k$ matrix of the two-point spin correlation functio… ▽ More A matrix is called totally positive (resp. totally nonnegative) if all its minors are positive (resp. nonnegative). Consider the Ising model with free boundary conditions and no external field on a planar graph $G$. Let $a_1,\dots,a_k,b_k,\dots,b_1$ be vertices placed in a counterclockwise order on the outer face of $G$. We show that the $k\times k$ matrix of the two-point spin correlation functions \[ M_{i,j} = \langle σ_{a_i} σ_{b_j} \rangle \] is totally nonnegative. Moreover, $\det M > 0$ if and only if there exist $k$ pairwise vertex-disjoint paths that connect $a_i$ with $b_i$. We also compute the scaling limit at criticality of the probability that there are $k$ parallel and disjoint connections between $a_i$ and $b_i$ in the double random current model. Our results are based on a new distributional relation between double random currents and random alternating flows of Talaska. △ Less

Submitted 29 December, 2016; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 20 pages, 3 figures

MSC Class: 82B20; 60C05; 05C50

Non-backtracking loop soups and statistical mechanics on spin networks

Authors: Federico Camia, Marcin Lis

Abstract: We introduce and study a Markov field on the edges of a graph in dimension $d\geq2$ whose configurations are spin networks. The field arises naturally as the edge-occupation field of a Poissonian model (a soup) of non-backtracking loops and walks characterized by a spatial Markov property such that, conditionally on the value of the edge-occupation field on a boundary set, the distributions of the… ▽ More We introduce and study a Markov field on the edges of a graph in dimension $d\geq2$ whose configurations are spin networks. The field arises naturally as the edge-occupation field of a Poissonian model (a soup) of non-backtracking loops and walks characterized by a spatial Markov property such that, conditionally on the value of the edge-occupation field on a boundary set, the distributions of the loops and arcs on either side of the boundary are independent of each other. The field has a Gibbs distribution with a Hamiltonian given by a sum of terms which involve only edges incident on the same vertex. Its free energy density and other quantities can be computed exactly, and their critical behavior analyzed, in any dimension. △ Less

Submitted 27 March, 2016; v1 submitted 17 July, 2015; originally announced July 2015.

Comments: 27 pages, 1 figure. V2: New results on critical behavior added, some typos corrected, other minor changes. V3: New results added (Section 4), new presentation of main results, slight generalization of some old results, other minor changes

A short proof of the Kac-Ward formula

Authors: Marcin Lis

Abstract: We present a short proof of the Kac-Ward formula for the partition function of the Ising model on planar graphs. We present a short proof of the Kac-Ward formula for the partition function of the Ising model on planar graphs. △ Less

Submitted 5 September, 2015; v1 submitted 15 February, 2015; originally announced February 2015.

Comments: 8 pages, 2 figures

Phase transition free regions in the Ising model via the Kac-Ward operator

Authors: Marcin Lis

Abstract: We investigate the spectral radius and operator norm of the Kac-Ward transition matrix for the Ising model on a general planar graph. We then use the obtained results to identify regions in the complex plane where the free energy density limits are analytic functions of the inverse temperature. The bound turns out to be optimal in the case of isoradial graphs, i.e. it yields criticality of the sel… ▽ More We investigate the spectral radius and operator norm of the Kac-Ward transition matrix for the Ising model on a general planar graph. We then use the obtained results to identify regions in the complex plane where the free energy density limits are analytic functions of the inverse temperature. The bound turns out to be optimal in the case of isoradial graphs, i.e. it yields criticality of the self-dual Z-invariant coupling constants. △ Less

Submitted 16 May, 2015; v1 submitted 10 June, 2013; originally announced June 2013.

Comments: 18 pages, 2 figures. The final publication is available at link.springer.com

MSC Class: 82B20; 60C05

Journal ref: Comm. Math. Phys. 331(3) pp 1071-1086 (2014)

The fermionic observable in the Ising model and the inverse Kac-Ward operator

Authors: Marcin Lis

Abstract: We show that the critical Kac-Ward operator on isoradial graphs acts in a certain sense as the operator of s-holomorphicity, and we identify the fermionic observable for the spin Ising model as the inverse of this operator. This result is partially a consequence of a more general observation that the inverse Kac-Ward operator for any planar graph is given by what we call a fermionic generating fun… ▽ More We show that the critical Kac-Ward operator on isoradial graphs acts in a certain sense as the operator of s-holomorphicity, and we identify the fermionic observable for the spin Ising model as the inverse of this operator. This result is partially a consequence of a more general observation that the inverse Kac-Ward operator for any planar graph is given by what we call a fermionic generating function. Furthermore, using bounds for the spectral radius and operator norm of the Kac-Ward transition matrix, we provide a general picture of the non-backtracking walk representation of the critical and supercritical inverse Kac-Ward operators on isoradial graphs. △ Less

Submitted 30 April, 2015; v1 submitted 12 March, 2013; originally announced March 2013.

Comments: 15 pages, 2 figures. The final publication is available at link.springer.com

MSC Class: 82B20; 60C05

Journal ref: Ann Henri Poincaré 15 (2014) no. 10, 1945-1965

The signed loop approach to the Ising model: foundations and critical point

Authors: Wouter Kager, Marcin Lis, Ronald Meester

Abstract: The signed loop method is a beautiful way to rigorously study the two-dimensional Ising model with no external field. In this paper, we explore the foundations of the method, including details that have so far been neglected or overlooked in the literature. We demonstrate how the method can be applied to the Ising model on the square lattice to derive explicit formal expressions for the free energ… ▽ More The signed loop method is a beautiful way to rigorously study the two-dimensional Ising model with no external field. In this paper, we explore the foundations of the method, including details that have so far been neglected or overlooked in the literature. We demonstrate how the method can be applied to the Ising model on the square lattice to derive explicit formal expressions for the free energy density and two-point functions in terms of sums over loops, valid all the way up to the self-dual point. As a corollary, it follows that the self-dual point is critical both for the behaviour of the free energy density, and for the decay of the two-point functions. △ Less

Submitted 19 July, 2013; v1 submitted 27 August, 2012; originally announced August 2012.

Comments: 38 pages, 7 figures, with an improved Introduction. The final publication is available at link.springer.com

MSC Class: 82B20 (Primary) 60C05 (Secondary)

Journal ref: J. Stat. Phys. 152 (2) pp. 353-387 (2013)