in the theory of critical phenomena it is usually assumed that a physical system near a continuous phase transition is characterized by a single length scale ( the `` correlation length '' ) in terms of which all other lengths should be measured . when combined with the experimental observation that the correlation length diverges at the phase transition , this simple but strong assumption , known as the scaling hypothesis , leads to the belief that at criticality the system has no characteristic length , and is therefore invariant under scale transformations .
this suggests that all thermodynamic functions at criticality are homogeneous functions , and predicts the appearance of power laws .
it also means that it should be possible to rescale a critical system appropriately and obtain a continuum model ( the `` continuum scaling limit '' ) which may have more symmetries and be easier to study than the original discrete model defined on a lattice .
indeed , thanks to the work of polyakov  @xcite and others  @xcite , it was understood by physicists since the early seventies that critical statistical mechanical models should possess continuum scaling limits with a global conformal invariance that goes beyond simple scale invariance , as long as the discrete models have `` enough '' rotation invariance .
this property gives important information , enabling the determination of two- and three - point functions at criticality , when they are nonvanishing . because the conformal group is in general a finite dimensional lie group ,
the resulting constraints are limited in number ; however , the situation becomes particularly interesting in two dimensions , since there every analytic function @xmath1 defines a conformal transformation , at least at points where @xmath2 . as a consequence ,
the conformal group in two dimensions is infinite - dimensional .
after this observation was made , a large number of critical problems in two dimensions were analyzed using conformal methods , which were applied , among others , to ising and potts models , brownian motion , self - avoiding walk ( saw ) , percolation , and diffusion limited aggregation ( dla ) .
the large body of knowledge and techniques that resulted , starting with the work of belavin , polyakov and zamolodchikov  @xcite in the early eighties , goes under the name of conformal field theory ( cft ) . in two dimensions ,
one of the main goals of cft and its most important application to statistical mechanics is a complete classification of all universality classes via irreducible representations of the infinite - dimensional virasoro algebra . partly because of the success of cft , work in recent years on critical phenomena seemed to slow down somewhat , probably due to the feeling that most of the leading problems had been resolved
nonetheless , however powerful and successful it may be , cft has some limitations and leaves various open problems .
first of all , the theory deals primarily with correlation functions of _ local _ ( or quasi - local ) operators , and is therefore not always the best tool to investigate other quantities .
secondly , given some critical lattice model , there is no way , within the theory itself , of deciding to which cft it corresponds .
a third limitation , of a different nature , is due to the fact that the methods of cft , although very powerful , are generally speaking not completely rigorous from a mathematical point of view .    in a somewhat surprising twist ,
the most recent developments in the area of two - dimensional critical phenomena have emerged in the mathematics literature and have followed a new direction , which has provided new tools and a way of coping with at least some of the limitations of cft .
the new approach may even provide a reinterpretation of cft , and seems to be complementary to the traditional one in the sense that questions that are difficult to pose and/or answer within cft are easy and natural in this new approach and vice versa .
these new developments came on the heels of interesting results on the scaling limits of discrete models ( see , e.g. , the work of aizenman  @xcite , benjamini - schramm  @xcite , aizenman - burchard  @xcite , aizenman - burchard - newman - wilson  @xcite , aizenman - duplantier - aharony  @xcite and kenyon  @xcite ) but they differ greatly from those because they are based on a radically new approach whose main tool is the stochastic loewner evolution ( @xmath3 ) , or schramm - loewner evolution , as it is also known , introduced by schramm  @xcite .
the new approach , which is probabilistic in nature , focuses directly on non - local structures that characterize a given system , such as cluster boundaries in ising , potts and percolation models , or loops in the @xmath4 model . at criticality ,
these non - local objects become , in the continuum limit , random curves whose distributions can be uniquely identified thanks to their conformal invariance and a certain  markovian " property .
there is a one - parameter family of @xmath3s , indexed by a positive real number @xmath5 , and they appear to be the only possible candidates for the scaling limits of interfaces of two - dimensional critical systems that are believed to be conformally invariant .
in particular , substantial progress has been made in recent years , thanks to @xmath3 , in understanding the fractal and conformally invariant nature of ( the scaling limit of ) large percolation clusters , which has attracted much attention and is of interest both for intrinsic reasons , given the many applications of percolation , and as a paradigm for the behavior of other systems .
the work of schramm  @xcite and smirnov  @xcite has identified the scaling limit of a certain percolation interface with @xmath0 , providing , along with the work of lawler - schramm - werner  @xcite and smirnov - werner  @xcite , a confirmation of many results in the physics literature , as well as some new results .
however , @xmath0 describes a single interface , which can be obtained by imposing special boundary conditions , and is not in itself sufficient to immediately describe the scaling limit of the unconstrained model ( without boundary conditions ) in the whole plane .
in particular , not only the nature and properties , but the very existence of the scaling limit of the collection of all interfaces remained an open question .
this is true of all models , such as ising and potts models , that are represented in terms of clusters , and where the set of all interfaces forms a collection of loops . as already indicated by smirnov  @xcite
, such a collection of loops should have a continuum limit , that we will call the  full " scaling limit of the model .
the single interface limit is ideal for analyzing certain crossing / connectivity probabilities but not so good for others ; in section  [ quickresults ] we give a few examples showing the use of the full scaling limit to represent such probabilities . in the context of percolation , in  @xcite
the authors used @xmath0 to construct a random process of continuous loops in the plane , which was identified with the full scaling limit of critical two - dimensional percolation , but without detailed proofs .
( for a discussion of whether this full scaling limit is a  black noise , " see  @xcite . for an analysis of random processes of loops related to @xmath6 for other values of @xmath5 , and
_ conjectured _ to correspond to the full scaling limits of other statistical mechanics models , see  @xcite . )    in this paper , we complete the analysis of  @xcite , making rigorous the connection between the construction given there and the full scaling limit of percolation , and we prove some properties of the full scaling limit , the continuum nonsimple loop process , including ( one version of ) conformal invariance .
the present work , as well as that of smirnov  @xcite , builds on a collection of papers , including  @xcite , which provided both inspiration and essential technical results .
the proofs are based on the fact that the percolation exploration path converges in distribution to the trace of chordal @xmath0 , as argued by schramm and smirnov  @xcite , and in particular on a specific version of this convergence that we will call statement ( s ) ( see section  [ main - results ] ) .
we note that no detailed proof of any version of convergence to @xmath0 has been available .
nevertheless , at the request of the editor , we do not include a detailed proof of statement ( s ) in the present paper , as originally planned  @xcite , due to length considerations .    however , a detailed proof of statement ( s ) , based on smirnov s theorem about the convergence of crossing probabilities to cardy s formula  @xcite , is now the topic of a separate paper  @xcite .
we note that statement ( s ) is restricted to jordan domains while no such restriction is indicated in  @xcite .
the rest of the paper is organized as follows . in section  [ quickresults ] ,
we provide a quick presentation of theorems  [ main - result1 ] , [ features ] , and [ main - result2 ] , which represent most of our main results , with some definitions postponed until section  [ defs ] , including that of @xmath0 .
section  [ construct ] is devoted to the construction mentioned in theorem  [ main - result2 ] of the continuum nonsimple loop process in a finite region @xmath7 of the plane . in section  [ lapa ]
, we introduce the discrete lattice model and a discrete construction analogous to the continuum one presented in section  [ construct ] .
most of the main technical results of this paper are stated in section  [ main - results ] , while section  [ proofs ] contains the proofs , using ( s ) , of those results and the results in section  [ quickresults ] .      at the percolation critical point , with probability one
there is no infinite cluster ( in two dimensions ) , therefore the percolation cluster boundaries form loops ( see figure  [ loops ] , where site percolation on the triangular lattice @xmath8 is depicted exploiting the duality between @xmath8 and the hexagonal lattice @xmath9 ) .
we will refer to the continuum scaling limit ( as the mesh size @xmath10 of the rescaled hexagonal lattice @xmath11 goes to zero ) of the collection of all these loops as the continuum nonsimple loop process .
its existence is the content of theorem  [ main - result1 ] and some of its properties are described in theorem  [ features ] below .    .
each hexagon of the hexagonal lattice @xmath9 represents a site of @xmath8 and is assigned one of two colors . in the critical percolation model , colors are assigned randomly with equal probability .
the cluster boundaries are indicated by heavy lines ; some small loops appear , while other boundaries extend beyond the finite window .
, width=302 ]    the continuum nonsimple loop process can be described as a  gas " of loops , or more precisely , a probability measure on countable collections of continuous , nonsimple , fractal loops in the plane . later in this paper
, we will provide precise definitions of the objects involved in the next three theorems as well as detailed proofs .
[ main - result1 ] in the continuum scaling limit , the probability distribution of the collection of all boundary contours of critical site percolation on the triangular lattice converges to a probability distribution on collections of continuous , nonsimple loops .
[ features ] the continuum nonsimple loop process whose distribution is specified in theorem  [ main - result1 ] has the following properties , which are valid with probability one :    1 .
it is a random collection of countably many noncrossing continuous loops in the plane .
the loops can and do touch themselves and each other many times , but there are no triple points ; i.e. no three or more loops can come together at the same point , and a single loop can not touch the same point more than twice , nor can a loop touch a point where another loop touches itself .
any deterministic point @xmath12 in the plane ( i.e. , chosen independently of the loop process ) is surrounded by an infinite family of nested loops with diameters going to both zero and infinity ; any annulus about that point with inner radius @xmath13 and outer radius @xmath14 contains only a finite number @xmath15 of those loops .
consequently , any two distinct deterministic points of the plane are separated by loops winding around each of them .
any two loops are connected by a finite `` path '' of touching loops .
the next theorem makes explicit the relation between the percolation full scaling limit and @xmath0 .
its proof ( see section  [ proofs ] ) relies on an inductive procedure that makes use of @xmath0 at each step and allows to obtain collections of loops with the correct distribution .
[ main - result2 ] a continuum nonsimple loop process with the same distribution as in theorem  [ main - result1 ] can be constructed by a procedure in which each loop is obtained as the concatenation of an @xmath0 path with ( a portion of ) another @xmath0 path ( see figure  [ fig - sec3 ] ) .
this procedure is carried out first in a finite disk @xmath16 of radius @xmath17 in the plane ( see section  [ unit - disc ] ) , and then an infinite volume limit , @xmath18 , is taken .
[ conf - inv ] there are various possible ways to formulate the conformal invariance properties of the continuum nonsimple loop process .
one version is given in theorem  [ thm - conf - inv ] .
next we give some examples showing how the scaling limit of various connectivity / crossing probabilities can be expressed in terms of the loop process .
although we can not say whether this fact may eventually lead to exact expressions going beyond cardy s formula , it at least shows that scaling limits of such probabilities exist and are conformally invariant ( early discussions of scaling limits of connectivity functions and of the consequences of conformal invariance for such quantities are given in  @xcite ) .
the examples will also highlight the natural nested structure of the collection of percolation cluster boundaries in the scaling limit .
consider first an annulus centered at @xmath12 with inner radius @xmath19 and outer radius @xmath20 ( see figure  [ annulus ] ) .
the scaling limit @xmath21 of the probability of a crossing of the annulus ( by crossing here we refer to a  monochromatic " crossing , i.e. , a crossing by either of the two colors , as discussed in section  [ lapa ]  see also figure  [ loops ] ) can be expressed as follows in terms of the random variable @xmath22 defined in theorem  [ features ] above : @xmath21 is the probability that @xmath22 equals zero .
more generally , @xmath22 represents the scaling limit of the minimal number of cluster boundaries traversed by any path connecting the inner and outer circles of the annulus .
an example with more geometric structure involves two disjoint discs @xmath23 and @xmath24 in the plane and the scaling limit @xmath25 of the probability that there is a crossing from @xmath23 to @xmath24 ( see figure  [ discs ] ) .
here we let @xmath26 denote the number of distinct loops in the plane that contain @xmath23 in their interior and @xmath24 in their exterior , and define @xmath27 in the complementary way .
then @xmath25 is the probability that @xmath28 , and the scaling limit of the minimal number of cluster boundaries that must be crossed to connect @xmath23 to @xmath24 is @xmath29 .
one can also consider , as in  @xcite , the probability of a single monochromatic cluster in the exterior @xmath30 of the union of @xmath31 disjoint discs ( or other regions ) connecting all @xmath31 disc boundaries . in the scaling limit , this can be expressed as the probability of the event that there is a single continuous ( nonsimple ) curve in @xmath30 touching all @xmath31 disc boundaries that _ does not cross any of the loops of the continuum nonsimple loop process .
_    we conclude this section by remarking that the continuum nonsimple loop process is just one example of a family of  conformal loop ensembles " that are related to @xmath3 and to the gaussian free field ( see  @xcite ) , and are conjectured to describe the full scaling limit of statistical mechanics models such as percolation , ising and potts models .
the work of lawler , schramm , sheffield and werner has provided tools to define such loop ensembles in the continuum and to study some of their properties .
but the key question concerning the proof of their connection to the discrete models via a continuum scaling limit remains an important open challenge , the only exception currently being percolation , as we show in this paper .
we will find it convenient to identify the real plane @xmath32 and the complex plane @xmath33 .
we will also refer to the riemann sphere @xmath34 and the open upper half - plane @xmath35 ( and its closure @xmath36 ) , where chordal @xmath3 will be defined ( see section  [ sle1 ] ) .
@xmath37 will denote the open unit disc @xmath38 .
a domain @xmath7 of the complex plane @xmath33 is a nonempty , connected , open subset of @xmath33 ; a simply connected domain @xmath7 is said to be a jordan domain if its ( topological ) boundary @xmath39 is a jordan curve ( i.e. , a simple continuous loop ) .
we will make repeated use of riemann s mapping theorem , which states that if @xmath7 is any simply connected domain other than the entire plane @xmath33 and @xmath40 , then there is a unique conformal map @xmath41 of @xmath7 onto @xmath37 such that @xmath42 and @xmath43 .
when taking the scaling limit as the lattice mesh size @xmath44 one can focus on fixed finite regions , @xmath45 , or consider the whole @xmath32 at once .
the second option avoids dealing with boundary conditions , but requires an appropriate choice of metric
.    a convenient way of dealing with the whole @xmath32 is to replace the euclidean metric with a distance function @xmath46 defined on @xmath47 by @xmath48 where the infimum is over all smooth curves @xmath49 joining @xmath50 with @xmath51 , parameterized by arclength @xmath52 , and where @xmath53 denotes the euclidean norm .
this metric is equivalent to the euclidean metric in bounded regions , but it has the advantage of making @xmath32 precompact . adding a single point at infinity yields the compact space @xmath54 which is isometric , via stereographic projection , to the two - dimensional sphere .
in dealing with the scaling limit we use the approach of aizenman - burchard  @xcite .
denote by @xmath55 the complete separable metric space of continuous curves in the closure @xmath56 of the disc @xmath16 of radius @xmath17 with the metric  ( [ distance ] ) defined below .
curves are regarded as equivalence classes of continuous functions from the unit interval to @xmath56 , modulo monotonic reparametrizations .
@xmath57 will represent a particular curve and @xmath58 a parametrization of @xmath57 ; @xmath59 will represent a set of curves ( more precisely , a closed subset of @xmath55 ) .
@xmath60 will denote the uniform metric on curves , defined by @xmath61 } |\gamma_1(t ) - \gamma_2(t)|,\ ] ] where the infimum is over all choices of parametrizations of @xmath62 and @xmath63 from the interval @xmath64 $ ] .
the distance between two closed sets of curves is defined by the induced hausdorff metric as follows : @xmath65 the space @xmath66 of closed subsets of @xmath55 ( i.e. , collections of curves in @xmath56 ) with the metric  ( [ hausdorff ] ) is also a complete separable metric space .
we denote by @xmath67 its borel @xmath68-algebra .    for each fixed @xmath69 , the random curves that we consider are polygonal paths on the edges of the hexagonal lattice @xmath70 , dual to the triangular lattice @xmath71 .
a superscript @xmath10 is added to indicate that the curves correspond to a model with a `` short distance cutoff '' of magnitude @xmath10 .
we will also consider the complete separable metric space @xmath72 of continuous curves in @xmath54 with the distance @xmath73 } \delta(\gamma_1(t),\gamma_2(t)),\ ] ] where the infimum is again over all choices of parametrizations of @xmath62 and @xmath63 from the interval @xmath64 $ ] .
the distance between two closed sets of curves is again defined by the induced hausdorff metric as follows : @xmath74 the space @xmath75 of closed sets of @xmath76 ( i.e. , collections of curves in @xmath54 ) with the metric  ( [ hausdorff - d ] ) is also a complete separable metric space .
we denote by @xmath77 its borel @xmath68-algebra .
when we talk about convergence in distribution of random curves , we always mean with respect to the uniform metric  ( [ distance ] ) , while when we deal with closed collections of curves , we always refer to the metric  ( [ hausdorff ] ) or  ( [ hausdorff - d ] ) .
[ ab ] in this paper , the space @xmath75 of closed sets of @xmath76 is used for collections of exploration paths ( see section  [ explo ] ) and cluster boundary loops and their scaling limits , @xmath0 paths and continuum nonsimple loops .
the stochastic loewner evolution ( @xmath3 ) was introduced by schramm  @xcite as a tool for studying the scaling limit of two - dimensional discrete ( defined on a lattice ) probabilistic models whose scaling limits are expected to be conformally invariant . in this section we define the chordal version of @xmath3 ; for more on the subject , the interested reader can consult the original paper  @xcite as well as the fine reviews by lawler  @xcite , kager and nienhuis  @xcite , and werner  @xcite , and lawler s book  @xcite .
let @xmath78 denote the upper half - plane .
for a given continuous real function @xmath79 with @xmath80 , define , for each @xmath81 , the function @xmath82 as the solution to the ode @xmath83 with @xmath84 .
this is well defined as long as @xmath85 , i.e. , for all @xmath86 , where @xmath87 } | g_s(z ) - u_s| > 0 \}.\ ] ] let @xmath88 and let @xmath89 be the unbounded component of @xmath90 ; it can be shown that @xmath91 is bounded and that @xmath92 is a conformal map from @xmath89 onto @xmath78 .
for each @xmath93 , it is possible to write @xmath82 as @xmath94 when @xmath95 . the family @xmath96 is called the * loewner chain * associated to the driving function @xmath97
.    [ def - sle ] * chordal @xmath6 * is the loewner chain @xmath96 that is obtained when the driving function @xmath98 is @xmath99 times a standard real - valued brownian motion @xmath100 with @xmath101 .    for all @xmath102
, chordal @xmath6 is almost surely generated by a continuous random curve @xmath57 in the sense that , for all @xmath103 , @xmath104 is the unbounded connected component of @xmath105 $ ] ; @xmath57 is called the * trace * of chordal @xmath6 .
let @xmath106 be a jordan domain .
by riemann s mapping theorem , there are ( many ) conformal maps from the upper half - plane @xmath78 onto @xmath7 . in particular , given two distinct points @xmath107 , there exists a conformal map @xmath41 from @xmath78 onto @xmath7 such that @xmath108 and @xmath109 .
in fact , the choice of the points @xmath110 and @xmath111 on the boundary of @xmath7 only characterizes @xmath112 up to a multiplicative factor , since @xmath113 would also do .
suppose that @xmath96 is a chordal @xmath6 in @xmath78 as defined above ; we define chordal @xmath6 @xmath114 in @xmath7 from @xmath110 to @xmath111 as the image of the loewner chain @xmath96 under @xmath41 .
it is possible to show , using scaling properties of @xmath6 , that the law of @xmath114 is unchanged , up to a linear time - change , if we replace @xmath112 by @xmath113 .
this makes it natural to consider @xmath114 as a process from @xmath110 to @xmath111 in @xmath7 , ignoring the role of @xmath41 .
we are interested in the case @xmath115 , for which @xmath96 is generated by a continuous , nonsimple , non - self - crossing curve @xmath57 with hausdorff dimension @xmath116 .
we will denote by @xmath117 the image of @xmath57 under @xmath41 and call it the trace of chordal @xmath0 in @xmath7 from @xmath110 to @xmath111 ; @xmath117 is a continuous nonsimple curve inside @xmath7 from @xmath110 to @xmath111 , and it can be given a parametrization @xmath118 such that @xmath119 and @xmath120 , so that we are in the metric framework described in section  [ space ] .
it will be convenient to think of @xmath117 as an oriented path , with orientation from @xmath110 to @xmath111 .
we present here rad s theorem  @xcite ( see also theorem  2.11 of  @xcite ) , which deals with sequences of jordan domains and the corresponding conformal maps from the unit disc , and will be used in the proof of the key lemma  [ strong - smirnov ] .
since the theorem deals with jordan domains , the conformal maps from the unit disc to those domains have a continuous extension to @xmath121 . with a slight abuse of notation
, we do not distinguish between the conformal maps and their continuous extensions .
[ rado - thm ] for @xmath122 , let @xmath123 and @xmath124 be jordan curves parameterized respectively by @xmath125 and @xmath126 , @xmath127 $ ] , and let @xmath128 and @xmath41 be conformal maps from @xmath37 onto the inner domains of @xmath123 and @xmath124 such that @xmath129 and @xmath130 , @xmath131 for all @xmath132 .
if @xmath133 as @xmath134 uniformly in @xmath64 $ ] then @xmath135 as @xmath134 uniformly in @xmath136 .
the type of convergence of sequences of jordan domains @xmath137 to a jordan domain @xmath7 that will be encountered in lemma  [ strong - smirnov ] is such that @xmath138 converges , as @xmath134 , to @xmath39 in the uniform metric  ( [ distance ] ) on continuous curves , which is clearly sufficient to apply theorem  [ rado - thm ] .
as a preview to the full construction , we explain how to construct a single loop using two @xmath0 paths inside a domain @xmath7 whose boundary is assumed to have a given orientation ( clockwise or counterclockwise ) .
this is done in three steps ( see figure  [ fig - sec3 ] ) , of which the first consists in choosing two points @xmath110 and @xmath111 on the boundary @xmath39 of @xmath7 and `` running '' a chordal @xmath0 , @xmath139 , from @xmath110 to @xmath111 inside @xmath7 .
as explained in section  [ sle2 ] , we consider @xmath57 as an oriented path , with orientation from @xmath110 to @xmath111 .
the set @xmath140 $ ] is a countable union of its connected components , which are open and simply connected .
if @xmath12 is a deterministic point in @xmath7 , then with probability one , @xmath12 is not touched by @xmath57  @xcite and so it belongs to a unique domain in @xmath140 $ ] that we denote @xmath141 .     in three steps .
a domain @xmath7 is formed by the solid curve .
the dashed curve is an excursion @xmath142 ( from a to b ) of an @xmath0 in @xmath7 that creates a subdomain @xmath143 containing @xmath12 .
the dotted curve @xmath144 is an @xmath0 in @xmath143 from b to a. a loop is formed by @xmath142 followed by @xmath144.,width=302 ]    the elements of @xmath140 $ ] can be conveniently characterized in terms of how a point @xmath12 in the interior of the component was first `` trapped '' at some time @xmath145 by @xmath146 $ ] , perhaps together with either @xmath147 or @xmath148 ( the portions of the boundary @xmath39 from @xmath110 to @xmath111 counterclockwise or clockwise respectively )  see figure  [ four - types ] : ( 1 ) those components whose boundary contains a segment of @xmath148 between two successive visits at @xmath149 and @xmath150 to @xmath148 ( where here and below @xmath151 ) , ( 2 ) the analogous components with @xmath148 replaced by the other part of the boundary @xmath147 , ( 3 ) those components formed when @xmath152 with @xmath57 winding about @xmath12 in a counterclockwise direction between @xmath153 and @xmath145 , and finally ( 4 ) the analogous clockwise components .     from @xmath110 to @xmath111 inside a domain whose boundary is the solid curve.,width=226 ]    we give to the boundary of a domain of type  3 or 4 the orientation induced by how the curve @xmath57 winds around the points inside that domain . for a domain @xmath154 of type  1 or 2 which is produced by an  excursion " @xmath142 from @xmath155 to @xmath156 , the part of the boundary that corresponds to the inner perimeter of the excursion @xmath142 ( i.e.
, the perimeter of @xmath57 seen from @xmath12 ) is oriented according to the direction of @xmath57 , i.e. , from @xmath157 to @xmath158 .
if we assume that @xmath39 is oriented from @xmath110 to @xmath111 clockwise , then the boundaries of domains of type 2 have a well defined orientation , while the boundaries of domains of type 1 do not , since they are composed of two parts which are both oriented from the beginning to the end of the excursion that produced the domain .
now , let @xmath143 be a domain of type 1 and let @xmath159 and @xmath160 be respectively the starting and ending point of the excursion that generated @xmath143 .
the second step to construct a loop is to run a chordal @xmath0 , @xmath161 , inside @xmath143 from @xmath160 to @xmath159 ; the third and final step consists in pasting together @xmath142 and @xmath144 .    running @xmath144 inside @xmath143 from @xmath160 to @xmath159 partitions @xmath162 into new domains .
notice that if we assign an orientation to the boundaries of these domains according to the same rules used above , all of those boundaries have a well defined orientation , so that the construction of loops just presented can be iterated inside each one of these domains ( as well as inside each of the domains of type  2 , 3 and 4 generated by @xmath117 in the first step ) .
this will be done in the next section .      in this section
we define the continuum nonsimple loop process inside the unit disc @xmath163 via an inductive procedure .
later , in order to define the continuum nonsimple loops in the whole plane , the unit disc will be replaced by a growing sequence of large discs , @xmath16 , with @xmath164 ( see theorem  [ thm - therm - lim ] ) .
the basic ingredient in the algorithmic construction , given in the previous section , consists of a chordal @xmath0 path @xmath117 between two points @xmath110 and @xmath111 of the boundary @xmath39 of a given simply connected domain @xmath106 .
we will organize the inductive procedure in steps , each one corresponding to one @xmath0 inside a certain domain generated by the previous steps . to do that
, we need to order the domains present at the end of each step , so as to choose the one to use in the next step . for this purpose
, we introduce a deterministic countable set of points @xmath165 that are dense in @xmath33 and are endowed with a deterministic order ( here and below by deterministic we mean that they are assigned before the beginning of the construction and are independent of the @xmath0 s ) .
the first step consists of an @xmath0 path , @xmath166 , inside @xmath37 from @xmath167 to @xmath168 , which produces many domains that are the connected components of the set @xmath169 $ ] .
these domains can be priority - ordered according to the maximal @xmath170- or @xmath171- coordinate distances between points on their boundaries and using the rank of the points in @xmath165 ( contained in the domains ) to break ties , as follows . for a domain @xmath7 ,
let @xmath172 be the maximal @xmath170- or @xmath171-distance between points on its boundary , whichever is greater .
domains with larger @xmath173 have higher priority , and if two domains have the same @xmath173 , the one containing the highest ranking point of @xmath165 from those two domains has higher priority .
the priority order of domains of course changes as the construction proceeds and new domains are formed .
the second step of the construction consists of an @xmath0 path , @xmath63 , that is produced in the domain with highest priority ( after the first step ) . since all the domains that are produced in the construction are jordan domains , as explained in the discussion following corollary  [ jordan ] , for all steps we can use the definition of chordal @xmath3 given in section  [ sle2 ] .
as a result of the construction , the @xmath0 paths are naturally ordered : @xmath174 .
it will be shown ( see especially the proof of theorem  [ thm - convergence ] below ) that every domain that is formed during the construction is eventually used ( this is in fact one important requirement in deciding how to order the domains and therefore how to organize the construction ) .
so far we have not explained how to choose the starting and ending points of the @xmath0 paths on the boundaries of the domains . in order to do this , we give an orientation to the boundaries of the domains produced by the construction according to the rules explained in section  [ single - loop ] .
we call * monochromatic * a boundary which gets , as a consequence of those rules , a well defined ( clockwise or counterclockwise ) orientation ; the choice of this term will be clarified when we discuss the lattice version of the loop construction below .
we will generally take our initial domain @xmath175 ( or @xmath16 ) to have a monochromatic boundary ( either clockwise or counterclockwise orientation ) .
it is easy to see by induction that the boundaries that are not monochromatic are composed of two `` pieces '' joined at two special points ( call them a and b , as in the example of section  [ single - loop ] ) , such that one piece is a portion of the boundary of a previous domain , and the other is the inner perimeter of an excursion ( see again section  [ single - loop ] ) .
both pieces are oriented in the same direction , say from a to b ( see figure  [ fig - sec3 ] ) .    for a domain
whose boundary is not monochromatic , we make the `` natural '' choice of starting and ending points , corresponding to the end and beginning of the excursion that produced the domain ( the points b and a respectively , in the example above ) . as explained in section  [ single - loop ] , when such a domain is used with this choice of points on the boundary , a loop is produced , together with other domains , whose boundaries are all monochromatic .    for a domain
whose boundary is monochromatic , and therefore has a well defined orientation , there are various procedures which would yield the `` correct '' distribution for the resulting continuum nonsimple loop process ; one possibility is as follows .    given a domain @xmath7 , @xmath110 and @xmath111
are chosen so that , of all pairs @xmath176 of points in @xmath39 , they maximize @xmath177 if @xmath178 , or else they maximize @xmath179 . if the choice is not unique , to restrict the number of pairs one looks at those pairs , among the ones already obtained , that maximize the other of @xmath180 .
notice that this leaves at most two pairs of points ; if that s the case , the pair that contains the point with minimal real ( and , if necessary , imaginary ) part is chosen .
the iterative procedure produces a loop every time a domain whose boundary is not monochromatic is used .
our basic loop process consists of the collection of all loops generated by this inductive procedure ( i.e. , the limiting object obtained from the construction by letting the number of steps @xmath134 ) , to which we add a  trivial " loop for each @xmath12 in @xmath37 , so that the collection of loops is closed in the appropriate sense  @xcite .
the continuum nonsimple loop process in the whole plane is introduced in theorem  [ thm - therm - lim ] , section  [ main - results ] .
there , a  trivial " loop for each @xmath181 has to be added to make the space of loops closed .
we will denote by @xmath8 the two - dimensional triangular lattice , whose sites we think of as the elementary cells of a regular hexagonal lattice @xmath9 embedded in the plane as in figure  [ loops ] .
two hexagons are * neighbors * if they are adjacent , i.e. , if they have a common edge . a sequence @xmath182 of hexagons such that @xmath183 and @xmath184 are neighbors for all @xmath185 and @xmath186 whenever @xmath187 will be called a * @xmath8-path * and denoted by @xmath188 .
if the first and last sites of the path are neighbors , the path will be called a * @xmath8-loop*. a finite set @xmath7 of hexagons is * connected * if any two hexagons in @xmath7 can be joined by a @xmath8-path contained in @xmath7 .
we say that a finite set @xmath7 of hexagons is * simply connected * if both @xmath7 and its complement are connected . for a simply connected set @xmath7 of hexagons
, we denote by @xmath189 its * external site boundary * , or * s - boundary * ( i.e. , the set of hexagons that do not belong to @xmath7 but are adjacent to hexagons in @xmath7 ) , and by @xmath39 the topological boundary of @xmath7 when @xmath7 is considered as a domain of @xmath33 . we will call a bounded , simply connected subset @xmath7 of @xmath8 a * jordan set * if its s - boundary @xmath189 is a @xmath8-loop .    for a jordan set @xmath190 , a vertex @xmath191 that belongs to @xmath39 can be either of two types , according to whether the edge incident on @xmath170 that is not in @xmath39 belongs to a hexagon in @xmath7 or not .
we call a vertex of the second type an * e - vertex * ( e for `` external '' or `` exposed '' ) .    given a jordan set @xmath7 and two e - vertices @xmath192 in @xmath39 , we denote by @xmath193 the portion of @xmath39 traversed counterclockwise from @xmath170 to @xmath171 , and call it the * right boundary * ; the remaining part of the boundary is denote by @xmath194 and is called the * left boundary*. analogously , the portion of @xmath195 of @xmath189 whose hexagons are adjacent to @xmath193 is called the * right s - boundary * and the remaining part the * left s - boundary*.    a * percolation configuration * @xmath196 on @xmath8 is an assignment of @xmath197 ( equivalently , yellow ) or @xmath198 ( blue ) to each site of @xmath8 ( i.e. , to each hexagon of @xmath9  see figure  [ loops ] ) . for a domain @xmath7 of the plane , the restriction to the subset @xmath199 of @xmath8 of the percolation configuration @xmath68 is denoted by @xmath200 . on the space of configurations @xmath201 , we consider the usual product topology and denote by @xmath202 the uniform measure , corresponding to bernoulli percolation with equal density of yellow ( minus ) and blue ( plus ) hexagons , which is critical percolation in the case of the triangular lattice .    a ( percolation ) * cluster * is a maximal , connected , monochromatic subset of @xmath8 ; we will distinguish between blue ( plus ) and yellow ( minus ) clusters .
the * boundary * of a cluster @xmath7 is the set of edges of @xmath9 that surround the cluster ( i.e. , its peierls contour ) ; it coincides with the topological boundary of @xmath7 considered as a domain of @xmath33 .
the set of all boundaries is a collection of `` nested '' simple loops along the edges of @xmath9 .
given a percolation configuration @xmath68 , we associate an arrow to each edge of @xmath9 belonging to the boundary of a cluster in such a way that the hexagon to the right of the edge with respect to the direction of the arrow is blue ( plus ) .
the set of all boundaries then becomes a collection of nested , oriented , simple loops .
a * boundary path * ( or * b - path * ) @xmath57 is a sequence @xmath203 of distinct edges of @xmath9 belonging to the boundary of a cluster and such that @xmath204 and @xmath205 meet at a vertex of @xmath9 for all @xmath185 .
to each b - path , we can associate a direction according to the direction of the edges in the path .    given a b - path @xmath57 ,
we denote by @xmath206 ( respectively , @xmath207 ) the set of blue ( resp . , yellow ) hexagons ( i.e. , sites of @xmath8 ) adjacent to @xmath57 ; we also let @xmath208 .      for a jordan set @xmath190 and two e - vertices @xmath192 in @xmath39 , imagine coloring blue all the hexagons in @xmath195 and yellow all those in @xmath209 . then
, for any percolation configuration @xmath200 inside @xmath7 , there is a unique b - path @xmath57 from @xmath170 to @xmath171 which separates the blue cluster adjacent to @xmath195 from the yellow cluster adjacent to @xmath209 .
we call @xmath210 a * percolation exploration path * ( see figure  [ fig2-sec4 ] ) .    an exploration path @xmath57 can be decomposed into * left excursions * @xmath142 , i.e. , maximal b - subpaths of @xmath57 that do not use edges of the left boundary @xmath194 .
successive left excursions are separated by portions of @xmath57 that contain only edges of the left boundary @xmath194 .
analogously , @xmath57 can be decomposed into * right excursions * , i.e. , maximal b - subpaths of @xmath57 that do not use edges of the right boundary @xmath193 .
successive right excursions are separated by portions of @xmath57 that contain only edges of the right boundary @xmath193 .
notice that the exploration path @xmath211 only depends on the percolation configuration @xmath200 inside @xmath7 and the positions of the e - vertices @xmath170 and @xmath171 ; in particular , it does not depend on the color of the hexagons in @xmath189 , since it is defined by imposing fictitious @xmath212 boundary conditions on @xmath7 . to see this more clearly
, we next show how to construct the percolation exploration path dynamically , via the * percolation exploration process * defined below .
given a jordan set @xmath190 and two e - vertices @xmath192 in @xmath39 , assign to @xmath193 a counterclockwise orientation ( i.e. , from @xmath170 to @xmath171 ) and to @xmath194 a clockwise orientation .
call @xmath213 the edge incident on @xmath170 that does not belong to @xmath39 and orient it in the direction of @xmath170 ; this is the `` starting edge '' of an exploration procedure that will produce an oriented path inside @xmath7 along the edges of @xmath9 , together with two _ nonsimple _ monochromatic paths on @xmath8 .
> from @xmath213 , the process moves along the edges of hexagons in @xmath7 according to the rules below . at each step
there are two possible edges ( left or right edge with respect to the current direction of exploration ) to choose from , both belonging to the same hexagon @xmath214 contained in @xmath7 or @xmath189 .    * if @xmath214 belongs to @xmath7 and has not been previously  explored , " its color is determined by flipping a fair coin and then the edge to the left ( with respect to the direction in which the exploration is moving ) is chosen if @xmath214 is blue ( plus ) , or the edge to the right is chosen if @xmath214 is yellow ( minus ) . *
if @xmath214 belongs to @xmath7 and has been previously explored , the color already assigned to it is used to choose an edge according to the rule above . *
if @xmath214 belongs to the right external boundary @xmath195 , the left edge is chosen . *
if @xmath214 belongs to the left external boundary @xmath209 , the right edge is chosen . *
the exploration process stops when it reaches @xmath111 .
we can assign an arrow to each edge in the path in such a way that the hexagon to the right of the edge with respect to the arrow is blue ; for edges in @xmath39 , we assign the arrows according to the direction assigned to the boundary . in this way
, we get an oriented path , whose shape and orientation depend solely on the color of the hexagons explored during the construction of the path .
boundary conditions on the first column , corresponding to the boundary of the region where the exploration is carried out .
the colored hexagons that do not belong to the first column have been `` explored '' during the exploration process .
the heavy line between yellow ( light ) and blue ( dark ) hexagons is the exploration path produced by the exploration process.,width=226 ]    when we present the discrete construction , we will encounter jordan sets @xmath7 with two e - vertices @xmath215 assigned in some way to be discussed later .
such domains will have either monochromatic ( plus or minus ) boundaries or @xmath212 boundary conditions , corresponding to having both @xmath195 and @xmath209 monochromatic , but of different colors .
as explained , the exploration path @xmath216 does not depend on the color of @xmath189 , but the interpretation of @xmath216 does . for domains with @xmath212 boundary conditions ,
the exploration path represents the interface between the yellow cluster containing the yellow portion of the s - boundary of @xmath7 and the blue cluster containing its blue portion .    for domains with monochromatic blue ( resp . ,
yellow ) boundary conditions , the exploration path represents portions of the boundaries of yellow ( resp . ,
blue ) clusters touching @xmath194 and adjacent to blue ( resp .
, yellow ) hexagons that are the starting point of a blue ( resp . , yellow ) path ( possibly an empty path ) that reaches @xmath193 , pasted together using portions of @xmath194 .    in order to study the continuum scaling limit of an exploration path , we introduce the following definitions .
[ approx ] given a jordan domain @xmath7 of the plane , we denote by @xmath217 the largest jordan set of hexagons of the scaled hexagonal lattice @xmath70 that is contained in @xmath7 , and call it the * @xmath10-approximation * of @xmath7 .
it is clear that @xmath218 converges to @xmath39 in the metric  ( [ distance ] ) .
[ exp - path ] let @xmath7 be a jordan domain of the plane and @xmath217 its @xmath10-approximation . for @xmath107 , choose the pair @xmath219 of e - vertices in @xmath218 closest to , respectively , @xmath110 and @xmath111 ( if there are two such vertices closest to @xmath110 , we choose , say , the first one encountered going clockwise along @xmath218 , and analogously for @xmath111 ) . given a percolation configuration @xmath68 , we define the * exploration path * @xmath220 .    for a fixed @xmath69 , the measure @xmath202 on percolation configurations @xmath68 induces a measure @xmath221 on exploration paths @xmath222 . in the continuum scaling limit , @xmath44 ,
one is interested in the weak convergence of @xmath221 to a measure @xmath223 supported on continuous curves , with respect to the uniform metric  ( [ distance ] ) on continuous curves .
one of the main tools in this paper is the result on convergence to @xmath0 announced by smirnov  @xcite ( see also  @xcite ) , whose detailed proof is to appear  @xcite : _ the distribution of @xmath224 converges , as @xmath44 , to that of the trace of chordal @xmath0 inside @xmath7 from @xmath110 to @xmath111 , with respect to the uniform metric  ( [ distance ] ) on continuous curves_.    actually , we will rather use a slightly stronger conclusion , given as statement ( s ) at the beginning of section  [ main - results ] below , a version of which , according to  @xcite ( see p.  734
there ) , and  @xcite , will be contained in  @xcite .
this stronger statement is that the convergence of the percolation process to @xmath0 takes place _ locally uniformly _ with respect to the shape of the domain @xmath7 and the positions of the starting and ending points @xmath110 and @xmath111 on its boundary @xmath39 .
we will use this version of convergence to @xmath0 to identify the continuum nonsimple loop process with the scaling limit of _ all _ critical percolation clusters . a detailed proof of statement ( s )
can be found in  @xcite .
although the convergence statement in ( s ) is stronger than those in  @xcite , we note that it is restricted to jordan domains , a restriction not present in  @xcite .    before concluding this section , we give one more definition . consider the exploration path @xmath225 and the set @xmath226 .
the set @xmath227 is the union of its connected components ( in the lattice sense ) , which are simply connected .
if the domain @xmath7 is large and the e - vertices @xmath228 are not too close to each other , then with high probability the exploration process inside @xmath217 will make large excursions into @xmath217 , so that @xmath227 will have more than one component .
given a point @xmath229 contained in @xmath227 , we will denote by @xmath230 the domain corresponding to the unique element of @xmath227 that contains @xmath12 ( notice that for a deterministic @xmath231 , @xmath230 is well defined with high probability for @xmath10 small , i.e. , when @xmath232 and @xmath233 ) .
next , we show how to construct , by twice using the exploration process described in section  [ explo ] , a loop @xmath234 along the edges of @xmath235 corresponding to the external boundary of a monochromatic cluster contained in a large , simply connected , jordan set @xmath7 with monochromatic blue ( say ) boundary conditions ( see figures  [ fig3-sec4 ] and  [ fig4-sec4 ] ) .    consider the exploration path @xmath236 and the sets @xmath207 and @xmath206 ( see figure  [ fig3-sec4 ] ) . the set @xmath237 is the union of its connected components ( in the lattice sense ) , which are simply connected .
if the domain @xmath7 is large and the e - vertices @xmath238 are chosen not too close to each other , with large probability the exploration process inside @xmath7 will make large excursions into @xmath7 , so that @xmath237 will have many components .
there are four types of components which may be usefully thought of in terms of their external site boundaries : ( 1 ) those components whose site boundary contains both sites in @xmath207 and @xmath209 , ( 2 ) the analogous components with @xmath209 replaced by @xmath195 and @xmath207 by @xmath206 , ( 3 ) those components whose site boundary only contains sites in @xmath239 , and finally ( 4 ) the analogous components with @xmath207 replaced by @xmath206 .
notice that the components of type  1 are the only ones with @xmath212 boundary conditions , while all other components have monochromatic s - boundaries . for a given component @xmath143 of type  1
, we can identify the two edges that separate the yellow and blue portions of its s - boundary .
the vertices @xmath240 and @xmath241 of @xmath9 where those two edges intersect @xmath242 are e - vertices and are chosen to be the starting and ending points of the exploration path @xmath243 inside @xmath143 .
if @xmath244 are respectively the ending and starting points of the left excursion @xmath142 of @xmath216 that  created " @xmath143 , by pasting together @xmath142 and @xmath243 with the help of the edges of @xmath39 contained between @xmath240 and @xmath245 and between @xmath241 and @xmath246 , we get a loop @xmath234 which corresponds to the boundary of a yellow cluster adjacent to @xmath194 ( see figure  [ fig4-sec4 ] ) .
notice that the path @xmath243 in general splits @xmath143 into various other domains , all of which have monochromatic boundary conditions .     to the e - vertex @xmath171 .
the  starting edge " and  ending edge " of the exploration path are indicated by dotted segments next to @xmath170 and @xmath171 .
the outer layer of hexagons does not belong to the domain where the explorations are carried out , but represents its monochromatic blue / plus external site boundary . @xmath245 and @xmath246 are the ending and starting points of a left excursion that determines a new domain @xmath143 , and @xmath240 and @xmath241 are the vertices where the edges that separate the yellow and blue portions of the s - boundary of @xmath143 intersect @xmath242 .
@xmath240 and @xmath241 will be respectively the beginning and end of a new exploration path whose  starting edge " and  ending edge " are indicated by dotted segments next to those points.,width=302 ]     to @xmath241 whose resulting path ( heavy broken line ) is pasted to the left excursion generated by the previous exploration with the help of edges ( indicated again by a heavy broken line ) of @xmath39 contained between @xmath240 and @xmath245 and between @xmath241 and @xmath246.,width=302 ]      we now give the algorithmic construction for discrete percolation which is the analogue of the continuum one .
each step of the construction is a single percolation exploration process ; the order of successive steps is organized as in the continuum construction detailed in section  [ unit - disc ] .
we start with the largest jordan set @xmath247 of hexagons that is contained in the unit disc @xmath37 .
we will also make use of the countable set @xmath165 of points dense in @xmath33 that was introduced earlier .
the first step consists of an exploration process inside @xmath248 . for this , we need to select two points @xmath170 and @xmath171 in @xmath249 ( which identify the starting and ending edges ) .
we choose for @xmath170 the e - vertex closest to @xmath167 , and for @xmath171 the e - vertex closest to @xmath168 ( if there are two such vertices closest to @xmath167 , we can choose , say , the one with smallest real part , and analogously for @xmath168 ) . the first exploration produces a path @xmath250 and , for @xmath10 small , many new domains of all four types .
these domains are ordered according to the maximal @xmath170- or @xmath171- distance @xmath173 between points on their boundaries and , if necessary , with the help of points in @xmath165 , as in the continuum case , and that order is used , at each step of the construction , to determine the next exploration process . with this choice
, the exploration processes and paths are naturally ordered : @xmath251 .
each exploration process of course requires choosing a starting and ending vertex and edge . for domains of type  1 , with a @xmath212 or @xmath252 boundary condition ,
the choice is the natural one , explained before .    for a domain @xmath253 ( used at the @xmath132th step ) of type other than  1 , and
therefore with a monochromatic boundary , the starting and ending edges are chosen with a procedure that mimics what is done in the continuum case . once again , the exact procedure used to choose the pair of points is not important , as long as they are not chosen too close to each other .
this is clear in the discrete case because the procedure that we are presenting is only `` discovering '' the cluster boundaries . in more precise terms , it is clear that one could couple the processes obtained with different rules by means of the same percolation configuration , thus obtaining exactly the same cluster boundaries .    as in the continuum case
, we can choose the following procedure .
( in theorem  [ thm - convergence ] we will slightly reorganize the procedure by using a coupling to the continuum construction to guarantee that the order of exploration of domains of the discrete and continuum procedures match despite the rules for breaking ties . )
given a domain @xmath7 , @xmath170 and @xmath171 are chosen so that , of all pairs @xmath176 of points in @xmath39 , they maximize @xmath177 if @xmath178 , or else they maximize @xmath179 . if the choice is not unique , to restrict the number of pairs one looks at those pairs , among the ones already obtained , that maximize the other of @xmath180 .
notice that this leaves at most two pairs of points ; if that s the case , the pair that contains the point with minimal real ( and , if necessary , imaginary ) part is chosen .
the procedure continues iteratively , with regions that have monochromatic boundaries playing the role played in the first step by the unit disc .
every time a region with @xmath212 boundary conditions is used , a new loop , corresponding to the outer boundary contour of a cluster , is formed by pasting together , as explained in section  [ single - loop ] , the new exploration path and the excursion containing the region where the last exploration was carried out .
all the new regions created at a step when a loop is formed have monochromatic boundary conditions .
in this section we collect our main results about the continuum nonsimple loop process . before doing that , we state a precise version , called statement ( s ) , of convergence of exploration paths to @xmath0 that we will use in the proofs of these results , presented in section  [ proofs ] .
statement ( s ) is an immediate consequence of theorem  5 of  @xcite .
the proof given in  @xcite , which relies among other things on the result of smirnov  @xcite concerning convergence of crossing probabilities to cardy s formula  @xcite , is an expanded and corrected version of appendix  a of  @xcite .
we note that ( s ) is both more general and more special than the convergence statements in  @xcite  more general in that the domain can vary with @xmath10 as @xmath44 , but more special in the restriction to jordan domains .    given a jordan domain @xmath7 with two distinct points @xmath107 on its boundary ,
let @xmath223 denote the law of @xmath117 , the trace of chordal @xmath0 , and let @xmath221 denote the law of the percolation exploration path @xmath224 .
let @xmath254 be the space of continuous curves inside @xmath7 from @xmath110 to @xmath111 .
we define @xmath255 ( where @xmath256 denotes the open ball of radius @xmath257 centered at @xmath170 in the metric  ( [ distance ] ) ) and denote by @xmath258 the prohorov distance ; weak convergence is equivalent to convergence in the prohorov metric .
statement ( s ) is the following ; it is used in the proofs of all the results of this section _ except _ for lemmas  [ sub - conv]-[boundaries ] .    * for jordan domains ,
there is convergence in distribution of the percolation exploration path to the trace of chordal @xmath0 that is _ locally uniform _ in the shape of the boundary with respect to the uniform metric on continuous curves  ( [ distance ] ) , and in the location of the starting and ending points with respect to the euclidean metric ; i.e. , for @xmath259 a jordan domain with distinct @xmath107 , @xmath260 , @xmath261 and @xmath262 such that for all @xmath263 with @xmath143 jordan and with @xmath264 and @xmath265 , @xmath266 .
we first give some important results which are needed in the proofs of the main theorems .
we start with two lemmas which are consequences of  @xcite , of standard bounds on the probability of events corresponding to having a certain number of monochromatic crossings of an annulus ( see lemma  5 of  @xcite , appendix  a of  @xcite , and also  @xcite ) , but which do _ not _ depend on statement ( s ) .
[ sub - conv ] let @xmath267 be the percolation exploration path on the edges of @xmath70 inside ( the @xmath10-approximation of ) @xmath37 between ( the e - vertices closest to ) @xmath167 and @xmath168 . for any fixed point @xmath268 , chosen independently of @xmath267 , as @xmath44 , @xmath267 and the boundary @xmath269 of the domain @xmath270 that contains @xmath12 jointly have limits in distribution along subsequences of @xmath10 with respect to the uniform metric  ( [ distance ] ) on continuous curves .
moreover , any subsequence limit of @xmath269 is almost surely a simple loop  @xcite .
[ boundaries ] using the notation of lemma  [ sub - conv ] , let @xmath271 be the limit in distribution of @xmath267 as @xmath44 along some convergent subsequence @xmath272 and @xmath273 the boundary of the domain @xmath274 of @xmath275 $ ] that contains @xmath12 .
then , as @xmath134 , @xmath276 converges in distribution to @xmath277 .
the two lemmas above are important ingredients in the proof of theorem  [ thm - convergence ] below .
the second one says that , for every subsequence limit , the discrete boundaries converge to the boundaries of the domains generated by the limiting continuous curve . if we use statement ( s ) , then the limit @xmath271 of @xmath278 is the trace of chordal @xmath0 for every subsequence @xmath279 , and we can use lemmas  [ boundaries ] and [ sub - conv ] to deduce that all the domains produced in the continuum construction are jordan domains .
the key step in that direction is represented by the following result , our proof of which relies on ( s ) .
[ jordan ] for any deterministic @xmath268 , the boundary @xmath273 of a domain @xmath274 of the continuum construction is almost surely a jordan curve .
the corollary says that the domains that appear after the first step of the continuum construction are jordan domains .
the steps in the second stage of the continuum construction consist of @xmath0 paths inside jordan domains , and therefore corollary  [ jordan ] , combined with riemann s mapping theorem and the conformal invariance of @xmath0 , implies that the domains produced during the second stage are also jordan . by induction
, we deduce that all the domains produced in the continuum construction are jordan domains .
we end this section with one more lemma which is another key ingredient in the proof of theorem  [ thm - convergence ] ; we remark that its proof requires ( s ) in a fundamental way .
[ strong - smirnov ] let @xmath259 denote a _
jordan domain , with @xmath280 two points on @xmath39 .
let @xmath281 , be a sequence of _ random _ jordan domains with points on their boundaries such that , as @xmath134 , @xmath282 converges in distribution to @xmath283 with respect to the uniform metric  ( [ distance ] ) on continuous curves , and the euclidean metric on @xmath284 . for any sequence @xmath285 with @xmath279 as @xmath134
, @xmath286 converges in distribution to @xmath117 with respect to the uniform metric  ( [ distance ] ) on continuous curves .      in this section we state
the main technical theorems of this paper .
our main results , presented in section  [ quickresults ] , are consequences of these theorems .
the proofs of these theorems rely on statement ( s ) .
as noted before , a detailed proof of statement ( s ) can be found in  @xcite .
[ thm - convergence ] for any @xmath287 , the first @xmath132 steps of ( a suitably reorganized version of ) the full discrete construction inside the unit disc ( of section  [ full ] ) converge , jointly in distribution , to the first @xmath132 steps of the full continuum construction inside the unit disc ( of section  [ unit - disc ] ) .
furthermore , the scaling limit of the full ( original or reorganized ) discrete construction is the full continuum construction .    moreover , if for any fixed @xmath288 we let @xmath289 denote the number of steps needed to find all the cluster boundaries of euclidean diameter larger than @xmath257 in the discrete construction , then @xmath289 is bounded in probability as @xmath44 ; i.e. , @xmath290 .
this is so in both the original and reorganized versions of the discrete construction .
the second part of theorem  [ thm - convergence ] means that both versions of the discrete construction used in the theorem find all large contours in a number of steps which does not diverge as @xmath44 .
this , together with the first part of the same theorem , implies that the continuum construction does indeed describe all macroscopic contours contained inside the unit disc ( with blue boundary conditions ) as @xmath44 .
the construction presented in section  [ unit - disc ] can of course be repeated for the disc @xmath16 of radius @xmath17 , for any @xmath17 , so we should take a `` thermodynamic limit '' by letting @xmath291 . in this way , we would eliminate the boundary ( and the boundary conditions ) and obtain a process on the whole plane .
such an extension from the unit disc to the plane is contained in the next theorem .
let @xmath292 be the ( limiting ) distribution of the set of curves ( all continuum nonsimple loops ) generated by the continuum construction inside @xmath16 ( i.e. , the limiting measure , defined by the inductive construction , on the complete separable metric space @xmath293 of collections of continuous curves in @xmath16 ) .    for a domain @xmath7 ,
we denote by @xmath294 the mapping ( on @xmath75 or @xmath66 ) in which all portions of curves that exit @xmath7 are removed . when applied to a configuration of loops in the plane
, @xmath294 gives a set of curves which either start and end at points on @xmath39 or form closed loops completely contained in @xmath7 .
let @xmath295 be the same mapping lifted to the space of probability measures on @xmath75 or @xmath66 .
[ thm - therm - lim ] there exists a unique probability measure @xmath296 on the space @xmath75 of collections of continuous curves in @xmath54 such that @xmath297 as @xmath291 in the sense that for every bounded domain @xmath7 , as @xmath291 , @xmath298 .
we we will generally take monochromatic blue boundary conditions on the disc @xmath16 of radius @xmath17 , but this arbitrary choice does not affect the results .
the next theorem states a conformal invariance property of the continuum nonsimple loop processes of theorem  [ main - result1 ] .
[ thm - conf - inv ] given two disjoint discs , @xmath23 and @xmath24 , let @xmath299 ( respectively , @xmath300 ) be the smallest loop from the continuum nonsimple loop process x that surrounds @xmath23 ( resp . , @xmath24 ) and
let @xmath301 ( resp . ,
@xmath302 ) be the connected component of @xmath303 ( resp .
, @xmath304 ) that contains @xmath23 ( resp . ,
@xmath24 ) .
assume that @xmath301 and @xmath302 are disjoint and let @xmath305 , @xmath306 , denote the distribution of the loops inside @xmath307 .
then , conditioned on @xmath301 and @xmath302 , the configurations inside @xmath301 and @xmath302 are independent and moreover @xmath308 ( here @xmath309 denotes the probability distribution of the loop process @xmath310 when @xmath311 is distributed by @xmath312 ) , where @xmath313 is a conformal homeomorphism from @xmath301 onto @xmath302 .
we remark that the result is still valid ( without the independence ) even if @xmath301 and @xmath302 are not disjoint , but for simplicity we do not consider that case .    to conclude this section , we show how to recover chordal @xmath0 from the continuum nonsimple loop process , i.e. , given a ( deterministic ) jordan domain @xmath7 with two boundary points @xmath110 and @xmath111 , we give a construction that uses the continuum nonsimple loops of @xmath296 to generate a process distributed like chordal @xmath0 inside @xmath7 from @xmath110 to @xmath111 .
remember , first of all , that each continuum nonsimple loop has either a clockwise or counterclockwise direction , with the set of all loops surrounding any deterministic point alternating in direction . for convenience ,
let us suppose that @xmath110 is at the  bottom " and @xmath111 is at the  top " of @xmath7 so that the boundary is divided into a left and right part by these two points .
fix @xmath288 and call @xmath314 the set of all the directed segments of loops that connect from the left to the right part of the boundary touching @xmath39 at a distance larger than @xmath257 from both @xmath110 and @xmath111 , and @xmath315 the analogous set of directed segments from the right to the left portion of @xmath39 . for a fixed @xmath288 ,
there is only a finite number of such segments , and , if they are ordered moving along the left boundary of @xmath7 from @xmath110 to @xmath111 , they alternate in direction ( i.e. , a segment in @xmath314 is followed by one in @xmath315 and so on ) .    between a segment in @xmath315 and the next segment in @xmath314 ,
there are countably many portions of loops intersecting @xmath7 which start and end on @xmath39 and are maximal in the sense that they are not contained inside any other portion of loop of the same type ; they all have counterclockwise direction and can be used to make a `` bridge '' between the right - to - left segment and the next one ( in @xmath314 ) .
this is done by pasting the portions of loops together with the help of points in @xmath39 and a limit procedure to produce a connected ( nonsimple ) path .
if we do this for each pair of successive segments on both sides of the boundary of @xmath7 , we get a path that connects two points on @xmath39 . by letting @xmath316 and taking the limit of this procedure , since almost surely
@xmath110 and @xmath111 are surrounded by an infinite family of nested loops with diameters going to zero , we obtain a path that connects @xmath110 with @xmath111 ; this path is distributed as chordal @xmath0 inside @xmath7 from @xmath110 to @xmath111 .
the last claim follows from considering the analogous procedure for percolation on the discrete lattice @xmath70 , using segments of boundaries .
it is easy to see that in the discrete case this procedure produces exactly the same path as the percolation exploration process . by theorems
[ main - result1 ] and  [ main - result2 ] , the scaling limit of this discrete procedure is the continuum one described above , therefore the claim follows from ( s ) .
in this section we present the proofs of the results stated in sections  [ quickresults ] and  [ main - results ] . in order to do that
, we will use the following lemma .
[ arms ] let @xmath317 be the event that the annulus @xmath318 centered at @xmath319 contains six disjoint monochromatic crossings , not all of the same color , and let @xmath320 be the event , for some @xmath321 , that @xmath322 contains three disjoint monochromatic crossings , not all of the same color . then , for any @xmath288 , @xmath323 and @xmath324    * proof . * we know from  @xcite that there exist @xmath325 and @xmath326 so that for @xmath327 , and @xmath10 small enough ( in particular , @xmath328 ) , @xmath329 for any @xmath330
. if we cover @xmath37 with @xmath331 balls of radius @xmath332 centered at @xmath333 , we have that , for @xmath334 and @xmath10 small enough , @xmath335 where the first inequality follows from the observations that for any @xmath336 , @xmath337 and @xmath338 for some @xmath339 , and the second inequality uses  ( [ ksz ] ) .
using the fact that @xmath331 is @xmath340 , we can let first @xmath44 and then @xmath341 to obtain  ( [ six ] ) .
we also know , as a consequence of lemma  5 of  @xcite or as proved in appendix a of  @xcite , that for any @xmath342 , the probability that the semi - annulus @xmath343 contains three disjoint monochromatic crossings , not all of the same color , is bounded above by @xmath344 for some @xmath345 and @xmath346 .
( we remark that the result still applies when @xmath347 is replaced by any other half - plane . )
since the unit disc is a convex subset of the half - plane @xmath348 and therefore the intersection of an annulus centered at @xmath167 with the unit disc @xmath37 is a subset of the intersection of the same annulus with the half - plane @xmath348 , we can use that bound to conclude that for @xmath349 , and in fact for any @xmath321 , there exists a constant @xmath350 such that @xmath351 for some @xmath346 .
we can then use similar arguments to those above , together with  ( [ lsw ] ) , to obtain  ( [ three ] ) and conclude the proof .
+ * proof of lemma  [ sub - conv ] . *
the first part of the lemma is a direct consequence of  @xcite ; it is enough to notice that the ( random ) polygonal curves @xmath267 and @xmath269 satisfy the conditions in  @xcite and thus have a scaling limit in terms of continuous curves , at least along subsequences of @xmath10 .
let us assume that this is not the case and that the limit @xmath352 of @xmath353 along some subsequence @xmath285 touches itself , i.e. , @xmath354 for @xmath355 with positive probability .
if that happens , we can take @xmath356 small enough so that the annulus @xmath357 is crossed at least four times by @xmath352 ( here @xmath358 is the ball of radius @xmath359 centered at @xmath50 ) .
because of the choice of topology , the convergence in distribution of @xmath353 to @xmath352 implies that we can find coupled versions of @xmath353 and @xmath352 on some probability space @xmath360 such that @xmath361 , for all @xmath362 as @xmath134 ( see , for example , corollary  1 of  @xcite ) .    using this coupling
, we can choose @xmath132 large enough ( depending on @xmath363 ) so that @xmath353 stays in an @xmath364-neighborhood @xmath365 of @xmath352 .
this event however would correspond to ( at least ) four paths of one color ( corresponding to the four crossings by @xmath366 , which shadows @xmath353 ) and two of the other color ( belonging to percolation clusters adjacent to the cluster of @xmath366 , and of the opposite color ) , of the annulus @xmath367 ( see , for example ,  @xcite  see also figure  [ fig - lemma5 - 1 ] ) .
as @xmath368 , we can let @xmath341 , in which case the probability of seeing the event just described somewhere inside @xmath37 goes to zero by an application of lemma  [ arms ] , leading to a contradiction .
+            * proof .
* let @xmath285 be a convergent subsequence for @xmath267 and let @xmath372 be the limit in distribution of @xmath278 as @xmath134 . for simplicity of notation , in the rest of the proof we will drop the @xmath132 and write @xmath10 instead of @xmath373 . because of the choice of topology , the convergence in distribution of @xmath374 to @xmath57 implies that we can find coupled versions of @xmath375 and @xmath57 on some probability space @xmath360 such that @xmath376 , for all @xmath363 as @xmath134 ( see , for example , corollary  1 of  @xcite ) .    using this coupling , we first consider the case of @xmath377 such that @xmath370 but @xmath371 . since @xmath378 is an open subset of @xmath33
, there exists a continuous curve @xmath379 joining @xmath50 and @xmath51 and a constant @xmath288 such that the @xmath257-neighborhood @xmath380 of the curve is contained in @xmath378 , which implies that @xmath57 does not intersect @xmath380 .
now , if @xmath375 does not intersect @xmath381 , for @xmath10 small enough , then there is a @xmath8-path @xmath188 of unexplored hexagons connecting the hexagon that contains @xmath50 with the hexagon that contains @xmath51 , and we conclude that @xmath382 .
this shows that the event that @xmath370 but @xmath371 implies the existence of a curve @xmath379 whose @xmath257-neighborhood @xmath380 is not intersected by @xmath57 but whose @xmath383-neighborhood @xmath381 is intersected by @xmath375 .
this implies that @xmath384 , @xmath385 such that @xmath386 .
but the right hand side goes to zero for every @xmath288 as @xmath44 , which concludes the proof of one direction of the claim . to prove the other direction , we consider two points @xmath387 such that @xmath388 but @xmath389 .
assume that @xmath50 is trapped before @xmath51 by @xmath57 and suppose for the moment that @xmath378 is a domain of type 3 or 4 ; the case of a domain of type 1 or 2 is analogous and will be treated later .
let @xmath145 be the first time @xmath50 is trapped by @xmath57 with @xmath390 the double point of @xmath57 where the domain @xmath378 containing @xmath50 is `` sealed off . '' at time @xmath145 , a new domain containing @xmath50 is created and @xmath51 is disconnected from @xmath50 .
choose @xmath288 small enough so that neither @xmath50 nor @xmath51 is contained in the ball @xmath391 of radius @xmath257 centered at @xmath392 , nor in the @xmath257-neighborhood @xmath393,\varepsilon)$ ] of the portion of @xmath57 which surrounds @xmath50 .
then it follows from the coupling that , for @xmath10 small enough , there are appropriate parameterizations of @xmath57 and @xmath375 such that the portion @xmath394 $ ] of @xmath395 is inside @xmath393,\varepsilon)$ ] , and @xmath396 and @xmath397 are contained in @xmath391 .    for @xmath50 and @xmath51 to be contained in the same domain in the discrete construction , there must be a @xmath8-path @xmath188 of unexplored hexagons connecting the hexagon that contains @xmath50 to the hexagon that contains @xmath51 .
> from what we said in the previous paragraph , any such @xmath8-path connecting @xmath50 and @xmath51 would have to go though a `` bottleneck '' in @xmath391 ( see figure  [ fig - lemma6 - 2 ] ) .
assume now , for concreteness but without loss of generality , that @xmath378 is a domain of type  3 , which means that @xmath57 winds around @xmath50 counterclockwise , and consider the hexagons to the  left " of @xmath394 $ ] ( these are all lightly shaded in figure  [ fig - lemma6 - 2 ] ) .
those hexagons form a `` quasi - loop '' around @xmath50 since they wind around it ( counterclockwise ) and the first and last hexagons are both contained in @xmath391 .
the hexagons to the left of @xmath394 $ ] belong to the set @xmath398 , which can be seen as a ( nonsimple ) path by connecting the centers of the hexagons in @xmath398 by straight segments .
such a path shadows @xmath375 , with the difference that it can have double ( or even triple ) points , since the same hexagon can be visited more than once .
consider @xmath398 as a path @xmath399 with a given parametrization @xmath400 , chosen so that @xmath400 is inside @xmath391 when @xmath395 is , and it winds around @xmath50 together with @xmath395 .
-path @xmath188 of unexplored hexagons from @xmath50 to @xmath51 having to go through a  bottleneck " due to the fact that the exploration path ( heavy line ) comes close to itself .
an approximate location of the continuum double point at @xmath401 is indicated by the small disc in one of the hexagons in the bottleneck area.,width=302 ]    now suppose that there were two times , @xmath402 and @xmath403 , such that @xmath404 and @xmath405 $ ] winds around @xmath50 .
this would imply that the `` quasi - loop '' of explored yellow hexagons around @xmath50 is actually completed , and that @xmath406 .
thus , for @xmath50 and @xmath51 to belong to the same discrete domain , this can not happen .
for any @xmath407 , if we take @xmath10 small enough , @xmath399 will be contained inside @xmath408 , due to the coupling .
following the considerations above , the fact that @xmath50 and @xmath51 belong to the same domain in the discrete construction but to different domains in the continuum construction implies , for @xmath10 small enough , that there are four disjoint yellow @xmath8-paths crossing the annulus @xmath409 ( the paths have to be disjoint because , as we said , @xmath399 can not , when coming back to @xmath391 after winding around @xmath50 , touch itself inside @xmath391 ) .
since @xmath410 is also crossed by at least two blue @xmath8-paths from @xmath411 , there is a total of at least six @xmath8-paths , not all of the same color , crossing the annulus @xmath412 .
we can then use lemma  [ arms ] to conclude that , if we keep @xmath257 fixed and let @xmath44 and @xmath341 , the probability to see such an event anywhere in @xmath37 goes to zero .    in the case
in which @xmath50 belongs to a domain of type  1 or 2 , let @xmath142 be the excursion that traps @xmath50 and @xmath413 be the point on the boundary of @xmath37 where @xmath142 starts and @xmath414 the point where it ends .
choose @xmath288 small enough so that neither @xmath50 nor @xmath51 is contained in the balls @xmath415 and @xmath391 of radius @xmath257 centered at @xmath416 and @xmath392 , nor in the @xmath257-neighborhood @xmath417 of the excursion @xmath142 . because of the coupling , for @xmath10 small enough ( depending on @xmath257 ) , @xmath375 shadows @xmath57 along @xmath142 , staying within @xmath417 .
if this is the case , any @xmath8-path of unexplored hexagons connecting the hexagon that contains @xmath50 with the hexagon that contains @xmath51 would have to go through one of two `` bottlenecks , '' one contained in @xmath415 and the other in @xmath391 .
assume for concreteness ( but without loss of generality ) that @xmath50 is in a domain of type 1 , which means that @xmath57 winds around @xmath50 counterclockwise .
if we parameterize @xmath57 and @xmath375 so that @xmath418 and @xmath419 , @xmath394 $ ] forms a `` quasi - excursion '' around @xmath50 since it winds around it ( counterclockwise ) and it starts inside @xmath420 and ends inside @xmath421 .
notice that if @xmath375 touched @xmath422 , inside both @xmath420 and @xmath421 , this would imply that the `` quasi - excursion '' is a real excursion and that @xmath406 .
for any @xmath407 , if we take @xmath10 small enough , @xmath375 will be contained inside @xmath408 , due to the coupling .
therefore , the fact that @xmath423 implies , with probability going to one as @xmath44 , that for @xmath288 fixed and any @xmath407 , @xmath375 enters the ball @xmath424 and does not touch @xmath422 inside the larger ball @xmath425 , for @xmath426 or @xmath427 .
this is equivalent to having at least two yellow and one blue @xmath8-paths ( contained in @xmath428 ) crossing the annulus @xmath429 .
as @xmath44 , we can let @xmath332 go to zero ( keeping @xmath257 fixed ) and use lemma  [ arms ] to conclude that the probability that such an event occurs anywhere on the boundary of the unit disc goes to zero .
we have shown that , for two fixed points @xmath369 , having @xmath430 but @xmath382 or vice versa implies the occurrence of an event whose probability goes to zero as @xmath44 , and the proof of the lemma is concluded .
+ * proof of lemma  [ boundaries ] . * as in the proof of lemma  [ claim - c ] , we let @xmath285 be a convergent subsequence for @xmath267 and let @xmath372 be the limit in distribution of @xmath278 as @xmath134 , and in the rest of the proof consider coupled versions of @xmath431 and @xmath57 .
let us introduce the hausdorff distance @xmath432 between two closed nonempty subsets of @xmath136 : @xmath433 with this metric , the collection of closed subsets of @xmath136 is a compact space .
we will next prove that @xmath353 converges in distribution to @xmath273 as @xmath368 , in the topology induced by  ( [ hausdorff - dist ] ) .
( notice that the coupling between @xmath434 and @xmath57 provides a coupling between @xmath353 and @xmath273 , seen as boundaries of domains produced by the two paths . )
we will now use lemma  [ sub - conv ] and take a further subsequence @xmath435 of the @xmath373 s that for simplicity of notation we denote by @xmath436 such that , as @xmath437 , @xmath438 converge jointly in distribution to @xmath439 , where @xmath352 is a simple loop . for any @xmath288 , since @xmath352 is a compact set , we can find a covering of @xmath440 by a finite number of balls of radius @xmath383 centered at points on @xmath352 .
each ball contains both points in the interior @xmath441 of @xmath352 and in the exterior @xmath442 of @xmath440 , and we can choose ( independently of @xmath443 ) one point from @xmath441 and one from @xmath442 inside each ball .
once again , the convergence in distribution of @xmath444 to @xmath352 implies the existence of a coupling such that , for @xmath443 large enough , the selected points that are in @xmath441 are contained in @xmath445 , and those that are in @xmath442 are contained in the complement of @xmath446 .
but by lemma  [ claim - c ] , each one of the selected points that is contained in @xmath445 is also contained in @xmath274 with probability going to @xmath427 as @xmath437 ; analogously , each one of the selected points contained in the complement of @xmath446 is also contained in the complement of @xmath447 with probability going to @xmath427 as @xmath437 .
this implies that @xmath273 crosses each one of the balls in the covering of @xmath352 , and therefore @xmath448 .
> from this and the coupling between @xmath444 and @xmath352 , it follows immediately that , for @xmath443 large enough , @xmath449 with probability close to one .
a similar argument ( analogous to the previous one but simpler , since it does not require the use of @xmath352 ) , with the roles of @xmath445 and @xmath274 inverted , shows that @xmath450 with probability going to @xmath427 as @xmath437 .
therefore , for all @xmath288 , @xmath451 as @xmath437 , which implies convergence in distribution of @xmath444 to @xmath273 , as @xmath452 , in the topology induced by  ( [ hausdorff - dist ] ) . but
lemma  [ sub - conv ] implies that @xmath444 converges in distribution ( using  ( [ distance ] ) ) to a simple loop , therefore @xmath273 must also be a simple loop ; and we have convergence in the topology induced by  ( [ distance ] ) .
it is also clear that the argument above is independent of the subsequence @xmath453 ( and of the original subsequence @xmath272 ) , so the limit of @xmath269 is unique and coincides with @xmath273 .
hence , we have convergence in distribution of @xmath269 to @xmath273 , as @xmath44 , in the topology induced by  ( [ distance ] ) , and indeed joint convergence of @xmath454 to @xmath455 .
+ * proof of corollary  [ jordan ] . *
the corollary follows immediately from lemma  [ sub - conv ] and lemma  [ boundaries ] , as already seen in the proof of lemma  [ boundaries ] . +
* proof of lemma  [ strong - smirnov ] . *
first of all recall that the convergence of @xmath282 to @xmath283 in distribution implies the existence of coupled versions of @xmath282 and @xmath283 on some probability space @xmath360 such that @xmath456 , @xmath457 , @xmath458 for all @xmath363 as @xmath134 ( see , for example , corollary  1 of  @xcite ) .
this immediately implies that the conditions to apply rad s theorem ( see theorem  [ rado - thm ] of section  [ rado ] ) are satisfied .
let @xmath128 be the conformal map that takes the unit disc @xmath37 onto @xmath459 with @xmath460 and @xmath461 , and let @xmath41 be the conformal map from @xmath37 onto @xmath7 with @xmath462 and @xmath131 .
then , by theorem  [ rado - thm ] , @xmath128 converges to @xmath41 uniformly in @xmath136 , as @xmath134 .
let @xmath57 ( resp . ,
@xmath463 ) be the chordal @xmath0 inside @xmath7 ( resp . , @xmath459 ) from @xmath110 to @xmath111 ( resp .
, from @xmath464 to @xmath465 ) , @xmath466 , @xmath467 , @xmath468 , and @xmath469 , @xmath470 , @xmath471 .
we note that , because of the conformal invariance of chordal @xmath0 , @xmath352 ( resp . , @xmath472 ) is distributed as chordal @xmath0 in @xmath37 from @xmath473 to @xmath474 ( resp .
, from @xmath475 to @xmath476 ) .
since @xmath477 and @xmath478 for all @xmath363 , and @xmath135 uniformly in @xmath136 , we conclude that @xmath479 and @xmath480 for all @xmath363 .
later we will prove a `` continuity '' property of @xmath0 ( lemma  [ continuity ] ) that allows us to conclude that , under these conditions , @xmath472 converges in distribution to @xmath352 in the uniform metric  ( [ distance ] ) on continuous curves .
once again , this implies the existence of coupled versions of @xmath472 and @xmath352 on some probability space @xmath481 such that @xmath482 , for all @xmath363 as @xmath134 .
therefore , thanks to the convergence of @xmath128 to @xmath41 uniformly in @xmath136 , @xmath483 , for all @xmath363 as @xmath134 .
but since @xmath484 is distributed as @xmath485 and @xmath486 is distributed as @xmath117 , we conclude that , as @xmath134 , @xmath485 converges in distribution to @xmath117 in the uniform metric  ( [ distance ] ) on continuous curves .
we now note that ( s ) implies that , as @xmath44 , @xmath487 converges in distribution to @xmath485 _ uniformly _ in @xmath132 , for @xmath132 large enough . therefore , as @xmath134
, @xmath286 converges in distribution to @xmath117 , and the proof is concluded .
[ continuity ] let @xmath488 be the unit disc , @xmath110 and @xmath111 two distinct points on its boundary , and @xmath57 the trace of chordal @xmath0 inside @xmath37 from @xmath110 to @xmath111 .
let @xmath489 and @xmath490 be two sequences of points in @xmath491 such that @xmath492 and @xmath493 . then , as @xmath134 , the trace @xmath463 of chordal @xmath0 inside @xmath37 from @xmath464 to @xmath465 converges in distribution to @xmath57 in the uniform topology  ( [ distance ] ) on continuous curves .
* let @xmath494 be the ( unique ) linear fractional transformation that takes the unit disc @xmath37 onto itself , mapping @xmath110 to @xmath464 , @xmath111 to @xmath465 , and a third point @xmath495 distinct from @xmath110 and @xmath111 to itself .
@xmath496 and @xmath497 depend continuously on @xmath464 and @xmath465 . as @xmath134 , since @xmath492 and @xmath493
, @xmath128 converges uniformly to the identity in @xmath136 .    using the conformal invariance of chordal @xmath0 , we couple @xmath463 and @xmath57 by writing @xmath498 .
the uniform convergence of @xmath128 to the identity implies that @xmath499 as @xmath134 , which is enough to conclude that @xmath463 converges to @xmath57 in distribution . +
* proof of theorem  [ thm - convergence ] .
* let us prove the second part of the theorem first .
we will do this for the original version of the discrete construction , but essentially the same proof works for the reorganized version we will describe below , as we will explain later . suppose that at step @xmath132 of this discrete construction an exploration process @xmath500 is run inside a domain @xmath501 , and write @xmath502 , where @xmath503 are the maximal connected domains of unexplored hexagons into which @xmath501 is split by removing the set @xmath504 of hexagons explored by @xmath500 .
let @xmath505 and @xmath506 be respectively the maximal @xmath170- and @xmath171-distances between pairs of points in @xmath507 .
suppose , without loss of generality , that @xmath508 , and consider the rectangle @xmath509 ( see figure  [ fig3-thm1 ] ) whose vertical sides are aligned to the @xmath171-axis , have length @xmath505 , and are each placed at @xmath170-distance @xmath510 from points of @xmath507 with minimal or maximal @xmath170-coordinate in such a way that the horizontal sides of @xmath509 have length @xmath510 ; the bottom and top sides of @xmath509 are placed in such a way that they are at equal @xmath171-distance from the points of @xmath507 with minimal or maximal @xmath171-coordinate , respectively .
it follows from the russo - seymour - welsh lemma  @xcite ( see also  @xcite ) that the probability to have two vertical @xmath8-crossings of @xmath509 of different colors is bounded away from zero by a positive constant @xmath512 that does not depend on @xmath10 ( for @xmath10 small enough ) .
if that happens , then @xmath513 .
the same argument of course applies to the maximal @xmath171-distance when @xmath514 . we can summarize the above observation in the following lemma .
[ smaller ] suppose that at step @xmath132 of the full discrete construction an exploration process @xmath500 is run inside a domain @xmath501 .
if @xmath515 , then for @xmath10 small enough ( i.e. , @xmath516 for some constant @xmath517 ) , @xmath518 with probability at least @xmath512 independent of @xmath10 .
the same holds for the maximal @xmath171-distances when @xmath519 .
here is another lemma that will be useful later on .
( for an example of the phenomenon described in the lemma , see figure  [ fig2-sec4 ] , and assume that the unexplored hexagons there are all blue ; then the s - boundary of the small domain made of a single blue hexagon and that of the blue domain to the northeast share exactly two adjacent yellow hexagons . )    [ daughters ] two  daughter " subdomains , @xmath520 and @xmath521 , either have disjoint s - boundaries , or else their common s - boundary consists of exactly two adjacent hexagons ( of the same color ) where the exploration path @xmath500 came within @xmath522 hexagons of touching itself just when completing the s - boundary of one of the two subdomains .    *
* suppose that the two daughter subdomains have s - boundaries @xmath523 and @xmath524 that are not disjoint and let @xmath525 be the set of ( sites of @xmath8 that are the centers of the ) hexagons that belong to both s - boundaries .
@xmath526 can be partitioned into subsets consisting of single hexagons that are not adjacent to any another hexagon in @xmath526 and groups of hexagons that form simple @xmath8-paths ( because the s - boundaries of the two subdomains are simple @xmath8-loops ) .
let @xmath527 be such a subset of hexagons of @xmath526 that form a simple @xmath8-path @xmath528 .
then there is a @xmath8-path @xmath529 of hexagons in @xmath523 that goes from @xmath530 to @xmath531 without using any other hexagon of @xmath532 and a different @xmath8-path @xmath533 in @xmath524 that goes from @xmath531 to @xmath530 without using any other hexagon of @xmath532 .
but then , all the hexagons in @xmath532 other than @xmath530 and @xmath531 are  surrounded " by @xmath534 and therefore can not have been explored by the exploration process that produced @xmath520 and @xmath521 , and can not belong to @xmath523 or @xmath524 , leading to a contradiction , unless @xmath535 .
similar arguments lead to a contradiction if @xmath526 is partitioned into more than one subset
.    if @xmath536 is not adjacent to any other hexagon in @xmath526 , then it is adjacent to two other hexagons of @xmath523 and two hexagons of @xmath524 . since @xmath184 has only six neighbors and neither the two hexagons of @xmath523 adjacent to @xmath184 nor those of @xmath524 can be adjacent to each other , each hexagon of @xmath523 is adjacent to one of @xmath524 .
but then , as before , @xmath184 is  surrounded " by @xmath537 and therefore can not have been explored by the exploration process that produced @xmath520 and @xmath521 , and can not belong to @xmath523 or @xmath524 , leading once again to a contradiction .
the proof is now complete , since the only case remaining is the one where @xmath526 consists of a single pair of adjacent hexagons as stated in the lemma .
+ with these lemmas , we can now proceed with the proof of the second part of the theorem .
lemma  [ smaller ] tells us that large domains are  chopped " with bounded away from zero probability ( @xmath538 ) , but we need to keep track of domains of diameter larger than @xmath257 in such a way as to avoid
 double counting " as the lattice construction proceeds .
more accurately , we will keep track of domains @xmath539 having @xmath540 , since only these can have diameter larger than @xmath257 . to do so , we will associate with each domain @xmath539 having @xmath540 that we encounter as we do the lattice construction a non - negative integer label .
the first domain is @xmath541 ( see the beginning of section  [ full ] ) and this gets label @xmath427 . after each exploration process in a domain @xmath539 with @xmath540 ,
if the number @xmath542 of  daughter " subdomains @xmath543 with @xmath544 is @xmath545 , then the label of @xmath539 is no longer used , if instead @xmath546 , then one of these @xmath542 subdomains ( chosen by any procedure
e.g. , the one with the highest priority for further exploration ) is assigned the _ same _ label as @xmath539 and the rest are assigned the next @xmath547 integers that have never before been used as labels .
note that once all domains have @xmath548 , there are no more labelled domains
.      * proof . * except for @xmath248 , every domain comes with ( at least ) a  physically correct " monochromatic  half - boundary " ( notice that we are considering s - boundaries and that a half - boundary coming from the  artificially colored " boundary of @xmath248 is not considered a physically correct monochromatic half - boundary ) .
let us assume , without loss of generality , that @xmath551 .
if we associate with each label the  last " ( in terms of steps of the discrete construction ) domain which used that label ( its daughter subdomains all had @xmath548 ) , then we claim that it follows from lemma  [ daughters ] that ( with high probability ) any two such last domains that are labelled have disjoint s - boundaries .
this is a consequence of the fact that the two domains are subdomains of two  ancestors " that are distinct daughter subdomains of the _ same _ domain ( possibly @xmath248 ) and whose s - boundaries are therefore ( by lemma  [ daughters ] ) either disjoint or else overlap at a pair of hexagons where an exploration path had a close encounter of distance two hexagons with itself .
but since we are dealing only with macroscopic domains ( of diameter at least order @xmath257 ) , such a close encounter would imply , like in lemmas  [ sub - conv ] and  [ boundaries ] , the existence of six crossings , not all of the same color , of an annulus whose outer radius can be kept fixed while the inner radius is sent to zero together with @xmath10 .
the probability of such an event goes to zero as @xmath44 and hence the unit disc @xmath37 contains , with high probability , at least @xmath549 disjoint monochromatic @xmath8-paths of diameter at least @xmath552 , corresponding to the physically correct half - boundaries of the @xmath549 labelled domains .
now take the collection of squares @xmath553 of side length @xmath554 centered at the sites @xmath555 of a scaled square lattice @xmath556 of mesh size @xmath332 , and let @xmath557 be the number of squares of side @xmath332 needed to cover the unit disc .
let @xmath558 and consider the event @xmath559 , which implies that , with high probability , the unit disc contains at least @xmath560 disjoint monochromatic @xmath8-paths of diameter at least @xmath552 and that , for at least one @xmath561 , the square @xmath562 intersects at least six disjoint monochromatic @xmath8-paths of diameter larger that @xmath552 , so that the  annulus " @xmath563 is crossed by at least six disjoint monochromatic @xmath8-paths contained inside the unit disc .
if all these @xmath8-paths crossing @xmath563 have the same color , say blue , then since they are portions of boundaries of domains discovered by exploration processes , they are  shadowed " by exploration paths and therefore between at least one pair of blue @xmath8-paths , there is at least one yellow @xmath8-path crossing @xmath563 .
therefore , whether the original monochromatic @xmath8-paths are all of the same color or not , @xmath563 is crossed by at least six disjoint monochromatic @xmath8-paths not all of the same color contained in the unit disc .
let @xmath564 denote the @xmath565 as @xmath44 of the probability that such an event happens anywhere inside the unit disc .
we have shown that the event @xmath559 implies a  six - arms " event unless not all labelled domains have disjoint s - boundaries .
but the latter also implies a  six - arms " event , as discussed before ; therefore @xmath566 since @xmath567 , bounds in  @xcite imply that , for @xmath257 fixed , @xmath568 as @xmath341 , which shows that @xmath569 and concludes the proof of the lemma .
+ now , let @xmath570 denote the number of distinct domains that had label @xmath168 ( this is equal to the number of steps that label @xmath168 survived ) .
let us also define @xmath571 to be the smallest integer @xmath572 such that @xmath573 and @xmath574 to be the random variable corresponding to how many bernoulli trials ( with probability @xmath512 of success ) it takes to have @xmath575 successes .
then , we may apply ( sequentially ) lemma  [ smaller ] to conclude that for any @xmath168 @xmath576 where @xmath577 is an independent copy of @xmath574 .
now let @xmath578 be i.i.d .
random variables equidistributed with @xmath579 .
let @xmath580 be the number of steps needed so that all domains left to explore have @xmath581 .
then , for any positive integer @xmath582 , @xmath583 notice that , for fixed @xmath582 , @xmath584 as @xmath585 .
moreover , for any @xmath586 , by lemma  [ labels ] , we can choose @xmath587 large enough so that @xmath588 .
so , for any @xmath586 , it follows that @xmath589 which implies that @xmath590    to conclude this part of the proof , notice that the discrete construction can not `` skip '' a contour and move on to explore its interior , so that all the contours with diameter larger than @xmath257 must have been found by step @xmath132 if all the domains present at that step have diameter smaller than @xmath257 .
therefore , @xmath591 , which shows that @xmath289 is bounded in probability as @xmath44 .
+ for the first part of the theorem , we need to prove , for any fixed @xmath287 , joint convergence in distribution of the first @xmath132 steps of a suitably reorganized discrete construction to the first @xmath132 steps of the continuum one .
later we will explain why this reorganized construction has the same scaling limit as the one defined in section  [ full ] . for each @xmath132 , the first @xmath132 steps of the reorganized discrete construction
will be coupled to the first @xmath132 steps of the continuum one with suitable couplings in order to obtain the convergence in distribution of those steps of the discrete construction to the analogous steps of the continuum one ; the proof will proceed by induction in @xmath132 .
we will explain how to reorganize the discrete construction as we go along ; in order to explain the idea of the proof , we will consider first the cases @xmath592 , @xmath522 and @xmath593 , and then extend to all @xmath594 .
+ @xmath592 .
the first step of the continuum construction consists of an @xmath0 @xmath62 from @xmath167 to @xmath168 inside @xmath37 . correspondingly , the first step of the discrete construction consists of an exploration path @xmath250 inside @xmath428 from the e - vertex closest to @xmath167 to the e - vertex closest to @xmath168 .
the convergence in distribution of @xmath250 to @xmath62 is covered by statement ( s ) .
+ @xmath595 .
the convergence in distribution of the percolation exploration path to chordal @xmath0 implies that we can couple @xmath250 and @xmath62 generating them as random variables on some probability space @xmath360 such that @xmath596 for all @xmath363 as @xmath134 ( see , for example , corollary  1 of  @xcite ) .
now , let @xmath23 be the domain generated by @xmath62 that is chosen for the second step of the continuum construction , and let @xmath597 be the highest ranking point of @xmath165 contained in @xmath23 . for @xmath10 small enough , @xmath598
is also contained in @xmath428 ; let @xmath599 be the unique connected component of the set @xmath600 containing @xmath598 ( this is well - defined with probability close to @xmath427 for small @xmath10 ) ; @xmath601 is the domain where the second exploration process is to be carried out .
> from the proof of lemma  [ boundaries ] , we know that the boundaries @xmath602 and @xmath603 of the domains @xmath601 and @xmath23 produced respectively by the path @xmath604 and @xmath62 are close with probability close to one for @xmath10 small enough .    for the next step of the discrete construction ,
we choose the two e - vertices @xmath605 and @xmath606 in @xmath602 that are closest to the points @xmath607 and @xmath608 of @xmath603 selected for the coupled continuum construction ( if the choice is not unique , we can select the e - vertices with any rule to break the tie ) and call @xmath609 the percolation exploration path inside @xmath610 from @xmath605 to @xmath606 .
it follows from  @xcite that @xmath611 converge jointly in distribution along some subsequence to some limit @xmath612 .
we already know that @xmath613 is distributed like @xmath62 and we can deduce from the joint convergence in distribution of @xmath614 to @xmath615 ( lemma  [ boundaries ] ) , that @xmath616 is distributed like @xmath603 .
therefore , if we call @xmath63 the @xmath0 path inside @xmath23 from @xmath607 to @xmath608 , lemma  [ strong - smirnov ] implies that @xmath617 is distributed like @xmath63 and indeed that , as @xmath44 , @xmath618 converge jointly in distribution to @xmath619 .
+ @xmath620 .
so far , we have proved the convergence in distribution of the ( paths and boundaries produced in the ) first two steps of the discrete construction to the ( paths and boundaries produced in the ) first two steps of the discrete construction .
the third step of the continuum construction consists of an @xmath0 path @xmath621 from @xmath622 to @xmath623 , inside the domain @xmath24 with highest priority after the second step has been completed .
let @xmath624 be the highest ranking point of @xmath165 contained in @xmath24 , @xmath625 the domain of the discrete construction containing @xmath626 after the second step of the discrete construction has been completed ( this is well defined with probability close to @xmath427 for small @xmath10 ) , and choose the two e - vertices @xmath627 and @xmath628 in @xmath629 that are closest to the points @xmath630 and @xmath631 of @xmath632 selected for the coupled continuum construction ( if the choice is not unique , we can select the e - vertices with any rule to break the tie ) .
the third step of the discrete construction consists of an exploration path @xmath633 from @xmath627 to @xmath628 inside @xmath625 .
it follows from  @xcite that @xmath634 converge jointly in distribution along some subsequence to some limit @xmath635 .
we already know that @xmath613 is distributed like @xmath62 , @xmath636 like @xmath603 and @xmath617 like @xmath63 , and we would like to apply lemma  [ strong - smirnov ] to conclude that @xmath637 is distributed like @xmath621 and indeed that , as @xmath44 , @xmath638 converges in distribution to @xmath639 . in order to do so
, we have to first show that @xmath640 is distributed like @xmath632 .
if @xmath641 is a subset of @xmath642 , this follows from lemma  [ boundaries ] , as in the previous case , but if the s - boundary of @xmath641 contains hexagons of @xmath643 , then we can not use lemma  [ boundaries ] directly , although the proof of the lemma can be easily adapted to the present case , as we now explain .    indeed ,
the only difference is in the proof of claim ( c ) and is due to the fact that , when dealing with a domain of type  1 or 2 , we can not use the bound on the probability of three disjoint crossings of a semi - annulus because the domains we are dealing with may not be convex ( like the unit disc ) . on the other hand , the discrete domains like @xmath610 and @xmath641 where we have to run exploration processes at various steps of the discrete construction are themselves generated by previous exploration processes , so that any hexagon of the s - boundary of such a domain has three adjacent hexagons which are the starting points of three disjoint @xmath8-paths ( two of one color and one of the other ) .
two of these @xmath8-paths belong to the s - boundary of the domain , while the third belongs to the adjacent percolation cluster ( see figure  [ fig2-thm1 ] ) .
this allows us to use the bound on the probability of _ six _ disjoint crossings of an annulus .     to the left of the exploration path indicated by a heavy line ,
has three neighbors that are the starting points of two disjoint yellow @xmath8-paths ( denoted 1 and 2 ) belonging to the s - boundary of @xmath644 and one blue @xmath8-path ( denoted 3 ) belonging to the adjacent percolation cluster.,width=302 ]    to see this , let @xmath645 be the @xmath8-paths contained in the s - boundary of the discrete domain ( i.e. , @xmath610 in the present context ) and @xmath646 the @xmath8-path belonging to the adjacent cluster , all starting from hexagons adjacent to some hexagon @xmath214 ( centered at @xmath50 ) in the s - boundary of @xmath610 .
for @xmath647 and @xmath10 small enough , let @xmath648 be the event that the exploration path @xmath649 enters the ball @xmath650 without touching @xmath651 inside the larger ball @xmath652 .
@xmath648 implies having ( at least ) three disjoint @xmath8-paths ( two of one color and one of the other ) , @xmath653 and @xmath654 , contained in @xmath610 and crossing the annulus @xmath655 , with @xmath653 and @xmath654 disjoint from @xmath645 and @xmath646 .
hence , @xmath648 implies the event that there are ( at least ) six disjoint crossings ( not all of the same color ) of the annulus @xmath655 .
once claim ( c ) is proved , the rest of the proof of lemma  [ boundaries ] applies to the present case .
therefore , we have convergence in distribution of @xmath629 to @xmath632 , which allows us to use lemma  [ strong - smirnov ] and conclude that @xmath656 converges in distribution to @xmath657 . + @xmath658 .
we proceed by induction in @xmath132 , iterating the steps explained above ; there are no new difficulties ; all steps for @xmath659 are analogous to the case @xmath620 .
+ to conclude the proof of the theorem , we need to show that the scaling limit of the original full discrete construction defined in section  [ full ] is the same as that of the reorganized one just used in the proof of the first part of the theorem . in order to do so
, we can couple the two constructions by using the same percolation configuration for both , so that the two constructions have at their disposal the same set of loops to discover .
we proved above that the original discrete construction finds _ all _ the  macroscopic " loops , so we have to show that this is true also for the reorganized version of the discrete construction .
this is what we will do next , using essentially the same arguments as those employed for the original discrete construction ; we present these arguments for the sake of completeness since there are some changes .
consider the reorganized discrete construction described above , where the starting and ending points of the exploration processes at each step are chosen to be close to those of the corresponding ( coupled ) continuum construction .
suppose that at step @xmath132 of this discrete construction an exploration process @xmath500 is run inside a domain @xmath501 , and write @xmath502 , where @xmath503 are the connected domains into which @xmath501 is split by the set @xmath504 of hexagons explored by @xmath500 .
let @xmath660 ( resp . , @xmath505 ) and @xmath661 ( resp . ,
@xmath506 ) be respectively the maximal @xmath170- and @xmath171-distance between pairs of points in @xmath662 ( resp . , @xmath507 ) .
if @xmath508 and the e - vertices on @xmath507 are chosen to be closest to two points of @xmath662 with maximal @xmath170-distance , then the same construction and argument spelled out earlier in the first part of the proof ( corresponding to the second part of the theorem ) show that @xmath513 with bounded away from zero probability .
if the e - vertices on @xmath507 are chosen to be closest to two points of @xmath662 with maximal @xmath170-distance but @xmath663 , then consider the rectangle @xmath664 whose vertical sides are aligned to the @xmath171-axis , have length @xmath506 , and are each placed at the same @xmath170-distance from the points of @xmath507 with minimal or maximal @xmath170-coordinate in such a way that the horizontal sides of @xmath664 have length @xmath665 ; the bottom and top sides of @xmath664 are placed in such a way that they touch the points of @xmath507 with minimal or maximal @xmath171-coordinate , respectively . notice that , because of the coupling between the continuum and discrete constructions , for any @xmath666 , for @xmath132 large enough , @xmath667 and @xmath668 . since in the case under consideration we have @xmath669 and @xmath670 , for @xmath10 large enough , we must also have @xmath671 . once again
, it follows from the russo - seymour - welsh lemma that the probability to have two vertical @xmath8-crossings of @xmath664 of different colors is bounded away from zero by a positive constant that does not depend on @xmath10 ( for @xmath10 small enough ) .
if that happens , then @xmath672 .
all other cases are handled in the same way , implying that the maximal @xmath170- and @xmath171-distances of domains that appear in the discrete construction have a positive probability ( bounded away from zero ) to decrease by ( approximately ) a factor @xmath673 at each step of the discrete construction in which an exploration process is run in that domain .    with this result at our disposal , the rest of the proof , that for any @xmath288 the number of steps needed to find all the loops of diameter larger than @xmath257 is bounded in probability as @xmath44 ( which implies that _ all _ the  macroscopic " loops are discovered ) , proceeds exactly like for the original discrete construction . + * proof of theorem  [ thm - therm - lim ] .
* first of all , we want to show that @xmath674 does not depend on @xmath17 , provided @xmath7 is strictly contained in @xmath16 and @xmath675 . in order to do this
, we assume that the above conditions are satisfied for the pair @xmath676 and show that @xmath677 for all @xmath678 .
take two copies of the scaled hexagonal lattice , @xmath11 and @xmath679 , their dual lattices @xmath680 and @xmath681 , and two percolation configurations , @xmath682 and @xmath683 , both with blue boundary conditions and coupled in such a way that @xmath684 .
the laws of the boundaries of @xmath68 and @xmath685 are also coupled , in such a way that the boundaries or portions of boundaries contained inside @xmath7 are identical for all small enough @xmath10 .
therefore , letting @xmath44 and using the convergence of the percolation boundaries inside @xmath16 and @xmath686 to the continuum nonsimple loop processes @xmath292 and @xmath687 respectively , we conclude that @xmath677 .
> from what we have just proved , it follows that the probability measures @xmath688 on @xmath689 , for @xmath690 , satisfy the consistency conditions @xmath691 for all @xmath692 . since @xmath66 , @xmath75 are complete separable metric spaces , the measurable spaces @xmath689 , @xmath693 are standard borel spaces and so we can apply kolmogorov s extension theorem ( see , for example , @xcite ) and conclude that there exists a unique probability measure on @xmath693 with @xmath694 for all @xmath690 .
it follows that , for @xmath695 and all @xmath7 strictly contained in @xmath16 and such that @xmath675 , @xmath696 , which concludes the proof . +
* proof of theorems  [ main - result1 ] and  [ main - result2 ] .
* these are immediate consequences of theorems  [ thm - convergence ] and  [ thm - therm - lim ] , where the full scaling limit is intended in the topology induced by  ( [ hausdorff - d ] ) .
+ * proof of theorem  [ features ] . * _ 1 .
_ the fact that the continuum nonsimple loop process is a random collection of noncrossing continuous loops is a direct consequence of its definition .
the fact that the loops touch themselves is a consequence of their being constructed out of @xmath0 , while the fact that they touch each other follows from the observation that a chordal @xmath0 path @xmath117 touches @xmath39 with probability one .
therefore , each new loop in the continuum construction touches one or more previous ones ( many times ) .
the nonexistence of triple points follows directly from lemma  5 of  @xcite on the number of crossings of an annulus , combined with theorem  [ main - result1 ] , which allows to transport discrete results to the continuum case .
in fact , a triple point would imply , for discrete percolation , at least six crossings ( not all of the same color ) of an annulus whose ratio of inner to outer radius goes to zero in the scaling limit , leading to a contradiction .
_ 3 . _ combining russo - seymour - welsh type arguments for percolation ( see , for example , lemma  3 of  @xcite ) with theorem  [ main - result1 ] , we know that @xmath296-a.s . there exists a ( random ) @xmath697 , with @xmath698 , such that @xmath16 is surrounded by a continuum nonsimple loop contained in @xmath699 .
> from ( the proof of ) theorem  [ thm - therm - lim ] , we also know that @xmath700 for all @xmath701 .
this implies that by taking @xmath702 large enough and performing the continuum construction inside @xmath686 , we have a positive probability of generating a loop @xmath703 contained in the annulus @xmath704 , with @xmath705 .
if that is the case , all the loops contained inside @xmath16 are connected , by construction , to the loop @xmath703 surrounding @xmath16 by a finite sequence ( a `` path '' ) of loops ( remember that in the continuum construction each loop is generated by pasting together portions of @xmath0 paths inside domains whose boundaries are determined by previously formed loops or excursions ) .
therefore , any two loops contained inside @xmath16 are connected to each other by a  path " of loops .
using again the fact that @xmath700 for all @xmath701 , and letting first @xmath702 and then @xmath706 go to @xmath707 , we see from the discussion above ( with @xmath291 as well ) that any two loops are connected by a finite  path " of intermediate loops , @xmath296-a.s .
+ * proof of theorem  [ thm - conf - inv ] . * combining russo - seymour - welsh type arguments for percolation ( see , for example , lemma  3 of  @xcite ) with theorem  [ main - result1 ] , we know that @xmath296-a.s . there exists a bounded continuum nonsimple loop that surrounds both @xmath299 and @xmath300 , so that @xmath301 and @xmath302 are both bounded
. we can then take @xmath708 such that @xmath299 and @xmath300 ( and therefore @xmath301 and @xmath302 ) are both contained in the disc @xmath16 with probability tending to @xmath427 as @xmath291 .
consider now the continuum construction inside the disc @xmath16 for some large @xmath17 .
let @xmath709 ( resp . ,
@xmath710 ) be the smallest loop surrounding @xmath23 ( resp . , @xmath24 ) produced by the construction and let @xmath711 ( resp .
, @xmath712 ) be the connected component of @xmath713 ( resp .
, @xmath714 ) that contains @xmath23 ( resp . ,
@xmath24 ) .
it follows from the previous observation and from ( the proof of ) theorem  [ thm - therm - lim ] that as @xmath291 , @xmath711 ( resp . , @xmath712 ) is ( with probability tending to @xmath427 )
distributed like @xmath301 ( resp . , @xmath302 ) and
moreover the loop configuration inside @xmath711 ( resp . , @xmath712 )
is distributed by @xmath312 ( resp . , @xmath715 ) .
this already proves the first claim of the theorem , since it is clear from the continuum construction inside @xmath16 that the loop configurations inside @xmath711 and @xmath712 are independent .
it also means that in order to complete the proof of theorem , it suffices to prove the second claim for the case of the continuum construction inside @xmath16 , for all large @xmath17 . in order to do that , we consider a modified discrete construction inside @xmath16 , as explained below . in view of the above observations , we take @xmath17 large and condition on the existence inside @xmath16 of two disjoint loops , @xmath716 and @xmath717 , surrounding @xmath23 and @xmath24 respectively , and
let @xmath718 ( resp . ,
@xmath719 ) be the domain of @xmath720 ( resp .
, @xmath721 ) containing @xmath23 ( resp . ,
@xmath24 ) .
the modified discrete construction inside @xmath16 is analogous to the
ordinary " one except inside the domains @xmath718 and @xmath719 , where the the exploration paths are coupled to a continuum construction inside the unit disc in the following way . roughly speaking ,
the discrete construction inside @xmath718 is one in which the @xmath722 pairs ( the starting and ending points of the exploration paths ) at each step are chosen to be closest to the @xmath723 points in @xmath718 mapped from the unit disc @xmath724 via @xmath725 , where the pairs @xmath284 are those that appear at the corresponding steps of the continuum construction inside @xmath724 and @xmath725 is a certain conformal map from @xmath724 onto @xmath718 , as specified below .
the discrete construction inside @xmath719 is coupled in the same way to the _ same _ continuum construction inside @xmath37 via a certain conformal map @xmath726 from @xmath724 onto @xmath719 .
the conformal map @xmath725 will be defined for @xmath10 sufficiently small and is specified in the following way .
we fix a point @xmath727 in @xmath711 and denote by @xmath728 the unique conformal map from @xmath37 onto @xmath711 such that @xmath729 and @xmath730 . for @xmath10 sufficiently small , so that @xmath727 is contained in @xmath718 , we let @xmath725 be the unique conformal map from @xmath37 onto @xmath718 such that @xmath731 and @xmath732 .
we also denote by @xmath733 the unique conformal map from @xmath37 onto @xmath712 such that @xmath734 and @xmath735 , where @xmath736 is any fixed conformal map from @xmath711 to @xmath712 .
note that , by the uniqueness part of riemann s mapping theorem , we can conclude that @xmath737 . for @xmath10
sufficiently small , so that @xmath738 is contained in @xmath719 , we let @xmath726 be the unique conformal map from @xmath37 onto @xmath719 such that @xmath739 and @xmath740 .    as @xmath44 , @xmath741 and @xmath742 , and by an application of rad s theorem ( theorem  [ rado - thm ] ) , ( the continuous extensions of ) @xmath725 and @xmath726 converge uniformly in @xmath136 to the ( continuous extensions of ) @xmath728 and @xmath733 respectively .
we now describe more precisely the modified construction inside @xmath718 .
let @xmath62 be the first @xmath0 path in @xmath37 from @xmath607 to @xmath608 ; because of the conformal invariance of @xmath0 , the image @xmath743 of @xmath62 under @xmath725 is a path distributed as the trace of chordal @xmath0 in @xmath718 from @xmath744 to @xmath745 .
the uniform convergence of @xmath725 to @xmath728 and statement ( s ) imply that the exploration path @xmath250 inside @xmath718 from @xmath605 to @xmath606 , chosen to be closest to @xmath744 and @xmath745 respectively , converges in distribution to @xmath746 , as @xmath44 , which means that there exists a coupling so that the paths @xmath250 and @xmath743 stay close for @xmath10 small .
one can use the same strategy as in the proof of the first part of theorem  [ thm - convergence ] , and obtain a discrete construction whose exploration paths are coupled to the @xmath0 paths @xmath747 that are the images of the paths @xmath463 in @xmath37 . then , for this discrete construction inside @xmath718 , the scaling limit of the exploration paths will be paths inside @xmath711 distributed as the images of the @xmath0 paths in @xmath37 under the conformal map @xmath728 .
analogously , for the discrete construction inside @xmath719 , the scaling limit of the exploration paths will be paths inside @xmath712 distributed as the images of the @xmath0 paths in @xmath37 under the ( continuous extension of the ) conformal map @xmath748 which is the uniform limit of @xmath726 as @xmath44 .
therefore , the path inside @xmath712 obtained as the scaling limit of an exploration path at a given step of the construction inside @xmath719 is the image under the conformal map @xmath749 of the path inside @xmath711 obtained as the scaling limit of the exploration path at corresponding step of the construction inside @xmath718 .    in order to conclude the proof
, we have to show that the discrete constructions inside @xmath750 and @xmath751 defined above find all the boundaries ( with diameter greater than @xmath257 ) in a number of steps that is bounded in probability as @xmath44 .
this is as in the second part of theorem  [ thm - convergence ] , but since we are now dealing with a modified construction inside general jordan domains , we need to show that we can reach the same conclusion . in order to do so
, we will use the fact that the modified construction is coupled to an  ordinary " continuum construction in the unit disc .
we work out the details only for @xmath718 , since the proof is the same for @xmath719 .
> from the second part of theorem  [ thm - convergence ] it follows that , for any fixed @xmath752 and @xmath753 , the probability that the number of steps of the continuum construction in @xmath37 that are necessary to ensure that only domains with diameter less than @xmath754 are present is larger than @xmath517 , goes to zero as @xmath585 . since @xmath725 ( can be extended to a function that ) is continuous in the compact set @xmath136 , @xmath725 is uniformly continuous and so we can choose @xmath755 such that any subdomain of @xmath37 of diameter at most @xmath756 is mapped by @xmath725 to a subdomain of @xmath718 of diameter at most @xmath257 .
since @xmath757 , as @xmath44 , where @xmath728 ( can be extended to a function that ) is continuous in the compact set @xmath136 and is therefore uniformly continuous , we can choose @xmath758 such that any subdomain of @xmath37 of diameter at most @xmath759 is mapped by @xmath725 to a subdomain of @xmath711 of diameter at most @xmath257 , and moreover such that @xmath760 .
this , combined with the coupling between @xmath0 paths and exploration paths inside @xmath539 , assures that the number of steps necessary for the new discrete construction inside @xmath718 to find all the loops of diameter at least @xmath257 is bounded in probability as @xmath44 .
therefore , the scaling limit , as @xmath44 , of the modified discrete constructions for @xmath718 and @xmath719 give the measures @xmath761 and @xmath762 , and it follows by construction that @xmath763 for _ any _ conformal map @xmath736 from @xmath711 onto @xmath712 . since this is true for all large @xmath17 , by letting @xmath291 we can conclude that @xmath308 .
* acknowledgements .
* we are grateful to greg lawler , oded schramm and wendelin werner for various interesting and useful conversations and to stas smirnov for communications about a paper in preparation .
f.  c. thanks wendelin werner for an invitation to universit paris - sud 11 , and vincent beffara and luiz renato fontes for many helpful discussions .
we thank michael aizenman , lai - sang young and an anonymous referee for comments about the presentation of our results .
f.  c. and c.  m.  n. acknowledge respectively the kind hospitality of the courant institute and of the vrije universiteit amsterdam where part of this and related work was done .
m.  aizenman , scaling limit for the incipient spanning clusters , in _ mathematics of multiscale materials ; the i m a volumes in mathematics and its applications _ ( k.  golden , g.  grimmett , r.  james , g.  milton and p.  sen , eds . ) , springer ( 1998 ) .                                                                p.  d.  seymour , d.  j.  a.  welsh , percolation probabilities on the square lattice , in _ advances in graph theory _ ( b.  bollobs ed . ) , annals of discrete mathematics * 3 * , north - holland , amsterdam , pp .
227 - 245 ( 1978 ) .
s.  smirnov , critical percolation in the plane .
i. conformal invariance and cardy s formula .
ii . continuum scaling limit .
( long version of  @xcite , dated nov .  15 , 2001 ) , available at http://www.math.kth.se/@xmath765stas/papers/index.html .