kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-1}\nonumber\\
&=& \frac{e^{-2b}(\kappa-\ell)}{\kappa(\kappa-1)}  \bigg( 1- \frac{\ell}{\kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-2}, \label{eq:posl_6}\end{aligned}$$ where follows from the fact that $\widetilde{\alpha}_{i,i',\ell,\theta} \geq 2e^{-2b}$. Claim follows by combining Equations and.

### Proof of Lemma \[lem:posl\_upperbound\]

Analogous to the proof of Lemma \[lem:posl\_lowerbound\], we construct a new set of parameters $\{\ltheta_j\}_{j\in[d]}$ from the original $\theta$. We denote the sum of the weights by $W \equiv \sum_{j \in S} \exp(\theta_j)$. We define a new set of parameters $\{\ltheta_j\}_{j \in S}$: $$\begin{aligned}
    \ltheta_j &=& \left\{ \begin{array}{rl}  
        \log(\widetilde{\alpha}_{i,\ell,\theta}) &\; \text{for} \; j = i \;, \\
        0&\;\text{otherwise}\;. \end{array}\right. \end{aligned}$$ Similarly define $\widetilde{W} \equiv \sum_{j \in S} \exp(\ltheta_j) = \kappa-1+\widetilde{\alpha}_{i,\ell,\theta}$. We have, $$\begin{aligned}
& \P_{\theta}\Big[\sigma^{-1}(i) = \ell \Big] \nonumber\\
&= \sum_{\substack{j_1 \in S \\ j_1 \neq i}} \Bigg(\frac{\exp(\theta_{j_1})}{W}  \sum_{\substack{j_2 \in S \\ j_2 \neq i,j_1}} \Bigg(\frac{\exp(\theta_{j_2})}{W-\exp(\theta_{j_1})}\cdots \Bigg( \sum_{\substack{j_{\ell-1} \in S \\ j_{\ell-1} \neq i, \\ j_1,\cdots,j_{\ell-2}}} \frac{\exp(\theta_{j_{\ell-1}})}{W-\sum_{k=j_
kappa}\bigg)^{\alpha_{i, i',\ell,\theta}-1}\nonumber\\ 
 & = & \frac{e^{-2b}(\kappa-\ell)}{\kappa(\kappa-1) }   \bigg (1- \frac{\ell}{\kappa}\bigg)^{\alpha_{i, i',\ell,\theta}-2 }, \label{eq: posl_6}\end{aligned}$$ where follows from the fact that $ \widetilde{\alpha}_{i, i',\ell,\theta } \geq 2e^{-2b}$. Claim follows by combining Equations and. 

 # # # Proof of Lemma \[lem: posl\_upperbound\ ] 

 Analogous to the validation of Lemma \[lem: posl\_lowerbound\ ], we manufacture a new set of argument $ \{\ltheta_j\}_{j\in[d]}$ from the original $ \theta$. We announce the sum of the weights by $ W \equiv \sum_{j \in S } \exp(\theta_j)$. We specify a new set of parameter $ \{\ltheta_j\}_{j \in S}$: $ $ \begin{aligned } 
     \ltheta_j & = & \left\ { \begin{array}{rl }  
         \log(\widetilde{\alpha}_{i,\ell,\theta }) & \; \text{for } \; j = i \; , \\ 
         0&\;\text{otherwise}\; . \end{array}\right. \end{aligned}$$ Similarly define $ \widetilde{W } \equiv \sum_{j \in S } \exp(\ltheta_j) = \kappa-1+\widetilde{\alpha}_{i,\ell,\theta}$. We have, $ $ \begin{aligned } 
 & \P_{\theta}\Big[\sigma^{-1}(i) = \ell \Big ] \nonumber\\ 
 & = \sum_{\substack{j_1 \in S \\ j_1 \neq one } } \Bigg(\frac{\exp(\theta_{j_1})}{W }   \sum_{\substack{j_2 \in S \\ j_2 \neq i, j_1 } } \Bigg(\frac{\exp(\theta_{j_2})}{W-\exp(\theta_{j_1})}\cdots \Bigg (\sum_{\substack{j_{\ell-1 } \in S \\ j_{\ell-1 } \neq i, \\ j_1,\cdots, j_{\ell-2 } } } \frac{\exp(\theta_{j_{\ell-1}})}{W-\sum_{k = j _
kapoa}\bigg)^{\alpha_{i,i',\ell,\theta}-1}\nonmmber\\
&=& \frac{e^{-2b}(\kappc-\wll)}{\kap'a(\kappa-1)}  \bigg( 1- \wrac{\ell}{\kappa}\bigg)^{\alpha_{i,i',\ell,\thxta}-2}, \oabel{tz:posl_6}\end{aligned}$$ whdre folloas from rhe hact that $\widetilde{\alpha}_{l,n',\ell,\tgcta} \gzq 2e^{-2b}$. Claim follpws by comtining Equatiots aud.

### Proof of Lemma \[lem:posl\_upperbound\]

Agalogoux ho the proof os Lekia \[lsm:posl\_lowerbound\], we construct a nes set oh parameters $\{\ltneta_j\}_{j\in[d]}$ from the originap $\thfta$. We denote the dum of the qeigrrs by $W \equix \sum_{j \in S} \exp(\theta_j)$. Se define a new set of parametefs $\{\ltketa_j\}_{j \in S}$: $$\bwgij{dligned}
    \othetw_j &=& \left\{ \beglm{array}{sl}  
        \log(\widetikde{\elphq}_{i,\ell,\theta}) &\; \text{for} \; o = i \;, \\
        0&\;\text{otrerwise}\;. \etd{crray}\right. \end{aligned}$$ Sumilatly dafind $\wiaetjlve{W} \equiv \suj_{j \in S} \exl(\ltheta_j) = \kqppa-1+\widetilde{\alpha}_{i,\tll,\eyeta}$. We have, $$\gegin{ajidned}
& \P_{\theta}\Big[\sigma^{-1}(i) = \ell \Big] \nonumber\\
&= \vum_{\aubstack{j_1 \in S \\ j_1 \neq i}} \Bigg(\frac{\exp(\theta_{j_1})}{W}  \dum_{\substask{j_2 \in S \\ j_2 \neq i,j_1}} \Bigg(\frac{\exp(\theta_{j_2})}{W-\exp(\theta_{j_1})}\cdods \Bijg( \sun_{\smbstxxk{u_{\ell-1} \in S \\ j_{\ell-1} \neq i, \\ j_1,\cdots,j_{\ell-2}}} \frac{\exp(\thetw_{n_{\ekl-1}})}{E-\sum_{k=j_
kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-1}\nonumber\\ &=& \frac{e^{-2b}(\kappa-\ell)}{\kappa(\kappa-1)} \bigg( 1- \frac{\ell}{\kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-2}, \label{eq:posl_6}\end{aligned}$$ from fact that \geq 2e^{-2b}$. Claim ### of Lemma \[lem:posl\_upperbound\] to the proof Lemma \[lem:posl\_lowerbound\], we construct a new of parameters $\{\ltheta_j\}_{j\in[d]}$ from the original $\theta$. We denote the sum of the by $W \equiv \sum_{j \in S} \exp(\theta_j)$. We define a new set of $\{\ltheta_j\}_{j S}$: \ltheta_j \left\{ \begin{array}{rl} \log(\widetilde{\alpha}_{i,\ell,\theta}) &\; \text{for} \; j = i \;, \\ 0&\;\text{otherwise}\;. \end{array}\right. \end{aligned}$$ Similarly define \equiv \sum_{j \in S} \exp(\ltheta_j) = \kappa-1+\widetilde{\alpha}_{i,\ell,\theta}$. We $$\begin{aligned} & \P_{\theta}\Big[\sigma^{-1}(i) = \Big] \nonumber\\ &= \sum_{\substack{j_1 \in \\ \neq i}} \sum_{\substack{j_2 S j_2 \neq i,j_1}} \Bigg( \sum_{\substack{j_{\ell-1} \in S \\ j_{\ell-1} \neq i, \\ j_1,\cdots,j_{\ell-2}}} \frac{\exp(\theta_{j_{\ell-1}})}{W-\sum_{k=j_
kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-1}\nOnumber\\
&=& \fraC{e^{-2b}(\kaPpa-\Ell)}{\KaPpa(\kAppa-1)}  \Bigg( 1- \frac{\ell}{\kapPA}\bigG)^{\alpha_{i,i',\ell,\theta}-2}, \label{eQ:posl_6}\EnD{AligNEd}$$ Where Follows FRoM THe fAcT tHat $\WiDEtIlde{\aLphA}_{i,i',\ell,\tHeta} \geq 2e^{-2b}$. CLaiM fOllows by combINiNg EquationS anD.

### Proof of LemmA \[leM:posl\_uPpErbOUnd\]

AnAloGous tO the prOOf of LeMma \[lem:posL\_lOWerbouND\], we consTRUcT a neW set of parameters $\{\lTHeTA_j\}_{j\in[d]}$ from the oRiginaL $\tHEtA$. wE deNotE the sum of tHe WeighTS by $W \equIV \sUM_{J \In S} \EXp(\theta_j)$. We defIne a new set oF ParAmeterS $\{\lTheTA_j\}_{j \in S}$: $$\Begin{AlIGneD}
    \ltheta_j &=& \lefT\{ \begIn{array}{rl}  
        \Log(\widETilde{\alPHa}_{i,\ell,\tHeta}) &\; \teXt{fOr} \; j = I \;, \\
        0&\;\texT{OtHeRwiSe}\;. \ENd{aRRaY}\riGHt. \eNd{aligneD}$$ SImIlarlY defINE $\WIdetIldE{W} \eqUiv \suM_{j \in S} \exp(\lthetA_j) = \kAppa-1+\WIdeTilde{\Alpha}_{I,\ell,\ThEta}$. We Have, $$\beGin{alIgNed}
& \P_{\theta}\Big[\sigMa^{-1}(i) = \eLl \Big] \nonuMbeR\\
&= \sUm_{\sUbStack{J_1 \In S \\ j_1 \neQ i}} \BIgg(\Frac{\exp(\Theta_{j_1})}{W}  \SUm_{\sUbSTACk{J_2 \in S \\ j_2 \neq i,j_1}} \Bigg(\frac{\ExP(\THeTa_{j_2})}{W-\exp(\tHeta_{j_1})}\cDOtS \BIGg( \sum_{\subStAck{J_{\ell-1} \IN s \\ j_{\ell-1} \Neq i, \\ J_1,\CdOts,j_{\ell-2}}} \fRac{\exp(\THeTa_{J_{\ell-1}})}{W-\suM_{k=J_
kappa}\bigg)^{\alpha_{i,i' ,\ell,\the ta}-1 }\n onu mb er\\ 
&=&  \frac{e^{-2b} ( \kap pa-\ell)}{\kappa(\kapp a-1)}  \ bigg (  1 - \fr ac{\ell } {\ k a ppa }\ bi gg) ^{ \ al pha_{ i,i ',\ell, \theta}-2} , \ la bel{eq:posl_ 6 }\ end{aligne d}$ $ where foll ows  fromth e f a ct th at$\wid etilde { \alpha }_{i,i',\ el l ,\thet a } \geq2 e ^{ -2b} $. Claim followsb yc ombining Equat ions a nd . 
# # # P roo f of Lemma  \ [lem: p osl\_up p er b o u nd\ ] 

Analogous t o the proof ofLemma\[ lem : posl\_ lower bo u nd\ ], we const ruct  a new se t of p a rameter s  $\{\lt heta_j \}_ {j\ in[d ] }$  f rom  t h e o r ig ina l  $\ theta$.We  d enote  the s u m  ofthe  wei ghtsby $W \equiv\su m_{j \in  S} \ exp(\ thet a_ j)$.We def ine a  n ew set of param eter s $\{\lth eta _j \}_ {j  \inS }$: $$ \be gin {aligne d}
   \ lth et a _ j  & =& \left\{ \begin{ ar r a y} {rl}  
     \l og ( \widetil de {\a lpha } _ {i,\e ll,\ t he ta}) &\;  \text { fo r}  \; j =  i  \;, \ \      0&\ ; \tex t{othe rwise}\; . \en d {array}\right. \end{aligned} $ $S i mi l arly  de fine $\wide tild e {W}\equ i v\su m _{j \ in S}  \ e xp ( \ltheta_j) = \kappa -1 +\wide tilde {\alpha}_{i,\ ell,\theta } $ .  We have , $$ \ be g in{aligned}
&\P_{\ theta}\Big [ \sigma^{ -1}(i ) = \ell  \Big] \n o n umber\\&=\su m_{ \su b s ta ck{j_1 \in S\ \  j_1  \ neq i}}  \B igg(\fr ac{ \ex p(\ the ta _{j_1})}{ W}  \sum _{ \s ub st ack {j_2\ in S \\j_ 2 \ ne q i ,j_1} }  \Bigg (\fra c{\e xp (\ t het a_{j_2} ) }{ W - \exp (\ th eta_ {j_ 1} )}\cd ots\ Big g( \sum _{\substa ck{ j _{\e ll -1 } \in S  \\ j_{\ell-1 }\neq i, \\  j _1, \cdots , j _{\ell-2 }}} \frac{\exp(\theta_{ j _{\ell- 1}} )}{W- \sum _{k=j_
kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-1}\nonumber\\
&=& \frac{e^{-2b}(\kappa-\ell)}{\kappa(\kappa-1)}_ \bigg(_1- \frac{\ell}{\kappa}\bigg)^{\alpha_{i,i',\ell,\theta}-2}, \label{eq:posl_6}\end{aligned}$$ where_follows from_the_fact that_$\widetilde{\alpha}_{i,i',\ell,\theta}_\geq 2e^{-2b}$. Claim_follows by combining_Equations and.

### Proof of_Lemma \[lem:posl\_upperbound\]

Analogous to_the_proof of Lemma \[lem:posl\_lowerbound\], we construct a new set of parameters $\{\ltheta_j\}_{j\in[d]}$ from the_original_$\theta$. We_denote_the_sum of the weights by_$W \equiv \sum_{j \in S}_\exp(\theta_j)$. We_define a new set of parameters $\{\ltheta_j\}_{j \in_S}$:_$$\begin{aligned}
  _ \ltheta_j &=& \left\{ \begin{array}{rl}  
  _     \log(\widetilde{\alpha}_{i,\ell,\theta})_&\; \text{for} \;_j_=_i \;, \\
 _     _0&\;\text{otherwise}\;. \end{array}\right. \end{aligned}$$ Similarly define $\widetilde{W}_\equiv \sum_{j \in S} \exp(\ltheta_j) = \kappa-1+\widetilde{\alpha}_{i,\ell,\theta}$._We have, $$\begin{aligned}
& \P_{\theta}\Big[\sigma^{-1}(i) = \ell_\Big] \nonumber\\
&= \sum_{\substack{j_1 \in S_\\ j_1_\neq i}} \Bigg(\frac{\exp(\theta_{j_1})}{W}  \sum_{\substack{j_2_\in S \\_j_2 \neq_i,j_1}} \Bigg(\frac{\exp(\theta_{j_2})}{W-\exp(\theta_{j_1})}\cdots \Bigg(_\sum_{\substack{j_{\ell-1} \in S \\ j_{\ell-1} \neq_i, \\ j_1,\cdots,j_{\ell-2}}}_\frac{\exp(\theta_{j_{\ell-1}})}{W-\sum_{k=j_