A compact H-hull is a bounded relatively closed subset of with simply connected complement, considered together with its compact closure in . Its unique mapping-out function has hydrodynamic normalization at infinity
The nonnegative coefficient is its half-plane capacity. Thus the half-plane-capacity parameterization here gives . Strict increase means whenever ; the strictly increasing capacity already excludes equality.
The Loewner local growth property means that the new growth becomes small after removing the old compact H-hull. More precisely set , taking the closure from the complex upper half-plane. On each bounded time interval, the diameters of these image compact H-hulls tend uniformly to zero as . Equivalently the new growth can be separated from infinity by crosscuts of vanishing diameter in the mapped domain. It is this single-point local growth, together with capacity continuity, that gives a continuous real Loewner driver.
The Loewner transform is the limiting point at which this mapped growth occurs:
The limit is independent of the chosen new-growth points. The Loewner correspondence theorem says that the resulting mapping-out functions satisfy
Conversely, given a continuous real , solve this ordinary differential equation until the maximal lifetime of each . The surviving set is mapped conformally onto by ; its complement, with the appropriate boundary closure, is . The Laurent coefficient is , and the composition law reconstructs the local growth. A continuous Loewner driver always determines the compact H-hulls; generation by a continuous Loewner trace is an additional property, not a conclusion for every continuous Loewner driver.
A chordal SLE Loewner trace in the complex upper half-plane with parameter is the continuous curve associated with the Loewner driver , where is standard real Brownian motion started at zero. It starts at zero, its compact H-hull at time is the curve's past with all pockets cut off from infinity filled, and
The capacity clock has . For this gives the vertical slit .
To prove Scaling invariance of SLE, fix and put
The Laurent series of has coefficient , and direct differentiation gives
Brownian scaling says has the same law as . The Loewner drivers therefore agree in law, and uniqueness of the Chordal Loewner equation gives equality in law of the maps, compact H-hulls, and continuous Loewner traces:
This identifies the time change as well as the spatial scaling.
For a simply connected Jordan domain with distinct marked boundary points, choose a conformal bijection taking zero to the initial point and infinity to the target, and use as an unparameterized curve. The Caratheodory boundary extension theorem supplies the boundary values of . Any second such map is for , because the automorphisms of fixing zero and infinity are positive dilations. The Scaling invariance of SLE just proved makes the two image laws identical, up to the corresponding deterministic change of capacity clock. Thus this defines SLE consistently in marked Jordan domains. The assumed and the continuous boundary extension give , the specified target. The law is conformally natural and does not impose a distinguished half-plane-capacity parameterization on an arbitrary domain.
Let and . We use these precise Bessel process facts, which the question permits: for dimension a process started at exists for all time, never reaches zero, and has a strictly positive all-time minimum. More quantitatively,
No assertion about SLE simplicity or transience is being assumed.
For a real point before its Loewner lifetime, set . Its equation is
Thus is a Bessel process of dimension . For each rational it stays positive on every finite interval, almost surely. These countably many events hold together. They cover every real as well: choose rational and observe that the noise cancels in the difference,
Consequently cannot reach zero while remains positive. The negative side has the identical argument with the reflected Brownian motion.
This excludes Loewner trace contact with every real point other than zero, rather than just with each fixed rational point. On any finite interval a positive gap at a real point stays bounded away from zero. Continuous dependence of the Chordal Loewner equation then solves it on a complex neighborhood of that point, and the analytic flow extends the map conformally across a real interval there. Its real derivative is , and its image stays away from the driving point. The Loewner trace tip therefore cannot be there. We have proved .
Now use Brownian motion independent increments to restart at every deterministic rational time . The centered future maps have Loewner driver and therefore the original SLE law, independently of the past. Its Loewner trace stays in by the preceding argument. The inverse map extends continuously to the real boundary for a continuous trace-generated compact H-hull: the finite Loewner trace gives a locally connected boundary, and the Caratheodory boundary extension theorem applies. Its value at is . Thus the future in the original plane can meet only at . All these restart conclusions hold simultaneously for rational .
Suppose with . The Loewner trace cannot be constant throughout , since its compact H-hull capacity increases strictly. By continuity there is a rational with . But lies in , contradicting the restart conclusion at . This also excludes any return to the starting point. Hence the Loewner trace is simple and lies in the open complex upper half-plane at every positive time.
For transience, first strengthen the boundary conclusion to avoidance of the closure at each fixed real point. Fix and . If the now-simple curve first enters the closed half-disc of radius about at time , join its tip to by the segment inside that disc. Before the segment misses the Loewner trace. Together with the Loewner trace and the real interval from zero to , it bounds a pocket whose boundary includes the positive side of the Loewner trace and . A Brownian motion path from high on the imaginary axis reaching that boundary arc must enter the pocket through the segment. The maximum principle for harmonic functions bounds its harmonic measure by the chance of hitting the entire half-disc.
The boundary arc maps under to . Its harmonic measure from , as , is
The half-disc maps out by ; its semicircle becomes an interval of length . Its harmonic measure has asymptotic . Comparing and letting yields
But by the all-time minimum of a transient Bessel process fact. The curve cannot enter any such disc with . Therefore it stays a strictly positive distance from for all time. Reflection proves the same for fixed . This is the boundary approach forces a small SLE Bessel gap argument; the crosscut comparison is also described in the boundary-closure lemma in the primary SLE paper.
Map out the simple initial slit at time one. The starting point zero has two distinct real prime end images under , lying on opposite sides of . Conditionally on the initial slit, the image future is a fresh independent SLE translated by . The just-proved fixed-point closure avoidance applies to each of and . Therefore neither nor lies in the closure of the mapped future. If a sequence of future Loewner trace points approached zero in the original domain, their images would approach one of these two prime ends. This is impossible. Thus
Finally Scaling invariance of SLE gives . For every fixed ,
The events of returning to the closed radius- disc after time decrease as increases. Continuity of probability on decreasing events implies that the probability of returns at arbitrarily late times is zero. Taking the countable intersection over positive integer proves
This proves actual eventual escape, not merely unboundedness of the growing compact H-hulls.
Each marginal is a Bessel process of dimension , but finite lifetime can also be proved directly. Apply the Itô formula before reaches zero:
With clock , the Itô integral is a Brownian motion . The inverse clock satisfies
The clock runs through all up to the maximal lifetime: a finite terminal clock would leave at a finite positive limit, allowing continuation, or, at an infinite physical lifetime, would make its clock grow at a positive rate, a contradiction. There is no finite-time explosion to infinity; for example and localization bounds the probability of reaching arbitrarily large levels on a fixed time interval. Since almost surely and , the last exponential integral has finite limit, while . Therefore
The same argument applies to , whose noise is also Brownian motion, so its lifetime is finite too. No independence between the two lifetimes is being claimed.
Set and before . Brownian motion terms cancel in the sum:
Thus simultaneous extinction is impossible. At the finite first lifetime, precisely one coordinate is zero and the other remains positive. Because has finite variation, differentiating the ratio gives
After clock change , its generator is
A scale function of a one-dimensional diffusion solves , so
Both endpoint singularities are integrable since . Normalize to obtain
The Itô formula makes a bounded martingale, first by localization away from the endpoints and then by bounded convergence theorem. Its terminal value is one on , when , and zero on the opposite event, when . optional stopping theorem therefore proves the oppositely driven Bessel exit probability
Here is the beta function and is the Gamma function.
The integral printed in the question is incorrect for general . Its first exponent is , whereas the two coupled equations give . At , which lies in the allowed interval, its integral from zero diverges for every positive upper limit; no finite normalizing constant gives a probability. Moreover exchanging and while changing to shows that at the probability must be . The corrected symmetric integral has this value for every , whereas the printed asymmetric normalized integral generally does not. For , even when the printed integral converges, its derivative density satisfies
so it is harmonic for the required exit problem only at . The two exponents agree exactly at that value.
To relate that value to percolation, write the two SLE boundary gaps as and . In Brownian-time units , they have the displayed coupled equations with , after reversing the Brownian motion sign. Hence corresponds to . The event is that the positive marked point is swallowed before the negative marked point .
For a quadrilateral with boundary points in the order , its conformal cross-ratio coordinate is . In the critical percolation exploration, wire the arcs and blue and the other two arcs yellow. Exploration from zero, stopped when one of the two marked sides is swallowed, detects a blue crossing between those two blue arcs exactly in the event just computed. The continuum exploration has the SLE6 law; its Locality property of SLE lets one stop the ordinary chordal exploration before the distant boundary colors affect it. Thus the crossing probability is
the Cardy boundary crossing formula. This is the rigorous scaling-limit formula for critical site percolation on the triangular lattice; applying it to other critical planar models requires the corresponding universality assumption. At this percolation value of , the printed integral is already the correct one.
Work in the prime end closure of the marked domain, so that its two conformal boundary points are distinct even if their physical boundary representatives coincide. A chordal filling is a closed connected set joining those points, meeting the conformal boundary nowhere else, and full relative to the two boundary arcs between them: complementary pockets that do not reach either boundary arc have been added. In the normalized complex upper half-plane, its two complementary sides are simply connected and abut the negative and positive real axes. For a proper boundary-to-boundary curve, chordal filling means adjoining all such trapped pockets to its range. Independent curves are combined by taking their union and then applying this same chordal filling operation.
An admissible marked subdomain contains neighborhoods of the two marked boundary points and has a simply connected component joining them. The restriction property says that, conditional on the random chordal filling being contained in , its law is the chordal filling law for . Equivalently, mapping the conditional chordal filling conformally back to recovers the original law. The contained-set events are understood away from the shared marked endpoints.
By transporting the family under conformal maps, it suffices to work in . Let be an admissible compact H-hull whose closure avoids zero, and normalize
In terms of the single normalized measure , restriction is precisely
The Schwarz reflection principle extends analytically near zero, with , so the stated conditioning events have positive probability for the two laws considered below. This is the chordal restriction property for filled sets. An unbounded marked subdomain can be approximated by such compact-hull removals; conformal maps transport the formulation to general domains.
We need a determination principle for filled sets, since a probability of one avoidance event alone would not establish equality of laws. Choose countably many thin polygonal compact H-hulls with rational data, attached to real boundary intervals away from zero. For each chordal filling, every point of its complement has a path within one of the two complementary sides to the appropriate real boundary interval. A sufficiently thin tube along such a path avoids the chordal filling and contains a neighborhood of that point. Hence the union of interiors of all avoided test tubes is exactly the complement.
Their joint avoidance probabilities are also determined by single-hull probabilities. For a finite union of test compact H-hulls, either the union separates zero from infinity, in which case a connected chordal filling cannot avoid it, or its unbounded complementary component contains both marked endpoints. In the latter case fill the union's bounded pockets to get an admissible compact H-hull . A connected set joining zero to infinity and avoiding the union cannot enter one of these separated pockets, so it avoids as well. Thus joint avoidance is either impossible or is the avoidance event for . The inclusion-exclusion principle gives every finite joint probability distribution of the tube-avoidance indicators, and these indicators determine the random complement and chordal filling. This proves avoidance probabilities determine a chordal filling law.
In the given avoidance formulas, the argument of the conformal map must be the retained open domain, rather than the random closed filling. We express that domain as to keep the two objects distinct. The formulas then imply for the two filled processes
The chordal filling operation does not change avoidance of an admissible compact H-hull: every piece of that compact H-hull is attached to the real boundary away from the endpoints, and so cannot be inside a trapped pocket while its generating curve avoids the compact H-hull. These laws are conformally invariant as unparameterized chordal filling laws. For SLE this follows from Question 1; for the Brownian half-plane excursion, Brownian scaling of its independent one- and three-dimensional coordinates shows that its unparameterized law is unchanged by positive dilations, and mapping the Brownian half-plane excursion to another marked domain gives the conformally natural law. Conformal invariance of planar Brownian motion describes the corresponding change of time, which does not alter the chordal filling.
Here is the conditional-law calculation for either exponent . For another admissible compact H-hull in the image complex upper half-plane, set
The complement of is mapped to by this composition, so is again admissible; both maps fix zero and have derivative one at infinity. The chain rule gives . Therefore
These are exactly the original chordal filling's avoidance probabilities for every . The determination principle proves equality of the conditional image law with the original law. Hence both generated chordal fillings have restriction, with exponents and respectively. This is a complete implication from the two allowed avoidance formulas; the restriction conclusion was not assumed.
For independent chordal fillings, avoidance of by their filled union is equivalent to avoidance by every component. Independence multiplies the probabilities, and thus adds their restriction exponents of a chordal filling. Consequently
The determination principle applies once more, giving
The equality concerns the filled, unparameterized closed sets. The numerical reason is .

Articles by others on the same topic (0)

There are currently no matching articles.