1: \begin{abstract}
2: In this paper, we consider the set of interfaces between $+$ and
3: $-$ spins arising for the critical planar Ising model on a domain
4: with $+$ boundary conditions, and show that it converges towards
5: CLE$_{3}$.
6:
7: Our proof relies on the study of the coupling between the Ising model
8: and its random cluster (FK) representation, and of the interactions
9: between FK and Ising interfaces. The main idea is to construct an
10: exploration process starting from the boundary of the domain, to discover
11: the Ising loops and to establish its convergence to a conformally
12: invariant limit. The challenge is that Ising loops do not touch the
13: boundary; we use the fact that FK loops touch the boundary (and hence
14: can be explored from the boundary) and that Ising loops in turn touch
15: FK loops, to construct a recursive exploration process that visits
16: all the macroscopic loops.
17:
18: A key ingredient in the proof is the convergence of Ising free arcs
19: to the Free Arc Ensemble (FAE), established in \cite{benoist-duminil-hongler}.
20: Qualitative estimates about the Ising interfaces then allow one to
21: identify the scaling limit of Ising loops as a conformally invariant
22: collection of simple, disjoint $\mathrm{SLE}_{3}$-like loops and
23: thus by the Markovian characterization of \cite{sheffield-werner}
24: as a $\mathrm{CLE}_{3}$.
25:
26: A technical point of independent interest contained in this paper
27: is an investigation of double points of interfaces in the scaling
28: limit of critical FK-Ising. It relies on the technology of \cite{kemppainen-smirnov}.
29: \end{abstract}
30: