1: \begin{proof}

2: Choose for any distinct

3: $u,v\in\cF$ an augmenting path $p_{u,v}$ of minimal length in

4: $\cF^c(\cM)$ and let $\Gamma$ be the collection of all

5: these paths. Let $u+\mu m_k=v$ be an edge in

6: $\cF^c(\cM)$, then our goal is to bound $|\Gamma_{\{u,v\}}|$ from

7: above. Let $\mathcal{S}:=\{S\subseteq[r]: |S|\le\auglen{\cM}{\cF},

8: k\in S\}$ and take any path $p_{x,y}\in\Gamma_{\{u,v\}}$. Then there exists

9: $S:=\{i_1,\dots,i_s\}$ with $s:=|S|\le\auglen{\cM}{\cF}$ such that

10: $x+\sum_{k=1}^s\lambda_{i_k}m_{i_k}=y$. Since $p_{x,y}$ uses the edge

11: $\{u,v\}$, there is $j\in[s]$ such that $i_j=k$ and

12: $\lambda_{i_j}=\mu$. Since $|\lambda_{i_k}|\le r_{i_k}$, there are at

13: most  

14: $$s!\cdot (2r_{i_1}+1)\cdots (2r_{i_{j-1}}+1)\cdot(2r_{i_{j+1}}+1)\cdots

15: (2r_{i_s}+1)\le

16: s!\cdot 3^{s-1}\prod_{t\in S\setminus\{k\}}r_{t}$$

17: paths in

18: $\Gamma_{\{u,v\}}$ that uses the edge $\{u,v\}$ and the moves

19: $m_{i_1},\dots,m_{i_{j-1}},m_{i_{j+1}}\dots,m_{i_s}$. Since all the

20: paths are minimal, they have length at most $\auglen{\cM}{\cF}$ so

21: indeed every path in $\Gamma$ has that form.

22: \begin{equation*}

23: \frac{|\Gamma_{u,v}|}{\heatbath{\pi}{f}{\cF}{\cM}(u,v)}\le

24: 3^{\auglen{\cM}{\cF}-1}\frac{\sum_{S\in\mathcal{S}}\left(|S|!\prod_{t\in

25: S\setminus\{k\}}r_{t}\right)}{f(m_{i_j})\cdot\frac{1}{|\ray{u}{m_{i_j}}|}}\le\frac{3^{\auglen{\cM}{\cF}-1}\cdot

26: \auglen{\cM}{\cF}!\cdot|\mathcal{S}|\cdot

27: r_1r_2\dots r_{\auglen{\cM}{\cF}}}{f(m_{i_j})},

28: \end{equation*}

29: where we have used the assumption $r_1\ge r_2\ge \dots\ge r_k$.

30: Bounding $|\mathcal{S}|$ rigorously from above by $2^{|\cM|}$, the claim follows

31: from Lemma~\ref{l:CanonicalPaths}.

32: \end{proof}

33: