1: \begin{definition}

2: Let $C_0, C_1, C_2, C_3, C_4, C_5, C_6, C_7, \cinv, \cmal, C, D > 0$ be 

3: suitably chosen constants (to be determined by Lemmas~\ref{lem:synctrans}, 

4: \ref{lem:asynctrans}, \ref{lem:unsynctrans} and Theorem~\ref{thm:nonrate}). 

5: Then, we define the potential function $\Phi$ associated with the execution of 

6: $\pienc$ according to the state of the protocol (see 

7: Definition~\ref{def:state}): 

8: \begin{align*}

9:  \Phi = \begin{cases}

10:          \ell^+(1+ C_0 H(\epsilon)) + (jb -

11: C\cdot\curerr\cdot\log(1/\epsilon)) - Db\cdot\inv \quad &\text{perfectly

12: synced}\\

13: \max\{\ell_A, \ell_B\}\cdot(1 + C_0 H(\epsilon)) - (j+1)b\quad &\text{almost

14: synced}\\

15: \ell^+ (1 + C_0 H(\epsilon)) - C_1 \ell^- + b(C_2 k_{AB} - C_3 E_{AB}) \quad 

16: &\text{unsynced, $(k_A, \synca) = (k_B, \syncb)$} \\

17: \qquad - 2C_7 B\,\malAB - Z_1

18: \quad

19: &\ \\

20: \ell^+ (1 + C_0 H(\epsilon)) - C_1 \ell^- + bC_5(-0.8 k_{AB} + 0.9 E_{AB})\quad 

21: &\text{unsynced, $(k_A, \synca) \neq (k_B, \syncb)$} \\

22: \qquad - C_7  B\,\malAB - Z_2 \quad &\ \\

23:         \end{cases},

24: \end{align*}

25: where $Z_1$ and $Z_2$ are defined by:

26: \[

27:   Z_1 = \begin{cases} bC_4 \quad &\text{if $k_A = k_B = 1$ 

28: and $\synca=\syncb=1$}\\ 

29: \frac{1}{2}bC_4 \quad &\text{if $k_A = k_B = 1$ and $\synca=\syncb=0$}\\

30: 0 \quad &\text{otherwise}

31: \end{cases},

32:  \]

33: and

34: \[

35:  Z_2 = \begin{cases}

36: bC_6 \quad &\text{if $k_A=k_B=1$}\\

37: 0\quad &\text{otherwise}

38:   \end{cases}.

39: \]

40: \end{definition}

41: