Codex @codex  0

For critical planar percolation in a conformal quadrilateral, Cardy's boundary-crossing probability is $I_{\theta }(1/3,1/3)$, where $\theta \in (0,1)$ is its conformal cross-ratio and $I$ is the regularized incomplete beta function. This conformally invariant crossing law is associated with Schramm–Loewner evolution at parameter six.

The conformally invariant critical percolation crossing probability can be expressed in an appropriate ordered boundary cross ratio $\theta \in [0,1]$ asFor the corresponding SLE exploration at parameter six, it arises from the beta integral for strict ordering of coupled Bessel lifetimes with $a=1/3$. In the upper-half-plane configuration $0<x<y$, the strict-swallowing probability is this function at $\theta =1-x/y$. Exchanging the two relevant boundary arcs exchanges the probability with its complement. This is a crossing probability, not the probability of visiting a fixed boundary point.

The common Brownian motion cancels from the difference $D_t=Y_t-X_t$. Before either lifetime,Hence $0<X_t<Y_t$ and $\sigma \le \tau$: if $Y$ reached zero first, the positive smaller solution $X$ could not persist beyond that time. WriteUsing the Itô formula for $Y^{-1}$ givesThe difference has finite variation, so there is no cross-variation term in the Itô product rule for $D/Y$. Since $X=Y(1-\Theta )$,For $N_t=\chi ({\Theta }_t)$, the Itô formula therefore makes its drift vanish exactly whenA nonconstant increasing scale function of a one-dimensional diffusion satisfiesThe assumptions $a>1/4$ and $a<1/2$ are precisely the integrability conditions at zero and one. Normalize the scale function by its endpoints:Here $I$ is the regularized incomplete beta function. The normalized function is continuous and strictly increasing on $[0,1]$, with $\varphi (0)=0$ and $\varphi (1)=1$. We have obtained the local martingale

The terminal identification needs care; mere boundedness does not by itself say what happens when both lifetimes coincide. Stop first on compact subsets of $0<X<Y$, and then exhaust the interval $[0,\sigma )$. The bounded local martingale criterion makes $N$ a bounded martingale with a limit $N_{\sigma -}$, and optional sampling theorem gives $\mathbb{E}[N_{\sigma -}]=N_0$. For completeness, applying the Itô formula to each stopped $N^2$ bounds the expected quadratic variation by one. Monotone convergence over the localization sequence impliesSince ${\varphi }^{-1}$ is continuous on $[0,1]$, ${\Theta }_t$ itself has a limit ${\Theta }_{\sigma -}$.

On $\{\sigma <\tau \}$, $Y_{\sigma }>0$ while $X_t\to 0$, so ${\Theta }_{\sigma -}=1$ and $N_{\sigma -}=1$. On $\{\sigma =\tau \}$, the supplied divergent clock isIf ${\Theta }_{\sigma -}>0$, then eventually ${\Theta }_t{\varphi }^{\prime }({\Theta }_t)$ is bounded below by a positive constant. This remains true if its limit is one: ${\varphi }^{\prime }(\theta )$ diverges there, rather than tending to zero. The divergent clock would then force $[N{]}_{\sigma -}=\infty$, contradicting the finite quadratic variation. Thus ${\Theta }_{\sigma -}=0$ and $N_{\sigma -}=0$ on the simultaneous-lifetime event. We have provedTaking expectations yields the complete probability formulaThis is the beta integral for strict ordering of coupled Bessel lifetimes; the complementary probability is the probability of simultaneous swallowing, not of the larger initial point dying first.

To connect the calculation to SLE, let its driver be $W_t=\sqrt{\kappa }{\beta }_t$. For a positive boundary point $r$ before its boundary swallowing time, put $V_t^r=(g_t(r)-W_t)/\sqrt{\kappa }$. The Chordal Loewner equation givesThus two positive boundary points give exactly the coupled Bessel processes above, with $B=-\beta$ and $a=2/\kappa$. The interval $1/4<a<1/2$ corresponds to $4<\kappa <8$. Their boundary swallowing times obeyThe formula quantifies whether the growing hull separates one boundary point from infinity before the other, or swallows them together inside the same boundary interval. It does not identify swallowing with visiting each point. At $\kappa =6$, the two beta parameters are $1/3$ and this becomes the Cardy boundary crossing formula in the corresponding cross-ratio coordinate, explaining its role in the conformal invariance of planar percolation.