Dimers in piecewise Temperleyan domains (Q1749262)

The author deals with dimers on finite subgraphs of the square lattice. The author studies uniform random coverings, that is, those chosen from the distribution in which all dimer configurations are equally weighted. The author presents an extension of Kenyon's result to a class of piecewise Temperleyan discretizations. The author introduces a new factorization of the coupling function of the double-dimer model into two discrete holomorphic functions, which are similar to discrete fermions defined in [\textit{S. Smirnov}, Ann. Math. (2) 172, No. 2, 1435--1467 (2010; Zbl 1200.82011)]. The author gives a construction of the primitive of the product of two discrete holomorphic functions. The author proves that in the double-dimer model the coupling function \(C(u,v)\) has a factorization into a product of two discrete holomorphic functions \(F(u)\) and \(G(v)\). The construction of the discrete integral of this product of two discrete holomorphic functions is described. The author proves that the expectation of the double-dimer height function on an odd Temperleyan domain is exactly discrete leap-frog harmonic. Also, the author shows the convergence of the expectation of the height function in the double-dimer model to the harmonic measure under discretization by polygonal domains. The author proves the convergence of the dimer coupling function in the case of approximations by black-piecewise Temperleyan domains.