Past exam of the mathematics course of the University of Cambridge / 2017 / iii / Paper 214 / 1 / b

Put $q_k(n)={\mathbb{P}}_p((0,0)\leftrightarrow (n,0)\text{ inside }{T}_k)$, with $q_k(0)=1$. The connection event is increasing in the open edges. Apply the Harris-FKG inequality to connection from $(0,0)$ to $(n,0)$ and connection from $(n,0)$ to $(n+m,0)$, both constrained to the strip. Their intersection implies connection between the outer endpoints, while horizontal translation invariance makes the second event's probability $q_k(m)$. HenceThese events may depend on infinitely many strip edges. To justify the inequality directly, first restrict each connecting graph path to a finite box, apply Harris-FKG inequality in the finite independent edge family, and then let the box grow. Every connection has a finite witness graph path, so continuity from below gives the stated inequality.

The direct horizontal graph path supplies $q_k(n)\ge p^n>0$, and probabilities are at most one. Thus $a_k(n)=-\log q_k(n)$ is a finite nonnegative subadditive sequence with $a_k(n)\le -n\log p$. The Fekete lemma now gives a finite connection decay rate in a percolation strip:Each individual ratio is at least its infimum, so $-\log q_k(n)\ge n{f}_k(p)$ and thereforeAt $n=0$ this reads $1\le 1$. Only nonnegative separations are intended by this notation; horizontal reflection supplies the analogous bound with $|n|$ for negative separations.

The strips are nested. Every connection permitted inside $T_k$ is also permitted inside $T_{k+1}$, so $q_k(n)\le q_{k+1}(n)$ for every fixed separation. ConsequentlyThe preceding nonnegative bound makes this a decreasing sequence bounded below. By monotone convergence of real sequences,There is no assertion that this limit of a sequence is strictly positive: positivity at each fixed width need not survive an increasing-width limit of a sequence.

One can also identify the limit of a sequence. Let $q(n)$ be the percolation two-point connection probability in the whole square lattice. Every finite connecting graph path has a bounded vertical extent, so $q_k(n)\uparrow q(n)$. Commuting infima gives the strip approximation to the planar connection decay rate:The same positive-association argument identifies the final infimum with the whole-plane normalized logarithmic limit of a sequence. This is an interchange of infima justified by monotonicity at fixed $n$. For example, when $p>1/2$, the threshold proved in question 2 and uniqueness give an infinite percolation cluster with root probability $\theta (p)>0$. The Harris-FKG inequality makes the probability that both endpoints belong to it at least $\theta (p{)}^2$, so $q(n)\ge \theta (p{)}^2$. The whole-plane rate, and hence ${\lim }_k{f}_k(p)$, is then zero, despite the strict positivity of every finite-strip rate.

For each integer $j$, consider the cut of horizontal edges joining column $j$ to column $j+1$ inside the strip. It contains exactly $2k+1$ edges. Its being completely closed has probabilityDifferent cuts use disjoint edge sets, so these closed-cut events are independent. Any graph path from column zero to column $n>0$, even one that wanders to other columns first, must cross each cut with $j=0,\dots ,n-1$. None of those $n$ cuts may therefore be completely closed. This gives the closed-cut bound for percolation in a strip:Taking negative logarithms, dividing by $n$ and taking the established limit of a sequence yieldsThe strict inequality uses both finite width and $p<1$. It is consistent with $f_k(p)\le -\log p$, since $1-(1-p{)}^{2k+1}\ge p$. At $p=1$ all strip connections occur and the decay rate is zero, so that excluded endpoint would invalidate strict positivity. The mechanism is a positive probability of an impermeable finite cut, rather than any assumption that the unrestricted lattice is subcritical.