1: \begin{definition}
2: \label{def:local_surplus_fn}
3: Let $\Gamma$ be a nontrivial standard graph with a vertex separation
4: which induces the partition of fluxes
5: $\av = [\av_1, \av_2, \ldots \av_n]$. The \emph{local surplus
6: functions} $\siloc{b}:\Sgen \rightarrow \{0,\ldots,\beloc{b}\}$
7: are defined as follows:
8: \begin{equation}
9: \label{eq:local_surplus_fn_def}
10: \siloc{b}\left(\xv\right)
11: := \M\left[-\frac{H_{\av_b}(F)\left(\xv;\vec0\right)}{\vec{\nabla}F\cdot\lv}
12: \right],
13: \end{equation}
14: where $\beloc{b}$ is the number of cycles in the block $\Gamma_b$
15: or, equivalently, the number of entries in the vector $\av_b$. We
16: stress that the Hessian $H_{\av_b}(F)$ is taken with respect to the
17: fluxes in $b$-th block only; it is a subblock of the full Hessian
18: $H_{\av}(F)$, which is block-diagonal by Theorem~\ref{thm:block_Hessian}.
19: \end{definition}
20: