For Schramm–Loewner evolution in , the Scaling invariance of SLE states that, for every ,
has the same law as . The scaled Loewner driving function is . Since , the Brownian scaling identity proves the claim.
The Conformal Markov property of SLE states that, conditionally on the hull through time , the future hull mapped by is an independent in . More precisely,
has driving function . The stationary increments and independent increments of Brownian motion show that is independent of and has the same law as . The deterministic correspondence between continuous drivers and Loewner chains completes the proof.
Set . For chordal Schramm–Loewner evolution, the centered image of a real boundary point, divided by , follows the Boundary-point Bessel flow for SLE; changing to matches the sign convention in the question. Thus and are the times at which the marked boundary points and are swallowed, or equivalently disconnected from infinity, by the Loewner chain.
Consequently
It is the event that the negative marked point is swallowed before the positive marked point.
Chordal Schramm–Loewner evolution in the complex upper half-plane from to is the random Loewner chain driven by , where is standard Brownian motion and .