## LOOP PERCOLATION VERSUS LINK PERCOLATION IN THE RANDOM LOOP MODEL

VOLKER BETZ, ANDREAS KLIPPEL, AND MINO NICOLA KRAFT

Abstract. In [M¨h19], Peter M¨hlbacher showed that in the random loop model withu u out loop weights, a loop phase transition (assuming it exists) cannot occur at the same parameter as the percolation phase transition of the occupied edges. In this work, we give a quantitative version of this result, specifying a minimal gap between the percolation phase transition and a possible loop phase transition. A substantial part of our argument also works for weighted loop models.

## 1. Introduction and main results

Random loop models arise as graphical representations of various quantum spin systems, such as the quantum Heisenberg (anti-) ferromagnet. These connections where first noticed in [AN94, T´t93] and then extended in [Uel13]. We refer the reader to these works for the o connections to quantum systems and will exclusively treat the probabilistic versions here. Given a finite graph, G = ( V, E ), a link configuration is a finite sequence c = ( c i ) i /lessorequalslant n = ( e , s i i ) i /lessorequalslant n , with n ∈ N , where e i ∈ E and s i ∈ {-1 1 , } for all i /lessorequalslant n . s i = 1 corresponds to a 'cross' and s i = -1 to a 'double bar' as described in [Uel13].

A link configuration c = ( e , s i i ) i /lessorequalslant n gives rise to a loop configuration. The most common way to describe this is through a graphical construction, see e.g. [Uel13]. Since many readers may already be familiar with this construction, we do not repeat it here. In Appendix B, however, we offer an equivalent, algorithmic construction of loop configurations from link configurations, adapted to the discretized setting we work in. For a given link configuration c , this algorithm generates a family {L m ( c ) : 1 /lessorequalslant m /lessorequalslant n } , where L m ( c ) is a disjoint collection of subset of V . Each element of each L m ( c ) represents precisely one loop induced by c . More precisely, every A ∈ L m ( c ) is a collections of vertices visited by the loop. Thereby, the loop only visits links with indices m -1 or higher, and A are those vertices that are visited by the loop when periodicity is used for m = 1, or when it reaches a link with index m -1 for m &gt; 1. Especially for m &gt; 1, a loop from L m ( c ) reaches a link with index m -1 at least once and since there exists only one such link, we have |L m ( c ) | ∈ { 0 1 , } . Here, for m = 1, periodicity is taken into account. For details see Appendix B. In particular, the total number of loops in the system is given by

$$\varkappa \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a \ v a
 \colon & \text{graph $G$ = $(E.V)$ with}$$

The random loop model on the graph G = ( E,V ) with parameters β &gt; 0, θ &gt; 0 and u ∈ [0 , 1] is a probability measure on the set C ( E ) = { c = ( e , s i i ) i /lessorequalslant n : e i ∈ E,s i ∈ {-1 1 , } , n ∈ N 0 } of link configurations. To obtain the measure, we first draw a Poisson random variable N e with parameter β for each edge e ∈ E . We then construct a vector with components in E , such that it contains each edge e precisely N e times; the order

/negationslash of these edges is irrelevant. The length n of this vector is therefore Poi | E β | -distributed. We then re-order the elements of this vector using a uniformly sampled permutation of length n , and enhance each element of the resulting vector to a pair ( e , s i i ), where the s i are iid Bernoulli random variables that take the value 1 with probability u the value -1 otherwise. The resulting measure is the random loop measure for the case θ = 1. In case θ = 1, this measure needs to be re-weighted and normalised, with the weight of a configuration c given by θ |L ( c ) | . For integer θ , this has the combinatorial interpretation of colouring each loop in one of θ different colors, thereby increasing the likelihood of link configurations that give rise to many loops.

The resulting probability measure can be compactly written as

$$\mathbb { P } ( \{ c \} ) \coloneqq ( Z _ { \beta, u, \theta } ) ^ { - 1 } \, \frac { ( | E | \beta ) ^ { n } } { n! } u ^ { \frac { 1 } { 2 } \sum _ { j = 1 } ^ { n } ( 1 + s _ { j } ) } ( 1 - u ) ^ { \frac { 1 } { 2 } \sum _ { j = 1 } ^ { n } ( 1 - s _ { j } ) } \theta ^ { | \mathcal { L } ( c ) | } \, \quad \ ( 1. 1 )$$

for a vector c ∈ C ( E ) of length n . Note that except for the trivial cases u ∈ { 0 1 , } , we can also write the simpler expression

$$\mathbb { P } ( \{ c \} ) \coloneqq \left ( \tilde { Z } _ { \beta, u, \theta } \right ) ^ { - 1 } \frac { ( | E | \beta ) ^ { n } } { n! } \left ( \frac { u } { 1 - u } \right ) ^ { \frac { 1 } { 2 } \sum _ { j = 1 } ^ { n } s _ { j } } \theta ^ { | \mathcal { L } ( c ) | } \\ \intertext { n n e n s a t i n s o } \text{the factor } ( u ( 1 - u ) ) ^ { n / 2 } \text{ with the normalisation}$$

by compensating the factor ( u (1 -u )) n/ 2 with the normalisation.

The principal question about the random loop model concerns percolation. For a finite graph G and a link configuration c ∈ C ( G ), we say that v, w ∈ V are connected by a loop if there exists A ∈ L 1 ( c ) such that v ∈ A and w ∈ A . In this case, we write v c ⇐⇒ w . For an infinite connected graph G = ( V, E ), we consider an increasing sequence ( V m m ) /greaterorequalslant 1 ⊂ V with ⋃ m ∈ N V m = V such that the subgraph G m of G generated by V m is connected for all m . Let v 0 ∈ G 1 be any vertex, and let P m denote the random loop measure on G m . Let d v, w ( ) denote the graph distance of two vertices v and w . The question then is under what circumstances we have infinite loops in the sense that

$$\liminf _ { R \to \infty } \liminf _ { m \to \infty } \mathbb { P } _ { m } ( v _ { 0 } \stackrel { c } { \Longleftrightarrow } w \text{ for some } w \in G _ { m } \text{ with } d ( v _ { 0 }, w ) \geqslant R ) > 0. \quad ( 1. 3 )$$

/negationslash

For θ = 1, the probability measure and hence, this expression depend on the chosen sequence ( V m m ) /greaterorequalslant 1 . For every θ , there can also be a dependence on v 0 . While it is usually rather easy to show that (1.3) is false when β is small (see also below), positive results are much harder to get. Two special graphs that are rather well-understood are the tree (at least in the case of θ = 1), see e.g. [Ang03, Ham15, BEL18, BELR21]; and the complete graph, see [BU18b, BU18a]. Graphs with more complex geometries are notoriously hard to treat. An important recent success is [ES24], where the existence of loop percolation is shown in dimensions 5 or higher for the hypercubic lattice in case θ = 1, u = 1.

