d9cd4b23b6763eef.tex
1: \begin{definition}\label{def.vkr}
2: The \emph{Krushkal polynomial},  $\widetilde{K}_{(G\subset\Sigma,\mathcal{P})} (x,y,a,b)$, of a vertex partitioned graph  in a surface     $(G\subset\Sigma,\mathcal{P})$ is 
3: \begin{align*} \widetilde{K}_{(G\subset\Sigma,\mathcal{P})} (x,y,a,b) &:=    \alpha( \mathbf{a}, \mathbf{b}) ( G\subset\Sigma,\mathcal{P})  
4: \\ &= \sum_{A\subseteq E(G)} x^{r(G_{/\mathcal{P}})-r(A_{/\mathcal{P}})} 
5:   y^{\kappa(A)} 
6:        a^{\rho(A)-r(A_{/\mathcal{P}})}     
7:  b^{  |A| - \rho(A)-\kappa(A)}   \end{align*}
8: where $  \alpha$ is as in Theorem~\ref{t.vbr1},   $\mathbf{a} = ( 1, y,a,\sqrt{ab},b)$, and  $\mathbf{b}  =(x,1,1,1,1)$.
9: \end{definition}
10: