1) [$e_2$]{}; at (3.1, 0) [$e_3$]{};

Let $T' = T\sqcup \{s\}$ and $\Gamma'=(G-[1/3,2/3]_{e_i},K)$.

\[prop:identification-intersection-general-graph\] The intersections of those open sets can be identified as follows: $$\begin{aligned}
    U_{\pm e_i} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W)\\
    U_{-e_i}\cap U_{+e_i} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W) \sqcup {\operatorname{Conf}_{S-\{s\}, T}^\mathrm{sink}}(\Gamma',W)\\
    U_{\pm e_i}\cap U_{\pm e_j} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W).
  \end{aligned}$$ Any intersection of at least three of those open sets is again homotopy equivalent to ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$.

The inclusions induced by going from $p$-fold intersections to $(p-1)$-fold intersections are homotopic to the identity on the components ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$ and given by adding the particle $s$ to $1/2_{e_i}$ for the configurations in each component ${\operatorname{Conf}_{S-\{s\},T}^\mathrm{sink}}(\Gamma',W)$. These latter components are not hit by any such inclusion.

If the intersection of any number of these open sets contains open sets $U_{\pm e_i}$ and $U_{\pm e_j}$ for $i\neq j$ then the particle $s$ is restricted from entering all $[1/3,2/3]_{e_i}$, so this intersection is actually precisely the same as ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$. Since every intersection of $\ge 3$ of those sets contains two such open sets, there are only two cases remaining, namely 1-fold intersections and the intersection $U_{-e_i}\cap U_{+e_i}$.

The space $U_{+e_i}$ is almost
1) [ $ e_2 $ ] { }; at (3.1, 0) [ $ e_3 $ ] { }; 

 Let $ T' = T\sqcup \{s\}$ and $ \Gamma'=(G-[1/3,2/3]_{e_i},K)$. 

 \[prop: identification - intersection - general - graph\ ] The intersection of those loose sets can be identified as follows: $ $ \begin{aligned } 
     U_{\pm e_i } & \simeq { \operatorname{Conf}_{S, T'}^\mathrm{sink}}(\Gamma, W)\\ 
     U_{-e_i}\cap U_{+e_i } & \simeq { \operatorname{Conf}_{S, T'}^\mathrm{sink}}(\Gamma, W) \sqcup { \operatorname{Conf}_{S-\{s\ }, T}^\mathrm{sink}}(\Gamma',W)\\ 
     U_{\pm e_i}\cap U_{\pm e_j } & \simeq { \operatorname{Conf}_{S, T'}^\mathrm{sink}}(\Gamma, W). 
   \end{aligned}$$ Any overlap of at least three of those open sets is again homotopy equivalent to $ { \operatorname{Conf}_{S, T'}^\mathrm{sink}}(\Gamma, W)$. 

 The inclusions induce by going from $ p$-fold intersections to $ (p-1)$-fold intersection are homotopic to the identity on the components $ { \operatorname{Conf}_{S, T'}^\mathrm{sink}}(\Gamma, W)$ and given by add the particle $ s$ to $ 1/2_{e_i}$ for the configurations in each part $ { \operatorname{Conf}_{S-\{s\},T}^\mathrm{sink}}(\Gamma',W)$. These latter components are not hit by any such inclusion. 

 If the intersection of any number of these open sets incorporate open sets $ U_{\pm e_i}$ and $ U_{\pm e_j}$ for $ i\neq j$ then the particle $ s$ is qualify from entering all $ [ 1/3,2/3]_{e_i}$, so this intersection is actually precisely the same as $ { \operatorname{Conf}_{S, T'}^\mathrm{sink}}(\Gamma, W)$. Since every intersection of $ \ge 3 $ of those set contains two such open sets, there are only two case remaining, namely 1 - fold intersections and the intersection $ U_{-e_i}\cap U_{+e_i}$. 

 The space $ U_{+e_i}$ is almost
1) [$e_2$]{}; wt (3.1, 0) [$e_3$]{};

Let $T' = T\sqcup \{s\}$ ana $\Gamma'=(G-[1/3,2/3]_{e_i},K)$.

\[prop:neentifmcation-jntersecgion-general-graph\] The intersertiobs of those open sets can bd identifped as fooloww: $$\begin{aligisd}
    U_{\ii e_i} &\dimex {\operatorname{Cpnf}_{S,T'}^\mathrk{sink}}(\Gamma, W)\\
    J_{-e_n}\cap U_{+e_i} &\simeq {\operatorname{Conf}_{S,T'}^\matrrm{sink}}(\Balma,W) \sqcup {\opetatormwme{Cknf}_{S-\{s\}, T}^\mathrm{sink}}(\Gamma',W)\\
    U_{\pm e_i}\czp U_{\pm t_j} &\simeq {\operatornsme{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W).
  \enf{aligned}$$ Any interdection of qt lqqst three of those open sets is agzin homotopy equivalent to ${\operxtorncme{Conf}_{S,T'}^\majkem{sltk}}(\Gamma,W)$.

The incllsions induced by goitg from $p$-fold intersegtionv ti $(p-1)$-fold intersections are homotopic to jhe identidy on the componentw ${\iperajornake{Covd}_{S,T'}^\oatgrk{sjnk}}(\Gamla,W)$ and given by adding rhe particle $s$ to $1/2_{e_o}$ sir the confighratiogs in each component ${\operatorname{Conf}_{S-\{s\},T}^\mdthdm{sink}}(\Gamma',W)$. These lattwr components are not hit by agy such inclusion.

If the intersection of any numbes of vhdse oien rwtd contains open sets $U_{\pm e_i}$ and $U_{\pm e_j}$ for $i\nqs k$ nhen the particle $s$ is restrochec from enterine all $[1/3,2/3]_{z_j}$, ao this intersectiln is astualoy precistly tne same as ${\operatorname{Conf}_{W,T'}^\mathrm{sink}}(\Yamna,W)$. Since every incersection oy $\ge 3$ pf thpse sets contains two sbch opsn sets, thege are onmh two cases remaknikg, tamely 1-fold intersections wnd the iiterszction $U_{-d_i}\cak U_{+e_i}$.

Thq space $U_{+e_l}$ is almost
1) [$e_2$]{}; at (3.1, 0) [$e_3$]{}; Let T\sqcup and $\Gamma'=(G-[1/3,2/3]_{e_i},K)$. The intersections of identified follows: $$\begin{aligned} U_{\pm &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W)\\ U_{+e_i} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W) \sqcup {\operatorname{Conf}_{S-\{s\}, T}^\mathrm{sink}}(\Gamma',W)\\ e_i}\cap U_{\pm e_j} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W). \end{aligned}$$ Any intersection of at least three those open sets is again homotopy equivalent to ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$. The inclusions induced by from intersections $(p-1)$-fold are homotopic to the identity on the components ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$ and given by adding the particle $s$ $1/2_{e_i}$ for the configurations in each component ${\operatorname{Conf}_{S-\{s\},T}^\mathrm{sink}}(\Gamma',W)$. latter components are not by any such inclusion. If intersection any number these sets open sets $U_{\pm and $U_{\pm e_j}$ for $i\neq j$ then the particle $s$ is restricted from entering all $[1/3,2/3]_{e_i}$, so intersection is the same ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$. every of $\ge 3$ sets contains two such open sets, two cases remaining, namely 1-fold intersections and the $U_{-e_i}\cap U_{+e_i}$. space $U_{+e_i}$ is almost
1) [$e_2$]{}; at (3.1, 0) [$e_3$]{};

Let $T' = T\sqcup \{s\}$ and $\Gamma'=(G-[1/3,2/3]_{e_I},K)$.

\[prop:idenTificAtiOn-iNtErseCtioN-general-graph\] THE intErsections of those open sEts caN bE IdenTIfIed as Follows: $$\BEgIN{AliGnEd}
    u_{\pm E_i} &\SImEq {\opeRatOrname{COnf}_{S,T'}^\mathrM{siNk}}(\gamma, W)\\
    U_{-e_i}\cap u_{+E_i} &\Simeq {\operaTorName{Conf}_{S,T'}^\maThrM{sink}}(\GAmMa,W) \SQcup {\oPerAtornAme{ConF}_{s-\{s\}, T}^\matHrm{sink}}(\GaMmA',w)\\
    U_{\pm e_i}\CAp U_{\pm e_j} &\SIMeQ {\opeRatorname{Conf}_{S,T'}^\maTHrM{Sink}}(\Gamma, W).
  \end{aLigned}$$ anY InTERseCtiOn of at leasT tHree oF Those opEN sETS Is aGAin homotopy eqUivalent to ${\oPEraTornamE{COnf}_{s,t'}^\mathrM{sink}}(\gaMMa,W)$.

the inclusioNs inDuced by goIng froM $P$-fold inTErsectiOns to $(p-1)$-FolD inTersECtIoNs aRe HOmoTOpIc tO The Identity On ThE compOnenTS ${\OPEratOrnAme{COnf}_{S,T'}^\Mathrm{sink}}(\GamMa,W)$ And gIVen By addIng thE parTiCle $s$ tO $1/2_{e_i}$ for The coNfIgurations in eacH comPonent ${\opeRatOrNamE{COnf}_{S-\{s\},t}^\Mathrm{SinK}}(\GaMma',W)$. TheSe latteR ComPoNENTs Are not hit by any such InCLUsIon.

If the IntersECtIoN Of any numBeR of ThesE OPen seTs coNTaIns open sEts $U_{\pm E_I}$ aNd $u_{\pm e_j}$ foR $i\Neq j$ thEn The ParTicle $S$ Is reStrictEd from enTerinG All $[1/3,2/3]_{e_i}$, so this intERsection is actUAlLY PrECiseLy tHe same as ${\opeRatoRName{conf}_{s,t'}^\mAthRM{sink}}(\gamma,w)$. SINcE Every intersection of $\Ge 3$ Of thosE sets Contains two suCh open sets, THERe are onlY two CAsES remaining, nameLy 1-folD intersectIOns and thE inteRsection $u_{-e_i}\cap U_{+e_i}$.

tHE space $U_{+e_I}$ is AlmOst
1) [$e_2$]{}; at (3.1, 0)[$e_3$]{}; 

Let  $T ' =  T \sqc up \ {s\}$ and $\Ga m ma'= (G-[1/3,2/3]_{e_i},K)$ .

\[ pr o p:id e nt ifica tion-in t er s e cti on -g ene ra l -g raph\ ] T he inte rsectionsofth ose open set s  c an be iden tif ied as follo ws:  $$\be gi n{a l igned }
   U_ {\pm e _ i} &\s imeq {\op er a tornam e {Conf}_ { S ,T '}^\ mathrm{sink}}(\Ga m ma ,  W)\\
    U_{- e_i}\c ap U_ { + e_i } & \simeq {\o pe rator n ame{Con f }_ { S , T'} ^ \mathrm{sink} }(\Gamma,W) \sq cup {\ op era t orname {Conf }_ { S-\ {s\}, T}^\m athr m{sink}}( \Gamma ' ,W)\\
  U_{\p m e_i} \ca p U _{\p m  e _j } & \s i meq {\ ope r ato rname{Co nf }_ {S,T' }^\m a t h r m{si nk} }(\G amma,  W).
  \end{a lig ned} $ $ A ny in terse ctio nof at  least  thre eof those open s etsis againhom ot opy  e quiva l ent to  ${ \op eratorn ame{Con f }_{ S, T ' } ^\ mathrm{sink}}(\Gam ma , W )$ .

The i nclusi o ns  i n duced by  g oin g fr o m  $p$- fold in tersecti ons to $( p- 1)$-fol dinters ec tio nsare h o moto pic to  the ide ntity on the compone n ts ${\operato r na m e {C o nf}_ {S, T'}^\mathrm {sin k }}(\ Gamm a ,W )$a nd gi ven b ya dd i ng the particle $s$  t o $1/2 _{e_i }$ for the co nfiguratio n s in eachcomp o ne n t ${\operatorn ame{C onf}_{S-\{ s \},T}^\m athrm {sink}}( \Gamma',W ) $ . Theselat ter  co mpo n e nt s are not hit b y an ysuch in clu sion.
Ifthe  in ter se ction ofany numb er  o fth ese  open sets con ta ins  o pen  sets $U_{\p m e_i }$ a nd  $ U _{\ pm e_j} $  f o r  $i\ ne qj$ t hen  t he pa rtic l e $ s$ is r estricted  fr o m en te ri ng all$[1/3,2/3]_{e _i }$, so thi sint ersect i o n is act ually precisely the sam e  as ${\ ope rator name {Conf}_{S ,T' }^\mat hrm { sink}} (\Gamm a,W)$ .Sin c e  ever y in ter se ction of $ \ g e 3 $ ofth osesets co ntains two such op e n s ets, there ar e o nlyt w ocas e sr ema in i ng, n amely 1-fold in tersection sa nd  the inter s ect io n $U_{- e_i}\ca p U_{ + e_i}$.
The spac e $U_{+e_ i} $ is a lmo st
1) [$e_2$]{};_at (3.1,_0) [$e_3$]{};

Let $T' =_T\sqcup \{s\}$_and_$\Gamma'=(G-[1/3,2/3]_{e_i},K)$.

\[prop:identification-intersection-general-graph\] The_intersections_of those open_sets can be_identified as follows: $$\begin{aligned}
_  _U_{\pm_e_i} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W)\\
    U_{-e_i}\cap U_{+e_i} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W) \sqcup {\operatorname{Conf}_{S-\{s\}, T}^\mathrm{sink}}(\Gamma',W)\\
__ _U_{\pm_e_i}\cap_U_{\pm e_j} &\simeq {\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma, W).
_ \end{aligned}$$ Any intersection of_at least_three of those open sets is again homotopy_equivalent_to ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$.

The inclusions_induced by going from $p$-fold intersections to $(p-1)$-fold intersections_are homotopic to the identity on_the components ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$_and_given_by adding the particle_$s$ to $1/2_{e_i}$ for the configurations_in each component ${\operatorname{Conf}_{S-\{s\},T}^\mathrm{sink}}(\Gamma',W)$. These latter_components are not hit by any such_inclusion.

If the intersection of any number_of these open sets contains_open sets_$U_{\pm e_i}$ and $U_{\pm e_j}$_for $i\neq j$_then the_particle $s$ is_restricted from entering all $[1/3,2/3]_{e_i}$, so_this intersection is_actually precisely the same as ${\operatorname{Conf}_{S,T'}^\mathrm{sink}}(\Gamma,W)$._Since_every intersection of_$\ge_3$_of those_sets contains two_such_open sets,_there_are only two cases remaining, namely_1-fold_intersections and the intersection $U_{-e_i}\cap U_{+e_i}$.

The space_$U_{+e_i}$ is almost