In this work, we do not present any results on regimes where (1.3) is valid. Instead, we contribute to the understanding of the region where (1.3) does not hold by comparing it to a percolation model. Namely, for each finite graph G , a link configuration c gives rise to an edge percolation configuration by declaring an edge as open if the number N ( ) of links e c on it is not zero. In the case θ = 1, this results in Bernoulli percolation with probability 1 -e -β for an open edge, while for other values of θ we obtain a model of dependent percolation. In both cases, we write v c ←→ w if v and w are in the same percolation cluster. In the same situation as above, percolation occurs when

$$\liminf _ { R \to \infty } \liminf _ { m \to \infty } \mathbb { P } _ { m } ( v _ { 0 } \stackrel { c } { \longleftrightarrow } w \text{ for some } w \in G _ { m } \text{ with } d ( v _ { 0 }, w ) \geqslant R ) > 0. \quad ( 1. 4 )$$

It is clear that when (1.4) fails to hold, then also (1.3) does not hold. In [M¨h19], Peter u M¨ uhlbacher showed that for graphs of bounded degree, there is a regime of parameters where (1.4) holds but (1.3) does not, but nothing beyond the existence of such a regime is addressed. The purpose of this article is to give a quantitative version of M¨hlbachers u result, and at the same time to streamline the proof in several ways.

The main idea for comparing link percolation to loop percolation (i.e. existence of infinite loops) is to find sufficiently many edges that contribute to the former but not to the latter. More precisely, we call an edge a blocking edge if

- (1) the edge carries exactly two links, i.e. N e = 2.
- (2) both links are 'crosses', meaning s i = 1 for both values of i /lessorequalslant n that satisfy e i = . e
- (3) no adjacent edges carry any links placed between the two edges on e . Formally, this means that when i and j are the indices with e i = e j = e , then i &lt; k &lt; j implies that e k ∩ e i = e k ∩ e j = . ∅

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-ca035396-b982-4308-9921-0172e47d8e66.jpg)

These edges do not carry any loops across e , but they do contribute to the link percolation. In the illustration above, the edge { v , v 2 3 } is blocking if and only if the fifth element of the link configuration c is not on one of the adjacent edges.

For a link configuration c and an edge e ∈ E , we set B ( e c ) = 1 if e is blocking and B ( ) = 0 e c if e is not blocking. Thus, under the measure P given in (1.1), B := (B ( )) e c e ∈ E is a (not independent!) edge percolation. Our main result shows that this measure dominates a Bernoulli percolation with a parameter that we calculate. To state this result, let G be any finite graph with maximal degree K ∈ N , and set ˆ := max θ { θ, 1 /θ } . Then we have

Theorem 1.1 (Appearance of blocking events) . Let u &gt; 0 , and consider the probability measure on link configurations given by (1.1) . Then on any finite subset ˜ E ⊂ E , the percolation measure (B ) e e ∈ ˜ E of blocking edges given that on each e ∈ ˜ E at least one link and on E E \ ˜ no link is placed, stochastically dominates a Bernoulli edge percolation measure on ˜ E with parameter

$$\delta ( \beta, u, \theta ) \coloneqq \frac { 1 } { 2 } \left ( \frac { u / \check { \theta } } { K } \right ) ^ { 2 } \frac { \beta / \check { \theta } ^ { 3 } } { \beta / \check { \theta } ^ { 3 } + 3 \cdot 4 ^ { K + 1 } } \left ( \frac { \beta \hat { \theta } } { e ^ { \beta \hat { \theta } } - 1 } \right ) ^ { 2 K - 1 }. \\ \hat { \omega } \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega \quad \omega$$

Here, ˆ = max θ { θ, 1 /θ } and ˇ = min θ { θ, 1 /θ } .

/negationslash

The idea to use blocking edges for comparison to percolation is taken from [M¨h19]. u What is new is the extension to θ = 1 and the quantitative bound. Consider the three dimensional lattice ( K = 6), only crosses ( u = 1), θ = 2 and β = 0 25 . 1) . For these parameters, we get δ β, u, θ ( ) ≈ 1 26 . · 10 -10 .

While Theorem 1.1 works for any value of θ , the next result is restricted to the case θ = 1. The reason is that in this case we do not have sufficient control over the dependent model of link percolation to conclude that removing edges uniformly at random lowers the percolation threshold. For θ = 1 and any β &gt; 0, link percolation is just Bernoulli edge percolation with probability p β ( ) = 1 -e -β for open edges. Let p c ( G ) be the critical value for this edge percolation on the graph G .

1) We use that simulations (see [WZZ + 13]) indicate the critical threshold to be ≈ 0 25. .

Theorem 1.2 (Comparison to percolation) . Let ( G m m ) /greaterorequalslant 1 be a sequence of graphs exhausting G . Assume that θ = 1 , and define the existence of loop percolation and link percolation as in (1.3) and (1.4) , respectively. Then for all β &gt; 0 so that (1 -e -β )(1 -δ β, u, ( 1)) &lt; p c ( G ) , loop percolation does not occur.

Since we have exponential decay for the Bernoulli percolation cluster, we immediately get

Corollary 1.3. Let d /greaterorequalslant 2 and G = Z d . For (1 -e -β )(1 -δ β, u, ( 1)) &lt; p c ( G ) , we obtain

$$\mathbb { P } ( 0 \stackrel { c } { \Longleftrightarrow } \partial \Lambda _ { n } ) \leqslant e ^ { - c n },$$

where c is a constant and ∂ Λ n denotes the boundary of a box with side-length n .

## 2. Proofs

In the proofs, we use the following functions:

$$0 \coloneqq ( 0 _ { e } ) _ { e \in E } \coloneqq ( 1 _ { \{ N _ { e } \geqslant 1 \} } ) _ { e \in E }, \ N B \coloneqq ( 1 - B _ { e } ) _ { e \in E }.$$

Also for ˜ E ⊆ E and c ∈ C ( ˜ ), E we define

$$\tilde { \mathbb { P } } \left ( c \right ) \coloneqq \tilde { \mathbb { P } } \left ( c | \ \forall e \in \tilde { E } \, \colon \, O ( c ) = 1 \right ) \\ \text{robability measure on } \mathcal { C } ( \tilde { E } ).$$

which gives rise to a probability measure on C ( ˜ ). E

2.1. Proof of Theorem 1.2. We use Theorem 1.1 to show that for all edges with at least one link placed on them only a certain fraction can be used to obtain large loops. We define O · NB by entry-wise multiplication and we denote by X η a Bernoulli-bound percolation on ˜ E with parameter η independent of the link configuration. We need to show that NB is stochastically dominated by O · X 1 -δ β,u, ( 1) . Since infinite long loops can only appear if there exists an infinite NB-cluster, this will conclude the proof. To this end, let A ⊆ { 0 1 , } E be increasing, set

$$A ( \tilde { E } ) \coloneqq \{ \tilde { a } \in \{ 0, 1 \} ^ { \tilde { E } } \, \colon \, \exists a \in A \, \colon \, a _ { | \tilde { E } } = \tilde { a }, \, a _ { | \tilde { E } ^ { c } } = 0 \}$$

