1: \begin{abstract}

2: {\sc Abstract.}

3: A \emph{gain graph} is a graph whose edges are labelled invertibly from a group.  A \emph{weighted gain graph} is a gain graph with vertex weights from a semigroup, where the gain group is lattice ordered and acts on the weight semigroup.  

4: For weighted gain graphs we establish basic properties and we present general dichromatic and tree-expansion polynomials that are Tutte invariants (they satisfy Tutte's deletion-contraction and multiplicative identities).  

5: Our dichromatic polynomial includes the classical graph one by Tutte, Zaslavsky's for gain graphs, Noble and Welsh's for graphs with positive integer weights, and that of rooted integral gain graphs by Forge and Zaslavsky.  

6: It is unusual in sometimes having uncountably many variables, in contrast to other known Tutte invariants that have at most countably many variables, and in not being itself a universal Tutte invariant of weighted gain graphs; that remains to be found.  

7: 

8: An evaluation of our polynomial counts proper colorations of the gain graph when the vertex weights are lists of permissible colors from a color set with a gain-group action.

9: When the gain group is $\bbZ^d$, the lists are order ideals in the integer lattice $\bbZ^d$, and there are specified upper bounds on the colors, then there is a formula for the number of bounded proper colorations that is a piecewise polynomial function, of degree $d|V|$, of the upper bounds.

10: This example leads to graph-theoretical formulas for the number of integer lattice points in an orthotope but outside a finite number of affinographic hyperplanes, and for the number of $n \times d$ integral matrices that lie between two specified matrices but not in any of certain subspaces defined by simple row equations.  

11: 

12: \dateadded{Rev for rgg, cols May, June 2006; rev Jan--Feb 2007, April 2007.} 

13: %\end{abstract}

14: