Abstract:
The double random current (DRC) model is a natural percolation model whose geometric properties are intimately related to spin correlations of the Ising model. In two dimensions, it moreover carries an integer valued height function on the graph, called the nesting field. We study the critical DRC model on bounded domains of the square lattice. We fully describe the joint scaling limit of the (primal and dual) DRC clusters and the nesting field as the lattice mesh size vanishes. We prove that the nesting field becomes the Dirichlet Gaussian free field (GFF) in this limit, and that the outer boundaries of the DRC clusters with free boundary conditions are the conformal loop ensemble with 
(CLE4) coupled to that GFF. Moreover, we also show that the inner boundaries of the DRC clusters form a two-valued local set with values 
for the field restricted to a CLE4 loop with boundary value 
. Our proof is a combination of exact solvability of the Ising model, new crossing estimates for the DRC model (which does not posses the FKG property), and a careful analysis of the structure of two-valued local sets of the continuum GFF.
______________________
Based on