and note that A E ( ˜ ) is increasing for all ˜ E ⊆ E . We conclude Theorem 1.2 by applying Theorem 1.1:

$$\text{heroem 1.1} \colon \\ \mathbb { P } \left ( N B \in A \right ) & = \sum _ { \tilde { E } \subseteq E } \tilde { \mathbb { P } } \left ( N B \in \tilde { A } ( \tilde { E } ) \right ) \mathbb { P } \left ( O _ { e } = 1 \text{ iff } e \in \tilde { E } \right ) \\ & \leq \sum _ { \tilde { E } \subseteq E } \mathbb { P } \left ( X _ { 1 - \delta ( \beta, u, 1 ) } \in \tilde { A } ( \tilde { E } ) \right ) \mathbb { P } \left ( O _ { e } = 1 \text{ iff } e \in \tilde { E } \right ) \\ & = \mathbb { P } \left ( O \cdot X _ { 1 - \delta ( \beta, u, 1 ) } \in A \right ). \\ 2. \text{ Proof of Theory } \text{ Theorem } 1. 1. \text{ We set } \delta \, \coloneqq \, \delta ( \beta, u, \theta ). \text{ For } k \, \in \, \mathbb { N } \text{ with } k \, \leqslant \, m, \, w \text{ define } A _ { e } ( k, m ) \, \coloneqq \, \{ f \, \in \, \tilde { E } \, \colon \, \tilde { d } ( e, f ) \, \in \, \left [ k, m \right ] \} \, \text{ where } \tilde { d } \text{ denotes the graph distant}$$

2.2. Proof of Theorem 1.1. We set δ := δ β, u, θ ( ). For k ∈ N with k /lessorequalslant m , we define A e ( k, m ) := { f ∈ ˜ E : ˜ ( d e, f ) ∈ [ k, m ] } where ˜ denotes d the graph distance on G . For e 0 ∈ ˜ E which will be fixed during the proof, we use the shorthand notation A k, m ( ) := A e 0 ( k, m ), for illustration consider Figure 1. Finally, we define by P | E : C ( E ) →C ( E ) the restriction of a link configuration to the links on E .

We begin by simplifying the event we condition on.

Figure 1. Exemplary ˜ E is depicted. The gray, red, orange resp. green shaded area indicates A (3 , ∞ ), A (2 2), , A (1 1) resp. , { e 0 } . We condition on knowing the link configuration in the red and gray area and where blocking events are placed on in the orange and red area.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-99fc4692-408f-4e21-864f-636bc681845f.jpg)

Lemma 2.1. To prove Theorem 1.2, it is enough to show that for all finite ˜ E ⊆ E e , 0 ∈ ˜ E , ( ε e ) e ∈ A (1 2) , ⊆ { 0 1 , } and c link configurations on A (2 , ∞ ) , we have

$$\det \mathcal { A } _ { 0 } ( 1, e _ { j } - \mathcal { A } _ { 0 } ) \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \colon \\ \tilde { \mathbb { P } } } \left ( B _ { e _ { 0 } } = 1 \Big | \forall e \in A ( 1, 2 ) \, \colon \, B _ { e } = \varepsilon _ { e }, \, \mathbb { P } _ { | A ( 2, \infty ) } = c \right ) \, \geqslant \delta. \quad \quad ( 2. 1 ) \\ \int f. \, \text{By the rule of total probability, we get} \\ / \quad \, \quad | \quad \, \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \delta.$$

$$\tilde { \mathbb { P } } \left ( B _ { e _ { 0 } } = 1 \Big | \forall e \in A ( 1, 2 ) \, \colon \, B _ { e } = \varepsilon _ { e } \right ) \, \geqslant \delta. \\ \text{provides that } B \text{ dominates a Bernoulli percolation with } \\ \tilde { \mathcal { N } } \sim B \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colots \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \colon \, \col.$$

∣ Proof. By the rule of total probability, we get

∣ Proposition A.1 provides that B dominates a Bernoulli percolation with parameter δ . /square

We define C min ( ˜ ) E to be configurations, ˜, with c

From now on, let ˜ E ⊆ E be an arbitrary but fixed finite set of edges, e 0 ∈ ˜ the considered E edge, c ∈ C ( A (2 , ∞ )) and ( ε e ) e ∈ A (1 2) , ⊆ { 0 1 , } . We consider all link configurations that extend c such that B e = ε e for e ∈ A (1 2) , and denote this set by C 0 ( ˜ ). E We define K block := ∑ e ∈ A (1 1) , ε e and K open := | A (1 1) , | -K block .

- (1) ˜ c ∈ C 0 ( ˜ ), E
- (2) N e 0 (˜) c /lessorequalslant 2, N e /greaterorequalslant 1 for e ∈ A (0 1) and ,
- (3) such that discarding any link on A (0 1) would hurt (1) or (2). ,

(2) and (3) simplify the comparison of the probability of having a blocking event on e 0 versus having none. According to (2), the number of links on e 0 differs by at most 1 in both cases, and (3) shows that we can likely place both links on e 0 without placing a link on a neighboring edge in-between. We call link configurations minimal if they are

contained in C min ( ˜ ). E

Next, we show that it is sufficient to prove the claim under the condition C min ( ˜ ). E Given that C min ( ˜ ) E ⊆ C 0 ( ˜ ), E the denominator of the expression poses no problem, but the numerator does. We recall ˆ = max θ { θ, θ -1 } , ˇ = min θ { θ, θ -1 } and define β + := ˆ θβ . In the proof of the next lemma, we use subscripts for ˜ and it is supposed to mean the same as P for P . Recall that ˜ just denotes P P restricted to the graph generated by ˜ and conditioned E on having at least one link placed on each edge.

## Lemma 2.2. Inequality (2.1) is fulfilled if

$$\cdot \cdot \cdot \cdot \cdot \cdot \cdot & \quad \cdot \cdot \cdot \\ \tilde { \mathbb { P } } \left ( \mathbf B _ { e _ { 0 } } = 1 \Big | \, \mathcal { C } _ { \min } ( \tilde { E } ) \right ) \, \geqslant \delta f ( \beta ^ { + } ) \\ \right ) ^ { 2 K _ { \text{open} } - 1 } & \quad a n d \, \text{for all possible} \, \mathcal { C } _ { \min } ( \tilde { E } ).$$

Proof. Since (2.1) is fulfilled if

∣ with f ( β + ) := ( e β + -1 β + ) 2 K open -1 and for all possible C min ( ˜ ) E .

$$\tilde { \mathbb { P } } \left ( B _ { e _ { 0 } } = 1, \, \mathcal { C } _ { 0 } ( \tilde { E } ) \right ) \, \geqslant \delta \tilde { \mathbb { P } } \left ( \mathcal { C } _ { 0 } ( \tilde { E } ) \right ) \\ \text{the claim. it is enough to estimate } f ( \beta ^ { + } ) \tilde { \mathbb { P } } ( \mathcal { C } _ { w }$$

Note that every link configuration in C 0 ( ˜ ) E can be constructed by taking a link configuration from C min ( ˜ ) E and adding links. Let ˜ c ∈ C min ( ˜ ), E and let Ex(˜) denote the link c configurations in C 0 ( ˜ ) E that extend ˜. c Then for all C 0 ( ˜ ), E to show the claim, it is enough to estimate f ( β + ) ˜ ( P C min ( ˜ )) E /greaterorequalslant ˜ P ( C 0 ( ˜ ) E ) .

$$\tilde { \mathbb { P } } ( \mathcal { C } _ { 0 } ( \tilde { E } ) ) & \leqslant \sum _ { \overline { c } \in \mathcal { C } _ { \min } ( \tilde { E } ) } \tilde { \mathbb { P } } ( \text{Ex} ( \overline { c } ) ). \\ \vdots \neg n \ \. \quad. \quad. \quad. \. \.$$

We denote by N -1 (˜) c := 1 2 ∑ n j =1 (1 + s j ) the number of double bars and by N (˜) 1 c := 1 2 ∑ n j =1 (1 + s j ) the number of crosses of ˜. c We get:

$$\frac { 1 } { 2 } \sum _ { j = 1 } ^ { n } ( 1 + s _ { j } ) & \quad \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad\, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad\, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,
 \quad \frac { 1 } { 2 } \sum _ { j = 1 } ^ { n } ( 1 + s _ { j } ) & \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,
 \quad \frac{ 1 } { 2 } \sum _ { k = 1 } ^ { n } ( 1 + s _ { k } ) & \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,
 \quad \frac { 1 } { 2 } \sum _ { k = 1 } ^ { n } ( 1 + s _ { k } ) & \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,
 \quad \frac { 1 } { 2 } \sum _ { k = 1 } ^ { n } ( 1 + s _ { k } ) & \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \
 \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \quad \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \cdot \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,
 \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \

 \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \} \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \end{array} \quad \, \, \,$$

For the second estimate, we use the fact that on each edge from A (0 1) at least one link , is placed. At most 2 K open -1 such edges exist. Adding a link to the link configuration increases the number of loops by at most one and, for m /greaterorequalslant 1,

In the remainder, we are going to show

$$\alpha \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varp \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varprod \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimit \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nulimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \ncolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \numerics \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimis \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimits \nolimim\nvarphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in\varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in \varphi \in
 \end{ \square \quad \\ \text{ve are going to show}$$

$$( I ) \tilde { \mathbb { P } } ( B _ { e _ { 0 } } = 1, \, \mathcal { C } _ { \min } ( \tilde { E } ) ) \geqslant \frac { ( u \tilde { \theta } ) ^ { 2 } } { ( K - 1 ) K _ { \substack { \sim } \tilde { \lambda } \\ \sim \tilde { \lambda } } } \tilde { \mathbb { P } } ( N _ { e _ { 0 } } = 2, \, \mathcal { C } _ { \min } ( \tilde { E } ) ) \text{ and}$$

$$( I ) \ \tilde { \mathbb { P } } ( B _ { e _ { 0 } } & = 1, \ \mathcal { C } _ { \min } ( \tilde { E } ) ) \geqslant \frac { ( u \tilde { \theta } ) ^ { 2 } } { ( K - 1 ) K _ { \text{open} } + 2 K _ { \text{block} } } \tilde { \mathbb { P } } ( N _ { e _ { 0 } } = 2, \ \mathcal { C } _ { \min } ( \tilde { E } ) ) \text{ and} \\ ( I I ) \ \tilde { \mathbb { P } } ( N _ { e _ { 0 } } & = 2, \ \mathcal { C } _ { \min } ( \tilde { E } ) ) \geqslant \frac { \beta \tilde { \theta } ^ { 3 } } { 3 \cdot 4 K _ { \text{block} } + 1 } \tilde { \mathbb { P } } ( N _ { e _ { 0 } } = 1, \ \mathcal { C } _ { \min } ( \tilde { E } ) ). \\ - \quad \ \, \quad \, \quad \, \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \, \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde } \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde  \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde _ { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t _ { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \bar { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t \bar { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t \bar { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t  \t  \t   \t  } } } } } } } } } } } } } } } } } } } } } } }$$

For now, suppose (I) and (II) hold true, then 2 K -2 /greaterorequalslant max { K open , K block } and {C min ( ˜ ) E } = { N e 0 = 1 , C min ( ˜ ) E } ∪ { N e 0 = 2 , C min ( ˜ ) E } gives

$$\mathfrak { c } _ { 0 } \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \nu \quad \rangle \\ \tilde { \mathbb { P } } ( \mathcal { C } _ { \min } ( \tilde { E } ) ) & \leqslant \left ( 1 + \frac { 3 \cdot 4 ^ { K _ { \text{block} } + 1 } } { \beta \check { \theta } ^ { 3 } } \right ) \tilde { \mathbb { P } } ( N _ { e _ { 0 } } = 2, \, \mathcal { C } _ { \min } ( \tilde { E } ) ) \\ & \leqslant \left ( 1 + \frac { 3 \cdot 4 ^ { K _ { \text{block} } + 1 } } { \beta \check { \theta } ^ { 3 } } \right ) \frac { ( K - 1 ) K _ { \text{open} } + 2 K _ { \text{block} } } { ( u \check { \theta } ) ^ { 2 } } \tilde { \mathbb { P } } ( B _ { e _ { 0 } }, \, \mathcal { C } _ { \min } ( \tilde { E } ) ). \\ \text{Using Lemma 2.2. we get. (2.1.) with}$$

Using Lemma 2.2, we get (2.1) with

$$\delta = \frac { 1 } { 2 } \left ( \frac { u \check { \theta } } { K } \right ) ^ { 2 } \frac { \beta \check { \theta } ^ { 3 } } { \beta \check { \theta } ^ { 3 } + 3 \cdot 4 ^ { K + 1 } } \left ( \frac { \beta ^ { + } } { \mathrm e ^ { \beta ^ { + } } - 1 } \right ) ^ { 2 K - 1 }.$$

Proof of (I). For this proof, we consider a fixed link configuration given on A (1 , ∞ ) and distinguish between between link configurations from { N e 0 = 2 , C min ( ˜ ) E } and { B e 0 = 1 , C min ( ˜ ) E } by considering where the links on e 0 can be placed. Summing over all possible configurations on A (1 , ∞ ) then yields the claim.

Regarding the probability weights, we note that the extensions of the fixed link configuration only differ by the type of the links on e 0 and by the number of loops. Denote the corresponding weights by p (N e 0 ) and p (B e 0 ). For B e 0 = 1, the number of loops is the same as if there would be no link placed on e 0 and for N e 0 = 2, we have either the same number of loops, two less or two more compared to placing no links on e 0 . In total, we get p (B e 0 ) /greaterorequalslant ( uθ ˇ ) 2 p (N e 0 ).

Next, we compare the combinatorics in both situations. To this end, we introduce some notation which is illustrated in Figure 2.

- (1) Denote by N the number of links in the link configuration without the links on e 0 . Then, we set I := (0 , N +1) ⊆ R .
- (2) J := { j ∈ { 1 , . . . , N } : e j ∈ A (1 1) , , B e j = 1 . }
- (3) K := { ( i, j ) ∈ { 1 , . . . , N } 2 : i &lt; j, e i = e j ∈ A (1 1) , , B e i = 0 . }
- (4) Let ( L i ) m i =1 be the pairwise disjoint and open intervals that cover I ∩ J c ∩ K c .

The intervals ( L i ) m i =1 indicate where the links on e 0 can be placed such that the blocking events are preserved. The size of the intervals corresponds to the number of possible placements. Hence, there are 1 2 ∑ m i =1 L i ( L i -1) possibilities to add links on e 0 and get a blocking event on e 0 and there are 1 2 (1 + ∑ m i =1 L i ) ∑ m i =1 L i possibilities to add two links at arbitrary spots. Using Jensen's inequality, we get

$$\frac { 1 } { 2 } \frac { m } { m } \sum _ { i = 1 } ^ { m } L _ { i } ( L _ { i } - 1 ) & \geqslant \frac { m } { m ^ { 2 } } \frac { 1 } { 2 } \left ( 1 + \sum _ { i = 1 } ^ { m } L _ { i } \right ) \sum _ { i = 1 } ^ { m } L _ { i }. \\ \text{and do how to know of lines on } \, \text{$\Lambda(1-1\uplus \intertext on and remove $kl$}.$$

Since m is bounded by the number of links on A (1 1) plus one and every blocking event , contributes two links and every edge without blocking event contributes at most ( K -1) links, we conclude (I).

8

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-a9d7709a-4bec-4552-91ee-1f93071c90ed.jpg)

1. We start with a link configuration of length 13 in the graph of Figure 1 where we denote all links from A (2 , ∞ ) simply by e and do not denote the type of any link for simplicity. Shown is an exemplary link configuration with 13 elements embedded into the real axis. Links are indicated by bold vertical lines.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-09e56a7e-2a62-4ed9-bdaf-28265fad660a.jpg)

2. We indicate links on A (1 , 1) where no blocking structure is present, i.e. the set J , by small circles at the position on the axis.

3. We indicate intervals with endpoints given by the two links of one blocking event by red lines, i.e. the set K .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-13baa6ce-c853-4d00-89f6-6f7fe14152f9.jpg)

Figure 2. We illustrate the objects needed to estimate the combinatorics for constructing elements from { N e 0 = 2 , C min ( ˜ ) E } and { B e 0 = 1 , C min ( ˜ ) E } .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-3006db69-dbb1-446b-8931-4a8e4c3a26a1.jpg)

Proof of (II). As in the proof of (I), we denote by p (N e 0 = 1) and p (N e 0 = 2) the probability weights for link configurations with the same link configuration on A (1 , ∞ ) but a different number of links on e 0 . Again, also the number of loops differ. Placing one link, decreases the number of loops by at most one, while placing two links, can decrease the number of loops by two. In total, we can estimate p (N e 0 = 2) /greaterorequalslant β E θ | ˜ ˇ | 3 N +2 p (N e 0 = 1) where N denotes the number of links in A (1 , ∞ ). Since N is fixed and can be arbitrary large, we need to use that placing two links has linear in N more possibilities than placing only one link to get (II). To this end, on edges from A (1 1) with blocking events, we , only fix the position of the first link and also count the possibilities to place the second one.

We give a procedure to construct all minimal link configurations from link configurations with only one link placed on edges from A (1 1) with a blocking event. , Parallel to the definition and construction steps, we give an illustration in Figure 3.

- (1) Let a minimal link configuration be given. For all e ∈ A (1 1) with B , e = 1, we call the first link on e first blocking link on e and the second link on e second blocking link on e . We denote the set of indices of the first resp. second blocking links by A resp. B .
- (2) We call a link configuration that can be constructed from a minimal link configuration by removing all links from e 0 and the second blocking links for all edges with a blocking event from A (1 1) an , initial link configuration .
- (3) Let an initial link configuration ( e , s i i ) M i =1 be given and let j ∈ [ M ] such that ( e , s j j ) is a first blocking link. Either there exists minimal k ∈ { j +1 , . . . , M } such that e k is neighbouring e j or there does not exist any link in the link configuration after ( e , s j j ) on an edge neighbouring e j . In the first case, we set D j := k -j and in the second case D j := M + 1 -j . Note that for first blocking links on neighbouring edges with indices m&lt;n , we have n -m /greaterorequalslant D m .
- (4) Given an initial link configuration, we add the second blocking links in reversed order. That is, for A = { i k : k ∈ { 1 , . . . , | A |}} with i k &gt; i k +1 , we add the second blocking links to the edges in the order e i 1 , . . . , e i | A | . Note that there exist D i 1 spots for adding the second blocking link on e i 1 , but starting with adding the second blocking link on e i 2 this number could be larger. More precisely, for k, l ∈ { 1 , . . . , | A |} such that k &lt; l , i l -i k /lessorequalslant D i k and i l +1 -i k &gt; D i k , when adding the second blocking link on e i k , there exist at least ˜ D i k := D i k + l and at most ˜ D i k +1 spots to place it. We denote by (∆ ) i i ∈ A ∈ × i ∈ A { 0 , . . . , D ˜ i +1 } the vector of distances at which the second blocking links are placed behind the respective first blocking links. Note that we can uniquely construct a minimal link configuration given an initial link configuration, (∆ ) i i ∈ A and the position of the links on e 0 .
- (5) As in the proof of (I), we construct ( L i ) m i =1 which now depends on the initial link configuration and on (∆ ) i i ∈ A , but for the sake of lighter notation, we suppress the dependence.

We note that for M = 0 the claim holds obviously and hence, we restrict to M /greaterorequalslant 1.

We set p := K block and L := ∑ m i =1 L i as follows. We consider a link that is not placed on A (1 1) and suppose there are , n edges in A (1 1) with their first blocking links before the , considered link and the second blocking links placed after it. This can only happen if these edges are not neighbouring; otherwise, they could not be blocked. Since any collection of edges from A (1 1) with three or more elements contains two neighbouring edges, we , conclude n /lessorequalslant 2. If we consider any link placed on A (1 1), , we get n /lessorequalslant 1 with the same argumentation. Hence,

$$\sum _ { i \in A } \Delta _ { i } \leqslant \sum _ { i \in A } ( \tilde { D } _ { i } + 2 ) \leqslant 2 ( M - p - K _ { \text{open} } ) + 2 p + K _ { \text{open} } = 2 M - K _ { \text{open} }. \quad \ ( 2. 2 )$$

Now, we are able to bound the ratio of the number of possible cases given an initial link configuration. To this end, we start from a initial link configuration ( e , s i i ) M i =1 and denote by C 2 and C 1 the combinatorial weights for { N e 0 = 2 } resp. { N e 0 = 1 . First, we consider }

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-979b1360-5ed8-4835-a5c5-40d3ca2eea6c.jpg)

1. We start with a situation similar to Figure 2 but already assuming B e a 1 = B e b 1 = B e c 1 = B e d 1 = 1. We indicate first blocking links by blue circles and second blocking links by green ones.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-b48f6aed-f508-4fd5-b2b7-8c649bfbb3bd.jpg)

- 2. We remove second blocking links to get a initial link configuration.

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-739a9c80-2c1d-4a48-8eb2-7adaa46efbdd.jpg)

3. We suppress the enumeration for clarity. For simplicity, we assume no link denoted by e does neighbour any edge from A (1 , 1) and indicate ( D ,D ,D ,D 1 3 6 8 ) = (7 , 3 3 1) by blue lines. , ,

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-c7ee106c-625b-4bce-a154-c72c3c07e9bf.jpg)

4. We consider adding the second blocking links on e a 1 after the second blocking links on e i 1 = e b 1 , e i 2 = e d 1 and e i 3 = e c 1 already have been placed. Here, we consider two possibilities for the second blocking link on e d 1 that, in the 'red case', yield ∆ 1 ∈ { 1 , . . . , 9 } and, in the 'green case', yield ∆ 1 ∈ { 1 , . . . , 8 } . Note that the position of the second blocking link on e c 1 does not influence the number of possible spots for the second blocking link on e a 1 .

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-290f14e3-b684-4f0a-b75f-e13b970aeba5.jpg)

- 5. After having placed all links, we construct as in 4. of Figure 2 the intervals ( L i ) m i =1 .

Figure 3. We illustrate the objects needed to estimate the combinatorics for constructing elements from { N e 0 = 2 , C min ( ˜ ) E } and { N e 0 = 1 , C min ( ˜ ) E } given an initial link configuration.

2 p /greaterorequalslant M . In this case, using N = M + , p

$$\begin{array} { c } \cdot \cdot & \cdot \\ \frac { \beta | \tilde { E } | \tilde { \theta } ^ { 3 } } { M + p + 2 } \frac { C _ { 2 } } { C _ { 1 } } \geqslant \frac { \beta | \tilde { E } | \tilde { \theta } ^ { 3 } } { M + p + 2 } \frac { \sum _ { ( \Delta _ { i } ) _ { i \in A } } \frac { L ( L + 1 ) } { 2 } } { \sum _ { ( \Delta _ { i } ) _ { i \in A } } L } \geqslant \frac { \beta ( p + 1 ) \tilde { \theta } ^ { 3 } } { 3 p + 2 } \geqslant \frac { 3 \beta \tilde { \theta } ^ { 3 } } { 2 }. \\ \text{Second, we take $2p<M$. Applying Jensen's inequality yields} \\ \cdot \cdot \cdot \cdot \cdot \end{array}$$

$$\begin{array} { c } \cdot & \cdots \, \, \rangle & \cdot & \cdot \\ & \frac { C _ { 2 } } { C _ { 1 } } \geqslant \frac { | \{ ( \Delta _ { i } ) _ { i \in A } \} | } { | \{ ( \Delta _ { i } ) _ { i \in A } \} | } \frac { \sum _ { ( \Delta _ { i } ) _ { i \in A } } \frac { L ( L + 1 ) } { 2 } } { \sum _ { ( \Delta _ { i } ) _ { i \in A } } L } \geqslant \frac { \sum _ { ( \Delta _ { i } ) _ { i \in A } } L } { | \{ ( \Delta _ { i } ) _ { i \in A } \} | }. \\ & \geqslant M - \sum _ { i \in A } \Delta _ { i } \text{ and, by step } 4., \, | \{ ( \Delta _ { i } ) _ { i \in A } \} | \leqslant \prod _ { i = 1 } ^ { p } ( \tilde { D } _ { i } + 2 ). \end{array}$$

We have L /greaterorequalslant M -∑ i ∈ A ∆ and, by step 4., i |{ (∆ ) i i ∈ A }| /lessorequalslant ∏ p i =1 ( ˜ D i + 2). Hence, using (2.2), we calculate

$$\sum _ { ( \Delta _ { i } ) _ { i \in A } } L \geqslant \sum _ { \substack { ( \Delta _ { i } ) _ { i \in A } \colon \\ \Delta _ { i } \leqslant \lfloor \frac { \tilde { D } _ { i } } { 2 } \rfloor } } ( M - \sum _ { i \in A } \Delta _ { i } ) \\.$$

/negationslash

$$M - \sum _ { i \in A } \Delta _ { i } \text{ and, by step 4., } | \{ ( \Delta _ { i } ) _ { i \in A } \} | \leqslant \coprod _ { i = 1 } ^ { \prime } ( D _ { i } + 2 ). \text{ Hence,} \\ \intertext { a } \sum _ { ( \Delta _ { i } ) _ { i \in A } } L & \geqslant \sum _ { \substack { ( \Delta _ { i } ) _ { i \in A } \colon \\ \Delta _ { i } \leqslant \lfloor \frac { D _ { i } } { 2 } \rfloor } } ( M - \sum _ { i \in A } \Delta _ { i } ) \\ & \geqslant M \prod _ { i \in A } \left ( \left \lfloor \frac { \tilde { D } _ { i } } { 2 } \right \rfloor + 1 \right ) - \sum _ { i \in A } \sum _ { \Delta _ { i } = 0 } ^ { \left \lfloor \frac { D _ { i } } { 2 } \right \rfloor } \left ( \Delta _ { i } \prod _ { j \neq i } \left \lfloor \frac { \tilde { D } _ { j } } { 2 } \right \rfloor \right ) \\ & \geqslant \prod _ { i \in A } \frac { \tilde { D } _ { i } + 1 } { 2 } \left ( M - \sum _ { i \in A } \frac { \tilde { D } _ { i } + 4 } { 4 } \right ) \\ & \geqslant \frac { 1 } { 4 p } | \{ ( \Delta _ { i } ) _ { i \in A } \} | \left ( M - \frac { 1 } { 4 } ( 2 M - K _ { \text{open} } + 2 p ) \right ) \\ & \geqslant \frac { 1 } { 4 p } | \{ ( \Delta _ { i } ) _ { i \in A } \} | \frac { M - p } { 2 }. \\ \text{ith } M \geqslant 2 p \text{ and } N = M + p \\ \vdash | \tilde { \theta } ^ { 3 } \quad C, \quad \beta \tilde { \theta } ^ { 3 } \ ( p + 1 ) ( M - p ) \quad \beta \tilde { \theta } ^ { 3 } \ 1 \ p M + M \quad \beta \tilde { \theta } ^ { 3 }$$

We conclude with M /greaterorequalslant 2 p and N = M + p

$$\frac { \beta | \tilde { E } | \check { \theta } ^ { 3 } } { M + p + 2 } \frac { C _ { 2 } } { C _ { 1 } } \geqslant \frac { \beta \check { \theta } ^ { 3 } } { 2 \cdot 4 ^ { p } } \frac { ( p + 1 ) ( M - p ) } { M + p + 2 } \geqslant \frac { \beta \check { \theta } ^ { 3 } } { 2 \cdot 4 ^ { p } } \frac { 1 } { 2 } \frac { p M + M } { M + p + 2 } \geqslant \frac { \beta \check { \theta } ^ { 3 } } { 3 \cdot 4 ^ { p + 1 } }.$$

Since the estimate in the second case is truly worse than the one in the first case, we are finished.

Remark: We comment on two parts of the proof where a simplification seems possible, but it is not.

First, in Lemma 2.1, we cannot drop B e for e ∈ A (2 2) , in the condition. This is a consequence of B e depending on the link configuration on A e (0 1) and not only on , A e (0 0). , In other words, knowing the link configuration on A (2 , ∞ ) and which edges on A (1 1) are , blocked and which not, is possibly not enough to determine whether an edge in A (2 2) , carries a blocking event or not. For example, we consider Figure 1. If e a 2 carries two crosses and there are placed no links form the link configuration on A (2 , ∞ ) in-between those crosses, then whether e a 2 carries a blocking event, depends on the positions of the links on e a 1 . Especially, we cannot drop B e = ε e for e ∈ A (2 2) in the conditions. ,

Second, in the definition of minimal link configurations, it is not possible to define these objects by demanding N e = 1 for e ∈ A (1 1) with , ε e = 0. Considering Figure 1, we could have B e a 2 = B e b 2 = 0 and two crosses on both edges, but without any link from A (2 , ∞ ) in-between the respective pair of crosses. Then, we would need to place two links on e a 1

to get indeed B e a 2 = B e a 2 = 0. Since we do a worst case study, our estimates need to cover these possibilities as well.

Acknowledgements. The autor Andreas Klippel thanks the Casanuswerk e.V. for financial support and the author Mino Nicola Kraft thanks the Studienstiftung for supporting his PhD studies.

## Appendix A. Stochastic domination

This result provides stochastic domination in the case of local domination making it possible to find a coupling between the locally dominating and dominated measure. We will consider measures on { 0 1 , } I for some set I at most countable. For simplification, we identify I with [ N ] for some N ∈ N ∪{∞} with [ ∞ ] := N . A similar statement with a slightly different assumption to the one of the following proposition can be found in [LSS97].

Proposition A.1. Let X and Y be { 0 1 , } I -valued a random variables on such that for every finite set J ⊆ I , all ( ε j ) j ∈ J ⊆ { 0 1 , } and every i ∈ I \ J , we have

$$\nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \nu \\ \mathbb { P } \left ( X _ { i } = 1 \Big | \forall j \in J \colon \ X _ { j } = \varepsilon _ { j } \right ) \geqslant \mathbb { P } \left ( Y _ { i } = 1 \Big | \forall j \in J \colon \ Y _ { j } = \varepsilon _ { j } \right ). \\ \text{hen Y is stochastically dominated by X}. \\ \text{roof}. \text{ We define functions } ( m _ { k } ) _ { k \in \mathbb { N } } \text{ by}$$

∣ Then Y is stochastically dominated by X .

$$1 n e n \, Y \, \text{ as stochasticity a monnate} \, \text{ by } \Lambda \,. \\ \text{Proof. We define functions } ( m _ { k } ) _ { k \in \mathbb { N } } \text{ by } \\ m _ { k } ( ( \varepsilon _ { j }, \tilde { \varepsilon } _ { j } ) _ { j \in [ k ] } ) \coloneqq \begin{cases} 0 \, \text{ if } ( \varepsilon _ { k }, \tilde { \varepsilon } _ { k } ) = ( 0, 1 ), \\ \mathbb { P } \left ( X _ { k } = 1 | \forall j \leq k - 1 \, \colon \, X _ { j } = \varepsilon _ { j } \right ) - \mathbb { P } \left ( Y _ { k } = 1 | \forall j \leq k - 1 \, \colon \, Y _ { j } = \varepsilon _ { j } \right ) \\ \text{ if } ( \varepsilon _ { k }, \tilde { \varepsilon } _ { k } ) = ( 1, 0 ), \\ \mathbb { P } \left ( Y _ { k } = 1 | \forall j \leq k - 1 \, \colon \, Y _ { j } = \varepsilon _ { j } \right ) \, \text{ if } ( \varepsilon _ { k }, \tilde { \varepsilon } _ { k } ) = ( 1, 1 ), \\ 1 - \mathbb { P } \left ( Y _ { k } = 1 | \forall j \leq k - 1 \, \colon \, Y _ { j } = \varepsilon _ { j } \right ) \, \text{ if } ( \varepsilon _ { k }, \tilde { \varepsilon } _ { k } ) = ( 0, 0 ). \\ \text{ Using Kolmogorovs extension theorem, we find a random variable } Z \, \text{ on } \{ 0, 1 \} ^ { I } \times \{ 0, 1 \} ^ { I } \\ \text{ such that for all } k \in \mathbb { N } \, \text{ and } ( \varepsilon _ { j }, \tilde { \varepsilon } _ { j } ) _ { j \in [ k ] } \end{cases}$$

Proof. We define functions ( m ) by

 ( ∣ ) Using Kolmogorovs extension theorem, we find a random variable Z on { 0 1 , } I ×{ 0 1 , } I such that for all k ∈ N and ( ε , ε j ˜ ) j j ∈ [ k ]

$$\mathbb { P } ( Z = ( \varepsilon _ { j }, \tilde { \varepsilon } _ { j } ) _ { j \in [ k ] } ) = \prod _ { l = 1 } ^ { k } m _ { l } ( ( \varepsilon _ { j }, \tilde { \varepsilon } _ { j } ) _ { j \in [ l ] } ). \\ \intertext { a l m a t i o n } \tan \, \text{the above $Z$} \, \mathcal { I } \, \underline { \, d } \, \mathcal { I } \, \vee \, \mathcal { A } \, \mathcal { I } \, \underline { \, d } \, \mathcal { I } \, \underline { \, I }$$

A straightforward calculation shows Z ( · , { 0 1 , } I ) = d X ( ) · and Z ( { 0 1 , } I , · ) = d Y ( ). · By the definition of Z , we have Z ∈ { ( a , b i i ) i ∈ I ∈ { 0 1 , } I : a i /greaterorequalslant b i } P -a.s.. This implies that Y is stochastically dominated by X . /square

## Appendix B. Algorithmic construction of loop configurations

Here we give an algorithmic construction of loop configurations from link configurations, that also needs to a natural mathematical object representing the set of loops, and makes it easy to define what the total number of loops is. The reader is advised to consult figure 4 while reading the algorithm. For a fixed link configuration c with n elements, our algorithm produces, for each m /lessorequalslant n , a (possibly empty) collection L m ( c ) of mutually disjoint subsets of V . The algorithm has three variables, the active vertex v a , the active index i and the running direction δ . We start by giving the algorithm for m = 1.

```
\begin{array} { l l l } \text{index} \, i \, \text{and the running direction} \, \delta. \, \text{We start by givir} \\ \Big | \, & \text{For} \, \text{all} \, \ v \in V \colon \\ & \mathcal { L } _ { v, 1 } \leftarrow \{ v \} ; \ v _ { a } \leftarrow v ; \ i \leftarrow n ; \ \delta \leftarrow - 1 \\ & \text{Do} \colon \{ \\ & \text{If} \, \ v _ { a } \, \text{adjacent to} \, \ e _ { i } \colon \\ & \quad \ v _ { a } \leftarrow w \text{ for } \{ w \} = \ e _ { i } \langle v _ { a } \} \\ & \quad \delta \leftarrow \delta \cdot s _ { i } \\ & \quad i \leftarrow i + \delta \end{array}
```

![image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00648v1-figure-6726ad82-c1c7-43bd-815c-72e8f709a478.jpg)

Figure 4. Example for the construction of the random loop model, with n = 9 different edges, and θ = 3. We have c = (( { v , v 2 3 } -, 1) ( , { v , v 1 2 } -, 1) ( , { v , v 3 4 } , 1) , . . . ). The red loop contributes to L 1 ( c ) = {{ v , v 1 2 , v 3 , v 4 }} while the green loop leads to L 2 ( c ) = {{ v , v 1 2 , v 3 , v 4 }} and the blue one to L 6 = {{ v , v 2 3 }} .

/negationslash

Because it is possible that some loops do not visit a vertex at time zero, we are not finished. To account for the remaining loops, we also start at all active indices m /greaterorequalslant 2. Every time when we visit index zero or n + 1 in these iterations, we terminate. More generally, we terminate when we visit an index smaller than m -1 or n + 1 to avoid multiple times counting the same loop.

```
            If  i = n + 1 \colon \\              i \leftarrow 1 \\              Add  v _ { a } \text{ to } \mathcal { L } _ { v, 1 } \\          Else   if  i = 0 \colon \\             i \leftarrow n \\             Add  v _ { a } \text{ to } \mathcal { L } _ { v, 1 } \} \text{ while } ( v _ { a }, i, \delta ) \neq ( v, 1, - 1 ) \\ \text{cause it is possible that some loops do not visit a vertex at time zero, wc}
) \text{ account for the remaining loops, we also start at all active indices } m
```

/negationslash

```
<_Haskell_>
```

For m &gt; 1, the set L m = {L v,m : v ∈ V } \ ∅ thus represents the loops that 'stay above level m -1' and do not use the periodicity. In particular, ∑ n m =1 |L m | is the total number of loops, and ⋃ n m =1 L m can be interpreted as the set of 'percolation clusters' induced by the loops.

## References

| [AN94]     | Michael Aizenman and Bruno Nachtergaele. Geometric aspects of quantum spin states. Com- munications in Mathematical Physics , 164(1):17-63, July 1994.                                     |
|------------|--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Ang03]    | Omer Angel. Random infinite permutations and the cyclic time random walk. Discrete Math. Theor. Comput. Sci. , DMTCS Proceedings vol. AC,...(Proceedings), January 2003.                   |
| [BEL18]    | Volker Betz, Johannes Ehlert, and Benjamin Lees. Phase transition for loop representations of quantum spin systems on trees. Journal of Mathematical Physics , 59(11):113302, 11 2018.     |
| [BELR21]   | Volker Betz, Johannes Ehlert, Benjamin Lees, and Lukas Roth. Sharp phase transition for random loop models on trees. Electronic Journal of Probability , 26(none):1 - 26, 2021.            |
| [BU18a]    | Jakob E. Bj¨rnberg o and Daniel Ueltschi. Critical parameter of random loop model on trees. The Annals of Applied Probability , 28(4):2063 - 2082, 2018.                                   |
| [BU18b]    | Jakob E. Bj¨rnberg o and Daniel Ueltschi. Critical temperature of heisenberg models on regular trees, via random loops. Journal of Statistical Physics , 173(5):1369-1385, September 2018. |
| [ES24]     | Dor Elboim and Allan Sly. Infinite cycles in the interchange process in five dimensions, 2024.                                                                                             |
| [Ham15]    | Alan Hammond. Sharp phase transition in the random stirring model on trees. Probability Theory and Related Fields , 161(3):429-448, 2015.                                                  |
| [Kal21]    | Olav Kallenberg. Foundations of Modern Probability . Springer International Publishing, 2021.                                                                                              |
| [Kle20]    | Achim Klenke. Wahrscheinlichkeitstheorie . Springer Berlin Heidelberg, 2020.                                                                                                               |
| [LP17]     | G¨nter u Last and Mathew Penrose. Lectures on the Poisson Process . Cambridge University Press, October 2017.                                                                              |
| [LSS97]    | TMLiggett, RHSchonmann, and AMStacey. Domination by product measures. Ann. Probab. , 25(1):71-95, January 1997.                                                                            |
| [M¨h19] u  | Peter M¨hlbacher. u Critical parameters for loop and bernoulli percolation, 2019.                                                                                                          |
| [T´t93] o  | B´lint a T´th. o Improved lower bound on the thermodynamic pressure of the spin 1/2 heisenberg ferromagnet. Letters in Mathematical Physics , 28(1):75-84, May 1993.                       |
| [Uel13]    | Daniel Ueltschi. Random loop representations for quantum spin systems. J. Math. Phys. , 54(8):083301, August 2013.                                                                         |
| [WZZ + 13] | Junfeng Wang, Zongzheng Zhou, Wei Zhang, Timothy M. Garoni, and Youjin Deng. Bond and site percolation in three dimensions. Physical Review E , 87(5):052107, May 2013.                    |

Volker Betz

FB Mathematik, TU Darmstadt

Email address : betz@mathematik.tu-darmstadt.de

Andreas Klippel

FB Mathematik, TU Darmstadt

Email address :

andreas.klippel@math.tu-darmstadt.de

Mino Nicola Kraft

FB Mathematik, TU Darmstadt

Email address :

mino nicola.kraft@tu-darmstadt.de
Volker Betz Andreas Klippel Mino Nicola Kraft
Loop percolation versus link percolation in the random loop model
In [Muhl2019], Peter M\"uhlbacher showed that in the random loop model
without loop weights, a loop phase transition (assuming it exists) cannot occur
at the same parameter as the percolation phase transition of the occupied
edges. In this work, we give a quantitative version of this result, specifying
a minimal gap between the percolation phase transition and a possible loop
phase transition. A substantial part of our argument also works for weighted
loop models.